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

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

Axioms for the Real Number System

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

That is, there is an element

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

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

Chapter 1. Sets and Mappings

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

5 Set Operations, Functions, and Counting

Sets, Structures, Numbers

Structure of R. Chapter Algebraic and Order Properties of R

Chapter 1. Sets and Numbers

Chapter One. The Real Number System

2.2 Some Consequences of the Completeness Axiom

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

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

Some Background Material

Sets and Motivation for Boolean algebra

CHAPTER 8: EXPLORING R

Chapter 1 The Real Numbers

DR.RUPNATHJI( DR.RUPAK NATH )

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

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

Section 2.5 : The Completeness Axiom in R

The Real Number System

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

1 The Real Number System

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

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

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

Essential Background for Real Analysis I (MATH 5210)

Boolean Algebras. Chapter 2

Important Properties of R

Lecture 2. Econ August 11

1.3. The Completeness Axiom.

MAT115A-21 COMPLETE LECTURE NOTES

2. Introduction to commutative rings (continued)

REAL ANALYSIS: INTRODUCTION

Describing the Real Numbers

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

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

Foundations of Mathematics

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:

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

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

A LITTLE REAL ANALYSIS AND TOPOLOGY

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

Lecture 2: A crash course in Real Analysis

2 Topology of a Metric Space

{x : P (x)} P (x) = x is a cat

Econ Lecture 2. Outline

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Math 140: Foundations of Real Analysis. Todd Kemp

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

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

SETS AND FUNCTIONS JOSHUA BALLEW

1 Numbers and Functions

Suppose R is an ordered ring with positive elements P.

1 Homework. Recommended Reading:

HW 4 SOLUTIONS. , x + x x 1 ) 2

Real Analysis - Notes and After Notes Fall 2008

Problem Set 2: Solutions Math 201A: Fall 2016

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

MORE ON CONTINUOUS FUNCTIONS AND SETS

Scalar multiplication and addition of sequences 9

Numbers, sets, and functions

Consequences of the Completeness Property

Notes on Ordered Sets

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

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

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

1. Foundations of Numerics from Advanced Mathematics. Mathematical Essentials and Notation

A Short Review of Cardinality

A NEW SET THEORY FOR ANALYSIS

Introduction to Real Analysis

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Axioms for Set Theory

MATH 145 LECTURE NOTES. Zhongwei Zhao. My Lecture Notes for MATH Fall

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21

Introduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1

THE REAL NUMBERS Chapter #4

S15 MA 274: Exam 3 Study Questions

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

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Propositional Logic, Predicates, and Equivalence

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Fundamentals of Pure Mathematics - Problem Sheet

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.

This section will take the very naive point of view that a set is a collection of objects, the collection being regarded as a single object.

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Part 2 Continuous functions and their properties

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Exercises for Unit VI (Infinite constructions in set theory)

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

Discrete Mathematics 2007: Lecture 5 Infinite sets

Transcription:

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

Lectures 1-3 (I-week) Lecture 1 Why real numbers? Example 1 Gaps in the rational number system. By simply employing the unique factorization theorem for integers, we can easily conclude that there is no rational number r such that r 2 = 2. So there are gaps in the rational number system in this sense. The gaps are somewhat subtle. To illustrate this fact let us consider any positive rational number p and put Check that q = 2p + 2 p + 2 = p p2 2 p + 2. (1) q 2 2 = 2(p2 2 2) > 0 (2) p + 2 Now if p 2 < 2 then check that p < q and q 2 < 2. Similarly, if p 2 > 2 then check that q < p and 2 < q 2. This shows that there exist a sequence r 1 > r 2 > r 3 > of rational numbers such that r 2 k > 2 and a sequence of rational number s 1 < s 2 < such that s 2 k < 2. In other words, in the set of all positive rationals r such that r 2 > 2 there is no least element and similarly in the set of all positive rationals such that s 2 < 2 there is no greatest element. The real number system fulfills 0

this kind of requirement that the rational number system is unable to fulfill. Some Basic Set theory Membership, union, intersection, power set, De Morgan s law, (the episode of RAMA and SITA), ordered pairs:(x, y) := {{x}, {x, y}}. Cartesian product X Y as a subset of the power set of power set of X Y. Relations, functions, cartesian product of arbitrary family of sets, cardinality, finiteness and infiniteness, countability of Q Notation: N = {0, 1, 2,...} the set of natural numbers. Z = set of interger. Z + = the set of positive integers Q = the set of rational numbers. R = the set of real numbers. C = the set of complex numbers. Lecture 2 Definition 1 Let X be a set R X X be a relation in X. We shall write x < y whenever (x, y) R. We say R is an order (total order or linear order) on X if the following conditions hold: (i) Transitivity: x < y, y < z = x < z for any x, y, z X. (ii) Law of Trichotomy: Given x, y X either x < y or y < x or x = y. We shall read x < y as x is less than y. We shall write x y to mean either x < y or x = y. We shall also write x > y to mean y < x and x y to mean y x. Note that > becomes another order on the set X. However, these two orders on X are so closely related to each other, that we can recover any information on one of them from a corresponding information on the other. Let now A X. We say x X is an upper bound of A if a x 1

for all a A. If such an x exists we then say A is bounded above. Likewise we define lower bounds and bounded below as well. An element x X is called a least upper bound abbreviated as lub, (or supremum to be written as sup of A if x is an upper bound of A and if y is an upper bound of A then x y. Similarly we define a greatest lower bound (glb or inf = infimum). Remark 1 (i) The set of integers is an ordered set with the usual order <. The subset of positive integers is bounded below but not bounded above. Also it has greatest lower bound viz., 1. Indeed the set of rational numbers is also an ordered set with the natural order and this way we can view Z as an ordered subset of Q. Note that Z + is not bounded above even in Q. (ii) Even if a set A is bounded above, there may not be a least upper bound as seen in the example 1. However, if it exists then it is unique. (iii) Let A = be the emptyset of an ordered set X. Then every member of X is an upper bound for A. Therefore, least upper bound for A would exist iff X has a least element. (iv) Let A = X. Then an upper bound for A is nothing but the greatest element of X if it exists and hence the lub of X is also equal to this element. Definition 2 An ordered set X is said to be order complete if for every nonempty subset A of X which is bounded above there is a least upper bound for A in X. Definition 3 By a binary operation on a set X we mean a function : X X X Remark 2 It is customary to denote (a, b) by a b or some other conjunction symbol between the two letters a and b. if there is no scope 2

for confusion, by ab. Typical example of binary operations are addition and multiplication defined on the set of integers (rational numbers) etc.. Definition 4 A field K is a set together with two binary operations denoted by + and satisfying a number of properties called field axioms which we shall express in three different lists: List(A) Axioms for addition: (A1) Associativity: x + (y + z) = (x + y) + z; x, y, z K. (A2) Commutativity: x + y = y + x; x, y K. (A3) The zero element: There exists 0 K such that x+0 = x; x K. (A4) Negative: For x K there is a y K such that x + y = 0. List (M) Axioms for multiplication: (M1) Associativity: x(yz) = (xy)z; x, y, z K. (M2) Commutativity: xy = yx; x, y K. (M3) The unit element: There exists 1 K, 1 0 such that 1x = x; x K. (M4) Inverse: For each x K such that x 0 there exists z K such that xz = 1. List (D) Distributivity: x(y + z) = xy + xz; x, y, z K. Remark 3 Note that the zero element is unique. Therefore (M3) and (M4) make sense. Moreover, the unit element is also unique. Further the negative and the inverse are also unique and are denoted respectively by x and 1/x. Because of the associativity, we can drop writing down brackets at all. We also use the notation n to indicate the sum 1 + 1 + + 1 (n times). Likewise we use the notation x n in denote xx x (n times). Thus all polynomial expressions of elements of K 3

make sense. That is to say, if p(t) = a 0 + a 1 t + + a n t n, with a i K then we can substitute for t any element x K and obtain a well defined element of K. The most important example of a field for us now is the field of rational numbers K = Q. Definition 5 An ordered field is a field K with an order < satisfying the following axioms: (O1) x < y = x + z < y + z for all x, y, z K. (O2) x > 0, y > 0 = xy > 0 for all x, y K. Remark 4 Once again a typical example is the field of rational numbers with its usual order. All familiar rules for working with inequalities will be valid in any ordered field. For example the square of any element in an ordered field cannot be negative. Let us list a few of such properties which can be derived easily from the axioms: Theorem 1 Let K be an ordered field with the order <. Then the following properties are true for elements of K : (a) 0 < x iff x < 0. (b) 0 < x, y < z = xy < xz. (c) x 0 = 0 < x 2. In particular, 0 < 1. (d) 0 < x < y = 0 < 1/y < 1/x. Exercise 1 Let K be an ordered field. Temporarily let us denote the identity elememt of K by 1 K and 1 K + + 1 K (m times) by m 1 K. (a) Show that the mapping m m 1 K defines an injective ring homomorphism of φ : Z K which is order preserving, viz., φ(x + y) = φ(x) + φ(y); φ(xy) = φ(x)φ(y); x < y = φ(x) < φ(y). (b) Show that φ extends to an injective field homomorphsim Q K 4

which is order preserving. In this way we can now say that every ordered field contains the field of rational numbers. We shall now state a result which asserts the existence of real number system. We shall not prove this. Interested reader may read this from [R]. Theorem 2 There is a unique ordered field R which contains the ordered field Q and is order complete. Remark 5 Note that a field K is order complete iff for every subset A of K which is bounded below there is a greatest lower bound. This follows easily by considering A. The uniqueness of R has to be interpreted correctly in the sense that if there is another such R then there is a bijection φ : R R such that (i) φ(r) = r, r Q (ii) φ(x + y) = φ(x) + φ(y), x, y R (iii) φ(xy) = φ(x). φ(y), x, y R. (iv) x < y = φ(x) < φ(y), x, y R. Lecture 3 Theorem 3 Z + is not bounded above in R. Proof: If x R is such that n < x for all n Z +, then we can take the least upper bound l R for Z +. But then there must exist n Z + such that l 1 < n. This implies l < n + 1 which is absurd. Theorem 4 Archimedian Property (A) For every x R there exists n Z + such that x < n. (B) x, y R, 0 < x = there exists n Z + such that y < nx. 5

Proof: : (A) This is just a restatement of the above theorem. (B) Apply (A) to y/x. Theorem 5 If S is a nonempty subset of Z which is bounded above then S has a maximum. Proof: (Recall that a set has a maximum iff the least upper bound exists and belong to the set.) Let y R be the least upper bound of S. We claim that y S. Suppose y is not in S. Now there exists m S such that y 1/2 < m < y. This implies 0 < y m < 1/2. Also, since y+m 2 < y there exists n S such that y+m 2 < n < y. This implies that 0 < y m 2 < n m < y m < 1/2 which is absurd. Definition 6 We can now define the floor and ceiling functions on R. Given any x R consider the set Z x = {m Z : m r}. Clearly Z x is bounded above and non empty (Archimedian property). From the above theorem, it has a maximum which is of course unique. We define this maximum to be x. Likewise x is also defined. Lemma 1 Let x, y R be such that y x > 1. Then there exists m Z such that x < m < y. Proof: By the definition of floor, it follows that x < 1+ x. Therefore, 1 < y x = x < 1 + x < y x + x < y. and by taking m = 1 + x, we are done. Theorem 6 Density of Q in R. Given x < y R there exist r Q such that x < r < y. Proof: We have to find r = m/n such that x < m/n < y which is the same as finding integers m, n, n > 0 such that nx < m < ny. This is possible iff we can find n > 0 such that the interval (nx, ny) contains 6

an integer iff n(y x) > 1. This last claim follows from (B) of theorem 4. The last theorem may lead us to believe that the set of real numbers is not much too large as compared to the set of rational numbers. However the fact is indeed the opposite. This was a mild shock for the mathematical community in the initial days of invention of real numbers. We define an irrational number to be a real number which is not a rational number. To begin with we shall prove: Theorem 7 The set R \ Q of irrationals is dense in R. Proof: Given any two real numbers x < y we must find an irrational number φ such that x < φ < y. By the earlier theorem we can first choose rational numbers x 1, y 1 such that x < x 1 < y 1 < y and then show that there is an irrational number φ such that x 1 < φ < y 1. By clearing the denominators we can then reduce this to assuming that x, y are integers and then by taking the difference, we can further assume that x = 0. But then we can as well assume that y = 1. Thus it is enough to show that there is an irrational number between 0 and 1. If this were not true, by translation, it would follow that there are no irrational numbers at all! Remark 6 Pay attention to this argument which occurs in somewhat different forms in several places in mathematics. Later we shall show that R \ Q is uncountable. To begin with, at least, we can now be sure that there is a real number x such that x 2 = 2. Theorem 8 Given any positive real number y, there is a unique positive real x such that x 2 = y. Proof: Uniqueness is easy: x 2 1 = x 2 = (x 1 + x 2 )(x 1 x 2 ) = 0 which in turn implies x 1 x 2 = 0. 7

The existence will be left to you as an exercise for the time being. We shall prove this after awhile. Exercise 2 Let S be a non empty subset of R which is bounded above. Let T be the set of all upper bounds of S. Show that lub(s) = glb(t). Exercise 3 Fix x > 1. 1. For positive integers p, q, m, n such that q 0, n 0 and p/q = m/n = r show that (x m ) 1/n = (x p ) 1/q. This allows us to define x r = (x m ) 1/n unambigueously. 2. Show that for rational number r, s, x r+s = x r x s ; (x r ) s = x rs. 3. For any real number α, let S(α) = {x r : r α, r Q}. Show that if α is rational then x α = lub(s(α)). This prompts us to define, for any real number α x α := lubs(α). 4. Prove that x α x β = x α+β for all real numbers α, β. 8