Equivalence of Definitions of Homeomorphic Topological Spaces

Theorem
Let $T_\alpha = \left({S_\alpha, \tau_\alpha}\right)$ and $T_\beta = \left({S_\beta, \tau_\beta}\right)$ be topological spaces.

Let $f: T_\alpha \to T_\beta$ be a bijection.

The definitions for $f$ to be a homeomorphism:

Definition 4
are equivalent.

Definition 1 iff Definition 2
Let $f$ and $f^{-1}$ both be continuous.

As $f$ is continuous, then by definition:
 * $V \in \tau_\beta \implies f^{-1} \left({V}\right) \in \tau_\alpha$

and as $f^{-1}$ is continuous, then by definition:
 * $U \in \tau_\alpha \implies \left({f^{-1}}\right)^{-1} \left({U}\right) = f \left({U}\right) \in \tau_\beta$

That is:
 * $\forall U \subseteq S_\alpha: U \in \tau_\alpha \iff f \left({U}\right) \in \tau_\beta$

Conversely, suppose that:
 * $\forall U \subseteq S_\alpha: U \in \tau_\alpha \iff f \left({U}\right) \in \tau_\beta$

By definition:
 * $U \in \tau_\alpha \implies f \left({U}\right) \in \tau_\beta$ iff $f^{-1}$ is continuous.

Also by definition:
 * $f \left({U}\right) \in \tau_\beta \implies U = f^{-1} \left({f \left({U}\right)}\right) \in \tau_\alpha$ iff $f$ is continuous.

That is, both $f$ and $f^{-1}$ are continuous.

Definition 1 iff Definition 3
Let $f$ and $f^{-1}$ both be continuous.

Then by Bijection is Open iff Inverse is Continuous, $f$ is open.

Thus $f$ is both open and continuous.

Conversely, let $f$ be both open and continuous.

Then also by Bijection is Open iff Inverse is Continuous, $f^{-1}$ is continuous.

Thus both $f$ and $f^{-1}$ are continuous.

Definition 3 iff Definition 4
Let $f$ be both open and continuous.

Then by Bijection is Open iff Closed it follows that $f$ is both closed and continuous.

Conversely, let $f$ be both both closed and continuous.

Then also by Bijection is Open iff Closed it follows that $f$ is both open and continuous.