COMPACTNESS AND UNIFORMITY

Similar documents
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010

CONSEQUENCES OF POWER SERIES REPRESENTATION

Complex Analysis Qualifying Exam Solutions

Problem 1: Compactness (12 points, 2 points each)

A LITTLE REAL ANALYSIS AND TOPOLOGY

Exam 2 extra practice problems

MORE CONSEQUENCES OF CAUCHY S THEOREM

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

THE RADIUS OF CONVERGENCE FORMULA. a n (z c) n, f(z) =

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

Riemann sphere and rational maps

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

Principles of Real Analysis I Fall VII. Sequences of Functions

z b k P k p k (z), (z a) f (n 1) (a) 2 (n 1)! (z a)n 1 +f n (z)(z a) n, where f n (z) = 1 C

MA3111S COMPLEX ANALYSIS I

INTRODUCTION TO REAL ANALYTIC GEOMETRY

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

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

The Space of Continuous Functions

POWER SERIES AND ANALYTIC CONTINUATION

13 Maximum Modulus Principle

Sample Problems for the Second Midterm Exam

RIEMANN MAPPING THEOREM

Qualifying Exams I, 2014 Spring

01. Review of metric spaces and point-set topology. 1. Euclidean spaces

Immerse Metric Space Homework

Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both

MA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

ζ(u) z du du Since γ does not pass through z, f is defined and continuous on [a, b]. Furthermore, for all t such that dζ

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Chapter 4: Open mapping theorem, removable singularities

The Heine-Borel and Arzela-Ascoli Theorems

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n

= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Functional Analysis HW #3

Continuous Functions on Metric Spaces

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD

Mid Term-1 : Practice problems

Chapter 2 Metric Spaces

Math 104: Homework 7 solutions

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.

Complex Analysis Problems

Functional Analysis Exercise Class

Riemann Mapping Theorem (4/10-4/15)

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Week 5 Lectures 13-15

36 CHAPTER 2. COMPLEX-VALUED FUNCTIONS. In this case, we denote lim z z0 f(z) = α.

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

MAT 544 Problem Set 2 Solutions

Complex Analysis for F2

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Analysis-3 lecture schemes

Preliminary Exam 2018 Solutions to Morning Exam

Proof. We indicate by α, β (finite or not) the end-points of I and call

Many of you got these steps reversed or otherwise out of order.

Continuity. Chapter 4

Some Background Material

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008

Part III. 10 Topological Space Basics. Topological Spaces

Real Analysis Prelim Questions Day 1 August 27, 2013

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19

Mathematics for Game Theory

Mid Term-1 : Solutions to practice problems

Functional Analysis Exercise Class

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

MORE NOTES FOR MATH 823, FALL 2007

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

Metric Spaces and Topology

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.

Paul-Eugène Parent. March 12th, Department of Mathematics and Statistics University of Ottawa. MAT 3121: Complex Analysis I

2.3 Some Properties of Continuous Functions

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

2 Sequences, Continuity, and Limits

1 The Local-to-Global Lemma

R N Completeness and Compactness 1

Solution of the 8 th Homework

CLASS NOTES FOR APRIL 14, 2000

Solutions Final Exam May. 14, 2014

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

P-adic Functions - Part 1

MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE

Complex Analysis MATH 6300 Fall 2013 Homework 4

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

Math 520a - Final take home exam - solutions

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Complex Analysis Homework 9: Solutions

METRIC SPACES KEITH CONRAD

Solutions to practice problems for the final

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Set, functions and Euclidean space. Seungjin Han

Transcription:

COMPACTNESS AND UNIFORMITY. The Extreme Value Theorem Because the continuous image of a compact set is compact, a continuous complexvalued function ϕ on a closed ball B is bounded, meaning that there exists some positive real number c such that ϕ(z) c for all z B. For application of this fact, wor in an environment where f : Ω C is a differentiable function, z is a point of Ω and B is a closed ball about z in Ω. Define a function where ϕ : B C, f(ζ) f(z) if ζ z, ϕ(ζ) ζ z f (z) if ζ z. This function is continuous because f is differentiable at z. Because B is compact, ϕ is bounded. Therefore, the integral of ϕ over a small circle around z in B is bounded by a constant times the length of the circle, with the constant independent of the circle. Taing smaller and smaller circles, the corresponding integrals go to 0. This argument will prove Cauchy s integral representation formula. 2. Compactness and Uniform Continuity Let K be a compact subset of C, and let f : K C be pointwise continuous. Then f is uniformly continuous. The topological proof of this fact proceeds as follows. Pointwise continuity says that given ε > 0, for each z K there is a δ z > 0 such that f taes the open δ z -ball about z into the open ε/2-ball about f(z), f(b(z, δ z ) K) B(f(z), ε/2). Cover K with a collection of open balls indexed by the points of K, {B(z, δ z /2) : z K}. Then by compactness, there is a finite subcover, {B(z n, δ zn /2) : n,..., N}. Maing reference to this finite subcover, let δ min{δ z /2,..., δ zn /2}. This is the global δ required for uniform continuity.

2 COMPACTNESS AND UNIFORMITY To see that δ wors, consider any two points z, z K such that z z < δ. The first point z must lie in some B(z n, δ zn /2) since these form a cover of K. That is, z z n < δ zn /2. Consequently, z n z z n z + z z < δ zn /2 + δ δ zn /2 + δ zn /2 δ zn. The previous two displays give and so giving the desired result, z z n < δ zn and z n z < δ zn, f(z) f(z n ) < ε/2 and f(z n ) f(z ) < ε/2, f(z) f(z ) f(z) f(z n ) + f(z n ) f(z ) < ε. However, this proof is admittedly a bit tricy. An alternative argument may be more intuitive, although it is less general. First, in Euclidean space, a subset K is compact if and only if every sequence in K has a subsequence that converges in K. This is essentially the Bolzano Weierstrass Theorem. Granting this, we can prove that continuity on any compact set is uniform by using sequences rather than an open cover. The proof proceeds by contradiction. As before, suppose that we have a compact set K C and a continuous function f : K C, but now suppose also that f is not uniformly continuous on K. This means that for some ε > 0 there exists no uniform δ. So in particular no reciprocal positive integer /n will serve as δ in the definition of uniform continuity. Thus for each n Z + there exist points z n and w n in K such that () z n w n < /n and f(z n ) f(w n ) ε. Consider the sequences {z n } and {w n } in K. By the sequential characterization of compactness, {z n } has a convergent subsequence that converges in K. Throw away the rest of the z n s and throw away the w n s of corresponding index, reindex the remaining terms of the two sequences, and now {z n } converges to some p K. Since z n w n < /n for each n (this remains true after the reindexing), {w n } converges to p as well. So lim z n p lim w n, and now the continuity of f gives lim f(z n ) f(p) lim f(w n ). This violates the second condition in () even though the first condition holds, and so the proof by contradiction is complete. For an application of continuity on compact sets being uniform, wor in an environment where f : Ω C is a continuous function, γ is a simple closed curve in Ω such that Ω contains all of its interior, z is a point interior to γ and B is a closed ball about z in the interior of γ.

COMPACTNESS AND UNIFORMITY 3 Then the product B γ is a compact set. Let be a fixed positive integer, and define a function ϕ () : B γ C, where f(ζ) ϕ () (z, ζ) f(ζ) ( (ζ z ) (ζ z) ) if z z, (ζ z) + if z z. Here the superscript () does not denote a derivative, only a reminder that plays a role in the definition of the function. The point of this casewise-in-z definition, which can loo confusing at first, is that ϕ () is continuous. Suggestive evidence of the continuity is that for any fixed ζ, the definition of the z-derivative of /(ζ z) says that lim z z ( ) (ζ z ) (ζ z) z ( z z (ζ z) ) (ζ z) +. However, this is only suggestive evidence, because ζ is held fixed in the display, whereas we need to show that with z and ζ both allowed to vary, ϕ () (z, ζ ) goes to ϕ () (z, ζ) as (z, ζ ) goes to (z, ζ). Thus, compute for any z z in B and for any ζ, ζ on γ, (ζ z ) (ζ z) ϕ () (z, ζ ) f(ζ ) f(ζ (ζ z) (ζ z ) ) ()(ζ z ) (ζ z) f(ζ j0 ) (ζ z) j (ζ z ) j (ζ z ) (ζ z), and as (ζ, z ) goes to (ζ, z), this goes to f(ζ) /(ζ z) + ϕ () (z, ζ). So ϕ () is continuous, hence uniformly continuous because its domain is compact. In particular, ϕ () (z, ζ) is within any prescribed closeness to ϕ () (z, ζ) simultaneously for all ζ if z is close enough to z. We will return to this example later in this handout. 3. Compactness and Uniform Convergence Let K be a compact subset of C, and let {ϕ n } : K C be a sequence of functions that converges pointwise to the function ϕ : K C. Then the convergence need not be uniform. The standard counterexample here is the sequence of power functions on the unit interval in the real numbers, {ϕ n } : [0, ] R, ϕ n (x) x n, n, 2, 3,... whose limit function is discontinuous, ϕ : [0, ] R, ϕ(x) { 0 if 0 x <, if x.

4 COMPACTNESS AND UNIFORMITY To see that the convergence of {ϕ n } to ϕ is not uniform, reason that for any positive integer n, the polynomial ϕ n is continuous, and so for x close enough to, ϕ n (x) is close to ϕ n () and hence far from ϕ(x) 0. More specifically, let ε /2, and for any positive integer n let x n (/2) /n. Then 0 x n <, and ϕ n (x n ) /2, ϕ(x n ) 0. That is, ϕ(x n ) ϕ n (x n ) ε, and so the convergence is not uniform. In general, any uniform limit of continuous functions must again be continuous, so by this principle as well the convergence in our example cannot be uniform. We will return to this point at the end of this writeup. Although convergence on compact sets need not be uniform, in our context it often is. For example, consider the partial sums of the geometric series on the complex unit dis, n {ϕ n } : D C, ϕ n (z) z zn+, n 0,, 2,... z and the full geometric series, 0 ϕ : D C, ϕ(z) 0 z z. Compute that for any z D, ϕ(z) ϕ n (z) z n+ z z n+ z. As z varies freely through some fixed compact subset K of D, its absolute value z cannot exceed some maximum r r K that is strictly less than. Thus ϕ(z) ϕ n (z) rn+ for all z K. r The right side is independent of z (though it depends on K), and it goes to 0 as n goes to. This shows that the geometric series converges uniformly in z on compact subsets of the unit dis. Similarly, wor in an environment where f : Ω C is a differentiable (and hence continuous) function, γ is a circle in Ω such that Ω contains all of its interior, R is the radius of γ, a is the centerpoint of γ, and z is any point interior to γ. Define a sequence of functions {ϕ n } : γ C, ϕ n (ζ) f(ζ) Then their pointwise limit function is ϕ : γ C, n 0 ϕ(ζ) f(ζ) (z a), n 0,, 2,... (ζ a) + 0 (z a) (ζ a) +.

COMPACTNESS AND UNIFORMITY 5 The claim is that {ϕ n } converges to ϕ uniformly on γ. positive integer and compute that for any ζ γ, ϕ(ζ) ϕ n (ζ) f(ζ) r n r R( r) where r To see this, let n be a z a R <. The function f : γ R 0 is continuous and its domain γ is compact, so its image is compact, meaning that it taes a maximum M. Therefore, for all ζ γ, ϕ(ζ) ϕ n (ζ) Mr n r R( r) Crn where C > 0 is a constant. Since the right side is independent of ζ and it goes to 0 as n goes to, the convergence is uniform in ζ, as claimed. This uniform convergence will justify passing a sum through an integral to obtain the power series representation of an analytic function. A second way to treat this example is to observe that the functions ϕ n converge to ϕ pointwise, and they are bounded by a constant that is independent of n. At least in the case that γ is piecewise C, so that integration over γ reduces to real integration, either the bounded convergence theorem or the Lebesgue dominated convergence theorem lets us assert that the integrals of the functions ϕ n over γ tend to the integral of ϕ over γ, because a constant function is integrable over a curve of finite length. For another example, return to the situation at the end of previous section, where f : Ω C is a continuous function, γ is a simple closed curve in Ω such that Ω contains all of its interior, z is a point interior to γ and B is a closed ball about z in the interior of γ, and for any positive integer we studied the function given by f(ζ) ϕ () (z, ζ) f(ζ) ϕ () : B γ C, ( (ζ z ) (ζ z) ) if z z, (ζ z) + if z z. Tae a sequence {z n } in the ball B that converges to z, with each z n distinct from z. Define a corresponding sequence of functions of the one variable ζ, {ϕ () n } : γ C, ϕ () n (ζ) ϕ () (z n, ζ), n, 2, 3,..., and the corresponding limit function, also of the one variable ζ (reusing the notation ϕ () here), ϕ () : γ C, ϕ () (ζ) ϕ () (z, ζ). In consequence of the discussion at the end of the previous section, the sequence } converges uniformly in ζ to ϕ (), because {ϕ () n ϕ () n (ζ) ϕ () (ζ) ϕ () (z n, ζ) ϕ () (z, ζ) and the distance (z n, ζ) (z, ζ) (z n z, 0) z n z in B γ is independent of ζ. This maes the quantity in the display small, independently of ζ, by uniform

6 COMPACTNESS AND UNIFORMITY continuity. This uniform convergence will justify passing a limit through an integral to obtain Cauchy s formula for the derivatives of an analytic function. The uniform convergence can be checed directly by formula as well. The crux is that by some algebra, (ζ z ) (ζ z) Thus we have (ζ z) + (ζ z) (ζ z ) ()(ζ z) (ζ z) (ζ z) + j0 (ζ z)j (ζ z ) j (ζ z ) (ζ z) (ζ z) + j0 (ζ z)j+ (ζ z ) j (ζ z) + (ζ z) + ϕ () n (ζ) ϕ () (ζ) j0 ( ( ζ z ζ z ( ) ζ z (ζ z) + ζ z (z z) (ζ z) + (ζ z ) (ζ z) + ) j+ ) j j0 i0 j j0 i0 f(ζ) (z n z) (ζ z) + (ζ z ) c z n z, ( ) i ζ z ζ z ( ) i ζ z ζ z. j j0 i0 ( ζ z ζ z ) i for a positive constant c that is independent of ζ and n. That is, as n grows, ϕ () n (ζ) goes to ϕ () (ζ) at a rate independent of ζ. This is the uniform convergence. The clutter of algebra here perhaps maes us appreciate how uniform continuity, in consequence of compactness, lets us establish it without having to wor through this algebra. A third way to treat the same example is to observe that because the two-variable function ϕ () is continuous on its compact domain, the one-variable functions ϕ () n converge to the one-variable function ϕ () pointwise, and they are bounded by a constant that is independent of n. At least in the case that γ is piecewise C, so that integration over γ reduces to real integration, either the bounded convergence theorem or the Lebesgue dominated convergence theorem lets us assert that the integrals of the one-variable functions ϕ () n over γ tend to the integral of the onevariable function ϕ () over γ. As mentioned above, any uniform limit of continuous functions must again be continuous. That is, Let S be a subset of C. Consider a sequence of continuous functions on S, {ϕ 0, ϕ, ϕ 2,... } : S C. Suppose that the sequence converges uniformly on S to a limit function ϕ : S C.

COMPACTNESS AND UNIFORMITY 7 Then ϕ is also continuous. This is shown by a three-epsilon argument, as follows. For any z, z S and any n N, ϕ( z) ϕ(z) ϕ( z) ϕ n ( z) + ϕ n ( z) ϕ n (z) + ϕ n (z) ϕ(z). Let ε > 0 be given. Since {ϕ n } converges to ϕ uniformly on S it follows that for all large enough indices n, independently of z and z, ϕ( z) ϕ n ( z) < ε and ϕ n (z) ϕ(z) < ε. Fix any such index n, and fix the point z S. Since ϕ n is continuous at z there exists some δ δ(ε, z) > 0 such that It follows from these considerations that z z < δ ϕ n ( z) ϕ n (z) < ε. z z < δ ϕ( z) ϕ(z) < ε + ε + ε 3ε. This completes the proof that ϕ is continuous.