c William J. DeMeo. All rights reserved. This document may be copied for personal use. Permission to reproduce
this document for other purposes may be obtained by emailing the author at williamdemeo@gmail.com.
Abstract
The pages that follow contain “unofficial” solutions to problems appearing on the comprehensive exams in
analysis given by the Mathematics Department at the University of Hawaii over the period from 1991 to 2007. I have
done my best to ensure that the solutions are clear and correct, and that the level of rigor is at least as high as that
expected of students taking the ph.d. exams. In solving many of these problems, I benefited enormously from the
wisdom and guidance of professors Tom Ramsey and Wayne Smith. Of course, some typos and mathematical errors
surely remain, for which I am solely responsible. Nonetheless, I hope this document will be of some use to you as
you prepare to take the comprehensive exams. Please email comments, suggestions, and corrections to
williamdemeo@gmail.com.
Contents
1 Real Analysis 3
1.1 1991 November 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 1994 November 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 1998 April 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 2000 November 17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 2001 November 26 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6 2004 April 19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 2007 November 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2 Complex Analysis 37
2.1 1989 April . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2 1991 November 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.3 1995 April 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.4 2001 November 26 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.5 2004 April 19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.6 2006 November 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.7 2007 April 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.8 2007 November 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.9 Some problems of a certain type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
1
A Miscellaneous Theorems 71
A.1 Real Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
A.1.1 Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
A.1.2 Measurable Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
A.1.3 Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
A.1.4 Absolute Continuity of Measures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
A.1.5 Absolute Continuity of Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
A.1.6 Product Measures and the Fubini-Tonelli Theorem . . . . . . . . . . . . . . . . . . . . . . . 73
A.2 Complex Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
A.2.1 Cauchy’s Theorem1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
A.2.2 Maximum Modulus Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
B List of Symbols 77
2
1 REAL ANALYSIS
1 Real Analysis
1.1 1991 November 21
1. (a) Let fn be a sequence of continuous, real valued functions on [0, 1] which converges uniformly to f . Prove that
limn→∞ fn (xn ) = f (1/2) for any sequence {xn } which converges to 1/2.
(b) Must the conclusion still hold if the convergence is only point-wise? Explain.
Solution: (a) Let {xn } be a sequence in [0, 1] with xn → 1/2 as n → ∞. Fix > 0 and let N0 ∈ N be such
that n ≥ N0 implies |fn (x) − f (x)| < /2, for all x ∈ [0, 1]. Let δ > 0 be such that |f (x) − f (y)| < /2,
for all x, y ∈ [0, 1] with |x − y| < δ. Finally, let N1 ∈ N be such that n ≥ N1 implies |xn − 1/2| < δ. Then
n ≥ max{N0 , N1 } implies |fn (xn ) − f (1/2)| ≤ |fn (xn ) − f (xn )| + |f (xn ) − f (1/2)| < /2 + /2 = . t
u
(b) Suppose the convergence is only point-wise. Then the conclusion is false, as the following counterexample
demonstrates:
Define fn (x) to be the function
0,
if 0 ≤ x < 21 − 2n
1
,
f (x) = 2nx − (n − 1), 1
if 2 − 2n ≤ x < 12 ,
1
(1)
if 12 ≤ x ≤ 1.
1,
2. Let f : R → R be differentiable and assume there is no x ∈ R such that f (x) = f 0 (x) = 0. Show that
S = {x | 0 ≤ x ≤ 1, f (x) = 0} is finite.
Solution: Consider f −1 ({0}). Since {0} is closed and f continuous, f −1 ({0}) is closed. Therefore S = [0, 1] ∩
f −1 ({0}) is a closed and bounded subset of R. Hence, S is compact. Assume, by way of contradiction, that S is
infinite. Then (by theorem A.1) there is a limit point x ∈ S; i.e., there is a sequence {xn } of distinct points in S
which converges to x. Also, as all points are in S, f (xn ) = f (x) = 0 for all n ∈ N.
We now show that f 0 (x) = 0, which will give us our desired contradiction. Since |xn − x| → 0, we can write the
derivative of f as follows:
3
1.1 1991 November 21 1 REAL ANALYSIS
3. If (X, Σ, µ) is a measure space and if f is µ integrable, show that for every > 0 there is E ∈ Σ such that
µ(E) < ∞ and Z
|f | dµ < .
X\E
Clearly,
∞
[
A1 ⊆ A2 ⊆ · · · ↑ A , An
n=1
The first term in the middle expression is zero since f is zero on A0 , and the third term is zeroR since f ∈ L1 (µ)
implies µ(A∞ ) = 0. To prove the result, then, we must find a measurable set E such that A\E |f | < , and
µ(E) < ∞.
Define fn = |f |χAn . Then {fn } is a sequence of non-negative measurable functions and, for each x ∈ X,
limn→∞ fn (x) = |f (x)|χA (x).
R Since RAn ⊆ An+1 , we have 0 ≤ f1 (x) ≤ f2 (x) ≤ · · · , so the monotone
convergence theorem3 implies X fn → A |f |, and, by (2),
Z Z Z
lim |f | dµ = |f | dµ = |f | dµ.
n→∞ An A X
2 Answer: f is measurable and x → |x| is continuous, so g = |f | is measurable. Therefore, An = g −1 ([1/n, n)) is measurable (theorem A.2).
3 Alternatively, we could have cited the dominated convergence theorem here since fn (x) ≤ |f (x)| (x ∈ X; n = 1, 2, . . .).
4
1.1 1991 November 21 1 REAL ANALYSIS
R
4.4 If (X, Σ, µ) is a measure space, f is a non-negative measurable function, and ν(E) = E
f dµ, show that ν is a
measure.
Solution: Clearly µ(E) = 0 ⇒ ν(E) = 0. Therefore, ν(∅) = µ(∅) = 0. In particular ν is not identically infinity,
so we need only check countable additivity. Let {E1 , E2 , . . .} be a countable collection of disjoint measurable sets.
Then,
Z Z
ν(∪n En ) = S f dµ = f χSn En dµ
n En
∞
Z X
= f χEn dµ (∵ the En are disjoint)
n=1
∞ Z
X
= f χEn dµ (∵ f χEn ≥ 0, n = 1, 2, . . .)
n=1
X∞
= ν(En ).
n=1
5. Suppose f is a bounded, real valued function on [0, 1]. Show that f is Lebesgue measurable if and only if
Z Z
sup ψ dm = inf φ dm
where m is Lebesgue measure on [0, 1], and ψ and φ range over all simple functions, ψ ≤ f ≤ φ.
6.5 If f is Lebesgue integrable on [0, 1] and > 0, show that there is δ > 0 such that for all measurable sets E ⊂ [0, 1]
with m(E) < δ, Z
f dm < .
E
Solution: This problem appears so often, I think it’s worth giving two different proofs. The first relies on the
frequently useful technique, employed in problem 3, in which the domain is written as a union of the nested sets
An = {x ∈ X : 1/n ≤ |f (x)| < n}. The second is a shorter proof, but it relies on a result about absolute
continuity of measures, which is almost equivalent to the original problem statement. I recommend that you learn
the first proof. The second proof is also worth studying, however, as it connects this result to the analogous result
about absolutely continuous measures.
4 See also: Rudin [8], chapter 1. Thanks to Matt Chasse for pointing out a mistake in my original solution to this problem. I believe the solution
given here is correct, but the skeptical reader is encouraged to consult Rudin.
5 See also: April ’92 (4), November ’97 (6), April ’03 (4).
5
1.1 1991 November 21 1 REAL ANALYSIS
Proof 1: Let An , n = 1, 2, . . . be the sequence of measurable sets defined in problem 3. That is,
Define δ = (2n)−1 , and suppose E ⊂ [0, 1] is a measurable set with mE < δ. We must show |
R
E
f dm| < .
Z Z
f dm ≤ |f | dm
E E
Z Z
= |f | dm + |f | dm
(X\An )∩E An ∩E
Z Z
≤ |f | dm + |f | dm
X\An An ∩E
< /2 + n m(An ∩ E)
< /2 + n = .
2n
The penultimate inequality holds because |f | < n on An . t
u
Proof 2:6 This proof relies on the following lemma about absolute continuity of measures:
Lemma 1.1 Let ν be a finite signed measure and µ a positive measure on a measurable space (X, M). Then ν µ
if and only if for every > 0 there is a δ > 0 such that |ν(E)| < whenever µ(E) < δ.
is finite iff7 f ∈ L1 (µ). It is also clearly absolutely continuous with respect to µ. Therefore, lemma 1.1 can be
applied to the real and imaginary parts of any complex-valued f ∈ L1 (µ). It follows that, for every > 0, there is
a δ > 0 such that Z
|ν(E)| = f dµ < , whenever µ(E) < δ.
E
t
u
6
1.1 1991 November 21 1 REAL ANALYSIS
xn f dm = 0 for n = 0, 1, 2, . . .,
R
7.8 Suppose f is a bounded, real valued, measurable function on [0, 1] such that
with m Lebesgue measure. Show that f (x) = 0 a.e.
Solution: Fix an arbitrary continuous function on [0, 1], say, φ ∈ C[0, 1]. By the Stone-Weierstrass theorem, there
is a sequence {pn } of polynomials such that kφ − pn k∞ → 0 as n → ∞. Then, since all functions involved are
integrable,
Z Z
f φ = f (φ − pn + pn )
Z Z
≤ |f ||φ − pn | + f pn
Z
≤ kf k1 kφ − pn k∞ + f pn
= kf k1 kφ − pn k∞ . (3)
The last equality holds since xn f = 0 for all n = 0, 1, 2, . . ., which implies that f pn = 0 for all polynomials
R R
pn . Finally, note that kf k1 < ∞, since f is bounded and Lebesgue measurable on the bounded interval [0, 1].
R (3) tends to zero as n tends to infinity. Since the left-hand side of (3) is independent
Therefore, the right-hand side of
of n, we have thus shown that f φ = 0 for any φ ∈ C[0, 1].
Now, since C[0, 1] is dense in L1 [0, 1], let {φn } ⊂ C[0, 1] satisfy kφn − f k1 → 0 as n → ∞. Then
Z Z Z Z
2
0 ≤ f = f (f − φn + φn ) ≤ |f ||f − φn | + f φn .
8.9 If µ and ν are finite measures on the measurable space (X, Σ), show that there is a nonnegative measurable function
f on X such that for all E in Σ, Z Z
(1 − f ) dµ = f dν. (4)
E E
Solution: There’s an assumption missing here: µ and ν must be positive measures.10 In fact, one can prove the
result is false without this assumption. So assume µ and ν are finite positive measures on the measurable space
8 This question appears very often in varying forms of difficulty. cf. November ’92 (7b, very easy version), November ’96 (B2, very easy),
November ’91 (this question, easy), April ’92 (6, moderate), November ’95 (6, hard–impossible?). I have yet to solve the November ’95 version.
One attempted solution (which I think is the one given in the black notebook), seems to assume f ∈ L1 , but that assumption makes the problem
even easier than the others.
9 See also: November ’97 (7).
10 Note that a measure µ is called “positive” when it is, in fact, nonnegative; that is, µE ≥ 0 for all E ∈ Σ.
7
1.1 1991 November 21 1 REAL ANALYSIS
R
(X, Σ). By the linearity property of the integral, and since µ(E) = E dµ, we have
Z Z Z Z
(1 − f ) dµ = dµ − f dµ = µ(E) − f dµ.
E E E E
so this is what we will prove. The Radon-Nikodym theorem (A.7) says, if λ m are σ-finite positive measures
on a σ-algebra Σ, then there is a unique g ∈ L1 (dm) such that
Z
λ(E) = g dm, ∀E ∈ Σ.
E
In the present case, µ µ + ν (since the measures are positive), so the theorem provides an f ∈ L1 (µ + ν) such
that Z
µ(E) = f d(µ + ν) ∀ E ∈ Σ,
E
which proves (5). t
u
9.11 If f and g are integrable functions on (X, S, µ) and (Y, T , ν), respectively, and F (x, y) = f (x) g(y), show that
F is integrable on X × Y and Z Z Z
F d(µ × ν) = f dµ g dν.
Solution: 12 To show F (x, y) = f (x)g(y) is integrable, an important (but often overlooked) first step is to prove
that F (x, y) = f (x)g(y) is (S ⊗ T )-measurable. Define Ψ : X × Y → R × R by Ψ(x, y) = (f (x), g(y)), and let
Φ : R × R → R be the continuous function Φ(s, t) = st. Then,
Theorem A.2 states that a continuous function of a measurable function is measurable. Therefore, if we can show
that Ψ(x, y) is an (S ⊗ T )-measurable function from X × Y into R × R, then it will follow that F (x, y) is (S ⊗ T )-
measurable. To show Ψ is measurable, let R be an open rectangle in R × R. Then R = A × B for some open sets
A and B in R, and
8
1.1 1991 November 21 1 REAL ANALYSIS
Now, f −1 (A) ∈ S and g −1 (B) ∈ T , since f and g are S- and T -measurable, resp. Therefore, Ψ−1 (R) ∈ S ⊗ T ,
which proves the claim.
Now that we know F (x, y) = f (x)g(y) is (S ⊗T )-measurable, we can apply part (b) of the Fubini-Tonelli theorem
(A.8) to prove that F (x, y) = f (x)g(y) is integrable if one of the iterated integrals of |F (x, y)| is finite. Indeed,
Z Z Z Z
|f (x)g(y)| dν(y) dµ(x) = |f (x)||g(y)| dν(y) dµ(x)
X Y
ZX Y Z
= |f (x)| |g(y)| dν(y) dµ(x)
ZX Y
Z
= |f (x)| dµ(x) |g(y)| dν(y) < ∞,
X Y
which holds since f ∈ L1 (µ) and g ∈ L1 (ν). The Fubini-Tonelli theorem then implies that F (x, y) ∈ L1 (µ × ν).
Finally, we must prove that RF d(µ×ν) = f dµ g dν. Since F (x, y) ∈ L1 (µ×ν), part (c) of the Fubini-Tonelli
R R R
theorem asserts that φ(x) = Y F (x, y) dν(y) is defined almost everywhere, belongs to L1 (µ), and, moreover,
Z Z Z
F d(µ × ν) = F (x, y) dν(y) dµ(x).
X×Y X Y
Therefore,
Z Z Z
F d(µ × ν) = f (x)g(y) dν(y) dµ(x)
X×Y
ZX ZY
t
u
9
1.2 1994 November 16 1 REAL ANALYSIS
and
∞
X ∞
X
kynj+1 − ynj k < 2−j = 1
j=1 j=1
as k → ∞. We have thus found a subsequence {ynk } ⊆ {yn } having a limit in E. Finally, since {yn } is Cauchy,
it is quite easy to verify that {yn } must converge to the same limit. This proves that every Cauchy sequence in E
converges to a point in E. t
u
2. Let fn be a sequence of real continuous functions on a compact Hausdorff space X. Show that if f1 ≥ f2 ≥ f3 ≥
· · · , and fn (x) → 0 for all x ∈ X, then fn → 0 uniformly.
10
1.2 1994 November 16 1 REAL ANALYSIS
R∞
x
3. Let f be integrable on the real line with respect to Lebesgue measure. Evaluate lim −∞
f (x − n) 1+|x| dx.
n→∞
Justify all steps.
y+n
0 ≤ |f (y)| ≤ |f (y)|,
1+y+n
R∞ R∞
x
Combining the two results above, we see that lim −∞
f (x − n) 1+|x| dx = −∞
f (x) dx. t
u
n→∞
Remark. Intuitively, this is the result we expect because the translation f (x − n) = Tn f (x) is merely shifting the
x
support of f to the right tail of the measure dµ := 1+|x| dx, and in the tail this measure looks like dx.
13 Here 1A (x) denotes the indicator function of the set A, which is 1 if x ∈ A and 0 if x ∈
/ A.
11
1.3 1998 April 3 1 REAL ANALYSIS
PART A
1. Let {xn }∞
n=1 be a bounded sequence of real numbers, and for each positive n define
x̂n = sup xk
k≥n
(a) Prove that Aσ (C) is a σ-algebra, that C ⊂ Aσ (C), and that Aσ (C) ⊂ A for any other σ-algebra A containing
all the sets of C.
(b) Let O be the collection of all finite open intervals in R, and F the collection of all finite closed intervals in R.
Show that
Aσ (O) = Aσ (F ).
3. Let (X, A, µ) be a measure space, and suppose X = ∪n Xn , where {Xn }∞n=1 is a pairwise disjoint collection of
measurable subsets of X. Use the monotone convergence theorem and linearity of the integral to prove that, if f is
a non-negative measurable real-valued function on X,
Z XZ
f dµ = f dµ.
X n Xn
Pn
Solution: 14 Define fn = k=1 f χXk = f χ∪n1 Xk . Then it is clear that the hypotheses of the monotone conver-
gence theorem are satisfied. That is, for all x ∈ X,
(i) 0 ≤ f1 (x) ≤ f2 (x) ≤ · · · ≤ f (x), and
(ii) limn→∞ fn (x) = f (x)χX (x) = f (x).
14 Note
R
that the hypotheses imply ν(E) = E f dµ is a measure (problem 4, Nov. ’91), from which the desired conclusion immediately follows.
Of course, this does not answer the question as stated, since the examiners specifically require the use of the MCT and linearity of the integral.
12
1.3 1998 April 3 1 REAL ANALYSIS
Therefore,
∞ Z
X n Z
X
f dµ = lim f χXk dµ
Xk n→∞ X
k=1 k=1
n
Z X
= lim f χXk dµ (by linearity of the integral)
n→∞ X k=1
Z
= lim fn dµ (by definition of fn )
n→∞ X
Z
= lim fn dµ (by the monotone convergence theorem)
n→∞
ZX
= f dµ.
X
t
u
4. Using the Fubini/Tonelli theorems to justify all steps, evaluate the integral
Z 1Z 1 πy
x−3/2 cos dx dy.
0 y 2x
RR
Solution:
RR By Tonelli’s theorem, if f (x, y) ≥ 0 is measurable and one of the iterated integrals f (x, y) dx dy or
f (x, y) dy dx exists, then they both exist and are equal. Moreover, if one of the iterated integrals is finite, then
f (x, y) ∈ L1 (dx, dy). Fubini’s theorem states: if f (x, y) ∈ L1 (dx, dy), then the iterated integrals exist and are
equal.
Now let g(x, y) = x−3/2 cos(πy/2x), and apply the Tonelli theorem to the non-negative measurable function
|g(x, y)| as follows:
Z 1Z x Z 1Z x πy Z 1Z x Z 1
−3/2 −3/2
|g(x, y)| dy dx = |x| dy dx ≤ x · 1 dy dx = x−1/2 dx = 2.
2x
cos
0 0 0 0 0 0 0
Thus one of the iterated integrals of |g(x, y)| is finite which, by the Tonelli theorem, implies g(x, y) ∈ L1 (dx, dy).
Therefore, the Fubini theorem applies to g(x, y), and gives the first of the following equalities:
Z 1Z 1 πy Z 1Z x πy
x−3/2 cos dx dy = x−3/2 cos dy dx
0 y 2x 0 0 2x
Z 1
2x h πy iy=x
= x−3/2 · sin dx
0 π 2x y=0
Z 1
2 −1/2
= x dx
0 π
2 h 1/2 ix=1
= 2x
π x=0
4
= .
π
t
u
13
1.3 1998 April 3 1 REAL ANALYSIS
5. Let I be the interval [0, 1], and let C(I), C(I × I) denote the spaces of real valued continuous functions on I and
I × I, respectively, with the usual supremum norm on these spaces. Show that the collection of finite sums of the
form X
f (x, y) = φi (x)ψi (y),
i
where φi , ψi ∈ C(I) for each i, is dense in C(I × I).
6. Let m be Lebesgue measure on the real line R, and for each Lebesgue measurable subset E of R define
Z
1
µ(E) = 2
dm(x).
E 1+x
Show that m is absolutely continuous with respect to µ, and compute the Radon-Nikodym derivative dm/dµ.
Solution: Obviously both measures are non-negative. We must first prove m µ. To this end, suppose m(E) >
0, where E ∈ M, the σ-algebra of Lebesgue measurable sets. Then, if we can show µ(E) > 0, this will establish
that the implication µ(E) = 0 ⇒ m(E) = 0 holds for all E ∈ M; i.e., m µ.
For n = 1, 2, . . ., define
1 1 1
An = x ∈ R : < 2
≤ .
n+1 1+x n
Then Ai ∩ Aj = ∅ for all i 6= j in N, and, for all n = 1, 2, . . .,
1
µ(An ) ≥ m(An ).
n+1
1
Also, R = ∪An , since 0 < 1+x2 ≤ 1 holds for all x ∈ R. Therefore,
X
µ(E) = µ(E ∩ (∪n An )) = µ(∪n (An ∩ E)) = µ(An ∩ E).
n
1
The last equality might need a bit of justification: Since f (x) = 1+x 2 is continuous, hence measurable, the sets
{An } are measurable. Therefore, the last equality holds by countable additivity of disjoint measurable sets.
P
Now note that m(E) = m(An ∩E) > 0 implies the existence of an n ∈ N such that m(An ∩E) > 0. Therefore,
1
µ(E) ≥ µ(An ∩ E) ≥ m(An ∩ E) > 0,
n+1
which proves that m µ. By the Radon-Nikodym theorem (A.1), there is a unique h ∈ L1 (µ) such that
Z Z Z
m(E) = h dµ, and f dm = f h dµ ∀ f ∈ L1 (m).
1
In particular, if E ∈ M and f (x) = 1+x2 χE , then
Z Z
1 h(x)
µ(E) = dm(x) = dµ(x).
E 1 + x2 E 1 + x2
R R h(x) h(x)
That is, E dµ = dµ(x) holds for all measurable sets E, which implies15 that, 1+x
E 1+x2 2 = 1 holds for
14
1.3 1998 April 3 1 REAL ANALYSIS
PART B
7. Let φ(x, y) = x2 y be defined on the square S = [0, 1] × [0, 1] in the plane, and let m be two-dimensional Lebesgue
measure on S. Given a Borel subset E of the real line R, define
8. Let f be a real valued and increasing function on the real line R, such that f (−∞) = 0 and f (∞) = 1. Prove that
f is absolutely continuous on every closed finite interval if and only if
Z
f 0 dm = 1.
R
Solution: 16 First note that f is increasing, so f 0 exists for a.e. x ∈ R, and f 0 (x) ≥ 0 wherever f 0 exists. Also, f 0
is measurable. To see this, define
As a lim sup of a sequence of measurable functions, g is measurable (Rudin [8], theorem 1.14?). Let E be the set
on which f 0 exists. Then m(R \ E) = 0, and f 0 = g on E (by the definition of derivative), so f 0 is measurable.
(⇐) Suppose R f 0 dm = 1. We must show f ∈ AC[a, b] for all −∞ < a < b < ∞. First, check that
R
f 0 ∈ L1 (R), since Z Z Z Z
1= f 0 dm = f 0 dm + f 0 dm = f 0 dm,
R R\E E E
Thus, f 0 ∈ L1 (R) as claimed. A couple of lemmas will be needed to complete the ⇐ direction of the proof. The
first is proved in the appendix (sec. A), while the second can be found in Royden [6] on page 100.
Rx
Lemma 1.2 Let f : R → R be a function. If f is differentiable on [a, b], f 0 ∈ L1 ([a, b]), and a
f 0 (t)dt =
f (x) − f (a) for a ≤ x ≤ b, then f ∈ AC[a, b].
16 I have worked this problem a number of times, and what follows is the clearest and most instructive proof I’ve come up with. It’s by no means
the shortest, most elegant solution, and probably not the type of detailed answer one should give on an actual exam. However, some of the facts that
I prove in detail have appeared as separate questions on other exams, so the proofs are worth knowing.
15
1.3 1998 April 3 1 REAL ANALYSIS
f 0 dm = 1. By assumption
R
(⇒) Now assume f ∈ AC[a, b] for all −∞ < a < b < ∞. We must show R
f (∞) − f (−∞) = 1, so this is equivalent to showing
Z x
lim f 0 (t)dm(t) = lim [f (x) − f (−x)].
x→∞ −x x→∞
Rx
Let x ∈ R, x > 0, and f ∈ AC[−x, x]. Then we claim f (x) − f (−x) = −x f 0 dm. Assuming the claim is true
(see Royden [6], p. 110 for the proof), we have
Z x Z
1 = lim [f (x) − f (−x)] = lim f 0 (t)dm(t) = f 0 dm.
x→∞ x→∞ −x R
t
u
9. Let F be a continuous linear functional on the space L1 [−1, 1], with the property that F (f ) = 0 for all odd
functions f in L1 [−1, 1]. Show that there exists an even function φ such that
Z 1
F (f ) = f (x)φ(x) dx, for all f ∈ L1 [−1, 1].
−1
[Hint: One possible approach is to use the fact that any function in Lp [−1, 1] is the sum of an odd function and an
even function.]
Solution: Since F ∈ L1 [−1, 1]∗ , then by the Riesz representation theorem18 there is a unique h ∈ L∞ [−1, 1]
such that Z 1
F (f ) = f (x)h(x) dx (∀f ∈ L1 [−1, 1])
−1
17 See Folland [4] for a nice, concise treatment of the fundamental theorem of calculus for Lebesgue integration.
18 See problem 3 of section 1.5.
16
1.3 1998 April 3 1 REAL ANALYSIS
Now (using the hint) write h = φ + ψ, where φ and ψ are the even and odd functions
t
u
17
1.4 2000 November 17 1 REAL ANALYSIS
Solution:
(a) (Inverse function theorem (IFT) of calculus)20
Let f : E → Rn be a C 1 -mapping of an open set E ⊂ Rn . Suppose that f 0 (a) is invertible for some a ∈ E and
that f (a) = b. Then,
(i) there exist open sets U and V in Rn such that a ∈ U , b ∈ V , and f maps U bijectively onto V , and
(ii) if g is the inverse of f (which exists by (i)), defined on V by g(f (x)) = x, for x ∈ U , then g ∈ C 1 (V ).
(b) First note that L and g both have continuous first order partial derivatives; i.e., L, g ∈ C 1 (R3 ). Therefore, the
derivative of f = L + g,
3
∂fi
f 0 (x) , Jf (x) ,
∂xj i,j=1
exists. Furthermore, Jf (x) is continuous in a neighborhood of the zero vector, because this is true of the partials of
g(x), and the partials of L(x) are the constant matrix L. Therefore, f ∈ C 1 (R3 ). By the IFT, then, we need only
show that f 0 (0) is invertible. Since f 0 (x) = L + g 0 (x), we must show f 0 (0) = L + g 0 (0) is invertible. Consider
the matrix g 0 (0) = Jg (0). We claim, Jg (0) = 0. Indeed, if x1 , x2 , x3 are the elementary unit vectors (also known
as i, j, k), then the elements of Jg (0) are
The second equality follows by the hypothesis that g is continuous and satisfies kg(x)k ≤ Ckxk2 , which implies
that g(0) = 0. Finally, to show that (8) is zero, consider
which implies
|gi (hxj )| |hxj |2
≤C = C|h| → 0, as h → 0.
|h| |h|
This proves that f 0 (0) = L, which is invertible by assumption, so the IFT implies that f (x) is locally invertible
near 0. t
u
2. Let f be a differentiable real valued function on the interval (0, 1), and suppose the derivative of f is bounded on
this interval. Prove the existence of the limit L = limx→0+ f (x).
19 The inverse function theorem does not appear on the syllabus and, as far as I know, this is the only exam problem in which it has appeared. The
implicit function theorem does appear on the syllabus, but I have never encountered an exam problem that required it.
20 See Rudin [7].
18
1.4 2000 November 17 1 REAL ANALYSIS
3. Let f and g be Lebesgue integrable functions on [0, 1], and let F and G be the integrals
Z x Z x
F (x) = f (t) dt, G(x) = g(t) dt.
0 0
Other approaches to this problem are possible, but credit will be given only to solutions based on these theorems.
4. Let (X, A, µ) be a finite measure space and suppose ν is a finite measure on h(X,iA) that is absolutely continuous
with respect to µ. Prove that the norm of the Radon-Nikodym derivative f = dν
dµ is the same in L∞ (µ) as it is in
L∞ (ν).
R1
5. Suppose that {fn } is a sequence of Lebesgue measurable functions on [0, 1] such that limn→∞ 0 |fn | dx = 0 and
1
there is an integrable function g on [0, 1] such that |fn |2 ≤ g, for each n. Prove that limn→∞ 0 |fn |2 dx = 0.
R
6. Denote by Pe the family of all even polynomials. Thus a polynomial p belongs to Pe if and only if p(x) =
p(x)+p(−x)
2 for all x. Determine, with proof, the closure of Pe in L1 [−1, 1]. You may use without proof the fact
that continuous functions on [−1, 1] are dense in L1 [−1, 1].
7. Suppose that f is real valued and integrable with respect to Lebesgue measure m on R and that there are real
numbers a < b such that Z
a · m(U ) ≤ f dm ≤ b · m(U ),
U
19
1.5 2001 November 26 1 REAL ANALYSIS
1. Let {fn } be a sequence of Lebesgue measurable functions on a set E ⊂ R, where E is of finite Lebesgue mea-
sure. Suppose that there is M > 0 such that |fn (x)| ≤ M for n ≥ 1 and for all x ∈ E, and suppose that
limn→∞ fn (x) = f (x) for each x ∈ E. Use Egoroff’s theorem to prove that
Z Z
f (x) dx = lim fn (x) dx.
E n→∞ E
Solution: First note that |f (x)| ≤ M for all x ∈ E. To see this, suppose it’s false for some x0 ∈ E, so that
|f (x0 )| > M . Then there is some > 0 such that |f (x0 )| = M + . By the triangle inequality, then, for all n ∈ N,
|f (x0 ) − fn (x0 )| ≥ ||f (x0 )| − |fn (x0 )|| = |M + − |fn (x0 )|| ≥ ,
20
1.5 2001 November 26 1 REAL ANALYSIS
Therefore, m(Fk ) > 0 for some k ∈ N, and then it follows from the definition of Fk that
Z Z
1
0 < m(Fk ) ≤ f dm ≤ f dm.
k Fk F
t
u
R(b) Suppose there is a subset E ⊂ [0, 1] of positive measure such that f > 0 on E. Then part (a) implies
E
f dm > 0. Let F ⊂ E be a closed subset ofR positive measure. (That such a closed subset exists follows from
Prop. 3.15 of Royden [6].) Then, again by (a), F f dm > 0. Now consider the set G = [0, 1] \ F , which is open
in [0, 1], and hence21 is a countable union of disjoint open intervals; i.e., G = ∪· n (an , bn ). Therefore,
Z XZ Z
0= f dm = f dm + f dm,
[0,1] n (an ,bn ) F
R
so F
f dm > 0 implies
XZ
f dm < 0.
n (an ,bn )
R
Thus, (ak ,bk )
f dm < 0 for some (ak , bk ) ⊂ [0, 1]. On the other hand,
Z Z bk Z ak
f dm = f (x) dm(x) − f (x) dm(x).
(ak ,bk ) 0 0
By the initial hypothesis, both terms on the right are zero, which gives the desired contradiction. t
u
Solution: 22
(a) (Stone-Weierstrass theorem)
Let X be a compact Hausdorff space and let A be a closed subalgebra of functions in C(X, R) which separates
points. Then either A = C(X, R), or A = {f ∈ C(X, R) : f (x0 ) = 0} for some x0 ∈ X. The first case occurs iff
A contains the constant functions.
(b) (Lebesgue dominated convergence theorem)23 Let {fn } be a sequence of measurable functions on (X, M, µ)
such that fn → f a.e.. If there exists g ∈R L1 (X, M, Rµ) such that |fn (x)| ≤ g(x) holds for all x ∈ X and
n = 1, 2, . . .. Then {fn } ⊂ L1 , f ∈ L1 , lim X fn dµ = X f dµ, and kfn − f k1 → 0.
21 Every open set of real numbers is the union of a countable collection of disjoint open intervals (Royden [6], Prop. 8, page 42).
22 The presentations of (a) and (c) in Folland [4] are especially nice. For (b) and (e), as well as (c), I like Rudin [8]. A version of (d) appears in
Royden [6].
23 See theorem A.5 for a more general version.
21
1.5 2001 November 26 1 REAL ANALYSIS
Solution: 25
(a) (Baire category theorem) T∞
If X is a complete metric space and {An } is a collection of open dense subsets, then n=1 An is dense in X.
S∞
Corollary 1. If X is a complete metric space and G ⊆ X is a non-empty open subset and G = n=1 Gn then
o
G¯n 6= ∅ for at least one n ∈ N.
Corollary 2. A nonempty complete metric space is not a countable union of nowhere dense sets.
S∞
(b) Define Am = {x ∈ X : |f (x)| ≤ m, ∀f ∈ F }. Then X = m=1 T Am , since for every x there is a finite
number Mx such that |f (x)| ≤ Mx for all f ∈ F . Now note that Am = f ∈F {x ∈ X : |f (x)| ≤ m}, and, since f
and a 7→ |a| are continuous functions, each {x ∈ X : |f (x)| ≤ m} is closed, so Am is closed. Therefore, corollary
2 of the Baire category theorem implies that there must be some m ∈ N such that A◦m 6= ∅, so the set G = A◦m and
the number M = m satisfy the given criteria. t
u
22
1.5 2001 November 26 1 REAL ANALYSIS
5. Prove or disprove:
(a) L2 convergence implies pointwise convergence.
(b)
∞
sin(xn )
Z
lim dx = 0.
n→∞ 0 xn
(c) Let {fn } be a sequence of measurable functions defined on [0, ∞). If fn → 0 uniformly on [0, ∞), as n → ∞,
then Z Z
lim fn (x) dx = lim fn (x) dx.
[0,∞) [0,∞)
Solution:
(a) This is false, as the following example demonstrates: For each k ∈ N, define fk,j = χ[ j−1 , j ) for j = 1, . . . , k,
k k
and let {gn } be the sequence defined by
g1 = f1,1 ,
g2 = f2,1 , g3 = f2,2 ,
g4 = f3,1 , g5 = f3,2 , g6 = f3,3 ,
g7 = f4,1 , . . .
√
Then |fk,j |2 dµ = 1/k for each j = 1, . . . , k, so kfk,j k2 = 1/ k → 0, as k → ∞. Therefore kgn k2 → 0 as
R
n → ∞. However, {gn } does not converge pointwise since, for every x ∈ [0, 1] and every N ∈ N, we can always
find some k ∈ N and j ∈ {1, . . . , k} such that gn (x) = fk,j (x) = 1 with n ≥ N , and we can also find a k 0 ∈ N
and j 0 ∈ {1, . . . , k 0 } such that gn0 (x) = fk0 ,j 0 (x) = 0 with n0 ≥ N . t
u
sin t
(b) For any fixed 0 < x < 1, limn→∞ xn = 0. Also, t → 1, as t → 0, which can be proved by L’Hopital’s rule.
Together, these two facts yield
sin xn
= 1. lim
n→∞ xn
Rθ
Now, recall that | sin θ| ≤ |θ| for all real θ. Indeed, since sin θ = 0 cos x dx, we have, for θ ≥ 0,
Z θ Z θ
| sin θ| ≤ | cos x| dx ≤ 1 dx = θ,
0 0
Next consider the part of the integral over 1 ≤ x < N , for any real N > 1. Fix n ≥ 2. The change of variables
1
u = xn results in du = nxn−1 dx, and, since u1/n = x, we have xn−1 = u1− n . Therefore,
N Nn Nn
sin xn
Z Z Z
sin u du 1 sin u
dx = = du.
1 xn 1 u nu1− n1 n 1
1
u2− n
23
1.5 2001 November 26 1 REAL ANALYSIS
Now,
Z n Z n 1
N n
1 N sin u 1 N 1 1 u n −1
1
n −2 du = lim
lim 1 du ≤ lim u = .
N →∞ n 1
2− →∞ n 1 →∞ 1
n n −1
n−1
u n N N
1
Therefore,
∞
sin xn
Z
1
dx ≤ ,
1 xn n−1
and so,
∞
sin xn
Z
lim dx = 0. (10)
n→∞ 1 xn
Combining results (9) and (10) yields
∞
sin xn
Z
lim dx = 1.
n→∞ 0 xn
t
u
R(c) This is false, as the followingR example demonstrates: Let fn = n1 Rχ[0,n) . Then fn R→ 0 uniformly and so
lim fn = 0. On the other hand, fn = 1 for all n ∈ N. Therefore, lim fn = 1 6= 0 = lim fn . t
u
24
1.5 2001 November 26 1 REAL ANALYSIS
6. Let f : H → H be a bounded linear functional on a separable Hilbert space H (with inner product denoted by
h·, ·i). Prove that there is a unique element y ∈ H such that
Hint. You may use the following facts: A separable Hilbert space, H, contains a complete orthonormal sequence,
{φk }∞ ∈ H and if hx, φk i = hy, φk i for all k, then x = y. (2)
k=1 , satisfying the following properties: (1) If x, y P
∞
Parseval’s equality holds; that is, for all x ∈ H, hx, xi = k=1 a2k , where ak = hx, φk i.
P∞
Solution: Define y = k=1 f (φk )φk , and check that this y ∈ H has the desired properties.
P∞
First observe that, by properties (1) and (2) given the hint, any x ∈ H can be written as x = k=1 ak φk , where
ak = hx, φk i, for each k ∈ N. Therefore, by linearity of f ,
X X
f (x) = f ( ak φk ) = ak f (φk ). (11)
k k
Now X X
hx, yi = h ak φk , yi = ak hφk , yi, (12)
k k
and, by definition of y,
X X
hφk , yi = hφk , f (φj )φj i = f (φj )hφk , φj i = f (φk ). (13)
j j
The last equality holds by orthonormality; i.e., hφk , φj i is 1 when j = k and 0 otherwise. Putting it all together,
we see that, for every x ∈ H,
X
f (x) = ak f (φk ) ∵ (11)
k
X
= ak hφk , yi ∵ (13)
k
= hx, yi ∵ (12)
Moreover, this y is unique. For, suppose there is another y 0 ∈ H such that f (x) = hx, y 0 i for all x ∈ X. Then
hx, yi = f (x) = hx, y 0 i for all x ∈ X. In particular, hφk , yi = f (φk ) = hφk , y 0 i for each k ∈ N , which, by
property (1) of the hint, proves that y = y 0 .
Finally, we must show kf k = kyk. Observe,
|f (x)| |(x, y)|
kf k = sup {|f (x)| : kxk ≤ 1} = sup = sup ,
x∈X x∈X kxk x∈X kxk
and recall that |(x, y)| ≤ kxkkyk holds for all x, y ∈ X. Whence,
|(x, y)|
kf k = sup ≤ kyk. (14)
x∈X kxk
On the other hand,
|(x, y)| |(y, y)| kyk2
kf k = sup ≥ = = kyk. (15)
x∈X kxk kyk kyk
Together, (14) and (15) give kf k = kyk, as desired. t
u
25
1.5 2001 November 26 1 REAL ANALYSIS
Then with the norm kAk = supkxk≤1 kAxk, B(X, Y ) is a normed linear space (you need not show this). Prove
that B(X, Y ) is a Banach space; that is, prove that B(X, Y ) is complete.
Solution: Let {Tn } ⊂ B(X, Y ) be a Cauchy sequence; i.e., kTn − Tm k → 0 as m, n → ∞. Fix x ∈ X. Then,
Therefore, the sequence {Tn x} ⊂ Y is a Cauchy sequence in (Y, k · kY ). Since the latter is complete, the limit
limn→∞ Tn x = y ∈ Y exists. Define T : X → Y by T x = limn→∞ Tn x, for each x ∈ X. To complete the proof,
we must check that T is linear, bounded, and satisfies limn→∞ kTn − T k = 0.
• T is linear:
For x1 , x2 ∈ X,
• T is bounded:
First, note that {kTn k} is a Cauchy sequence of real numbers, since | kTn k − kTm k | ≤ kTn − Tm k → 0,
as n, m → ∞. Therefore, there is a c ∈ R such that kTn k → c, as n → ∞. For some N ∈ N, then,
kTn k ≤ c + 1 for all n ≥ N . Thus,
Now, by definition, Tn x → T x, for all x ∈ X and, since the norm k · kY is uniformly continuous,26
Taken together, (16) and (17) imply kT xkY ≤ (c + 1)kxkX , for all x ∈ X. Therefore, T is bounded.
• limn→∞ kTn − T k = 0:
Fix > 0 and choose N ∈ N such that n, m ≥ N implies kTn − Tm k < . Then,
That is, kTn x − T xk ≤ kxkX , for all n ≥ N and x ∈ X. Whence, kTn − T k ≤ for all n ≥ N .
t
u
26
1.6 2004 April 19 1 REAL ANALYSIS
Solution:
(a) Proof 1: Since f and g are real measurable functions of S, and since the mapping Φ : R × R → R defined by
Φ(x, y) = x + y is continuous, theorem A.3 implies that the function f + g = Φ(f, g) is measurable. If φ ∈ C(R),
then φ(f ) is measurable by part (b) of theorem A.2.
Proof 2: Let {qi }∞
i=1 be an enumeration of the rationals. Then, for any α ∈ R,
∞
[
{x ∈ S : f (x) + g(x) < α} = {x ∈ S : f (x) < α − qi } ∩ {x ∈ S : g(x) < qi }.
i=1
Since each set on the right is measurable, and since σ-algebras are closed under countable unions and intersections,
{x ∈ S : f (x) + g(x) < α} is measurable. Since α was arbitrary, f + g is measurable.
The function φf is measurable if and only if, for any open subset U of R, the set (φf )−1 (U ) is measurable. Let U
be open in R. Then φ−1 (U ) is open, since φ ∈ C(R), and so (φf )−1 (U ) = f −1 (φ−1 (U )) is measurable, since f
is measurable. Therefore, φf is measurable.
(b) Fix > 0. For n ∈ N, define An = {x ∈ [a, b] : |f (x)| ≤ n}. Then
∞
[
[a, b] = An ∪ A∞ , (18)
n=1
µ([a, b] \ AM ) = µ(∪n An ∪ A∞ \ AM )
≤ µ(∪n An \ AM ) + µ(A∞ )
= µ(∪n An \ AM ) < .
The second equality holds since we assumed f (x) = ±∞ only on a set of measure zero; i.e., µ(A∞ ) = 0. t
u
27 Since f is an extended real valued function, we must not forget to include A∞ , without which the union in (18) would not be all of [a, b].
27
1.6 2004 April 19 1 REAL ANALYSIS
Solution:
(a) See theorem A.6.
(b) See theorem A.4.
(c) (⇒) By the Minkowsky inequality, kfn kp = kfn − f + f kp ≤ kfn − f kp + kf kp . Similarly, kf kp ≤
kfn − f kp + kfn kp . Together, the two inequalities yield |kfn kp − kf kp | ≤ kfn − f kp . Therefore, kfn − f kp → 0
implies |kfn kp − kf kp | → 0. This proves necessity.
(⇐) I know of three proofs of sufficiency. The second is similar to the first, only much shorter as it exploits the full
power of the general version of Lebesgue’s dominated convergence theorem, whereas the first proof merely relies
on Fatou’s lemma.28 The third proof uses both Fatou’s lemma and Egoroff’s theorem, so, judging from parts (a)
and (b), this may be closer to what the examiners had in mind. Note that none of the proofs use the assumption that
the measure space is finite, so we may as well work in the more general space Lp (X, M, µ).
Both proofs 1 and 2 make use of the following:
Proof: When p ≥ 1, φ(x) = xp is convex on [0, ∞). Thus, for all α, β ∈ [0, ∞),
p
α+β α+β 1 1
=φ ≤ [φ(α) + φ(β)] = (αp + β p ).
2 2 2 2
Proof 1: By (19),
|fn − f |p ≤ 2p−1 (|fn |p + |f |p ).
In particular, fn − f ∈ Lp , for each n ∈ N. Moreover, the functions
are non-negative. Now notice that lim gn = 2p |f |p . Applying Fatou’s lemma to (20), then,
Z Z Z Z
2p |f |p = lim gn ≤ lim gn = lim
p−1
2 (|fn |p + |f |p ) − |fn − f |p .
28
1.6 2004 April 19 1 REAL ANALYSIS
Proof 2: By (19),
|fn − f |p ≤ 2p−1 (|fn |p + |f |p ). (21)
In particular, fn − f ∈ Lp , for each n ∈ N. Define the functions
Z (Z Z ) Z Z
p
lim |fn | = lim |fn |p − |fn |p = |f |p − lim |fn |p .
A X X\A X X\A
By (22), then, Z Z Z
p p
|f | < + |f | − lim |fn |p .
X X X\A
Therefore,
Z !1/p Z !1/p
lim kfn − f kp ≤ lim{|fn (x) − f (x) : x ∈ A}µ(A)1/p + lim |fn |p + |f |p .
X\A X\A
The first term on the right goes to zero since fn → f uniformly on A. The other terms are bounded by 21/p . t
u
29
1.6 2004 April 19 1 REAL ANALYSIS
3. (a) Let S = [0, 1] and let {fn } ⊂ Lp (S), where 1 < p < ∞. Suppose that fn → f a.e. on S, where f ∈ Lp (S). If
there is a constant M such that kfn kp ≤ M for all n, prove that for each g ∈ Lq (S), p1 + 1q = 1, we have
Z Z
lim fn g = f g.
n→∞ S S
5. Prove or disprove:
P∞
(a) For 1 ≤ p < ∞, let `p := {x = {xk } | kxkp = ( k=1 |xk |p )1/p < ∞}. Then for p 6= 2, `p is a Hilbert
space.
R1
(b) Let X = (C[0, 1], k · k1 ), where the linear space C[0, 1] is endowed with the L1 -norm: kf k1 = 0 |f (x)| dx.
Then X is a Banach space.
(c) Every real, separable Hilbert space is isometrically isomorphic to `2 .
6. (a) Give a precise statement of some version of Fubini’s theorem that is valid for non-negative functions.
(b) Let f, g ∈ L1 (R). (i) Prove that the integral
Z
h(x) = f (x − t)g(t) dt
R
exists for almost all x ∈ R and that h ∈ L1 (R). (ii) Show that khk1 ≤ kf k1 kgk1 .
30
1.7 2007 November 16 1 REAL ANALYSIS
If M is the σ-algebra of µ-measurable subsets of X, then Fn ∈ M for each n ∈ N, since M is a σ-algebra. Also,
Fi ∩ Fj = ∅ for i 6= j, and F1 ∪ F2 ∪ · · · ∪ Fn = E1 ∪ E2 ∪ · · · ∪ En for all n ∈ N. Thus,
∞
[ ∞
[
Fn = En , E,
n=1 n=1
and, by σ-additivity of µ,
∞
[ ∞
X
µ(E) = µ( Fn ) = µ(Fn ).
n=1 n=1
Therefore, if we can show µ(En ) = µ(Fn ) holds for all n ∈ N, the proof will be complete.
Now, for each n = 2, 3, . . . ,
n−1
[
Fn = E n ∩ ( Ei )c (23)
i=1
and
n−1
[ n−1
[
µ(En ) = µ(En ∩ ( Ei )c ) + µ(En ∩ ( Ei )). (24)
i=1 i=1
Sn−1
Equation (24) holds because i=1 Ei is a measurable set for each n = 2, 3, . . . . Finally, note that
n−1
[ n−1
[
En ∩ ( Ei ) = (En ∩ Ei ),
i=1 i=1
which implies
n−1
[ n−1
X
µ(En ∩ ( Ei )) ≤ µ(En ∩ Ei ),
i=1 i=1
by σ-subadditivity. By assumption, each term in the last sum is zero, and therefore, by (23) and (24),
n−1
[
µ(En ) = µ(En ∩ ( Ei )c ) = µ(Fn ) holds for each n = 2, 3, . . . .
i=1
31
1.7 2007 November 16 1 REAL ANALYSIS
2. (a) State a theorem that illustrates Littlewood’s Principle for pointwise a.e. convergence of a sequence of functions
on R.
(b) Suppose that fn ∈ L1 (m) for n = 1, 2, . . . . Assuming that kfn − f k1 → 0 and fn → g a.e. as n → ∞, what
relation exists between f and g? Make a conjecture and then prove it using the statement in Part (a).
Solution:
(a) I think it’s generally accepted that the Littlewood principle dealing with a.e. convergence of a sequence of
functions on R is Egoroff’s theorem, which is stated below in section A.6.
(b) Conjecture: f = g a.e.
Proof 1:29 First recall that L1 convergence implies convergence in measure. That is, if {fn } ⊂ L1 (m) and
kfn − f k1 → 0, then fn → f in measure. (Proof: m({x : |fn (x) − f (x)| > }) ≤ 1 kfn − f k1 → 0.) Next recall
another important theorem30 which states that if fn → f in measure then there is a subsequence {fnj } ⊆ {fn }
which converges a.e. to f as j → ∞. Combining these two results in the present context (Lebesgue measure on
the real line), we can say the following:31 If {fn } ⊂ L1 (m) and kfn − f k1 → 0 then there is a subsequence
{fnj } ⊆ {fn } with the property fnj (x) → f (x) for almost all x ∈ R.
Now, if fn (x) → g(x) for almost all x ∈ R, and if B1 be the set of measure zero where fn (x) 9 g(x), then off of
B1 the sequence fn , as well as every subsequence of fn , converges to g. Let {fnj } be the subsequence mentioned
above which converges to f almost everywhere. Then
Define B2 = {x ∈ R : fnj (x) 9 f (x)}. Then the set B = B1 ∪ B2 has measure zero and, for all x ∈ R \ B,
fnj (x) → f (x) and fnj (x) → g(x) . Therefore, by (25), |f (x) − g(x)| = 0 for all x ∈ R \ B. It follows that the
set {x ∈ R : f( x) 6= g(x)} ⊂ B, as a subset of a null set, must itself be a null set (since m is complete). That is,
f = g a.e. and the conjecture is proved. t
u
Proof 2: First, we claim that if f = g a.e. on [−n, n] for every n ∈ N, then f = g a.e. in R. To see this, let
Bn = {x ∈ [−n, n] : fP (x) 6= g(x)}. Then mBn = 0 for all n ∈ N, so that if B = {x ∈ R : f (x) 6= g(x)}, then
B = ∪Bn and mB ≤ mBn = 0, as claimed. Thus, to prove the conjecture, it is enough to show that f = g for
almost every −n ≤ x ≤ n, for an arbitrary fixed n ∈ N.
Fix n ∈ N, and suppose we know that f − g ∈ L1 ([−n, n], m). (This will follow from R the fact that f, g ∈
L1 ([−n, n], m), which we prove below.) Then, for all > 0 there is a δ > 0 such that E |f − g| dm < for
all measurable E ⊆ [−n, n] with mE < δ. Now apply Egoroff’s theorem to find a set A ⊆ [−n, n] such that
m([−n, n] \ A) < δ and fn → g uniformly on A. Then
Z n Z Z
|f − g| dm = |f − g| dm + |f − g| dm
−n [−n,n]\A A
Z Z
≤+ |f − fn | dm + |fn − g| dm
A A
≤ + kf − fn k1 + mA sup |fn (x) − g(x)|,
x∈A
29 Note that Proof 1, which seems to me the more natural one, doesn’t use Egoroff’s theorem, so either the examiners were looking for a different
proof, or a different conjecture, or perhaps Egoroff’s theorem was not the Littlewood principle they had in mind. In any event, I have found a way
to prove the conjecture which does make use of Egoroff’s theorem, and this appears here as Proof 2.
30 Folland [4], theorem 2.30 and its corollary.
31 Perhaps this statement is the version of the Littlewood principle dealing with a.e. convergence that we were meant to cite in part (a).
32
1.7 2007 November 16 1 REAL ANALYSIS
where kf − fn k1 → 0, by assumption,
Rn and supx∈A |fn (x) − g(x)| → 0 since fn → g uniformly on A. Since > 0
was arbitrary, it follows that −n |f − g| dm = 0 and, for functions f, g ∈ L1 ([−n, n], m), this implies that f = g
a.e. on [−n, n].
It remains to show that f, g ∈ L1 ([−n, n], m). It’s clear that f ∈ L1 since kf k1 ≤ kf − fn k1 + kfn k1 < ∞. To
a.e.
prove g ∈ L1 ([−n, n], m) note that fn −−→ g implies limn |fn (x)| = |g(x)| for almost all x, so by Fatou’s lemma,
Z Z Z
kgk1 = |g| dm = lim |fn | dm ≤ lim |fn | dm = lim kfn k1 = kf k1 < ∞.
The last equality holds because, by the triangle inequality, |kfn k1 − kf k1 | ≤ kfn − f k1 → 0. t
u
Solution: (a) Define dist(x, K) = f (x) = inf k∈K |x − k|. Clearly, for all k ∈ K, f (x) ≤ |x − k|. Therefore, by
the triangle inequality, for any x, y ∈ R3 ,
f (x) ≤ |x − y| + |y − k|, ∀k ∈ K,
Similarly,
f (y) ≤ |x − y| + f (x). (27)
Obviously, for any given x ∈ R3 , f (x) is finite. Therefore, (26) and (27) together imply that
(b) First observe that f (x) = 0 for all x ∈ K, and f (x) > 0 for all x ∈
/ K. Define K1 to be a closed and bounded
set containing K on which f (x) ≤ 1. That is, K1 is the set of points that are a distance of not more than 1 unit
from the set K. In particular K ⊂ K1 . Notice that g = max(1 − f, 0) = (1 − f )χK1 . Also, if x ∈ K1 \ K,
then 0 ≤ 1 − f (x) < 1, so g n → 0 on the set K1 \ K, while on the set K, g n = 1 for all n ∈ N. Therefore,
g n → χKRRR note that g n ≤ χK1 ∈ L1 (R3 ) so the dominated convergence theorem can be applied to yield
. Finally, RRR
n
limn→∞ g = χK = m3 (K). t
u
33
1.7 2007 November 16 1 REAL ANALYSIS
Solution:
(a) The Borel σ-algebra of R2 , which we denote by B(R2 ), is the smallest σ-algebra that contains the open subsets
of R2 . The sets belonging to B(R2 ) are called Borel subsets of R2 .
(b) First observe that if G is a finite subset of R, then G is a Lebesgue null set. That is, mG = 0. In fact, it is easy
to prove that if G is any countable subset, thenP mG = 0. (Just fix > 0 and cover each point xn ∈ G with a set
En of measure less than 2−n . Then mG ≤ mEn < .)
In problems involving 2-dimensional Lebesgue measure, distinguishing x and y coordinates sometimes clarifies
things. To wit, let (X, B(X), µ) = (Y, B(Y ), ν) be two identical copies of the measure space (R, B(R), m), and
represent Lebesgue measure on R2 by32 (X × Y, B(X) ⊗ B(Y ), µ × ν) = (R2 , B(R2 ), m2 ).
Our goal is to prove that m2 E = 0. First note that
Z
m2 E = (µ × ν)(E) = χE d(µ × ν).
X×Y
The integrand χE is non-negative and measurable (since E is Borel). Therefore, by Tonelli’s theorem (A.8),
Z Z Z Z
m2 E = χE (x, y) dµ(x) dν(y) = χE (x, y) dν(y) dµ(x). (28)
Y X X Y
Now, let
Gt = {y ∈ R : (x, y) ∈ E and x = t}.
This is the so called “x-section” of E at the point x = t. It is a subset of R, but we can view it as a subset of R2 by
simply identifying each point y ∈ Gt with the point (t, y) ∈ Et = {(x, y) ∈ E : x = t}. It follows that, for each
t ∈ R, Gt is a finite subset of R. Therefore, mGt = 0. Finally, by (28),
Z Z Z
m2 E = χGt (y) dν(y) dµ(t) = νGt dµ(t) = 0.
X Y X
dν
5. Let µ and ν be finite positive measures on the measurable space (X, A) such that ν µ ν, and let d(µ+ν)
represent the Radon-Nikodym derivative of ν with respect to µ + ν. Show that
dν
0< <1 a.e. [µ].
d(µ + ν)
Solution: First note that ν µ implies ν µ + ν, so, by the Radon-Nikodym theorem (A.7), there is a unique
f ∈ L1 (µ + ν) such that Z
ν(E) = f d(µ + ν) ∀E ∈ A.
E
32 The notation B(X) ⊗ B(Y ) denotes the σ-algebra generated by all sets A × B ⊆ X × Y with A ∈ B(X) and B ∈ B(Y ). See A.1.6. In
this case, B(X) ⊗ B(Y ) is the same as B(R2 ).
34
1.7 2007 November 16 1 REAL ANALYSIS
dν
Indeed, f is the Radon-Nikodym derivative; i.e., f = d(µ+ν) . We want to show 0 < f (x) < 1 holds for µ-almost
every x ∈ X. Since we’re dealing with positive measures, we can assume f (x) ≥ 0 for all x ∈ X.
If B0 = {x ∈ X : f (x) = 0}, then Z
ν(B0 ) = f d(µ + ν) = 0.
B0
Since ν is finite by assumption, we can subtract ν(B0 ) from both sides to obtain µ(B1 ) = 0. This proves f (x) < 1,
[µ]-a.e. t
u
Thus, {Tk (b)} = {Sk } is a convergent sequence of reals, so, if N ∈ N is such that k ≥ N implies |Sk − x| < 1,
and if Mb0 is defined to be max{|Sk | : 1 ≤ k ≤ N }, then, for any k ∈ N,
Next note that `q is a Banach space, so the (Banach-Steinhauss) principle of uniform boundedness implies that
there is a single M > 0 such that kTk k ≤ M for all k ∈ N. In other words,
35
1.7 2007 November 16 1 REAL ANALYSIS
P∞
On the other hand, byPdefinition, T (b) = n=1 an bn , for all b ∈ `q . Since the representation in (29) is unique,
a = α ∈ `p . That is, n |an |p < ∞. t
u
(b) Consider the case p = 1 and q = ∞. First recall that the Riesz representation theorem says that every
T ∈ `∗q (1 ≤ q < ∞) is uniquely representable by some α ∈ `p (where p = q/(q − 1), so 1 < p ≤ ∞). That is `p
is the dual of `q , when 1 ≤ q < ∞ and p = q/(q − 1). However, in the present case we have q = ∞ and p = 1
and `1 is not the dual of `∞ . (Perhaps the easiest way to see this is to note that `1 is separable but `∞ is not. For
the collection of a ∈ `∞ such that an ∈ {0, 1}, n ∈ N, is uncountable and, for any two distinct such sequences
a, b ∈ {0, 1}N , we have ka − bk∞ = 1, so there cannot be a countable base, so `∞ is not second countable, and a
metric space is separable iff it is second countable.)
So we can’t use the same method of proof for this case. However, I believe the result still holds by the following
simple argument: Define b = (b1 , b2 , . . . ) by
(
ān /|an |, for an 6= 0,
bn = sgn(an ) = (n ∈ N).
0, for an = 0,
P P
Then n |an | = n an bn converges by the hypothesis, since |bn | ∈ {0, 1} implies b ∈ `∞ . Therefore, a ∈ `1 .
Finally, in case p = ∞ and q = 1, the Riesz representation theorem can be applied as in part (a). t
u
36
2 COMPLEX ANALYSIS
2 Complex Analysis
37
2.1 1989 April 2 COMPLEX ANALYSIS
(b) Let u be a real harmonic function in all the complex plane C. Show that if u(z) ≥ 0 for all z ∈ C, then
u must be constant.
Solution: (a) The hypotheses imply that Imf (eiθ ) = 0 for all θ ∈ R. Since f is holomorphic in a neighborhood
Ω of U , the series
X∞
f (z) = an z n
n=0
converges uniformly on any compact subset of Ω. The unit circle T = {z : |z| = 1} = {eiθ : θ ∈ R} is one such
compact subset, and here the series is
∞
X
f (eiθ ) = an einθ .
n=0
an einθ = (cn + ibn )[cos(nθ) + i sin(nθ)] = [cn cos(nθ) − bn sin(nθ)] + i[cn sin(nθ) + bn cos(nθ)].
converges uniformly to zero for all θ ∈ [0, 2π]. Therefore, with the possible exception of c0 , we have cn = bn = 0,
for all n, so f ≡ c0 . t
u
(b) Since C is simply connected, there is a real-valued harmonic conjugate v(z) such that the function f (z) =
u(z) + iv(z) is entire. Now, since u(z) ≥ 0, f (z) maps the complex plane into the right half-plane, {Ref (z) ≥ 0}.
It follows immediately from Picard’s theorem that f must be constant.35 However, an elementary argument using
only Liouville’s theorem is probably preferable, so let f be as above, and define g(z) = f (z) + 1. Then g is
entire and maps C into {w ∈ C : Rew ≥ 1}. In particular, g(z) is bounded away from zero, so the function
h(z) = 1/g(z) is a bounded entire function. (In fact, |h(z)| ≤ 1.) Therefore, by Liouville’s theorem, h is constant,
so f is constant, so u = Ref is constant. t
u
34 In 1989 there was a single three hour test covering both real and complex analysis. Students were required to do nine problems, with at least
if you use it for an easy problem like this one, you might be accused of killing a fly with a sledge hammer!
38
2.1 1989 April 2 COMPLEX ANALYSIS
2. Let f be an analytic function in the region {z : |z| > 1}, and suppose that
lim f (z) = 0.
z→∞
Note that this holds for all R > |z| > 2. Fix > 0. Let R be such that |f (ζ)| < /2 for all |ζ| = R and
R > 2|z|. Then |ζ − z| > R /2 for all |ζ| = R , so
|f (ζ)|
Z
1 /2 2πR
|dζ| < = .
2π |ζ|=R |ζ − z| 2π R /2
Therefore, by (31),
1 Z f (ζ)
dζ + f (z) < .
2πi |ζ|=2 ζ − z
This holds for any , which proves (30). t
u
3.36 Let U be the open unit disk in C, and let U + be the top half of this disk,
t
u
36 This problem also appears in April ’95 (5) and November ’06 (2).
39
2.1 1989 April 2 COMPLEX ANALYSIS
4. Let {fn } be a sequence of analytic functions in the unit disk U , and suppose there exists a constant M such that
Z
|fn (z)| |dz| ≤ M
C
for each fn and for all circles C lying in U . Prove that {fn } has a subsequence converging uniformly on compact
subsets of U .
5. Let Q be a complex polynomial with distinct simple roots at the points a1 , a2 , . . . , an , and let P be a complex
polynomial of degree less than that of Q. Show that
n
P (z) X P (ak )
= .
Q(z) Q0 (ak )(z − ak )
k=1
6. Use contour integration and the residue method to evaluate the integral
Z ∞
cos x
dx.
0 (1 + x2 )2
Consider the simple closed contour ΓR = γR ∪ [−R, R], where the trace of γR is the set {Reiθ : 1 ≤ θ ≤ π},
oriented counter-clockwise. Note that, if R > 1, then i is inside the region bounded by ΓR .
The function
cos z cos z
f (z) = 2 2
=
(1 + z ) (z + i)2 (z − i)2
is holomorphic inside and on ΓR , except for a double pole at z = i, where the residue is computed as follows:
d d cos z
Res(f, i) = lim [(z − i)2 f (z)] = lim
z→i dz z→i dz (z + i)2
40
2.1 1989 April 2 COMPLEX ANALYSIS
R
It remains to check that γR
f (z) dz → 0, as R → ∞, which will allow us to conclude that
Z ∞ Z Z Z
π
2I = f (x) dx = lim f (z) dz − f (z) dz = lim f (z) dz = . (32)
−∞ R→∞ ΓR γR R→∞ ΓR 2e
Indeed, Z Z
cos z
1 πR
f (z) dz =
2 2
dz ≤ 2 2
`(γR ) = .
γR
γR (1 + z ) (R − 1) (R − 1)2
2
R
This inequality holds for all R > 1, so, letting R → ∞, we have γR f (z) dz → 0. Therefore, by (32),
Z ∞
cos x π
I= 2 2
dx = .
0 (1 + x ) 4e
t
u
41
2.2 1991 November 21 2 COMPLEX ANALYSIS
Solution: Writing f in terms of the real and imaginary parts of z = x + iy, we have
where u(x, y) = x2 + xy + x and v(x, y) = xy − y 2 − y are the real and imaginary parts of f . Therefore,
ux = 2x + y + 1 vy = x − 2y − 1 (33)
uy = x vx = y. (34)
If f is holomorphic in some region, the Cauchy-Riemann equations (ux = vy , uy = −vx ) must hold there. By (33)
and (34), this requires 2x + y + 1 = x − 2y − 1 and x = −y. Substituting the second equation into the first yields
−y + 1 = −3y − 1, or y = −1. Then, since x = −y, we must have x = 1. Therefore, f has a complex derivative
at (x, y) = (1, −1), or z = 1 − i.
For any region Ω ⊆ C, we define the linear functional ∂ : H(Ω) → C by ∂ = 21 ∂x ∂ ∂
− i ∂y , and recall that, if
f ∈ H(Ω), then the derivative of f is given by f 0 (z) = (∂f )(z), z ∈ Ω. In the present case,
∂f ∂f
= 2x + y + 1 + iy, = x + i(x − 2y − 1).
∂x ∂y
Therefore, ∂f (x + iy) = 21 [(2x + y + 1 + iy) − i(x + i(x − 2y − 1))] = 12 [(3x − y) + i(y − x)], and finally,
1
f 0 (1 − i) = (4 − 2i) = 2 − i.
2
t
u
42
2.2 1991 November 21 2 COMPLEX ANALYSIS
2. (a) Prove that any nonconstant polynomial with complex coefficients has at least one root.
(b) From (a) it follows that every nonconstant polynomial P has the factorization
N
Y
P (z) = a (z − λn ),
n=1
where a and each root λn are complex constants. Prove that if P has only real coefficients, then P has a factorization
K
Y M
Y
P (z) = a (z − rk ) (z 2 − bm z + cm ),
k=1 m=1
Rπ 1
Solution: Let I = 0 5+3 cos θ
dθ. Note that cos θ is an even function (i.e., cos(−θ) = cos θ), so
Z π
1
2I = dθ.
−π 5 + 3 cos θ
For z = eiθ ,
eiθ + e−iθ 1 1
cos θ = = (z + ),
2 2 z
and dz = ieiθ dθ, from which it follows that
Z
1 dz
2I = 3 1
|z|=1 5+ 2 (z + z)
iz
Z
1 dz
= 3 2
i |z|=1 5z + 2 (z + 1)
Z
2 dz
= 10 .
3i |z|=1 z2 + 3 z +1
Let p(z) = z 2 + 103 z + 1. Then the roots of p(z) are z1 = −1/3 and z2 = −3. Only z1 = −1/3 is inside the circle
|z| = 1, so the residue theorem implies
2 1
2I = · 2πi · Res , z1 .
3i p(z)
Now,
1 1
= ,
p(z) (z − z1 )(z − z2 )
43
2.2 1991 November 21 2 COMPLEX ANALYSIS
which implies
1 1 1 3
Res , z1 = lim = 1 = .
p(z) z→z1 z − z2 − 3 − (−3) 8
Therefore,
2 3 π
2I = · 2πi · = ,
3i 8 2
π
so I = 4. t
u
4. (a) Explain how to map an infinite strip (i.e., the region strictly between two parallel lines) onto the unit disk by a
one-to-one conformal mapping.
(b) Two circles lie outside one another except for common point of tangency. Explain how to map the region
exterior to both circles (including the point at infinity) onto an infinite strip by a one-to-one conformal mapping.
SECTION B
(Do 3 of the 4 problems.)
5.37 Suppose that f is analytic in the annulus 1 < |z| < 2, and that there exists a sequence of polynomials converging
to f uniformly on every compact subset of this annulus. Show that f has an analytic extension to all of the disk
|z| < 2.
Solution: Note that the function f , being holomorphic in the annulus 1 < |z| < 2, has Laurent series representa-
tion
∞
X
f (z) = an (z − z0 )n ,
n=−∞
converging locally uniformly for 1 < |z| < 2, where z0 is any point in the disk |z| < 2. I claim that an = 0 for all
negative integers n. To see this, first recall the formula for the coefficients in the Laurent series,
Z
1 f (z)
an = dz, (n ∈ Z; 1 < R < 2).
2πi |z|=R (z − z0 )n+1
Let {pm } be the sequence
R of polynomials mentioned in the problem statement. Of course, pm ∈ H(C), so Cauchy’s
theorem implies |z|=R pm (z) dz = 0, and, more generally,
Z
pm (z)(z − z0 )−n−1 dz = 0, (n = −1, −2, . . . ).
|z|=R
Therefore,
Z Z
1
f (z) pm (z)
|an | = dz − dz
|z|=R (z − z0 )n+1
2π (z − z )n+1
|z|=R 0
|f (z) − pm (z)|
Z
1
≤ |dz|. (35)
2π |z|=R |z − z0 |n+1
P∞ pm → f uniformly
Finally,
n
on |z| = R, so (35) implies |an | = 0 for n = −1, −2, . . . . This proves that f (z) =
n=0 an (z − z0 ) , converging locally uniformly in |z| < 2. Whence f ∈ H(|z| < 2). t
u
37 See also: April ’96 (8).
44
2.2 1991 November 21 2 COMPLEX ANALYSIS
6. Let f be analytic in |z| < 2, with the only zeros of f being the distinct points a1 , a2 , . . . , an , of multiplicities
m1 , m2 , . . . , mn , respectively, and with each aj lying in the disk |z| < 1. Given that g is analytic in |z| < 2, what
is
f 0 (z)g(z)
Z
dz ?
|z|=1 f (z)
(Verify your answer.)
7. Let {fn } be a sequence of analytic functions in the unit disk D, and suppose there exists a positive constant M
such that Z
|fn (z)| |dz| ≤ M
C
for each fn and for every circle C lying in D. Prove that {fn } has a subsequence converging uniformly on compact
subsets of D.
Solution: We must show that F = {fn } is a normal family. If we can prove that F is a locally bounded family
of holomorphic functions – that is, F ⊂ H(D) and, for any compact set K ⊂ D, there is an MK > 0 such that
|fn (z)| ≤ MK for all z ∈ K and all n = 1, 2, . . . – then the Montel theorem (corollary 2.2) will give the desired
result.
To show F is locally bounded, it is equivalent to show that, for each point zα ∈ D, there is a number Mα and a
neighborhood B(zα , rα ) ⊂ D such that |fn (z)| ≤ Mα for all z ∈ B(zα , rα ) and all n = 1, 2, . . .. (Why is this
equivalent?)38 So, fix zα ∈ D. Let Rα > 0 be such that B̄(zα , Rα ) = {z ∈ C : |z − zα | ≤ Rα } ⊂ D. Then, for
any z ∈ B(zα , Rα /2), Cauchy’s formula gives
|fn (ζ)|
Z
1
|fn (z)| ≤ |dζ|
2π |ζ−zα |=Rα |ζ − z|
Z
1 1
≤ |fn (ζ)| |dζ|
2π Rα /2 |ζ−zα |=Rα
M
≤ .
πRα
The second inequality holds Rsince |ζ − zα | = Rα and |z − zα | < Rα /2 imply |ζ − z| > Rα /2. The last inequality
M
follows from the hypothesis C |fn (z)| |dz| ≤ M for any circle C in D. Letting Mα = πR α
, and rα = Rα /2, we
have |fn (z)| ≤ Mα for all z ∈ B(zα , rα ) and all n = 1, 2, . . . , as desired. t
u
38 Answer: If K ⊂ D is compact, we could select a finite covering of K by such neighborhoods B(zαj , rαj ) (j = 1, . . . , J) and then
|fn (z)| ≤ maxj Mαj , MK , for all z ∈ K and n = 1, 2, . . . .
45
2.2 1991 November 21 2 COMPLEX ANALYSIS
SECTION C
(Do 2 of the 3 problems.)
9. Let X be a Hausdorff topological space, let K be a compact subset of X, and let x be a point of X not in K. Show
that there exist open sets U and V such that
K ⊂ U, x ∈ V, U ∩ V = ∅.
10. A topological space X satisfies the second axiom of countability. Prove that every open cover of X has a countable
subcover.
46
2.3 1995 April 10 2 COMPLEX ANALYSIS
(a) Suppose that |f (z)| ≤ A|z|N + B for all z ∈ C where A, B are finite constants. Show that f is a polynomial
of degree N or less.
(b) Suppose that f satisfies the condition: |f (zn )| → ∞ whenever |zn | → ∞. Show that f is a polynomial.
Again, this holds for every R > 0. Thus, for any n > N and > 0, taking R large enough forces |an | <
(n = NP+ 1, N + 2, . . . ). Since was arbitrary, we have an = 0 for all n = N + 1, N + 2, . . . . Therefore,
N
f (z) = n=0 an z n . t
u
(b) We give three different proofs. The first is the shortest, but relies on the heaviest machinery.
Proof 1: If we take for granted that any transcendental (i.e. non-polynomial) entire function has an essential singu-
larity at infinity, then the Casorati-Weierstrass theorem (see 3 of Nov. ’01) implies that, for any complex number
w, there is a sequence {zn } with zn → ∞ and f (zn ) → w as n → ∞. Since this contradicts the given hypotheses,
f (z) cannot be a transcendental function. That is, f (z) must be a polynomial. t
u
be the Laurent series expansion of the function g about z = 0. Suppose the pole at z = 0 is of order m. Clearly m
is finite, by the criterion for a pole (i.e., limz→0 f (1/z) = ∞). Therefore, we can write
∞
X
g(z) = f (1/z) = bn z n = b−m z −m + b−m+1 z −m+1 + · · · b−1 z −1 + b0 + b1 z + · · · (36)
n=−m
P∞
Now f is entire, so it has the form f (z) = n=0 an z n , which implies that f (1/z) = a0 + a1 z −1 + a2 z −2 + · · · .
Compared with (36),
a0 + a1 z −1 + a2 z −2 + · · · = f (1/z) = b−m z −m + b−m+1 z −m+1 + · · · b−1 z −1 + b0 + b1 z + · · ·
That is, 0 = am+1 = am+2 = · · · , so
m
X
f (z) = an z n .
n=0
47
2.3 1995 April 10 2 COMPLEX ANALYSIS
Proof 3: By the hypotheses, there is an R > 0 such that |f (z)| > 0 for all |z| > R. Therefore, the zeros of f are
confined to a closed disk DR = {|z| ≤ R}. Since the zeros of f are isolated, there are at most finitely many of
them in any compact subset of C. In particular, DR contains only finitely many zeros of f . This proves that f has
only finitely many zeros in C.
Let {α1 , . . . , αN } be the collections of all zeros of f (counting multiplicities). Consider the function
f (z)
g(z) = . (37)
(z − α1 ) · · · (z − αN )
This is defined and holomorphic in C \ {α1 , . . . , αN }, but the αi ’s are removable singularities, so g(z) is a nonzero
entire function. In particular, for any R > 0,
for some > 0. Therefore, 1/g is a bounded entire function, hence constant, by Liouville’s theorem. What we
have shown is that the left hand side of (37) is constant, and this proves that f (z) is a polynomial. t
u
Remark: A nice corollary to part (b) is the following:
Corollary 2.1 If f is an injective entire function, then f (z) = az + b for some constants a and b.
P∞
3. Let39 f (z) = n=0 an z n be analytic and one-to-one on |z| < 1. Suppose that |f (z)| < 1 for all |z| < 1.
(a) Prove that
∞
X
n|an |2 ≤ 1.
n=1
48
2.3 1995 April 10 2 COMPLEX ANALYSIS
Proof: The area of the image of D under f is the integral over D of the Jacobian of f . That is,
ZZ
A= |f 0 (z)|2 dx dy.
D
0
Compute |f (z)| by differentiating the power series of f (z) term by term,
∞
X
f 0 (z) = nan z n−1 .
n=1
Letting z = reiθ ,
∞
X Z 1 Z 2π
A= m n am an rm+n−1 ei(m−n)θ dθ dr.
m,n=1 0 0
ikθ
Now, for all k 6= 0, the integral of e over 0 ≤ θ < 2π vanishes, so the only non-vanishing terms of the series are those for
which m = n. That is,
∞
X Z 1 ∞
X
A = 2π n2 |an |2 r2n−1 dr = π n2 |an |2 . (38)
n=1 0 n=1
u
t
To apply this theorem to the problem at hand, note that the hypotheses of the problem imply that f maps the unit
disk bijectively onto its range f (D), which is contained inside D and, therefore, has area less or equal to π. This
and (38) together imply
X∞
π≥π n2 |an |2 ,
n=1
which gives the desired inequality. t
u
(b) The identity function f (z) = z satisfies the given hypotheses and its power series expansion has coefficients
a1 = 1 and 0 = a0 = a2 = a3 = · · · . This shows that the upper bound of 1 is obtained and is therefore the best
possible. t
u
4. Let u(z) be a nonconstant, real valued, harmonic function on C. Prove there exists a sequence {zn } with |zn | → ∞
for which u(zn ) → 0.
Solution: Suppose, by way of contradiction, that there is no such sequence. Then u(z) is bounded away from zero
for all z in some neighborhood of infinity, say, {|z| > R}, for some R > 0. Since u is continuous, either u(z) > 0
for all |z| > R, or u(z) < 0 for all |z| > R. Assume without loss of generality that u(z) > 0 for all |z| > R.
Since u is continuous on the compact set {|z| ≤ R}, it attains its minimum on that set. Thus, there is an M > 0
such that −M ≤ u(z) for all |z| ≤ R. Consider the function U (z) = u(z) + M . By construction, U (z) ≥ 0 for
all z ∈ C, and U is harmonic in C. But this implies U (z), hence u(z), must be constant.40 This contradicts the
hypothesis that u(z) be nonconstant and completes the proof. t
u
40 Recall problem 1(b), April ’89, where we proved that a real valued harmonic function u(z) satisfying u(z) ≥ 0 for all z ∈ C must be constant.
49
2.3 1995 April 10 2 COMPLEX ANALYSIS
Solution: See the solution to (3) of April ’89, or (2) of November ’06.
6.42 Suppose f (z) is a holomorphic function on the unit disk which satisfies:
This is a holomorphic bijection of the unit disk, with φ(1/2) = 0. Therefore, g = ϕ ◦ f satisfies the hypotheses of
Schwarz’s lemma. In particular, |g 0 (0)| ≤ 1. Since g 0 (z) = ϕ0 (f (z))f 0 (z), we have
Now,
z 1 1
0 − 1− 2 + 2 2 −z
ϕ (z) = .
z 2
1− 2
41 This problem also appears in April ’89 (3) and November ’06 (2).
42 A very similar problem appeared in November ’06 (3).
50
2.4 2001 November 26 2 COMPLEX ANALYSIS
1. (a) Suppose that f (z) = f (x + iy) = u(x, y) + iv(x, y) where u and v are C 1 functions defined on a neighborhood
of the closure of a bounded region G ⊂ C with boundary which is parametrized by a properly R oriented, piecewise
C 1 curve γ. If u and v obey the Cauchy-Riemann equations, show that Cauchy’s theorem γ f (z) dz = 0 follows
from Green’s theorem, namely
Z Z
∂Q ∂P
P dx + Q dy = − dx dy for C 1 functions P and Q. (40)
γ G ∂x ∂y
(b) Suppose that we do not assume that u and v are C 1 , but merely that u and v are continuous in G and
f (z) − f (z0 )
f 0 (z0 ) = lim
z→z0 z − z0
exists at some (possibly only one!) point z0 ∈ G. Show that given any > 0, we can find a triangular region ∆
containing z0 , such that if T is the boundary curve of ∆, then
Z
f (z) dz = 1 L2 ,
2
T
f (z) dz = [u(x, y) + iv(x, y)] d(x + iy) = u(x, y) dx − v(x, y) dy + i[v(x, y) dx + u(x, y) dy].
t
u
51
2.4 2001 November 26 2 COMPLEX ANALYSIS
(b) Suppose u and v are continuous and f 0 (z) exists at the point z0 ∈ G. Then, for any > 0 there is a δ > 0 such
that B(z0 , δ) ⊆ G, and
f (z0 ) − f (z) − f (z0 ) < , for all |z − z0 | < δ.
0
z − z0
Pick a triangular region ∆ ⊂ B(z0 , δ) with z0 ∈ ∆, and let T be the boundary. Define
Then, by Cauchy’s theorem (part (a)), T [f (z0 ) + f 0 (z0 )(z − z0 )] dz = 0, whence T R(z) dz = T f (z) dz.
R R R
where L denotes the length of the perimeter of ∆ (i.e., the length of T ), and r denotes the length of one side of T ,
which must, of course, be greater than |z − z0 | for all z ∈ T . Also, the length of one side of ∆ is surely less than
half the length of the perimeter (i.e., r < L/2). Therefore,
Z
f (z) dz ≤ 1 L2 .
2
T
t
u
2. Give two quite different proofs of the fundamental theorem of algebra, that if a polynomial with complex coeffi-
cients has no complex zero, then it is constant. You may use independent, well-known theorems and principles
such as Liouville’s theorem, the argument principle, the maximum principle, Rouché’s theorem, and/or the open
mapping theorem.
Solution: In the two proofs below, we begin by supposing p(z) is not constant and thus has the form p(z) =
a0 + a1 z + a2 z 2 + · · · + an z n with an 6= 0 for some n ≥ 1. Both proofs also rely on the following observation:
If {aj }nj=0 ⊂ C with an 6= 0, then for all 1 ≤ R ≤ |z| < ∞,
z + · · · + an−1 z −1 ≤ |a0 | |z|−n + · · · + |an−1 | |z|−1
a0 −n
an an |an | |an |
|aj | −1
≤ n max |z|
0≤j<n |an |
|aj | −1
≤ n max R .
0≤j<n |an |
52
2.4 2001 November 26 2 COMPLEX ANALYSIS
Proof 1: Assume p(z) = a0 +a1 z+· · ·+an z n with an 6= 0 for some n ≥ 1, and let R = 1+2 n max0≤j<n |aj |/|an |,
as above. We claim that
|p(z) − an z n | < |an z n |, for all |z| = R. (44)
To see this, check that
|p(z) − an z n | a0 −n
an−1 −1
= z + ··· + z < 1, for all |z| = R.
|an z n | an an
In fact, (43) implies that the sum is no greater than 1/2, for all |z| ≥ R, which is more than we need. Now (44)
and Rouché’s theorem imply that the function g(z) = an z n has the same number of zeros in |z| < R as does the
function p(z). Clearly z = 0 is a zero of g(z) (of multiplicity n). Therefore, p(z) has a zero in |z| < R. t
u
and (45) becomes |p(z)| ≥ |an ||z|n /2, for all |z| ≥ R. Therefore, the function f (z) , 1/p(z) satisfies
1 2
|f (z)| = ≤ , for all |z| ≥ R.
|p(z)| |an ||z|n
Now suppose p(z) has no complex zero. Then f (z) ∈ H(C). In particular, f (z) is continuous, hence bounded
on the compact set |z| ≤ R. Therefore f (z) is a bounded entire function, so, by Liouville’s theorem, it must be
constant, but then p(z) must be constant. This contradicts our initial assumption and proves that p(z) must have a
complex zero. t
u
In fact, we have proved a bit more: If p(z) = a0 + a1 z + · · · + an z n with an 6= 0 for some n ≥ 1, and R is
either 1 or R = 2 n max0≤j<n |aj |/|an | (whichever is greater), then p(z) vanishes for some |z| < R, while for all
|z| ≥ R, |p(z)| is bounded from below by |an ||z|n /2. Thus all the zeros of p(z) are contained in the disk |z| < R.
53
2.4 2001 November 26 2 COMPLEX ANALYSIS
3. (a) State and prove the Casorati-Weierstrass theorem concerning the image of any punctured disk about a certain
type of isolated singularity of an analytic function. You may use the fact that if a function g is analytic and bounded
in the neighborhood of a point z0 , then g has a removable singularity at z0 .
(b) Verify the Casorati-Weierstrass theorem directly for a specific analytic function of your choice, with a suitable
singularity.
Solution:
Proof: Fix w0 ∈ C and suppose there is no sequence {zn } ⊂ G approaching z0 such that f (zn ) → w0 as n → ∞.
Then there is a punctured disk D̄0 , B(z0 , ) \ {z0 } ⊂ G such that |f (z) − w0 | > δ > 0 for all z ∈ D̄0 . Define
g(z) = 1/(f (z) − w0 ) on D0 . Then
1 1
lim sup |g(z)| = lim sup ≤ < ∞.
z→z0 z→z0 |f (z) − w0 | δ
z∈D0 z∈D0
Thus, by lemma 2.1 (Nov. ’06, prob. 1), z0 is a removable singularity of g(z). Therefore, g(z) ∈ H(B(z0 , )). In
particular, g is continuous and non-zero at z = z0 , so it is non-zero in a neighborhood B(z0 , 0 ) of z0 . Therefore,
f (z) − w0 = 1/g(z) is holomorphic in B(z0 , 0 ), which implies that the singularity of f (z) at z = z0 is removable.
This contradiction proves the theorem. t
u
(b) Consider f (z) = ez . This function has an essential singularity at ∞, and, for every horizontal strip,
Sα = {x + iy : x ∈ R, α ≤ y < α + 2π},
of width 2π, f (z) maps Sα onto C \ {0}. (In particular, f (z) comes arbitrarily close to every w ∈ C.) Now let
NR = {z ∈ C : |z| > R} be any neighborhood of ∞. There is clearly a strip Sα contained in NR (e.g., with
α = R + 1). Therefore, f (z) = ez maps points in NR to points arbitrarily close (in fact equal when w 6= 0) to all
points w ∈ C. t
u
54
2.4 2001 November 26 2 COMPLEX ANALYSIS
4. (a) Define γ : [0, 2π] → C by γ(t) = sin(2t) + 2i sin(t). This isR a parametrization of a “figure 8” curve, traced
out in a regular fashion. Find a meromorphic function f such that γ f (z) dz = 1. Be careful with minus signs and
factors of 2πi.
(b) From the theory of Laurent expansions, it is known that there are constants an such that, for 1 < |z| < 4,
∞
1 X
= an z n .
z 2 − 5z + 4 n=−∞
Solution: (a) Let G be the region whose boundary is the curve γ, and suppose f (z) ∈ H(C) except for isolated
singularities at the points {z1 , . . . , zn } ⊂ G. By the residue theorem,
Z Xn
f (z) dz = 2πi Res(f, zj ).
γ j=1
Therefore, if we were to find a function f (z) ∈ H(C) with exactly two isolated singularities in G (e.g., at z1 = i
and z2 = −i), and such that Res(f, zj ) = −i4π , then
−i −i
Z X
f (z) dz = 2πi Res(f, zj ) = 2πi + = 1,
γ j
4π 4π
55
2.4 2001 November 26 2 COMPLEX ANALYSIS
5. (a) Suppose that f is analytic on a region G ⊂ C and {z ∈ C : |z − a| ≤ R} ⊂ G. Show that if |f (z)| ≤ M for
all z with |z − a| = R, then for any w1 , w2 ∈ {z ∈ C : |z − a| ≤ 12 R}, we have
4M
|f (w1 ) − f (w2 )| ≤ |w1 − w2 |
R
(b) Explain how Part (a) can be used with the Arzela-Ascoli theorem to prove Montel’s theorem asserting the
normality of any locally bounded family F of analytic functions on a region G.
Solution: (a) By Cauchy’s formula (A.9), if w is any point in the disk |w − a| < R, then
Z
1 f (ζ)
f (w) = dζ.
2πi |ζ−a|=R ζ − w
In particular, if w1 , w2 are any two points inside the “half-disk” |w − a| < R/2 (see figure 1), then
Z
1 f (ζ) f (ζ)
f (w1 ) − f (w2 ) = − dζ
2πi |ζ−a|=R ζ − w1 ζ − w2
w1 − w2
Z
f (ζ)
= dζ.
2πi |ζ−a|=R (ζ − w1 )(ζ − w2 )
W2
. R/2
.
a
. .
w
W1
.
ζ
Figure 1: Note that, if ζ is any point on the outer radius, |ζ − a| = R, and if w is any point in the disk |w − a| < R/2,
then |ζ − w| > R/2.
Now, for all ζ on the outer radius in figure 1, it is clear that |ζ − w1 | > R/2 and |ζ − w2 | > R/2. Therefore,
|w1 − w2 | |f (ζ)|
Z
|f (w1 ) − f (w2 )| ≤ 2
|dζ|
2π |ζ−a|=R (R/2)
56
2.4 2001 November 26 2 COMPLEX ANALYSIS
(b)46 We must explain how part (a) can be used with the Arzela-Ascoli theorem to prove Montel’s theorem asserting
the normality of any locally bounded family F ⊂ H(G).
Theorem 2.3 (Arzela-Ascoli) Let F ⊂ C(G, S) be a family of continuous functions from an open set G ⊆ C into
a metric space (S, d). Then F is a normal family if and only if
(i) F is equicontinuous on each compact subset of G, and
(ii) for each z ∈ G, the set {f (z) : f ∈ F} is contained in a compact subset of S.
Recall that a family F of functions is called locally bounded on G iff for all compact K ⊂ G there is a constant
MK such that |f (z)| ≤ MK for all f ∈ F and z ∈ K.
Corollary 2.2 (little Montel theorem) Assume the set-up of the Arzela-Ascoli theorem, and suppose S = C and
F ⊂ H(G). Then F is a normal family if and only if it is locally bounded.
Because of the way the problem is stated, it is probably enough to prove just one direction of Montel’s theorem;
i.e., local boundedness implies normality. For a proof of the other direction, see Conway [3], page 153.
Let S = C in the Arzela-Ascoli theorem. In that case, K ⊂ C is compact if and only if K is closed and bounded.
Therefore, if F is locally bounded, condition (ii) of the theorem is clearly satisfied. To check that local boundedness
also implies condition (i), we use part (a).
It suffices (why?)47 to prove that for any a ∈ G there is a neighborhood B(a, r) in which F is equicontinuous with
equicontinuity constant48 δ. So, fix a ∈ G and > 0, and let B̄(a, R) ⊂ G. Then, by local boundedness, there is
an M > 0 such that |f (z)| ≤ M for all z ∈ B̄(a, R) and all f ∈ F. Therefore, by part (a),
4M
|f (w1 ) − f (w2 )| ≤ |w1 − w2 |, for all w1 , w2 ∈ {|w − a| ≤ R/2}.
R
R
If δ = 4M and r = R/2, then |f (w1 ) − f (w2 )| < whenever w1 , w2 ∈ B(a, r) and |w1 − w2 | < δ. Therefore,
F is equicontinuous in B(a, r). We have thus shown that local boundedness implies conditions (i) and (ii) of the
Arzela-Ascoli theorem and thereby implies normality. t
u
46 The best treatment of normal families and the Arzela-Ascoli theorem is Ahlfors [1].
47 Answer: If, instead of a single point a ∈ G, we are given a compact set K ⊂ G, then there is a finite cover {B(aj , rj ) : j = 1, . . . , n} by
such neighborhoods with equicontinuity constants δ1 , . . . , δn . Then, δ = minj δj , is a single equicontinuity constant that works for all of K.
48 The careful reader might note the distinction between this type of “uniform” equicontinuity, which is taken for granted in complex analysis
texts, e.g., Ahlfors [1] and Rudin [8], and the “pointwise” equicontinuity discussed in topology books like the one by Munkres [5]. To make peace
with this apparent discrepancy, check that the two notions coincide when the set on which a family of functions is declared equicontinuous is
compact.
57
2.5 2004 April 19 2 COMPLEX ANALYSIS
Notation. D(z0 , R) = {z ∈ C : |z − z0 | < R} R > 0. For an open set G ⊆ C, H(G) will denote the set of
functions which are analytic in G.
1. Let γ be a rectifiable curve and let ϕ ∈ C(γ ∗ ). (That is, ϕ is a continuous complex function defined on the trace,
γ ∗ , of γ.)
R ϕ(w)
Let F (z) = γ (w−z) dw, z ∈ C \ γ ∗ .
R ϕ(w)
Prove that F 0 (z) = γ (w−z) 2 dw, z ∈ C \ γ ∗ , without using Leibniz’s Rule.
Solution: I know of two ways to prove this. One can be found in Rudin’s Functional Analysis ([9], p. 250). The
other goes as follows:49
By the Hadamard factorization theorem (see, e.g., [11]), an entire function f with zeros at {an } ⊂ C \ {0} and m
zeros at z = 0 has the form
∞
P (z) m
Y z
f (z) = e z 1− ez/an , (46)
n=0
a n
where P (z) is a polynomial of degree ρ, the “order of growth,” and k ≤ ρ < k + 1. For the function in question,
we have |f (z)| > 0 so {an } = ∅ and m = 0. Also, since |f (z)| ≤ e|z| , the order of growth is ρ = 1, which implies
that P (z) is a polynomial of degree 1. Therefore, (46) takes the simple form,
f (z) = eBz+C ,
for some constants B, C. We are given that f (0) = 1 and f 0 (0) = 0, so eC = 1, and f 0 (0) = BeC = B = 0. It
follows that f (z) = 1. t
u
49 This proof came to me by sheer lucky coincidence – I worked on this exam after having just read a beautiful treatment of the Hadamard
factorization theorem in Stein and Sharkachi’s new book [11]. If you need convincing that this theorem is worth studying, take a look at how easily
it disposes of this otherwise challenging exam problem. Also, Stein and Sharkachi seem to have set things up just right, so that the theorem is very
easy to apply.
58
2.6 2006 November 13 2 COMPLEX ANALYSIS
1. (a) Suppose that f ∈ H(D \ {0}) and that |f (z)| < 1 for all 0 < |z| < 1. Prove that there is F ∈ H(D) with
F (z) = f (z) for all z ∈ D \ {0}.
(b) State a general theorem about isolated singularities for holomorphic functions.
Solution:
Lemma 2.1 Suppose G ⊂ C is an open set and f is holomorphic in G except for an isolated singularity at z0 ∈ G.
If
lim sup |f (z)| < ∞,
z→z0
z∈G
Proof: Under the stated hypotheses, there is an > 0 and an M > 0 such that the deleted neighborhood B o ,
{z ∈ C : 0 < |z − z0 | ≤ } is contained in G and such that |f (z)| ≤ M for all z ∈ B o .
Let
∞
X
f (z) = an (z − z0 )n
n=−∞
o
be the Laurent expansion of f for z ∈ B , where
Z
1 f (ζ)
an = dζ.
2πi C (ζ − z0 )n+1
ζ = z0 + eiθ ⇒ dζ = i eiθ dθ
Thus, f ∈ H(G). t
u
The lemma solves part (a) and is also an example of a general theorem about isolated singularities of holomorphic
functions, so it answers part (b). Here is another answer to part (b):
59
2.6 2006 November 13 2 COMPLEX ANALYSIS
Theorem 2.4 (Criterion for a pole) Let G ⊂ C be open. and suppose f (z) is holomorphic for all z ∈ G except
for an isolated singularity at z = z0 ∈ G. Then
(i) z0 is a pole of f if and only if limz→z0 |f (z)| = ∞;
(ii) if m > 0 is the smallest integer such that limz→z0 |(z − z0 )m f (z)| remains bounded, then z0 is a pole of
order m.
t
u
2. (a) Explicitly construct, through a sequence of mappings, a one-to-one holomorphic function mapping the disk D
onto the half disk D ∩ Π+ .
(b) State a general theorem concerning one-to-one mappings of D onto domains Ω ⊂ C.
(b) (Riemann)51 Let Ω ⊂ C be a simply connected region such that Ω 6= C. Then Ω is conformally equivalent
to D. That is, there is a conformal bijection, φ, of Ω onto the unit disk. Moreover, if we specify that a particular
z0 ∈ Ω must be mapped to 0, and we specify the value of arg φ(z0 ), then the conformal mapping is unique.
50 This problem also appears in April ’89 (3) and April ’95 (5).
51 Look up the precise statement of the Riemann mapping theorem.
60
2.6 2006 November 13 2 COMPLEX ANALYSIS
that φ0 (0) = −2i. Whence, g 0 (0) = f 0 (φ(0))φ0 (0) = f 0 (i)(−2i), which implies 1 ≥ |g 0 (0)| = 2|f 0 (i)|. Therefore
|f 0 (i)| ≤ 1/2. t
u
(i) f ∈ H(Π+ ∪ Π− )
(ii) f (z̄) = f (z) all z ∈ C.
Prove that f is an entire function.
61
2.6 2006 November 13 2 COMPLEX ANALYSIS
5. (a) Define what it means for a family F ⊂ H(Ω) to be a normal family. State the fundamental theorem for normal
families.
(b) Suppose f ∈ H(Π+ ) and |f (z)| < 1 all z ∈ Π+ . Suppose further that
Γ = {z ∈ Π+ : |Rez| ≤ Imz}.
Solution: (a) Let Ω be an open subset of the plane. A family F of functions in Ω is called a normal family if
every sequence of functions in F has a subsequence which converges locally uniformly in Ω. (The same definition
applies when the family F happens to be contained in H(Ω).)53
I think of the Arzela-Ascoli theorem as the fundamental theorem for normal families. However, since the examiners
asked specifically about the special case when F is a family of holomorphic functions, they probably had in mind
the version of Montel’s theorem stated below, which is an easy consequence of the Arzela-Ascoli theorem.54
Theorem 2.5 (Arzela-Ascoli) Let F ⊂ C(Ω, S) be a family of continuous functions from an open set Ω ⊆ C into
a metric space (S, d). Then F is a normal family if and only if
(i) F is equicontinuous on each compact subset of Ω, and
(ii) for each z ∈ Ω, the set {f (z) : f ∈ F} is contained in a compact subset of S.
Recall that a family F of functions is called locally bounded on Ω iff for all compact K ⊂ Ω there is a constant
MK such that |f (z)| ≤ MK for all f ∈ F and z ∈ K.
Corollary 2.3 (little Montel theorem55 ) Assume the set-up of the Arzela-Ascoli theorem, and suppose S = C
and F ⊂ H(Ω). Then F is a normal family if and only if it is locally bounded.
(b) Fix a sequence {zn } ⊂ Γ with zn → 0 as n → ∞. We must prove f (zn ) → 0. Define fn (z) = f (|zn |z).
Then, since z ∈ Γ ⇒ |zn |z ∈ Γ, we have
Therefore, F is a normal family in Γ. Also note that each fn is holomorphic in Γ since f (tz) ∈ H(Γ) for any
constant t > 0. Thus, F is a normal family of holomorphic functions in Γ.
Let g be a normal limit of {fn }; i.e., there is some subsequence nk such that, as k → ∞, fnk → g locally uniformly
in Γ.
Consider the point z = i. Since f (it) → 0 as t ↓ 0,
In fact, for any point z = iy with y > 0, we have g(z) = 0. Since g is holomorphic in Γ, the identity theorem
implies that g ≡ 0 in Γ.
53 Despite the wording of the problem, the family need not satisfy F ⊂ H(Ω) in order to be normal.
54 Problem 5 (b) of the November 2001 exam asks for a proof of Montel’s theorem using the Arzela-Ascoli theorem.
62
2.6 2006 November 13 2 COMPLEX ANALYSIS
Next, consider
zn zn
fn =f |zn | = f (zn ). (47)
|zn | |zn |
The numbers zn /|zn | lie in the compact set γ = {z ∈ Γ : |z| = 1}. Since fnk → g uniformly in γ, for any > 0,
there is a K > 0 such that |fnk (z) − g(z)| = |fnk (z)| < , for all k ≥ K and all z ∈ γ. That is,
Remark: In the last paragraph, we made use of the fact that a sequence converges to zero iff any subsequence has,
in turn, a further subsequence that converges to zero. An alternative concluding argument that doesn’t rely on this
result, but proceeds by way of contradiction, runs as follows: Assume we have already shown limk→∞ f (znk ) = 0,
as above, and suppose f (zn ) does not converge to 0 as n → ∞. Then there is a δ > 0 and a subsequence {znj }
such that |f (znj )| > δ for all j ∈ N. Relabel this subsequence {zn }. Then {f (zn )} is itself a normal family and
we can repeat the argument above to get a further subsequence {znk } with limk→∞ f (znk ) = 0. This contradicts
the assumption that |f (zn )| > δ for all n ∈ N. Therefore, f (zn ) → 0, as desired.
63
2.7 2007 April 16 2 COMPLEX ANALYSIS
Solution:
1 1−z+z 1 1
f (z) = = = − .
z(z − 1) z(z − 1) z−1 z
Let u = z + 2. Then z = u − 2 and A = {u ∈ C : 2 < |u| < 3}. Therefore,
∞ n
1 1 1 1 1X 2
= = =
z u−2 u (1 − 2/u) u n=0 u
converges for |u| > 2 and, substituting u = z + 2 in the last expression, we have
∞ n X ∞ −1 n+1
1 1 X 2 X 1
= = 2n (z + 2)−n−1 = (z + 2)n ,
z z + 2 n=0 z + 2 n=0 n=−∞
2
converges for |u| < 3 and, substituting u = z + 2 in the last expression, we have
∞ n+1
1 X 1
=− (z + 2)n ,
z−1 n=0
3
for z ∈ A. t
u
2. (i) Prove: Suppose that for all z ∈ D and all n ∈ N we have that fn is holomorphic in D and |fn (z)| < 1. Also
suppose that limn→∞ Imfn (x) = 0 for all x ∈ (−1, 0). Then limn→∞ Imfn (1/2) = 0.
(ii) Give a complete statement of the convergence theorem that you use in part (2i).
Solution: (i)
(ii)
64
2.7 2007 April 16 2 COMPLEX ANALYSIS
R∞ 1
3. Use the residue theorem to evaluate −∞ 1+x4
dx.
which reveals that the poles of f in the upper half plane are at eiπ/4 and ei3π/4 . Let ΓR be the contour shown in
the figure below; i.e., ΓR = g(R) ∪ [−R, R], where R > 1. Then, by the residue theorem,
Z h i
f (z)dz = 2πi Res(f, eiπ/4 ) + Res(f, ei3π/4 ) . (48)
ΓR
The other two poles of f are in the lower half-plane, so both eiπ/4 and ei3π/4 are simple poles. Therefore,
1 1
Res(f, eiπ/4 ) = lim (z − eiπ/4 )f (z) = = − ie−iπ/4 ,
z→eiπ/4 2eiπ/4 (eiπ/4 − ei3π/4 )(eiπ/4 + ei3π/4 ) 4
1 1
Res(f, ei3π/4 ) = lim (z − ei3π/4 )f (z) = = ie−i3π/4 .
z→ei3π/4 2ei3π/4 (ei3π/4 − eiπ/4 )(ei3π/4 + eiπ/4 ) 4
Plugging these into (48) yields
Z
1 −i3π/4 1 −iπ/4 π π
f (z)dz = 2πi ie − ie = (e−iπ/4 − e−i3π/4 ) = √ .
ΓR 4 4 2 2
It remains to show Z
lim f (z)dz = 0.
R→∞ g(R)
t
u
65
2.7 2007 April 16 2 COMPLEX ANALYSIS
4. Present a function f that has all of the following properties: (i) f is one-to-one and holomorphic on D. (ii)
{f (z) : z ∈ D} = {w ∈ C : Rew > 0 and Imw > 0}. (iii) f (0) = 1 + i.
t
u
(ii) In part (i) I used Schwarz’s lemma, a complete statement of which appears in the appendix (theorem A.17).
This is sometimes thought of as a version of the maximum modulus principle since it is such an easy corollary of
what is usually called the maximum modulus principle. Here is a complete statement of the latter:
(max modulus principle, version 1)
Suppose G ⊂ C is open and f ∈ H(G) attains its maximum modulus at some point a ∈ G. Then f is constant.
That is, if there is a point a ∈ G with |f (z)| ≤ |f (a)| for all z ∈ G, then f is constant.58
56 This is my favorite Möebius map. Not only does it map the unit disk onto the right half-plane, but also it maps the right half-plane onto the
unit disk. This feature makes φ1 an extremely useful tool for conformal mapping problems, where you’re frequently required to map half-planes to
the unit disk and vice-versa. Another nice feature of this map is that φ−1 1 = φ1 . (Of course this must be the case if φ1 is to have the first feature.)
Also note that, like all linear fractional transformations, φ1 is a holomorphic bijection of C. Therefore, if φ1 is to map the interior of the unit disk
to the right half-plane, it must also map the exterior of the unit disk to the left half-plane.
57 See Rudin [8] page 254-5 (in particular, theorem 12.4) for a nice discussion of functions of the form φ (z) = z−α . In addition to 12.4,
α 1−ᾱz
sec. 12.5 and theorem 12.6 are popular exam questions.
58 There are a couple of other versions of the maximum modulus principle you should know, though for most problems on the comprehensive
exams, the version above usually suffices. The other two versions are stated and proved clearly and concisely in Conway [3], but they also appear
as theorems A.15 and A.16 of the appendix.
66
2.7 2007 April 16 2 COMPLEX ANALYSIS
6. Prove: If G is a connected open subset of C, any two points of G can be connected by a parametric curve in G.
Solution: First, recall that if A ⊂ G ⊂ C, then A is said to be open relative to G, or simply open in G, if for any
a ∈ A there is a neighborhood B(a, ) = {z ∈ C : |z − a| < } such that B(a, ) ∩ G ⊂ A.59
Next, recall that a subset G ⊂ C is connected iff the only subsets of G that are both open and closed relative to G
are the empty set and G itself. Equivalently, if there exist non-empty disjoint subsets A, B ⊂ G that are open in G
and have the property G = A ∪ B, then G is not connected, or disconnected.60
Now, suppose G is a connected open subset of C. Fix z0 ∈ G and let Ω ⊂ G be the subset of points that can
be connected to z0 by a parametric curve in G. Since G is open, ∃B(z0 , ) ⊂ G for some > 0, and clearly
B(z0 , ) ⊂ Ω. In particular, Ω 6= ∅ . If we can show Ω is both open and closed in G, then it will follow by
connectedness that Ω = G, and the problem will be solved.
(Ω is open) Let w ∈ Ω be connected to z0 by a parametric curve γ ⊂ G. Since G is open, ∃ > 0 such that
B(w, ) ⊂ G. Clearly any w1 ∈ B(w, ) can be connected to z0 by a parametric curve (from w1 to w, then from w
to z0 via γ) that remains in G. This proves that B(w, ) ⊂ Ω, so Ω is open.
(Ω is closed) We show G \ Ω is open (and thus, in fact, empty). If z ∈ G \ Ω, then, since G is open, ∃δ > 0
such that B(z, δ) ⊂ G. We want B(z, δ) ⊂ G \ Ω. This must be true since, otherwise, there would be a point
z1 ∈ B(z, δ) ∩ Ω which could be connected to both z and z0 by parametric curves in G. But then a parametric
curve in G connecting z to z0 could be constructed, which would put z in Ω – a contradiction.
We have thus shown that Ω is both open and closed in G, as well as non-empty. Since G is connected, Ω = G. t
u
59 Forexample, the set A = [0, 1], although closed in C, is open in G = [0, 1] ∪ {2}.
60 Tosee the equivalence note that, in this case, A is open in G, as is Ac = G \ A = B, so A is both open and closed in G. Also it is instructive
to check, using either definition, that G = [0, 1] ∪ {2} is disconnected.
67
2.8 2007 November 16 2 COMPLEX ANALYSIS
1. Let G be a bounded open subset of the complex plane. Suppose f is continuous on the closure of G and analytic
on G. Suppose further that there is a constant c ≥ 0 such that |f | = c for all z on the boundary of G. Show that
either f is constant on G or f has a zero in G.
4. Exhibit a conformal mapping of the region common to the two disks |z| < 1 and |z − 1| < 1 onto the region inside
the unit circle |z| = 1.
5. Let {fn } be a sequence of functions analytic in the complex plane C, converging uniformly on compact subsets of
Cto a polynomial p of positive degree m. Prove that, if n is sufficiently large, then fn has at least m zeros (counting
multiplicities).
Do not simply refer to Hurwitz’s theorem; prove this version of it.
68
2.9 Some problems of a certain type 2 COMPLEX ANALYSIS
2. If f (z) is an injective entire function, then f (z) = az + b for some constants a and b.
3. If u(z) is a nonconstant real valued harmonic function of C, then there is a sequence {zn } ⊂ C with zn → ∞ and
u(zn ) → 0 as n → ∞.
Behavior on or near the unit circle
4. If f (z) is holomorphic in an open set containing the closed unit disk, and if f (eiθ ) is real for all θ ∈ R, then f (z)
is constant.
5. Prove or disprove: There exists a function f (z) holomorphic on the unit disk D such that |f (zn )| → ∞ whenever
{zn } ⊂ D and |zn | → 1.
6. Prove or disprove: There exists a function u(z) harmonic on the unit disk D such that |u(zn )| → ∞ whenever
{zn } ⊂ D and |zn | → 1.
Other Problems
7. If f is holomorphic in the punctured disk {0 < |z| < R} and if Ref ≤ M for some constant M , then 0 is a
removable singularity.
8. If f is holomorphic in the unit disk, with |f (z)| ≤ 1, f (0) = 0, and f (r) = f (−r) for some r ∈ (0, 1),
then 2
z − r2
|f (z)| ≤ |z|
.
1 − r2 z 2
Solutions
2. Suppose f ∈ H(C) is injective. Then f −1 is a continuous function in C which maps compact sets to compact
sets. Therefore, if {zn } ⊂ C is any sequence tending to infinity, then the image f ({zn }) cannot remain inside any
closed disk (since f −1 maps all such disks to closed bounded sets in C). Thus f (z) → ∞ whenever z → ∞. By the
previous problem, f is a polynomial. Finally, if f has degree greater than one, or if f is constant, then f would not be
injective. Therefore, f is a polynomial of degree one. t
u
69
2.9 Some problems of a certain type 2 COMPLEX ANALYSIS
5. & 6. That both of these statements are false is a corollary of the next two lemmas.
Lemma 1: If f ∈ H(D), then there is a sequence {zn } ⊂ D with |zn | → 1 such that the sequence {|f (zn )|} is
bounded.
Lemma 2: If u is harmonic in D, then there is a sequence {zn } ⊂ D with |zn | → 1 such that the sequence {u(zn )}
is bounded.
Proof of Lemma 1: First suppose that f has infinitely many zeros in D. Then, in any closed disk {|z| ≤ 1 − } ⊂ D,
the zeros of f must be isolated (otherwise f ≡ 0). Since such a disk is compact, it contains only finitely many zeros
of f . We conclude that there must be a sequence of zeros of f tending to the boundary of D.
Now suppose f has finitely many zeros in D. Let {α1 , . . . , αN } be the set of all zeros of f (counting multiplicities).
Then
f (z) = (z − α1 ) · · · (z − αN )g(z),
where g is holomorphic and non-zero in D. Therefore, the function 1/g is also holomorphic in D. By the maximum
modulus principal, in each compact disk Dn = {|z| ≤ 1 − 1/n} (n ≥ 2), the function |1/g(z)| attains its maximum
in Dn on the boundary at, say, the point zn , where |zn | = 1 − 1/n. The reciprocals of these maxima must satisfy
|g(x2 )| ≥ |g(x3 )| ≥ · · · . Of course, the product (z − α1 ) · · · (z − αN ) is bounded in D, so the sequence {|f (zn )|} is
bounded. t
u
70
A MISCELLANEOUS THEOREMS
A Miscellaneous Theorems
A.1 Real Analysis
A.1.1 Metric Spaces
The following theorem is found in Conway [3].
Theorem A.1 Let (X, d) be a metric space; then the following are equivalent statements:
(a) X is compact;
(b) Every infinite set in X has a limit point (in X);
(c) X is sequentially compact
(d) X is complete and for all > 0 there exist {x1 , . . . , xn } ⊂ X such that
n
[
X= B(xk , )
k=1
Proof: If V is open in Z, then g −1 (V ) is open in Y , and h−1 (V ) = (g ◦ f )−1 (V ) = f −1 (g −1 (V )). If f is continuous, then
h−1 (V ) is open, proving (a). If f is measurable, then h−1 (V ) is measurable, proving (b). u
t
Note, however, that measurable functions of continuous functions need not be measurable.
Theorem A.362 Let u and v be real measurable functions on a measurable space X, let Φ be a continuous mapping of
the plane into a topological space Y , and define
Then h : X → Y is measurable.
61 Theorem 1.7 of Rudin [8].
62 Theorem 1.8 of Rudin [8].
71
A.1 Real Analysis A MISCELLANEOUS THEOREMS
A.1.3 Integration
Theorem A.4 (Fatou’s lemma) If fn : X → [0, ∞] (n = 1, 2, . . . ) is a sequence of positive measurable functions,
then Z Z
lim inf fn ≤ lim inf fn
Theorem A.5 (Lebesgue’s dominated convergence theorem) Let {fn } be a sequence of measurable functions on
(X, M, µ) such that fn → f a.e. If there is another sequence of measurable functions {gn } satisfying
(i) gn → g a.e.,
R R
(ii) gn → g < ∞, and
(iii) |fn (x)| ≤ gn (x)(x ∈ X; n = 1, 2, . . .),
then f ∈ L1 (X, M, µ), fn → f , and kfn − f k1 → 0.
R R
Theorem A.6 (Egoroff) If (X, M, µ) is a measure space, E ∈ M a set of finite measure, and {fn } a sequence of
measurable functions such that fn (x) → f (x) for almost every x ∈ E, then for all > 0 there is a measurable subset
A ⊆ E such that fn → f uniformly on A and µ(E \ A) < .
Theorem A.7 (Lebesgue-Radon-Nikodym)63 Let µ be a positive σ-finite measure on a σ-algebra M in a set X, and
let λ be a complex measure on M.
(a) There is then a unique pair of complex measures λa and λs on M such that
λ = λa + λs , λa µ, λs ⊥ µ.
72
A.1 Real Analysis A MISCELLANEOUS THEOREMS
The pair (λa , λs ) is called the Lebesgue decomposition of λ relative to µ. We call h the Radon-Nikodym derivative of
λa with respect to µ, and write h = dλa /dµ and
dλa
dλa = dµ.
dµ
Strictly speaking, dλa /dµ should be viewed as the equivalence class of functions that are equal to h µ-a.e.
Corollary A.164 Suppose ν is a σ-finite complex measure and µ, λ are σ-finite measures on (X, M) such that ν
µ λ. Then
dν
(a) If g ∈ L1 (ν), then g dµ ∈ L1 (µ) and
Z Z
dν
g dν = g dµ.
dµ
(b) ν λ, and
dν dν dµ
= λ-a.e.
dλ dµ dλ
σ(S ⊗ T ) denotes what we have labelled S ⊗ T . At the opposite extreme, I believe Rudin[8] simply takes S × T to be the σ-algebra generated
by the sets {A × B : A ∈ S, B ∈ T }.
73
A.1 Real Analysis A MISCELLANEOUS THEOREMS
(iv) ψ(y) = X f dµ is defined almost everywhere (by (ii)), moreover ψ ∈ L1 (ν), and
R
74
A.2 Complex Analysis A MISCELLANEOUS THEOREMS
/ γ ∗ , the number
Definition A.1 If γ is a closed rectifiable curve in C then, for w ∈
Z
1 dz
n(γ; w) =
2πi γ z − w
is called the index of γ with respect to the point w. It is also sometimes called the winding number of γ around w.
Theorem A.9 (Cauchy’s formula, ver. 1) Let G ⊆ C be an open subset of the plane and suppose f ∈ H(G). If γ is
a closed rectifiable curve in G such that n(γ; w) = 0 for all w ∈ C \ G, then for all z ∈ G \ γ ∗ ,
Z
1 f (ζ)
f (z)n(γ; z) = dζ.
2πi γ ζ − z
A number of important theorems include a hypothesis like the one above concerning γ – i.e., a closed rectifiable
curve with n(γ; w) = 0 for all w ∈ C \ G (where G is some open subset of the plane). This simply means that γ
is contained with its interior in G. In other words, γ does not wind around any points in the complement of G (e.g.,
“holes” in G, or points exterior to G). Such a curve γ is called homologous to zero in G, denoted γ ≈ 0, and a version
of a theorem with this as one of its hypotheses may be called the “homology version” of the theorem.
More generally, if G ⊆ C is open and γ1 , . . . , γm are closed rectifiable curves in G, then the curve γ = γ1 + · · · +
γm is homologous to zero in G provided n(γ1 , w) + · · · + n(γm , w) = 0 for all w ∈ C \ G. Thus, either theorem A.9,
or the following generalization, might be called “the homology version of Cauchy’s formula:”
Theorem A.10 (Cauchy’s formula, ver. 2) Let G ⊆ C be an open subset of the plane and suppose f ∈ H(G). If
γ1 , . . . , γm are closed rectifiable curves in G with γ = γ1 + · · · + γm ≈ 0, then for all z ∈ G \ γ ∗ ,
m m Z
X 1 X f (ζ)
f (z) n(γj , z) = dζ.
j=1
2πi j=1 γj ζ −z
The next theorem (or its generalization below) might be called “the homology version of Cauchy’s theorem:”
Theorem A.11 (Cauchy’s theorem, ver. 1) Let G ⊆ RC be an open set and suppose f ∈ H(G). If γ is a closed
rectifiable curve that is homologous to zero in G, then γ f (z)dz = 0.
67 Most of the material in this section can be found in Conway [3].
75
A.2 Complex Analysis A MISCELLANEOUS THEOREMS
Theorem A.12 (Cauchy’s theorem, ver. 2) Let G ⊆ C be an open set and suppose f ∈ H(G). If γ1 , . . . , γm are
closed rectifiable curves in G such that γ = γ1 + · · · + γm ≈ 0, then
m Z
X
f (z) dz = 0.
j=1 γj
Theorem A.13 LetR G be an open set in the plane and f ∈ C(G, C). Suppose, for any triangular contour T ⊂ G with
T ≈ 0 in G, that T f (z)dz = 0. Then f ∈ H(G).
This theorem is still valid (and occasionally easier to apply) if we replace “any triangular contour” with “any rectan-
gular contour with sides parallel to the real and imaginary axes.” This stronger version is sometimes called Morera’s
theorem, and the exercise on page 81 of Sarason [10] asks you to prove it using theorem A.13.
Theorem A.15 (max mod principle, ver. 2) If G ∈ C is open and bounded, and if f ∈ C(Ḡ) ∩ H(G), then
max{|f (z)| : z ∈ Ḡ} = max{|f (z)| : z ∈ ∂G}.
That is, in an open and bounded region, if a holomorphic function is continuous on the boundary, then it attains its
maximum modulus there.
Theorem A.16 (max mod principle, ver. 3) Let G ⊂ Ĉ = C ∪ {∞} be open, let f ∈ H(G), and suppose there is an
M > 0 such that
lim |f (z)| ≤ M, for every a ∈ ∂∞ G.
z→a
Theorem A.17 (Schwarz’s lemma) Let f ∈ H(D), |f (z)| ≤ 1 for all z ∈ D, and f (0) = 0. Then
(a) |f (z)| ≤ |z|, for all z ∈ D,
(b) |f 0 (0)| ≤ 1,
with equality in (a) for some z ∈ D \ {0} or equality in (b) iff f (z) = eiθ z for some constant θ ∈ R.
68 This version of the maximum modulus principle is an easy consequence of the open mapping theorem, which itself can be proved via the local
mapping theorem, which in turn can be proved using Rouché’s theorem. Of course, you should know the statements of all of these theorems and,
since proving them in this sequence is not hard, you might as well know the proofs too! Two excellent references giving clear and concise proofs
are Conway [3] and Sarason [10].
76
REFERENCES
B List of Symbols
F an arbitrary field
Q the rational numbers
Z the integers
N the natural numbers, {1, 2, . . .}
C the complex numbers (a.k.a. the complex plane)
Ĉ the extended complex plane, C ∪ {∞}
R the real numbers (a.k.a. the real line)
T the unit circle, {z ∈ C : |z| = 1}
R̂ the extended real line, [−∞, ∞]
Rez the real part of a complex number z ∈ C
Imz the imaginary part of a complex number z ∈ C
D or U the open unit disk, {z ∈ C : |z| < 1}
H(G) the holomorphic functions on an open set G ⊂ C
Π+ the upper half-plane, {z ∈ C : Imz > 0}
Π− the lower half-plane, {z ∈ C : Imz < 0}
P+ the right half-plane, {z ∈ C : Rez > 0}
P− the left half-plane, {z ∈ C : Rez < 0}
∂∞ G the extended boundary of a set G ⊂ Ĉ
C[0, 1] the space of continuous real valued functions on [0, 1].
L1
R
the space of integrable functions; i.e., measurable f such that R|f | < ∞.
Lp for 0 < p < ∞, the space of measurable functions f such that |f |p < ∞.
L∞ the space of essentially bounded measurable functions;
i.e., measurable f such that {x : |f (x)| > M } has measure zero for some M < ∞.
S ⊗T the product σ-algebra generated by S and T .
References
[1] Lars Ahlfors. Complex Analysis. McGraw-Hill, New York, 3rd edition, 1968.
[2] Charalambos D. Aliprantis and Owen Burkinshaw. Principles of Real Analysis. Academic Press, New York, 3rd
edition, 1998.
[3] John B. Conway. Functions of One Complex Variable I. Springer-Verlag, New York, 2nd edition, 1978.
[4] Gerald B. Folland. Real Analysis: Modern Techniques and Their Applications. John Wiley & Sons Ltd, New
York, 1999.
[5] James R. Munkres. Topology: A First Course. Prentice Hall International, Englewood Cliffs, NJ, 1975.
[6] H. L. Royden. Real Analysis. Macmillan, New York, 3rd edition, 1988.
[7] Walter Rudin. Principles of Mathematical Analysis. McGraw-Hill, New York, 3rd edition, 1976.
[8] Walter Rudin. Real and Complex Analysis. McGraw-Hill, New York, 3rd edition, 1987.
[9] Walter Rudin. Functional Analysis. McGraw-Hill, New York, second edition, 1991.
[10] Donald J. Sarason. Notes on Complex Function Theory. Henry Helson, 1994.
[11] Elias Stein and Rami Shakarchi. Complex Analysis. Princeton University Press, 2003.
77
Index
absolute continuity applied, 8, 13
of functions, 15–16, 73 fundamental theorem of algebra, 52
of measures, 6, 14, 72 fundamental theorem of calculus, 16
approximating integrable functions, 7
area theorem, 48 Green’s theorem, 51
Arzela-Ascoli theorem, 57, 62
Hölder’s inequality, 22
Baire category theorem, 22 Hadamard factorization theorem
Banach space applied, 58
`p , 35 Hahn-Banach theorem, 22
of bounded linear operators, 26 homologous to zero, 75
Banach-Steinhauss theorem, 22, 35
Borel σ-algebra, 34 implicit function theorem, 18
Borel set, 34 index, 75
inverse function theorem
Casorati-Weierstrass theorem, 54 of calculus, 18
applied, 47, 58
Cauchy’s formula, 75 Laurent expansion, 55, 59, 64
applied, 39, 47, 56 Lebesgue decomposition, 73
Cauchy’s theorem, 75–76 Liouville’s theorem
converse of, see Morera’s theorem applied, 38, 48, 53
problems, 44, 45, 48, 52, 61
maximum modulus theorem, 76
proof by Green’s theorem, 51–52
applied, 66
Cauchy-Riemann equations, 42, 51
monotone convergence theorem
closed graph theorem, 30
applied, 4, 5, 12
conformal mapping
Montel’s theorem, 57, 62
problems, 39, 44, 50, 60, 66, 68
applied, 45
connected, 67
Morera’s theorem, 76
criterion for a pole, 59
problems, 48, 61
curve, 75
mutually singular, 72
disconnected, 67
normal family, 40, 45, 57, 62–63
dominated convergence theorem
applied, 11, 23, 28, 33 odd functions, 16
general version, 72
standard version, 21 path, 75
Picard’s theorem, 38
Egoroff’s theorem, 72 product measures, 8, 73
problems, 20, 28–29, 32–33
equicontinuity Radon-Nikodym
pointwise vs. uniform, 57 derivative, 14, 73
equicontinuous, 62 problems, 7–8, 14, 19, 30, 34
even functions, 16 theorem, 72–73
removable singularity theorem, 59
Fatou’s lemma, 72 residue theorem, 68
Fubini-Tonelli theorem, 73–74 applied, 40, 43, 55, 65, 68
78
INDEX INDEX
Schwarz’s lemma, 76
applied, 50, 61, 66, 68
Stone-Weierstrass theorem, 21
applied, 7
winding number, 75
79