Connectedness
[11/100%]Show that a space is connected iff the only subsets of which are both open and closed are and .
Proposition 1.6.1:
is separated iff there are two open sets so that , , , .
A set is connected iff whenever are open sets in so that , , then or .
Part (a) has already been proved: suppose is separated. Then there are two disjoint nonempty sets which are open in so that . Since are open in , there are open sets in with , . Since and are disjoint, we have . Since , we have . This proves one direction. For the other direction, given with , , , , then defining , gives two nonempty sets which are open in and show that is separated.
Deduce part (b) from part (a).
Consider the property: if , then the interval .
Proposition 1.6.3: A set satisfies iff it is an interval, a ray, or .
It is straightforward to see that an interval, ray, or satisfies . For the converse, suppose satisfies . The case where is bounded both from above and below has already been handled: let be the greatest lower bound and the least upper bound of . This implies . To show that : let be a point in . Since is the greatest lower bound, there is an element with . Similarly, being the least upper bound implies that there is an element with . But implies that and so . Hence . But , so there are four possibilities for : , , , , each of which is an interval.
Complete the proof of the proposition by considering the other cases: where is not bounded on one side or the other or both.
Show that is connected.
Proposition 1.6.6: Suppose that is a collection of connected subsets of a topological space so that they all have at least one point in common. Then the union is connected.
Use this proposition to deduce that is connected from the fact that a closed interval is connected.
A space is called path connected if, given , there is a continuous map (called a path in ) with and . We say that the path connects to .
Define a relation on by if there is a path connecting to .
Show that the relation as defined above is an equivalence relation.
Show that a union of path connected sets with a point in common is path connected.
Let be the common point. Then show that given in the union, we can find a path that joins them by using paths in individual path connected spaces that join to and join to .
The intermediate value theorem states: suppose that is a continuous function and is connected. Let and and suppose that . Then there is with .
Prove the intermediate value theorem using the fact that is connected and the characterization of connected sets in the line (a subset of is connected iff it is an interval, a ray, or ).
Show that the letter T is not homeomorphic to the letter O.
Consider what happens when a point is removed from each letter and the corresponding connectivity properties.
Show that is not homeomorphic to by showing is not homeomorphic to .
Show that two disjoint concentric circles in the plane are not homeomorphic to one circle.