Dense orbits of irrational n-tuples in n-Torus

  • Context: Graduate 
  • Thread starter Thread starter claybaby
  • Start date Start date
  • Tags Tags
    Irrational Orbits
Click For Summary
SUMMARY

The discussion centers on proving the density of orbits of irrational n-tuples in the n-torus, specifically for the case where a = (a_1, ..., a_n) consists of irrational and rationally independent numbers. The key assertion is that the orbit {qa}_{q ∈ Z} is dense in the n-torus, which is established through the foundational understanding that for n=1, (qa) mod 1 is dense in [0,1). The user references Thierry Aubin's book "A Course in Differential Geometry" for further insights, indicating that this proof is well-documented yet elusive for the user.

PREREQUISITES
  • Understanding of irrational numbers and their properties
  • Familiarity with the concept of rational independence
  • Basic knowledge of the n-torus and its geometric properties
  • Experience with modular arithmetic and density arguments
NEXT STEPS
  • Study the proof of density for n=1 and n=2 cases in detail
  • Read Thierry Aubin's "A Course in Differential Geometry" for comprehensive insights
  • Explore advanced topics in ergodic theory related to dense orbits
  • Investigate applications of irrational n-tuples in dynamical systems
USEFUL FOR

Mathematicians, particularly those focused on dynamical systems, geometry, and number theory, will benefit from this discussion, as well as students seeking to understand the implications of irrational numbers in higher-dimensional spaces.

claybaby
Messages
1
Reaction score
0
Hey all, this is my first post! (Although I've found a lot of useful answers here during the past).
I have been trying to prove this fact, which is widely stated in literature and relatively well-known, about density of orbits of irrational n-tuples in the n-torus. My question is this: If
a=(a_1,...,a_n), with a_i irrational, and all rationally independent, show that the orbit {qa}_{q \in Z} is dense in the n-torus. Here qa = (qa_1,...,qa_n).

For some background, if n=1, then it is not hard to show that (qa)mod1 (as q moves through the integers) is dense in [0,1). I can also show a similar result when n is 2, but I want to extend this and it's driving me nuts since it's referenced everywhere but I can't find a solid proof!
 
Physics news on Phys.org
It is in Thierry Aubin's book A Course in Differential Geometry !
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 43 ·
2
Replies
43
Views
13K
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 6 ·
Replies
6
Views
8K
  • · Replies 97 ·
4
Replies
97
Views
24K
  • · Replies 71 ·
3
Replies
71
Views
14K
  • · Replies 175 ·
6
Replies
175
Views
27K