A subset is connected when its subspace topology admits no separation into two disjoint nonempty open sets. Equivalently, its only subsets that are both open and closed in that subspace are the empty set and the entire subset.
A separation of would pull back under the continuous map to two disjoint nonempty open sets covering : nonemptiness follows because their points belong to the image. This contradicts connectedness of . Hence a continuous image of a connected space is connected.
The underlying set of the quotient space is the set of equivalence classes . With quotient map , its quotient topology is defined by declaring open exactly when is open in . This makes a continuous surjection and is the finest topology with that property.
Articles by others on the same topic
There are currently no matching articles.