Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Are quotient group $\mathbb{R}/\mathbb{Z}$ and the circle are diffeomorphism? How to prove? Hope someone give me some advise or some reference documents. Thank you.

share|cite|improve this question

I know some information for the problem and I hope it helps you by considering another point of view. We know that the set of all complex numbers of absolute value $1$ makes a multiplicative group denoted by $T$. We can easily verify that for ant fix $y\in\mathbb R$, the map $f_y:\mathbb R\to T,~~ f_y(x)=\exp(iyx)$ is a homomorphism. So we can have $\mathbb R/\mathbb Z\cong T$. It is just to verify that the latter isomorphism and its inverse are both differentiable. Sorry if this is due to Group theory. Above function can be regarded as $$g:\mathbb R\to T=S^1\\g(x)=\exp(2\pi xi)$$ also.

share|cite|improve this answer
I like the approach...+1 – amWhy Feb 7 '13 at 14:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.