Suppose for contradiction that the continuous image of a connected space is disconnected. Then there are disjoint nonempty sets , open in the subspace topology on , with . By continuity, and are disjoint open subsets of ; by surjectivity both are nonempty, and their union is . This is a separation of a topological space of , contradicting that is a connected space. Hence is connected.
Articles by others on the same topic
There are currently no matching articles.