Path-connectedness implies connectedness

ID: path-connectedness-implies-connectedness

If had a separation into two disjoint nonempty open subsets, a continuous path joining points in the two subsets would pull it back to a separation of . This contradicts connectedness of an interval. Thus every path-connected space is connected. The converse fails, for example for the topologist's sine curve with its limiting vertical segment.

New to topics? Read the docs here!