PRINCIPLES OF ANALYSIS - LECTURE NOTES

Similar documents
MTH 505: Number Theory Spring 2017

Proofs. Chapter 2 P P Q Q

Chapter 1. Sets and Numbers

Proofs. Chapter 2 P P Q Q

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.

1. Introduction to commutative rings and fields

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

1. Introduction to commutative rings and fields

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.

2. Introduction to commutative rings (continued)

Chapter 2. Real Numbers. 1. Rational Numbers

Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)

CHAPTER 8: EXPLORING R

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

m + q = p + n p + s = r + q m + q + p + s = p + n + r + q. (m + s) + (p + q) = (r + n) + (p + q) m + s = r + n.

HOMEWORK 4 MATH B4900 DUE: 2/28/ Annihilators. Let R be a ring with 1, and let M be an R-module. The annihilator of M in R is

Functions. Ex. f : R 0 Ñ R 0 defined by x fiñ x 2.

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

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

The natural numbers. The natural numbers come with an addition +, a multiplication and an order < p < q, q < p, p = q.

3. Abstract Boolean Algebras

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

CHAPTER 3: THE INTEGERS Z

Chapter 5: The Integers

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

ADVANCE TOPICS IN ANALYSIS - REAL. 8 September September 2011

Introductory Mathematics

Handout #6 INTRODUCTION TO ALGEBRAIC STRUCTURES: Prof. Moseley AN ALGEBRAIC FIELD

MAT115A-21 COMPLETE LECTURE NOTES

MAT 417, Fall 2017, CRN: 1766 Real Analysis: A First Course

Algebra II First Semester Assignment #5 (Review of Sections 1.1 through 1.8)

Math 511, Algebraic Systems, Fall 2017 July 20, 2017 Edition. Todd Cochrane

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.

Mathematical Reasoning & Proofs

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

Math 5330 Spring Notes Congruences

1. multiplication is commutative and associative;

MATH 117 LECTURE NOTES

Math 300 Introduction to Mathematical Reasoning Autumn 2017 Axioms for the Real Numbers

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

CSE 1400 Applied Discrete Mathematics Proofs

Exam 2 Solutions. In class questions

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009)

DR.RUPNATHJI( DR.RUPAK NATH )

Divisibility = 16, = 9, = 2, = 5. (Negative!)

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

Introduction: Pythagorean Triplets

1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.

1. A Little Set Theory

Rings, Integral Domains, and Fields

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Algebraic Structures of Numbers. Andrejs Treibergs. September 8, 2009

FastTrack - MA109. Exponents and Review of Polynomials

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

Fundamentals of Pure Mathematics - Problem Sheet

Lecture 24 Properties of deals

Statistical Inference

Axioms of Kleene Algebra

1. (a) q = 4, r = 1. (b) q = 0, r = 0. (c) q = 5, r = (a) q = 9, r = 3. (b) q = 15, r = 17. (c) q = 117, r = 11.

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.

Notes on ordinals and cardinals

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

Chapter 1 : The language of mathematics.

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

Dr. Marques Sophie Algebra 1 Spring Semester 2017 Problem Set 9

CS 173 Lecture 7: Arithmetic (II)

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra


MATH10040: Numbers and Functions Homework 1: Solutions

Solutions for Homework Assignment 2

Proof by contrapositive, contradiction

Proof Techniques (Review of Math 271)

Numbers 1. 1 Overview. 2 The Integers, Z. John Nachbar Washington University in St. Louis September 22, 2017

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

For example, p12q p2x 1 x 2 ` 5x 2 x 2 3 q 2x 2 x 1 ` 5x 1 x 2 3. (a) Let p 12x 5 1x 7 2x 4 18x 6 2x 3 ` 11x 1 x 2 x 3 x 4,

FINITE ABELIAN GROUPS Amin Witno

Introduction to Analysis in One Variable. Michael E. Taylor

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

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

Chapter One. The Real Number System

M17 MAT25-21 HOMEWORK 6

Discrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 6

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

LESSON 8.1 RATIONAL EXPRESSIONS I

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

1. (a) q = 4, r = 1. (b) q = 0, r = 0. (c) q = 5, r = (a) q = 9, r = 3. (b) q = 15, r = 17. (c) q = 117, r = 11.

DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

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

Conditional Probability

Automata Theory and Formal Grammars: Lecture 1

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

0 Sets and Induction. Sets

Example. The sequence defined by the function. a : Z 0 Ñ Q defined by n fiñ 1{n

3 The language of proof

Transcription:

PRINCIPLES OF ANALYSIS - LECTURE NOTES PETER A. PERRY 1. Constructions of Z, Q, R Beginning with the natural numbers N t1, 2, 3,...u we can use set theory to construct, successively, Z, Q, and R. We ll not give all details but discuss a few key points that arise in the constructions. Recall that an equivalence relation among elements in a set S is a binary relation with the following properties: (i) (reflexivity) a a for all a P S (ii) (symmetry) For all a, b P S, if a b, then b a (iii) (transitivity) For all a, b, c P S, if a b and b c, then a c For a given a P S, we denote by ras the equivalence class of a in S with respect to, i.e., ras tb P S : b au. It is not too hard to see that the set of equivalence classes of elements of S partitions S into a disjoint union of subsets. Obviously, a P ras. 1.1. From N to Z. A natural way to construct Z from N is to represent elements of Z as formal differences m n where m, n P N. Of course there are many such representations, so we call two representations m n and m 1 n 1 equivalent if m ` n 1 m 1 ` n. Observe that this is a statement about equality of natural numbers. The backstory is that we made the computation m n m 1 n 1 m n ` n 1 m 1 m ` n 1 n ` m 1 (What we want to be true) (Add n 1 to both sides) (Add n to both sides) in order to go from the statement we want to a legitimate statement about natural numbers. Thus, to be strictly precise, we define Z to be the set of all equivalence classes rm ns of such representations where we say that (1.1) m n m 1 n 1 if m ` n 1 m 1 ` n. A particular representation of z rm ns by positive integers m and n is called representative of that equivalence class. Date: August 24, 2018. For legal purposes, be it duly noted that these notes are a gloss on the text Introduction to Analysis by Richard Beals. Therefore no originality is claimed for the presentation! Worse still, some of the proofs are lifted directly out of the text with trivial modifications. These notes are for student use only in MA 575 Fall 2018 at the University of Kentucky. 1

2 PETER A. PERRY From now on, if we want to define an operation on integers (addition, subtraction, multiplication) we need to be sure that our definition respects equivalence classes. Thus, for example, if we define rm ns ` rp qs rpm ` pq pn ` qqs we want to be sure that the right-hand side defines the same integer, no matter which representative we pick for rm ns and rp qs. That is, we need to check that if m n, m 1 n 1 are two represenatives of z rm ns, and if p q, p 1 q 1 are two representatives of rp qs, then rpm ` pq pn ` qqs rpm 1 ` p 1 q pn 1 ` q 1 qs. Working backwards from the definition (1.1), we need to prove that pm ` pq ` pn 1 ` q 1 q pm 1 ` p 1 q ` pn ` qq given that m ` n 1 m 1 ` n and p ` q 1 p 1 ` q. You should be able to do this using only facts about positive integers! Similarly, we d like to define multiplication of z rm ns and z 1 rp qs as 1 z z 1 rpmp ` nqq pnp ` mqqs but we need to know that the right-hand side is the same no matter what choice of representatives we make for z and z 1. In your homework you are asked to prove that this is the case. In principle, one can prove all of the axioms involving addition, multiplication, and order relations among elements of Z from the corresponding facts of N and these definitions. 1.2. From Z to Q. A natural way to construct Q from Z is to define elements of Q as expressions of the form m{n where m P Z and n 0 P Z. Once again, there are many ways of representing a given rational number as a quotient of integers, so we need to say when two such representations are equivalent and work with equivalence classes. Two representations of the same rational q m{n m 1 {n 1 are equivalent if 2 (1.2) mn 1 m 1 n. Again we denote by q rm{ns the equivalence class of all representations of a given rational q as a quotient of integers m{n with n 0. We would like to define addition and multiplication of rationals in terms of equivalence classes. Again we have to check that our definitions respect equivalence 1 The backstory here is that you use FOIL to compute pm nqpp qq mp ` nq np mq pmp ` nqq pnp mqq. 2 To derive this condition we compute, using the rules we want to be true (!), m n m1 n 1 m n nn1 m1 n 1 nn 1 mn 1 m 1 n

PRINCIPLES OF ANALYSIS - LECTURE NOTES 3 classes. Thus, for example, to add two rationals r 1 rm{ns and r 2 r rp{qs, we d like to say that r 1 ` r 2 rpmq ` npq{nqs. In order for this definition to respect equivalence classes, we need to check that if m{n and m 1 {n 1 are two representatives for r 1, and if p{q and p 1 {q 1 are two representatives for r 2, then (1.3) provided mq ` np np m1 q 1 ` n 1 p 1 n 1 q 1 (1.4) mn 1 m 1 n, pq 1 p 1 q. To state the condition(1.3) correctly in terms of properties of integers alone, we use (1.2) to rephrase (1.3) as (1.5) pmq ` npq pn 1 q 1 q pnpqpm 1 q 1 ` n 1 p 1 q which should follow from the conditions (1.4) (does it?). Similarly, we d like to define the multiplication of two rational r 1 rm{ns and r 2 rp{qs by the equation j mp (1.6) r 1 r 2. nq For this notion to be well-defined, we need to know that if m{n, m 1 {n 1 are two representatives of r 1, and p{q, p 1 {q 1 are two representatives of r 2, then mp{pnqq m 1 p 1 {pn 1 q 1 q, or more precisely (recall (1.2)) mpn 1 q 1 m 1 p 1 nq provided (1.4) holds (check that this is so!). 1.3. From Q to R by Dedekind Cuts. The rationals are closed under the arithmetic operations of addition, subtraction, multiplication, and division, which means that simple linear equations like ax ` b c can be solved over Q. This is not the case for algebraic equations such as x 2 2 or x 3 4, which motivates the definition of the real numbers R, an extension of the rational numbers Q. Richard Dedekind 3 gave a set-theoretic construction of the real numbers from the rationals which we ll briefly describe. For a given rational number q, consider the set S q tr P Q : r ă qu. This set has the following properties: (i) S H, S Q, (ii) If r P S and s ă R, then s P S, (iii) S has no largest element. Now let S? 2 be the set of all rationals q so that either q ď 0 or q2 ă 2. You can check (carefully) that this set also has properties (i) - (iii), and might plausibly be taken as a set-theoretic definition of the irrational number? 2. Dedekind s ideas was to define the real numbers as the set of all possible cuts of the rationals. It is clear that the mapping q ÞÑ S q gives a one-to-one map from Q into the set of cuts (why is it one-to-one?) but, from the example of S? 2, it is clearly larger than 3 Actually Julius Wilhelm Richard Dedekind (1831-1916), a German mathematician who worked in abstract algebra, algebraic number theory, and foundations.

4 PETER A. PERRY Q. As with our set-theoretic constructions of Z from N and Q from Z, this gives us a plausible way to deduce the axioms of R from those of Q if we can define the basic operations (addition, multiplication, division, order) using the language of set theory. Again, we won t attempt an exhaustive exposition of Dedekind s construction, but rather focus on a few highlights. For rational numbers, it clearly works to define S q`q 1 tr ` s : r P S q, s P S q 1u so we define addition of cuts by the set-theoretic construction S ` S 1 tr ` s : r P S, s P S 1 u. One needs to check that S ` S 1 is in fact a cut in that it satisfies (i)-(iii) above. If so, then it is very easy to derive the commutative and associative laws of addition from those same laws for the rationals. We can also define an order relation on real numbers inherited from the settheoretic order relation on cuts. We say that S ă S 1 if S Ă S 1 but S S 1. It is not hard to deduce from this definition the usual properties of the order relation on reals, such as trichotomy (one uses the corresponding trichotomy of sets satisfying (i) (iii)). We can also deduce that a monotone increasing, bounded sequence of real numbers must have a limit using the language of set theory. Such a sequence corresponds to a sequence of sets ts n u with the property that S 1 Ă S 2 Ă... Ă S n Ă T for all n and some cut T. One shows that the set 8ď S n 1 is a cut, which is then defined to be the limit of the real numbers ts n u (where is the condition that all of the S n contained in a fixed cut T used?). S n 2. The Real Numbers Here we d like to state the axioms of the real numbers, state the Least Upper Bound property, and derive a few basic results about the real numbers. We ll repair what appears to be a circularity in the presentation from Beals text, section 2A. We ll begin with a list of axioms for the real numbers and see where it leads us! Axioms of Addition. A1 pa ` bq ` c a ` pb ` cq A2 a ` b b ` a A3 There is an element 0 so that a ` 0 a A4 For each a P R there is an element a with a ` p aq 0 Axioms of Multiplication. M1 pabqc apbcq M2 ab ba M3 There is an element 1 0 so that, for all a P R, a 1 a M4 For each a P R with a 0, there is an element a 1 so that a a 1 1

PRINCIPLES OF ANALYSIS - LECTURE NOTES 5 Distributive Law of Multiplication over Addition. D pa ` bqc ac ` bc; apb ` cq ab ` ac Order Axioms. O1 For any a and b, exactly one of the following is true: a ă b, a ą b, a b O2 If a ă b and b ă c, then a ă c O3 If a ă b, then a ` c ă b ` c O4 If a ă b and 0 ă c, then ac ă bc O5 (Archimedian Property) If 0 ă a and 0 ă b, there is a positive integer n so that b ă a ` a `... ` a (N summands) O6 (Least Upper Bound Property) If A is any nonempty subset of R that is bounded above, then there is a least upper bound for A 2.1. Some basic Propositions. (a) The elements 0 and 1 are unique (b) For any a P R, a is unique (c) For any a 0 in R, a 1 is unique (d) For any a, p aq a and for any a 0, pa 1 q 1 a (e) For any a P R, a 0 0 and p 1q a a (f) For any a P R, exactly one of the following is true: 0 ă a, 0 ă p aq, or a 0 (g) For any a, b P R, a ă b if and only if 0 ă b a Before we get started we need to prove the additive cancellation law: if a, b, and c are real numbers and a ` c b ` c, then a b. Proof. Either a b, a ă b or b ă a by O1. Suppose b ă a; then by O3 b`c ă a`c, a contradiction. Similarly, if a ă b, then a ` c ă b ` c. Hence, a b. Using O4 you can prove a similar multiplicative cancellation law it would be a good idea to state and prove it to test your understanding of the previous proof! It s now easy to prove that the additive identity 0, the multiplicative identity 1, and additive inverse p aq, and the multiplicative inverse a 1, are all unique. We use a common strategy: suppose that there are two of the object to be proven unique, and show that they are equal. Here s how it works for the additive identity NA first fundamental proof strategy 0. Proof. Suppose that 0 and 0 1 are both additive identities, and let a be any real number. Since a ` 0 a ` 0 1 a we may deduce a ` 0 a ` 0 1 and conclude that 0 is unique. Property of additive identity 0 0 1 Cancellation law for addition 2.2. Some Slightly Less Basic Propositions. (a) Given a, b P R, there is a unique x such that a ` x b (b) Given a 0 and b in R, there is a unique y such that ay b (c) If a and b are positive, then a ` b and ab are positive (d) If 0 ă a ă b, then 0 ă 1{b ă 1{a

6 PETER A. PERRY We ll prove (a) and (b) using the additive and multiplicative cancellation laws. This proof uses a second common strategy for mathematical proof: to show than an object exists and is unique, first exhibit one such object, and then use the uniqueness proof strategy above to show that the object is uniquely defined. NA second fundamental proof strategy Proof. (a) To show that such an x exists, let 4 x b ` p aq. Then a ` x a ` b ` p aq (definition of x) a ` pb ` p aqq by (A1) a ` pp aq ` bq by (A2) pa ` p aqq ` b by (A1) 0 ` b by (A4) b by (A3) so we have shown the existence of such an x. Now suppose that x 1 is any other solution. Then a ` x a ` x 1 b so a ` x a ` x 1 x x 1 The proof of (b) is similar. (hypothesis) (cancellation property) You can easily prove (c) and (d) using O3 and O4. 2.3. A Much Less Basic Proposition. Theorem 2.1. Suppose that b is a positive real number and n is a positive integer. There is a unique positive real number a such that a n b. NOne might be tempted to use proof by contradiction here, but, with apologies to St. Paul (see Romans 12:31), Beals will show you a more excellent way! Proof. First, we note that for any real numbers x and y, (2.1) y n x n py xq `y n 1 ` y n 2 ` x `... ` yx n 2 ` x n 1 which shows that the map x ÞÑ x n preserves order, i.e., x ă y ñ x n ă y n. In a strategy reminiscent of Dedekind cuts, we try to construct the unique positive nth root of b as the least upper bound of the set A tx P R : x n ă bu. The set A is bounded above: if 0 ă b ă 1, any x ą 1 has x n ą 1 by O4 (so 1 is an upper bound for A), while if b ą 1 and x ą b, then x n ą b again by O4 (so b is an upper bound for A). Now let a lubpaq. We claim that a n b. By trichotomy, either a n ă b, a n ą b, or a n b so it suffices to rule out the other two possibilities. We ll first show that a n ą b. Suppose that x ą 0 and x n ă b. We claim that there is a y ą x so that, also, y n ă b. Supposing that y ď x ` 1, we can use (2.1) to estimate y n x n, and will succeed if we can choose a y so that that y n x n ă pb x n q{2 (why?). From (2.1) we can estimate y n x n ď py xqnpx ` 1q n 1 4 Once again, the backstory is that we do a (suppressed) back of the envelope computation to see what x should be, but then prove that our suspect x actually works using the axioms for the real numbers.

PRINCIPLES OF ANALYSIS - LECTURE NOTES 7 since y ď x ` 1 and there are n right-hand terms in (2.1). We can make the right hand side smaller than pb x n q{2 by choosing py xq ă pb x n q{2pnpx ` 1q n 1 q which is possible because the right-hand side is positive. Hence, no x with x n ă b is an upper bound for S, and hence a n ě b. On the other hand, suppose that y is positive and y n ą b. If we can find an x ă y with b ă x n, it will follow that y is not a least upper bound so that a n ď b. We can assume that x ě y 1 and use a similar technique to show that such an x can be chosen.