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

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 $\displaystyle \sim$ as the relation induced by the partition $\displaystyle P\times P$ of $\displaystyle \mathbb{R}^2$, where

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

We define the bijection $\displaystyle \varphi$ from $\displaystyle S_1$ onto $\displaystyle P$ by $\displaystyle \varphi(0)=(-\infty,0]\cup[2\pi,\infty)$ and $\displaystyle \varphi(\theta)=\{\theta\}$ whenever $\displaystyle \theta\in(0,2\pi)$. Then the map from $\displaystyle S_1\times S_1$ to $\displaystyle P\times P=\mathbb{R}^2/\sim$ defined by $\displaystyle (\theta_1,\theta_2)\mapsto(\varphi(\theta_1),\varp hi(\theta_2))$ is a homeomorphism... or at least Ithinkit 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 Iproveit?

Thanks!