Академический Документы
Профессиональный Документы
Культура Документы
1. Munkres Problems
pg. 91, Problem 1. Show that if Y is a subspace of X, and A is a subset of Y , then the
topology A inherits as a subspace of Y is the same as the topology it inherits as a subspace
of X.
Suppose UA = AUX is an open set in the topology A inherits from X. Then UY = Y UX
is an open set of T , and A UX Y , so UA = A UX = A (Y UX ) is also an open set
in the topology A inherits from Y .
Conversely, suppose UA = A UY is an open set in the topology A inherits from Y .
Then since Y is a subspace of X, we have that there exists UX an open set in X such that
UY = Y UX . Then UA = A Y UX . However, since A Y , we have A Y = A, so this
gives UA = A UX , hence UA is also an open set in the topology A inherits from X.
pg. 91, Problem 6. Show that the following countable collection
{(a, b) (c, d) | a < b and c < d, and a, b, c, d are rational}
2
is a basis for R .
It suffices to show that any set of the form (r1 , r2 ) (r3 , r4 ), with ri real, is an open set
with this topology. To do so, we will construct it as an infinite union of our basis elements.
If any of the ri is rational, we can simply take this to be our coordinate. Otherwise, we
can take sequences of rational numbers that converge to the ri , while remaining in the box.
(We can do so because the reals are the completion of the reals.) Then the union of these
sequences will be (r1 , r2 ) (r3 , r4 ).
pg. 101, Problem 11. Show the product of two Hausdorff spaces is Hausdorff.
Label our spaces X, Y . Then we want to show that there exist open sets U1 3 (x1 , y1 )
and U2 3 (x2 , y2 ) in X Y with U1 U2 = . We have that there is A1 , A2 open sets in
X containing x1 , x2 (respectively) with disjoint union, and B1 , B2 open sets in Y containing
y1 , y2 (respectively) with disjoint union. Then A1 B1 and A2 B2 are open sets in X Y
and x1 A1 B1 , and x2 A2 B2 . Moreover, we have since A1 A2 = , we have
(A1 B1 ) (A2 B2 ) = .
Note that we have neglected a couple cases: those when x1 = x2 or y1 = y2 (though we
need not consider the case with both). WLOG suppose y1 = y2 . Then with Ai as above, we
have A1 Y and A2 Y are open sets in X Y , contain (x1 , y1 ) and (x2 , y1 ), respectively,
and have disjoint intersection. Hence the space is Hausdorff.
pg. 101, Problem 12. Show that the subspace of a Hausdorff space is Hausdorff.
Let Y X be the subspace, and y1 6= y2 points in Y . Then considering them as distinct
points in X, we have two open sets in X, U1 and U2 , such that y1 U1 , y2 U2 , and
U1 U2 = , since X is Hausdorff. Then U1 Y 3 y1 and U2 Y 3 y2 are open sets in Y ,
containing y1 and y2 , and (U1 Y ) (U2 Y ) U1 U2 = as desired. Hence Y is Hausdorff.
pg. 101, Problem 13. Show that a space X is Hausdorff if and only if the diagonal
= {x x | x X} is closed in X X.
1
Math 131 Solutions
(a) Determine the closure of the set { n1 | n Z+ } under each of these topologies.
(b) Which of these topologies satisfy the Hausdorff axiom? The T1 axiom?
Closure of K Hausdorff T1
T1 {0} K Yes Yes
T2 K Yes Yes
T3 R No Yes
T4 K Yes Yes
T5 [0, ) No No
(a) Show that if the collection {A } is finite, and each set A is closed, then f is contin-
uous.
(b) Find an example where {A } is countable, with each A closed, but f is not contin-
uous.
(c) And indexed set of sets {A } is said to be locally finite if each point x X has a
neighborhood that intersects A for only finitely many values . Show that if the
family {A } is locally finite and each A is closed, then f is continuous.
Show that if R is given the product topology, h is a homeomorphism of R with itself. What
if R is given the box topology?
Since ai 6= 0 and the equations are linear, it is clear that h is bijective. Then note that
h1 would also be linear in every component, so showing h is continuous will imply h1 is
continuous. However, continuity in both the product and box topology is clear by checking
it on basis elements.
2. Other Problems
Problem 1, part (a) (Its the alternating digit map from I 2 I.) Show the map is
injective.
Suppose (x1 , y1 ) = (x2 , y2 ), for xi = 0.xi1 xi2 xi3 ... and yi = 0.y1i y2i y3i .... Then 0.x11 y11 x12 y21 ... =
0.x21 y12 x22 y22 ... implies x1n = x2n and yn1 = yn2 . But this implies x1 = x2 and y1 = y2 .
Show this map is not continuous.
Consider (0.1, 0.2) is open in I. The preimage of this is those pairs (x, y) such that
.1 x < .2 and y is arbitrary. However this clearly isnt open, so the map is not continuous.