Professional Documents
Culture Documents
Takumi Murayama
December 20, 2014
These solutions are the result of taking MAT365 Topology in the Fall of 2012 at
Princeton University. This is not a complete set of solutions; see the List of Solved
Exercises at the end. Please e-mail takumim@umich.edu with any corrections.
Contents
I
General Topology
3
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
5
6
8
9
10
15
18
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
20
21
26
27
27
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Algebraic Topology
28
28
30
31
32
32
33
35
9 The
51
52
53
54
58
59
60
Fundamental Group
Homotopy of Paths . . . . . . . . . . . . .
The Fundamental Group . . . . . . . . . .
Covering Spaces . . . . . . . . . . . . . . .
The Fundamental Group of the Circle . . .
Deformation Retracts and Homotopy Type
The Fundamental Group of S n . . . . . . .
Fundamental Groups of Some Surfaces . . .
11 The
67
68
71
73
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
36
37
38
39
43
44
.
.
.
.
45
45
45
46
48
12 Classification of Surfaces
49
74
Fundamental Groups of Surfaces . . . . . . . . . . . . . . . . . . . . 49
75
Homology of Surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Part I
General Topology
1
7
Exercise 7.5. Determine, for each of the following sets, whether or not it is countable. Justify your answers.
(j) The set J of all finite subsets of Z+ .
S
Solution for (j). We claim J is countable. Consider I =
n=0 In where In is the set
of sequences with n elements. Each In is countable by Theorem 7.6 so I is countable
by Theorem 7.5. Identifying each finite subset in J with the finite sequence with
the same elements in increasing order, we see that J I, and so J is countable by
Corollary 7.3.
13
Exercise 13.5. Show that if A is a basis for a topology on X, then the topology
generated by A equals the intersection of all topologies on X that contain A. Prove
the same if A is a subbasis.
Proof. Let TA be the topology generated by A, and TI be the intersection of all
topologies that contain A.
TI TA . This follows from the fact that TA A, and so is one of the topologies
that is intersected over in the construction of TI S
.
TA T I . S
Let U TA ; by Lemma 13.1, U = A for some collection {A }
A. But U = A TI since each A TI .
Now let A be a subbasis. The proof that TI TA is identical; it remains to
show TA TI . Let U TA ; by definition of the topology generated by A, U is the
union of a finite intersection of elements {A } A. But then U TI since each
A TI .
Exercise 13.6. Show that the topologies of R` and RK are not comparable.
Proof. R` 6 RK . For [a, b) R` , there is no basis element U RK such that
a U, U [a, b).
RK 6 R` . For (1, 1) \ K RK which contains 0, there is no basis element
[a, b) R` such that 0 [a, b), [a, b) (1, 1) \ K by the Archimedean property,
that is, for all > 0, there exists N N such that 1/N < .
Exercise 13.7. Consider the following topologies on R:
T1
T2
T3
T4
T5
= the
= the
= the
= the
= the
standard topology,
topology of RK ,
finite complement topology,
upper limit topology, having all sets (a, b] as basis,
topology having all sets (, a) = {x | x < a} as basis.
T5
4
16
Exercise 16.8. If L is a straight line in the plane, describe the topology L inherits
as a subspace of R` R and as a subspace of R` R` . In each case it is a familiar
topology.
Solution. Note that the basis for R` R consists of elements of the form [a, b)(c, d).
If L = {(x, y) | x = x0 }, then L[a, b)(c, d) = or {x0 }(c, d), and so defining the
map : L (R` R) R, {x0 } (c, d) 7 (c, d), it is bijective, open, and continuous,
and so the topology L inherits is homeomorphic to R with the standard topology. If
L has finite slope, we first note that L (R` R) = {(x, mx + b) R2 | x R},
and that the basis for our topology are the sets of the form , [(a, ma + b), (c, mc +
b)), ((a, ma + b), (c, mc + b)) for a, c R and a < c, by Lemma 16.1. We then define
: L (R` R) R` ,
(a, ma + b) 7 a.
This implies
((a, ma + b), (c, mc + b)) 7 (a, c),
[(a, ma + b), (c, mc + b)) 7 [a, c).
We claim this defines a homeomorphism with R` . Clearly, it is continuous, for the
basis elements of R` have preimages that are basis elements in the topology on L.
Likewise, it is open since the basis elements of L map to sets that are open in R` by
5
Lemma 13.4. Finally this is a bijection since there exists an inverse just by reversing
the arrows above.
For R` R` , by following the same steps as above if L = {(x, y) | x = x0 }, then
L (R` R` ) is homeomorphic to R` . For L with |m| < , we must split it up into
two cases. When m 0, we have a similar situation as above, except we only have
to consider basis elements of the form [a, b); thus, L (R` R` ) is homeomorphic
to R` . When m < 0, since for every point (x, y) L, we can find a basis element
[x, a) [y, b) (R` R` ) such that L [x, a) [y, b) = {(x, y)}, and these form the
open sets of our new topology by Lemma 16.1. We see then that the topology on L
is homeomorphic to the discrete topology on R.
Exercise 16.9. Show that the dictionary order topology on the set R R is the same
as the product topology Rd R, where Rd denotes R in the discrete topology. Compare
this topology with the standard topology on R2 .
Proof. We see that the basis elements of (R R)lex consist of intervals of the form
(a b, c d) for a < c, and for a = c and b < d, as in Example 14.2. These basis
elements are open in Rd R since
(a b, c d) = (a, c) R {a} (c, ) {b} (, d) TRd R .
For the reverse situation, consider the basis elements for Rd R; these consist of
all {a} (b, c) since {a | a R} forms a basis for Rd by Example 13.3. But then,
{a}(b, c) are open in RR with the order topology since it is of the form (ab, cd)
for a = c.
We now compare this to the standard topology on R2 . Since (a, b)(c, d) Rd R,
we see that R2 Rd R. Moreover, since {a} (b, c) (Rd R) \ R2 , we see that
R2 ( Rd R.
17
For T5 , we claim K = [0, ). For x [0, ), the basis elements that contain
x are of the form (, a) for a > x. Since (, a) K 6= by the Archimedean
property, that is, > 0N N such that 1/N < , K = [0, ) by Theorem 17.5.
For T1 , K 0 = {0} by Example 17.8, and so K = K {0}.
For T2 , K is closed since R \ K = (, ) \ K is a basis element, and so K = K.
For T4 , K = K since T4 is finer than T2 , and so R \ K is still open.
Solution for (b). T3 is T1 since any finite point set is closed by definition of the finite
complement topology. It is not Hausdorff, for if we choose U 3 x, V 3 y both open,
(U V )c = U c V c is finite, where the equality follows from De Morgans Laws, and
so U V is infinite.
T5 is not Hausdorff and not even T1 , for R \ {x0 } is not a union of basis elements,
and so {x0 } is not closed.
T1 is Hausdorff, for if we have x, y R and 0 < < |x y|/2, then (x , x +
) (y , y + ) = . Since Hausdorff = T1 , we see that T1 is also T1 .
Since T2 , T4 are both finer than T1 , we see that the open sets constructed above
are still open and separate x, y, and so T2 , T4 are still both Hausdorff and thus T1 .
18
Continuous Functions
19
Q
Exercise 19.6. Let x1 , x2 , . . . be a sequence of the points of the product space X .
Show that this sequence converges to the point x if and only if the sequence (x1 ),
(x2 ), . . . converges to (x) for each . Is this fact true if one uses the box topology
instead of the product topology?
Proof. Suppose {xiQ
} x, and fix some index . Then, for any neighborhood U 3
(x), letting U = U where U = X for all 6= , there exists N N such that
xi U for all i N , and so (xi ) (U ) = U for all i N , i.e., { (xi )}
(x). Note that this direction does not depend on the topology being the product
or box topology.
In the other direction,
Qsuppose { (xi )} (x) for all . We take
Q an arbitrary
neighborhood V of x X ; it then
Q contains a basis element of X containing
x, which is a product of open sets U . In the case of the product topology, there
then exist only finite U ( X , and for these open sets there exist N N such that
(xi ) U for all i N for each
Q . N = 1 works for all other . Thus, we can
take N = max(N ); then, xi U V for all i N .
We construct a counterexample for this direction in the case of the box topology.
Let RN be the box topology on the product of copies of R indexed by N, and let
xi := ( 1i , 1i , 1i , . . .).
9
Then, for each N, { (xi )} (0, 0, 0, . . .) =: x, but this sequence does not
converge in the box topology, for the open set
Y
( 1i , 1i ) = (1, 1) ( 12 , 12 ) ( 13 , 13 )
iN
in the box topology contains x = (0, 0, 0, . . .), but does not contain any xi .
20
x1 = (1, 1, 1, 1, . . .),
x2 = (0, 12 , 21 , 12 , . . .),
x3 = (0, 0, 31 , 13 , . . .),
...
z1 = (1, 1, 0, 0, . . .),
z2 = ( 21 , 12 , 0, 0, . . .),
z3 = ( 31 , 13 , 0, 0, . . .),
...
Solution for (a). For the product topology, by Theorem 19.6, f, g, h are all continuous since each coordinate function is continuous. This is because if an open set in
the image of a coordinate function is (a, b), its preimage would still be in the form
(a0 , b0 ) R where a0 , b0 are determined by the linear equations defining f, g, h above.
Now consider the uniform topology. Note by Theorem 21.1 we can use the familiar
- definition for continuity since our spaces both are metric spaces. We claim f is not
continuous. For, suppose it is continuous. Then, given > 0 and x R, there exists
> 0 such that |xy| < = |f (x)f (y)| = supn [min(n|xy|, 1)] < . But, this is
a contradiction since for n large, min(n|xy|, 1) = 1, and so is always greater than .
Now consider g. g is continuous since given > 0 and x R, we let < min(, 1) and
10
therefore have |xy| < = |f (x)f (y)| = supn [min(|xy|, 1)] = min(|xy|, 1) <
min(, 1) . h is also continuous since given > 0 and x R, we let < min(, 1)
and therefore have |x y| < = |f (x) f (y)| = supn [min(|x y|/n, 1)]
min(|x y|, 1) < min(, 1) .
For the box topology, since the box topology is finer than the uniform topology
by Theorem 20.4, we see that f is not continuous. For, if V open in the uniform
topology has preimage that is not open in R, V is still open in the box topology and
still has the same non-open preimage. Next, by Example 19.2, we see that g is not
continuous. Last, for h, we choose
B = (1, 1) ( 212 , 212 ) ( 312 , 312 ) ,
and suppose its preimage h1 (B) is open. This implies h((, )) B, and so
applying n gives
hn ((, )) = ( n , n ) ( n12 , n12 )
for all n, a contradiction.
Solution for (b). We note that since the product topology is Hausdorff by Theorem
19.4 and both the uniform and box topologies are finer than the product topology by
Theorems 19.1 and 20.4, if a sequence converges to a point p in one topology, it must
converge to the same point in the finer topologies. For, if the sequence converges to
q in the finer topology, then it also converges to q in the coarser topology, and by
the Hausdorff property p = q.
Q Consider wn . For the product topology, we recall that any basic open set U =
U 3 0 is the product of finitely many open subsets of R with infinitely many
copies of R. Letting N be the largest such that U ( R, we see that wn U
for all n > N since the first N components are zero, and the rest are trivially in
the remaining copies of R of U . Thus, wn 0 in the product topology. Now we
only have to check if the sequence converges to zero in the other topologies by the
above. In the uniform topology, (wn , 0) = 1 for all n, and so the sequence does not
converge. For, if we choose any ball U = B(0, r) R for r < 1, wn
/ U for all n.
Finally, since the box topology is finer than the uniform topology by Theorem 20.4,
we see that this same open set U is such that wn
/ U for all n, and so wn does not
converge in the box topology, either.
Consider xn and yn . We claim they both converge to zero in the uniform topology.
For any open set 0 U R in the uniform topology, we can find B(0, ) such that
B(0, ) U ; then, we can find N such that 1/N < . We then see that xn , yn
B(0, ) U for all n N , and so xn , yn 0 in the uniform topology. Moreover,
since the uniform topology is finer than the product topology, we see that this implies
11
n
X
1
1
yn = xn +
= xn + 1 n .
2k
2
k=1
12
Proof of (b). U (x, ) is not open since the point y in (a) has no neighborhood contained in B (x, ). For, suppose B (y, ) U (x, ). We can find N such that
1
>
,
2
2k
k=N +1
P
since
1/2k converges, and so its tail becomes infinitesimally small. We see that
0
6= N and yN
= yN + /2, y0 B (y, )
then, defining y0 such that yn0 = yn for all nP
1
0
0
but y
/ U (x, ) since yn = yn +/2 > yn + k=N +1 2k = xn +, a contradiction.
Proof of (c). The direction is clear, since each U (x, ) B (x, ) by the fact that
< . Now suppose z BS
(x, ); if (x, z) = , then we can find (, ) so that
z U (x, ), i.e., B (x, ) < U (x, ).
Exercise
20.8. Let X be the subset of R consisting of all sequences x such that
P 2
xi converges. Then the formula
X
d(x, y) =
(xi yi )2
"
#1/2
i=1
defines a metric on X. On X we have the three topologies it inherits from the box,
uniform, and product topologies on R . We have also the topology given by the metric
d, which we call the `2 -topology.
(a) Show that on X, we have the inclusions
box topology `2 -topology uniform topology.
(b) The set R of all sequences that are eventually zero is contained in X. Show
that the four topologies that R inherits as a subspace of X are all distinct.
(c) The set
Y
H=
[0, 1/n]
nZ+
13
Proof of (a). box topology `2 -topology. Let U 3 x be a basis element in the `2 topology. Then, there exists
U = Bd (x, ) U of the `2 -topology.
Q a basis element
i/2
We claim that V = X (xi /2 , xi + /2i/2 ) 3 x basis element of the box
topology is contained in U . Suppose y V ; then
X
X
2
2
d(x, y) =
= 2 = y U,
(xi yi ) <
i
2
i=1
i=1
2
d(x, 0) =
X
i=1
x2i = N
2
> 1 = d(x, 0) > 1,
4
14
and so x
/ U . Hence, U is open in the `2 -topology but not in the uniform topology
by p. 78, and so `2 -topology ) uniform topology.
uniform topology ) product topology. Consider
the open set U = R B (0, 1)
Q
in the uniform topology. Consider any V = R U 3 0 where U = R for all but
finitely many . Let N be such that UN = R; then, x such that xi = 0 for all i except
|xN | 1 is in V but not in U . Hence, U is open in the uniform topology but not in
the product topology by p. 78, and so uniform topology ) product topology.
Solution for (c). We claim that
box topology ) (`2 -topology = uniform topology = product topology),
i.e., the box topology is strictly finer than the other topologies, which are equal.
To show the equality, it suffices to show product topology `2 -topology, for
then we have `2 -topology uniform topology product topology `2 -topology by
the same argument as in (b), and so we must have equality throughout. So, consider
U 3 x open in the `2 -topology; then, we can find a basis element U = HBd (x, ) U
of the `2 -topology for some > 0. Let = /[(2) + 1]1/2 , and choose N such that
P
2
2
i=N 1/i < , which exists since |(2)| < . We claim that
"N 1
#
Y
V =H
xi , xi +
R 3 x,
i
i
i=1
i=N
basis element of the product topology is contained in U . Suppose y V ; then
N
X
1 X1
+
< 2 [(2) + 1] = 2 = y U,
d(x, y) =
(xi yi ) <
2
2
i
i
i=1
i=1
i=N
2
21
Exercise 21.1. Let A X. If d is a metric for the topology of X, show that d|AA
is a metric for the subspace topology on A.
15
Proof. Clearly d|AA is a metric since it inherits all the properties for a metric from
the metric d for X; it therefore suffices to show that every basis element for the
subspace topology on A contains some open ball defined by d|AA , and vice versa,
by Lemma 13.3.
So, suppose B is a basis element for the metric topology on A; B = Bd|AA (x, r)
for some x A and r R. But then, B = Bd (x, r) A by definition, and so the
subspace topology is finer than the metric topology.
Conversely, suppose B is a basis element for the subspace topology on A; it equals
Bd (x, r) A for some basis element Bd (x, r) of X. Let y Bd (x, r) A; we see that
the set Bd|AA (y, r d(x, y)) A Bd (x, r) is a basis element for the metric topology
contained in A Bd (x, r), since z Bd|AA (y, r d(x, y)) is such that
d(z, x) d(z, y) + d(x, y) = d|AA (z, y) + d(x, y) < r d(x, y) + d(x, y) = r.
Thus, the metric topology is finer than the subspace topology. Combining the two
inclusions, we see the topologies are equal.
Exercise 21.2. Let X and Y be metric spaces with metrics dX and dY , respectively.
Let f : X Y have the property that for every pair of points x1 , x2 of X,
dY (f (x1 ), f (x2 )) = dX (x1 , x2 ).
Show that f is an imbedding. It is called an isometric imbedding of X in Y .
Proof. We first show f is injective:
f (x1 ) = f (x2 ) = dY (f (x1 ), f (x2 )) = 0 = dX (x1 , x2 ) = 0 = x1 = x2
by properties of metrics, and so we have an injective map.
Now we consider the map f 0 : X im(X) Y , which is a bijection; it suffices to
show that f 0 , f 01 are continuous to show f is an imbedding. Let x X and > 0
be given; then, letting = , we have
dX (x, y) < = dY (f 0 (x), f 0 (y)) < ,
and so f is continuous. Given y Y and > 0, letting = gives
dY (x, y) = dY (f (a), f (b)) < = dX (f 01 (x), f 01 (y)) = dX (a, b) < ,
where a, b exist by the bijectivity of f , and so f 01 is continuous.
Exercise 21.3. Let Xn be a metric space with metric dn , for n Z+ .
16
+
D(x, y) + D(y, z)
i
i
i
for all i. But since this is true for all i, we have that
di (xi , zi )
D(x, z) = sup
D(x, y) + D(y, z).
i
We now show that this defines a metric for the product space. Let U be open in
the metric topology and let x U ; choose an open ball BD (x, ) U . Choose N
such that 1/N < , and let
V = Bd1 (x1 , ) BdN (xN , ) XN +1 XN +2 .
Q
We claim V BD (x, ) U . Given y
Xi , di (xi , yi )/i 1/N for i N .
Therefore,
d1 (x1 , z1 )
dN (xN , zN ) 1
D(x, y) max
, ,
,
.
1
N
N
17
22
Exercise 22.2.
(a) Let p : X Y be a continuous map. If there is a continuous map f : Y X
such that p f equals the identity map of Y , then p is a quotient map.
(b) If A X, a retraction of X onto A is a continuous map r : X A such
that r(a) = a for each a A. Show that a retraction is a quotient map.
Proof of (a). If V Y with U = p1 (V ) X open, f 1 (U ) = f 1 (p1 (V )) =
(p f )1 (V ) = V is open. Thus, p is a quotient map.
Proof of (b). Let : A X be the inclusion map; then, r is the identity on A,
hence r is a quotient map by (a).
Exercise 22.4.
(a) Define an equivalence relation on the plane X = R2 as follows:
x0 y0 x1 y1
if x0 + y02 = x1 + y12 .
18
23
Connected Spaces
20
24
Exercise 24.7.
(a) Let X and Y be ordered sets in the order topology. Show that if f : X Y is
order preserving and surjective, then f is a homeomorphism.
(b) Let X = Y = R+ . Given a positive integer n, show that the function f (x) = xn
is order preserving and surjective. Conclude that its inverse, the nth root
function, is continuous.
(c) Let X be the subspace (, 1)[0, ) of R. Show that the function f : X
R defined by setting f (x) = x + 1 if x < 1, and f (x) = x if x 0, is order
preserving and surjective. Is f a homeomorphism? Compare with (a).
Proof of (a). f is injective since if f (a) = f (b) but a 6= b, then (with possible
swapping) a < b, and so f (a) < f (b), a contradiction. We thus must show f
and f 1 are continuous. But f is continuous since f 1 ((a, b)) = (f 1 (a), f 1 (b)) is
open (apply the same argument to the intervals of the form [a0 , b), (a, b0 ] for a0 , b0
minimal and maximal respectively); the same argument applies for f 1 as well.
Proof of (b). f (x) = xn is order preserving since a < b = a/b < 1 = an /bn <
1 = an < bn = f (a) < f (b). f is continuous since it is the product of n
copies of the identity function, which is continuous. We want to show f is surjective.
Letting N = {xn | x Z0 }, we see that every real number y Y is between two
consecutive members of N , or it is already an nth power of an integer, in which case
it is trivially mapped to by its nth root. In the case y Y is not an nth power,
we have f (n) < y < f (n + 1), and so by the Intermediate value theorem (Theorem
24.3), we see that there exists a point c X such that f (c) = r, i.e., f is surjective.
Since f is order preserving and surjective, by (a) it is then a homeomorphism,
and so f 1 , the nth root function, is also continuous.
Proof of (c). f is order-preserving on (, 1) since a < b = f (a) = a + 1 <
b + 1 = f (b), and on [0, ) since it is the identity. We check that it is order
preserving around the boundary. So, suppose a < 1 and b 0. Then, a < b but
21
Theorem. The long line is path connected and locally homeomorphic to R, but it
cannot be imbedded in R.
(a) Let X be an ordered set; let a < b < c be points of X. Show that [a, c) has
the order type of [0, 1) if and only if both [a, b) and [b, c) have the order type
of [0, 1).
(b) Let X be an ordered set. Let x0 < x1 < be an increasing sequence of points
of X; suppose b = sup{xi }. Show that [x0 , b) has the order type of [0, 1) if and
only if each interval [xi , xi+1 ) has the order type of [0, 1).
(c) Let a0 denote the smallest element of S . For each element a of S different
from a0 , show that the interval [a0 0, a 1) of S [0, 1) has the order type
of [0, 1).
(d) Show that L is path connected.
(e) Show that every point of L has a neighborhood homeomorphic with an open
interval in R.
(f ) Show that L cannot be imbedded in R, or indeed in Rn for any n.
Proof of (a). We first note order-preserving maps are injective. Letting f : A B
be such a map, if a1 , a2 A, then one is larger than the other by the comparability
property of order relations, so one of f (a1 ), f (a2 ) is larger than the other, hence
unequal.
Now suppose [a, c) has order type [0, 1), and let f : [0, 1) [a, c) be the order
isomorphism. We claim
g(x) = f {[f 1 (b)]x},
define order isomorphisms g : [0, 1) [a, b) and h : [0, 1) [b, c). They are orderpreserving since if x, y [0, 1),
x < y = [f 1 (b)]x < [f 1 (b)]y = g(x) = f {[f 1 (b)]x} < f {[f 1 (b)]y} = g(y)
x < y = f 1 (b) + [1 f 1 (b)]x < f 1 (b) + [1 f 1 (b)]y
= h(x) = f {f 1 (b) + [1 f 1 (b)]x} < f {f 1 (b) + [1 f 1 (b)]y} = h(y)
where the first implications are due to our linear transformations being strictly monotonic increasing, and the second since f is order-preserving. This also implies injectivity by the above. It remains to show surjectivity. Let z [a, b), z 0 [b, c). Then,
0 f 1 (z) < f 1 (b) and f 1 (b) f 1 (z 0 ) < 1, and so
1
1 0
f (z ) f 1 (b)
f (z)
g 1
= z, h
= z0.
f (b)
1 f 1 (b)
23
Conversely, suppose [a, b) and [b, c) have order type [0, 1), and let g : [0, 1) [a, b),
h : [0, 1) [b, c) be the order isomorphisms. We claim
(
g(2x)
if 0 x < 1/2
f (x) =
h(2x 1) if 1/2 x < 1
is an order isomorphism. It preserves orders since g, h preserve orders on their
respective domains, and since if x < 1/2 y, applying f gives
f (x) = g(2x) < b h(2y 1) = f (y).
This also shows injectivity by the above. f is surjective since if z [a, c),
z < b = f [g 1 (z)/2] = z,
Proof of (b). Suppose [x0 , b) has order type [0, 1). For any i Z+ , by (a), [xi , b) has
order type [0, 1); applying (a) again gives that [xi , xi+1 ) has order type [0, 1).
Now suppose every [xi , xi+1 ) has order type [0, 1). If fi : [0, 1) [xi , xi+1 ) are
order isomorphisms, first define
f : [0, ) [x0 , b),
x 7 fi (x i) if x [i, i + 1),
which is well-defined since any x [0, ) is in some set of the form [i, i + 1). We
claim f is an order isomorphism. If x, y [0, ), then x [i, i + 1), y [j, j + 1) for
some i, j. Suppose x < y. Then,
i 6= j = f (x) = fi (x i) < xi+1 xj fj (y j) = f (y),
i = j = f (x) = fi (x i) < fi (y i) = f (y),
since the fi are order-preserving; this also
S implies injectivity by the above. To show
surjectivity, we first know f maps onto i [xi , xi+1 ) by definition. So let z [x0 , b).
Since b is the least upper bound of the {xi }, z is not an upper bound, so there exists i
such that z [xi , xi+1 ). But then, since the fi are bijective as well, f (fi1 (z)+i) = z.
Now let g : [0, 1) [0, ) be defined as x 7 x/(1 x); this is an order isomorphism since it has inverse x/(1 + x), and since it is strictly monotonic increasing.
Thus, f g : [0, 1) [x0 , b) is a bijection, and preserves orientation since f, g do.
Proof of (c). Let a > a0 . We proceed by transfinite induction. S is a well-ordered
set, and so if we let J be the set of a S such that the claim holds, it suffices to
show that for every a J, Sa J = a J.
24
We first show that either a has an immediate predecessor or there exists a sequence {ai } Sa such that a = sup{ai }. Suppose a does not have an immediate
predecessor. Then, we have the section Sa = {bi }, which is countable by definition
of S . (b1 , a] 6= since a has no immediate predecessor, and so let a1 (b1 , a]. We
construct the ai inductively as follows: if we have an , let an+1 (sup{an , bn+1 }, a],
which is nonempty as above. We then get a sequence of elements a1 < a2 < < a.
But since an > bn for all n by construction, we see that a sup{ai }. Moreover, if
a > sup{ai }, then sup{ai } = bk for some k, for Sa contains all elements less than a,
and hence sup{ai } < ak , contradicting that sup{ai } is an upper bound.
Now suppose Sa J. If a has an immediate predecessor a1, then [a0 0, a1) =
[a0 0, (a 1) 1) [a 0, a 1) has order type [0, 1) by (a), for we have the order
isomorphism [a 0, a 1) [0, 1) defined by a x 7 x, which is trivially bijective
and order-preserving since S [0, 1) was constructed with the dictionary order. On
the other hand, if a does not have an immediate predecessor, then there exists a
sequence {ai } Sa such that a = sup{ai }, and so the claim follows by (b).
Proof of (d). Let a b, a0 b0 be two points in L; suppose without loss of generality
that a b < a0 b0 . By (c), [a0 0, a 1) and [a0 0, a0 1) have order type [0, 1); by
9a), this implies [a0 0, ab) and [a0 0, a0 b0 ) have order type [0, 1). Hence, by (a),
Y = [a b, a0 b0 ) has order type [0, 1). Let f : [0, 1) Y be the order isomorphism.
We claim f is continuous. First, since Y is an interval, it is convex, and so by Theorem
16.4 the order topology on Y is the same as the subspace topology on Y inherited from
L. Then, for any basis set A = (c d, c0 d0 ) Y , f 1 (A) = (f 1 (c d), f 1 (c0 d0 ))
since f is an order isomorphism, and moreover this preimage is open. Also, for any
basis set B = [a b, c0 d0 ) Y , f 1 (B) = [f 1 (a b), f 1 (c0 d0 )), which is again
open. Thus, f is continuous. Finally, if we define
(
f (x)
if x [0, 1)
F (x) =
0
0
a b if x = 1
we have a continuous path F : [0, 1] [a b, a0 b0 ] by the pasting lemma (Theorem
18.3), and so L is path connected.
Proof of (e). Let a b be a point in L. Since S [0, 1) does not have a maximal
element, there is some a0 b0 > a b. Now by (c), there exists an order isomorphism
f : [0, 1) [a0 0, a0 b0 ). Restricting f to (0, 1), we get another order isomorphism
f : (0, 1) (a0 0, a0 b0 ). The set [a0 0, a0 b0 ) is open in S [0, 1), and so
(a0 0, a0 b0 ) is open in L, and is a neighborhood of a b.
We claim (a0 0, a0 b0 ) is homeomorphic to (0, 1). We already have a bijection
that is continuous by the same argument as in (d), and so it suffices to show f is
25
open as well. But if (x, y) (0, 1) is a basis set, then f (x, y) = (f (x), f (y)) since f
is an order isomorphism, and moreover open since the topology on (a0 0, a0 b0 ) is
the order topology.
Proof of (f ). Suppose L could be imbedded in Rn ; then, every subspace of Rn has a
countable basis by Example 30.1, and since L is homeomorphic with such a subspace,
it also has a countable basis. Now, since X = (S {0}) \ {a0 0} is a convex subset
of L, the subspace topology on X is the same as the order topology by Theorem
16.4. Thus, the intersection of the countable basis for L with X forms a countable
basis by Theorem 30.2. This implies that there is a countable subset Y of X that is
dense in X by Theorem 30.3. By Theorem 10.3, though, this subset Y has an upper
bound x in X. Thus, 6= (x, ) X \ Y , and so the closure of Y is not all of X, a
contradiction.
25
Exercise 25.2.
(a) What are the components and path components of R (in the product topology)?
(b) Consider R in the uniform topology. Show that x and y lie in the same
component of R if and only if the sequence
x y = (x1 y1 , x2 y2 , . . .)
is bounded.
(c) Give R the box topology. Show that x and y lie in the same component of R
if and only if the sequence x y is eventually zero.
Solution for (a). By Exercise 24.8(a), R is path connected, for Theorem 19.6 is not
limited to finite product topologies. Thus, R is the only path component, and so
R is the only component as well since path connected = connected.
Proof of (b). We first define : x 7 x y. We recall that since ((x), (z)) =
(x, z), by Exercise 21.2 is an isometric imbedding that is moreover surjective (the
preimage of any z is z + y), is a homeomorphism. Thus, x y is in the same
component as 0 if and only if x is in the same component as y, for , 1 do not
modify the topology of R .
It therefore suffices to check the case y = 0. Suppose x is bounded; then, we
define f : [0, 1] R where f (t) = (x1 t, x2 t, . . .). This is continuous since given
> 0, B(f (t), ) f (B(t, / sup{|xn |})), where sup{|xn |} < by boundedness
26
of x. Thus, f connects 0 and x, i.e., they are in the same path component, and
therefore the same component by Theorem 25.5.
Conversely, recall by Exercise 23.8 that we have the separation R = A B,
where A is the set of bounded sequences and B is the set of unbounded sequences of
reals. If x is unbounded it is in B and so is not in the same component as 0.
Proof of (c). x eventually zero here means that xi = 0 for all i N for some N .
Note by the same argument as in (b), it suffices to consider the case y = 0.
Suppose first that x is not eventually zero. Define the function f = (fn ), where
fn (a) = na/|xn | if xn 6= 0, and a otherwise. f is continuousQsince eachQfn is continuous
Vn . Note that
since it is linear, and so if fn1 (Un ) = Vn , we have f 1 ( Un ) =
1
this is a bijection since each component has an inverse fn (a) = |xn |a/n if xn 6= 0,
and a otherwise, and moreover since the inverse is continuous since each component
is linear, we have a homeomorphism f : R R . Since there are infinitely many n
such that xn 6= 0, and so infinitely many n such that fn (xn ) = n, we have that f (x) is
unbounded, and thus, by the separation of R in the box topology in Example 23.6,
we have that f (x) and 0 are in different components. Since f is a homeomorphism,
this implies x and 0 are in different components as well.
Conversely, suppose x is eventually zero. Then, xn = 0 for all n N for some
N , and so x RN {0} {0} R ; this subspace is homeomorphic to
RN . Since RN is connected by Theorem 23.6, we see that x and 0 are in the same
component.
27
Exercise 27.4. Show that a connected metric space having more than one point is
uncountable.
Proof. Let X be a connected metric space with the metric d, and let x0 , x1 X
be distinct. Let d(x0 , x1 ) = r, and define f (x) = d(x0 , x). f is continuous by the
discussion on p. 175. We see that f (x0 ) = 0, f (x) = r, and so by the intermediate
value theorem (Theorem 24.3), f (X) [0, r], i.e., f maps onto [0, r].
Now suppose X is countable. Then, by Theorem 7.1 there exists a surjective function g : Z+ X, and so f g : Z+ f (X) maps onto [0, r], which is a contradiction
since [0, r] is uncountable by Corollary 27.8.
29
Local Compactness
Exercise 29.4. Show that [0, 1] is not locally compact in the uniform topology.
27
Y
Y
Y
{0, /3} =
{0, /3} =
{0, /3} = {0, /3}
in the product topology by Theorem 19.5, which is finer than the uniform topology,
and so it is compact by Theorem 26.2 since it is a closed subset of C compact, i.e.,
limit point compact by Theorem 28.2.
We claim this is a contradiction. Consider x X, and the ball X B (x, /9).
Note that the distance between any two distinct points of {0, /3} is /3, and so
since the diameter of X B (x, /9) is at most 2/9, X B (x, /9) contains at most
one point of {0, /3} . Thus, {0, /3} contains no limit points, and so is not limit
point compact, a contradiction.
Exercise 29.8. Show that the one-point compactification of Z+ is homeomorphic to
the subspace {0} {1/n | n Z+ } of R.
Proof. Let K = {1/n | n Z+ }. Let f : R+ R+ such that f (x) = 1/x; this is a
homeomorphism since it is continuous and is its own inverse. By Theorem 18.2(d)
and 18.2(e), f : Z+ f (Z+ ) = K is continuous, and again is a homeomorphism
since it is its own inverse. Now consider Y = {0} K, which is closed and bounded
and therefore compact by Theorem 27.3, and Hausdorff by Theorem 17.11. Since
K 0 = {0} by Example 17.8, we know Y is the one-point compactification of K. If
X = {p} Z+ is the one-point compactification of Z+ , and letting g : p 7 0 Y ,
which is clearly continuous, the function h : X Y defined by the pasting lemma
(Theorem 18.3) applied to f, g is also continuous, and has continuous inverse defined
by the pasting lemma applied to f 1 , g 1 , and so is a homeomorphism X Y .
30
that 2/N < . Since AN covers X, there exists B(y, 1/N ) 3 x. B(y, 1/N ) B(x, ),
for if we choose z B(y, 1/N
S), d(x, z) d(x, y) + d(y, z) 1/N + 1/N < . Thus,
x B(y, 1/N ) U , and so n An is a countable basis by Lemma 13.2.
Exercise 30.5.
(a) Show that every metrizable space with a countable dense subset has a countable
basis.
(b) Show that every metrizable Lindelof space has a countable basis.
Proof of (a). Let X be a metrizable space and A a countable dense subset. We claim
that the set of open balls in X below is a basis for X:
B := {B(a, 1/n) X | a A, n N}.
Note B is countable since is in bijection with A N. So let x be contained in an open
subset U X; since X is metrizable, x B(x, ) U for some small . Let n be
such that 1/n < /2. Then, since A is dense, some a A is contained in B(x, 1/n),
and conversely x B(a, 1/n). By the triangle inequality, x B(a, 1/n) U , so by
Lemma 13.2 we are done.
Proof of (b). Let X be a metrizable space. Then, the set of open balls
Ben := {B(x, 1/n) X | x X}
is an open cover of X for each
S n N; since X is Lindelof, it has a countable
subcover Bn . We claim B := nN Bn is a basis for X; note it is countable since it is
a countable union of countable sets. So let x B(x, ) U as before, and let n such
that 1/n < /2. Then, there is some x0 X such that B(x0 , 1/n) Bn contains x.
By the triangle inequality, x B(x0 , 1/n) U , so by Lemma 13.2 we are done.
Exercise 30.8. Which of our four countability axioms does R in the uniform topology satisfy?
Solution. R is first countable since it is metrizable (see p. 130 and Example 30.2),
but is not second countable by Example 30.2. By Exercise 30.5, we then see that R
does not have a countable dense subset, and is also not Lindelof.
Exercise 30.9. Let A be a closed subspace of X. Show that if X is Lindelof, then
A is Lindelof. Show by example that if X has a countable dense subset, A need not
have a countable dense subset.
29
n
union Q = Q is also countable. Thus, Q is countable and so is a countable
dense subset of itself.
We now show Q is Lindelof. Suppose V is an open covering of Q . Then, since
31
32
Normal Spaces
i=1
nZ+
i=1
33
Exercise 33.1. Examine the proof of the Urysohn lemma, and show that for given
r,
\
[
f 1 (r) =
Up
Uq ,
p>r
q<r
p, q rational.
Proof. . Suppose x f 1 (r), i.e., x Ur by definition, and x
/ Uq for all q < r by
definition in Step 3. T
Then, x S
Ur Up for all p > r by construction in Steps 1, 2.
. Suppose x p>r Up q<r Uq . This implies x Up Up for all p > r, and
so f (x) r by Step 4(1), and also x
/ Uq for all q < r, and so f (x) r by Step
4(2). Thus, f (x) = r.
34
Now recall that we have two types of open sets of Y , sets U open in X, and
sets Y \ C for C compact in X, by construction in Theorem 29.1. By Lemma 13.2,
it suffices to show that for each x in an open set, we can find an element of B +
containing x properly contained in the open set. So first consider the U . For every
x U , there exists Bi B such that x Bi U since B is a basis of X. Now
consider the Y \ C and x Y \ C. If x X, then Y \ C X 3 x is open in X
by Theorem 29.1 (which says X is a subspace), and so the previous argument for
U X applies. It remains to show the case x = , where {} = Y \ X. For each
y C, we can find a neighborhood V 3 y in X such that V X = Y \ {x} by
local compactness. Since V is open in X, there exists some Bi V containing
y.
S
These
B
cover
C
and
so
there
is
a
finite
subcover
by
compactness
C
B
;
also,
i
S
S i
x
/ Bi C. Thus, we have x Y \ Bi Y \ C. B + is therefore a basis for Y
by Lemma 13.2.
Since Y is compact and Hausdorff, it is normal by Theorem 32.3, and in particular,
Y is regular. Finally, since Y also has a countable basis, it is metrizable by the
Urysohn metrization theorem (Theorem 34.1).
36
Imbeddings of Manifolds
Exercise 36.1. Prove that every manifold is regular and hence metrizable. Where
do you use the Hausdorff condition?
Proof. Let X be our m-manifold. We first show X is locally compact. Let x X and
a neighborhood U 3 x be given. Since X is a manifold, there exists a homeomorphism
f : U f (U ) Rm . Since Rm is locally compact by Example 29.2, there exists a
neighborhood V f (U ) of f (x) such that V is compact and V f (U ) by Theorem
29.2. Then, x f 1 (V ) f 1 (V ) U . But then, f 1 (V ) is compact and therefore
closed by Theorems 26.3 and 26.5, and so f 1 (V ) f 1 (V ) since the closure of a set
is the intersection of all closed sets containing it, and moreover f 1 (V ) = f 1 (V ) by
Theorem 18.1. Finally, we have x f 1 (V ) f 1 (V ) U , with f 1 (V ) compact,
and so X is locally compact by Theorem 29.2.
Now since X is locally compact and Hausdorff, X is regular by Exercise 32.3.
Since X is regular and has a countable basis, it is metrizable by the Urysohn metrization theorem (Theorem 34.1). Note we used that X is Hausdorff in showing X is
regular, for the characterization of local compactness, and the assertion that compact
implies closed.
Exercise 36.5. The Hausdorff condition is an essential part of the definition of a
manifold; it is not implied by the other parts of the definition. Consider the following
33
space: Let X be the union of the set R {0} and the two-point set {p, q}. Topologize
X by taking as basis the collection of all open intervals in R that do not contain
0, along with all sets of the form (a, 0) {p} (0, a) and all sets of the form
(a, 0) {q} (0, a), for a > 0. The space X is called the line with two origins.
(a) Check that this is a basis for a topology.
(b) Show that each of the spaces X {p} and X {q} is homeomorphic to R.
(c) Show that X satisfies the T1 axiom, but is not Hausdorff.
(d) Show that X satisfies all the conditions for a 1-manifold except for the Hausdorff condition.
Proof of (a). For any x X, for a large enough either (a, 0) {p} (0, a) or
(a, 0) {q} (0, a) contains x. Moreover, if we have two basis elements B1 , B2 ,
their intersection is either empty, already another basis element, or a set of the form
(a, 0) (0, a), we have a basis for X, for if x B1 B2 , B1 B2 , or in the last case
choosing (a, 0) or (0, a), would be a basis element containing x that is contained in
the intersection.
Proof of (b). Let f : X \ {q} R be defined such that x 7 0 if x = p, and x 7 x
otherwise. Clearly f is a bijection; it suffices to show it is continuous and open.
A basis element not containing p, q maps to a basis element not containing 0 by
definition and vice versa. A basis element of the form (a, 0) {p} (0, a) maps
to (a, a), and in the other direction, an open interval (a, b) for a, b > 0 maps to
(a, 0) {p} (0, a) (0, b) if a < b, and similarly if a > b. Thus, f is a homeomorphism. Note g : X \ {p} R is also a homemorphism by the same argument.
Proof of (c). To show X is T1 , it suffices to show {x} is closed for all x X. {p}, {q}
are closed since X \ {p} = (, 0) {q} (0, ), X \ {q} = (, 0) {p} (0, )
are open. {x} is closed for x 6= p, q since if x < 0, X \ {x} = (, x) (x, 0)
{p, q} (0, ) is open, and likewise for if x > 0. Note X is not Hausdorff since any
neighborhood U of {p} intersects any neighborhood V of {q}, since U, V must contain
basis elements Bp , Bq that contain p, q respectively; however, Bp Bq = ((a, 0)
{p} (0, a)) ((b, 0) {p} (0, b)) = (c, 0) (0, c) 6= for c = min{a, b}.
Proof of (d). We claim the basis elements with rational end points form a countable
basis. For any (a, b) basis element containing x, we can find a < r < s < b such that
x (r, s) (a, b); for any (a, 0) {p} (0, a) basis element containing x, we can
find 0 < r < a such that x (r, 0) {p} (0, r) (a, 0) {p} (0, a). Thus they
form a basis by Lemma 13.2.
Now for any x 6= p, q, we see that there is a neighborhood U of x not containing p, q, and U is homeomorphic to a neighborhood in R by (b). For x = p, q,
34
any neighborhood of x will contain a basis element (a, 0) {x} (0, a), which is
homeomorphic to (a, a) by (b).
Part II
Algebraic Topology
9
51
Homotopy of Paths
52
36
53
Covering Spaces
q 1
R2
q
S1
S1
r|Wi
(q|Wi )1
Vi
Zi
q|Zi
p|Vi
commutes, where the top and vertical arrows are homeomorphisms, and so we have
a homeomorphism between Vi and U for all i.
37
54
Exercise 54.1. What goes wrong with the path-lifting lemma (Lemma 54.1) for
the local homeomorphism of Example 2 of 53?
Solution. Since b0 = (1, 0) cannot be covered by an open set that is evenly covered
by p by Example 53.2, we see that the first step in the proof of Lemma 54.1 fails.
Exercise 54.4. Consider the covering map p : R R+ R2 0 of Example 6 of
53. Find liftings of the paths
f (t) = (2 t, 0),
g(t) = ((1 + t) cos 2t, (1 + t) sin 2t),
h(t) = f g.
Sketch these paths and their liftings.
Solution. We see first that the covering map p is the mapping
(x, s) 7 ((cos 2x, sin 2x), s) 7 s(cos 2x, sin 2x).
Thus, we have the family of liftings
fn (t) = (n, 2 t)
gn (t) = (t + n, 1 + t)
(
if t [0, 1/2]
n (t) = (n, 2 2t)
h
(2t + n 1, 2t) if t [1/2, 1]
where n Z. We omit the sketches.
Exercise 54.5. Consider the covering map p p : R R S 1 S 1 of Example 4
of 53. Consider the path
f (t) = (cos 2t, sin 2t) (cos 4t, sin 4t)
in S 1 S 1 . Sketch what f looks like when S 1 S 1 is identified with the doughnut
surface D. Find a lifting f of f to R R, and sketch it.
Solution. We have the family of liftings fn (t) = (n + t/2, n + t), where n Z. We
omit the sketches.
38
58
b
a
b
a
b
a
where the last arrow comes from the construction of the torus as the quotient R2 /Z2 .
(c). 1 (S 1 I) = 1 (S 1 ) 1 (I) = 1 (S 1 ), for we have the deformation retraction
from I onto {0}.
(d). 1 (S 1 R) = 1 (S 1 ) 1 (R), for we have the deformation retraction from
R onto {0}.
(e). This space retracts onto S 2 \ {p, q, r} ' R2 \ {s, t} (where the isomorphism
is from Theorem 59.3), which retracts onto the figure-eight, and so the fundamental
group is isomorphic to the fundamental group of the figure-eight.
(f ). 1 ({x | kxk > 1}) = 1 (S 1 ), by a deformation retraction onto a circle of
radius > 1, whose fundamental group is 1 (S 1 ) since it is homeomorphic to S 1 .
(g). 1 ({x | kxk 1}) = s (S 1 ), for we have the deformation retraction onto S 1 .
(h). 1 ({x | kxk < 1}) = 1 ({0}) = 1, by a deformation retraction onto {0}.
(i). 1 (S 1 (R+ 0)) = 1 (S 1 ), since we can retract R+ to one point (1, 0) S 1 .
(j). 1 (S 1 (R+ R)) = 1 (S 1 ), since we can retract R+ R to the half-circle
1
S R+ R.
(k). 1 (S 1 (R 0)) is isomorphic to the fundamental group of the figure-eight,
for we can retract (R 0) onto the line segment from (1, 0) to (1, 0), which gives
a topological space homotopy equivalent to the figure-eight.
(l). 1 (R2 \ (R+ 0)) = 1, since we can retract onto any arbitrary point p
2
R \ (R+ 0).
Exercise 58.9. We define the degree of a continuous map h : S 1 S 1 as follows:
Let b0 be the point (1, 0) of S 1 ; choose a generator for the infinite cyclic group
1 (S 1 , b0 ). If x0 is any point of S 1 , choose a path in S 1 from b0 to x0 , and define
(x0 ) =
(). Then (x0 ) generates (S 1 , x0 ). The element (x0 ) is independent of
the choice of the path , since the fundamental group of S 1 is abelian.
Now given h : S 1 S 1 , choose x0 S 1 and let h(x0 ) = x1 . Consider the
homomorphism
h : (S 1 , x0 ) 1 (S 1 , x1 ).
Since both groups are infinite cyclic, we have
h ((x0 )) = d (x1 )
40
()
for some integer d, if the group is written additively. The integer d is called the
degree of h and is denoted by deg h.
The degree of h is independent of the choice of the generator ; choosing the other
generator would merely change the sign of both sides of ().
(a) Show that d is independent of the choice of x0 .
(b) Show that if h, k : S 1 S 1 are homotopic, they have the same degree.
(c) Show that deg(h k) = (deg h) (deg k).
(d) Compute the degrees of the constant map, the identity map, the reflection map
(x1 , x2 ) = (x1 , x2 ), and the map h(z) = z n , where z is a complex number.
(e) Show that if h, k : S 1 S 1 have the same degree, they are homotopic.
Proof of (a). Let x0 =
6 y0 S 1 , and let h(y0 ) = y1 . Let be a path from x0 to y0 ;
0
then, 0 = h is a path from x1 to y1 . Then, (y1 ) = [ ] (x1 ) [ 0 ], and so
0
Proof of (e). By (a), we use b0 as our base point, and let h(b0 ) = x0 , k(b0 ) = y0 .
Consider h : 1 (S 1 , b0 ) 1 (S 1 , x0 ), k : 1 (S 1 , b0 ) 1 (S 1 , y0 ); by assumption,
there exists n, such that h ((b0 )) = n (x0 ), k ((b0 )) = n (y0 ).
Now let (s) = e2is , which generates 1 (S1 , b0 ) as above. Then, let h]
, k]
be
1
the lifts of h , k through the standard covering p : R S , at h0 p1 (x0 ), k0
p1 (y0 ) respectively. Let h1 = h]
(1), k1 = k]
(1).
Now we have h ((b0 )) = (h1 h0 )(x0 ), k ((b0 )) = (k1 k0 )(y0 ), and so
h1 h0 = k1 k0 = n. We want to find a path homotopy from h]
to k]
. We
]
]
first define h]
= h]
h0 + k0 so that both h]
, h]
have the same end points;
we then see there exists a path homotopy F between them since R is contractible.
]
at k0 . Then,
Now consider h(x)
= e2i(k0 h0 ) h(x). Then, h]
is the lift of h
]
to k]
. Since this is a path homotopy, it factors
p F is a path homotopy from h]
to k.
through (p, id) to get a homotopy F from h
and h given by
We now see that there exists a path homotopy G between h
2is(k0 h0 )
G(x, t) = h(x)e
, and so there exists a path homotopy combining F, G between h and k.
Exercise 58.10. Suppose that to every map h : S n S n we have assigned an integer,
denoted by deg h and called the degree of h, such that
(i) Homotopic maps have the same degree.
(ii) deg(h k) = (deg h) (deg k).
(iii) The identity has degree 1, any constant map has degree 0, and the reflection
map (x1 , . . . , xn+1 ) = (x1 , . . . , xn , xn+1 ) has degree 1.
Prove the following:
(a) There is no retraction r : B n+1 S n .
(b) If h : S n S n has degree different from (1)n+1 , then h has a fixed point.
(c) If h : S n S n has degree different from 1, then h maps some point x to is
antipode x.
(d) If S n has a nonvanishing tangent vector field v, then n is odd.
Proof of (a). We use polar coordinates to denote B n+1 and S n , i.e., the points in
B n+1 are given by (, 2 , . . . , n , ) and the points in S n by (, 2 , . . . , n ), where
0 < 2, 0 i < , and 0 1. Thus, the inclusion S n , B n+1 is given by
(, 2 , . . . , n ) 7 (, 2 , . . . , n , 1).
Now, suppose a retraction r : B n+1 S n exists. Then, define the homotopy
H : S n [0, 1] S n by H(x1 , . . . , xn , t) = r(x1 , . . . , xn , t), which is continuous since
r is. Then, H(x1 , . . . , xn , 0) is constant, hence has degree 0, whereas H(x1 , . . . , xn , 1)
is the identity, hence has degree 1, which contradicts (i).
42
(1 t)h(x) + ta(x)
.
k(1 t)h(x) + ta(x)k
59
Exercise 59.1. Let X be the union of two copies of S 2 having a single point in
common. What is the fundamental group of X? Prove that your answer is correct.
43
60
Exercise 60.2. Let X be the quotient space obtained from B 2 by identifying each
point x of S 1 with its antipode x. Show that X is homeomorphic to the projective
plane P 2 .
Proof. Consider X as constructed from B 2 identified with the closed upper hemisphere of S 2 . Let p : S 2 P 2 , q : B 2 X be the quotient maps, and : S 2 B 2
the map sending x to either itself or x if x
/ B 2 ; note this is a quotient map since
2
2
U S open implies (U ) open, and V B open implies 1 (V ) = V V open.
We then have the commutative diagram
S2
P2
B2
q
11
67
68
(c) Show that the only elements of G that have finite order are the elements of G1
and G2 that have finite order, and their conjugates.
Proof of (a). For 1 6= g G1 , 1 6= h G2 , gh 6= hg since otherwise we would have
distinct reduced word representations of the same element of G.
Proof of (b). If x G has even length, then without loss of generality, x starts with
an element in G1 and ends with one in G2 , and so we cannot reduce xn to the identity,
and x has infinite order. If x G has odd length, then without loss of generality,
x = ghg 0 for g, g 0 G1 , h G. Then, g 1 xg = hg 0 g has shorter length, for g 0 g
reduces to one element in G1 .
Proof of (c). Suppose x G has finite order. Then, by (b) it must have odd length
2k + 1. We proceed by induction on k. For k = 0, we see the length is 1, and so
x Gi for some i, and has finite order in Gi . Now suppose k > 0. Since x has odd
length, x = g 1 yg for g, y G, y of shorter length. y has odd length for if not, y has
infinite order by (b), and so x also has infinite order since xn = g 1 y n g, which is a
contradiction. Since y is of finite order by the fact gxn g 1 = y n , y is either equal to
an element of Gi with finite order or conjugate to one by inductive hypothesis. If the
latter is true, x = g 1 yg = g 1 h1 zhg = (hg)1 zhg for h G, and z Gi having
finite order for some i. x is therefore conjugate to a finite order element of Gi .
71
Exercise 71.2. Suppose X is a space that is the union of the closed subspaces X1 ,
. . . , Xn ; assume there is a point p of X such that Xi Xj = {p} for i 6= j. Then
we call X the wedge of the spaces X1 , . . . , Xn , and write X = X1 Xn .
Show that if for each i, the point p is a deformation retract of an open set Wi of
Xi , then 1 (X, p) is the external free product of the groups 1 (Xi , p) relative to the
monomorphisms induced by inclusion.
Proof. By induction, it suffices to show when X = X1 X2 ; moreover, it suffices to
consider when the Xi are both path-connected since if Ci are the path components
containing p in Xi , then 1 (Ci , p) = 1 (Xi , p) as on p. 332. So, let U = X1 W2
and V = X2 W1 . Then, both U and V are path connected since they deformation
retract to X1 , X2 , respectively, and U V = W1 W2 is moreover simply connected
since it deformation retracts to {p}. Thus, by Corollary 70.3, there is an isomorphism
1 (X1 , p) 1 (X2 , p) ' 1 (X, p).
Exercise 71.4. Show that if X is an infinite wedge of circles, then X does not satisfy
the first countability axiom.
46
Proof. Let p X be the common point of the circles. Suppose X has a countable
basis {Ui } at p; we can assume without loss of generality that Ui ) Uj if i < j. For
each Ui , we know that Vij = Ui Sj is open for any i, j by the coherence condition,
and is nonempty since
S p Vij .
Now take V = Vii ; we claim it is a neighborhood of p that does not contain
any Ui . It is open by coherence since V Si = Ui is open for all i, and contains p by
construction above. Now suppose Ui V . Then, this implies Ui Sj V Sj = Uj
for all j, and in particular when i < j, which contradicts that Ui ) Uj if i < j.
Exercise 71.5. Let Sn be the circle of radius n in R2 whose center is at the point
(n, 0). Let Y be the subspace of R2 that is the union of these circles; let p be their
common point.
(a) Show that Y is not homeomorphic to a countably infinite wedge X of circles,
nor to the space of Example 1.
(b) Show, however, that 1 (Y, p) is a free group with {[fn ]} as a system of free
generators, where fn is a loop representing a generator of 1 (Sn , p).
Proof of (a). Y is a subspace of R2 and so it is first countable by Theorem 30.2, and
so Y is not homeomorphic to X by Exercise 71.4, which says X is not first countable.
Denote Z as the space of Example 71.1; we claim Z is compact while Y is not.
First, denoting Dm as the closed disc of radius 1/m with center at the point (1/m, 0),
we seeSthat Z Dm is closed
T since it is a finite union of closed sets Z Dm =
Dm n<m Cn . Then, Z m (Z Dm ) trivially; moreover,
since if x
/ Z, then
T
x
/ Dm for all m large enough, we have that Z = m (Z Dm ). Thus, Z is
closed. Since Z is bounded, it is then compact by Theorem 27.3. On the other
hand, Y is unbounded hence not compact by Theorem 27.3, and so Y, Z are not
homeomorphic.
Proof of (b). Let in : 1 (Sn , p) 1 (Y, p) be the homomorphism induced by inclusion, and let their respective images be Gn ; we want to show that the homomorphism
n=1
J
J
Y
Y
`j
[fmj ] 7
in ([fmj ])`j
j=1
(1)
j=1
is an isomorphism.
We first show that the homomorphism
(1) is surjective. So, suppose f : I Y
S
is a loop in Y . Letting YN = Y \ n=N +1 {(2n, 0)}, since I is compact, the image
f (I) is also compact,
S thus bounded by Theorem 27.3, and so f (I) YN for some N .
Letting rN : Y N
n=1 Sn , we form the deformation retraction H : YN I YN ,
where H(x, 0) = idYN and H(x, 1) = rN |YN , by retracting the upper and lower
47
1 (Sn , p),
n=1
whose image through the homomorphism (1) is the identity in 1 (Y, p). Let f be a
loop in X whose path-homotopy class is the image of w. Then, f is path homotopic to
a constant in X, so by the argument above, it is path homotopic
to a constant in some
S
YN , and therefore path homotopic to a constant in N
S
.
n=1 n But this contradicts
Theorem 71.1, which says that the map
!
N
N
_
1 (Sn , p) 1
Sn , p
n=1
n=1
is injective.
73
Exercise 73.1. Find spaces whose fundamental groups are isomorphic to the following groups. (Here Z/n denotes the additive group of integers modulo n.)
(a) Z/n Z/m.
(b) Z/n1 Z/n2 Z/nk .
(c) Z/n Z/m. (See Exercise 2 of 71).
(d) Z/n1 Z/n2 Z/nk .
Solution. We use Theorem 60.1 to say 1 (X Y, x0 y0 ) = 1 (X, x0 ) 1 (Y, y0 ),
and use Exercise 71.2 to say 1 (X Y, x0 ) = 1 (X, x0 ) 1 (Y, x0 ) for {x0 } = X Y .
We denote the n-fold dunce cap by Dn . Note since the Dn are path connected,
we do not need to specify base points.
Through repeated applications of the above, and by using induction to get (a)
48
k
Y
i=1
k
_
!
Dni =
Classification of Surfaces
74
Z/ni ,
i=1
!
Dni
i=1
12
k
Y
Z/ni .
i=1
Exercise 74.3. The Klein bottle K is the space obtained form a square by means
of the labeling scheme aba1 b. Figure 74.11 indicates how K can be pictured as an
immersed surface in R3 .
(a) Find a presentation for the fundamental group of K.
(b) Find a double covering map p : T K, where T is the torus. Describe the
induced homomorphism of fundamental groups.
Proof of (a). 1 (K) = ha, b | aba1 b = 1i by Theorem 74.2.
Proof of (b). We consider T as [0, 1] [0, 1] with the relations (0, y) (1, y), (x, 0)
(x, 1), and K as [0, 1] [0, 1] with the relations (0, y) (1, 1 y), (x, 0) (x, 1).
Then, define p : T K by
(
(2x, y)
if x [0, 1/2],
p(x, y) =
(2x 1, 1 y) if x [1/2, 1].
This is continuous in each region, and agrees on the boundary since p(1/2, y) =
(2 1/2, y) = (1, y) = (0, 1 y) = (2 1/2 1, 1 y) and p(1, 1 y) = (1, 1 y) =
(0, y) = p(0, y).
Now recall that 1 (T ) = h, | 1 1 = 1i. Looking at Figures 74.4 and
74.11, we see p () = a2 , p () = b. Since aba1 b = 1 bab = a, we see that
p ()p () = a2 b = babab = ba2 = p ()p ().
75
Homology of Surfaces
Exercise 75.3. Let X be the quotient space obtained from an 8-sided polygonal region
P by pasting its edges together according to the labelling scheme acadbcb1 d.
49
(a) Check that all vertices of P are mapped to the same point of the quotient space
X by the pasting map.
(b) Calculate H1 (X).
(c) Assuming X is homeomorphic to one of the surfaces given in Theorem 75.5
(which it is), which surface is it?
a
c
d
b
a
c
d
b1
50
Solution for (c). Theorem 75.4 says that H1 (Pn ) = Zn1 (Z/2Z). Thus, assuming
that X is homeomorphic to one of the surfaces in Theorem 75.5, we see that X is
homeomorphic to P4 = P 2 #P 2 #P 2 #P 2 by (b).
Exercise 75.4. Let X be the quotient space obtained from an 8-sided polygonal region
P by means of the labelling scheme abcdad1 cb1 . Let : P X be the quotient
map.
(a) Show that does not map all the vertices of P to the same point of X.
(b) Determine the space A = (Bd P ) and calculate its fundamental group.
(c) Calculate 1 (X, x0 ) and H1 (X).
(d) Assuming X is homeomorphic to one of the surfaces given in Theorem 75.5,
which surface is it?
c
a
b1
d1
c
x0
x1
d
Figure 3: Sketch of A = (Bd P ).
Solution for (b). Let x0 be the point identified by the solid lines in Figure 2, and x1
the point identified by the dashed lines. Then, using Figure 2, we see that a connects
51
52
General Topology
3
24
3
3
3
25
3
3
3
4
4
4
5
5
6
6 4
6
6
7
7
7
8
8
8
9
9
10
10
12
12
13
15
15
16
16
18
18
18
19
II
53
27
29
Exercise 23.11 . . . . . . . . . .
Connected Subspaces of the
Real Line . . . . . . . . . . . .
Exercise 24.7 . . . . . . . . . .
Exercise 24.8 . . . . . . . . . .
Exercise 24.12 . . . . . . . . . .
Components and Local Connectedness . . . . . . . . . . . .
Exercise 25.2 . . . . . . . . . .
Compact Subspaces of the Real
Line . . . . . . . . . . . . . . .
Exercise 27.4 . . . . . . . . . .
Local Compactness . . . . . . .
Exercise 29.4 . . . . . . . . . .
Exercise 29.8 . . . . . . . . . .
Algebraic Topology
. 20
.
.
.
.
21
21
22
22
. 26
. 26
.
.
.
.
.
27
27
27
27
28
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
28
28
29
29
29
30
30
30
31
31
31
31
32
32
32
.
.
.
.
.
.
32
32
32
33
33
33
35
.
.
.
.
.
.
.
.
.
35
35
35
35 11 The
35
67
36
36
37
68
37
37
71
.
.
.
.
38
38
38
38
.
.
.
.
.
.
.
73
Exercise 60.2 . . . . . . . . . . . 44
Exercise 60.3 . . . . . . . . . . . 44
Seifert-van Kampen Theorem
Direct Sums of Abelian Groups .
Exercise 67.2 . . . . . . . . . . .
Exercise 67.4 . . . . . . . . . . .
Free Products of Groups . . . . .
Exercise 68.2 . . . . . . . . . . .
The Fundamental Group of a
Wedge of Circles . . . . . . . . .
Exercise 71.2 . . . . . . . . . . .
Exercise 71.4 . . . . . . . . . . .
Exercise 71.5 . . . . . . . . . . .
The Fundamental Groups of the
Torus and the Dunce Cap . . . .
Exercise 73.1 . . . . . . . . . . .
39
39
39
40 12 Classification of Surfaces
74
Fundamental Groups of Surfaces
42
Exercise 74.3 . . . . . . . . . . .
43
75
Homology of Surfaces . . . . . . .
43
Exercise 75.3 . . . . . . . . . . .
. 44
Exercise 75.4 . . . . . . . . . . .
54
45
45
45
45
45
45
46
46
46
47
48
48
49
49
49
49
49
51