I am trying to prove the following result: Fix [itex]a,b \in \mathbb{R}[/itex] with [itex]a \neq 0[/itex]. Let [itex]L = \{(x,y) \in \mathbb{R}^2:ax+by = 0\}[/itex] and let [itex]\pi:\mathbb{R}^2 \rightarrow \mathbb{T}^2[/itex] be the canonical projection map. If [itex]\frac{b}{a} \notin \mathbb{Q}[/itex], then [itex]\pi(L)[/itex] (with the subspace topology) is not a submanifold of [itex]\mathbb{T}^2[/itex].(adsbygoogle = window.adsbygoogle || []).push({});

I am having difficulty however showing that [itex]\pi(L)[/itex] is not locally Euclidean. From drawing a few pictures, I think every neighborhood of [itex]\pi(0)[/itex] is disconnected (which would be enough to complete the proof), but I am having difficulty showing this. Any help?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Irrational Winding of the Torus

Loading...

Similar Threads - Irrational Winding Torus | Date |
---|---|

A Can I find a smooth vector field on the patches of a torus? | Oct 9, 2017 |

A About Chern number of U(1) principal bundle on a torus | Apr 28, 2017 |

I Winding number for a point that lies over a closed curve | Feb 16, 2017 |

Little Spivak-Winding Number | Jun 10, 2013 |

Dense orbits of irrational n-tuples in n-Torus | Apr 14, 2012 |

**Physics Forums - The Fusion of Science and Community**