Continuous Image of Connected Space is Connected/Proof 2

Proof
Suppose that $S_2 = f \left({S_1}\right)$ is not connected in $T_2$.

Then by definition there exist open sets $U_2$ and $V_2$ in $T_2$ such that:
 * $S_2 \subseteq U_2 \cup V_2$
 * $U_2 \cap V_2 \cap S_2 = \varnothing$
 * $U_2 \cap S_2 \ne \varnothing$
 * $V_2 \cap S_2 \ne \varnothing$

By hypothesis, $f: T_1 \to T_2$ is continuous.

Thus $U_1 = f^{-1} \left({U_2}\right)$ and $V_1 = f^{-1} \left({V_2}\right)$ are open in $T_1$.

We have that:
 * $U_2 \cap S_2 \ne \varnothing$

Therefore:
 * $\exists x \in S_1: f \left({x}\right) \in U_2$

Then:
 * $x \in f^{-1} \left({U_2}\right) = U_1$

and:
 * $x \in S_1$

so:
 * $U_1 \cap S_1 \ne \varnothing$

Similarly:
 * $V_1 \cap S_1 \ne \varnothing$

Suppose there exists $x \in S_1$ such that $x \in U_1 \cap V_1 \cap S_1$.

Then:
 * $f \left({x}\right) \in U_2 \cap V_2 \cap S_2$

which is a contradiction.

It follows that:
 * $U_1 \cap V_1 \cap S_1 = \varnothing$

Thus by definition $S_1$ is not connected in $T_1$.

The result follows by the Rule of Transposition.