<< Chapter < Page Chapter >> Page >
The absolute value is introduced, and open intervals and natural numbers are defined. Denseness of fields is discussed.

We introduce next into the set of real numbers some geometric concepts, namely, a notion of distance between numbers.Of course this had to happen, for geometry is the very basis of mathematics.

The absolute value of a real number x is denoted by | x | and is defined as follows:

  1. (i) | 0 | = 0 .
  2. (ii) If x > 0 then | x | = x .
  3. (iii) If x < 0 ( - x > 0 ) then | x | = - x .

We define the distance d ( x , y ) between two real numbers x and y by d ( x , y ) = | x - y | .

Obviously, such definitions of absolute value and distance can be made in any ordered field.

Let x and y be real numbers.

  1. Show that | x | 0 , and that x | x | .
  2. Prove the Triangle Inequality for absolute values.
    | x + y | | x | + | y | .
    HINT: Check the three cases x + y > 0 , x + y < 0 , and x + y = 0 .
  3. Prove the so-called ` ` backward” triangle inequality.
    | x - y | | | x | - | y | | .
    HINT: Write | x | = | ( x - y ) + y | , and use part (b).
  4. Prove that | x y | = | x | | y | .
  5. Prove that | x | = x 2 for all real numbers x .
  6. Prove the Triangle Inequality for the distance function. That is, show that
    d ( x , y ) d ( x , z ) + d ( z , y )
    for all x , y , z R .
  1. Prove that x = y if | x - y | < ϵ for every positive number ϵ . HINT: Argue by contradiction. Suppose x y , and take ϵ = | x - y | / 2 .
  2. Prove that x = y if and only if x - y ϵ and y - x ϵ for every positive ϵ .

Let a and b be real numbers for which a < b . By the open interval (a,b) we mean the set of all real numbers x for which a < x < b , and by the closed interval [a,b] we mean the set of all real numbers x for which a x b .

By ( a , ) we mean the set of all real numbers x for which a < x , and by [ a , ) we mean the set of all real numbers x for which a x .

Analogously, we define ( - , b ) and ( - , b ] to be respectively the set of all real numbers x for which x < b and the set of all real numbers x for which x b .

  1. Show that the intersection of two open intervals either is the empty set or it is again an open interval.
  2. Show that ( a , b ) = ( - , b ) ( a , ) .
  3. Let y be a fixed real number, and let ϵ be a positive number. Show that the inequality | x - y | < ϵ is equivalent to the pair of inequalities
    y - ϵ < x and x < y + ϵ ;
    i.e., show that x satisfies the first inequality if and only if it satisfies the two latter ones.Deduce that | x - y | < ϵ if and only if x is in the open interval ( y - ϵ , y + ϵ ) .

Here is one of those assertions that seems like an obvious fact. However, it requires a proof which we only now can give, for it depends on the completeness axiom,and in fact is false in some ordered fields.

Let N denote the set of natural Numbers, thought of as a subset of R . Then N is not bounded above.

Suppose false. Let M be an upper bound for the nonempty set N , and let M 0 be the least upper bound for N . Taking ϵ to be the positive number 1/2, and applying Theorem 1.5, we have that there exists an element k of N such that M 0 - 1 / 2 < k . But then M 0 - 1 / 2 + 1 < k + 1 , or, M 0 + 1 / 2 < k + 1 . So M 0 < k + 1 . But M 0 k + 1 because M 0 is an upper bound for N . We have thus arrived at a contradiction, and the theorem is proved.

REMARK As mentioned above, there do exist ordered fields F in which the subset N is bounded above. Such fields give rise to what is called “nonstandard analysis,”and they were first introduced by Abraham Robinson in 1966. The fact that R is a complete ordered field is apparently crucial to be able to conclude the intuitively clear fact thatthe natural numbers have no upper bound.

[link] presents another intuitively obvious fact, and this one is in some real sense the basis for many of our upcoming arguments about limits.It relies on the preceding theorem, is in fact just a corollary, so it has to be considered as a rather deep property of the real numbers; it is not something that works in every ordered field.

Prove that if ϵ is a positive real number, then there exists a natural number N such that 1 / N < ϵ .

[link] and [link] show that the set Q of rational numbers is “everywhere dense” in the field R . That is, every real number can be approximated arbitrarily closely by rational numbers.Again, we point out that this result holds in any complete ordered field, and it is the completeness that is critical.

Let a < b be two real numbers. Then there exists a rational number r = p / q in the open interval ( a , b ) . In fact, there exist infinitely many rational numbers in the interval ( a , b ) .

If a < 0 and b > 0 , then taking r = 0 satisfies the first statement of the theorem. Assume first that a 0 and b > a . Let n be a natural number for which 1 / n is less than the positive number b - a . (Here, we are using the completeness of the field, because we are referring to Theorem 1.7, where completeness was vital.)If a = 0 , then b = b - a . Setting r = 1 / n , we would have that a < r < b . So, again, the first part of the theorem would be proved in that case.

Suppose then that a > 0 , and choose the natural number q to be such that 1 / q is less than the minimum of the two positive numbers a and b - a . Now, because the number a q is not an upper bound for the set N , we may let p be the smallest natural number that is larger than a q . Set r = p / q .

We have first that a q < p , implying that a < p / q = r . Also, because p is the smallest natural number larger than a q , we must have that p - 1 a q . Therefore, ( p - 1 ) / q < a , or ( p / q ) - ( 1 / q ) < a , implying that r = p / q a + 1 / q < a + ( b - a ) = b . Hence, a < r and r < b , and the first statement of the theorem is provedwhen both a and b are nonnegative.

If both a and b are nonpositive, then both - b and - a are nonnegative, and, using the first part of the proof, we can find a rational number r such that - b < r < - a . So, a < - r < b , and the first part of the theorem is proved in this case as well.

Clearly, we may replace b by r and repeat the argument to obtain another rational r 1 such that a < r 1 < r < b . Then, replacing b by r 1 and repeating the argument, we get a third rational r 2 such that a < r 2 < r 1 < r < b . Continuing this procedure would lead to an infinite number of rationals, all between a and b . This proves the second statement of the theorem.

  1. Let ϵ > 0 be given, and let k be a nonnegative integer. Prove that there exists a rational number p / q such that
    k ϵ < p / q < ( k + 1 ) ϵ .
  2. Let x be a positive real number and let ϵ be a positive real number. Prove that there exists a rational number p / q such that x - ϵ < p / q < x . State and prove an analogous result for negative numbers x .
  1. If a and b are real numbers with a < b , show that there is an irrational number x (not a rational number) between a and b , i.e., with a < x < b . HINT: Apply [link] to the numbers a 2 and b 2 .
  2. Conclude that within every open interval ( a , b ) there is a rational number and an irrational number.Are there necessarily infinitely many rationals and irrationals in ( a , b ) ?

The preceding exercise shows the “denseness” of the rationals and the irrationals in the reals. It is essentially clear from this that every real number is arbitrarily close to a rational number and an irrational one.

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Analysis of functions of a single variable. OpenStax CNX. Dec 11, 2010 Download for free at http://cnx.org/content/col11249/1.1
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Analysis of functions of a single variable' conversation and receive update notifications?

Ask