Noncontractibility of the Circle

S. Kumaresan
School of Math. and Stat.
University of Hyderabad
Hyderabad 500046
[email protected]

The aim of this article is to classify the homotopy classes of maps from a circle to the
punctured plane
We prove that the circle S 1 := {z ∈ C : |z| = 1} is not contractible and derive its
consequences. We start with a lemma from complex analysis which says that it is possible to
assign the argument of a complex number in a continuous fashion if we restrict ourselves to
C minus {z ∈ C : Re z ≤ 0}, or the complex plane minus any closed half line starting from
the origin.
Lemma 1. There exists a continuous map
α : X := C \ {z ∈ C : z ∈ R and ≤ 0} → (−π, π)
such that z = |z|eiα(z) for all z ∈ X.

Proof. Let us define the following open half-planes whose union is X: H1 := {z ∈ C : Re z >
0}, H2 := {z ∈ C : Im z > 0} and H3 := {z ∈ C : Im z < 0}. We define αi on Hi which glue
together to give the required map.
Let z ∈ H1 . Then Re z = |z| cos θ for some θ ∈ [−π, π] and hence cos θ > 0. This means
that θ ∈ (−π/2, π/2). sin is increasing on (−π/2, π/2) so that
 wehave the continuous inverse
−1 −1 Im z
sin : (−1, 1) → (−π/2, π/2). We define α1 (z) := sin |z| . We can similarly define
α2 : H2 → (0, π) and α3 : H3 → (−π, 0) by
 
−1 Re z
α2 (z) = cos
|z|
 
−1 Re z
α3 (z) = cos .
|z|

One easily sees that they agree upon their common domains. Thus we get the required
function α.

Definition 2. Let f and g be continuous functions from a space X to Y . Then f and g are
homotopic iff there is a continuous function H : I × X → Y such that H(0, x) = f (x) and
H(1, x) = g(x) for all x ∈ X. H is called a homotopy from f to g. Thus a homotopy enables
one to pass continuously from one map to another.

1
Lemma 3. Assume that f : S 1 → S 1 is homotopic to a constant map. Then there is a
continuous function ϕ : S 1 → R such that f (x) = eiϕ(x) for all x ∈ S 1 .

Proof. Let H : I × S 1 → S 1 be a homotopy with H(0, x) = c and H(1, x) = f (x) for x ∈ S 1 .

Since H is uniformly continuous, for ε = 2, there is a δ > 0 such that
|H(s, x) − H(t, x)| < 2, for |s − t| < δ, x ∈ S1.
Let 0 = t0 < t1 · · · < tn = 1 be a partition of I such that |ti − ti+1 | < δ for 0 ≤ i ≤ n − 1. Note
that H(0, x) = c = eiψ(x) for some constant map ψ : S 1 → R. We show that H(t1 , x) = eiϕ1 (x)
for some ϕ1 .
Since |H(t1 , x)−H(0, x)| < 2, we see that H(t1 , x) 6= −H(0, x) and hence that H(t 1 ,x)
H(0,x) 6= −1
for x ∈ S 1 . We define a continuous function α : S 1 → R by setting α(x) to be the argument
of x taking values in (−π, π). (This is possible by Lemma 1.) Thus H(t 1 ,x)
H(0,x) = e
iα(x) and

consequently
H(t1 , x) = eiα(x) H(0, x) = ei(ψ(x)+α(x)) = eiϕ1 (x) ,
where ϕ1 (x) = ψ(x) + α(x). Continuing this way proves the lemma.

Definition 4. A space is said to be contractible if there is a homotopy between the identity

map and a constant map.
Ex. 5. Any convex subset of Rn is contractible.
Theorem 6. The circle S 1 is not contractible.

Proof. If it were, then by Lemma 3 there is a function ϕ : S 1 → R such that Id(x) ≡ x = eiϕ(x)
for all x ∈ S 1 . Hence ϕ is 1-1 and in particular ϕ(x) 6= ϕ(−x). Define g : S 1 → {±1} by
ϕ(x) − ϕ(−x)
g(x) := .
|ϕ(x) − ϕ(−x)|
Then g maps S 1 continuously onto {±1}. This contradicts the connectedness of S 1 .

Definition 7. A subset A of a space X is a retract of X if there is a continuous function

r : X → A such that r(a) = a for all a ∈ A. r is called a retraction of X onto A.
Corollary 8. There is no retraction of R2 onto S 1 .

Proof. Let r : R2 → S 1 be retraction. Let p = (0, 0). Define a homotopy H : I × S 1 → R2 by

H(t, x) = tp+(1−t)x. Then r ◦H : I ×S 1 → S 1 is a contraction — contradicting Thm. 6.

Corollary 9 (Brouwer Fixed Point Theorem). Let f : B[0, 1] → B[0, 1] be a continuous map.
Then f has a fixed point, i.e., there is an x ∈ B[0, 1] such that f (x) = x.

Proof. If there is no point x such that f (x) = x, then the two distinct points f (x) and x
determine a line joining f (x) and x. We let g(x) be the point on the boundary at which the
line starting from f (x) and going to x meets S 1 . Then g is a retraction of B[0, 1] onto S 1 —a
x−f (x)
contradiction to Corollary 8. In analytical terms, we have g(x) = x + tv, where v = k x−f (x) k
q
2 2
and t = − hx, vi + 1 − kxk + (hx, vi) .

2
Corollary 10 (Generalised Brouwer Fixed Point Theorem). Let f : B[0, 1] → R2 be contin-
uous such that f (S 1 ) ⊂ B[0, 1]. Then f has a fixed point.

Proof. Define r : R2 \ {(0, 0)} → S 1 by r(x) = x/|x|. If f (x) 6= x for all x ∈ B(0, 1) then S 1
can be contracted via the homotopy
(
r(x − 2tf (x)), 0 ≤ t ≤ 1/2,
H(t, x) =
r((2 − 2t)x − f ((2 − 2t)x)), 1/2 ≤ t ≤ 1.

This contradicts Thm. 6.