## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

**The Real Numbers
**

This chapter concerns what can be thought of as the rules of the game: the axioms of the real numbers. These axioms imply all the properties of the real numbers and, in a sense, any set satisfying them is uniquely determined to be the real numbers. The axioms are presented here as rules without very much justiﬁcation. Other approaches can be used. For example, a common approach is to begin with the Peano axioms — the axioms of the natural numbers — and build up to the real numbers through several “completions” of the natural numbers. It’s also possible to begin with the axioms of set theory to build up the Peano axioms as theorems and then use those to prove our axioms as further theorems. No matter how it’s done, there are always some axioms at the base of the structure and the rules for the real numbers are the same, whether they’re axioms or theorems. We choose to start at the top because the other approaches quickly turn into a long and tedious labyrinth of technical exercises without much connection to analysis.

2.1

The Field Axioms

These ﬁrst six axioms are called the ﬁeld axioms because any object satisfying them is called a ﬁeld. They give the algebraic properties of the real numbers. A ﬁeld is a nonempty set F along with two binary operations, multiplication × : F × F → F and addition + : F × F → F satisfying the following axioms.1 Axiom 1 (Associative Laws). If a, b, c ∈ F, then (a + b) + c = a + (b + c) and (a × b) × c = a × (b × c).

1 Given three sets A, B and C , a function f : A × B → C is called a binary operation. In other words, a binary operation is just a function with two arguments. The standard notations of +(a, b) = a + b and ×(a, b) = a × b are used here. The symbol × is unfortunately used for both the Cartesian product and the ﬁeld operation, but the context in which it’s used removes the ambiguity.

2-1

The additive and multiplicative identities of a ﬁeld F are unique. so Q doesn’t contain all the real numbers. so the multiplicative identity is unique. It is shown in Theorem 2.1. using Axioms 4 and 1. 2013 http://math.louisville. For each a ∈ F \ {0} there is a−1 ∈ F such that a × a−1 = 1. Suppose e1 and e2 are both multiplicative identities in F.1.2-2 CHAPTER 2. then a + b = b + a and a × b = b × a. for all a ∈ F. b1 = b1 × 1 = b1 × (b × b2 ) = (b1 × b) × b2 = 1 × b2 = b2 . There are 0. It is easy to check that the ﬁeld axioms are satisﬁed. b ∈ F with b = 0. b.1. The proof is essentially the same for the additive inverse.edu/∼lee/ira . There are other ﬁelds besides the real numbers and studying them is a large part of most abstract algebra courses. For each a ∈ F there is −a ∈ F such that a + (−a) = 0. Then. The following theorems.3. 1 ∈ F such that a + 0 = a and a × 1 = a. then −a and b−1 are unique. From elementary algebra we know that the rational numbers Q = {p/q : p ∈ Z ∧ q ∈ N} √ form a ﬁeld. This ﬁeld is usually called Z3 .1. Although these axioms seem to contain most properties of the real numbers we normally use. Axiom 4 (Existence of identities). If a. 1. Theorem 2. Let F = {0. The proof for the additive identity is essentially the same.2. Axiom 5 (Existence of an additive inverse). then a × (b + c) = (a × b) + (a × c). they don’t characterize the real numbers. Proof. If a. c ∈ F.1. Axiom 3 (Distributive Law). More complete developments can be found in any beginning abstract algebra text. Proof.1 that 2 ∈ / Q. Then e1 = e1 × e2 = e2 . THE REAL NUMBERS Axiom 2 (Commutative Laws). Axiom 6 (Existence of a multiplicative inverse). Let F be a ﬁeld. containing just a few useful properties of ﬁelds. they just give the rules for arithmetic.2. Theorem 2. Suppose b1 and b2 are both multiplicative inverses for b = 0. If a. Example 2. are presented mostly as examples showing how the axioms are used.1. 2} with with addition and multiplication calculated modulo 3. b ∈ F. Example 2. January 20. This shows the multiplicative inverse in unique.

The reader may also use the standard facts she learned from elementary algebra. ab ∈ P . Theorem 2.5 shows the ﬁeld Z3 of Example 2. then a + b. facts from elementary algebra imply Q is an ordered ﬁeld. −a ∈ P or a = 0. 2. but they correspond to the usual properties of the real numbers learned in beginning algebra. so we omit them. then exactly one of the following is true: a ∈ P . Using Axiom 7(ii). this is obvious. b.2 is not an ordered ﬁeld. The following deﬁnition introduces the notation we usually use in this context. (ii) If a ∈ F. Deﬁnition 2. Proof. THE ORDER AXIOM 2-3 There are many other properties of ﬁelds which could be proved here. e. c ∈ F. The latter of these is. then (a) a < b ⇐⇒ a + c < b + c. the set P is known as the set of positive elements of F.2.2.2. If a < 0. Let F be an ordered ﬁeld and a ∈ F.2 The Order Axiom The axiom of this section gives the order and metric properties of the real numbers. the standard notations for algebra will usually be used. Some of them are in the exercises at the end of this chapter. We write a < b or b > a. if b − a ∈ P ..2. Any ﬁeld F satisfying the axioms so far listed is naturally called an ordered ﬁeld. January 20. There is a set P ⊂ F such that (i) If a. the following axiom adds some geometry to a ﬁeld.2.edu/∼lee/ira . then −a > 0 by Axiom 7(ii) and a2 = 1a2 = (−1)(−1)a2 = (−a)2 > 0. Our goal is to capture all the properties of the real numbers with the axioms. {0} and {−x : x ∈ P }.louisville. the set of negative elements from F. so the ﬁrst seven axioms still don’t “capture” the real numbers. (b) a < b ∧ b < c =⇒ a < c. The meanings of a ≤ b and b ≥ a are now as expected. (⇒) If a > 0. we see that F is divided into three pairwise disjoint sets: P . Axiom 7 (Order axiom. of course. Theorem 2.1. From now on. The order axiom eliminates many ﬁelds from consideration. Notice that a > 0 ⇐⇒ a = a − 0 ∈ P and a < 0 ⇐⇒ −a = 0 − a ∈ P . Of course. 2013 http://math. we will allow ab instead of a × b and a/b instead of a × b−1 .1. so a > 0 and a < 0 agree with our usual notions of positive and negative. For example. In a sense. g. a = 0 iﬀ a2 > 0.). If F is an ordered ﬁeld and a. On the other hand. b ∈ P . Problem 2. Following are a few standard properties of ordered ﬁelds.2.1. then a2 > 0 by Axiom 7(i). (⇐) Since 02 = 0.

Let F be an ordered ﬁeld and a. −c ∈ P . THE REAL NUMBERS Proof. Similarly. we see (b − a) + (c − b) = c − a ∈ P . (a.louisville. e. To do this. Theorem 2. x≥0 . In this case. Let F be an ordered ﬁeld.2. Next.1 Metric Properties The order axiom on a ﬁeld F allows us to introduce the idea of the distance between points in F. Then January 20. (a.3 implies 1 > 0.2. i. therefore. ∞) = {x ∈ F : a < x}. Proof. If a > 0. then a−1 < 0. x<0 The most important properties of the absolute value function are contained in the following theorem. In order to force a contradiction. Applying Theorem 2.2. (d) a < b ∧ c < 0 =⇒ ac > bc.edu/∼lee/ira . Therefore.2. Theorem 2. y ∈ F. (b) By supposition. we see that 1 + 1 > 1 > 0. Using the fact that P is closed under addition. then so is the third. Let F be an ordered ﬁeld and a ∈ F.4. we can ﬁnd a copy of N embedded in any ordered ﬁeld.2. we begin with the following familiar deﬁnition. 2. b] = {x ∈ F : a ≤ x ≤ b}. 2013 http://math. Proof. Apply part (c) and Problem 2. etc. ac < bc. The proof is Problem 2. which is impossible. then Axiom 7(a) implies c > 0. (c) Since b − a ∈ P and c ∈ P and P is closed under multiplication. It’s also useful to start visualizing F as a standard number line.2.2-4 (c) a < b ∧ c > 0 =⇒ ac < bc. Deﬁnition 2. c ∈ F. b or c are positive. both b − a. If ab = c and any two of a. b) = {x ∈ F : a < x < b}. If a < 0.5.2. b. The standard notation for intervals will be used on an ordered ﬁeld. Axiom 7(ii) shows 0 ≤ a(−b) = −(ab) = −c < 0. If a > 0 and b > 0.. c > a.2. Suppose a > 0.2. suppose b ≤ 0. c − b ∈ P . F. Let F be an ordered ﬁeld and x. [a. suppose a > 0 and c > 0. b − a.3 (Two Out of Three Rule). (d) By assumption. −x. (a) a < b ⇐⇒ b − a ∈ P ⇐⇒ (b + c) − (a + c) ∈ P ⇐⇒ a + c < b + c. Corollary 2. It’s clear that by induction. CHAPTER 2. Since 1a = a. The absolute value function on F is a function | · | : F → F deﬁned as |x | = x. Theorem 2. Z and Q also have unique copies in any ordered ﬁeld.2.1. c(b − a) = cb − ca ∈ P and. then a−1 > 0.

Let S be a set and deﬁne d : S × S → S by d(x. 2013 http://math.2.3. From studying analytic geometry and calculus. (d) This is left as Problem 2. Since 0 = −0. d(x.2.2. y ) + d(y.louisville. This simplest of all metrics is called the discrete metric and it can be deﬁned on any set. (c) If x ≥ 0. (e) |x + y | ≤ |x| + |y |. then d(x. 2-5 Proof. (c) −|x| ≤ x ≤ |x|. (b) and (e) of Theorem 2. (d) |x| ≤ y ⇐⇒ −y ≤ x ≤ y . y ) = d(y. It can readily be veriﬁed that d is a metric on S . (b) If x ≥ 0. and Then the function d is a metric on S . (a) The fact that |x| ≥ 0 for all x ∈ F follows from Axiom 7(b).edu/∼lee/ira . A metric is a function which deﬁnes the distance between any two points of a set. (e) Add the two sets of inequalities −|x| ≤ x ≤ |x| and −|y | ≤ y ≤ |y | to see −(|x| + |y |) ≤ x + y ≤ |x| + |y |. but we won’t have need of them.6. d) is called a metric space. If F is an ordered ﬁeld. z ) ≤ d(x. Use parts (a).2. y ∈ S . The pair (S. There are other metrics sometimes deﬁned for specialized purposes. Proof. The metric on F derived from the absolute value function is called the standard metric on F. If x < 0. This notion of a distance between two points of a set can be generalized. and. If x < 0. y ) ≥ 0 and d(x. Example 2. It’s not often useful. (b) |x| = | − x|.1. then −|x| = −x ≤ x = |x|.5. THE ORDER AXIOM (a) |x| ≥ 0 and |x| = 0 ⇐⇒ x = 0. y. y ) = 0 ⇐⇒ x = y . d(x. 0. (a) for all x. x). then −|x| = −(−x) = x < −x = |x|. x=y . y ) = |x − y | is a metric on F. z ).2. Deﬁnition 2. then −x ≤ 0 so that | − x| = −(−x) = x = |x|. January 20. x=y (c) for all x. Let S be a set and d : S × S → R satisfy (b) for all x.3. y ∈ S . d(x. Now apply (d). z ∈ S . Theorem 2.2. we are used to thinking of |x − y | as the distance between the numbers x and y . y ) = 1. the second part is clear. then −x > 0 and |x| = −x = | − x|.

Theorem 2. it’s not obvious they haven’t captured all the properties of the real numbers.. Any set lacking upper or lower bounds is said to be unbounded. If M is an upper bound for the set S . The integers. if there exists m ∈ F such that m ≤ x for all x ∈ S . ∞) is again the set of all upper bounds for T . Substituting this into (2. but obviously none of them is in ∅. Considering some simple examples should lead you to suspect that among the upper bounds for a set.1 Bounded Sets Deﬁnition 2. Completeness is the missing idea. has neither upper nor lower bounds.3. There is no requirement in the deﬁnition that the upper and lower bounds for a set are elements of the set. then [0. if N = (−∞. Now. 0). A subset S of an ordered ﬁeld F is bounded above. For example N = (−∞. no such α exists.3.3. it is a bounded set. p q 2 = 2 =⇒ p2 = 2q 2 (2. For example. 2013 http://math. but typically are not.1) shows p2 is even. √ Since we suspect 2 is a perfectly ﬁne number. Z. A subset S of an ordered ﬁeld F is bounded below. q ∈ N such that α = p/q with p and q relatively prime. Since the square of an odd number is odd. 0]. i.1. An extreme case is ∅. This contradicts the assumption that p and q are relatively prime.2-6 CHAPTER 2. but in this case 0 is an upper bound which is also an element of T . if T = (−∞. p must be even. The elements M and m are called an upper bound and lower bound for S . if there exists M ∈ F such that M ≥ x for all x ∈ S . Since Q satisﬁes them all. but none of them is in N . Proof. there is one that is best in the sense January 20. then every x ≥ M is also an upper bound for S . and several deﬁnitions are needed in order to state it. the following theorem shows that we’re not yet done. e. The Completeness Axiom is somewhat more complicated than the previous axioms. On the other hand. 2. shows 2r2 = q 2 . They can be elements of the set. p = 2r for some r ∈ N. Assume to the contrary that there is α ∈ Q with α2 = 2. There is no α ∈ Q such that α2 = 2.1). 0) has no lower bounds. THE REAL NUMBERS 2.3 The Completeness Axiom All the axioms given so far are obvious from beginning algebra. If S is bounded both above and below. there’s still something missing from the list of axioms. and. on the surface.edu/∼lee/ira . A vacuous argument shows every element of F is both an upper and lower bound.louisville. The same argument as above establishes q is also even. while P = (0. A set need not have upper or lower bounds. Then there are p.1. respectively. then [0. ∞) has no upper bounds. ∞) is the set of all upper bounds for N . Therefore.

When A is not bounded below. Deﬁnition 2. Suppose F is an ordered ﬁeld and S is bounded above in F.3. The second statement. Writing lub A = ∞ is just a convenient way to say A has no upper bounds. since lub A < x ∈ A.3. Let A ⊂ F. (⇒) If x ∈ (α. α = lub A iﬀ (α. Proof. If A ⊂ F is nonempty and bounded below. then B ≤ α. α] ∩ A = ∅. If S is bounded below in F. u1 ≤ u2 ≤ u1 =⇒ u1 = u2 . [β . (α − ε. then lub A = −∞. Therefore. Similarly. β ) ∩ A = ∅ and for all ε > 0. β = glb A iﬀ (−∞. and (b) if α is any upper bound for S . then α cannot be an upper bound of A. 2 Some people prefer the notation sup A and inf A instead of lub A and glb A.2 Notice that the symbol “∞” is not an element of F. concerning the greatest lower bound. Similarly lub ∅ = −∞ tells us ∅ has every real number as an upper bound. This contradiction shows (α − ε. By assumption.2. ∞) ∩ A = ∅. ∞) ∩ A = ∅ and for all ε > 0.3.3. then glb A = ∞. which is a contradiction. respectively. ∞) ∩ A = ∅ implies α ≥ lub A. When A = ∅. concerning the least upper bound. α] ∩ A = ∅. α) ∩ A. Theorem 2.edu/∼lee/ira . If there is an ε > 0 such that (α − ε.2. This is the basic idea of completeness. then a number b ∈ F is called a greatest lower bound of S if (a) b is a lower bound for S .louisville. If A ⊂ F is nonempty and bounded above. If F is an ordered ﬁeld and A ⊂ F is nonempty. Proof. When A = ∅. Theorem 2. then from above. and (b) if α is any lower bound for S . 2013 http://math. there is an x ∈ (lub A. suppose lub A < α. ∞) ∩ A. THE COMPLETENESS AXIOM 2-7 that everything greater is an upper bound and everything less is not an upper bound. Deﬁnition 2. Since u1 and u2 are both upper bounds for A. follows similarly. we write lub A = ∞. When A is not bounded above. then b ≥ α.3. then A has at most one least upper bound and at most one greatest lower bound. A number B ∈ F is called a least upper bound of S if (a) B is an upper bound for S . then the greatest lower of A is written glb A. This implies α − ε/2 is an upper bound for A which is less than α = lub A. (⇐) The assumption that (α.3. Suppose u1 and u2 are both least upper bounds for A. On the other hand. β + ε) ∩ A = ∅. The proof of the other case is similar. we conclude (α − ε. α = lub A. This is clearly a contradiction. then the least upper bound of A is written lub A. α] ∩ A = ∅. January 20.3. We will prove the ﬁrst statement.2. They stand for the supremum and inﬁmum of A. we write glb A = −∞.

Suppose n ∈ N and xn has been chosen to satisfy xn ∈ (α − ε. α) ∩ A. Corollary 2.5. If A is bounded above and α = lub A ∈ / A. there is an x1 ∈ (α − ε. x1 < α.2-8 CHAPTER 2. α) ∩ A.3. Let ε > 0. Axiom 8 (Completeness). The set {xn : n ∈ N} is inﬁnite and contained in (α − ε. This is the ﬁnal axiom.3. By assumption. β + ε) ∩ A is an inﬁnite set.edu/∼lee/ira .3.louisville. α] ∩ A. the intervals can be open. called the real numbers. Adding the following completeness axiom enlarges Q to ﬁll in the holes.1 shows there is no least upper bound for A = {x : x2 < 2} in Q. Similarly. In Section 2. Corollary 2. 2013 http://math.3.2 Some Consequences of Completeness The property of completeness is what separates analysis from geometry and algebra. β + ε) instead of (α − ε. 8].1. R. There exists a unique bijective function i : F1 → F2 such that i(a + b) = i(a) + i(b). Theorem 2. Just consider the case A = {α} to see that the theorem fails when the intervals are open. The existence of such an order isomorphism shows that R is essentially unique. It requires the use of approximation. Q has a hole where this least upper bound should be. When F = Q. α] and [β . i(ab) = i(a)i(b) and a < b ⇐⇒ i(a) < i(b). β + ε).3.3 are (α − ε. Every statement about upper bounds has a dual statement about lower bounds. (β . The Completeness Axiom plugs up the holes in Q. Any ﬁeld F satisfying all eight axioms is called a complete ordered ﬁeld.3. if A is bounded below and β = glb A ∈ / A. In a sense.3 as before to choose xn+1 ∈ (xn . as shown in the following corollary. January 20. Using Theorem 2. Every nonempty set which is bounded above has a least upper bound. α) ∩ A. α) and (β . in the following sense. We assume the existence of a complete ordered ﬁeld. A proof of the following dual to Axiom 8 is left as an exercise.4. Such a function i is called an order isomorphism. More reading on this topic can be done in some advanced texts [7.3. In naive set theory it can be shown that if F1 and F2 are both complete ordered ﬁelds. Proof. then they are the same. Every nonempty set which is bounded below has a greatest lower bound. THE REAL NUMBERS An eagle-eyed reader may wonder why the intervals in Theorem 2. We continue by induction.3.3. 2. When lub A ∈ / A or glb A ∈ / A. The rest of this course is largely concerned with applications of completeness. (α − ε. then for all ε > 0. According to Theorem 2.4 it will be shown that there is an x ∈ R satisfying x2 = 2. then for all ε > 0. inﬁnity and more dynamic visualizations than algebra or classical geometry. This will show R removes the deﬁciency of Q highlighted by Theorem 2. α) ∩ A is an inﬁnite set.

3.1. Proof. it was shown that the equation x2 = 2 has no solution in Q.4. (a) There is an n ∈ N such that an > b. Then 1 ∈ S .3. Suppose ﬁrst that α2 < 2.3. If the theorem is false. then there exists na ∈ N such that na > a.3 there is an m ∈ N such that m > β − 1.3.3. Corollary 2. According to Corollary 2. Corollary 2.3. Proof.2. In Theorem 2. Corollary 2. Proof. It will be shown that α2 = 2. According to Theorem 2. If n is the least element of this set. If x ≥ 2. (b) There is an n ∈ N such that 0 < 1/n < a.4 Comparisons of Q and R All of the above still does not establish that Q is diﬀerent from R. If I is any interval from R. b ∈ R with a > 0. Let S = {x > 0 : x2 < 2}. then Theorem 2. then n − 1 ∈ / S and n − 1 ≤ a < n. The following theorem shows x2 = 2 does have solutions in R. then I ∩ Q = ∅ and I ∩ Qc = ∅. Let α = lub S . there is an n ∈ N large enough so that 0< 1 2 − α2 2α + 1 < =⇒ 0 < < 2 − α2 . Left as an exercise. so S = ∅. If a ∈ R. (b) Let b = 1 in part (a). so S is bounded above. (c) Theorem 2. 2013 . it follows. (a) Use Theorem 2. (c) There is an n ∈ N such that n − 1 ≤ a < n.6 guarantees that S = {n ∈ N : n > a} = ∅.3. Let a. that R is bigger than Q. A subset of R which intersects every interval is said to be dense in R. in a sense.edu/∼lee/ira January 20.2. Proof.6 (Archimedean Principle ).louisville.7.8 shows both the rational and irrational numbers are dense.1. Let β = lub N. Theorem 2.2(c) implies x2 ≥ 4 > 2. Since a copy of Q is embedded in R.4.6 to ﬁnd n ∈ N where n > b/a. Some other variations on this theme are in the following corollaries. COMPARISONS OF Q AND R 2-9 Theorem 2. But.8.7. There is a positive α ∈ R such that α2 = 2. then a is an upper bound for N. this is a contradiction because β = lub N < m + 1 ∈ N.3. n 2α + 1 n http://math. 2.3. This assumption implies (2 − α2 )/(2α + 1) > 0.

. making sure z (n) = αn (n) for each n ∈ N. α+ 1 n 2 2α 1 1 1 + 2 = α2 + 2α + n n n n (2α + 1) < α2 + < α2 + (2 − α2 ) = 2 n = α2 + contradicts the fact that α = lub S . . . . On the other hand. The following proof is his famous diagonal argument from 1891. Figure 2. .. every q ∈ Q has a unique reduced fractional representation q = m(q )/n(q ) with m(q ) ∈ Z and n(q ) ∈ N. ..4. .3. In this case. α2 = 2..α4 (1) . . 2013 http://math.2-10 α1 = α2 = α3 = α4 = α5 = .. In 1874. . choose n ∈ N so that 0< Then α− 1 n 2 1 α2 − 2 2α < =⇒ 0 < < α2 − 2. The following theorem ensues. Theorem 2. Theorem 2.α 1 ( 1 ) .. α1 (5) α2 (5) α3 (5) α4 (5) α 5 ( 5) . . . First. note that since N ⊂ Q.α3 (1) . and we conclude card (Q) ≤ card (Z × N) = ℵ0 .4.. .α5 (1) . Theorem 2.3 is called the “diagonal argument’” because it constructs a new number z by working down the main diagonal of the array shown above.louisville. Therefore. . n(q )). assume α2 > 2.4.3.. THE REAL NUMBERS α1 (3) α2 (3) α 3 ( 3) α4 (3) α5 (3) .. . α1 (2) α 2 ( 2) α3 (2) α4 (2) α5 (2) .1 leads to the obvious question of how much bigger R is than Q.1: The proof of Theorem 2. α1 (4) α2 (4) α3 (4) α 4 ( 4) α5 (4) . n 2α n = α2 − 2α 1 2α + 2 > α2 − > α2 − (α2 − 2) = 2. CHAPTER 2. . α2 ≥ 2. This gives an injective function f : Q → Z × N deﬁned by f (q ) = (m(q ). Next.edu/∼lee/ira .. Therefore.α2 (1) .2. n n n again contradicts that α = lub S . . card (Q) = ℵ0 .. card (R) > ℵ0 January 20. Therefore. Georg Cantor ﬁrst showed that R is not countable. . it is clear that card (Q) ≥ ℵ0 . .

then there is a bijection α : N → [0.4. the rational numbers are a countable set and the irrational numbers are uncountable. i. You will also see card (R) = c. 6. Around the turn of the twentieth century these then-new ideas about inﬁnite sets were very controversial in mathematics. With this convention.. people working in real analysis assume the Continuum Hypothesis is true. COMPARISONS OF Q AND R 2-11 Proof. 2 10 10 n=2 10n In such a case. 1] can be written in the decimal form x = n=1 x(n)/10n where x(n) ∈ {0. If this is not true. For example. yet between every two rational numbers are an uncountable number of irrational numbers and between every two irrational numbers there are a countably inﬁnite number of rational numbers. there is a choice of choosing x(n) so it is constantly 9 or constantly 0 from some N onward. This decimal representation is not necessarily unique.” Assuming the continuum hypothesis. 1] = {αn : n ∈ N}. 3 Since ℵ is the smallest inﬁnite cardinal. the decimal representation of x is unique. 4. then either card (A) ≤ ℵ0 or card (A) = card (R) = card (P(N)). For example. 2. or any other inﬁnite set as being small. ∞ (2. Deﬁne z ∈ [0. 8. standing for the “cardinality of the continuum. even if it is inﬁnite. It suﬃces to prove that card ([0. it follows that ℵ0 < ℵ1 = c. ∞ Let z = n=1 z (n)/10n . we will always opt to end the number with a string of nines.5. any countable subset of R is considered to be a small set.4 In later chapters. 5. where c is the old-style German letter c. This is because some of these ideas are very unintuitive. 2013 http://math. With this assumption and Theorem 2. ∞ January 20. 1]. other useful small versus large dichotomies will be found. 1]) > ℵ0 . 4 See Problem 1. When given a choice. 1] by choosing z (n) ∈ {d ∈ ω : d ≤ 8} such that z (n) = αn (n). [0. ℵ is used to denote the smallest uncountable 0 1 cardinal. This works against the intuition of many beginning students who are not used to thinking of Q.4.e.2) Each x ∈ [0. 1]) > ℵ0 . It would seem there are either too few or too many gaps in the sets to make this possible. Most of the time.2. But. 9} for each n ∈ N. 7.3 it follows that whenever A ⊂ R. in the sense of cardinality. which was developed with ﬁnite sets in mind. But it turns out to be quite useful because the fact that the union of a countably inﬁnite number of countable sets is still countable can be exploited in many ways. This brings us back to the discussion of cardinalities and the Continuum Hypothesis at the end of Section 1. this is impossible because z (n) diﬀers from αn in the nth decimal place.edu/∼lee/ira .louisville. 3. 1. 1 5 4 9 = = + . Such a seemingly paradoxical situation ﬂies in the face of our intuition. This contradiction shows card ([0.3 Since P(N) has many more elements than N. there is an n ∈ N such that z = α(n).17 on page 1-15. Since z ∈ [0. 1].

1.2. 2.9. 2.8.5 Exercises 2.2. 2.2-12 CHAPTER 2.4. Prove card (Qc ) = c. 2. 2.13.14. 2. then aq ∈ R \ Q.12. Prove that if a. then there are x. 2.5. If q ∈ Q and a ∈ R \ Q. then (−a)b = −(ab) = a(−b).4. b) → [a.edu/∼lee/ira . Prove lub A = glb B . then α = lub S . y ∈ Q such that x2 < p < y 2 < x 2 + ε . If α is an upper bound for S and α ∈ S .3.8. b].11. January 20. 2. then x = 0.7. Prove |x| ≤ y iﬀ −y ≤ x ≤ y . 2. b ∈ F.5. then the equation x2 = p has no rational solutions. then q + a ∈ R \ Q.3. 2. THE REAL NUMBERS 2. 2. If p is a prime number. Moreover. 2013 http://math.3. Prove Corollary 2.louisville. If p is a prime number and ε > 0. 2. Prove Corollary 2. where F is a ﬁeld. if q = 0.10. 2. Let A ⊂ R be bounded above and B = {x : x is an upper bound of A}. If |x| < ε for all ε > 0. Find a bijection ζ : (a. Prove Corollary 2. Prove there is no set P ⊂ Z3 which makes Z3 into an ordered ﬁeld.6.

- Reseach paper
- The Search for the Perfect Language (from "Software and Mind")
- section1_HW1.pdf
- Supremum Copy
- Certain Mathematical Terms in Aristotle.pdf
- Einstein Relativity
- Sol1-2.pdf
- The Next Generation of Proof Assistants
- DML Unit 3 (Sets, Functions and Relations) - Lecture Slides
- Peano
- A Real Paradox
- K to 12 Math 7 Curriculum Guide.pdf
- Design Axioms Corollaries
- Directions 101 Brochure
- Models, Theory & Systems Analysis in Geography
- 002044
- NCERT Class IX Solution
- Thermo Notes
- The Use and Non-use of Articles
- Senior_Mar4_solns.pdf
- pythagorean thm menu
- SET Identities
- Limits and Limit Theorems
- Errata for First Printing of Automata Computability and Complexity Theory and Applications
- ECE 501 F11 Session 1e A1 Boolean Algebra 1
- 35_1_sets
- A. Yavuz Oruc Handbook of Scientific Proposal Writing
- mathgen-925434828
- 337
- TERMODİNAMİK NOTLAR---notes

- Petty Troubles of Married Life by Balzac, Honoré de, 1799-1850
- UT Dallas Syllabus for math5306.0s1 06u taught by Thomas Butts (tbutts)
- tmpEDD5.tmp
- Axiom Worldwide v. Excite Medical Corp - this opinion has nothing to do with Billy Preston.pdf
- FOUNDATION CONCEPTS
- tmpF22D.tmp
- Kafir StoriesSeven Short Stories by Scully, W. C. (William Charles), 1855-1943
- WHAT IS SUSTAINABILITY - Richard Heinberg
- Recent Developments in European Thought by Various
- Parallel Separation Innovations v. Axiom Process et. al.
- frsbog_mim_v06_2654.pdf
- Axiom Worldwide, Inc. v. Excite Medical Corp., 11th Cir. (2014)
- Petty Troubles of Married Life, Complete by Balzac, Honoré de, 1799-1850
- Pragmatism by Murray, D. L., 1888-1962

- PNR Barnden Betty - 75 Floral Blocks to Crochet - 2012
- M.sc Mathematics Syllabus -2013-14
- PNR-bm-em-2
- A Hema AIChE Journal Volume 49 Issue 8 2003 [Doi 10.1002_aic.690490808] J. R. F. Guedes de Carvalho; J. M. P. Q. Delgado -- Effect of Fluid Properties on Dispersion in Flow Through Packed Beds
- Saint John of Cross 00 Pas c
- 06-Kumbhar
- YCMOU-AST Syllabus V45 BScActuarial Science
- f08w05 Ode Good Msc
- 4.85 Actuarial Science
- Lectures ODE Ragavendra
- actsci
- Stability Cri Teri 00 s Pie
- 06-Kumbhar
- Mathematical Sciences Study Material 1
- Pharmaceutical Industry in India
- Computational Techniques for Fluid Dynamics Solutions Manual - Fletcher C.a.J
- 1 Pasala Daaveedu and Solomon
- cv.pdf
- Meena 4th Paper -Interphase Mass Transfer
- 2169-3358-1977-1-475.pdf
- maths paper
- CatholicMass-BasicTexts-Rev3
- Chapter 01
- 67_1.pdf
- 1-s2.0-S1001605810600467- HAMmain
- Computational Fluid Dynamics Vol.I - Hoffmann
- Meena Paper3- Couple Stress With Generalised
- 621214006799.pdf
- 20005a1a_81.pdf
- Topology General & Algebraic (2009) - (Malestrom).pdf

Sign up to vote on this title

UsefulNot usefulClose Dialog## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

Close Dialog## This title now requires a credit

Use one of your book credits to continue reading from where you left off, or restart the preview.

Loading