<< стр. 6(всего 8)СОДЕРЖАНИЕ >>
the topology of Z has U в€© Z = i в€’1 (U ) as open sets, so that the inclusion map i is
continuous. It has no other opens, so it is the topology with the fewest open sets needed
to make i continuous.
Now let X be a set and в€ј an equivalence relation on X . Consider the set Y = X/в€ј
of equivalence classes of в€ј. That is, in Y , if I write x for the class of x, I have x = y
if and only if x в€ј y, so that Y is obtained by identifying or вЂ˜glueing togetherвЂ™ points
x and y when x в€ј y. Every surjective map f : X в†’ Y of X to a set Y is obtained in
this way, by just declaring в€ј to be the relation x в€ј y в‡ђв‡’ f (x) = f (y).
Now suppose that X is a topological space, and let в€ј and f : X Y = X/в€ј be
as before. The quotient topology of Y has open sets deп¬Ѓned by

U вЉ‚ Y is open в‡ђв‡’ f в€’1 (U ) is open in X .
118 TOPOLOGY

It is easy to see that this satisп¬Ѓes the axioms for a topology. Clearly f is continuous,
and this is the topology with the most open sets for which f is continuous. It often
happens that the quotient topology of Y is not a metric topology, as we see presently.
As above, let X be a topological space, and в€ј an equivalence relation.

The quotient space Y = X/в€ј has the following properties.
Proposition

There is a continuous map f : X в†’ Y such that
(1)

x в€ј y =в‡’ f (x) = f (y)

(that is, f is constant on equivalence classes of в€ј).
Given a space Z and a continuous map g : X в†’ Z that is constant on equivalence
(2)
classes of в€ј, there exists a unique continuous map h : Y в†’ Z such that g = h в—¦ f.

(1) comes from the deп¬Ѓnition as I discussed above.
Proof
(2) Given g, the map h must take f (x) в€€ Y to g(x). In other words, an element of
Y is an equivalence class [x] of elements of X under в€ј, so choose x in that class, and
set h([x]) = g(x). This is well deп¬Ѓned because of the assumption that g is constant
on equivalence classes. Why is h continuous? For U вЉ‚ Z open, g в€’1 (U ) is open in
X , so that f в€’1 (h в€’1 (U )) is open in X , and h в€’1 (U ) is open in Y by deп¬Ѓnition of the
quotient topology of Y . QED

This property of the topological space Y and the quotient map f : X в†’ Y is called
a universal mapping property or UMP. Constructions throughout abstract math can
be speciп¬Ѓed in terms of UMPs: you say what you want to do (in this case, п¬Ѓnd a
continuous map that is constant on equivalence classes), and then ask for the solution
of a UMP. In the present case, the universal mapping property says that f does not do
anything that is not forced by the conditions that f is constant on equivalence classes
of в€ј, and is continuous. In other words, f identiп¬Ѓes exactly the equivalence classes
of в€ј, and makes no more identiп¬Ѓcations, and Y has the most open sets subject to f
being continuous. It is interesting to analyse the above proof to see that this is exactly
what is required to make h well deп¬Ѓned and continuous.

7.6 Standard examples of glueing
The quotient topology on X/в€ј provides the deп¬Ѓnition of вЂ˜glueingвЂ™, the space obtained
from X by glueing together points x в€ј y. Here I discuss some basic examples; see
Exercises 7.18вЂ“7.19 below for more.

S 1 = [0, 1]/в€ј where в€ј glues the endpoints (see Figure 7.2b).
Example 1

Let X be the unit square [0, 1] Г— [0, 1]. The MВЁ bius strip M is deп¬Ѓned
o
Example 2
by glueing some of the sides of X as in Figure 7.6a. More formally, consider the
7.6 STANDARD EXAMPLES OF GLUEING 119

glue
в‰…

The MВЁ bius strip M .
Figure 7.6a o
glue

в‰…

The cylinder S 1 Г— [0, 1].
Figure 7.6b

following equivalence relations on X :
пЈ±
пЈІ either (x, y) = (x , y )
(x, y) в€ј (x , y ) в‡ђв‡’ or x = 0, x = 1 and y = 1 в€’ y
пЈі
or vice versa,

and deп¬Ѓne the MВЁ bius strip M by M = X/в€ј, with the quotient topology. By deп¬Ѓnition
o
of the quotient topology, a point on the glued line has a neighbourhood obtained from
neighbourhoods of its two inverse images in X .

The cylinder S 1 Г— [0, 1] is obtained by glueing the unit square [0, 1] Г—
Example 3
[0, 1] as in Figure 7.6b.

S 1 Г— S 1 is obtained from the unit square [0, 1] Г— [0, 1]
The torus T
Example 4
by the glueing of Figure 7.6c. By deп¬Ѓnition of the quotient topology, the four corners
of the square correspond to a point of the torus, and a neighbourhood of it is obtained
from neighbourhoods of the four corners in X . You can regard this as a surface of
rotation in R3 , or the surface in R4 given by x1 + y1 = x2 + y2 = 1.
2 2 2 2

The surface with g handles. The picture is as in Figure 7.6d: you get it
Example 5
by starting from S 2 , marking 2g distinct points on S 2 , cutting out small discs around
these, and glueing back in g small cylinders. See Exercise 7.19 as well as 9.4 for
further discussion.
Notice that all these spaces can easily be made into metric spaces, but you do not
really gain anything by doing so.

The MВЁ bius strip M, the cylinder N = S 1 Г— [0, 1] and the torus T
o
Proposition
are not homeomorphic.
120 TOPOLOGY

в‰…

в‰…

Figure 7.6c The torus.

в‰…
glue

Surface with g handles.
Figure 7.6d

I can almost prove this now, though I relegate one crucial statement to the end of
the chapter. The proof consists of the following steps.

Points of the boundary в€‚ M вЉ‚ M and в€‚ N вЉ‚ N are distin-
Step 1. Main claim
guished from points of the interior by their topological properties.

Therefore, if there exists a homeomorphism П• : M в†’ N , it must map в€‚ M
Step 2
to в€‚ N , and the restriction must deп¬Ѓne a homeomorphism в€‚ M в€‚ N .

в€‚ M is path connected, whereas в€‚ N is disconnected; hence a homeo-
Step 3
morphism M N as in Step 2 cannot exist. In the same way, в€‚ T = в€…, so that T M
and T N.
Given the main claim, Steps 2вЂ“3 are obvious, and the point is therefore to under-
stand Step 1. How do I distinguish points of the interior of a surface from points on
the boundary? The point is that every small neighbourhood U \ P of an interior point
P contains a small punctured disc D в€— about P; the punctured disc is the topological
7.7 TOPOLOGY OF Pn 121
R

P P

U U

U \P U \P

Figure 7.6e Boundary and interior points.

space {0 < x 2 + y 2 < 1} вЉ‚ R2 . On the other hand, if P is a boundary point, it has
an arbitrarily small neighbourhood homeomorphic to a closed half-disc, that can be
written in polar coordinates

(r, Оё ) 0 в‰¤ r < 1, Оё в€€ [в€’ПЂ/2, ПЂ/2]
U

with P at the centre of the half-disc. Hence U \ P is homeomorphic to

U\P (r, Оё ) 0 < r < 1, Оё в€€ [в€’ПЂ/2, ПЂ/2]

which in turn is homeomorphic to a closed disc with parts of the boundary removed,
as in Figure 7.6e. Hence the essential content of telling interior and boundary points
apart consists in showing that the punctured disc D в€— is not homeomorphic to the
disc D. Think it through yourself to see whether you п¬Ѓnd this statement intuitive;
see 7.15.4, Corollary 1 for the proof.

Topology of Pn
7.7 R

Recall 5.2: projective n-space, as a set, is deп¬Ѓned to be the set of lines of Rn+1 through
the origin, or in other words, the quotient of Rn+1 \ {0} by the equivalence relation
which identiп¬Ѓes x with О»x for О» = 0. The topology of Pn is the quotient topology of
Rn+1 \ {0}. This section considers various ways of looking at this topology.
Write S n = {x в€€ Rn+1 | xi2 = 1} вЉ‚ Rn+1 for the n-sphere. Obviously S n meets
every line of Rn+1 through 0 in a pair of antipodal points. Therefore, as a set, Pn = R
S /В±, where В± is the equivalence relation identifying antipodal points of the sphere
n

(that is, pairs В±x of opposite points). The topology of Pn coincides with the quotient
topology of S n /В±; indeed, a subset of the lines through 0 is open in Rn+1 \ 0 if and only
if its intersection with S n is open in the subspace topology of S n . Note that S n вЉ‚ Rn+1
is closed and bounded hence compact (Example 7.4.2); thus Pn , being the continuous
122 TOPOLOGY

disk

MГ¶bius strip

Topology of P2 : MВЁ bius strip with a disc glued in.
Figure 7.7 o
R

image of a compact space, is also compact by the tautological Proposition 7.4.3. This
was one of the motivations for constructing projective space discussed in 5.1.4.
There are many ways of understanding the quotient, by choosing a closed subset
of S n that picks out just one of each pair of antipodal points for a big open subset
and then glueing around the boundary: for example, the closed northern hemisphere
of S n contains one of each pair of antipodal points, except that I still have to identify
antipodal points of the equatorial sphere S nв€’1 .
In the case n = 2, we can do the following: view S 2 as the union of 3 pieces, a
cap around the north pole, a band around the equator, and a cap around the south
pole (see Figure 7.7). Every point in the southern cap is equivalent to a point in the
northern cap, so the southern cap is not needed. Now cut the equatorial band into its
front and back halves; as before, every point in the back half is equivalent to a point
in the front half, so this piece is also not needed. Now В± glues together the left and
right intervals of the front half to give a MВЁ bius strip; this glueing is the same as in
o
Figure 7.6a. The northern cap is a disc, with boundary a circle; the MВЁ bius strip also
o
has boundary a circle, and P is obtained by glueing these two pieces together along
2

their boundaries. Note that this is an abstract construction: you cannot do it in R3
without allowing self-crossing.
It is an interesting exercise to see the components of this construction as the result
of cutting P2 along a line and along a conic. See Exercise 7.17(a).

7.8 Nonmetric quotient topologies
X = {P, Q} is a space with only 2 points
Example 1 (The mousetrap topology)
and open sets

T X = в€…, {P}, X .

Here P is an open point, but not Q. Every neighbourhood of Q (there is only one)
contains P. In terms of convergence, the constant sequence P, P, . . . converges both
to P and to Q (please check this as an instant exercise; refer back to 7.4.2 for the
7.8 NONMETRIC QUOTIENT TOPOLOGIES 123

Q

P

Figure 7.8a The mousetrap topology.

deп¬Ѓnition of convergence if needed). This implies, of course, that the topology of X
is not metric. X is a quotient topology: introduce the equivalence relation в€ј on C
deп¬Ѓned by

x в€ј y в‡ђв‡’ x = О»y with О» в€€ C, О» = 0.

Then there are only two equivalence classes, Q =  and P = [О» в€€ C \ {0}]; {P} is
obviously open while {Q} is not. The point is that if you are at 0 then any arbitrarily
small perturbation takes you into a nonzero number; that is, viewed from Q, the point
P is inп¬Ѓnitely close. But if you are at a nonzero number О», all the points in a small
neighbourhood are also nonzero, so viewed from P, the point Q is far away. Being
zero is an unstable, or closed condition; being nonzero is a stable or open condition.
I call this the mousetrap topology (Figure 7.8a) because if you are at Q (outside
the trap), it is no distance at all to get into the trap. But if you are at P (inside the
trap), then it is a long way out. Thus the content of the topology is more logical than
geometric.
There are many equivalence relations of interest with this kind of behaviour. One
example is the equivalence relation on R with

{x в€€ R | x > 0}, {0}, {x в€€ R | x < 0}

as its 3 equivalence classes.

A similar but more substantial example: consider
quadratic forms q(x, y) = ax + 2bx y + cy 2 on R2 . There is a coordinate change
2

that puts q(x, y) in one of the 6 normal forms:

q1 = x 2 + y 2 , q2 = x 2 в€’ y 2 , q3 = в€’x 2 в€’ y 2 , q4 = x 2 , q5 = в€’x 2 , or q0 = 0.

All the quadratic forms on R2 are parametrised by (a, b, c) в€€ R3 , corresponding
to the symmetric matrix A = a b . Now introduce the equivalence relation on R3
bc
124 TOPOLOGY

q1

q2 q4
q0
q5
ab
= ac в€’ b2 =
bc

q3
Equivalence classes of quadratic forms ax 2 + 2bx y + c y 2 .
Figure 7.8b

corresponding to a coordinate change:

A в€ј B в‡ђв‡’ в€ѓM в€€ GL(2, R) such that A = tM B M.

(Here GL(2, R) is the group of 2 Г— 2 invertible matrixes.) This means exactly that I
consider quadratic forms up to change of basis. So there are exactly the 6 classes, the
strata of Figure 7.8b. The quotient topology on the set

X = R3 /в€ј = q1 , q2 , q3 , q4 , q5 , q0

has open sets

{q1 }, {q2 }, {q3 }, {q4 , q1 , q2 }, {q5 , q2 , q3 }, X

and their unions. For example, every neighbourhood of q4 contains q1 , q2 .

7.9 Basis for a topology
This is a formal idea for constructing topologies. Let B be a collection of subsets of
X . Then B is a basis for a topology if it satisп¬Ѓes the three axioms

1. п¬Ѓnite intersections:

U1 , . . . , Un в€€ B =в‡’ U1 в€© В· В· В· в€© Un в€€ B;

involves every point: for all x в€€ X there exists U в€€ B such that x в€€ U ;
2.
empty convention: в€… в€€ B.
3.
7.9 BASIS FOR A TOPOLOGY 125

If B is a basis for a topology, the family of subsets
Construction

T= UО» : UО» в€€ B, arbitrary index set
О»в€€

of X is a topology on X , the topology generated by B.

This is entirely formal. X в€€ T using axiom 2 and the construction. T is
Proof
closed under arbitrary unions by construction. To show that T is closed under п¬Ѓnite
intersections, note that

UВµ
О»в€€ О»,Вµ
Вµв€€M

I can save time by listing only a basis for the topology, rather than by saying what
all the open sets are. The idea here is that a topology is speciп¬Ѓed by the neighbour-
hoods of each point (because an open set is determined by the condition that it is a
neighbourhood of each of its points). In turn it is enough to specify any system of
sufп¬Ѓciently small neighbourhoods of each point.

In 7.8, Example 2, I described the quotient topology on X = R3 /в€ј
Example 1
by telling you that its open sets are unions of

{q1 }, {q2 }, {q3 }, {q4 , q1 , q2 }, {q5 , q2 , q3 }, {q0 , q1 , q2 , q3 , q4 , q5 }.

Let X, d be a metric space, and
Example 2

B = B(x1 , Оµ1 ) в€© В· В· В· в€© B(xn , Оµn )

be the set of п¬Ѓnite intersection of open balls B(x, Оµ) = {y | d(x, y) < Оµ}. Then B is
a basis for a topology T , the usual metric topology.

Another more substantial ex-
Example 3. Profinite topology of an infinite group
ample. Take any group G; recall that a subgroup H вЉ‚ G is normal (written H G
) if g H = H g for every g в€€ G, that is, its right and left cosets coincide. A normal
subgroup H G of п¬Ѓnite index n is the kernel of a surjective homomorphism G в†’
to a п¬Ѓnite group of order n. For example, if G = Z then every normal subgroup of
п¬Ѓnite index is just nZ for some integer n.
Let G be a group, with e в€€ G the identity element. Then there is a topology on G
such that:
(a) normal subgroups H G of п¬Ѓnite index form a set of sufп¬Ѓciently small neighbour-
hoods of e;
the right translation maps r g : G в†’ G deп¬Ѓned by f в†’ f g are homeomorphisms.
(b)
It follows from (a) and (b) that a set of sufп¬Ѓciently small neighbourhoods of any
g в€€ G are given by cosets g H , where the H are as in (a). So take

B = {в€…} в€Є {cosets of normal subgroups of п¬Ѓnite index}
126 TOPOLOGY

|Оґx|, |Оґy| < Оµ |Оґx| + |Оґy| < Оµ Оґx2 + Оґy2 < Оµ

Figure 7.10 Balls for product metrics.

as a basis for a topology. I check that this is a basis by going through the three
axioms. Indeed, в€…, G в€€ B. Also if H1 , . . . , Hn are normal subgroups of п¬Ѓnite index
then so is H1 в€© В· В· В· в€© Hn , clearly, and if g1 H1 , . . . , gn Hn are their cosets then either
g1 H1 в€© В· В· В· в€© gn Hn = в€…, or в€ѓg в€€ g1 H1 в€© В· В· В· в€© gn Hn , in which case

The topology generated by this basis is called the proп¬Ѓnite topology of G. Note that
if H G is a normal subgroup of п¬Ѓnite index then its cosets form a partition of G
by п¬Ѓnitely many disjoint open sets. Therefore any of these cosets is also closed.

Proп¬Ѓnite topologies on groups have lots of applications in algebra and
Remark
number theory. For example, in number theory, you may want to solve an equation
f (x, y) = 0 in Z, knowing that you can solve it modulo all N . Another example
occurs in Galois theory. The idea is that if k вЉ‚ L is an inп¬Ѓnite Galois п¬Ѓeld extension,
the п¬Ѓnite extension п¬Ѓelds k вЉ‚ K вЉ‚ L correspond to subgroups of п¬Ѓnite index in the
inп¬Ѓnite Galois group Gal(L/k). The Galois group Gal(L/k) is automatically proп¬Ѓnite,
in the sense that it is deп¬Ѓned by its п¬Ѓnite quotient groups.

7.10 Product topology
Let X and Y be topological spaces; I show how to put a topology on X Г— Y . Take the
set of subsets

B = {U Г— V вЉ‚ X Г— Y } with U вЉ‚ X and V вЉ‚ Y open.

Then

(U1 Г— V1 ) в€© (U2 Г— V2 ) = (U1 в€© U2 ) Г— (V1 в€© V2 )

gives the п¬Ѓnite intersection property; the other two axioms are obvious, so B is a
basis for a topology on X Г— Y . The product topology on X Г— Y is deп¬Ѓned to be the
topology generated by B.
If X and Y are metric spaces, it is easy to see that the product topology on X Г— Y
is the topology deп¬Ѓned by any of the metrics max(d X , dY ), d X + dY , d X + dY , etc.
2 2

(see Figure 7.10). It follows that for n, m positive integers, the product topology on
Rn Г— Rm is the same as the metric topology on Rn+m . For example, on R2 = R Г— R,
7.11 THE HAUSDORFF PROPERTY 127

the sets (a1 , b1 ) Г— (a2 , b2 ) provide arbitrarily small open sets, but obviously not all
open sets are of this form.

7.11 The Hausdorff property
A topological space is Hausdorff 1 if for all x = y в€€ X , there exist disjoint open sets
U, V вЉ‚ X with x в€€ U , y в€€ V . (See Figure 7.2a.) This is clearly another topological
property.
If X is Hausdorff then every point x в€€ X is closed: for if x = y there exists an open
set containing y and not x, and therefore X \ x is open. This is a weaker separation
axiom,

в€Ђx = y в€€ X, в€ѓ an open set U containing y and not x

called HausdorffвЂ™s T1 condition. (The Hausdorff condition on X introduced here is
sometimes also called T2 .)

A metric space X is automatically Hausdorff: just choose Оµ > 0 with
Example 1
Оµ< y) and set U = B(x, Оµ), V = B(y, Оµ).
1
d(x,
2

Examples 1 and 2 of 7.8 are clearly not Hausdorff. The coп¬Ѓnite topol-
Example 2
ogy of an inп¬Ѓnite set X (7.1 Example 2) is not Hausdorff either: a nonempty open
set is the complement of a п¬Ѓnite set, so the intersection of any two open sets is again
the complement of a п¬Ѓnite set, so nonempty. Thus these are certainly not metric
topologies.

A topology on a п¬Ѓnite set X is Hausdorff if and only if it is the discrete
Example 3
topology. Indeed, if X is Hausdorff then any point x в€€ X is closed, so every subset
of X is closed.

A topological space X is Hausdorff if and only if the diagonal
Proposition

= {(x, x) | x в€€ X } вЉ‚ X Г— X
X

is closed in the product topology of X .

Note п¬Ѓrst that for any subsets U, V вЉ‚ X ,
Proof

U Г—V в€© = {(x, x) | x в€€ U в€© V },
X

in other words, U Г— V в€© X is just the diagonal embedding of U в€© V into X Г— X .
A point of X Г— X \ X is just a pair (x, y) with x = y. Consider the problem
of п¬Ѓnding an open neighbourhood W of (x, y) in the product topology such that
1 Felix Hausdorff (1868вЂ“1942) was the originator of many of the basic ideas of metric and topological
spaces, and the author of a famous and inп¬‚uential book GrundzВЁ ge der Mengenlehre. He was Professor at
u
the University of Bonn until he was forced out as a Jew in 1935. He committed suicide in January 1942,
together with several members of his family, to avoid being sent to a Nazi internment camp.
128 TOPOLOGY

Figure 7.12 Separating a point from a compact subset.

W в€© X = в€…. By deп¬Ѓnition of the product topology, an arbitrary small neighbourhood
of (x, y) is U Г— V with U, V вЉ‚ X open and x в€€ U , y в€€ V . Now by the п¬Ѓrst remark,
U Г— V в€© X = в€… if and only if U в€© V = в€….
Since X is closed if and only if X Г— X \ X is open, this happens if and only if
for every (x, y) with x = y there exist open sets U, V вЉ‚ X open, with x в€€ U , y в€€ V
and U в€© V = в€…. QED

7.12 Compact versus closed
Let X be a topological space, and Y вЉ‚ X a subset with the subspace
Proposition
topology.
If X is a compact topological space and Y вЉ‚ X is closed, then Y is also compact.
(i)
If X is Hausdorff and Y вЉ‚ X is compact, then Y is closed.
(ii)
In particular, if X is compact and Hausdorff, then Y вЉ‚ X is compact if and only if it
(iii)
is closed.

(i) Suppose that VО» for О» в€€ are open subsets of Y , in the subspace
Proof
topology, such that Y = VО» . Then by deп¬Ѓnition of the subspace topology 7.5, for
each О» there exists an open set UО» of X such that VО» = Y в€© UО» . Now also X \ Y is open,
by the assumption that Y is closed. Therefore X = UО» в€Є (X \ Y ) is an open cover of
n
X . By deп¬Ѓnition of compactness, a п¬Ѓnite cover will do, say X = i=1 UО»i в€Є (X \ Y ),
n
and then obviously Y = i=1 VО»i .
(ii) Fix x в€€ X \ Y . For every y в€€ Y , using the Hausdorff assumption on X , choose
disjoint open sets U y and Vy with x в€€ U y and y в€€ Vy . By construction, y в€€ Vy , so
that Y вЉ‚ Vy , or equivalently Y = (Y в€© Vy ). But since Y is compact, a п¬Ѓnite
number of the open sets Y в€© Vy cover it, and hence there is a п¬Ѓnite set of Vyi with Y вЉ‚
n n
i=1 Vyi . Set U = i=1 U yi , which is a п¬Ѓnite intersection of opens, therefore open.
n
Since U y в€© Vy = в€… for each y, it follows that U в€© i=1 Vyi = в€…, and in particular
U в€© Y = в€…. (See Figure 7.12.) This proves that for any x в€€ Y , there exists an open
/
set U containing x disjoint from Y , and therefore Y is closed. QED
7.13 CLOSED MAPS 129

V в€© I Г— [a, b]

f: R Г— [a, b] в†’ R
V

f(V)

Figure 7.13a Closed map.

xy = 1

f: R2 в†’ R
f

)(
f(V) = R \ {0}

Figure 7.13b Nonclosed map.

7.13 Closed maps
A map f : X в†’ Y between topological spaces is closed, if f (V ) вЉ‚ Y is closed for
every closed set V вЉ‚ X .

Consider the closed interval [a, b] вЉ‚ R. Then the second projection
Example 1
ПЂ : [a, b] Г— R в†’ R is a closed map (Figure 7.13a).

Start with a closed set V вЉ‚ [a, b] Г— R and a point x в€€ ПЂ (V ) of the closure
Proof
of ПЂ (V ). Take a closed interval I containing x, and restrict attention to the second
projection

B = [a, b] Г— I в†’ I.

Then B is closed and bounded in R2 , so compact (see Proposition 7.4.2); hence
V в€© B is compact by Proposition 7.12 (i). Therefore by Proposition 7.4.3, f (V в€© B)
is a compact subset of I , therefore closed in I . Therefore x в€€ ПЂ (V ), and ПЂ(V ) is
closed. QED

The projection to the x-axis R2 в†’ R is not closed. For consider the
Example 2
hyperbola C : (x y = 1); it is closed in R2 , but its image in R is R \ 0 (Figure 7.13b).

If X is compact and Y Hausdorff then any continuous map f : X в†’
Proposition
Y is closed.
130 TOPOLOGY

V вЉ‚ X closed implies V compact by Proposition 7.12 (i). Therefore
Proof
f (V ) is compact by Proposition 7.4.3, and f (V ) вЉ‚ Y is closed by Proposi-
tion 7.12 (ii). QED

7.14 A criterion for homeomorphism
Let X and Y be topological spaces and f : X в†’ Y a map. I claim that

f is a homeomorphism в‡ђв‡’ f is bijective, continuous, and closed.

=в‡’ is of course clear. If f is bijective, then f closed means exactly that f в€’1 is
continuous: for U вЉ‚ X open gives X \ U closed, which implies that f (X \ U ) is
closed; but f (X \ U ) = Y \ f (U ) because f is bijective, so f (U ) is open, that is,
f в€’1 is continuous.

Theorem (в™Ґ = 0) If X is compact and Y Hausdorff, then a continuous bijective
map f : X в†’ Y is a homeomorphism.

f is closed by Proposition 7.13. QED
Proof

A simple closed curve in R2 is a continuous map f : [0, 1] в†’ R2 that is
Example
one-to-one except for f (0) = f (1). Write в€ј for the equivalence relation that glues the
endpoints of the interval as in Figure 7.2b. Clearly f deп¬Ѓnes a continuous one-to-one
map f : [0, 1]/в€ј = S 1 в†’ R2 . I claim that f : S 1 в†’ f (S 1 ) is a homeomorphism.
Indeed, it is a continuous one-to-one map from a compact space S 1 to a Hausdorff
space f (S 1 ) вЉ‚ R2 . This proves that в™Ґ = 0.

7.15 Loops and the winding number
Let D = (x, y) в€€ R2 x 2 + y 2 < 1 be the unit disc in R2 and D в€— = D \ (0, 0) the
punctured disc. This п¬Ѓnal section will answer the following question, left open in the
proof of Proposition 7.6.

How can we tell that D в€— is not homeomorphic to D?
Question

D is simply connected: any loop in D (starting and ending at P0 , say)
can be contracted in D to the constant loop; on the other hand, a loop in D в€— has a
winding number n around the puncture (0, 0), and the loop can be contracted if and
only if n = 0.

The intuitive picture is clear: think of taking a dog on a long lead for a walk in a
park having a tall pole in the middle. In classical math, the winding number n is the
ambiguity of 2ПЂn in the functions arcsin x and arccos x and the ambiguity of n(2ПЂi)
in the complex function log z. The content of the following sections is the п¬Ѓrst step in
the theory of the fundamental group ПЂ1 (X, P0 ) in algebraic topology; Theorem 7.15.3
on the winding number is closely related to the statement that ПЂ1 (D в€— , P0 ) = Z.
7.15 LOOPS AND THE WINDING NUMBER 131

П•s
tв†’
в†‘
s

Figure 7.15a Continuous family of paths.

Recall that a path in a topological space X is a continuous map П• : [0, 1] в†’ X , written
7.15.1
t в†’ П•(t). Fix a base point P0 в€€ X . A loop in X based at P0 is a path starting and
Paths, loops
ending at P0 ; in other words, a continuous map f : [0, 1] в†’ X such that f (0) =
and families
f (1) = P0 . These are called based loops (as opposed to free loops where we insist
that f (0) = f (1), but allow this to be any point in X ). A loop is allowed to cross over
itself any number of times, or even to stop for a while or go back along itself.
A family of paths (or loops) (П• (s) ) depending on a parameter s в€€ [0, 1] is just an
indexed family of paths (or loops), one for each s в€€ [0, 1]. Write It for the interval
[0, 1] of the path parameter t, and Is for the interval [0, 1] of the family parameter s.

Let X be a metric space. A family of paths (П• (s) ) is continuous
Tentative definition
at s if for every Оµ > 0, there exists a Оґ such that

|s в€’ s | < Оґ =в‡’ d(П• (s) (t), П• (s ) (t)) < Оµ for all t в€€ [0, 1].

We say that (П• (s) ) is a continuous family of paths if it is continuous at all s в€€ [0, 1].
The deп¬Ѓnition applies in exactly the same way to a family of based loops, except that
I insist that П• (s) (0) = П• (s) (1) = P0 for every s.
Note that the continuity assumption is uniform in t (the same Оґ is supposed to
guarantee closeness for all t). The hard thing is to understand why the deп¬Ѓnition just
given is the right one. The point is that to say that the path П• (s) moves just a little, we
have to guarantee that every step П• (s) (t) for п¬Ѓxed t should move just a little, bounded
in t (compare Exercise 7.20).

Corresponding to a family of paths (П• (s) ), consider the map
Lemma

: Is Г— It = [0, 1] Г— [0, 1] в†’ X (s, t) = П• (s) (t).
given by

Then (П• (s) ) is a continuous family of paths if and only if is continuous. See
Figure 7.15a.

Notice that continuous is a topological property. The point of the
Remark
lemma is that it makes the notion of continuous family of paths purely topological.
If X is a topological space, the вЂ˜uniformвЂ™ deп¬Ѓnition of a continuous family of paths
is not applicable (it depends on the metric in X ); in the Deп¬Ѓnition below I deп¬Ѓne a
family of paths П• (s) to be continuous by the property that is continuous.
132 TOPOLOGY

=в‡’ A standard вЂ˜divide the Оµ in twoвЂ™ argument. Suppose we are given
Proof
(s0 , t0 ) в€€ Is Г— It and Оµ > 0. First, because П• (s0 ) is continuous, there exists Оґ such that

d(t, t0 ) < Оґ =в‡’ d(П• (s0 ) (t), П• (s0 ) (t0 )) < Оµ/2.

Next, because П• (s) is a continuous family of paths at s0 , there exists a Оґ such that

d(s, s0 ) < Оґ =в‡’ d(П• (s) (t), П• (s0 ) (t)) < Оµ/2 for all t.

Therefore max{d(s, s0 ), d(t, t0 )} < Оґ implies both of these inequalities, so that

d((s, t), (s0 , t0 )) = max{d(s, s0 ), d(t, t0 )} < Оґ =в‡’
d( (s, t), (s0 , t0 )) в‰¤ d(П• (s0 ) (t), П• (s0 ) (t0 )) + d(П• (s) (t), П• (s0 ) (t)) < Оµ.

This proves is continuous as a function of (s, t).
в‡ђ= In this direction, I have to use compactness of It to get uniformity in t. If
is continuous, each П• (s) : It в†’ X is obviously continuous. I п¬Ѓx some s0 в€€ Is , and try
to prove that (П• (s) ) is a continuous family of paths at s0 . Suppose given Оµ > 0. Start
by working in a neighbourhood of a п¬Ѓxed t в€€ It .
Then because is continuous at (s0 , t), there exists some Оґ (possibly depending
on t) such that

d((s, t ), (s0 , t)) < Оґ =в‡’ d(П• (s) (t ), П• (s0 ) (t)) < Оµ/2.

Therefore d(s, s0 ) < Оґ and d(t , t) < Оґ implies that П• (s) (t ) is close to П• (s0 ) (t) is close
to П• (s0 ) (t ). In other words, for all t , there is a Оґ neighbourhood of t,

d(s, s0 ) < Оґ =в‡’ d(П• (s) (t ), П• (s0 ) (t )) < Оµ.

Now I have proved that every point of the t-interval has a Оґ neighbourhood with
this property; by compactness the t-interval is covered by п¬Ѓnitely many of these, and
by taking Оґ to be the minimum of п¬Ѓnitely many Оґi I get П• (s) (t) close to П• (s0 ) (t) for all
t and all s close to s0 . QED
Let X be a topological space and P0 в€€ X a base point. A family of
Definition
loops П• (s)
in X based at P0 is continuous, if the map

: [0, 1] Г— [0, 1] deп¬Ѓned by (s, t) = П• (s) (t)

is continuous. A loop П• : [0, 1] в†’ X based at P0 is contractible in X , if there is a
continuous family of loops joining П• to the constant loop П•0 (deп¬Ѓned by П•0 (t) = P0
for all t). A path connected space X is simply connected if every loop in X (with
every possible base point, though see Exercise 7.21) is contractible.

A homeomorphism f : X в†’ Y takes paths and continuous families of paths in X
into paths and continuous families of paths in Y . In particular, being simply connected
is a topological property.
7.15 LOOPS AND THE WINDING NUMBER 133

Every loop in the unit disc D в€€ R2 is contractible. This is obvious on
Example
a sheet of paper; formally, it is best to use vector notation: if x0 is the base point,
and П•(t) = xt is the loop then (s, t) = x0 + s(xt в€’ x0 ) gives a continuous family of
paths connecting П• to the constant path at x0 . The point is just that D is convex; the
same argument gives the same conclusion for any convex subset of Rn .

7.15.2 To discuss the winding number formally, I use ordinary Cartesian coordinates (x, y)
on the disc D, and polar coordinates (r, Оё ) on the punctured disc D в€— . Note that r > 0,
The winding
number and that polar coordinates do not really work at the origin. The two coordinate systems
are related by the usual rules x = r sin Оё, y = r cos Оё.
What values do we allow for Оё? Since sin and cos are periodic with period
2ПЂ, the right answer is an equivalence class of R modulo 2ПЂZ. Note that every
equivalence class of R/2ПЂZ has a unique representative Оё в€€ [0, 2ПЂ ); in applications
Оё в€€ (в€’ПЂ, ПЂ] may be more convenient. If you want Оё to be unique, you should insist
that (x, y) = (0, 0), and choose the representative Оё в€€ [0, 2ПЂ). But if you want Оё to
vary continuously with (x, y), you should arrange that (x, y) stays well away from
(0, 0) and choose Оё в€€ R.

Suppose that the base point P0 is in the x-axis (so that Оё = 0 is
Proposition
a possible choice). Let П• : [0, 1] в†’ D в€— be a path with П•(0) = P0 . Then there exist
unique continuous functions r : [0, 1] в†’ R+ and : [0, 1] в†’ R such that

П•(t) = (r (t), (t)) for all t в€€ [0, 1].

If П• is a loop, then the end point is П•(1) = P0 ; hence the value (1) is of the form
2ПЂn for some integer n.

(1) = 2ПЂ n is the winding
The integer number n in the expression
Definition
number of the loop П•, written n = ОЅ(П•).

Write П•(t) = (x(t), y(t)) and set r (t) = x(t)2 + y(t)2 for t в€€ [0, 1].
Proof
Clearly r (t) is continuous and strictly positive. Since [0, 1] is compact, r (t) is bounded
above and below by some R, ПЃ > 0. Deп¬Ѓne

x(t) y(t)
П•1 : [0, 1] в†’ S 1 П•1 (t) = , .
by
r (t) r (t)

Then П•1 is continuous, because x, y and r are, and r (t) is bounded away from 0.
Now П•1 (t) в€€ S 1 is certainly of the form (sin Оё, cos Оё) for some Оё = Оё(t) в€€ R. The
problem is that Оё(t) is determined up to addition of multiples of 2ПЂ, and we have to
choose the value for each t to make the function continuous.
Clearly the map e : R в†’ S 1 deп¬Ѓned by

e : Оё в†’ (sin Оё, cos Оё)
134 TOPOLOGY

в€†+

в€†вЂ“

D в€— covered by overlapping open radial sectors.
Figure 7.15b

вЂ¦
[() ) ( ) ) ]
ai bi вЂ¦ bi +1
0 a1 b1 b2 1

Figure 7.15c Overlapping intervals.

deп¬Ѓnes a homeomorphism of any open interval (a, b) вЉ‚ R of length b в€’ a < 2ПЂ onto
an open sector of the circle S 1 (similarly for closed). To prove the proposition, it is
enough to chop up [0, 1] into п¬Ѓnitely many short intervals Ui so that П•1 maps each
Ui into such a sector, then take a suitable branch of eв€’1 on each of these.
To do this very explicitly, cover D в€— by a number of overlapping open radial sectors.
To be deп¬Ѓnite, say, the вЂ˜topвЂ™ and вЂ˜bottomвЂ™ 200в—¦ sectors

: в€’10в—¦ < Оё < 190в—¦ , : 170в—¦ < Оё < 370в—¦ ,
+ в€’

as in Figure 7.15b (or make your own choice). Let me write Оµ = 10в—¦ = ПЂ/18, so that
the sector intervals are (0 в€’ Оµ, ПЂ + Оµ) and (ПЂ в€’ Оµ, 2ПЂ + Оµ). Then R is divided up into
countably many intervals

I+ = (2lПЂ в€’ Оµ, (2l + 1)ПЂ + Оµ) Iв€’ = ((2l в€’ 1)ПЂ в€’ Оµ, 2lПЂ + Оµ)
l l
and

for l в€€ Z, in such a way that the restriction of e to each interval IВ± is a homeomorphism
l

eВ± : I В± в†’ В± .
l l

For every t в€€ [0, 1], the image П•1 (t) в€€ D в€— is in one of the В± . Since П•1 is con-
в€’1
tinuous, П•1 ( В± ) is open, so there exists a neighbourhood U (t) вЉ‚ [0, 1] of t with
П•1 (U (t)) вЉ‚ В± . I can assume that each of the U (t) is an open interval of [0, 1] (ex-
cept the п¬Ѓrst and last, which are half-open intervals). The U (t) form an open cover of
[0, 1], so by compactness it has a п¬Ѓnite subcover. It follows that I can choose a cover
7.15 LOOPS AND THE WINDING NUMBER 135

of [0, 1] by a п¬Ѓnite number of overlapping open intervals (Figure 7.15c)
m
with U0 = [0, b1 ), Ui = (ai , bi+1 ), Un = (am , 1], and
[0, 1] = Ui ,
0 < a1 < b1 < a2 < В· В· В· < bmв€’1 < an < bm < 1,
i=0

such that П•1 (Ui ) вЉ‚ В± . (For each Ui , if there is any doubt, make the choice of В± at
the outset.)
Now since eВ± : IВ± в†’ В± is a homeomorphism, we clearly deп¬Ѓne over Ui вЉ‚ В±
l l

to be (eВ± )в€’1 в—¦ П•1 , and the only remaining question is the choice of l. First, П•(0) = P0
l

has Оё = 0 by assumption, so that either U0 вЉ‚ + or U0 вЉ‚ в€’ . In the п¬Ѓrst case, choose
I+ , in the second choose Iв€’ . These are forced by the requirement that (0) = 0. Next,
0 0

suppose by induction that is deп¬Ѓned and continuous on U0 в€Є U1 в€Є В· В· В· в€Є Uiв€’1 . The
initial point ai of Ui is in the overlap with Uiв€’1 , so that is already deп¬Ѓned there.
l
This determines the choice of IВ± . QED

Let (П• (s) ) be a continuous family of loops П• (s) : [0, 1] в†’ D в€— . Then
7.15.3 Theorem
the winding number of the loop П• (s) is constant (independent of s). In particular
Winding
ОЅ(П• (0) ) = ОЅ(П• (1) ).
number is
constant in
Write ОЅ(П•) for the winding number of a loop П•. The point is to show that
a family Proof
ОЅ(П•) depends continuously on the path П• : [0, 1] в†’ D в€— .
For some value s, suppose that ОЅ(П• (s) ) = n. I claim that there is a neighbourhood
Vs = (s в€’ Оґ, s + Оґ) such that ОЅ(П• (s ) ) = n for all s в€€ Vs . In other words, the subset

= s ОЅ(П• (s) ) = n вЉ‚ [0, 1]
n

is open. This claim proves the theorem, because the interval [0, 1] is connected, and
is a disjoint union of the open sets n , therefore only one value of n occurs.
First, as in the proof of Proposition 7.15.2, I normalise all the paths by dividing by
the factor r (s) (t), so that each П• (s) maps to S 1 . The normalisation factor is bounded
away from 0 because Is Г— It = [0, 1] Г— [0, 1] is compact and : Is Г— It в†’ D в€— is
continuous. Thus I assume from now on that П• (s) : [0, 1] в†’ S 1 .
Recall the construction of Proposition 7.15.2 for П• (s) . There is a cover of [0, 1] = It
(s)
by a п¬Ѓnite chain of overlapping open intervals Ui = (ai , bi+1 ) such that П•1 (Ui ) вЉ‚
n
В± . After this, the map just lifts В± to IВ± , where the value of n is determined
inductively by the already known value of the starting point (ai ).
Now I choose slightly bigger вЂ˜topвЂ™ and вЂ˜bottomвЂ™ sectors В± of S 1 ; to be explicit,
choose

: в€’20в—¦ < Оё < 200в—¦ , : 160в—¦ < Оё < 380в—¦ ,
+ в€’

or in the previous notation + = (0 в€’ 2Оµ, ПЂ + 2Оµ), etc. As far as П• (s) is concerned,
(s)
nothing has changed: I still have П•1 (Ui ) вЉ‚ В± вЉ‚ В± , and the construction of can
be made equally well with the bigger intervals.
136 TOPOLOGY

However, by the deп¬Ѓnition of continuous family of loops, there exists a small
neighbourhood s в€€ Vs вЉ‚ [0, 1] such that also П• (s ) (Ui ) вЉ‚ В± for all s в€€ Vs . Thus I
can use the same collection of intervals Ui to construct the argument function (s )
of П• (s ) for all s в€€ Vs .
Then (s ) (t) on Vs Г— Ui is equal to the composite eВ± в—¦ (s , t), and hence it is
n

a continuous function of (s , t) в€€ Vs Г— Ui . It follows that (s ) (t) is a continuous
function of s в€€ Vs for any t. In particular, (s ) (1) is a continuous function of s в€€ Vs .
However, it is an integer multiple of 2ПЂ. Therefore it is constant for s в€€ Vs . This
proves the claim. QED

The punctured disc D в€— is not homeomorphic to the disc D.
Corollary 1
7.15.4
Applications
By Theorem 7.15.3, a loop П• in D в€— of winding number = 0 is not con-
Proof
of the
tractible. On the other hand, every loop in D is contractible (Example 7.15.1). The
winding
property that a loop is contractible is a topological property, so is preserved by
number
homeomorphism. Therefore there does not exist a homeomorphism between D and
D в€— . QED

The same proof shows that the punctured disc D в€— is not homeomorphic
Remark
to the disc D with some of its boundary added, since loops in the latter are still
contractible. This concludes the proof of the main claim in Proposition 7.6: a boundary
point of a surface is topologically different from an interior point.

Let
Corollary 2 (вЂ˜Fundamental theorem of algebraвЂ™)

f (z) = z n + anв€’1 z nв€’1 + В· В· В· + a1 z + a0

be a polynomial of degree n в‰Ґ 1 in z, with complex coefп¬Ѓcients ai в€€ C. Then there
exists a complex number О¶ such that f (О¶ ) = 0. In other words, C is algebraically
closed.

Write Cв€— = C \ {0}. Obviously Cв€— is homeomorphic to D в€— , so that the
Proof
deп¬Ѓnition and properties of the winding number apply also to Cв€— .
I п¬Ѓrst give the proof forgetting the small detail of the base point P0 , then explain
how to patch this up. For K в€€ R, K в‰Ґ 0, deп¬Ѓne

П• K : [0, 1] в†’ C by t в†’ f (K exp(2ПЂit)).

If П• K (t) = 0 for some K and some t then f (О¶ ) = 0 for О¶ = K exp(2ПЂit). Assume by
contradiction that this never happens. Then П• K : [0, 1] в†’ Cв€— is a continuous family
of loops in Cв€— . When K = 0 it is the constant loop: П•0 (t) = a0 for all t. When K 0
nв€’1
it has winding number n. Indeed, if K > 1 + i=0 |ai | the term z in f (z) is bigger
n

than all the other terms put together, so that the loop looks like K n (sin nt + i cos nt)
plus a smaller error term that does not allow the path to reach to the origin.
EXERCISES 137

However, by Theorem 7.15.3, if we assume that П• K maps [0, 1] to Cв€— , the wind-
ing number must be constant, independent of K . This is a contradiction. Therefore,
sometimes f (z) = 0.
The proof just given does not work as it stands, because Theorem 7.15.3 dealt only
in based loops. There are several ways of dealing with this; one method would be
to reprove Theorem 7.15.3 without base points, or to prove that the winding number
does not depend on the choice of a base point.
An easy ad hoc method is to deп¬Ѓne a new family of paths П• K starting from the base
point P0 = a0 in the following way: we spend the п¬Ѓrst 1/3 of the time in the interval
[0, 1] plodding out from f (0) = a0 to f (K ) = П• K (0) along the path f (R); then we
pursue the loop П• K at 3 times the original speed, returning to f (K ) = П• K (1) at time t =
2/3; then we spend the п¬Ѓnal 1/3 of the time returning from f (K ) to f (0) by retracing
our steps along the same path f (R). The new path has the same winding number as
the old, because any change in the argument Оё made in plodding out to f (K ) is exactly
cancelled when we retraced our steps. The details are easy to work out. QED

Exercises
7.1 Let (X, d) be a metric space. Check that Deп¬Ѓnition 7.2 does indeed deп¬Ѓne a topology
on X ; in other words, check that the set T of open sets in the metric sense is a topology.
[Hint: use the triangle inequality.]
Questions on point-set topology.
X, Y, Z are topological spaces and f : X в†’ Y , g : Y в†’ Z continuous maps. Prove
7.2
that g в—¦ f is continuous. Count the lines of your proof, and compare with the same
proof in a standard analysis or metric spaces course.
X is a metric space with metric topology T X . Prove that a sequence of points ai в€€ X
7.3
converges to l in the sense of the metric if and only if it converges in the sense of
topology as in 7.4.2.
By deп¬Ѓnition, a sequence of points {xi }i=1,2,... converges to x в€€ X in a topological
7.4
space if every neighbourhood U of x contains all but п¬Ѓnitely many of the xi . Let X, Y
be topological spaces and f : X в†’ Y continuous.
(a) Prove that {xi } converge to x implies { f (xi )} converge to f (x). That is, вЂ˜continuity
implies sequential continuityвЂ™ for topological spaces.
(b) Conversely, prove that for a metric space X , this convergence for all sequences
implies that f is continuous. In other words, вЂ˜sequential continuity implies con-
tinuityвЂ™ for metric spaces.
(c) Now let X be a topological space, not necessarily metric, in which every point x в€€
X has a countable basis of neighbourhoods (referred to in 7.2). Prove sequential
continuity implies continuity.
(d) Prove that if X is an uncountable set with the coп¬Ѓnite topology (7.1 Example 2),
then there does not exist a countable basis for the neighbourhoods of x в€€ X .
(e) (Harder) Find a topological space and a map f : Y в†’ X which is sequentially
continuous but not continuous.
138 TOPOLOGY

X is a metric space, x, y в€€ X and a1 , a2 , . . . a sequence of points of X . Which of the
7.5
following are topological properties?
(a) X \ x is disconnected.
(b) ai в†’ x as i в†’ в€ћ.
(c) x is in the closure of {y}.
(d) ai is a Cauchy sequence.
(e) The ball B(x, 1) is compact.
(f) Every neighbourhood of x is a countable set.
(g) The closure of the ball B(x, 1) is connected.
(h) For every compact subset V вЉ‚ X , the complement X \ V is disconnected.
For each statement, give a proof or a counterexample, or both.
7.6 How many capital letters of the alphabet are there up to homeomorphism in a typeface
without knobs on, such as

ABCDEFGHIJKLMNOPQRSTUVWXYZ?

Scrabble players do it with K and Q.
X and Y are topological spaces and f : X в†’ Y a continuous surjective map. Prove
7.7
that if X is sequentially compact, so is Y . [Hint: consider a sequence in Y and use the
stated properties of f and X . Compare the proof of Proposition 7.4.2.]
Prove that a continuous function f : X в†’ R on a compact space X is bounded, and
7.8
achieves its bounds. [Hint: to get bounded, just say balls, lots of balls, . . . as before.
Let K = sup f (X ) в€€ R, which exists by the completeness axiom. By contradiction
assume that f (x) = K for all x в€€ X ; consider the open sets UОµ вЉ‚ X deп¬Ѓned by
UОµ = x f (x) в‰¤ K в€’ Оµ .]
Prove that a continuous function f : [a, b] в†’ R is uniformly continuous. [Hint: for
7.9
a given Оµ, the deп¬Ѓnition of continuity gives balls B(x, Оґx ), . . . ]
X is a topological space and Y вЉ‚ X a subset with the subspace topology; prove that
7.10
every closed subset of Y is of the form Y в€© V with V closed in X .
X is a metric space and Y вЉ‚ X a subset. Prove that the following two topologies on
7.11
Y are identical.
(a) Take the metric topology T X and the subspace topology TY,1 on Y .
(b) Restrict the metric d X to Y to get a metric dY , then take the metric topology TY,2
on Y corresponding to dY .
Find all the possible topologies on a set {x, y} with two points.
7.12
7.13 Study the possible topologies on a п¬Ѓnite set.
(a) If a topological space is not T1 (see 7.11) then there exist x = y such that the
constant sequence y, y, . . . converges to x. That is, x is in the closure of the set
{y}.
(b) Write x C y if x is in the closure of y, and think of this as a relation between x
and y. Prove that C is a transitive relation.
(c) Deп¬Ѓne the relation x R y by

x R y в‡ђв‡’ x C y and y C x.
EXERCISES 139

Prove that R is an equivalence relation.
(d) Let Y вЉ‚ X be an equivalence class of R; prove that the subspace topology on Y
is the indiscrete topology (no opens other than в€… and X ).
(e) (Harder) Use steps (a)вЂ“(d) to describe all possible topologies on a п¬Ѓnite set Y .
Let X be a topological space, в€ј an equivalence relation on X and Y = X/в€ј the
7.14
quotient topological space. Think of the relation в€ј as the subset
Z (в€ј) = (x, y) x в€ј y вЉ‚ X Г— X

where X Г— X is given the product topology.
(a) By imitating the proof of Proposition 7.11, prove that Y is Hausdorff if and only
if Z (в€ј) вЉ‚ X Г— X is closed.
(b) Let Z вЉ‚ X Г— X be the closure of the diagonal, considered as a relation (x в€ј y if
and only if (x, y) в€€ Z ); describe what x в€ј y means in terms of neighbourhoods
of x and y, and prove that в€ј is an equivalence relation.
(c) Prove that X has a continuous map f : X в†’ X to a Hausdorff space which has
the UMP for such maps.
Exercises on surfaces.
7.15 Write down equations for a torus, a solid torus and a MВЁ bius strip in terms of Cartesian
o
coordinates (x, y, z) or cylindrical polar coordinates (r, Оё, z) for R3 . [Hint: you get
a torus by rotating a circle about an axis outside it, and a MВЁ bius strip by letting a
o
diameter of the circle rotate simultaneously to get 1, 3, 5, . . . half-twists.]
Prove that S 2 \ {2 points} is homeomorphic to the cylinder S 1 Г— R. [Hint: let the two
7.16
points be the poles N and S, and think of MercatorвЂ™s projection.]
7.17 Using Figure 7.7, prove the following statements.
(a) If L = P1 is the line obtained from the equatorial circle, then P2 \ L is topologi-
cally a disc (the upper half-sphere), and a neighbourhood of L in P2 is a MВЁ bius
o
strip.
(b) If Q = {x 2 + y 2 = z 2 } вЉ‚ P2 is a conic curve, then P2 \ Q consists of two pieces,
one a MВЁ bius strip and the other a disc; a neighbourhood of Q in P2 is a
o
cylinder.
Draw pictures illustrating the following statement: cutting P2 along a line is like
cutting a MВЁ bius strip along its central curve, whereas cutting P2 along a conic is like
o
cutting a MВЁ bius strip along the curve trisecting the width of the strip.
o
7.18 In 7.6, I obtained the MВЁ bius strip, the cylinder and the torus from a square by glueing
o
its edges in a particular fashion. In Figure 7.16a, I give two other glueing rules.
(a) Show that the п¬Ѓrst pattern builds a surface homeomorphic to the projective plane
P2 .
(b) Show that the second pattern corresponds to a surface that you can build in two
steps, п¬Ѓrst glueing a cylinder as in Figure 7.6c and then identifying the circles at
the ends, carefully remembering their orientation. This surface is called the Klein
bottle. It shares with P2 the property that it cannot be embedded in R3 without
self-crossing.
7.19 The top panel of Figure 7.16b shows a surface with two handles, with a set of circles
marked on its surface, in analogy with the last panel of Figure 7.6c.
140 TOPOLOGY

Figure 7.16a Glueing patterns on the square.

Figure 7.16b The surface with two handles and the 12-gon.

(a) Verify that cutting the surface along the marked circles leads to the 12-gon on
the bottom panel of Figure 7.16b, with the edges identiп¬Ѓed as shown. Hence
conversely, glueing the 12-gon with the given pattern leads to a surface with two
handles!
(b) Triangulate the surface by triangulating the 12-gon. Compute the Euler number
вЂ˜faces в€’ edges + vertexesвЂ™. Compare 9.4.
Exercises on loops
7.20 Draw the graph of the function
пЈ±
пЈґ4t/s for 0 в‰¤ t в‰¤ s/4
пЈґ
пЈІ
f (t) = 2 в€’ 4t/s
(s)
for s/4 в‰¤ t в‰¤ s/2
пЈґ
пЈґ
пЈі0 for s/2 в‰¤ t в‰¤ 1.

Here s в€€ (0, 1]. Have you seen anything like this before? Set f (0) (t) = 0, and prove
the following:
EXERCISES 141

(a) for any п¬Ѓxed s в€€ [0, 1] the formula П• (s) (t) = ( f (s) (t), t) deп¬Ѓnes a path
П• (s) : [0, 1] в†’ R2 (i.e. it is continuous);
(b) for п¬Ѓxed t в€€ [0, 1] the map s в†’ П• (s) (t) is continuous;
(c) П• (s) is not a continuous family of paths in R2 in the sense of Deп¬Ѓnition 7.15.1;
(d) П• (s) is something you would not do to a dog lead;
(e) (s, t) = f (s) (t) is not a continuous function of s, t near (0, 0).
The point of the question is to justify the tentative deп¬Ѓnition in 7.15.1, in particular
to convince you of the requirement for uniformity in t.
Suppose that X is a path connected topological space and pick two points P0 , Q 0 в€€ X .
7.21
Prove that all loops in X based at P0 are contractible if and only if all loops in X
based at Q 0 are contractible. [Hint: compare the end of 7.15.4.]
8 Quaternions, rotations and the geometry
of transformation groups

Chapters 1вЂ“ 5 discussed transformations that depend continuously on parameters: for
example, Euclidean rotations in the plane that depend on the centre and the angle
of rotation. I stressed that composition of transformations is a natural operation, an
idea that led in Chapter 6 to the deп¬Ѓnition of a geometric transformation group. Here
I focus on groups with a continuous family of elements, especially some examples
arising in geometry where the group of transformations has an interesting geometry of
its own. The discussion is a п¬Ѓrst introduction to some of the basic ideas of вЂ˜continuous
transformation groupsвЂ™. The formal deп¬Ѓnition and a detailed treatment of this type
of вЂ˜group-manifoldвЂ™ (or Lie group) is beyond the scope of this book, but see 8.8 and
Segal .
As an example, recall that a rotation of E2 around a п¬Ѓxed point P is given by
the matrix cos Оё в€’ sinОёОё , and so depends continuously on the real parameter Оё. This
Оё
sin cos
parameter takes values in a circle. Thus the group of rotations of E2 around a п¬Ѓxed
point has a geometry of its own, that of the circle, as shown in Figure 8.0. The relation
between rotations in the plane and the circle can be conveniently expressed in terms of
complex numbers, with the action of rotation by Оё on the column vector x written
y
as multiplication of the complex number x + iy by the complex number exp(iОё) of
absolute value 1. On the other hand, the set of unit complex numbers is the circle S 1
in the complex plane.
A highlight of this chapter is Corollary 8.5.3, which applies the homeomorphism
criterion Theorem 7.14 (one of the main results of Chapter 7) to give a description in
similar terms of the topology of the groups of rotations of E3 and E4 around a п¬Ѓxed
point. The algebra of complex numbers is replaced by the algebra of quaternions
H = a + bi + cj + dk with a, b, c, d в€€ R,

where i, j, k all square to в€’1 and multiply together wisely. Corollary 8.5.3 describes
the topology of the group of three- and four-dimensional rotations in terms of the
sphere S 3 of unit quaternions.
The group of three dimensional rotations is of basic importance in many areas of
mechanics and physics, describing symmetries of Euclidean space E3 , a space that
old-fashioned empiricists believe we inhabit. The quantum mechanical treatment of

142
8.1 TOPOLOGY ON GROUPS 143

Оё в€’ sin Оё
(cos Оё )
cos Оё
sin

Оё
S1

Figure 8.0 The geometry of the group of planar rotations.

the spin of the electron is a pretty illustration of my treatment of the topology of
the group of three-dimensional rotations. As most ingredients are at hand already, I
cannot resist the temptation to include a section on this, cribbed more or less directly
from Feynman . The discussion puts together in a very satisfactory way ideas from
algebra (groups, algebra of quaternions), analysis (topology, compactness), geometry
(rotations of E3 ) and quantum physics (wave function, spin of the electron).

8.1 Topology on groups
A group G is a topological group if it has a topology deп¬Ѓned on it so that multiplication
and inverse are continuous. In more detail, a topological group is an object G having
two quite different structures: a collection of open subsets satisfying the axioms for
a topology, and a multiplication map with identity and inverse satisfying the group
axioms. I require the group structure to respect the topological structure in the sense
that

mult : G Г— G в†’ G inv : G в†’ G
and
g в†’ g в€’1
(g, h) в†’ gh

are both continuous maps of topological spaces; here G Г— G has the product topology
of 7.10.

Any п¬Ѓnite group G is a topological group under the discrete topology.
Example 1

The groups (R, +) and (Rв€— , Г—) are topological groups with respect
Example 2
to the usual topology of R. This is just a fancy way of restating the fact, used all
over the place in a п¬Ѓrst analysis course, that the four operations addition, subtraction,
multiplication and division are continuous on the reals.

A substantial generalisation of the previous example brings us back
Example 3
to the linear geometries of Chapters 1вЂ“5. Recall the general linear group GL(n, R)
of n Г— n real invertible matrixes. Note that GL(n, R) is a subset of the set of real
2
matrixes M(n Г— n, R) = Rn . This latter is a metric space, and therefore has a natural
metric topology. Moreover, it is an easy fact that matrix multiplication and inverse
144 GEOMETRY OF TRANSFORMATION GROUPS

are continuous. Hence GL(n, R) is a topological group. As a consequence, afп¬Ѓne
transformations Aff(n, R) (compare 4.5) also form a topological group.
The group Rв€— of constant diagonal matrixes is a subgroup of GL(n + 1, R), the
centre of GL(n + 1, R), that is, the subgroup of elements commuting with every
element g в€€ GL(n + 1, R) (see 5.5 and Exercise 6.3). The quotient

PGL(n + 1, R) = GL(n + 1, R)/Rв€—

is a topological group with the quotient topology. This is of course the group of
projective linear transformations of Pn familiar from 5.5, the projective linear group.

The orthogonal group
Example 4

O(n) = A в€€ GL(n, R) A A = 1n ,
 << стр. 6(всего 8)СОДЕРЖАНИЕ >>