0% found this document useful (0 votes)
129 views5 pages

MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Solutions To Problem Sheet 4

This document provides solutions to exercises from a problem set on further complex variable theory and general topology. The exercises cover topics like showing a quotient space is homeomorphic to another space, properties of continuous maps between compact and Hausdorff spaces, and properties of compact and connected spaces. The solutions rigorously prove statements and provide counterexamples to show certain subsets are not compact or connected in different topological spaces.

Uploaded by

Jeoff Libo-on
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
129 views5 pages

MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Solutions To Problem Sheet 4

This document provides solutions to exercises from a problem set on further complex variable theory and general topology. The exercises cover topics like showing a quotient space is homeomorphic to another space, properties of continuous maps between compact and Hausdorff spaces, and properties of compact and connected spaces. The solutions rigorously prove statements and provide counterexamples to show certain subsets are not compact or connected in different topological spaces.

Uploaded by

Jeoff Libo-on
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

MSM3P22/MSM4P22

Further Complex Variable Theory & General Topology


Solutions to Problem Sheet 4
Jose A. Canizo
March 2013

Unless otherwise specified, the symbols X, Y and Z represent topological spaces in the
following exercises.

Exercise 4.1. This exercise suggests a way to show that a quotient space is homeomorphic
to some other space. Consider an equivalence relation on X, and the quotient topological
space X X/ . Let f : X Y be a continuous and surjective map such that

1. For any x, y X we have f (x) = f (y) if and only if x y.

2. f is open (this is, f (U ) is open whenever U is open) or f is closed (this is, f (C) is
closed whenever C is closed.)

Prove that the map f : X Y given by f (x ) = f (x) for all x X (where x represents
the equivalence class of x X) is well defined, and is a homeomorphism.

Solution. In order to show that the map f is well defined we have to prove that whenever
we have two points x, y X such that x = y , it holds that f (x) = f (y) (so that the
definition of f is not ambiguous). Since x = y is the same as x y, this is implied by
point 1 of the statement.
In addition, the map f is then injective also due to point 1, since if f (x ) = f (y ) we
have x = y . It is also surjective because f is, so f is bijective.
Let us check that f is continuous. If U Y is any set, we have

(f )1 (U ) = {z X | f (z) U } = {x | x X and f (x ) U }
= {x | x X and f (x) U } = (f 1 (U )),

where : X X is the projection to the quotient. Hence, since the projection is always
an open map and f is continuous, we see that (f )1 (U ) is open.
Now, assume that f is open and let us check that the inverse map (f )1 is continuous.
Equivalently, we may check that f is open. Take any open set V X , which by definition

1
of the topology of X must satisfy that W := 1 (V ) X is open. Since is surjective we
have (W ) = ( 1 (V )) = V (see Exercise 1.2 (6) from Problem Sheet 1). Hence,

f (V ) = f ((W )) = f (W ).

Since f is open, this shows that f is open. Due to all of the above, f is a homeomorphism.
If f is closed we can follow the reasoning in the last paragraph to show that f is closed:
take any closed set C X . Since X \ C is open, by definition of the topology of X it
must happen that 1 (X \ C) = X 1 (C) X is open. Hence F := 1 (C) is closed
in X. For the same reason as above,

f (C) = f ((F )) = f (F ),

which is closed. This shows that f is closed; since it is bijective, this means that (f )1 is
continuous, so in this case f is also a homeomorphism.

Exercise 4.2. Let X, Y be topological spaces with X compact and Y Hausdorff.

1. Prove that a continuous map f : X Y must be closed.

2. Prove that a continuous bijection f : X Y must be a homeomorphism.

Solution. 1. Take C X closed. Since X is compact, C must be compact (Lemma 9.6).


Hence, f (C) is compact (Theorem 9.8). Since Y is Hausdorff, f (C) must be closed
(Lemma 9.7).

2. It must be closed due to point 1. Since it is a bijection, its inverse is continuous


(since if C X is closed we have (f 1 )1 (C) = f (C), which is closed). Hence, it is a
homeomorphism.

Exercise 4.3. Show rigorously that [0, 1]/{0, 1} is homeomorphic to S 1 = {x R2 | |x| =


1} R2 .

Solution. Recall that [0, 1]/{0, 1} is the quotient topological space [0, 1]/ , where is the
relation x y (x = y or {x, y} {0, 1}).
Consider the map f : [0, 1] S 1 given by f (x) = (cos(2x), sin(2x)), and let us show
that it satisfies the conditions of Exercise 4.1: f is clearly continuous and surjective and we
have that:

1. f (x) = f (y) if and only if x = y or {x, y} {0, 1}, this is, if and only if x y. Hence
f satisfies point 1 of Exercise 4.1.

2. f is closed due to Exercise 4.2, since [0, 1] is compact (Theorem 9.10) and S 1 is Haus-
dorff (due, for example, to Exercise 2.9 in Problem Sheet 2).

Then, Exercise 4.1 shows that f is a homeomorphism between [0, 1]/{0, 1} and S 1 .

2
Exercise 4.4. Show rigorously that the spaces Y referred to in Exercises 8.11 and 8.12
(Handout 8) are homeomorphic to X/R.

Solution. (Sketch) One can apply the same kind of reasoning as in the previous exercise. In
each case, one can find a map f from X to the candidate space which satisfies all requirements
of Exercise 4.1.

Exercise 4.5. Show that in the finite complement topology of R (which we also called the
cofinite topology), every subset of R is compact.

Solution. Take a nonempty set A R and a cover A of A by open subsets of R. The cover
A must have at least a nonempty element U ; by the definition of the cofinite topology, there
is a (possibly empty) finite set of points {x1 , . . . , xN } R such that A \ U = {x1 , . . . , xN }.
Then, for each xi (i = 1, . . . , N ) take Ui A with xi Ui . The set

A := {U, U1 , . . . , UN }

is clearly a finite subcover of A which covers A. Hence, A is compact.

Exercise 4.6. In the countable complement topology of R (which we also called the co-
countable topology), is the subset [0, 1] compact?

Solution. No. Define, for n N,

Un := R \ {1/k | k n} .

Then A = {Un | n N} is a cover of [0, 1] by open sets which has no finite subcover of [0, 1]
(in order to cover [0, 1] we must cover 1/k for all k N, and hence for each k N we must
include some Un with n k; this is not possible with a finite number of sets).

Exercise 4.7. Show that a finite union of compact subsets of X is compact.

Solution. Let C1 , . . . , Cn be compact sets, and let A be a cover of C1 Cn . For any


i = 1, . . . , n, since Ci is compact there exists a finite set Ai A which covers Ci . Then
A1 An is a finite subset of A which covers C1 Cn .

Exercise 4.8. 1. Show that a compact subset of a metric space must be bounded.

2. Find a metric space in which not every closed and bounded subset is compact.

Solution. 1. Take any point x in the space. For any K compact, consider the cover
{B(x, n) | n N}. Since there is a finite subset of this that covers K, there must be
N N with K B(x, N ). Hence, K is bounded.

2. Consider the space X = (0, 1), which is a metric space (with the usual distance).
In it, the set (0, 1) is closed (it is equal to the whole space X) and bounded, but
{(1/n, 1) | n N} is an open cover of it which has no finite subcover.

3
Exercise 4.9. If Y is compact, show that the projection X : X Y X is closed (this is,
X (C) is closed in X whenever C is closed in X Y .)

Solution. Take C X Y closed, and let us show that X (C) is closed. Take a generic
point x X \ X (C), and let us show that there is an open set U X with x U and
U X (C) = . (This is enough to show that X (C) is open.)
Take a closed set C X Y . For any y Y the point (x, y) is not in the closed set C, so
we can find an open set of the form Uy Vy with Uy X open, Vy Y open, (x, y) Uy Vy
and (Uy Vy ) C = . Now, the collection {Vy | y Y } covers Y , so using the compactness
of Y we can find an open subcover {Vy1 , . . . , Vyn }. Now
n
\
U := Uyi
i=1

is an open set with x U and U X (C) = .

Exercise 4.10. Consider R with the left limit topology.

1. Is the interval [0, 1] compact?

2. Is the interval [0, 1] connected?

Solution. 1. No. The cover {(1, 0]} {(1/n, 1] | n N} is an open cover of [0, 1] which
has no finite subcover.

2. No. It can be written as [0, 1] = [0, 1/2] (1/2, 1], which is a union of open sets in the
induced topology on [0, 1] (note that [0, 1/2] = [0, 1] (1, 1/2], open in the induced
topology on [0, 1]).

Exercise 4.11. A collection C of subsets of X is said to have the finite intersection prop-
erty if every finite subfamily of C has nonempty intersection. Prove that the following are
equivalent:

1. X is compact.

2. Every collection T
of closed sets in X having the finite intersection property satisfies that
the intersection CC C of the whole family C is nonempty.

Solution. Assume that X is compact, and take a collection of closed sets C with the finite
intersection property. Assume by contradiction that CC C = . Then A := {X \ C | C
T
C } is a collection of open sets such that
[ [ \
U= X \C =X \ C = X \ = X,
U A CC CC

4
this is, A is an open cover of X. Since X is compact, A contains a finite subcover of X,
i.e., there are C1 , . . . , Cn C such that {U1 , . . . , Un } = {X \ C1 , . . . , X \ Cn } covers X. But
then n n n
\ \ [
Ci = X \ Ui = X \ Ui = X \ X = ,
i=1 i=1 i=1

contradicting that C has the finite intersection property.


Conversely, assume point (2) of the statement. By contradiction, assume that X is not
compact, so there is some open cover A of X with no finite subcover. By a similar argument
as above, this means that the collection of closed sets C := {X \ U | U A } has the finite
intersection property. Hence its intersection cannot be empty, i.e.,
\ \ [
=6 C= X \U =X \ U = X \ X = ,
CC U A U A

a contradiction. Note that we used that A is a cover of X.

You might also like