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

Similar documents
Structure of R. Chapter Algebraic and Order Properties of R

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

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

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

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

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

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

Chapter 1 The Real Numbers

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

Chapter One. The Real Number System

5 Set Operations, Functions, and Counting

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MAT115A-21 COMPLETE LECTURE NOTES

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

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:

MATH 3300 Test 1. Name: Student Id:

Mathematical Reasoning & Proofs

Exercises for Unit VI (Infinite constructions in set theory)

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

S15 MA 274: Exam 3 Study Questions

a = qb + r where 0 r < b. Proof. We first prove this result under the additional assumption that b > 0 is a natural number. Let

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

Chapter 1. Sets and Mappings

Countability. 1 Motivation. 2 Counting

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

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

Construction of a general measure structure

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

2.2 Some Consequences of the Completeness Axiom

On minimal models of the Region Connection Calculus

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

Section 7.5: Cardinality

Sets, Structures, Numbers

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

A Short Review of Cardinality

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Suppose R is an ordered ring with positive elements P.

THE REAL NUMBERS Chapter #4

A LITTLE REAL ANALYSIS AND TOPOLOGY

Chapter 1 : The language of mathematics.

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

SETS AND FUNCTIONS JOSHUA BALLEW

DR.RUPNATHJI( DR.RUPAK NATH )

MATH 117 LECTURE NOTES

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

Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści

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

Fundamentals of Pure Mathematics - Problem Sheet

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

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Econ Lecture 2. Outline

STA2112F99 ε δ Review

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

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

Sets, Proofs and Functions. Anton Velinov

MATH 521, WEEK 2: Rational and Real Numbers, Ordered Sets, Countable Sets

MATH FINAL EXAM REVIEW HINTS

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

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

Part IA Numbers and Sets

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

MORE ON CONTINUOUS FUNCTIONS AND SETS

Chapter 1. Sets and Numbers

Axioms for Set Theory

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

A NEW SET THEORY FOR ANALYSIS

Midterm Review Math 311, Spring 2016

Important Properties of R

4130 HOMEWORK 4. , a 2

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

Theory of Computation

Numbers, sets, and functions

Scalar multiplication and addition of sequences 9

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

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Contribution of Problems

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

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

Cardinality and ordinal numbers

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

Vector Spaces. Chapter 1

Introduction to Proofs

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

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

Real Analysis - Notes and After Notes Fall 2008

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

20 Ordinals. Definition A set α is an ordinal iff: (i) α is transitive; and. (ii) α is linearly ordered by. Example 20.2.

CITS2211 Discrete Structures (2017) Cardinality and Countability

Infinite constructions in set theory

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

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

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

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

A function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that. f (x) = y

Chapter 4. Measure Theory. 1. Measure Spaces

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6

Transcription:

21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous fashion. (Our approach will be designed so that generalization to more exotic types of functions should be reasonably natural.) In order to do this we need to have a clearly delineated concept of real number. There are two basic approaches to discussing the real number system. One of them is to first introduce the integers, then define the rational numbers to be ratios of integers, and finally construct the real numbers by filling in certain gaps in the rational numbers; this process is called completion of the rationals. The other approach is to assume the existence of a set R (called the set of real numbers) having all of the appropriate properties. We shall adopt the latter approach because it will allow us to get to the central part of the course more quickly, and also because everyone in the class already has at least some familiarity with the real number system. We take for granted the existence of a set R, together with two distinguished elements 0 (zero) and 1 (one), with 0 1, two binary operations + (addition) and (multiplication), from R R to R and a distinguished subset P R, satisfying axioms (F1) thru (F9), (O1) thru (O3), and (C) below. The elements of R are called real numbers; the elements of P are called positive real numbers or simply positive numbers. Axioms (F1)-(F9) are called the field axioms; they imply all of the familiar rules of basic algebra. We shall use the various consequences of these axioms without explicit discussion. The order axioms (O1)-(O3) distinguish the positive real numbers. Using the notion of positive number, it is straightforward to define the relations less than and greater than. We shall also use the basic properties of inequalities (which follow from (O1)-(O3)) without explicit discussion. The completeness axiom (C) is what distinguishes the real numbers from other ordered fields. (Any system satisfying (F1)-(F9) and (O1)-(O3) is called an ordered field. The rational numbers form an ordered field but they do not satisfy (C).) In contrast with the previous axioms, we shall usually be very explicit about the use of (C). The Field Axioms (F1) x, y R, x + y = y + x (F2) x, y, z R, (x + y) + z = x + (y + z) (F3) x R, x + 0 = x (F4) x R, y R such that x + y = 0 (F5) x, y R, x y = y x (F6) x, y, z R, (x y) z = x (y z) (F7) x R, x 1 = x 1

(F8) x R\{0}, y R such that x y = 1 (F9) x, y, z R, x (y + z) = (x y) + (x z) Remark I.1: (a) It is straightforward to show that for every x R there is exactly one y R such that x + y = 0; it is customary to denote this y by x. (b) It is also straightforward to show that for every x R\{0} there is exactly one y R such that x y = 1; it is customary to denote this y by 1 x or by x 1. Remark I.2: We define the operations of subtraction and division by x z = x + ( z) for all x, z R, x y = x ( ) 1 z for all x R, z R\{0}. Remark I.3: When there is no danger of confusion we omit the and write xy in place of x y. Order Axioms (O1) x, y P, x + y P and xy P (O2) x P, x / P (O3) x R, x = 0 or x P or x P. Remark I.4: We define the relation < on R by x < y y x P. We define the additional relations, >, and on R by x y x < y or x = y x > y y < x x y y x. Before stating the final axiom (C) we need some definitions. Definition I.5: Let S R and b R be given. We say that b is (i) an upper bound for S if x b for all x S. (ii) a lower bound for S if x b for all x S. Definition I.6: Let S R and c R be given. We say that c is (i) a least upper bound for S if c is an upper bound for S and c b for every b that is an upper bound for S. (ii) a greatest lower bound for S if c is a lower bound for S and c b for every b that is a lower bound for S. 2

Remark I.7: It is easy to see that a set S R can have at most one least upper bound and at most one greatest lower bound. We denote the least upper bound for S (if it exists) by sup(s) and the greatest lower bound for S (if it exists) by inf(s). Definition I.8: Let S R. We say that S is (i) bounded above if S has an upper bound b R. (ii) bounded below if S has a lower bound b R. (iii) bounded if S is bounded above and bounded below We are now ready to state the completeness axiom. Completeness Axiom (C) Every nonempty subset of R that is bounded above has a least upper bound. In order to discuss some important subsets of R (namely the natural numbers, the integers, and the rational numbers) it is convenient to introduce the idea of an inductive set. Definition I.9: Let S R. We say that S is an inductive set provided that (i) 1 S, and (ii) x S, x + 1 S. Remark I.10: It is straightforward to show that the intersection of any collection of inductive sets is an inductive set. Definition I.II: We define the set N of natural numbers by N = C, where C denotes the collection of all inductive sets (i.e., N is the smallest inductive set. Definition I.12: We define the set Z of integers by Z = N {0} {x R : x N}. Definition I.13: We define the set Q of rational numbers by { m } Q = n : m, n Z, n 0. Remark I.14: Notice that 3

N Z Q R. The principle of mathematical induction follows immediately from our definition of N as the smallest inductive set. Due to the importance of this principle we shall state it explicitly. Principle of Mathematical Induction: Let S be a subset of N and assume that (i) 1 S, and (ii) n S, n + 1 S. Then S = N. Another important principle that is closely related to induction is stated below. In analysis textbooks this is often referred to as the well-ordering principle (for the natural natural numbers). Some people refer to it as the least number principle (and reserve the term well-ordering for something more general.) Well-Ordering Principle (for N): Every nonempty subset of N has a smallest element. We need to briefly discuss a few issues pertaining to finite and infinite sets. For this purpose we recall some definitions concerning functions. Definition I.15: Let D and E be sets and consider a function f : D E. We say that f is (i) injective provided that x 1, x 2 D with x 1 x 2, we have f(x 1 ) f(x 2 ). (ii) surjective if y E, x D with f(x) = y. (iii) bijective if it is injective and surjective. Definition I.16: Let S be any set. We say that S is (i) infinite if there is an injective function f : N S. (ii) finite if it is not infinite. (iii) countably infinite if there exists a bijective function f : N S Unless stated otherwise, we assume that the axiom of choice holds. 4

(iv) countable if it is either finite or countably infinite. (v) uncountable if it is not countable. The following proposition contains a number of basic facts concerning the concepts of the previous definition. Proposition I.17: (i) Every subset of a finite set is finite. (ii) Every subset of a countable set is countable. (iii) If a set S has an infinite subset then S is infinite. (iv) If a set S has an uncountable subset then S is uncountable. (v) The union of any finite collection of finite sets is finite. (6) The union of any countable collection of countable sets is countable. Proposition I.18: The sets N, Z, and Q are countably infinite. Proposition I.19: Let α, β R with α < β be given and put Then (α, β) is uncountable. (α, β) = {x R : α < x < β}. It may seem intuitively clear that the natural numbers are not bounded above. However, this cannot be proved using only the field axioms and the order axioms. (Indeed there are ordered fields in which the set of natural numbers is bounded above.) For our first use of the completeness axiom, we shall prove the following basic result. Proposition I.20: The set N is not bounded above. Proof: Suppose that N is bounded above. Since N is nonempty, the completeness axiom implies that N has at least upper bound. Let c = sup(n). Then c 1 is not an upper bound for N. Therefore, we may choose n N such that n > c 1. Then n + 1 > c and n + 1 N. This contradicts the fact that c is an upper bound for N. The so-called Archimedean Property of R is an immediate consequence of Proposition I.20. Archimedian Property of R: Let x R be given. There exists n Z such that n > x. Density of Q in R: Let x, y R with x < y be given. Then there exists r Q with x < r < y. 5

Proof: Assume first that x 0. By the Archimedean Property of R we may choose q N such that (1) q > 1 y x. Since q, y x > 0 we have (2). 0 < 1 q < y x Let S = {n N : y n }. By the Archimedean Property, S is nonempty. By the q Well-Ordering Principle, S has a smallest element. Let p = min (S). Then p S, i.e. (3) y p q and p 1 / S, i.e. (4) Notice that p q q < y. (5) x = y + (x y) p q + (x y), by virtue of (3). It follows from (2) that (6) (x y) < 1 q Combining (5) and (6) we obtain x < p 1, q and the desired conclusion holds with r = p 1 q. If x < 0 we may choose n N with n > x. Then n + x > 0 and we may choose r Q with n + x < r < n + y by the argument above. Notice that r n Q and x < r n < y. We close this section with two propositions concerning finiteness and the natural numbers. Proposition I.21: A nonempty set S is finite if and only if there exist N N and a bijection f : {n N : 1 n N} S. Proposition I.22: A set K N is finite if and only if K is bounded above. 6