Equivalence Relation, Quotient Space, Compactness Define an equivalence relation on $\mathbb{R}^2$ by $a \times b$ ~ $c \times d$ iff $a-c$ and $b-d$ are both integers and let $T=(\mathbb{R}^2)^*$ denote the corresponding quotient space. 
(a) Show that $T$ is homeomorphic to the quotient space of $[0,1] \times [0,1]$ obtained by the equivalence relation $s \times 0 $ ~ $ s  \times 1$, $0 \times t$ ~ $1\times t$, for all $s,t \in [0,1]$. 
What I have so far: Given a point $a \times b \in \mathbb{R}^2$, let $s = a- |a|$ and $t = t - |b|$, (where $|x|$ is the largest integer less than x). Define $f: \mathbb{R}^2 \rightarrow ([0,1] \times [0,1])^* $ by setting $f(a \times b)$ equal to the equivalence class of $s \times t$. This is a quotient map. 
(b) Show T is compact. 
(c) Show that the image of a line $L$ with slope $\frac{r}{s} \in \mathbb{Q}$ under the quotient map $\mathbb{R}^2 \rightarrow T$ is compact. 
Any and all help will be greatly appreciated!
 A: Define $\nu:\mathbb{R}^{2}\rightarrow\left[0,1\right)^{2}$ by $\left(a,b\right)\mapsto\left(a-\lfloor a\rfloor,b-\lfloor b\rfloor\right)$
and denote the quotient topology on $\left[0,1\right)^{2}$ by $\mathcal{O}_{\nu}$. Here $\lfloor a\rfloor$ is the largest integer that does not exceed $a$.
Then $T$ and $\left(\left[0,1\right)^{2},\mathcal{O}_{\nu}\right)$ are homeomorphic.
Let $\iota:\left[0,1\right]^{2}\rightarrow\mathbb{R}^{2}$ denote
the inclusion, define $\rho:=\nu\iota:\left[0,1\right]^{2}\rightarrow\left[0,1\right)^{2}$
and denote the quotient topology on $\left[0,1\right)^{2}$ by $\mathcal{O_{\rho}}$.
Then $S:=\left(\left[0,1\right)^{2},\mathcal{O}_{\rho}\right)$ and the topological space mentioned in (a) are homeomorphic. 
It is to
be shown that $\mathcal{O}_{\nu}=\mathcal{O}_{\rho}$. We have $O\in\mathcal{O}_{\nu}\iff\nu^{-1}\left(O\right)\text{ open}\Rightarrow\rho^{-1}\left(O\right)\text{ open}$
(since $\iota$ is continuous) and next to that $O\in\mathcal{O}_{\rho}\iff\rho^{-1}\left(O\right)\text{ open}$.
This allows the conclusion: $\mathcal{O}_{\nu}\subseteq\mathcal{O}_{\rho}$.
Note that $\nu^{-1}\left(A\right)=\cup_{n,m\in\mathbb{Z}}\left[\left(n,m\right)+\rho^{-1}\left(A\right)\right]$
for any set $A\subseteq\left[0,1\right)^{2}$ so if $\rho^{-1}\left(O\right)$
is open then so is $\nu^{-1}\left(O\right)$ as a union of open sets.
Proved is now that $\mathcal{O}_{\nu}=\mathcal{O}_{\rho}$.
The fact that $\left[0,1\right]^{2}$ is compact implies that its
image under the continuous $\rho$ is compact. So $S$ is compact (and so is $T$). 
The image under $\nu$ of line $L\subset\mathbb{R}^{2}$ with a slope
belonging to $Q$ coincides with the image under $\rho$ of the union
of a finite number of closed sets. So this union is closed itself and as a subset
of the compact $\left[0,1\right]^{2}$ it is compact. Consequently
$\rho$ sends it to a compact set.
