Академический Документы
Профессиональный Документы
Культура Документы
Homework 1
Duong Q. Dinh - 20121095
Solution:
To show X and Y are not homeomorphic, we will show that X is not compact while
Y is not.
Let {U }A be an open cover of X. Since (0, 0) X, there is some 0 A such that
(0, 0) U0 . Then U0 = X E, where E is an open subset of E2 . It is clear that only
a finite number of circles {C }B are not contained completely in U0 . For each B,
the part of the circle C not contained in U0 is homeomorphic to a closed interval in the
real line, and is thus compact. Then, from the open cover {U C }A of C , we can
extract a finite subcover of C , say {U C }T A . It is easy to see that {U0 , U }T A ,
S
where T =
T , is a finite cover of X. Therefore X is compact.
B
Note that we can also prove the compactness of X by showing its boundedness and
closedness in E2 .
Let be the canonical projection to the quotient space Y = R/Z. Consider the
S
open subset N =
(z 1/2, z + 1/2) of R. Since simply identifies the integers
zZ
Solutions:
1
Solution:
It is easy to see that f (x, y, z) = (x2 y 2 , xy, xz, yz) is a (continuous) map. Since S 2 is
compact and E4 is Hausdorff, f is a closed map. Since the projective plane can be obtained
by identifying antipodal points on S 2 and a one-one closed map is an embedding, if we
can show that f (x, y, z) = f (x0 , y 0 , z 0 )
Solution:
A natural way to construct a Klein bottle from [0, 2] [0, ] is identifying {0} [0, ]
with {2} [0, ] in a parallel manner, and [0, 2] {0} with [0, 2] {} in a antiparallel
2
manner. We will show that this indeed is the construction here. To do so, using the same
argument as in problem 10, we only need to show that f (x, y) = f (x0 , y 0 ) either (i)
(x, y) = (x0 , y 0 ), or (ii) x, x0 {0, 2} and y = y 0 , or (iii) y, y 0 {0, } and x0 = 2 x
(or x = x0 = 0 or x = x0 = 2, to account for the identification of all four corners of
[0, 2] [0, ]).
It is easy to see that the map is well-defined (f (x, y) = f (x, y)), f (0, y) = f (2, y),
and f (x, 0) = f (2 x, ).
Suppose f (x, y) = (A, B, C, D, E) = f (x0 , y 0 ). First, consider the case y 6= y 0 . The
equations cos 2y = B and sin 2y = C together determine a unique value of 2y on the
parametrized circle, so if y 6= y 0 , then clearly, say, y = 0 and y 0 = . So f (x, 0) = f (x0 , ).
Then cos x = A = cos x0 and sin x = D = sin x0 . Notice that x = x0 = 0 and x = x0 = 2
satisfy these equations. So suppose x, x0 (0, 2). Clearly only the relation x = 2 x0
satisfies the two trigonometric equations.
Now we consider the case y = y 0 (and x 6= x0 ): f (x, y) = f (x0 , y). From cos x =
A = cos x0 and sin x sin y = E = sin x0 sin y, which determine a unique point x on the
parametrized circle, the only satisfying relation is x, x0 {0, 2}.
So f induces an embedding of the Klein bottle.
Solutions:
Suppose
(2 + cos x) cos 2y = (2 + cos x0 ) cos 2y 0
(1)
(2)
Using the result above, we see that g(x, y) = g(x0 , y 0 ) f (x, y) = f (x0 , y 0 ). Therefore, we can use the same argument used in problem 11 to show that g is an embedding
of the Klein bottle in E4 .
Problem:
Define the equivalence relation on R as x y x y Q. Show that R/ is an
uncountable set with indiscrete topology (and therefore is not Hausdorff).
Solution:
We first prove that R/ is an uncountable set. It is clear that each equivalence class
has countably many representatives: for each equivalence class [r] with r R, we can
define a surjective map g : Q [r] by g(q) = r0 if there exists r0 [r] such that r0 r = q
and g(q) = r otherwise. Then, if R/ is a countable set, then R, being a countable
union of countable sets, must be countable (ridiculous).
Let U be an open, non-empty subset of R/ . We will show that U = R/ . The
key of the solution is that the preimage of any non-empty open subset of R/ , by the
dense-ness of Q in R, lacks no representative of any equivalence classes on R, and therefore
must be mapped to the whole quotient space.
Let
f : R R/
x 7 [x]
be the canonical projection. Since U is open, non-empty and since f is continuous, f 1 (U )
is open and non-empty in R. Clearly it must contain some open interval I of R. Let x
be any real number. Since Q is dense in R, we can find some q Q such that x q = x0
for some x0 I. Since (x x0 ) Q, f (x) = [x] = [x0 ] = f (x0 ) f (I) f (f 1 (U )) U .
Therefore R/ = f (R) U , and so U = R/ .