2.5 Continuity and Connectedness

Theorem 2.5.1. Let \(f\) be a continuous function from \(X\big (\subset \mathbb {R}\big )\) into \(Y\big (\subset \mathbb {R}\big )\) and \(E\) is a connected subset of \(X\). Thne \(f(E)\) is connected in \(Y\).

Proof. Assume, on the contrary, that \(f(E)\) is not connected i.e \(f(E) = A\cup B\) where \(A\) and \(B\) are non-empty, separated subsets of \(Y\). Putting \(G = E \cap f^{-1}(A)\) and \(H = E\cap f^{-1}(B)\), we have \(E = G \cup H\), and neither \(G\) nor \(H\) is empty.
Since \(A\subset \overline {A}\,,\,\) we have \(G\subset f^{-1}\big (\overline {A}\big )\). \(f^{-1}\big (\overline {A}\big )\) is closed since \(f\) is continuous. Hence \(\overline {G} \subset f^{-1}\big (\overline {A}\big )\). Thus, \(f\big (\overline {G}\big ) \subset \overline {A}\). Since \(f(H) = B\) and \(\overline {A} \cap B = \emptyset \), we conclude that \(\overline {G}\cap H = \emptyset \).
The same argument shows that \(\overline {H}\cap G = \emptyset \). Thus \(G\) and \(H\) are separated. This contradicts that \(E\) is connected. Therefore \(f(E)\) is connected.


Questions on this section

Stuck on something here? Ask below and it stays attached to this topic.