Complex Plane is Homeomorphic to Real Plane
Theorem
Let $\C$ denote the complex plane.
Let $\R^2$ denote the Euclidean plane.
Then the function $\phi : \R^2 \to \C$ defined by:
- $\map \phi {x, y} = x + i y$
is a homeomorphism between $\R^2$ and $\C$.
Proof
Define $\phi^{-1} : \C \to \R^2$ by:
- $\map {\phi^{-1} } z = \tuple {\map \Re z, \map \Im z}$
Then $\phi^{-1}$ is the inverse of $\phi$, as:
- $\map \phi {\map { \phi^{-1} } z} = \map \Re z + i \map \Im z = z$
- $\map {\phi^{-1} } {\map \phi {x, y} } = \tuple {\map \Re {x + i y}, \map \Im {x + i y} } = \tuple {x, y}$
By definition of bijection, it follows that $\phi$ is bijective.
We show continuity of $\phi$.
Complex Plane is Metric Space shows that for $\map \phi {x_1, y_1} = x_1 + i y_1, \map \phi {x_2, y_2} = x_2 + i y_2$, we have:
- $\cmod {\map \phi {x_2, y_2} - \map \phi {x_1, y_1} } = \sqrt {\paren {x_2 - x_1}^2 + \paren {y_2 - y_1}^2}$
which is equal to the distance between $\tuple {x_1, x_2}$ and $\tuple {y_1, y_2}$ in the Euclidean metric on the Euclidean plane.
Let $\epsilon \in \R_{>0}$.
With $\delta = \epsilon$, we have:
- $\sqrt {\paren {x_2 - x_1}^2 + \paren {y_2 - y_1}^2} < \delta \implies \cmod {\map \phi {x_2, y_2} - \map \phi {x_1 , y_1} } < \epsilon$
which shows the continuity of $\phi$.
The continuity of $\phi^{-1}$ is proven the same way.
$\blacksquare$