1

In Example 15.9 of Tu's "An Introduction to Manifolds: Second Edition", it is written

Let G be the torus $R^2/Z^2$ and L a line through the origin in R2. The torus can also be represented by the unit square with the opposite edges identified. The image H of L under the projection π : $R^2$$R^2/Z^2$ is a closed curve if and only if the line L goes through another lattice point, say (m,n) ∈ $Z^2$. This is the case if and only if the slope of L is n/m, a rational number or ∞; then H is the image of finitely many line segments on the unit square. It is a closed curve diffeomorphic to a circle and is a regular submanifold of $R^2/Z^2$

Intuitively, it is understandable the closed curve mentioned above is diffeomorphic to a circle. I also read several related questions like this and this and this, and understood this closed curve is homeomorphic to a circle, however, I can't prove the smoothness rigorously.

Any help would be appreciated!

Foo
  • 11

0 Answers0