Professional Documents
Culture Documents
ωx : I → X ; t 7→ h(x, t)
d : X × I → Rn ; (x, t) 7→ (1 − t)e(x)
defines a homotopy d : e ≃ e0 .
(ii) Let y ∈ S n be such that y ∈
/ f (X), and define the maps
g : X → S n \{y} ; x 7→ f (x) ,
i = inclusion : S n \{y} → S n
such that f = ig. Stereographic projection defines a homeomorphism h :
S n \{x} → Rn . By (i) the composite e = hg : X → Rn is homotopic to a
constant map e0 : X → Rn , with a homotopy d : e ≃ e0 : X → Rn . The
composite
d / n h−1 / n i / n
ih−1 d : X × I R S \{y} S
1
is a homotopy from ih−1 e = ig = f : X → S n to a constant map ih−1 e0 :
X → S n.
Identify T (ϕ) with a standard space and prove that it is homotopy equivalent
to S 1 by constructing explicit maps f : S 1 → T (ϕ), g : T (ϕ) → S 1 and
explicit homotopies gf ≃ 1 : S 1 → S 1 , f g ≃ 1 : T (ϕ) → T (ϕ), in the
following two cases:
(i) ϕ(x) = x for x ∈ X = I. [2 Marks]
(ii) ϕ(x) = 1 − x for x ∈ X = I. [3 Marks]
Solution. (i) T (ϕ) = I × S 1 is a cylinder. The maps
The map
2
are such that gf = 1 : S 1 → S 1 (so gf ≃ 1 by the constant homotopy) with
The map
4. Let ∆ be the triangle in R2 with vertices a = (0, 0), b = (1, 1), c = (2, 0),
and let f : ∆ → X a continuous map with f (a) = f (b) = f (c) ∈ X. The
closed paths defined by the restrictions of f to the line segments [a, b], [b, c],
[a, c] are respectively denoted α, β, γ : I → X . Construct a homotopy
h : γ ≃ α • β : I → X rel {0, 1} .
For each t ∈ I define a path in ∆ by joining (0, 0) to (1, t) and then (1, t) to
(2, 0) by straight lines
{
(2s, 2st) if 0 6 s 6 1/2
γt : I → ∆ ; s 7→
(2s, (2 − 2s)t) if 1/2 6 s 6 1 .
The map
{
f (2s, 2st) if 0 6 s 6 1/2
h : I × I → X ; (s, t) 7→ f (γt (s)) =
f (2s, (2 − 2s)t) if 1/2 6 s 6 1
3
defines a homotopy from
{
f (2s, 0) if 0 6 s 6 1/2
h0 : I → X ; s 7→ h(s, 0) =
f (2s, 0) if 1/2 6 s 6 1
= γ(s)
to
{
f (2s, 2s) = α(s) if 0 6 s 6 1/2
h1 : I → X ; s 7→ h(s, 1) =
f (2s, 2 − 2s) = β(2s − 1) if 1/2 6 s 6 1
= (α • β)(s) .
Note that
define homotopies
4
with
ijf = ijg : W → X ; w 7→ i(0) .
The concatenation
H = − h(f × 1I ) • h(g × 1I ) : W × I → X
defines a homotopy H : f ≃ g : W → X.
6. Construct examples of homotopy equivalent path-connected spaces X, Y
such that X\{x} is not homotopy equivalent to Y \{y} for some x ∈ X, y ∈ Y .
Solution For any x ∈ X = R, y ∈ Y = Rn (n > 2) the complement X\{x} is
disconnected and the complement Y \{y} is connected, so that X\{x} is not
homotopy equivalent to Y \{y}.
7. Consider the letters of the alphabet
ABCDEFGHIJKLMNOPQRSTUVWXYZ
CEFGHIJKLMNSTUVWXYZ
5
8. Show that the torus with a point removed is homotopy equivalent to a
figure eight. (Hint: regard the torus T 2 = S 1 × S 1 as the identification space
T 2 = A/ ∼ of the square A = [−1, 1] × [−1, 1] with (x, −1) ∼ (x, 1) and
(−1, y) ∼ (1, y), and remove (0, 0) ∈ A.)
be the map which sends (x, y) ∈ C to the unique point g(x, y) ∈ B where the
half-line {(λx, λy) | λ > 0} meets B. (Draw a picture!). Let C = A\{(0, 0)},
and let
g : B/∼ → T 2 \{(0, 0)} = C/∼
be the inclusion. Then f g = 1 and the map
defines a homotopy h : gf ≃ 1.
6
independent possibilities for each diagonal entry of the matrix). Hence G is
n+1
homeomorphic to X2n × R( 2 ) where X2n is a discrete space with 2n points.
10. The mapping cylinder Mf of a map f : X → Y is the identification space
7
8
Solution The map defined by
{
(x, t) 7→ f (x)
j : Mf → Y ;
y 7→ y
h : ij ≃ identity : Mf → Mf
by {
((x, s), t) 7→ (x, st + 1 − t)
h : Mf × [0, 1] → Mf ;
(y, t) 7→ y .