Continuous image of connected set is connected

Continuous functions preserve connectedness
Continuous image of connected set is connected

Continuous image of connected set is connected: Let (X,dX)(X,d_X) and (Y,dY)(Y,d_Y) be , let EXE\subseteq X be , and let f:XYf:X\to Y be . Then f(E)Yf(E)\subseteq Y is connected.

This theorem is a basic structural fact: continuous maps cannot “tear apart” connected sets. It implies, for example, that continuous real functions map to intervals.

Proof sketch (optional): If f(E)f(E) were disconnected, write f(E)=ABf(E)=A\cup B with A,BA,B nonempty open-in-subspace sets. Then E=f1(A)f1(B)E=f^{-1}(A)\cup f^{-1}(B) would be a separation of EE by continuity, contradicting connectedness of EE.