Gaussian Rationals are Everywhere Dense in Complex Numbers

Theorem
Let $\struct {\C, \size {\, \cdot \,}}$ be the normed vector space of complex numbers.

Let $\Q_c = \set {a + i b: a, b \in \Q}$ be the set of complex rational numbers.

Then $\Q_c$ is everywhere dense in $\struct {\C, \size {\, \cdot \,}}$.

Proof
Let $z = x + i y \in \C$ be a complex number.

Let $q = a + i b \in \Q_c$ be a complex rational number.

Then:

We have that rationals are everywhere dense in reals.

Then:


 * $\forall x \in \R : \forall \epsilon_x \in \R_{\mathop > 0} : \exists a \in \Q : \size {x - a} < \epsilon_x$


 * $\forall y \in \R : \forall \epsilon_y \in \R_{\mathop > 0} : \exists b \in \Q : \size {y - b} < \epsilon_y$

Let $\epsilon \in \R_{> 0}$.

Let $\epsilon_x, \epsilon_y \in \R_{>0}$ be such that $\epsilon_x + \epsilon_y < \epsilon$.

Then:


 * $\exists q \in \Q_c : \size {z - q} < \epsilon$

$z$ and $\epsilon$ were arbitary.

Therefore:


 * $\forall z \in \C : \forall \epsilon \in \R_{> 0} : \exists q \in \Q_c : \size {z - q} < \epsilon$

By definition, $\Q_c$ is everywhere dense in $\C$.