A subset is connected when it has no separation into two disjoint nonempty relatively open sets. It is path-connected when every pair of its points can be joined by a continuous path from lying in the subset.
Path-connectedness implies connectedness; the reverse fails in general, for example for the topologist's sine curve. They are equivalent for open subsets of every Euclidean space . More generally this holds for open subsets of locally path-connected spaces.
If were separated by two disjoint nonempty relatively open sets, their preimages under the restriction would be disjoint nonempty relatively open sets covering . Continuity makes them open in , contradicting its connectedness. Therefore is connected.
The circle is path-connected, using circular arcs, and hence connected. Its continuous image is connected by part (ii). A connected subset of the real line is an interval: if it contained values on opposite sides of a missing value , intersection with and would separate it. Thus is an interval. It is also compact, so it is a closed bounded interval, possibly reduced to one point.
Articles by others on the same topic
There are currently no matching articles.