Structure of R. Chapter Algebraic and Order Properties of R

Similar documents
Chapter 1 The Real Numbers

2.2 Some Consequences of the Completeness Axiom

In N we can do addition, but in order to do subtraction we need to extend N to the integers

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Principles of Real Analysis I Fall I. The Real Number System

The Real Number System

That is, there is an element

REAL ANALYSIS: INTRODUCTION

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

Properties of the Integers

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Continuity. Chapter 4

Supremum and Infimum

Axioms for the Real Number System

Essential Background for Real Analysis I (MATH 5210)

Continuity. Chapter 4

1 The Real Number System

MATH 117 LECTURE NOTES

Suppose R is an ordered ring with positive elements P.

Section 2.5 : The Completeness Axiom in R

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7

Consequences of the Completeness Property

Lecture 2. Econ August 11

DR.RUPNATHJI( DR.RUPAK NATH )

Sequences. We know that the functions can be defined on any subsets of R. As the set of positive integers

THE REAL NUMBERS Chapter #4

Chapter One. The Real Number System

Due date: Monday, February 6, 2017.

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 1 November 2017

1.3. The Completeness Axiom.

Lecture 2: A crash course in Real Analysis

Proofs. Chapter 2 P P Q Q

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008

REVIEW OF ESSENTIAL MATH 346 TOPICS

CHAPTER 8: EXPLORING R

Analysis I. Classroom Notes. H.-D. Alber

Introduction to Mathematical Analysis I. Second Edition. Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam

Real Analysis - Notes and After Notes Fall 2008

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

STA2112F99 ε δ Review

Math 242: Principles of Analysis Fall 2016 Homework 1 Part B solutions

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Postulate 2 [Order Axioms] in WRW the usual rules for inequalities

Math LM (24543) Lectures 01

A lower bound for X is an element z F such that

Chapter 1. Sets and Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

Proofs. Chapter 2 P P Q Q

Homework 1 (revised) Solutions

Principle of Mathematical Induction

Classify, graph, and compare real numbers. Find and estimate square roots Identify and apply properties of real numbers.

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Sets, Structures, Numbers

Economics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

4130 HOMEWORK 4. , a 2

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers

Important Properties of R

Describing the Real Numbers

Econ Lecture 2. Outline

2. Two binary operations (addition, denoted + and multiplication, denoted

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

We want to show P (n) is true for all integers

M208 Pure Mathematics AA1. Numbers

A LITTLE REAL ANALYSIS AND TOPOLOGY

Midterm Review Math 311, Spring 2016

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

A lower bound for X is an element z F such that

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

Logical Connectives and Quantifiers

Chapter 1. Sets and Mappings

Some Background Material

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

Solutions for Homework Assignment 2

CONSTRUCTION OF THE REAL NUMBERS.

MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE

In case (1) 1 = 0. Then using and from the previous lecture,

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

2. Introduction to commutative rings (continued)

Math 140: Foundations of Real Analysis. Todd Kemp

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis

Outline. We will now investigate the structure of this important set.

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

Real Variables: Solutions to Homework 3

5. Some theorems on continuous functions

Sequences CHAPTER 3. Definition. A sequence is a function f : N R.

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Standard forms for writing numbers

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

MATH 131A: REAL ANALYSIS

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Well-Ordering Principle. Axiom: Every nonempty subset of Z + has a least element. That is, if S Z + and S, then S has a smallest element.

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

The Real Numbers. Chapter The Completeness Property of R

Transcription:

Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions will seem familiar, some will not. It would be possible to start with the natural numbers, an obvious more aesthetic starting point, but we shall not do so..1. Algebraic and Order Properties of R We assume the set of real numbers, R, has two binary operations, denoted + and (i.e. a function whose domain is R R and range in R). The operations are called addition and multiplication respectively. Moreover, they satisfy the following properties: (A1) a + b = b + a a b = b a (A) a + (b + c) = (a + b) + c a (b c) = (a b) c (A3) a (b + c) = a b + a c (commutative laws) (associative laws) (distributive law) (A4) There exists unique, distinct real numbers 0 and 1 such that, for all a R, a + 0 = a a 1 = a (identity elements) (A5) For each a R and b R, b 6= 0, there exists a R and b 1 := 1/b R such that a + ( a) = 0 b b 1 = 1 (inverse elements) 7

8. Structure of R The above axioms show that (R, +, ) is a field in the sense of abstract algebra. We note that (Q, +, ) is a field, where Q is the set of rational numbers. This is so since the sum or product of two fractions is again a fraction. That is, the rational numbers are closed under addition and multiplication. Order Axioms for R We assume the existence of an order property on R, denoted by <, with the following properties: (O1) For all a, b R, exactly one of the following holds (trichotomy): a = b, a < b, or b < a. (O) For all a, b, c R, if a < b, then a + c < b + c. (O3) For all a, b, c R, if a < b and 0 < c, then ac < bc. (O4) For all a, b, c R, if a < b and b < c, then a < c (transitivity)... Absolute Value We need a way of measuring the size of real numbers. In one dimension we do this with the absolute-value function. It is defined by x x 0 (.1) x := x x < 0. Theorem.1. Suppose a, b R. Then (i) a = 0 if and only if a = 0. (ii) a = a. (iii) ab = a b. (iv) Suppose M 0. Then a M if and only if M a M. (v) (Triangle Inequality) a ± b a + b a b a ± b. Proof. To prove (i) suppose a = 0. By definition ±a = 0. That is a = 0. The converse follows in the same way. To prove (ii) suppose a > 0. Then a < 0, and by definition a = ( a) = a = a. If a 0, then the definition implies a = a = a. To prove (iii) note that ab = ± a b depending on the sign of a and b. Part (ii) gives the result. Part (iv) is similar. Suppose a M. If a 0, M 0 a = a M. If a < 0, M a = a < 0 M, and M a M. Conversely, suppose M a M. Then M a or a M. Since a M as well, a M. Finally to prove the triangle inequality, we start with the obvious inequalities a a, b b and apply (iv). We find a a a b b b.

.3. Supremum and Infimum 9 Adding the last two equations shows ( a + b ) a+ b a + b. Part (iv) applies again and the first inequality in (v) follows. For the other inequality we compute, using the first inequality (the triangle inequality) in (v), That is, Reversing the roles of a and b we find a = (a b) + b a b + b. a b a b. b a a b. This implies a b a b, and (iv) gives the second inequality in (v). Example.. Estimate the size of the function f(x) = x 1 on the interval 0 < x <. Solution. Of course we could easily figure this out by putting appropriate numbers into the function, but the idea is to gain experience using the triangle inequalities. Indeed, x 1 = (x 1)(x + 1) x 1 x + 1. We may write the domain of the function as x 1 < 1. Using the second of the triangle inequalities 1 x 1 x 1 x 1. It follows x. Thus on the interval of interest..3. Supremum and Infimum x 1 x 1 x + 1 1 ( x + 1) 3. We need two more assumptions about the structure of the real numbers. We first clean up a popular misconception - the minimum and maximum of a set may not exist! Example.3. Consider S = { 1 x S? 1 x < }. What is the smallest element in We better be clear what we mean by maximum and minimum. Definition.4. (Maximum) Let S R be non empty. The maximum of S, M, written M = max S, has the following properties: (i) x M for all x S. (ii) M S. A similar definition applies for the minimum. Since the minimum and maximum may not exist, we seek a way to generalize the notion of smallest and largest in such a way that they agree with minimum and maximum when they exist, and in such a way that the generalization always exists. Here is how we do it.

10. Structure of R Definition.5. (Supremum) Let S R be non empty. The Supremum of S, α, and written α = sup S (sometimes denoted α = lub S for least upper bound), has the following properties. (i) The element α is an upper bound of S. That is, x α for all x S. (ii) The element α is the least upper bound of S. That is, α M for any other upper bound, M, of S. To find a maximum we typically look in the set for the largest value. Note to find a supremum we look outside the set for the smallest value bounding the set. A similar definition holds for infimum. Definition.6. (Infimum) Let S R be non empty. The infimum of S, β, and written β = inf S (sometimes denoted β = glb S for greatest lower bound), has the following properties. (i) The element β is a lower bound of S. That is, x β for all x S. (ii) The element β is the greatest lower bound of S. That is, β m for any other lower bound, m, of S. We do not quite have the techniques to prove a number is or is not the supremum of a set. For now, we make the following claims. Example.7. Consider S = {x 0 < x < 1}. Then sup S = 1 and inf S = 0. Example.8. Consider S = {x x = 1/n, n N}. inf S = 1. Then sup S = and No harm has been done - if the maximum exists, then the supremum agrees with the maximum: Theorem.9. Suppose E R has a maximum and a supremum. Then sup E = max E. Proof. We need only check that M = max E satisfies the conditions of Definition.5. By (i) in the definition of maximum, x M for all x E. This is (i) in the definition of the supremum. Thus M is an upper bound of E. To show M is the least upper bound suppose M is any other upper bound of E. Then x M for all x E. Since M E, we have M M. This shows M is the smallest upper bound and M = sup E. Theorem.10. The supremum of a set E R, if it exists, is unique. Proof. Suppose α 1 and α are supremums. This means they are both upper bounds of E. Since α 1 is a least upper bound, α 1 α. Similarly, α α 1, and so α 1 = α There is an alternate way of looking at Definition.5 which is sometimes more convenient to use. The following theorem is equivalent to our definition of supremum.

.3. Supremum and Infimum 11 Theorem.11. Let E R be non empty. Then α = sup E if and only if it has the following properties. (i) There are no elements x E with α < x. (ii) Any y < α is not an upper bound of E. That is, if y < α, there exists w E such that y < w. Proof. Suppose α satisfies (i) and (ii). Property (i) is equivalent to, it is false there exists x E such that α < x. That is, for all x E, α x, and α is an upper bound of E. If α 1 < α, (ii) shows α 1 is not an upper bound of E. That is, all other upper bounds are bigger or equal to α. That is, α is the least upper bound. Conversely, let α = sup E. Since α is an upper bound of E, (i) follows. If y < sup E, y is not an upper bound of E. So there exists w E such that y < w. This is (ii). Example.1. Set E = {x 0 < x < 1}. Prove sup E = 1. Proof. We apply Theorem.11. By the way E is constructed there are no elements in E larger than 1, and (i) follows. Suppose 0 < y < 1. Set w = y+1. Then y = y+y < y+1 = w < 1+1 = 1. Thus y < w E and (ii) follows. Similarly, if y 0, set w = 1/, and again (ii) follows. Alternatively we could have applied the definition of the supremum. To do this we first prove the following result: suppose a R and a ǫ for all ǫ > 0. Then a 0. To see this we prove the contrapositive. Suppose a > 0. Set ǫ = a/. Then a > ǫ. That is, ǫ > 0 exists so that a > ǫ. This is the contrapositive. (Compare this with Problem (.3).) We have already established 1 is an upper bound. Suppose α is any other upper bound. We need to show 1 α. By the way E is constructed, 1 ǫ α for all ǫ > 0. That is, 1 α ǫ for all ǫ > 0. This shows 1 α 0 via the previous paragraph. That is, 1 α and 1 is the least upper bound of E. Example.13. For a more abstract example suppose A and B are two collections of real numbers and that both A, B have a supremum. Set α A = sup A and α B = sup B. Consider the set E = {x + y x A, y B}. Prove sup E = α := α A + α B. Proof. We first need to show α is an upper bound of E. Suppose z E. Then x A and y B exist so that z = x + y. By the properties of α A and α B, x α A and y α B. It follows z = x + y α A + α B, and so α is an upper bound of E. We show α is the least upper bound two ways - by applying the definition and applying Theorem.11. To apply the definition suppose α is another upper bound of E. We show α α. (This implies α is the least upper bound.) Since α is an upper bound of E, x + y α for all x A and y B. Thus x α y for all x A. This means α y is an upper bound of A. Thus α A α y since α A is the least upper bound of A. It follows y α α A for all y B. As before this implies α B α α A. That is, α A + α B α and α is the least upper bound of E. Alternatively we could apply Theorem.11. We have already established α is an upper bound of E. Next we apply (ii) in the theorem. Suppose z < α.

1. Structure of R We need to show z is not an upper bound. Set x = α A (α A + α B z)/ and y = α B (α A + α B z)/. Then x + y = z. Moreover, by construction x < α A and y < α B. Theorem.11 (ii) applies to the sets A and B, Thus w x A exists so that x < w x α A and w y B exists so that y < w y α B. This implies w x + w y α A + α B. If we set w = w x + w y, then w E and z < w α. This shows any z < α is not an upper bound of E. Theorem.11 (ii) implies α is the least upper bound of E. We are ready for our last assumption about the real numbers. While a maximum of a bounded set may not exist, the supremum of a bounded set always exits. Indeed, we assume Completeness Axiom. Every non empty bounded above subset of the real numbers has a supremum. If we had more time, we could construct the real numbers starting with the natural numbers with the completeness axiom part of the construction. Moreover, we could have made a similar assumption about the infimum instead. Not surprisingly this is not necessary since we can get the result from the completeness axiom. Theorem.14. (Infimum Property) Every non empty bounded below subset of the real numbers has an infimum. Proof. Suppose E is a non empty set bounded below. Set E 1 = E = { x x E}. We expect that β = inf E = sup E 1 = α. We must first establish the existence of α. To do so we show E 1 is bounded above. Since E is bounded from below, there exists a m such that x m for all x E. That is, x m, and all elements in E 1 are bounded by m. Thus E 1 is a non empty bounded above set. By the completeness axiom it has a supremum, say α. Now we claim β = α is an infimum for E. We check β is a lower bound and that it is the greatest lower bound: (i) Since α is an upper bound for E 1, x α for all x E. That is, x α = β for all x E, and β is a lower bound for E. (ii) Suppose β < y. That is, α < y or y < α. By Theorem.11 there exists a w E 1 with y < w or y > w. But w E, and thus y cannot be a lower bound. Thus β is the greatest lower bound..4. Applications of the Completeness Axiom Theorem.15. (Archimedean Property) The natural numbers are unbounded. Proof. Suppose to the contrary the natural numbers are bounded. Then a M exists so that n M for all n N. By the completeness axiom an α exists so that α = sup N. Now α 1 is no longer an upper bound of N, so (by Theorem.11) a n α N exists with α 1 < n α or α < n α + 1. But n α + 1 N, contradicting α being an upper bound.

.4. Applications of the Completeness Axiom 13 Looking in other books you will find different versions of the Archimedean Property. In an effort to bring the people of the world together we have Theorem.16. (Archimedean Property) The following statements are equivalent. (i) The natural numbers are unbounded. (ii) For all x R, there exists n x N such that x < n x. (iii) For all x > 0, there exists n x N such that 0 < 1/n x < x. Proof. We show (i) implies (ii). Given any x R there is a n x N such that x < n x. This is (ii). Next, we show (ii) implies (iii). If x > 0, there is a n x N such that 0 < 1/x < n x. Cross multiplying gives (iii). Finally, we show not (i) implies not (iii). If the natural numbers are bounded, there exists M such that 1 n M for all n N. That is, M 1 n for all n N. Choose x = 1/M. Then there is no n x such that 1 n x < 1 M. We note that as a consequence of the Archimedean Property there are infinitely many natural numbers, and hence infinitely many rational numbers, and infinitely many irrational numbers ( /n is irrational for n N). We have one final assumption about the natural numbers Well-Ordering Property. Every nonempty subset of the natural numbers has a smallest element. Theorem.17. (Density of Rationals) For any x, y R with x < y there exists r Q such that x < r < y. Proof. We first assume x > 0. By the Archimedean Property there exist k, m N such that 0 < 1 m < y x and k > mx or k/m > x. Let n be the smallest such k (which exists by the Well-Ordering Property). Thus n m > x and n 1 m x < n m. We claim n/m < y for otherwise This would imply n 1 m x < y n m. y x n m x n m n 1 m = 1 m contrary to our choice for m. Thus x < n m < y as required. The case x = 0 follows from Theorem.16 (iii). If x < 0 < y, choose r = 0. If x < y < 0, apply the above result to 0 < y < x to get 0 < y < r < x for some r Q. Then x < r < y < 0 as required.

14. Structure of R Corollary.18. (Density of Irrational Numbers) Let x < y. There exists ξ Q c such that x < ξ < y. Proof. By the previous theorem there exists r Q such that is, x < r < y. x < r < y. That Corollary.19. Irrational numbers can be approximated by rational numbers. Proof. Let ξ Q c. For each n N there exists r n Q such that ξ < r n < ξ + 1 n. Theorem.0. Every positive real number has a decimal expansion. Proof. By the Well-Ordering Property, there is a d 0 N such that Let d 1 be the largest integer such that d 0 x < d 0 + 1. d 0 + d 1 10 x. Note that 0 d 1 9. Let d be the largest integer such that d 0 + d 1 10 + d 10 x, and again note that 0 d 9. Suppose for some integer n, d 0, d,..., d n 1 have been chosen this way. Let d n be such that d 0 + d 1 10 + d 10 + + d n 1 10 n 1 + d n 10 n x, and note that 0 d n 9. By induction this defines d n for all positive integers. Let E = d 0 + d 1 10 + d 10 + + d n n Z + 10 n. The set E is nonempty and bounded above by x. By the Completeness Axiom, α = sup(e) exists. Since x is an upper bound of E, α x. We wish to show x = α. Suppose α < x. Then by the Archimedean Property there exists a p N such that 1/p < x α. Using the definition of d p, we find x < d 0 + d 1 10 + + d p + 1 10 p = d 0 + d 1 10 + + d p 10 p + 1 10 p α+ 1 10 p < α+ 1 p < x, a contradiction. Therefore x = α. That is, d 0.d 1 d... = d 0 + d 1 10 + d 10 + d 3 10 3 + is a decimal expansion of x.

.4. Applications of the Completeness Axiom 15 Theorem.1. If p is any positive real number, there is a positive real number x such that x = p. Proof. First we will prove the theorem for p 1. Define E := {z R 0 < z p}. Now E is nonempty since 1 E, and E is bounded from above. To see the latter, suppose z > p, then z > p p (since p 1). Hence z is not in E. Therefore, p is an upper bound for E. By the completeness axiom the supremum of E exists. Let x = sup E. We will show that x = p. Suppose x < p. Let δ < 1 be the smaller of 1 and (p x )/(x + 1). Then (x + δ) = x + δx + δ x + δx + δ = x + δ(x + 1) x + p x = p. Therefore, x + δ belongs to E, and x < x + δ contrary to x being an upper bound for E. Thus, x p. Suppose now that x > p. Let δ = (x p)/(x). Then (x δ) = x δx + δ x δx = x (x p) = p. This means x δ is less than x but serves as an upper bound for E, contrary to x being the least upper bound. We conclude that x = p. Finally, if 0 < p < 1, then (1/p) > 1, and so the proof applies to 1/p. Thus, there is a positive real number x such that x = 1/p, and so (1/x) = p.

16. Structure of R.5. Homework Exercise.1. Suppose a x b, and a y b. Show x y b a and interpret the result geometrically. Exercise.. Show a + b = a + b if and only if ab 0. Try to avoid the use of cases. Exercise.3. Let a R and suppose a < ǫ for all ǫ > 0. Prove a = 0. Exercise.4. Prove a = a. Exercise.5. (a) Prove x 1 implies x x 3 x + 1. (b) Prove that x 1 1 implies x 3 + x 8 x 1. Exercise.6. Prove that the set E = {x 0 < x < 1} has no maximum. Exercise.7. Give an example of a set of rational numbers which is bounded but does not have a rational supremum. Exercise.8. Give an example of a set of irrational numbers that has a rational supremum. Exercise.9. Let A and B be nonempty bounded subsets of the real numbers. Prove inf(a + B) = inf A + inf B. Exercise.10. Let A and B be nonempty bounded subsets of the real numbers. We define AB = {xy x A, y B}. Is it the case that sup(ab) = sup A sup B? Exercise.11. Let A and B be nonempty bounded subsets of the real numbers with A B. Show that inf B inf A sup A sup B. Exercise.1. Let A and B be nonempty bounded subsets of the real numbers. Prove sup(a B) = max{sup A, sup B} and inf(a B) = min{inf A, inf B} Exercise.13. Show that a nonempty finite subset of the real numbers has both a minimum and a maximum (use induction and the previous problem). Exercise.14. Suppose a nonempty subset of the real numbers is bounded above and the supremum is not in the subset. Show the subset must have an infinite number of elements. Exercise.15. Let f and g be bounded real-valued functions on a nonempty set D. Show that sup (f(x) + g(x)) sup f(x) + sup g(x). x D x D x D Exercise.16. Let f be bounded real-valued functions on a nonempty set D. Show that sup (f (x)) = sup f(x)!. x D x D