arXiv:1101.1800v3 [math.CA] 7 Mar 2011 xoai ento seeg 4 ,7 ,1,1,2,3,3,3 29, 36, 18, 33, 20, 12, 19, 11, 17, summary. 9, 9, brief 7, [6, a 22, 6, make 20, [4, first e.g. 18, We e.g. 11, (see (see 9, definition numbers [7, axiomatic rational e.g. of (see sequences cuts Dedekind by construction oa order total rfudyiflecdsbeun tde ftefoundation the of studies subsequent influenced profoundly utpiaieoperation multiplicative hr xssan exists there h elnme ytmb eeidadCno ntenineteent the antici in theory Cantor This and Dedekind e understood. by quantities, then system certain as number that numbers, t real problem to o the of the theory reduced slogan sophisticated around be (The a work not developed to numbers. Greeks Eudoxus, of The of means number.’) by is nature ‘All understanding of gram eeidct acysqec frtoa ubr,decimal numbers, rational of sequence Cauchy cut, Dedekind h e falDdkn usi eoe by denoted is cuts Dedekind all of set The eune frtoa ubr sdntdby denoted is numbers rational of sequences ffreeyrational every for if nrdcda operation an introduced numbers fnnmt subsets nonempty of ses oprove to easy is Let euneo ainlnumbers rational of sequence A npplrltrtrsteeaemil he prahsto approaches three mainly are there literatures popular In “ e od n phrases. and words Key 1. h icvr ficmesrbeqatte a eeebo t blow severe a was quantities incommensurable of discovery The • • • eeidct,Cuh eune,aimtcapoc n de and approach axiomatic sequences, Cauchy cuts, Dedekind Q ytecneto opeeodrdfil r lowl explain well also are field ordered complete D of by concept characteriz numbers algebraic the real the by and the numbers, rational of of quences Construction representations. imal Abstract. a A A { etesto ainlnmesedwdwt h tnadaddi standard the with endowed numbers rational of set the be ∈ ∩ otisn raetelement. greatest no contains x ( ,b A, B n ) on } E PRAHT H ELNUMBERS REAL THE TO APPROACH NEW A = n N ∈ ≈ ∈ ∅ DR N , B nti ae epoieacmlt praht h elnumbe real the to approach complete a provide we paper this In sa qiaec eain hsyed utetspace quotient a yields thus relation, equivalence an is , ∈ A { > ǫ ⇒ etn h ocle elnme ytm( system number real so-called the getting , y ,B A, N ∪ ( n b < a B ) uhthat such elnme,rtoa ubr rainlnme,complete number, irrational number, rational number, real ,teeeit an exists there 0, × ⊞ } n = lodntdby denoted also , of ∈ ald“ called N Q , Q r adt eeuvln,dntdby denoted equivalent, be to said are , eoe y( by denoted , ∀ addition { ,n m, x representations ( INPNLI LIANGPAN n ) } ≥ n ∈ N ,a operation an ”, N N 1 n oa order total and , A DR ∈ scalled is , | CR B | N x n17,RcadDdkn [5 16]) ([15, Dedekind Richard 1872, In . ,sc that such ), ( uhthat such m w acysqecso rational of sequences Cauchy Two . ) representation. − Cauchy to ftera ubrsystem number real the of ation x ( n ⊠ ) fmathematics. of s di h e setting. new the in ed | ,4,4,4,4,4,4,55]). 49, 47, 46, 45, 43, 42, 9, dkn us acyse- Cauchy cuts, edekind ∀ ǫ < ald“ called ais rsmbytework the presumably ratios, f 7 2 5 3 7) Cauchy 47]), 43, 35, 32, 27, n ≤ century. h ffreeyrational every for if A . ≥ h elnmessc as such numbers real the DR e eti egh,could lengths, certain ven 3 5 2 3) n an and 53]), 52, 45, 43, h e falCauchy all of set The . ae h eeomn of development the pates { N h yhgra pro- Pythagorean the o x eeidcut Dedekind , , ( multiplication ePtaoen was Pythagoreans he n ⊞ | ) x , } ( ([7]) ” ⊠ ieoeain+, operation tive n n svadec- via rs CR ∈ ) , N − { ≈ .Ti work This ). / y ree field, ordered ( ≈ n cimal y ) | sapair a is ( denoted n a and ” n ǫ < ) > ǫ } n It . ∈ N 0, , 2 LIANGPAN LI by CR for consistency. Around 1869∼1872, Charles M´eray ([41]), Georg Cantor ([10]) and Eduard Heine ([28]) independently introduced basically the same additive operation ⊞, multiplicatived operation ⊠ and total order on CR, getting yet another number system (CR, ⊞, ⊠, ). This approach has the advantage of providing a standard way for completingb an abstract metricb space. b d d b b b Both systems are isomorphic in the sense that one can find a bijection ω : DR → CR such that for any two elements x,y ∈ DR, ω(x⊞y)= ω(x)⊞ ω(y), ω(x⊠y)= ω(x)⊠ ω(y), x y ⇔ ω(x) ω(y). Detailed studies of a dozen or so properties of ⊞, ⊠, lead tod the basic concept of “complete ordered field” and an algebraic-axiomaticb approach to theb real number system.b Later on, when to verify a new system is isomorphic to those of Dedekind and M´eray-Cantor-Heine, it suffices to prove that it is a complete ordered field. We should also note several severe criticisms of the algebraic-axiomatic approach: “The necessary axioms should come as a byproduct of the construction process and not be predetermined.” ([38]) “. . . the algebraic-axiomatic definition of a real number is simply appalling and abhorrent . . . to define a real number via a cold and boring list of a dozen or so axioms for a complete ordered field is like replacing life by death or reading an obituary column.” ([3]) ∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼ “Few mathematical structures have undergone as many revisions or have been presented in as many guises as the real numbers. Every generation reexamines the reals in the light of its values and mathematical objectives.” ([21]) Next we introduce the real numbers through a rather old geometric approach. Given a point x in an “axis”, the decimal representation of it is obtained step by step as follows.
• Step 0: Partition this “axis” into countably many disjoint unions z∈Z[z, z + 1), then find a unique integer x0 ∈ Z such that x ∈ [x0,x0 + 1). 9 i S i+1 • Step 1: Partition [x0,x0 + 1) into ten disjoint unions i=0[x0 + 10 ,x0 + 10 ), then find a unique element x ∈ Z such that x ∈ [x + x1 ,x + x1+1 ), here and 1 10 0S 10 0 10 afterwards we denote {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} by Z10 for simplicity. x1 x1+1 9 x1 • Step 2: Partition [x0 + 10 ,x0 + 10 ) into ten disjoint unions j=0[x0 + 10 + j ,x + x1 + j+1 ), then find a unique element x ∈Z such that x ∈ [x + x1 + 102 0 10 102 2 10 S 0 10 x2 x1 x2+1 102 ,x0 + 10 + 102 ). . • Step .:.
Then we say x has decimal representation x0.x1x2x3 , and call xk the k-th digit of x. A thorough consideration leads to a natural question: can any point of this “axis” have decimal representation 0.999999 ? and if not, why can we expel its existence? This is not a silly question at all. To correctly answer it, we should first know what an “axis” it is, or what on earth a “real number” it is! Although constructing real numbers via decimals has been known since Simon Stevin ([1, 2]) in the 16-th century, developed also by Karl Weierstrass ([13]), Otto Stolz ([50, 51]) in the 19-th century, and many other modern mathematicians (see e.g. [3, 5, 8, 9, 14, 21, 24, 26, 30, 34, 37, 38, 40, 44, 54]), almost all popular Mathematical Analysis books didn’t choose this approach. The decimal construction hasn’t got the attention it should deserve: ANEWAPPROACHTOTHEREALNUMBERS 3
“Perhaps one of the greatest achievements of the human intellect throughout the entire history of the human civilization is the introduction of the decimal notation for the purpose of recording the measurements of various magnitudes. For that purpose the decimal notation is most practical, most simple, and in addition, it reflects most outstandingly the profound subtleties of the human analytic mind. In fact, decimal notation reflects so much of the Arithmetic and so much of the Mathematical Analysis . . .” ([3]) To the author’s opinion, at least one of the reasons behind this phenomenon is most of the authors only gave outlines or sketches. We note an interesting phenomenon happened in popular Mathematical Analysis books: many authors (see e.g. [4, 7, 11, 22, 31, 35, 36, 42, 43, 45, 47, 48, 49, 52, 55]) first chose one of the other three approaches discussed before, then proved that every real number has a suitable decimal representation. But if without using the algebraic intuition that the real number system is nothing but a complete ordered field which is not so easy to grasp for beginners, we could find basically no literature reversing this kind of discussion. No matter how fundamental sets and sequences are in mathematics, conflicting with our primary, secondary and high school education that a number is a string of decimals, skepticism over explicit construction of the real numbers by either Dedekind cuts or Cauchy sequences never ends: “The degeometrization of the real numbers was not carried out without skepticism. In his opus Mathematical Thought from Ancient to Modern Times, mathematics historian Morris Klein quotes Hermann Hankel who wrote in 1867: Every attempt to treat the irrational numbers formally and without the concept of [geometric] magnitude must lead to the most abstruse ad troublesome artificialities, which, even if they can be carried through complete rigor, as we have every right to doubt, do not have a right scientific value.” ([24]) “The definition of a real number as a Dedekind cut of rational numbers, as well as a Cauchy sequence of rational numbers, is cumbersome, impractical, and . . ., inconsequential for the development of the Calculus or the Real Analysis.” ([3]) Based on the fundamental concept of “order” and its derived operations, in this paper we will provide a complete approach to the real numbers via decimals, and some of our ideas are new to the existing literatures. Also in this new setting, construction of the real numbers by Dedekind cuts, Cauchy sequences of rational numbers, and the algebraic characterization of the real number system by the concept of complete ordered field can be well explained. The general strategy of our approach is as follows. The starting point is to choose
R x0.x1x2x3 x0 ∈ Z,xk ∈Z10, k ∈ N . as our ambient space, which was already discussed before. Once adopted this decimal ∞ xi notation, we suggest you imagine it in mind as a series k=0 10i . There are mainly two reasons why we choose this notation, one is instead of discussing “subtraction”, we shall focus on “additive inverse” which will be introduced in anP elegant manner, the other comes from the next paragraph. N Since as sets R is basically the same as Z×Z10, we can introduce a lexicographical order on R, then prove the least upper bound property and the greatest lower bound property for (R, ) from the same properties for (Z, ≤) as soon as possible. As experienced readers should know, this would mean that (R, ) is “complete”. So in this complete setting, we can derive five basic operations such as the supremum operation sup( ), the infimum operation inf( ), the upper limit operation LIMIT( ), the lower limit operation LIMIT( ) and the limit operation LIMIT( ). 4 LIANGPAN LI
It is very natural to define
x ⊕ y LIMIT {[x]k + [y]k}k∈N Pk x 10k−i i=0 i Q for any two elements x,y ∈ R, where [x]k x0.x1x2 xk = 10k ∈ is the truncation of x up to the k-th digit, so is [y]k. As for the definition of [x]k + [y]k, even a primary school student may know how to do it, that is, for example, (−15).3456 +(−18).6789 (−32).0245
To define a multiplicative operation in a succinct way we need some preparation. First we introduce a signal map sign : R → {0, 1} by 0 if x 0.000000 , sign(x) 1 if x (−1).999999 . This map partitions R into two parts, one is sign−1(0), understood as the positive part of R, the other is sign−1(1), understood as the negative part of R. Both parts are closed connected through an “additive inverse” map
Ψ(x0.x1x2x3 ) (−1 − x0).(9 − x1)(9 − x2)(9 − x3) , which turns a positive element into a negative one, and vice versa. The absolute value of x, denoted by x , is defined to be the maximum over x and Ψ(x). Because of the wonderful formula x =Ψ(sign(x))( x ), the author likes to call them three golden flowers. Now for any two elements x,y ∈ R, we define their multiplication by sign(x)+sign(y) x ⊗ y Ψ LIMIT {[ x ]k [ y ]k}k∈N . In primary school we have already learnt how to define [ x ]k [ y ]k. We remark that motivated by the above definitions of addition and multiplication on R, similar operations will be introduced on DR in a highly consistent way. At this stage, we have introduced a rough system (R, , ⊕, ⊗) without any pain. But unfortunately, several well-known properties generally a standard addition and a standard multiplication should have don’t hold for ⊕ and ⊗. To overcome these difficulties, we will introduce an equivalence relation ∼ identifying 0.999999 with 1.000000 , and the same like. No matter adopting decimal, binary or hexadecimal notation, no matter introducing such relations earlier or later, we cannot avoid doing it. With these preparations, we then verify the commutative, associate and distribute laws, the existences of additive (multiplicative) unit and inverse, and so on. Almost all the verification work depend only on a pleasant Lemma 3.8. Finally we define the set R of real numbers to be the set of equivalent classes R/ ∼ with derived operations ⊕, ⊗, from ⊕, ⊗, respectively, thus yields our desired number system (R, ⊕, ⊗, ). b Now in the new setting (R, ) with derived operations such as sup( ), inf(b b) for subsets, and LIMIT( ) and LIMIT( ) for sequences of R, we can furtherb b explainb the construction of the real numbers by Dedekind cuts and Cauchy sequences of rational numbers. Given a Dedekind cut (A|B), we obviously have sup A inf B. It would be very nice if sup A ∼ inf B, thus one can derive a map τ from DR to R by sending (A|B) to [sup A] = [inf B]. Later on we shall prove that this is indeed the case. Given a Cauchy sequence of rational ANEWAPPROACHTOTHEREALNUMBERS 5
(n) (n) (n) numbers {x }n∈N, we obviously have LIMIT({x }n∈N) LIMIT({x }n∈N). It would (n) (n) be great if LIMIT({x }n∈N) ∼ LIMIT({x }n∈N), thus one can derive a map κ from (n) (n) (n) CR to R by sending {x }n∈N to [LIMIT({x }n∈N)] = [LIMIT({x }n∈N)]. Later on we shall prove that this is also indeed the case. Motivated by these observations, we will continue to prove that our number system is isomorphic to those of Dedekind and M´eray-Cantor-Heine. We can explain Cauchy sequences of rational numbers in another way. Given a Cauchy (n) sequence of rational numbers {x }n∈N, if it could represent a “real number”, then we have no doubt that any subsequence of it, say for example a monotonically increasing or a monotonically decreasing subsequence, should represent the same “real number”. Then we put such a monotone subsequence of rational numbers in (R, ) whose existence is taken for granted at this time, from either the least upper bound property or the greatest lower bound property in the new setting, the interested readers definitely know which decimal representation should be understood as the “real number” the original sequence represents. Simply speaking, it would be great if we can discuss Dedekind cuts or Cauchy sequences of rational numbers in a constructive, complete setting. Still in the setting (R, ), we will give the traditional characterization of irrational numbers, which makes our approach matching what we have learnt in high school. We also explain how can we come to the basic concept of complete ordered field. ∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼ To develop this approach, the author owed a lot to Loo-Keng Hua’s masterpiece [30]. He also thanks Rong Ma for helpful discussions. This work was partially supported by the Natural Science Foundation of China (Grant Number 11001174). Some notations used throughout this paper: • N is the set of natural numbers • Z is the set of integers • Denote {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} by Z10 • ⌊ ⌋ is the floor function, ⌈ ⌉ is the ceil function • For any nonempty bounded above (below) subset E of Z, denote by max E (inf E) the unique least upper (greatest lower) bound for E • For any binary operation ⊛ on a set G, denote by A⊛B the set {a⊛b| a ∈ A, b ∈ B}, where A, B are nonempty subsets of G • Rational number system: (Q, +, ×, ≤) • Decimal system: (R, ⊕, ⊗, ) • Dedekind cut system: (DR, ⊞, ⊠, ) • Cauchy sequence system: (CR, ⊞, ⊠, ) • Real number system: (R, ⊕, ⊗, ) d b b b 2. Least upper bound andb greatestb b lower bound properties for (R, )
2.1. Ambient space, lexicographical order and its derived operations. Definition 2.1. As in Section 1 we define the ambient space of this paper to be
R x0.x1x2x3 x0 ∈ Z,xk ∈Z10, k ∈ N . Pk x 10k−i N i=0 i Q For any x = x0.x1x2x3 ∈ R and k ∈ , let [x]k x0.x1 xk = 10k ∈ be the truncation of x up to the k-th digit. 6 LIANGPAN LI
q Remark 2.2. For any α ∈ Q, there exist two integers p ∈ N and q ∈ Z such that α = p . Via the long division algorithm α has a decimal representation α0.α1α2α3 , where q 10β α ⌊ ⌋, β q − α p, α ⌊ k ⌋, β 10β − α p. 0 p 0 0 k+1 p k+1 k k+1 Obviously, this representation is independent of the choices of p and q, so from now on we can always view Q as a subset of R. For example, 5 −40 = 2.5000000 , = (−14).666666 . 2 3 Definition 2.3. Let be the lexicographical order on R, that is, x y if and only if ∀k ∈ N, [x]k ≤ [y]k.
As usual, we may write y x when x y, and x ≺ y when x y, x = y. Obviously, as elements of Q, x ≤ y if and only if x y, which is self-evident since we can write x,y by a common denumerator, then use the long division algorithm. Definition 2.4. A nonempty subset W of R is called bounded above (below) if there exists an M ∈ R such that ∀w ∈ W , w M (w M). A nonempty subset of R is called (n) bounded if it is bounded both above and below. A sequence {x }n∈N of R is called bounded above (below), bounded if the set {x(n)| n ∈ N} is of the corresponding property. Theorem 2.5. Every nonempty bounded above subset of (R, ) has a least upper bound, every nonempty bounded below subset of (R, ) has a greatest lower bound.
Proof. This theorem follows from the least upper bound property and the greatest lower bound property for (Z, ≤). We shall only prove the first part of this theorem, and leave the second one to the interested readers. Let W be a nonempty bounded above subset of R. Denote M0 max{x0| x0.x1x2x3 ∈ W },
Mk max{xk| x0.x1x2x3 ∈ W with xi = Mi, i = 0, 1,...,k − 1} (∀k ∈ N).
Obviously, M M0.M1M2M3 is an upper bound for W . Let M be an arbitrary upper bound for W . ∀k ∈ N, by the definition of Mk one can find an x = x0.x1x2x3 ∈ W such that xi = Mi for i = 0, 1,...,k. Thus [M]k ≥ [x]k = x0.x1 xk =fM0.M1 Mk = [M]k, which means M M. This proves M is the (unique) least upper bound for W . f f Definition 2.6. The least upper bound, also known as the supremum, for a nonempty bounded above subset W of R is denoted by sup W , while the greatest lower bound, known as the infimum, for a nonempty bounded below subset W of R is denoted by inf W . (n) Definition 2.7. Generally given a sequence {x } N, we should pay attention to its n∈f f asymptotic behavior. Obviously for any n ∈ N, sup{x(k)| k ≥ n} can be understood as (n) an “upper bound” for the sequence {x }n∈N if we don’t care about several of its initial terms. Thus if we want to obtain an asymptotic “upper bound” that is as least as possible, then we are naturally led to the concept of upper limit of a bounded sequence, that is, (n) (k) LIMIT({x }n∈N) inf sup{x | k ≥ n} n ∈ N . (n) Similarly, we define the lower limit of a bounded sequence {x }n∈N to be
(n) (k) LIMIT({x }n∈N) sup inf{x | k ≥ n} n ∈ N .
ANEWAPPROACHTOTHEREALNUMBERS 7
(n) (n) When it happens that LIMIT({x }n∈N) = LIMIT({x }n∈N)= L, we shall simply write (n) (n) LIMIT({x }n∈N) for their common value L, and say the sequence {x }n∈N has limit L. Remark 2.8. It is no hard to prove that any bounded above monotonically increasing sequence, that is, x(1) x(2) x(3) x(4) M, or any bounded below monotoni- cally decreasing sequence, that is, x(1) x(2) x(3) x(4) M, has a limit. For example, suppose x(1) x(2) x(3) x(4) M. Then (n) (k) LIMIT({x }n∈N) = inf sup{x | k ≥ n} n ∈ N (k) = inf sup{x | k ∈ N} n ∈ N
(k) = sup{x | k ∈ N}
= sup inf{x(n)| n ≥ k} k ∈ N (n) = LIMIT ({x }n∈N).
We state below some elementary properties of sup( ), inf( ), LIMIT( ), LIMIT( ) and LIMIT( ) in a lemma, and leave the proofs to the interested readers. Lemma 2.9. (1) inf W sup W , (2) W1 ⊂ W2 ⇒ sup W1 sup W2, (3) W1 ⊂ W2 ⇒ inf W1 inf W2, (n) (n) (4) LIMIT({x }n∈N) LIMIT({x }n∈N), (n) (n) (n) (n) (5) x y ⇒ LIMIT({x }n∈N) LIMIT({y }n∈N), (n) (n) (n) (n) (6) x y ⇒ LIMIT({x }n∈N) LIMIT({y }n∈N), (ni) (n) (7) LIMIT {x }i∈N LIMIT {x }n∈N , (8) LIMIT {x(ni)} LIMIT {x(n)} , i∈N n∈N (9) LIMIT {x(n)} = L ⇒ LIMIT {x(ni)} = L, n∈N i∈N (10) LIMIT {[x] } = x. k k∈N 2.2. An equivalence relation. Definition 2.10. Two elements x,y of R are said to have no gap, denoted by x ∼ y, if it does not exist an element z ∈ R\{x,y} lying exactly between x and y.
Definition 2.11. Let R9, QF be respectively the sets of all decimal representations ending in an infinite string of nines, and zeros.
Lemma 2.12. x ≺ y, x ∼ y ⇒ x ∈ R9,y ∈ QF .
Proof. Suppose x = x0.x1x2x3 ≺ y = y0.y1y2y3 . Let k be the minimal non-negative integer such that xk x x0.x1 xk999999 ≺ y0.y1 yk000000 y. Since x ∼ y, we must have x = x0.x1 xk999999 , else we get a contradiction x ≺ x0.x1 xk999999 ≺ y. Similarly, y = y0.y1 yk000000 . This finishes the proof. Remark 2.13. As a corollary of Lemma 2.12, it is easy to prove that ∼ is an equivalence relation on R, and every equivalent class has at most two elements of R. As we know in real life, one can find a medium of any two different points in a straight line, but at this time it is hard for us to define the medium between two points having no gap. So to express a straight line from R, it is absolutely necessary to module something from R, which we shall discuss in detail at a very late stage of this paper. 8 LIANGPAN LI Next we prepare a useful characterization lemma. An enhanced Lemma 3.8 will be given in the next section. Lemma 2.14. N 1 x ∼ y ⇔∀k ∈ , |[x]k − [y]k|≤ 10k . Proof. The necessary part follows immediately from Lemma 2.12, so we need only prove N 1 the sufficient one, and suppose ∀k ∈ , |[x]k − [y]k|≤ 10k . Without loss of generality we N 1 may assume that x y. Thus ∀k ∈ , [x]k ≤ [y]k ≤ [x]k + 10k . Case 1: Suppose x ∈ R9. There exists an m ∈ N such that ∀k >m,xk = 9. Obviously, 1 x ∼ x0.x1x2 xm + 10m . Note ∀k>m, 1 1 [x] ≤ [y] ≤ [x] + = x .x x x + . k k k 10k 0 1 2 m 10m 1 Letting k →∞ gives x y x0.x1x2 xm + 10m , here we have used the fifth and tenth parts of Lemma 2.9. This naturally implies x ∼ y. Case 2: Suppose x ∈ R9. There exists a sequence of natural numbers m1 < m2 < m3 < such that ∀i ∈ N, xmi < 9. Noting 1 [x]m ≤ [y]m ≤ [x]m + i i i 10mi and 1 [x]m = [x]m + = [x]m −1, i mi−1 i 10mi mi−1 i we must have [y]m −1 = [y]m = [x]m −1. By the ninth and tenth parts of Lemma i i mi−1 i 2.9, we have x = y. This concludes the whole proof of the lemma. 3. Additive operations 3.1. Additive operations. Definition 3.1 (Addition). For any two elements x,y ∈ R, let x ⊕ y LIMIT {[x]k + [y]k}k∈N . This is well-defined since the sequence {[x] k + [y]k}k∈N is monotonically increasing with an upper bound x0 + y0 + 2, where x = x0.x1x2x3 , y = y0.y1y2y3 . Example 3.2. For any x ∈ R, x ⊕ 0.000000 = x. This means (R, ⊕) has a unit. Remark 3.3. Given two elements x,y ∈ QF ⊂ Q, it is easy to verify that x ⊕ y = x + y. Therefore from now on we can abuse the uses of ⊕ and + if the summands lie in QF . Theorem 3.4. For any two elements x,y ∈ R, we have x ⊕ y = y ⊕ x. Proof. x ⊕ y = LIMIT {[x]k + [y]k}k∈N = LIMIT {[y]k + [x]k}k∈N = y ⊕ x. Theorem 3.5. Given x, y, z, w ∈ R with x z and y w, we have x ⊕ y z ⊕ w. Proof. ∀k ∈ N we have [x]k ≤ [z]k and [y]k ≤ [w]k, which yields [x]k + [y]k ≤ [z]k + [w]k. By Lemma 2.9, LIMIT {[x]k + [y]k}k∈N LIMIT {[z]k + [w]k}k∈N . Lemma 3.6. N 1 For any element x ∈ R and k ∈ , we have [x]k x [x]k + 10k . ANEWAPPROACHTOTHEREALNUMBERS 9 Proof. The first inequality is evident and we need only to prove the second one. For any 1 1 natural numbers n ≥ k, [x]n ≤ [x]k + 10k . Letting n →∞ yields x [x]k + 10k . Lemma 3.7. For any elements x,y ∈ R and k ∈ N, we have 2 [x] + [y] ≤ [x ⊕ y] x ⊕ y [x] + [y] + . k k k k k 10k Proof. To prove the first inequality, we need only note [x]k + [y]k x ⊕ y ⇒ [x]k + [y]k = [[x]k + [y]k]k ≤ [x ⊕ y]k. For any natural numbers n ≥ k, 1 1 2 [x] + [y] ≤ ([x] + ) + ([y] + ) = [x] + [y] + . n n k 10k k 10k k k 10k 2 Letting n → ∞ yields x ⊕ y [x]k + [y]k + 10k . This proves the third inequality. The second one follows from the previous lemma, so we finishes the whole proof. Lemma 3.8. N N M If there exists an M ∈ such that ∀k ∈ , |[x]k − [y]k|≤ 10k , then x ∼ y. N 1 M+1 M+1 N Proof. For any k ∈ , y [y]k + 10k ≤ [x]k + 10k x ⊕ 10k . For any m ∈ , we can M+1 1 1 find a sufficiently large k such that 10k ≤ 10m . Consequently, y x ⊕ 10m , which yields 1 1 1 [y]m ≤ [x ⊕ 10m ]m = [x]m + 10m . By symmetry we can also have [x]m ≤ [y]m + 10m . Thus 1 |[x]m − [y]m|≤ 10m , and this finishes the proof simply by applying Lemma 2.14. Theorem 3.9. Given x, y, z, w ∈ R with x ∼ z and y ∼ w, we have x ⊕ y ∼ z ⊕ w. Proof. For any k ∈ N, 2 4 4 [x ⊕ y] ≤ [x] + [y] + ≤ [z] + [w] + ≤ [z ⊕ w] + , k k k 10k k k 10k k 10k here we have used Lemma 2.14 for x ∼ z and y ∼ w. By symmetry we can also have 4 [z ⊕ w]k ≤ [x ⊕ y]k + 10k . Finally by Lemma 3.8, we are done. Theorem 3.10. For any three elements x,y,z ∈ R, we have (x ⊕ y) ⊕ z ∼ x ⊕ (y ⊕ z). Proof. For any k ∈ N, [x]k + [y]k + [z]k ≤ [x ⊕ y]k + [z]k ≤ [(x ⊕ y) ⊕ z]k (x ⊕ y) ⊕ z 2 1 3 ([x] + [y] + ) + ([z] + ) = [x] + [y] + [z] + . k k 10k k 10k k k k 10k 3 Similarly, we can also have [x]k +[y]k +[z]k ≤ [(y ⊕z)⊕x]k ≤ [x]k +[y]k +[z]k + 10k . Finally by Lemma 3.8, (x ⊕ y) ⊕ z ∼ (y ⊕ z) ⊕ x = x ⊕ (y ⊕ z). This concludes the proof. (i) n Remark 3.11. Given n elements {x }i=1 of R and a permutation τ on the index set {1, 2,...,n}, according to Theorems 3.4, 3.9 and 3.10, it is easy to verify that ( (((x(1) ⊕x(2))⊕x(3))⊕x(4)) )⊕x(n) ∼ ( (((x(τ1 ) ⊕x(τ2))⊕x(τ3))⊕x(τ4 )) )⊕x(τn). As usual, we may simply write x(1) ⊕ x(2) ⊕ x(3) ⊕ x(4) ⊕ ⊕ x(n) ∼ x(τ1) ⊕ x(τ2) ⊕ x(τ3) ⊕ x(τ4) ⊕ ⊕ x(τn) since it does not matter where the parentheses lie. 10 LIANGPAN LI 3.2. Additive inverses. Definition 3.12. For any element x = x0.x1x2x3 ∈ R, let Ψ(x) (−1 − x0).(9 − x1)(9 − x2)(9 − x3) , understood as the “additive inverse” of x. The absolute value of x to is defined to be x max{x, Ψ(x)}. Let sign : R → {0, 1} be the signal map 0 if x 0.000000 , sign(x) 1 if x (−1).999999 . Some elementary properties on Ψ( ), and sign( ) are collected below without proofs. The interested readers can easily provide the details without much difficulty. (1) x ⊕ Ψ(x) = (−1).999999 ; (2) Ψ(Ψ(x)) = x; (3) x y ⇔ Ψ(x) Ψ(y); (4) x ∼ y ⇔ Ψ(x) ∼ Ψ(y); (5) x ∼ y ⇒ x ∼ y ; (6) x ∼ Ψ(x) ⇔ x ∼ 0.000000 ; (7) x 0.000000 ; (8) Ψ(x) = x ; (9) sign(x) + sign(Ψ(x)) = 1; (10) Ψ(sign(x))(x)= x ; (11) Ψ(sign(x))( x )= x; (12) Ψ(sup W ) = infΨ(W ); (n) (n) (13) Ψ(LIMIT({(x )}n∈N)) = LIMIT({Ψ(x )}n∈N). Theorem 3.13. Given x,y,z ∈ R with x ⊕ z ∼ y ⊕ z, we have x ∼ y. Proof. By Theorems 3.9 and 3.10, x = x ⊕ 0.000000 ∼ x ⊕ z ⊕ Ψ(z) ∼ y ⊕ z ⊕ Ψ(z) ∼ y ⊕ 0.000000 = y. Theorem 3.14. For any two elements x,y ∈ R, we have Ψ(x ⊕ y) ∼ Ψ(x) ⊕ Ψ(y). Proof. By Theorems 3.4, 3.9 and 3.10, Ψ(x ⊕ y)=Ψ(x ⊕ y) ⊕ 0.000000 ⊕ 0.000000 ∼ Ψ(x ⊕ y) ⊕ (x ⊕ Ψ(x)) ⊕ (y ⊕ Ψ(y)) ∼ Ψ(x ⊕ y) ⊕ (x ⊕ y) ⊕ (Ψ(x) ⊕ Ψ(y)) ∼ Ψ(x) ⊕ Ψ(y). ANEWAPPROACHTOTHEREALNUMBERS 11 4. Multiplicative operations 4.1. Multiplicative operations. Definition 4.1 (Multiplication). For any two elements x,y ∈ R, let sign(x)+sign(y) x ⊗ y Ψ LIMIT {[ x ]k [ y ]k}k∈N , where Ψ(k) is the k-times composites of Ψ. Example 4.2. For any x ∈ R, (sign(x)) (sign(x)) x ⊗ 1.000000 =Ψ LIMIT {[ x ]k}k∈N =Ψ ( x )= x. This means (R, ⊗) has a unit. Example 4.3. For any x ∈ R, sign(x) x ⊗ 0.000000 =Ψ LIMIT {[ x ]k 0}k∈N =Ψ sign(x) (0.000000 ) ∼ 0.000000 , sign(x)+1 x ⊗ (−1).999999 =Ψ LIMIT {[ x ]k 0}k∈N =Ψ sign(x)+1 (0.000000 ) ∼ 0.000000 . Example 4.4. Given a calculator with sufficiently long digits, we could observe that 1 < 1.42 < 1.99 < 2 < 1.52 1.9 < 1.412 < 1.9999 < 2 < 1.422 1.99 < 1.4142 < 1.999999 < 2 < 1.4152 . . 1 1. 99 99 < (a .a a a a )2 < 1. 999 999 < 2 < (a .a a a a + )2 0 1 2 3 n 0 1 2 3 n 10n n−1 2n . | {z } | {z } . For thousands of years a a0.a1a2a3 has been understood as the positive square root of 2, so what is the reason behind? According to Definition 4.1, a⊗a = 1.999999 . Also from the above formulas, it is no hard to observe (see also [14, 23, 25]) that there is no element z ∈ R such that z ⊗ z = 2.000000 . So if we want to define the positive square root of 2, except a0.a1a2a3 , which else could be? Remark 4.5. Given x,y ∈ QF ⊂ Q with x,y 0.000000 , it is easy to verify that x ⊗ y = x y. Therefore from now on we can abuse the uses of ⊗ and if the summands lie in QF with signs zero. Theorem 4.6. For any two elements x,y ∈ R, we have x ⊗ y = y ⊗ x. 12 LIANGPAN LI Proof. sign(x)+sign(y) x ⊗ y =Ψ LIMIT {[ x ]k [ y ]k}k∈N sign(y)+sign(x) =Ψ LIMIT {[ y ]k [ x ]k}k∈N = y ⊗ x. Theorem 4.7. For any two elements x,y ∈ R, we have Ψ(x ⊗ y)=Ψ(x) ⊗ y = x ⊗ Ψ(y). Proof. This is the twin theorem of Theorem 3.14. By Theorem 4.6 it suffices to prove Ψ(x ⊗ y)=Ψ(x) ⊗ y. To this aim we note sign(Ψ(x))+sign(y) Ψ(x) ⊗ y =Ψ LIMIT {[ Ψ(x) ]k [ y ]k}k∈N 1+sign(x)+sign(y) =Ψ LIMIT {[ x ]k [ y ]k}k∈N sign(x)+sign(y) =Ψ Ψ LIMIT {[ x ]k [ y ]k}k∈N ! = Ψ(x ⊗ y), here we have used the fact that Ψ(2) is the identity map. This proves the theorem. Theorem 4.8. Given x, y, z, w ∈ R with 0.000000 x z and 0.000000 y w, we have x ⊗ y z ⊗ w. Proof. This is the twin theorem of Theorem 3.5. ∀k ∈ N we have 0 ≤ [x]k ≤ [z]k and 0 ≤ [y]k ≤ [w]k, which yields [x]k [y]k ≤ [z]k [w]k. By Lemma 2.9, LIMIT {[x]k [y] } LIMIT {[z] [w] } . This proves the theorem. k k∈N k k k∈N Theorem 4.9. Given x, y, z, w ∈ R with x ∼ z and y ∼ w, we have x ⊗ y ∼ z ⊗ w. Proof. Obviously if two equivalent elements x and z have different signs, then we must have {x, z} = {0.000000 , (−1).999999 }. From Example 4.3, x⊗y ∼ 0.000000 ∼ z⊗w. Thus to prove this theorem, we may assume that sign(x) = sign(z), sign(y) = sign(w), which yields sign(x) + sign(y) = sign(z) + sign(w). By Theorem 4.7, Ψ(sign(x)+sign(y))(x ⊗ y)=Ψ(sign(x))(x) ⊗ Ψ(sign(y))(y) = x ⊗ y , Ψ(sign(z)+sign(w))(z ⊗ w)=Ψ(sign(z))(z) ⊗ Ψ(sign(w))(w)= z ⊗ w . Consequently, to prove this theorem we may further assume below x, y, z, w 0.000000 , by which we shall make use of Theorem 4.8. Let M ∈ N be an upper bound for {x, y, z, w}. For any k ∈ N, 1 1 [x ⊗ y] x ⊗ y ([x] + ) ([y] + ) k k 10k k 10k 2 2 5M ≤ ([z] + ) ([w] + ) ≤ [z] [w] + k 10k k 10k k k 10k 5M 5M + 1 (z ⊗ w) ⊕ [z ⊗ w] + , 10k k 10k ANEWAPPROACHTOTHEREALNUMBERS 13 here we have used Lemma 2.14 for x ∼ z and y ∼ w. By symmetry we can also have 5M+1 [z ⊗ w]k ≤ [x ⊗ y]k + 10k . Finally by Lemma 3.8, x ⊗ y ∼ z ⊗ w. This concludes the whole proof. Theorem 4.10. For any three elements x,y,z ∈ R, we have (x ⊗ y) ⊗ z ∼ x ⊗ (y ⊗ z). Proof. By Theorem 4.7, to prove this theorem we may assume that x,y,z 0.000000 , by which we shall also make use of Theorem 4.8. Let M ∈ N be an upper bound for {x,y,z}. For any k ∈ N, 1 1 1 (x ⊗ y) ⊗ z ([x] + ) ([y] + ) ([z] + ) k 10k k 10k k 10k 4M 2 4M 2 ≤ [x] [y] [z] + w ⊕ , k k k 10k 10k where w LIMIT {[x]n [y]n [z]n}n∈N . On the other hand,