COMPACTNESS AND UNIFORMITY

Size: px
Start display at page:

Download "COMPACTNESS AND UNIFORMITY"

Transcription

1 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 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 γ.

3 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 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) +.

5 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 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.

7 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.

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

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.

More information

CONSEQUENCES OF POWER SERIES REPRESENTATION

CONSEQUENCES OF POWER SERIES REPRESENTATION CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that

More information

Complex Analysis Qualifying Exam Solutions

Complex Analysis Qualifying Exam Solutions Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one

More information

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

Problem 1: Compactness (12 points, 2 points each) Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your

More information

A LITTLE REAL ANALYSIS AND TOPOLOGY

A LITTLE REAL ANALYSIS AND TOPOLOGY A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set

More information

Exam 2 extra practice problems

Exam 2 extra practice problems Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either

More information

MORE CONSEQUENCES OF CAUCHY S THEOREM

MORE CONSEQUENCES OF CAUCHY S THEOREM MOE CONSEQUENCES OF CAUCHY S THEOEM Contents. The Mean Value Property and the Maximum-Modulus Principle 2. Morera s Theorem and some applications 3 3. The Schwarz eflection Principle 6 We have stated Cauchy

More information

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5 MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have

More information

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

THE RADIUS OF CONVERGENCE FORMULA. a n (z c) n, f(z) = THE RADIUS OF CONVERGENCE FORMULA Every complex power series, f(z) = (z c) n, n=0 has a radius of convergence, nonnegative-real or infinite, R = R(f) [0, + ], that describes the convergence of the series,

More information

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

Hartogs Theorem: separate analyticity implies joint Paul Garrett  garrett/ (February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof

More information

Riemann sphere and rational maps

Riemann sphere and rational maps Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish

More information

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

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous. Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set

More information

Principles of Real Analysis I Fall VII. Sequences of Functions

Principles of Real Analysis I Fall VII. Sequences of Functions 21-355 Principles of Real Analysis I Fall 2004 VII. Sequences of Functions In Section II, we studied sequences of real numbers. It is very useful to consider extensions of this concept. More generally,

More information

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

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 . Representations of Meromorphic Functions There are two natural ways to represent a rational function. One is to express it as a quotient of two polynomials, the other is to use partial fractions. The

More information

MA3111S COMPLEX ANALYSIS I

MA3111S COMPLEX ANALYSIS I MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary

More information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

More information

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

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists

More information

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

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3 Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability

More information

The Space of Continuous Functions

The Space of Continuous Functions Chapter 3 The Space of Continuous Functions dddddddddddddddddddddddddd dddd ddddddddddddddddddddd dddddddddddddddddd ddddddd ddddddddddddddddddddddddd ddddddddddddddddddddddddd dddddddddddddd ddddddddddd

More information

POWER SERIES AND ANALYTIC CONTINUATION

POWER SERIES AND ANALYTIC CONTINUATION POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges

More information

13 Maximum Modulus Principle

13 Maximum Modulus Principle 3 Maximum Modulus Principle Theorem 3. (maximum modulus principle). If f is non-constant and analytic on an open connected set Ω, then there is no point z 0 Ω such that f(z) f(z 0 ) for all z Ω. Remark

More information

Sample Problems for the Second Midterm Exam

Sample Problems for the Second Midterm Exam Math 3220 1. Treibergs σιι Sample Problems for the Second Midterm Exam Name: Problems With Solutions September 28. 2007 Questions 1 10 appeared in my Fall 2000 and Fall 2001 Math 3220 exams. (1) Let E

More information

RIEMANN MAPPING THEOREM

RIEMANN MAPPING THEOREM RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an

More information

Qualifying Exams I, 2014 Spring

Qualifying Exams I, 2014 Spring Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that

More information

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

01. Review of metric spaces and point-set topology. 1. Euclidean spaces (October 3, 017) 01. Review of metric spaces and point-set topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 017-18/01

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

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

Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real

More information

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

MA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I MA30056: Complex Analysis Revision: Checklist & Previous Exam Questions I Given z C and r > 0, define B r (z) and B r (z). Define what it means for a subset A C to be open/closed. If M A C, when is M said

More information

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

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

More information

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

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 Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems

More information

ζ(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ζ

ζ(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ζ Lecture 6 Consequences of Cauchy s Theorem MATH-GA 45.00 Complex Variables Cauchy s Integral Formula. Index of a point with respect to a closed curve Let z C, and a piecewise differentiable closed curve

More information

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

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 Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

More information

Chapter 4: Open mapping theorem, removable singularities

Chapter 4: Open mapping theorem, removable singularities Chapter 4: Open mapping theorem, removable singularities Course 44, 2003 04 February 9, 2004 Theorem 4. (Laurent expansion) Let f : G C be analytic on an open G C be open that contains a nonempty annulus

More information

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

More information

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

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;

More information

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

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never

More information

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

= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V

More information

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

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015 Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)

More information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

Continuous Functions on Metric Spaces

Continuous Functions on Metric Spaces Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0

More information

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of

More information

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

MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD TSOGTGEREL GANTUMUR 1. Introduction Suppose that we want to solve the equation f(z) = β where f is a nonconstant entire function and

More information

Mid Term-1 : Practice problems

Mid Term-1 : Practice problems Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Math 104: Homework 7 solutions

Math 104: Homework 7 solutions Math 04: Homework 7 solutions. (a) The derivative of f () = is f () = 2 which is unbounded as 0. Since f () is continuous on [0, ], it is uniformly continous on this interval by Theorem 9.2. Hence for

More information

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs

More information

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 α.

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 α. Chapter 2. Basic Topology. 2.3 Compact Sets. 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 α. 2.32 Definition A subset

More information

Complex Analysis Problems

Complex Analysis Problems Complex Analysis Problems transcribed from the originals by William J. DeMeo October 2, 2008 Contents 99 November 2 2 2 200 November 26 4 3 2006 November 3 6 4 2007 April 6 7 5 2007 November 6 8 99 NOVEMBER

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically

More information

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

Riemann Mapping Theorem (4/10-4/15) Math 752 Spring 2015 Riemann Mapping Theorem (4/10-4/15) Definition 1. A class F of continuous functions defined on an open set G is called a normal family if every sequence of elements in F contains a

More information

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

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the

More information

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

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space. University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)

More information

Week 5 Lectures 13-15

Week 5 Lectures 13-15 Week 5 Lectures 13-15 Lecture 13 Definition 29 Let Y be a subset X. A subset A Y is open in Y if there exists an open set U in X such that A = U Y. It is not difficult to show that the collection of all

More information

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

36 CHAPTER 2. COMPLEX-VALUED FUNCTIONS. In this case, we denote lim z z0 f(z) = α. 36 CHAPTER 2. COMPLEX-VALUED FUNCTIONS In this case, we denote lim z z0 f(z) = α. A complex-valued function f defined in A is called continuous at z 0 A if lim z z 0 f(z) = f(z 0 ). Theorem 2.1.1 Let A

More information

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.

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. Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations

More information

MAT 544 Problem Set 2 Solutions

MAT 544 Problem Set 2 Solutions MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.

More information

Complex Analysis for F2

Complex Analysis for F2 Institutionen för Matematik KTH Stanislav Smirnov stas@math.kth.se Complex Analysis for F2 Projects September 2002 Suggested projects ask you to prove a few important and difficult theorems in complex

More information

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).

More information

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

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure

More information

Analysis-3 lecture schemes

Analysis-3 lecture schemes Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space

More information

Preliminary Exam 2018 Solutions to Morning Exam

Preliminary Exam 2018 Solutions to Morning Exam Preliminary Exam 28 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem. Consider the series n 2 (n log n) and n 2 (n(log n)2 ). Show that one converges and one diverges

More information

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

Proof. We indicate by α, β (finite or not) the end-points of I and call C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending

More information

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

Many of you got these steps reversed or otherwise out of order. Problem 1. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that there is a bijection f : X Y such that for all x 1, x 2 X. 1 10 d X(x 1, x 2 ) d Y (f(x 1 ), f(x 2 )) 10d X (x 1, x 2 ) Show that if

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 7 Basic Properties of Holomorphic Functions 72 7.1 Taylor s Theorem

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

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

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

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

MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM TSOGTGEREL GANTUMUR 1. Functions holomorphic on an annulus Let A = D R \D r be an annulus centered at 0 with 0 < r < R

More information

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

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19 Introductory Analysis I Fall 204 Homework #9 Due: Wednesday, November 9 Here is an easy one, to serve as warmup Assume M is a compact metric space and N is a metric space Assume that f n : M N for each

More information

Mathematics for Game Theory

Mathematics for Game Theory Mathematics for Game Theory Christoph Schottmüller August 9, 6. Continuity of real functions You might recall that a real function is continuous if you can draw it without lifting the pen. That gives a

More information

Mid Term-1 : Solutions to practice problems

Mid Term-1 : Solutions to practice problems Mid Term- : Solutions to practice problems 0 October, 06. Is the function fz = e z x iy holomorphic at z = 0? Give proper justification. Here we are using the notation z = x + iy. Solution: Method-. Use

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise

More information

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

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 1. True or False (22 points, 2 each) T or F Every set in R n is either open or closed

More information

MORE NOTES FOR MATH 823, FALL 2007

MORE NOTES FOR MATH 823, FALL 2007 MORE NOTES FOR MATH 83, FALL 007 Prop 1.1 Prop 1. Lemma 1.3 1. The Siegel upper half space 1.1. The Siegel upper half space and its Bergman kernel. The Siegel upper half space is the domain { U n+1 z C

More information

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ALEXANDER KUPERS Abstract. These are notes on space-filling curves, looking at a few examples and proving the Hahn-Mazurkiewicz theorem. This theorem

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

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

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx. Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped

More information

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

Paul-Eugène Parent. March 12th, Department of Mathematics and Statistics University of Ottawa. MAT 3121: Complex Analysis I Paul-Eugène Parent Department of Mathematics and Statistics University of Ottawa March 12th, 2014 Outline 1 Holomorphic power Series Proposition Let f (z) = a n (z z o ) n be the holomorphic function defined

More information

2.3 Some Properties of Continuous Functions

2.3 Some Properties of Continuous Functions 2.3 Some Properties of Continuous Functions In this section we look at some properties, some quite deep, shared by all continuous functions. They are known as the following: 1. Preservation of sign property

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

2 Sequences, Continuity, and Limits

2 Sequences, Continuity, and Limits 2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs

More information

1 The Local-to-Global Lemma

1 The Local-to-Global Lemma Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.

More information

R N Completeness and Compactness 1

R N Completeness and Compactness 1 John Nachbar Washington University in St. Louis October 3, 2017 R N Completeness and Compactness 1 1 Completeness in R. As a preliminary step, I first record the following compactness-like theorem about

More information

Solution of the 8 th Homework

Solution of the 8 th Homework Solution of the 8 th Homework Sangchul Lee December 8, 2014 1 Preinary 1.1 A simple remark on continuity The following is a very simple and trivial observation. But still this saves a lot of words in actual

More information

CLASS NOTES FOR APRIL 14, 2000

CLASS NOTES FOR APRIL 14, 2000 CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class

More information

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,

More information

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References

More information

P-adic Functions - Part 1

P-adic Functions - Part 1 P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant

More information

MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE

MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE 1. Introduction Let D denote the unit disk and let D denote its boundary circle. Consider a piecewise continuous function on the boundary circle, {

More information

Complex Analysis MATH 6300 Fall 2013 Homework 4

Complex Analysis MATH 6300 Fall 2013 Homework 4 Complex Analysis MATH 6300 Fall 2013 Homework 4 Due Wednesday, December 11 at 5 PM Note that to get full credit on any problem in this class, you must solve the problems in an efficient and elegant manner,

More information

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

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist

More information

Math 520a - Final take home exam - solutions

Math 520a - Final take home exam - solutions Math 52a - Final take home exam - solutions 1. Let f(z) be entire. Prove that f has finite order if and only if f has finite order and that when they have finite order their orders are the same. Solution:

More information

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

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 Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

Complex Analysis Homework 9: Solutions

Complex Analysis Homework 9: Solutions Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges

More information

METRIC SPACES KEITH CONRAD

METRIC SPACES KEITH CONRAD METRIC SPACES KEITH CONRAD 1. Introduction As calculus developed, eventually turning into analysis, concepts first explored on the real line (e.g., a limit of a sequence of real numbers) eventually extended

More information

Solutions to practice problems for the final

Solutions to practice problems for the final Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z

More information

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Chapter 2. Metric Spaces. 2.1 Metric Spaces Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class

More information

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information