FUNDAMENTALS OF REAL ANALYSIS by

Similar documents
Lecture Notes for Analysis Class

1 Introduction. 1.1 Notation and Terminology

Real Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)

MAS111 Convergence and Continuity

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.

Sequences and Series

Chapter 6 Infinite Series

Part A, for both Section 200 and Section 501

Sequences and Series of Functions

} is said to be a Cauchy sequence provided the following condition is true.

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

Introduction to Optimization Techniques

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS

Mathematical Methods for Physics and Engineering

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

Archimedes - numbers for counting, otherwise lengths, areas, etc. Kepler - geometry for planetary motion

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Measure and Measurable Functions

Math 341 Lecture #31 6.5: Power Series

Notes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness

lim za n n = z lim a n n.

Math 140A Elementary Analysis Homework Questions 3-1

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

MATH 413 FINAL EXAM. f(x) f(y) M x y. x + 1 n

2 Banach spaces and Hilbert spaces

Lecture 3 The Lebesgue Integral

Math Solutions to homework 6

5 Many points of continuity

A) is empty. B) is a finite set. C) can be a countably infinite set. D) can be an uncountable set.

Convergence of random variables. (telegram style notes) P.J.C. Spreij

f n (x) f m (x) < ɛ/3 for all x A. By continuity of f n and f m we can find δ > 0 such that d(x, x 0 ) < δ implies that

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

MAT1026 Calculus II Basic Convergence Tests for Series

University of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!

Lecture 3 : Random variables and their distributions

Lecture 17Section 10.1 Least Upper Bound Axiom

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can.

Fall 2013 MTH431/531 Real analysis Section Notes

Math 299 Supplement: Real Analysis Nov 2013

Metric Space Properties

McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected problems

MATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and

Axioms of Measure Theory

Exercises 1 Sets and functions

Singular Continuous Measures by Michael Pejic 5/14/10

Dupuy Complex Analysis Spring 2016 Homework 02

M17 MAT25-21 HOMEWORK 5 SOLUTIONS

The Boolean Ring of Intervals

A gentle introduction to Measure Theory

Real and Complex Analysis, 3rd Edition, W.Rudin

Advanced Analysis. Min Yan Department of Mathematics Hong Kong University of Science and Technology

Introductory Analysis I Fall 2014 Homework #7 Solutions

MA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions

PAPER : IIT-JAM 2010

1 Lecture 2: Sequence, Series and power series (8/14/2012)

Functional Analysis I

Assignment 5: Solutions

HOMEWORK #4 - MA 504

A Proof of Birkhoff s Ergodic Theorem

Homework 4. x n x X = f(x n x) +

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.

REVIEW OF ESSENTIAL MATH 346 TOPICS

ANSWERS TO MIDTERM EXAM # 2

FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures

Topologie. Musterlösungen

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

f(x)g(x) dx is an inner product on D.

Sequence A sequence is a function whose domain of definition is the set of natural numbers.

DANIELL AND RIEMANN INTEGRABILITY

6.3 Testing Series With Positive Terms

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

Boundaries and the James theorem

Functions of Bounded Variation and Rectifiable Curves

Limit superior and limit inferior c Prof. Philip Pennance 1 -Draft: April 17, 2017

It is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.

Chapter 0. Review of set theory. 0.1 Sets

NATIONAL UNIVERSITY OF SINGAPORE FACULTY OF SCIENCE SEMESTER 1 EXAMINATION ADVANCED CALCULUS II. November 2003 Time allowed :

Math 113 Exam 3 Practice

Real Analysis Fall 2004 Take Home Test 1 SOLUTIONS. < ε. Hence lim

1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx

2.4 Sequences, Sequences of Sets

PRELIM PROBLEM SOLUTIONS

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n

Properties of Fuzzy Length on Fuzzy Set

Here are some examples of algebras: F α = A(G). Also, if A, B A(G) then A, B F α. F α = A(G). In other words, A(G)

Math 61CM - Solutions to homework 3

A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS

3. Sequences. 3.1 Basic definitions

B Supplemental Notes 2 Hypergeometric, Binomial, Poisson and Multinomial Random Variables and Borel Sets

7.1 Convergence of sequences of random variables

PRACTICE FINAL/STUDY GUIDE SOLUTIONS

2.1. Convergence in distribution and characteristic functions.

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

A NOTE ON LEBESGUE SPACES

7 Sequences of real numbers

Additional Notes on Power Series

Transcription:

FUNDAMENTALS OF REAL ANALYSIS by Doğa Çömez Backgroud: All of Math 450/1 material. Namely: basic set theory, relatios ad PMI, structure of N, Z, Q ad R, basic properties of (cotiuous ad differetiable) fuctios o R, cardiality, Riema itegral, sequeces of real umbers, sequeces of fuctios, poitwise/uiform covergece. OUTLINE OF THE COURSE I. Review of R ad metric spaces II. Lebesgue measure ad measure spaces III. Measurable fuctios ad Lebesgue itegratio IV. Differetiatio ad siged measures V. Product measure spaces VI. Special topics (Lp-spaces, modes of covergece ad Hausdorff dimesio) REFERENCES Measure, Itegratio ad Fuctioal Aalysis, by R. Ash; Academic Press, 1972. Liear Operators-I, by N. Duford & J. Schwartz; Wiley-Itersciece, 1988. Foudatios of Moder Aalysis, by A. Friedma; Holt, Riehart & Wisto, 1970. Real ad Abstract Aalysis, by E. Hewitt & K. Stromberg; Spriger-Verlag, 1975. Itroductory Real Aalysis, by A. Kolmogorov & S.V. Fomi; Dover, 1975. Real Aalysis, by H.L. Royde & P.M. Fitzpatrick; 4th ed., Pretice Hall, 2010. I. REVIEW OF THE REAL NUMBER SYSTEM AND METRIC SPACES I.1. Axiomatic costructio of R. The real umber system is a complete ordered field, i.e., it is a set R which is edowed with additio ad multiplicatio operatios satisfyig the followig axioms 1. (R, +,.) is a field with additive idetity 0 ad multiplicative idetity 1. 2. (R, ) is a partially ordered set compatible with the field axioms i the sese that (i) x, y R, either x y or y x, (ii) if x y, the x + z y + z for all z R, (iii) if x y ad z 0, the xz yz. 3. (Completeess axiom) Every oempty set of real umbers bouded above has a least upper boud (supremum). [Alterative statemet: Every oempty set of real umbers bouded below has a greatest lower boud (ifimum).] Remarks. 1. Ay complete ordered field is isomorphic to (R, +,., ) with Completeess axiom. 1

2 2. For a set S R, sup(s) eed ot belog to S. 3. If sup(s) exists, it is uique. (Hece we have set fuctios!) 4. Sice if( S) = sup(s), correspodig statemets also hold for if. 5. R is ubouded (hece so are N, Z ad Q). 6. For ay x, y R, defie maximum ad miimum of x ad y by { x if x y x y = y if otherwise { y if x y ad x y = x if otherwise, respectively. Fact.1 If x + ɛ y for all ɛ > 0, the x y. Proof. Exercise. Exercises. 1. If a < c for all c with c > b, the a b. 2. For A R oempty ad α R a upper boud for A, α = sup(a) if ad oly if ɛ > 0 x A such that α ɛ < x α. 3. If a b a A, the sup(a) b. 4. If A R is bouded (i.e. bouded above ad below) ad B A is oempty, the if(a) if(b) sup(b) sup(a). 5. Let A ad B be oempty subsets of R such that a b a A b B. The (i) sup(a) sup(b) if sup(b) exists, ad (ii) sup(a) if(b). 6. Let A be a oempty subset of R with α = sup(a). If for c 0, ca := {ca : a A}, the cα = sup(ca). 7. Let A ad B be oempty subsets of R ad let C = {a + b : a A, b B}. If sup(a) ad sup(b) exist, the so does sup(c) ad sup(c) = sup(a) + sup(b). 8. Exercises 2, 4, 6-8 are also is true for ifima with obvious (appropriate) chages i the statemets. Fact.2 x R Z + such that > x. Proof. Exercise. Fact.3 (Archimedea Property) If x, y R with x > 0, the Z such that y < x. Proof. Exercise. Corollary. a) If x, y R with x < y, the z Q (Q c ) such that x < z < y. b) x > 0 Z + such that 1 x <. c) ɛ > 0 Z + such that 1 < ɛ. Proof. Exercise.

3 Below are some importat iequalities o (fiite) sequeces of real umbers: if a 1, a 2,..., a ad b 1, b 2,..., b are real umbers, the ( a k b k ) 2 ( a 2 k) ( b 2 k) (Cauchy-Schwartz Iequality), ad ( a k + b k 2 ) 1/2 ( a 2 k) 1/2 + ( b 2 k) 1/2 (Mikowski s Iequality). The set R # := R { } with operatios I.2. The Exteded Real Number System. (i) x + = for all x R; x( ) = if x > 0 ad ( x)( ) = ± (ii) + =, ( ) + ( ) = ;.( ) = ; 0.( ) = 0 ad with the order property that < x < for all x R, is called the exteded real umber system. Remarks. 1) is ot defied. 2) sup( ) = is assumed. 3) If a set A of real umbers has o upper boud, the we say sup(a) =. Hece, i R # every set has a supremum (ifimum). I.3. The topology of R. I the ext three sectios, we will provide a short review of some importat cocepts ad facts from real aalysis. For the proofs of most of the statemets oe ca refer to ay oe of the refereces listed above. Of course, its is strogly advised that the reader should try to provide proofs o her/his ow. { x if x 0 For ay x, y R, defie the absolute value of x by x = which ca be x if x < 0, iterpreted as the distace of x to 0. Now, for ay a R the (ope) ball cetered at a with radius r > 0 is the set B(a, r) := {x R : x a < r} = (a r, a + r). For a set A R, a poit a A is said to be a iterior poit if there exists ɛ > 0 such that B(a, ɛ) A. The set of all iterior poits of a set A is called the iterior of A ad is deoted by it(a). A set A R is called ope if every poit of it is a iterior poit. A set A R is called closed if A c is ope. The empty set is assumed ope (ad closed). Fact. 4 a) The uio (itersectio) of ay collectio of ope (closed) sets is ope (closed). b) The uio (itersectio) of ay fiite collectio of closed (ope) sets is closed (ope). Fact. 5 Every oempty ope set of real umbers is a disjoit coutable uio of ope itervals. A real umber p is called a accumulatio poit of a set A R if for every ɛ > 0 we have B(p, ɛ) A. The set of all accumulatio poits of a set A is called the derived set of A ad

4 is deoted by A. The smallest closed set cotaiig a set A R is called the closure of A ad is deoted by Ā. Theorem. (Bolzao-Weierstrass) Every bouded ifiite subset of R has a accumulatio poit. Fact. 6 a) For ay A R, it(a) A Ā. b) A set A R is closed iff A = Ā. c) For ay A R, it(a) is the largest ope set cotaied i A. d) Q = R. (Hece, R is separable, i.e. there exists a coutable set A R such that Ā = R.) Exercises. Let A, B R, the: 1) Ā = A A. 2) it(a) it(b) it(a B) ad it(a) it(b) = it(a B). 3) Ā B = A B ad A B Ā B. A collectio U = {U λ : λ Λ} of subsets of R is called a cover for A R if A λ Λ U λ. The collectio U is called a ope cover for A if each U λ is ope. Theorem. (Heie-Borel) Let A R be a closed ad bouded set ad U be a ope cover. The there is a fiite subcollectio of U that covers A. A set C R is called a compact set if every ope cover of it has a subcover cosistig of fiitely may elemets. Corollary TFAE: a) A R is compact. b) A is closed ad bouded. c) Every ifiite subset of A has a accumulatio poit i A. Theorem. (Nested Set Property or Cator Itersectio Theorem) If {F } is a collectio of closed ad bouded set of real umbers such that F F 1 for all 1, the 1 F. I.4. Sequeces of real umbers Recall that a sequece is a fuctio a : N R; for coveiece, we deote sequeces by (a ) 1, where a() = a, 1. By defiitio, a sequece is a ifiite set of real umbers; hece, if bouded, it has at least oe accumulatio poit, say a, by Bolzao-Weierstrass Theorem. If a sequece has oly oe accumulatio poit, it is called the limit of the sequece ad the sequece is called coverget or we say that the sequece coverges to a, ad is deoted by a a or lim a = a. More explicitly, a a if ad oly if ɛ > 0 N Z + such that N a a < ɛ. Fact.7 Let A R. The a A if there exists (a ) A such that a a. A sequece (a ) is called a Cauchy sequece if ɛ > 0 N Z + such that m, N a a m < ɛ.

Exercise. If (a ) is a coverget (Cauchy) sequece, the it is bouded (i.e., M > 0 such that a M for all ). Fact.8 a) Every mootoe bouded sequece of real umbers is coverget. b) A sequece of real umbers is coverget if a oly if it is Cauchy. c) (Bolzao-Weierstrass Theorem for sequeces, versio 1) Every bouded sequece of real umbers has a coverget subsequece. Remarks. 1) lim a = meas that c > 0 N > 0 such that N a > c. Similarly, lim a = meas that c < 0 N > 0 such that N a < c. 2) I geeral, if we say a a, the < a < ; if (a ) R #, the a. Observe that a a meas, for ay ɛ > 0, all but fiitely may a s are i the iterval (a ɛ, a + ɛ). A weakeig of this is requirig ifiitely may of a s are i (a ɛ, a + ɛ). Defiitio. A real umber a is called a cluster poit (or accumulatio poit) of a sequece (a ) if ɛ > 0 ifiitely may a (a ɛ, a + ɛ). Equivaletly, a is a cluster poit of (a ) iff ɛ > 0 ad m Z +, m such that a (a ɛ, a + ɛ). Examples. 1) a : 1, 1, 1/2, 1, 1/3, 1, 1/4,.... Accumulatio poits are 0, 1. 2) (( 1) ). Accumulatio poits are -1, 1. 3) ( 1 l ) =2. Accumulatio poit is 0. Remark. A sequece (a ) may have more tha oe accumulatio poits. I that case, it is ot a coverget sequece; but, for each accumulatio poit, it has a subsequece coverget to that accumulatio poit (Exercise). I particular, if a a, the a is a accumulatio poit (the oly oe). Theorem. (Bolzao-Weierstrass Thoerem for sequeces, versio 2) Every bouded sequece of real umbers has a accumulatio poit. 5 Questio. How do we kow that a give sequece has a limit? Fact.9 Every bouded mootoe sequece of real umbers is coverget. Proof. (Sketch) By Bolzao-Weierstrass Thoerem for sequeces, versio 2, the sequece has a accumulatio poit. Sice it s mootoe, it has oly oe accumulatio poit; hece, it must be coverget. Fact.10 (Cauchy Criterio for sequeces) A sequece of real umbers (a ) is coverget if a oly if it is a Cauchy sequece. Questio. Ca we associate a real umber to ay (ot ecessarily coverget) sequece of real umbers? First, recall that supremum ad ifimum of ay bouded set of real umbers exit (if ubouded, they exist i R # ). Now, give ay sequece of real umbers (a ), defie, for k 1,

6 a k = if{a k, a k+1, a k+2,... } ad a k = sup{a k, a k+1, a k+2,... }. The, it follows that a k a k+1 ad a k a k+1 for all k 1. Hece, {a k } is mootoe icreasig ad {a k } is mootoe decreasig sequece. Therefore, lim k a k ad lim k a k exist (i R # ). (If (a ) is bouded, the lim k a k ad lim k a k exist i R.) Also, observe that lim k a k = sup k 1 if k {a }, ad lim k a k = if k 1 sup k {a }. Defiitio. For ay sequece of real umbers (a ), defie lim sup a ad lim if a as lim sup a = lima = if lim if sup k 1 k {a }, ad a = lim a = sup if {a }. k 1 k Remarks. 1. For all 1, a k a a k by costructio. 2. For ay i, j 1, we have a i a i+j a i+j a i ; hece, lim if a lim sup a. 3. lim if a = lim sup a if ad oly if (a ) is coverget; i that case, lim if 4. lim if ( a ) = lim sup a. a = lim sup a = lim a. Exercise. Prove that lim if a (lim sup a ) is the smallest (largest) of all the limit poits of the set {a }. I.5. Brief review of real-valued cotiuous fuctios o R. Let A R ad a A. Recall that a fuctio f : A R is cotiuous at a iff ɛ > 0, δ > 0 such that if x B(a, δ) the f(x) B(f(a), ɛ). Fact.11 A fuctio f : A R is cotiuous at a A if ad oly if for ay sequece (a ) A with a a, f(a ) f(a). Fact.12 A fuctio f : A R is cotiuous o A if ad oly if for ay ope set O R, f 1 (O) is (relatively) ope i A. The followig theorems idicate the reaso why we value cotiuous fuctios. Theorem. (Extreme value theorem) Every cotiuous fuctio f : A R, where A R is compact, attais both of its extrema. Theorem. (Itermediate Value Theorem) If f : [a, b] R is cotiuous, where < a < b <, ad f(a) < γ < f(b), the c (a, b) such that f(c) = γ. Recall that a fuctio f : A R is uiformly cotiuous o A if ad oly if ɛ > 0, δ > 0 such that if x y < δ the f(x) f(y) < ɛ for all x, y A. Note that ot every cotiuous fuctio is uiformly cotiuous; however, uder some coditios this is true. Theorem. If f : A R is cotiuous (o A) ad A is compact, the f is uiformly cotiuous (o A).

Let A R be a compact set. Defie C(A) = {f : A R : f is cotiuous}. Hece, every f C(A) is uiformly cotiuous. With the usual additio ad scalar multiplicatio of fuctios, C(A) is a vector space over R. Furthermore, if for ay f, g C(A), d(f, g) = sup f(x) g(x), x A the the fuctio d : C(A) C(A) R defies a metric o C(A) (Exercise: Prove this fact); makig it a metric space. Note that d(f, g) is well-defied ad is fiite for ay f, g C(A). Hece, it makes sese to talk about covergece i the metric space C(A). Let (f ) be a sequece i C(A) ad f C(A). Recall that (f ) is said to coverge poitwise to f iff x A, ɛ > 0, N(ɛ, x) such that if N, the f (x) f(x) < ɛ. The sequece (f ) is said to coverge uiformly to f iff ɛ > 0, N(ɛ) such that if N, the f (x) f(x) < ɛ, x A. Clearly, every uiformly coverget sequece is poitwise coverget; but the coverse eed ot hold. However, uder some (rather strog) coditios the coverse holds (such as uder the coditios of Dii s Theorem). Recall that, i the metric space (C(A), d), a sequece (f ) coverges to f C(A) iff ɛ > 0, N(ɛ) such that if N, the d(f, f) < ɛ. It turs out that there is a strog coectio betwee covergece i the metric d ad uiform covergece (o A). Theorem. A sequece (f ) i C(A) coverges to f C(A) iff f f uiformly o A. The metric space C(A) has some other very desirable properties; Fact.13 If f C(A), the M > 0 such that f(x) M for all x A. [Equivaletly, M > 0 such that f B(0, M), where 0 is the zero fuctio.] Theorem. The metric space (C(A), d) is complete. [Hece, every Cauchy sequece of fuctios (f ) C(A) coverges to a fuctio f C(A).] Theorem. (Weierstrass Approximatio Theorem) f C(A) ad ɛ > 0 there exists a polyomial fuctio p ɛ : A R such that d(f, p ɛ ) < ɛ. Corollary. The metric space (C(A), d) is separable. [Hece, there is a coutable dese subset of C(A); amely, the collectio of polyomials o A with ratioal (iteger) coefficiets.] I.6. Axiom of Choice ad its equivalets. Some of the most cotroversial statemets i mathematics are kow as the Axiom of Choice, which is typically assumed as a axiom, ad those statemets proved by usig it ad are equivalet to it. Axiom of Choice. If {X α } α A is a oempty collectio of oempty sets, the Π α A X α is oempty. Let X be a set. Recall that a relatio o X is called a partial orderig if it is reflexive, atisymmetric ad trasitive. If also satisfies the property that the it is called a liear (or total) orderig. if x, y X, the either x y or y x Let (X, ) be a partially ordered set ad E X. A elemet x X is called a upper (lower) boud for E if y x (y x) for all y E. A elemet a X is called a maximal (miimal)elemet of X if x y (y x) the x = y. If every oempty subset E of a partially 7

8 ordered set X, ) has a miimal elemet, the X is called a well ordered set ad is called a well orderig. Below are some of the statemets equivalet to the Axiom of Choice. Hausdorff Maximality Priciple. Every partially ordered set has a maximal liearly ordered subset. Zor s Lemma. Let X be a partially ordered set. If every liearly ordered subset of X has a upper boud, the X has a maximal elemet. Well Orderig Priciple. Every oempty set ca be well ordered.