Sturmian sequence generated by irrational rotation with theta=0.2882748715208621 and x=0.078943143
Sturmian sequence generated by irrational rotation with theta=0.2882748715208621 and x=0.078943143

In the mathematical theory of dynamical systems, an irrational rotation is a map

where θ is an irrational number. Under the identification of a circle with R/Z, or with the interval [0, 1] with the boundary points glued together, this map becomes a rotation of a circle by a proportion θ of a full revolution (i.e., an angle of 2πθ radians). Since θ is irrational, the rotation has infinite order in the circle group and the map Tθ has no periodic orbits.

Alternatively, we can use multiplicative notation for an irrational rotation by introducing the map

The relationship between the additive and multiplicative notations is the group isomorphism

.

It can be shown that φ is an isometry.

There is a strong distinction in circle rotations that depends on whether θ is rational or irrational. Rational rotations are less interesting examples of dynamical systems because if and , then when . It can also be shown that when .

Significance

Irrational rotations form a fundamental example in the theory of dynamical systems. According to the Denjoy theorem, every orientation-preserving C2-diffeomorphism of the circle with an irrational rotation number θ is topologically conjugate to Tθ. An irrational rotation is a measure-preserving ergodic transformation, but it is not mixing. The Poincaré map for the dynamical system associated with the Kronecker foliation on a torus with angle θ is the irrational rotation by θ. C*-algebras associated with irrational rotations, known as irrational rotation algebras, have been extensively studied.

Properties

Generalizations

Applications

See also

References

  1. ^ Fisher, Todd (2007). "Circle Homomorphisms" (PDF).
  2. ^ Veech, William (August 1968). "A Kronecker-Weyl Theorem Modulo 2". Proceedings of the National Academy of Sciences. 60 (4): 1163–1164. Bibcode:1968PNAS...60.1163V. doi:10.1073/pnas.60.4.1163. PMC 224897. PMID 16591677.
  3. ^ Masur, Howard; Tabachnikov, Serge (2002). "Rational Billiards and Flat Structures". In Hasselblatt, B.; Katok, A. (eds.). Handbook of Dynamical Systems (PDF). Vol. IA. Elsevier.

Further reading