Let $\displaystyle \mathbb{R}$ and $\displaystyle \mathbb{R}^2$ have their respective Euclidian topologies. Endow

$\displaystyle S^1 = \{(x,y) \ \exists \ \mathbb{R}^2 | x^2 + y^2 = 1\}$

with subspace topology induced from $\displaystyle \mathbb{R}^2$. Define the relation ~ on $\displaystyle \mathbb{R}$ by a ~ b iff $\displaystyle a,b \in \mathbb{Z}$

Prove that ~ is an equivalence relation on R

Let [a] denote the ~ equivalence class containing a. Put $\displaystyle \frac{\mathbb{R}}{\mathbb{Z}} := \{[a] | a \in \mathbb{R}\}$ and endow $\displaystyle \frac{\mathbb{R}}{\mathbb{Z}}$ with the quotient topology - that is, the topology induced by the canonical projection

$\displaystyle n : \mathbb{R} \to \frac{\mathbb{R}}{\mathbb{Z}}$, $\displaystyle a \mapsto [a]$

Prove that $\displaystyle S^1$ is homeomorphic to $\displaystyle \frac{\mathbb{R}}{\mathbb{Z}}$