- #1
- 7,404
- 11,400
Ok, sorry, I am being lazy here. I am tutoring intro topology and doing some refreshers. Were given the subspace topology on [0,1] generated by intervals [a,b) and I need to answer whether under this topology, [0,1] is Hausdorff, Compact or Connected. I think my solutions work , but I am looking for alternatives in case student does not understand mine. Let X represent [0,1] on the Standard topology while X_new is [0,1] under the basis generated by [a,b) .
First, we see that intervals [c,d] ; ##0\geq c< d\geq 1## are open, by intersecting intervals ##[a,x) \cap [0,1]##. It then follows that ##[0,1]_New=[0,a) \cup [a,1]## is disconnected. Hausdorff is relatively straightforward. Given## a,b \in [0,1] ; 0<a<b<1## Then we can use ##[0,a], [b,1]##( some accomodations when b=1)
It is compactness that seems harder. We have that X_new is strictly finer than X, since we saw (a,b) is open in X_new. Then the identity map from X_new to X is continuous, a continuous bijection.
Then all I have to show [0,1] is not compact in X_new is an argument by contradiction: A continuous bijection between compact and Hausdorff is a homeomorphism, which cannot happen, because the topologies X, X_ new are different . But this seems too high-powered an argument. Is there a simpler way of proving [0,1]_ new is not compact?
First, we see that intervals [c,d] ; ##0\geq c< d\geq 1## are open, by intersecting intervals ##[a,x) \cap [0,1]##. It then follows that ##[0,1]_New=[0,a) \cup [a,1]## is disconnected. Hausdorff is relatively straightforward. Given## a,b \in [0,1] ; 0<a<b<1## Then we can use ##[0,a], [b,1]##( some accomodations when b=1)
It is compactness that seems harder. We have that X_new is strictly finer than X, since we saw (a,b) is open in X_new. Then the identity map from X_new to X is continuous, a continuous bijection.
Then all I have to show [0,1] is not compact in X_new is an argument by contradiction: A continuous bijection between compact and Hausdorff is a homeomorphism, which cannot happen, because the topologies X, X_ new are different . But this seems too high-powered an argument. Is there a simpler way of proving [0,1]_ new is not compact?