In the following, all the subsets of , or , are endowed with the induced topology.
1. Let and any topological space. Prove that any map is continuous.
2. Let , and be the unit circle. Let be given by . Prove that is a bijection and continuous, but is not continuous. (Remark: To show is a bijection and continuous, you may consider , where . You can prove is continuous by proving each component of is continuous. )
3. Let be a continuous map. Let be a subset. Are the following statements true? Please explain.
4. Can you find a continuous map such that is a bijection? If yes, give a construction, if no, give a proof.
5. Let , and let . Is there a continuous map from to ? Is there a continuous map from to ? Explain your answer. (Optional, is there a continuous and surjective map from to ? )
1. Let and any topological space. Prove that any map is continuous.
has discrete topology, i.e., singleton is open, hence all subset of are open. Thus for any open subset , is open in .
2. Let , and be the unit circle. Let be given by . Prove that is a bijection and continuous, but is not continuous. (Remark: To show is a bijection and continuous, you may consider , where . You can prove is continuous by proving each component of is continuous. )
is continuous and bijective as by the hint. To show that is not continuous, we only need to show that there is an open set Xg^{-1}(U)g^{-1}(U) = f(U)U = [0, 0.1) \subset XU = (-0.1, 0.1) \cap X(-0.1, 0.1) \subset \RUXf(U)Yf(0)$.
3. Let be a continuous map. Let be a subset. Are the following statements true? Please explain.
(a) True. Since is open.
(b) Not true. Consider where , and let .
4. Can you find a continuous map such that is a bijection? If yes, give a construction, if no, give a proof.
No, since has discrete topology, hence is open, but for some is not open.
5. Let , and let . Is there a continuous map from to ? Is there a continuous map from to ? Explain your answer. (Optional, is there a continuous and surjective map from to ? )
Yes, there is a continuous map from to , say the inclusion map.
Yes, there a continuous map from to , say the constant map sending all of to (or to ).
No, there is no continuous and surjective map from to , otherwise which is a disjoint union of two open sets, contradicting with that is connected.