55.2.4 Great And Glorious Theorem, Simply Connected Regions
Here is given a laundry list of properties which are equivalent to an open set being simply
connected. Recall Definition 50.7.21 on Page 5605 which said that an open set, Ω is
simply connected means
Ω is connected. Recall also that this is not the same thing at
all as saying ℂ ∖
Ω is connected. Consider the outside of a disk for example. I will
continue to use this definition for simply connected because it is the most convenient one
for complex analysis. However, there are many other equivalent conditions.
First here is an interesting lemma which is interesting for its own sake. Recall
means the winding number of
. Now recall Theorem 50.7.25
implies the following lemma in which BC
is playing the role of Ω in Theorem
Lemma 55.2.4 Let K be a compact subset of BC, the complement of a closed set.
Then there exist continuous, closed, bounded variation oriented curves
= ∅ for each j,
Ω, and for all p ∈ K,
while for all z ∈ B
Definition 55.2.5 Let γ be a closed curve in an open set, Ω,γ :
Then γ is said to be homotopic to a point, p in
Ω if there exists a continuous
Ω such that H
. This function, H is called a homotopy.
Lemma 55.2.6 Suppose γ is a closed continuous bounded variation curve in an
open set, Ω which is homotopic to a point. Then if a
, it follows n
Proof: Let H be the homotopy described above. The problem with this is that it is
not known that H
is of bounded variation. There is no reason it should be.
Therefore, it might not make sense to take the integral which defines the winding
number. There are various ways around this. Extend
as follows. H
t < a,H
t > b.
Let ε >
is a closed curve which has bounded variation and when
converges to γ
. Therefore, for
small enough, n
because they are both integers and as
because of uniform continuity of
Therefore, for small enough ε,
you can also assume Hε
Ω for all α,t.
α → n
is continuous. Hence it must be constant because the winding number
is integer valued. But
because the length of Hε
converges to 0 and the integrand is bounded because
Therefore, the constant can only equal 0. This proves the lemma.
Now it is time for the great and glorious theorem on simply connected regions. The
following equivalence of properties is taken from Rudin [?]. There is a slightly different
list in Conway [?] and a shorter list in Ash [?].
Theorem 55.2.7 The following are equivalent for an open set, Ω.
- Ω is homeomorphic to the unit disk, B
- Every closed curve contained in Ω is homotopic to a point in Ω.
- If zΩ
, and if γ is a closed bounded variation continuous curve in Ω, then
n = 0
- Ω is simply connected, (
∖ Ω is connected and Ω is connected. )
- Every function analytic on Ω can be uniformly approximated by polynomials
on compact subsets.
- For every f analytic on Ω and every closed continuous bounded variation curve,
- Every function analytic on Ω has a primitive on Ω.
- If f,1∕f are both analytic on Ω, then there exists an analytic, g on Ω such that
f = exp
- If f,1∕f are both analytic on Ω, then there exists ϕ analytic on Ω such that
f = ϕ2.
Proof: 1⇒2. Assume 1 and let γ be a closed curve in Ω. Let h be the homeomorphism,
h : B
Ω. Let H
2⇒3 This is Lemma 55.2.6.
3⇒4. Suppose 3 but 4 fails to hold. Then if
Ω is not connected, there exist disjoint
nonempty sets, A
such that A∩B
It follows each of these sets must
be closed because neither can have a limit point in Ω nor in the other. Also, one and only
one of them contains ∞.
Let this set be B.
is a closed set which must also be
bounded. Otherwise, there would exist a sequence of points in A
which would contradict the requirement that no limit points of A
can be in B.
is a compact set contained in the open set, BC ≡
Pick p ∈ A
. By Lemma 55.2.4
there exist continuous bounded variation
which are contained in BC
, do not intersect A
However, if these curves do not intersect A and they also do not intersect B then they
must be all contained in Ω. Since p
it follows by 3
that for each k, n
4⇒5 This is Corollary 55.1.12 on Page 6002.
5⇒6 Every polynomial has a primitive and so the integral over any closed bounded
variation curve of a polynomial equals 0. Let f be analytic on Ω. Then let
sequence of polynomials converging uniformly to
6⇒7 Pick z0 ∈ Ω. Letting γ
be a bounded variation continuous curve joining
you define a primitive for f
This is well defined by 6 and is easily seen to be a primitive. You just write the difference
quotient and take a limit using 6.
7⇒8 Suppose then that f,1∕f are both analytic. Then f′∕f is analytic and so it has a
primitive by 7. Let this primitive be g1. Then
Therefore, since Ω is connected, it follows e−g1f
must equal a constant. (Why?) Let the
constant be ea+ibi.
Therefore, you let g
8⇒9 Suppose then that f,1∕f are both analytic on Ω. Then by 8 f
9⇒1 There are two cases. First suppose Ω = ℂ. This satisfies condition 9 because if
f,1∕f are both analytic, then the same argument involved in 8⇒9 gives the
existence of a square root. A homeomorphism is h
It obviously maps
and is continuous. To see it is 1 - 1 consider the case of
having different arguments. Then h
for a positive
then it is also clear h
To show h−1
is continuous, note that if
you have an open set in ℂ
and a point in this open set, you can get a small
open set containing this point by allowing the modulus and the argument to lie
in some open interval. Reasoning this way, you can verify h
maps open sets
to open sets. In the case where Ω≠ℂ
, there exists a one to one analytic map
which maps Ω onto B
by the Riemann mapping theorem. This proves the