Properties of the Real Numbers 2 (G) |X + X − 5| > 0 Solve the Following Equations Over R
Total Page:16
File Type:pdf, Size:1020Kb
The Real Line Philip Pennance1 Version: { February 2019. 1. Introduction. shows thatp there is a point on the line at distance 2 from the origin. By the In the elementary school, fractions or previous claim, this point cannot corre- rational numbers are or should be de- spond to a fraction. fined as points on a number line. It is a consequence of the next result that p not all points on such a line represent 2 fractions. 1 2. Claim. p 0 1 2 2 There do not exist natural numbers n, m such that n2 = 2m2 (i.e., there is no n fraction n whose square is 2). 3. Definition. Proof. The set of all points on the number line is called the set of real numbers and is Suppose to the contrary that such n; m denoted : exist. Since common factors between R the numerator and denominator of a 4. Claim. fraction can be cancelled it may be as- Let x 2 : The following are equivalent. sumed that n and m have no common R factor other than 1. (a) x is a fraction (rational number). Now, n2 = 2m2 means that n2 is even. (b) x has a repeating decimal repre- Since the square of an odd number is sentation. odd, it must be that n is also even. Proof. Hence there exists a natural number k such that n = 2k. But then n2 = See, for example, Dolciani et al. Intro- 2m2 = 4k2 and so m2 = 2k2. This ductory Analysis. means that m2 and hence m are both 5. Example. even. But if n and m are both even they 1 have 2 as a common factor, contradict- The rational number 2 has repeating ing the fact that 1 is the only common decimal representation 0:500000 ··· factor. Hence the numbers n and m do 6. Example. not exist. This means that there is no fraction whose square is 2. Let x = :32456. Find natural numbers n and m such that x = n : Corollary. m Solution. Not all points on the number line core- spond to fractions. 103x = 324:56 5 Proof. 10 x = 32456:56 (105 − 103)x = 32456 − 324 This result has been know since the time of Pythagoras. Indeed, a simple Hence we may take n = 32132 and application of the Pythagorian theorem m = 105 − 103. 1https://pennance.us 1 7. Claim. 12. Claim. Let x 2 . Let x ≥ 0. Then there exists a uniquep R non negative real number (denoted x) d(x; 0) = maxfx; −xg whose square is x: ( x if x ≥ 0 ; Proof. = −x if x < 0 The proof is beyond the scope of this course. Proof. p 8. The number x is called the principal The two formulae are just two alterna- square root of x. tive ways of ensuring that distance is non negative (as required by its defini- 9. Let x 2 . The distance of x from the R tion). A human can (hopefully) evalu- origin denoted d(x; 0) is defined by ate j − 5j without using these formulae. p A machine (IQ = 0) cannot. d(x; 0) = x2 (1) 13. Claim Justification. Let x; x0 2 R. The distance between x 0 Distance is a non negative quantity. and x is given by The square root symbol is necessary to d(x; x0) = jx − x0j: ensure non-negativity. Remark. Proof. Subtraction of the same number from The absolute value of jxj is just an- 0 other notation for this distance. Thus, both x and x does not change the dis- tance between them. Subtracting x0 jxj = d(x; 0) from both yields d(x; x0) = d(x − x0; x0 − x0:) . = d(x − x0; 0) 10. Example. = jx − x0j: d(−5; 0) = p(−5)2 p 14. Example. = 52 Writep withoutp the absolute value sign = 5 j 51 − 2 13j: Solution. 11. Remarks. pNotice 51p< 52 = 4×13. It follows that Equation (1) is just the 1-dimensional 51 < 2 13. Hence, version of Pythagorus' theorem. In two p p p p dimensions, the distance P = (x; y) j 51 − 2 13j = 2 13 − 51: from the origin O = (0; 0) is given by 15. Example. p 2 2 d(P; O) = x + y Write the interval −10 < x < 12 in the form jx − aj < r. Replacing y by 0 yields the one dimen- sional formula. Solution. 2 1 An open interval consists of all points Case 1. If x ≥ 2 ; then whose distance from the center of the 2 2 interval is less than the radius of the j2x − 1j = x () 2x − 1 = x 2 interval. In this case, the given interval () x − 2x + 1 = 0 has midpoint () (x − 1)2 = 0 −10 + 12 () x = 1 a = = 1 2 1 Case 2. If x < 2 ; then and radius j2x − 1j = x2 () 1 − 2x = x2 12 − (−10) 2 r = = 11: () x + 2x − 1 = 0 2 () (x + 1)2 − 2 = 0 p Hence, a point x falls in the interval () x = −1 ± 2 −10 < x < 12 if and only if Both of these solutions are consistent d(x; 1) < 11: 1 with the condition x < 2 . Hence That is, if and only if p j2x − 1j = x2 () x 2 f1; −1 ± 2g: jx − 1j < 11: 18. Example. 16. Example. Let A; B be the points shown on the fol- lowing scale: p Solve j5 − 2xj ≥ 5: 2 B A 108 2 1 Solution. Si P = 3 B + 3 A : 2 Since the absolute value of a number is Show that jP − Aj = 3 jB − Aj: the distance between the number and Solution. the origin. It follows that the distance 2 1 jP − Aj = B + A − A between the number 5−2x and the ori- 3 3 = 2 B − 2 A gin is at least 5: This means that either 3 3 2 5 − 2x ≤ −5 or 5 − 2x ≥ 5: It follows = 3 · jB − Aj that either x ≥ 5 or x ≤ 0. 2 = 3 jB − Aj: 17. Example. Thus, the distance d(P; A) is two thirds Solve j2x − 1j = x2: of the distance d(A; B): Solution. Remark: It is left as an exercise to ver- Notice that ify that B < P < A. 1 2x − 1 ≥ 0 () x ≥ 19. Additional Remarks. 2 Let λ1; λ2 be positive real numbers. It Hence is not difficult to show that if λ1 + λ2 = 1; ( 1 then a linear combination of points 2x − 1 if x ≥ 2 ; j2x − 1j = 1 1 − 2x if x < 2 : P = λ1A + λ2B 3 does not depend on the location of the (d) Commutative law for addition: origin. Moreover the ratio of the dis- tances PA : PB is λ2 : λ1: (Note the a + b = b + a: order!). This invariance with respect to choice of origin can be seen in the for- (e) Associative law for multiplication: mulae for the midpoint 1 1 a · (b · c) = (a · b) · c: P = A + B 2 2 (f) Existence of multiplicative iden- and, in Physics, the formula for center tity: of mass. If there is a mass m1 at point A and a mass m2 at a point B then the 91 6= 0 : a · 1 = 1 · a = a: center of mass is given by m1 m2 XCM = A + A (g) Existence of multiplicative inverse: m1 + m2 m1 + m2 −1 −1 Notice that the sum of the coefficients a 6= 0 =) a · a = a · a = 1: of A and B is 1. These remarks extend to more points and higher dimensions. (h) Commutative law for multiplica- The formula for student grade point av- tion: erage exhibits this same invariance. a · b = b · a: 20. Remarks. (i) Distributive law It is beyond the scope of this course to rigorously extend the multiplication a · (b + c) = a · b + a · c: and division of rational numbers to real numbers. It suffices for our purposes 22. Definition. to know that this can be done, and that the resulting operations retain the Subtraction and division are defined by usual algebraic properties of the addi- a a − b = a + (−b); = a · b−1 = ab: tion and multiplication of rational frac- b tions. These properties will be taken as axioms. 23. Remark. 21. Axioms for Elementary Arithmetic. The above list is not complete. Later, There exist binary operations of addi- the axioms of order will be given and tion and multiplication, such that in the Calculus class, the important completeness axiom, without which, (a) Associative law for addition: the subtler properties of R cannot be a + (b + c) = (a + b) + c: proven. 24. Cancelation Theorems for Addition (b) Existence of additive identity: For all a; b; c 2 R. 90 : 0 + a = a + 0 = a: (a) if a + c = b + c then a = b: (Right cancelation) (c) Existence of additive inverse: (b) if c + a = c + b then a = b: a + (−a) = (−a) + a = 0: (Left cancelation) 4 Proof of (a). Proof. Suppose a + c = b + c. Since c has Using respectivly the property of the an additive inverse −c it follows that multiplicative inverse, the distributive (a+c)+(−c) =( b+c)+(−c). Associa- law, and the property of the additive tivity gives a+(c+(−c))= b+(c+(−c)). inverse, we obtain x + (−1) · x = 1 · By the property of the additive inverse x + (−1) · x = (1 + (−1)) · x = 0:x. the latter implies a + 0 = b + 0. Fi- It follows (using the previous theorem) nally by the property of the additive that x + (−1) · x = 0. Since the addi- identity 0 we have a = b, which was to tive inverse is unique we conclude that be proven. The proof of (b) is similar.