# homeomorphism from a partition of R^2 to (S^1) x (S^1)

• Feb 11th 2011, 06:03 PM
hatsoff
homeomorphism from a partition of R^2 to (S^1) x (S^1)
Quote:

Originally Posted by Problem Statement
Find an equivalence relation $\sim$ on $\mathbb{R}\times\mathbb{R}$ such that $\mathbb{R}\times\mathbb{R}/\sim$ is homeomorphic to $S^1\times S^1$.

(Recall that $S_1:=\{x\in\mathbb{R}^2:|x|=1\}$ is the unit circle in $\mathbb{R}^2$.)

This is my first time dealing with quotient topologies and unit spheres and such, so I'm a little unsure. I was thinking of defining $\sim$ as the relation induced by the partition $P\times P$ of $\mathbb{R}^2$, where

$P:=\{(-\infty,0]\cup[2\pi,\infty),\{\theta\}:\theta\in(0,2\pi)\}$.

We define the bijection $\varphi$ from $S_1$ onto $P$ by $\varphi(0)=(-\infty,0]\cup[2\pi,\infty)$ and $\varphi(\theta)=\{\theta\}$ whenever $\theta\in(0,2\pi)$. Then the map from $S_1\times S_1$ to $P\times P=\mathbb{R}^2/\sim$ defined by $(\theta_1,\theta_2)\mapsto(\varphi(\theta_1),\varp hi(\theta_2))$ is a homeomorphism... or at least I think it is.

My first question is, do I really have a solution, or have I made a mistake? My second question is, assuming that my solution works, how do I prove it?

Thanks!
• Feb 11th 2011, 08:22 PM
xxp9
From "http://en.wikipedia.org/wiki/Torus#Topology",
"The torus can also be described as a quotient of the Cartesian plane under the identifications

(x,y) ~ (x+1,y) ~ (x,y+1).
"