38.01.04 · dynamics / topological-dynamics

Circle Rotations and Unique Ergodicity

shipped3 tiersLean: none

Anchor (Master): Brin-Stuck 2002 *Introduction to Dynamical Systems* (Cambridge University Press) Ch. 4 (circle rotations as the model isometric system); Katok-Hasselblatt 1995 *Introduction to the Modern Theory of Dynamical Systems* (Cambridge) §1.3–§1.4 and §2.6 (rotations, equidistribution, continued fractions); Cornfeld-Fomin-Sinai 1982 *Ergodic Theory* (Springer Grundlehren 245) Ch. 3 (rotations, discrete spectrum); Khinchin 1964 *Continued Fractions* (University of Chicago Press) (the metric theory underlying the fine structure of orbits)

Intuition Beginner

Take a circle and pick a fixed step. Each tick of the clock you turn forward by that same amount and wrap around when you pass the top. This is the simplest motion that is not standing still: a circle rotation. The whole long-run story of the motion is decided by one number — the size of your step measured as a fraction of a full turn.

If the step is a simple fraction, say a fifth of a turn, then after five ticks you are exactly back where you started and you repeat the same five spots forever. Every starting point falls into a short cycle, and most of the circle is never visited. The motion is periodic and tidy, but it ignores almost everywhere.

If the step is not any simple fraction of a turn — an irrational step — something far richer happens. You never land exactly where you started, so the trail never closes. Over time your landing spots sprinkle across the circle with perfectly even density: any arc you choose collects a share of your visits equal to its own length. This even sprinkling is called equidistribution, and the reason it must happen — there being only one sensible way to assign "size" that the rotation respects — is unique ergodicity. One number decides everything: rational gives a repeating cycle, irrational gives a single orbit that fills the circle evenly.

Visual Beginner

Picture the circle as a clock face. Two side-by-side runs show the dichotomy. On the left, the step is one fifth of a turn: five dots appear, then the sixth dot lands back on the first, and the picture freezes at five points forever. On the right, the step is an irrational fraction of a turn: dots keep appearing at fresh spots, sparse at first, then crowding every arc, until the circle wears an even band of marks with no gaps and no clumps.

The left circle is the rational case: a finite cycle, most of the circle untouched. The right circle is the irrational case: a single orbit that is dense and equidistributed, the shaded arc collecting exactly its fair share of the marks.

Worked example Beginner

Rotate the circle (numbers from $0$ up to $1$ , with $0$ and $1$ the same point) forward by a step each tick. We contrast a rational and an irrational step and then count an arc's share.

Step 1. Take the step $1/5$ . Start at $0$ . The orbit is $0 \to 1/5 \to 2/5 \to 3/5 \to 4/5 \to 0$ , a five-point cycle that repeats forever. It visits five spots and misses the rest of the circle, so the motion is periodic, not space-filling.

Step 2. Now take an irrational step. Could the orbit ever land exactly back at $0$ ? That would need $n$ steps of the irrational amount to total a whole number of turns, which would make the step equal to (whole number) $/ n$ , a simple fraction. Since the step is irrational, this never happens — every landing spot is brand new and the trail never closes.

Step 3. Here is the fair-share count, done on the rational step $2/5$ to keep the arithmetic small. The orbit of $0$ is $0, 2/5, 4/5, 1/5, 3/5$ , then back to $0$ — all five evenly spaced points. Take the arc $A$ from $0$ up to $2/5$ , which is two fifths of the circle. The five points include $0$ and $1/5$ inside $A$ (taking $A = [0, 2/5)$ ), so $2$ of the $5$ visits land in $A$ : a fraction $2/5 = 0.4$ , exactly the length of $A$ .

What this tells us: even the repeating example already balances visits against arc length. For a genuinely irrational step the orbit never repeats and fills the circle with no gaps, and the same balance — fraction of visits equals length of arc — holds for every starting point and every arc. That even filling is equidistribution, and it is exactly what the irrational rotation delivers.

Check your understanding Beginner

Exercise (easy, multiple choice).

The long-run behaviour of a circle rotation $R_{α} (x) = x + α$ is decided by:

A. The starting point you choose. B. Whether the step $α$ is a simple fraction of a turn or not. C. How fast you tick the clock. D. The direction (clockwise or counter-clockwise) you turn.

Hint

One number controls everything; changing the starting point only shifts the same picture around.

Answer

B. A rational step makes every orbit a finite repeating cycle; an irrational step makes every orbit dense and evenly spread. The starting point only rotates the same pattern, the ticking rate is just relabelling time, and the direction merely reflects it. Feedback-correct: the rational/irrational nature of $α$ is the whole story. Feedback-wrong: A, C, and D change nothing essential about whether the orbit is a finite cycle or fills the circle.

Formal definition Intermediate+

Let $X = R / Z ≅ [0, 1)$ be the circle with its quotient metric $d (x, y) = min_{k \in Z} ∣ x - y - k ∣$ , and let $λ$ denote Lebesgue (Haar) measure. For $α \in R$ the circle rotation is $$ R_\alpha : X \to X, \qquad R_\alpha(x) = x + \alpha \bmod 1. $$ Each $R_{α}$ is a homeomorphism and an isometry of $(X, d)$ : $d (R_{α} x, R_{α} y) = d (x, y)$ . Iterates are $R_{α}^{n} (x) = x + n α mod 1$ . As in 38.01.02, an orbit is $O^{+} (x) = {x + n α mod 1 : n \geq 0}$ , and the system is minimal if every orbit is dense.

Definition (the dichotomy). The rotation $R_{α}$ is called rational if $α \in Q$ and irrational if $α \in / Q$ . Write ${t}$ for the fractional part of $t$ , so that $R_{α}^{n} (x) = {x + n α}$ .

Definition (equicontinuity). A system $(X, T)$ is equicontinuous if the iterate family ${T^{n} : n \geq 0}$ is uniformly equicontinuous: for every $ε > 0$ there is $δ > 0$ with $d (x, y) < δ \Rightarrow d (T^{n} x, T^{n} y) < ε$ for all $n$ . Because each $R_{α}$ is an isometry, $d (R_{α}^{n} x, R_{α}^{n} y) = d (x, y)$ for all $n$ , so every circle rotation is equicontinuous — one may take $δ = ε$ .

Definition (unique ergodicity). Following 38.04.02, $(X, T)$ with $T$ continuous on the compact metric $X$ is uniquely ergodic if the set $M_{T} (X)$ of $T$ -invariant Borel probability measures is a single point. The unique invariant measure is then automatically ergodic.

Definition (equidistribution). A sequence $(x_{n})$ in $X$ is equidistributed for $μ$ if $\frac{1}{N} \sum_{n < N} f (x_{n}) \to \int_{X} f d μ$ for every continuous $f$ . For $X = R / Z$ and $μ = λ$ this is, by 21.15.02, the Weyl criterion: $\frac{1}{N} \sum_{n < N} e^{2 π ik x_{n}} \to 0$ for every nonzero integer $k$ .

The rational case, made explicit. If $α = p / q$ in lowest terms, then $R_{α}^{q} (x) = x + q \cdot (p / q) = x mod 1$ , so $R_{α}^{q} = id$ and every point is periodic with common period $q$ . The orbit of $x$ is the $q$ -point set ${x, x + 1/ q, \dots, x + (q - 1) / q}$ ; it is closed and invariant and proper (when $q \geq 2$ ), so $R_{p / q}$ is not minimal and not uniquely ergodic — every uniform measure on a single periodic orbit is invariant.

Counterexamples to common slips

Irrationality of $α$ , not of the starting point, is what matters. The orbit of $0$ and the orbit of any $x$ are translates of each other; if $α$ is irrational both are dense, and if $α$ is rational both are finite cycles. There is no "good" or "bad" starting point.
Dense orbit and equidistributed orbit are different strengths. For irrational $α$ the orbit of $0$ is dense (a topological statement: it meets every open arc) and also equidistributed (a measure-theoretic statement: it meets every arc with the right frequency). Density is the minimality of this unit; equidistribution is the unique ergodicity, and the second implies but is strictly stronger than the first.
Rotation is not the doubling map. The doubling map $E_{2} (x) = 2 x mod 1$ is ergodic for $λ$ but not uniquely ergodic (Dirac masses on periodic points are invariant) and not equicontinuous (nearby points separate exponentially). The rotation is uniquely ergodic and equicontinuous; the contrast is exactly minimality-with-zero-entropy against chaos.
Unique ergodicity is about measures, minimality about orbits. A system can be minimal without being uniquely ergodic in general, but for the circle rotation the two coincide: irrational $\Rightarrow$ both, rational $\Rightarrow$ neither.

Key theorem with proof Intermediate+

Theorem (rotation dichotomy: minimality and unique ergodicity). Let $R_{α} (x) = x + α mod 1$ on $X = R / Z$ .

If $α = p / q \in Q$ in lowest terms, then $R_{α}^{q} = id$ and every orbit is periodic of period $q$ ; the system is neither minimal nor uniquely ergodic.
If $α \in / Q$ , then $R_{α}$ is minimal: every orbit is dense.
If $α \in / Q$ , then $R_{α}$ is uniquely ergodic, its unique invariant measure being Lebesgue measure $λ$ ; consequently $(n α mod 1)$ is equidistributed and $\frac{1}{N} \sum_{n < N} f (x + n α) \to \int f d λ$ uniformly in $x$ for every continuous $f$ .

(See ^{[Brin-Stuck 2002 §4.1]}, ^{[Weyl 1916]}, ^{[Katok-Hasselblatt 1995 §1.3]}.)

Proof.

Part 1. With $α = p / q$ , $R_{α}^{q} (x) = x + q p / q = x + p \equiv x mod 1$ , so $R_{α}^{q} = id$ and every $x$ has period dividing $q$ ; lowest terms forces the period to equal $q$ . The finite orbit ${x + j / q : 0 \leq j < q}$ is a proper closed invariant set for $q \geq 2$ , so the system is not minimal, and uniform measure on any such orbit is invariant, so $M_{R_{α}} (X)$ is not a singleton.

Part 2 (minimality via pigeonhole). Fix $α \in / Q$ and $ε > 0$ ; we show the orbit of $0$ is $ε$ -dense, which suffices since every orbit is a translate. Choose $N > 1/ ε$ and consider the $N + 1$ points ${0}, {α}, \dots, {N α}$ . Partition $[0, 1)$ into $N$ half-open arcs of length $1/ N < ε$ . By pigeonhole two of the $N + 1$ points share an arc: there are $0 \leq i < j \leq N$ with $d ({i α}, {j α}) < 1/ N$ . Set $m = j - i$ , so $1 \leq m \leq N$ and $d ({m α}, 0) < 1/ N < ε$ . Irrationality gives ${m α} \neq = 0$ , so $β := {m α}$ is a nonzero element within $ε$ of $0$ . The multiples $0, β, 2 β, \dots$ (that is, $0, m α, 2 m α, \dots mod 1$ ) step around the circle in hops of size $< ε$ , so they leave no arc of length $ε$ unvisited: every point of $X$ is within $ε$ of some ${k m α}$ , hence within $ε$ of the orbit of $0$ . As $ε$ was arbitrary, the orbit of $0$ is dense; translating, every orbit is dense, so $R_{α}$ is minimal. (Minimality also follows from 38.01.02: every orbit being uniformly recurrent.)

Part 3 (unique ergodicity and equidistribution). Let $ν \in M_{R_{α}} (X)$ be any invariant Borel probability measure. Its Fourier coefficients $\overset{ν}{^} (k) = \int_{X} e^{- 2 π ik x} d ν (x)$ satisfy, by $R_{α}$ -invariance, $$ \hat\nu(k) = \int e^{-2\pi i k x},d\nu = \int e^{-2\pi i k(x + \alpha)},d\nu = e^{-2\pi i k\alpha},\hat\nu(k). $$ For $k \neq = 0$ , irrationality of $α$ gives $k α \in / Z$ , so $e^{- 2 π ik α} \neq = 1$ and therefore $\overset{ν}{^} (k) = 0$ . With $\overset{ν}{^} (0) = 1$ , the measure $ν$ has exactly the Fourier coefficients of $λ$ . The characters ${e^{2 π ik x}}_{k \in Z}$ span a dense subspace of $C (X)$ (Stone-Weierstrass), so equality of $\int g d ν$ and $\int g d λ$ on characters extends to all $g \in C (X)$ ; hence $ν = λ$ . So $λ$ is the unique invariant measure: $R_{α}$ is uniquely ergodic.

For the equidistribution, test the Birkhoff average on a character $e_{k} (x) = e^{2 π ik x}$ with $k \neq = 0$ . A geometric sum gives $$ \frac1N \sum_{n=0}^{N-1} e_k(x + n\alpha) = \frac{e^{2\pi i k x}}{N}\cdot\frac{e^{2\pi i k N\alpha} - 1}{e^{2\pi i k\alpha} - 1}, $$ of modulus at most $\frac{1}{N} \cdot \frac{2}{∣ e ^{2 π ik α} - 1∣} \to 0$ , uniformly in $x$ , while $\int e_{k} d λ = 0$ . For $k = 0$ the average equals $1 = \int 1 d λ$ . By linearity the uniform convergence $\frac{1}{N} \sum_{n} f \circ R_{α}^{n} \to \int f d λ$ holds for every trigonometric polynomial $f$ , and since trigonometric polynomials are dense in $C (X)$ and both $f \mapsto \frac{1}{N} \sum_{n} f \circ R_{α}^{n}$ and $f \mapsto \int f d λ$ have operator norm $1$ on $C (X)$ , a triangle-inequality approximation extends it to all continuous $f$ . Approximating $1_{[a, b)}$ from above and below by continuous functions (a $λ$ -continuity set) yields $\frac{1}{N} # {n < N : {x + n α} \in [a, b)} \to b - a$ , the equidistribution of $(n α)$ . This recovers, dynamically, the Weyl criterion of 21.15.02.

Bridge. This dichotomy theorem builds toward the entire isometric/equicontinuous wing of dynamics, and it appears again in 38.04.02 where unique ergodicity is treated abstractly with the rotation as its first nontrivial example. The foundational reason the proof works is that an invariant measure on the circle is pinned down by its action on the characters $e^{2 π ik x}$ , and irrationality annihilates every nonzero character — this is exactly the Fourier-analytic Weyl criterion of 21.15.02 read as a statement about invariant measures, so the number-theoretic and the dynamical proofs of Weyl's theorem are dual to one another. The central insight is that minimality (Part 2) is the topological shadow and unique ergodicity (Part 3) the measure-theoretic refinement of one phenomenon: the single orbit samples the circle, first densely and then with correct frequency. The pigeonhole return ${m α}$ near $0$ generalises to the continued-fraction convergents, whose denominators give the best such returns, and putting these together — minimality from 38.01.02, unique ergodicity from 38.04.02, the Weyl criterion from 21.15.02 — the bridge is that the irrational rotation is the meeting point of topological dynamics, ergodic theory, and Diophantine approximation, the model on which all three theories were first calibrated.

Exercises Intermediate+

Exercise 6 (medium, short-answer).

Show that the irrational rotation is equicontinuous and conclude it has zero topological entropy (you may cite that equicontinuous systems have zero entropy).

Hint

Each $R_{α}$ is an isometry; what does that say about $d (R_{α}^{n} x, R_{α}^{n} y)$ ?

Answer

Each $R_{α}$ is an isometry of $(X, d)$ : $d (R_{α} x, R_{α} y) = d (x + α, y + α) = d (x, y)$ . Iterating, $d (R_{α}^{n} x, R_{α}^{n} y) = d (x, y)$ for all $n$ , so given $ε > 0$ the choice $δ = ε$ makes $d (x, y) < δ \Rightarrow d (R_{α}^{n} x, R_{α}^{n} y) < ε$ for every $n$ simultaneously: the iterate family is uniformly equicontinuous. An equicontinuous map on a compact metric space has no orbit separation under refinement of scale, so its $(n, ε)$ -spanning sets do not grow with $n$ ; the topological entropy is therefore $0$ . (Equicontinuity prevents the exponential proliferation of distinguishable orbits that positive entropy requires.) Rubric: full credit for the isometry-implies-equicontinuity step and the zero-entropy conclusion.

Exercise 7 (hard, symbolic).

Prove the three-distance (Steinhaus) theorem in its weak form: for irrational $α$ and any $n \geq 1$ , the $n$ points ${0}, {α}, \dots, {(n - 1) α}$ partition the circle into arcs taking at most three distinct lengths. (A full proof is long; give the convergent-based argument that produces the small gap and explain why at most three lengths arise.)

Hint

Order the points around the circle; the gap to the right neighbour is determined by which of two "return" steps lands closest. Use the two consecutive convergent denominators bracketing $n$ .

Answer

Order the $n$ points cyclically. For a point ${j α}$ , its clockwise neighbour is ${(j + r) α}$ for the smallest $r \geq 1$ with ${r α}$ landing just clockwise of $0$ , and its counter-clockwise neighbour uses the smallest $s$ with ${- s α}$ landing just counter-clockwise; the two relevant return times $r, s$ are determined by the continued-fraction convergent denominators $q_{k}$ bracketing $n$ (the best approximations from each side). Every gap equals either ${r α}$ -distance, ${s α}$ -distance, or their sum ${(r + s) α}$ -distance, because inserting the next point splits the longest gaps into these two pieces. Hence at most three lengths occur, and when a gap of the summed length is split the count drops back to two; the third length appears exactly at the transitional $n$ . The smallest gap is bounded by $∣ q_{k} α - p_{k} ∣ < 1/ q_{k + 1}$ from the convergent with $q_{k} \leq n < q_{k + 1}$ . Rubric: full credit for identifying the two return steps from the convergents, the additivity giving the third length, and the convergent bound on the small gap. (A complete combinatorial induction is the Steinhaus theorem proper; the convergent mechanism is the substance.)

Exercise 8 (hard, symbolic).

Prove that the irrational rotation is strictly ergodic: minimal and uniquely ergodic, with the unique invariant measure of full support. Show further that strict ergodicity forces every orbit (not merely a.e. orbit) to equidistribute.

Hint

Minimality is Part 2; unique ergodicity is Part 3. For full support, use that the unique measure $λ$ assigns positive mass to every nonempty open arc. For pointwise equidistribution, invoke the Oxtoby uniform-convergence theorem.

Answer

By Part 2 of the dichotomy theorem $R_{α}$ is minimal, and by Part 3 it is uniquely ergodic with unique invariant measure $λ$ . Lebesgue measure assigns every nonempty open arc $(a, b)$ the positive mass $b - a > 0$ , so $supp λ = X$ : the support is full. A system that is both minimal and uniquely ergodic with full-support unique measure is by definition strictly ergodic. For pointwise equidistribution, the Oxtoby theorem 38.04.02 states that unique ergodicity is equivalent to $\frac{1}{N} \sum_{n < N} f \circ R_{α}^{n} \to \int f d λ$ uniformly in the basepoint for every continuous $f$ ; uniform convergence holds at every $x$ with no exceptional set. Approximating indicator functions of continuity arcs above and below by continuous functions transfers this to $\frac{1}{N} # {n < N : {x + n α} \in [a, b)} \to b - a$ for every $x$ . So every orbit, without exception, equidistributes for $λ$ . Rubric: full credit for assembling minimality + unique ergodicity + full support, and the Oxtoby route to pointwise equidistribution.

Advanced results Master

Theorem (Weyl equidistribution as unique ergodicity). For irrational $α$ the sequence $(n α mod 1)$ is equidistributed in $[0, 1)$ , and more generally $(x + n α)$ is equidistributed from every $x$ . The proof is the unique ergodicity of $R_{α}$ together with the Oxtoby uniform-convergence theorem; the Fourier-analytic Weyl criterion $\frac{1}{N} \sum_{n} e^{2 π ik n α} \to 0$ for $k \neq = 0$ is the same statement read through characters. (See ^{[Weyl 1916]}, ^{[Brin-Stuck 2002 §4.2]}.)

Equidistribution is the visible face of unique ergodicity. The dynamical proof — one invariant measure forces every orbit to sample it — and the analytic proof — a single geometric-sum estimate kills every nonzero exponential — are dual descriptions of one fact, and this duality is the prototype of the correspondence between homogeneous dynamics and analytic number theory that culminates in Ratner's theorems. The polynomial generalisation $(p (n) mod 1)$ for $p$ with an irrational leading-or-intermediate coefficient is the unique ergodicity of a unipotent skew product on a torus, accessed through Weyl differencing 21.15.02.

Theorem (continued fractions and the fine structure of orbits). Write $α = [a_{0}; a_{1}, a_{2}, \dots]$ with convergents $p_{k} / q_{k}$ . The convergent denominators $q_{k}$ are exactly the times of record-small returns of the orbit to $0$ : $∥ q_{k} α ∥ = ∣ q_{k} α - p_{k} ∣$ is the smallest value of $∥ q α ∥$ over all $1 \leq q \leq q_{k + 1} - 1$ , and $\frac{1}{q _{k} + q _{k + 1}} < ∥ q_{k} α ∥ < \frac{1}{q _{k + 1}}$ , where $∥ t ∥ = d (t, Z)$ . The arcs cut by ${0, α, \dots, (n - 1) α}$ take at most three lengths (the three-distance theorem of Steinhaus), governed by the convergents bracketing $n$ . (See ^{[Khinchin 1964]}, ^{[Brin-Stuck 2002 §4.3]}.)

The arithmetic of $α$ controls the geometry of its orbit. The best rational approximations $p_{k} / q_{k}$ supplied by the continued fraction are precisely the moments at which the orbit returns closest to its start, and the speed of equidistribution — the discrepancy of $(n α)$ — is governed by the growth of the partial quotients $a_{k}$ : bounded partial quotients (badly approximable, e.g. quadratic irrationals like the golden ratio) give the fastest, most regular filling, while large partial quotients produce long stretches where the orbit lingers near a sub-lattice. This metric theory, due to Khinchin and Lévy, is the bridge from the qualitative equidistribution above to the quantitative discrepancy estimates of the Erdős-Turán inequality.

Theorem (rotations as the model equicontinuous systems). A minimal system $(X, T)$ on a compact metric space is equicontinuous if and only if it is topologically conjugate to a minimal rotation $x \mapsto x + g_{0}$ on a compact abelian group $G$ with ${n g_{0}}$ dense. Among one-dimensional connected such groups the system is exactly an irrational circle rotation; the totally disconnected case is the adding machine (odometer). (See ^{[Katok-Hasselblatt 1995 §4.2]}.)

Equicontinuity is the precise hypothesis that collapses a minimal system to a group rotation: the closure of the iterate family in the uniform topology becomes a compact abelian group acting transitively, and $T$ is translation by a topologically generating element. The irrational rotation is the connected one-dimensional representative; together with the odometer it generates, by inverse limits and products, all minimal equicontinuous systems. These are exactly the minimal isometric systems, and they have zero topological entropy.

Theorem (Halmos-von Neumann discrete spectrum; preview). An ergodic measure-preserving system $(X, B, μ, T)$ has pure point (discrete) spectrum — the eigenfunctions of the Koopman operator $U_{T}$ span $L^{2} (μ)$ — if and only if it is measurably isomorphic to an ergodic rotation on a compact abelian group, and two such systems are isomorphic if and only if their groups of eigenvalues coincide. The spectrum is a complete isomorphism invariant. (See ^{[Halmos-von Neumann 1942]}, ^{[Cornfeld-Fomin-Sinai 1982 Ch. 3]}.)

The irrational rotation has eigenvalues ${e^{2 π ik α} : k \in Z}$ , the cyclic group generated by $e^{2 π i α}$ , with eigenfunctions $x \mapsto e^{2 π ik x}$ . The Halmos-von Neumann theorem makes these eigenvalues a complete invariant: rotations $R_{α}$ and $R_{β}$ are measurably isomorphic if and only if $β \equiv \pm α mod 1$ , i.e. they generate the same eigenvalue group. Discrete-spectrum systems are thus classified by their eigenvalue subgroups of the circle, and the rotations are the building blocks — the measurable analogue of the topological structure theorem above.

Synthesis. The circle rotation is the single object on which topological dynamics, ergodic theory, and Diophantine approximation are first identified, and the foundational reason the three theories agree on it is that an invariant measure is pinned to the characters, which irrationality annihilates: minimality is the topological face, unique ergodicity the measurable face, and equidistribution exactly the upgrade from one to the other once the a.e.-exceptional set of Birkhoff is removed by the absence of a second invariant measure. The central insight is that the pigeonhole return ${m α}$ near $0$ is the crude form of the continued-fraction convergents, so the qualitative density of Part 2 and the quantitative discrepancy of the metric theory are one phenomenon at two resolutions; this is dual to the Fourier picture of 21.15.02, where the same returns appear as the cancellation of exponential sums. Putting these together, the rotation generalises in two directions the rest of dynamics inherits — into the Halmos-von Neumann discrete-spectrum classification, where rotations are the complete list of pure-point systems, and into the structure theory of minimal equicontinuous systems of 38.01.02. The bridge is that everything zero-entropy and rigid in dynamics is, at bottom, a rotation: the irrational rotation stands at one pole exactly as the chaotic shift of 38.01.02 stands at the other.

Full proof set Master

Proposition 1 (minimality of the irrational rotation, restated). For $α \in / Q$ the orbit of every point under $R_{α}$ is dense in $X = R / Z$ .

Proof. Fix $ε > 0$ and $N > 1/ ε$ . Among ${0}, {α}, \dots, {N α}$ — that is $N + 1$ points in the $N$ half-open arcs $[i / N, (i + 1) / N)$ — two share an arc by pigeonhole: $d ({i α}, {j α}) < 1/ N$ for some $0 \leq i < j \leq N$ . Put $m = j - i \in {1, \dots, N}$ ; then $β = {m α}$ satisfies $d (β, 0) < 1/ N < ε$ and $β \neq = 0$ (irrationality). The arithmetic progression $0, β, 2 β, \dots mod 1$ advances by hops of length $d (β, 0) < ε$ , so consecutive terms are within $ε$ and the progression is $ε$ -dense in $X$ . Each term is ${k m α}$ , a point of the orbit of $0$ , so the orbit of $0$ is $ε$ -dense. Letting $ε \to 0$ shows the orbit of $0$ is dense; for general $x$ , $O^{+} (x) = x + O^{+} (0)$ is a translate of a dense set, hence dense. $□$

Proposition 2 (unique ergodicity of the irrational rotation). For $α \in / Q$ , Lebesgue measure is the unique $R_{α}$ -invariant Borel probability measure.

Proof. Let $ν \in M_{R_{α}} (X)$ . For each $k \in Z$ , invariance gives $$ \hat\nu(k) = \int e^{-2\pi i k x},d\nu(x) = \int e^{-2\pi i k(x + \alpha)},d\nu(x) = e^{-2\pi i k\alpha},\hat\nu(k). $$ For $k \neq = 0$ , $k α \in / Z$ , so $e^{- 2 π ik α} \neq = 1$ and $\overset{ν}{^} (k) = 0 = \hat{λ} (k)$ ; and $\overset{ν}{^} (0) = 1 = \hat{λ} (0)$ . A finite Borel measure on the circle is determined by its Fourier coefficients: the characters are dense in $C (X)$ by Stone-Weierstrass, so $\int g d ν = \int g d λ$ for all $g \in C (X)$ , whence $ν = λ$ by Riesz representation. $□$

Proposition 3 (uniform equidistribution). For $α \in / Q$ and every continuous $f : X \to C$ , $\frac{1}{N} \sum_{n = 0}^{N - 1} f (R_{α}^{n} x) \to \int f d λ$ uniformly in $x$ .

Proof. For a character $e_{k}$ , $k \neq = 0$ , the geometric sum yields $$ \frac1N\sum_{n=0}^{N-1} e_k(x + n\alpha) = \frac{e^{2\pi i k x}}{N}\cdot\frac{e^{2\pi i k N\alpha} - 1}{e^{2\pi i k\alpha} - 1}, $$ of modulus $\leq \frac{2}{N ∣ e ^{2 π ik α} - 1∣}$ , which tends to $0$ uniformly in $x$ ; for $k = 0$ the average is constantly $1 = \int e_{0} d λ$ . Linearity extends uniform convergence to all trigonometric polynomials $p$ , with limit $\int p d λ$ . Given $f \in C (X)$ and $ε > 0$ , choose a trigonometric polynomial $p$ with $∥ f - p ∥_{\infty} < ε$ (Fejér/Weierstrass). Since the averaging operator $A_{N} : g \mapsto \frac{1}{N} \sum_{n} g \circ R_{α}^{n}$ and the functional $g \mapsto \int g d λ$ are each of norm $1$ on $C (X)$ , $$ \Big|A_N f - \textstyle\int f,d\lambda\Big|\infty \le |A_N(f - p)|\infty + \Big|A_N p - \textstyle\int p,d\lambda\Big|\infty + \Big|\textstyle\int(p - f),d\lambda\Big|\infty \le 2\varepsilon + \Big|A_N p - \textstyle\int p,d\lambda\Big|\infty. $$ The middle term $\to 0$ , so $\limsup_N |A_N f - \int f,d\lambda|\infty \le 2\varepsilon $; a s$ \varepsilon $i s a r bi t r a r y, t h e l imi t i s$ 0 $.$ \square$

Proposition 4 (rational rotation is a finite union of periodic orbits and is not ergodic). If $α = p / q$ in lowest terms then $R_{α}^{q} = id$ , every orbit has exactly $q$ points, and Lebesgue measure is not ergodic for $R_{α}$ .

Proof. $R_{α}^{q} (x) = x + q p / q = x + p \equiv x mod 1$ , so $R_{α}^{q} = id$ and each orbit has at most $q$ points; in lowest terms no smaller power is the identity, so each orbit has exactly $q$ points. For non-ergodicity, the function $g (x) = e^{2 π i q x}$ satisfies $g (R_{α} x) = e^{2 π i q (x + p / q)} = e^{2 π i q x} e^{2 π i p} = g (x)$ , a non-constant $R_{α}$ -invariant $L^{2}$ function; by the invariant-function criterion 38.04.02, $λ$ is not ergodic. Equivalently the set ${x : Re g (x) > 0}$ is invariant of measure $1/2$ . $□$

Proposition 5 (eigenvalues of the Koopman operator). For $α \in / Q$ the Koopman operator $U_{R_{α}} f = f \circ R_{α}$ on $L^{2} (λ)$ has pure point spectrum with eigenvalues ${e^{2 π ik α} : k \in Z}$ and eigenfunctions $e_{k} (x) = e^{2 π ik x}$ ; each eigenvalue is simple.

Proof. Compute $U_{R_{α}} e_{k} (x) = e_{k} (x + α) = e^{2 π ik α} e_{k} (x)$ , so $e_{k}$ is an eigenfunction with eigenvalue $e^{2 π ik α}$ . The ${e_{k}}_{k \in Z}$ form an orthonormal basis of $L^{2} (λ)$ , so $U_{R_{α}}$ is diagonalised by them and has pure point spectrum. The eigenvalues $e^{2 π ik α}$ are distinct for distinct $k$ : if $e^{2 π ik α} = e^{2 π i k^{'} α}$ then $(k - k^{'}) α \in Z$ , forcing $k = k^{'}$ by irrationality. Hence each eigenspace is one-dimensional, spanned by the corresponding $e_{k}$ , and the eigenvalues form the cyclic group $⟨ e^{2 π i α} ⟩$ . $□$

Connections Master

Minimality and recurrence 38.01.02. The irrational rotation is the headline example of that unit's theory: minimal, with every point uniformly recurrent (almost periodic), its return-time sets to any arc syndetic by the pigeonhole hop constructed here. The Birkhoff recurrence theorem of 38.01.02 guarantees a minimal set in any compact system; the rotation realises minimality of the whole circle, and its equicontinuity places it among the structured isometric systems classified there.
Ergodicity, unique ergodicity, and equidistribution 38.04.02. This unit is the topological-dynamics entry point to the measure-theoretic machinery developed there. The Fourier proof of unique ergodicity, the Oxtoby uniform-convergence theorem, and the Weyl equidistribution statement all appear in 38.04.02 in their general form; here they are specialised to the rotation, which is their motivating and first nontrivial instance. Strict ergodicity — minimal plus uniquely ergodic with full support — is exactly the meeting of the two units.
Weyl sums, Weyl differencing, and equidistribution 21.15.02. The Fourier-analytic Weyl criterion proved there is the number-theoretic mirror of the dynamical equidistribution proved here: the cancellation of $\frac{1}{N} \sum_{n} e^{2 π ik n α}$ is the same geometric-sum estimate that drives Proposition 3, and Weyl differencing extends both to polynomial sequences corresponding to unipotent skew products on the torus. The two units are dual proofs of one theorem of Weyl.

Historical & philosophical context Master

The equidistribution of $(n α)$ was proved by Hermann Weyl in his 1916 Mathematische Annalen paper Über die Gleichverteilung von Zahlen mod. Eins ^{[Weyl 1916]}, where the exponential-sum criterion bearing his name first appears. Weyl's proof was Fourier-analytic and preceded the abstract theory of dynamical systems; the recognition that his theorem is precisely the unique ergodicity of the circle rotation came only after George David Birkhoff's 1931 pointwise ergodic theorem and the operator-theoretic reframing of the 1930s, with John Oxtoby's 1952 isolation of unique ergodicity supplying the clean equivalence with uniform convergence. The continued-fraction analysis of the fine structure of ${n α}$ — best approximations, the three-distance theorem of Hugo Steinhaus, and the metric theory of partial quotients — was developed by Aleksandr Khinchin and Paul Lévy in the 1930s and codified in Khinchin's Continued Fractions ^{[Khinchin 1964]}.

The spectral classification placing rotations at the centre of the rigid theory is due to Paul Halmos and John von Neumann, whose 1942 Annals of Mathematics paper Operator methods in classical mechanics, II ^{[Halmos-von Neumann 1942]} proved that an ergodic system with pure point spectrum is measurably isomorphic to a rotation on a compact abelian group, with the eigenvalue group as complete invariant. Isaac Cornfeld, Sergei Fomin, and Yakov Sinai's Ergodic Theory ^{[Cornfeld-Fomin-Sinai 1982]} gives the canonical modern account of rotations, discrete spectrum, and group automorphisms, and Michael Brin and Garrett Stuck's Introduction to Dynamical Systems ^{[Brin-Stuck 2002]} presents the rotation dichotomy as the foundational example of minimality, unique ergodicity, and equidistribution before the smooth and hyperbolic theory.

Bibliography Master

@article{Weyl1916,
  author  = {Weyl, Hermann},
  title   = {\"Uber die Gleichverteilung von Zahlen mod. Eins},
  journal = {Mathematische Annalen},
  volume  = {77},
  number  = {3},
  year    = {1916},
  pages   = {313--352}
}

@article{HalmosvonNeumann1942,
  author  = {Halmos, Paul R. and von Neumann, John},
  title   = {Operator methods in classical mechanics, II},
  journal = {Annals of Mathematics},
  volume  = {43},
  number  = {2},
  year    = {1942},
  pages   = {332--350}
}

@book{Khinchin1964,
  author    = {Khinchin, Aleksandr Ya.},
  title     = {Continued Fractions},
  publisher = {University of Chicago Press},
  year      = {1964}
}

@book{BrinStuck2002,
  author    = {Brin, Michael and Stuck, Garrett},
  title     = {Introduction to Dynamical Systems},
  publisher = {Cambridge University Press},
  year      = {2002}
}

@book{KatokHasselblatt1995,
  author    = {Katok, Anatole and Hasselblatt, Boris},
  title     = {Introduction to the Modern Theory of Dynamical Systems},
  publisher = {Cambridge University Press},
  series    = {Encyclopedia of Mathematics and its Applications},
  volume    = {54},
  year      = {1995}
}

@book{CornfeldFominSinai1982,
  author    = {Cornfeld, Isaac P. and Fomin, Sergei V. and Sinai, Yakov G.},
  title     = {Ergodic Theory},
  publisher = {Springer},
  series    = {Grundlehren der mathematischen Wissenschaften},
  volume    = {245},
  year      = {1982}
}

@article{Steinhaus1957,
  author  = {Steinhaus, Hugo},
  title   = {Sur les distances des points dans les ensembles de mesure positive},
  journal = {Fundamenta Mathematicae},
  volume  = {1},
  year    = {1920},
  pages   = {93--104}
}

Prerequisites

38.01.02
38.04.02
21.15.02

Tier anchors

beginner: Strogatz 1994 *Nonlinear Dynamics and Chaos* (Addison-Wesley) Ch. 8 (the circle map, quasiperiodicity, dense windings); 3Blue1Brown — the irrational-rotation and equidistribution visualisations of points wrapping around a circle
intermediate: Brin-Stuck 2002 *Introduction to Dynamical Systems* (Cambridge University Press) Ch. 4 §4.1–§4.4 (circle rotations, the dichotomy, minimality, unique ergodicity, equidistribution); Katok-Hasselblatt 1995 *Introduction to the Modern Theory of Dynamical Systems* (Cambridge) §1.3–§1.4
master: Brin-Stuck 2002 *Introduction to Dynamical Systems* (Cambridge University Press) Ch. 4 (circle rotations as the model isometric system); Katok-Hasselblatt 1995 *Introduction to the Modern Theory of Dynamical Systems* (Cambridge) §1.3–§1.4 and §2.6 (rotations, equidistribution, continued fractions); Cornfeld-Fomin-Sinai 1982 *Ergodic Theory* (Springer Grundlehren 245) Ch. 3 (rotations, discrete spectrum); Khinchin 1964 *Continued Fractions* (University of Chicago Press) (the metric theory underlying the fine structure of orbits)

References

Brin, Stuck 2002 — Introduction to Dynamical Systems · Ch. 4 §4.1–§4.4 (circle rotations $R_\alpha(x)=x+\alpha \bmod 1$; the rational/irrational dichotomy; minimality of the irrational rotation by the pigeonhole three-distance argument; unique ergodicity and Lebesgue as the unique invariant measure; Weyl equidistribution of $(n\alpha)$ as the dynamical face of the Weyl criterion; rotations as the model equicontinuous/isometric systems); Cambridge University Press 2002
Katok, Hasselblatt 1995 — Introduction to the Modern Theory of Dynamical Systems · §1.3–§1.4 (circle rotations, minimality, the orbit dichotomy) and §2.6, §4.2 (equidistribution, equicontinuity, the discrete-spectrum theory placing rotations as the Halmos–von Neumann representatives); Encyclopedia of Mathematics and its Applications 54, Cambridge University Press 1995
Weyl — Über die Gleichverteilung von Zahlen mod. Eins · Mathematische Annalen 77 (1916), 313–352 (equidistribution of $(n\alpha)$ and the Weyl exponential-sum criterion; the analytic original of the dynamical theorem proved here)
Cornfeld, Fomin, Sinai 1982 — Ergodic Theory · Springer Grundlehren der mathematischen Wissenschaften 245, Ch. 3 (rotations of compact groups, discrete spectrum, the Halmos–von Neumann representation theorem identifying ergodic discrete-spectrum systems with group rotations)
Khinchin 1964 — Continued Fractions · University of Chicago Press 1964 (the continued-fraction expansion $\alpha = [a_0; a_1, a_2, \dots]$, convergents $p_k/q_k$, the best-approximation property $|q_k\alpha - p_k| < 1/q_{k+1}$, and the three-distance theorem governing the fine combinatorial structure of the orbit $\{n\alpha\}$)
Halmos, von Neumann 1942 — Operator methods in classical mechanics, II · Annals of Mathematics 43 (1942), 332–350 (the discrete-spectrum theorem: an ergodic measure-preserving system with pure point spectrum is measurably isomorphic to a rotation on a compact abelian group, with the spectrum as complete invariant; rotations are the prototypes)

Estimated time

beginner: 18m
intermediate: 50m
master: 90m