Suppose a path-connected space had a separation . Choose , , and a path from to . The inverse images and are disjoint open sets in the subspace topology of , cover it, and are nonempty because they contain its opposite endpoints. This contradicts the connectedness of an interval.
Therefore every path-connected space is connected. Notice that it is the subspace topology on that is used in the inverse-image argument.
Articles by others on the same topic
There are currently no matching articles.