Denjoy's theorem on rotation number¶

A regularity theorem stating that an orientation-preserving circle diffeomorphism with irrational rotation number and derivative of bounded variation is topologically conjugate to the corresponding irrational rotation.

Version: v2 · 2026-09-19 · History
Domain-specific #: 4108
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Dynamical Systems and Circle Maps → Mathematics

Core Idea¶

Denjoy's theorem rules out wandering intervals under its smoothness condition, makes every orbit dense, and is sharp enough that C1 counterexamples exist when the derivative-variation hypothesis is dropped. Lift and rotation number encode average angular motion; distortion control from bounded variation prevents intervals from wandering and accumulating disjoint images, yielding minimal dynamics and a homeomorphic conjugacy to rigid rotation. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

The Never-Lost Ring Bead

Picture a bead that keeps hopping around a ring, and its hops never line up to repeat exactly. If the hopping rule is smooth enough, the bead ends up visiting close to every spot on the ring, just like a bead moved by the same steady turn each time. If the rule is too jerky, that promise can break.

The Smooth Circle-Hopper Rule

Imagine a rule that moves every point on a circle to a new point, without flipping the circle over. If you keep applying the rule, a point goes around and around, and its average turn per step is called the rotation number. Denjoy's theorem says: if that average turn never repeats in a neat pattern (it is irrational) and the rule bends the circle smoothly enough, then every point eventually visits close to everywhere on the circle. In fact the rule is just a plain, even rotation seen through a stretched ruler. Without enough smoothness, this can fail: some stretches of the circle can wander forever without ever overlapping.

Smooth Maps Act Like Rotations

A circle map that keeps orientation can be 'unrolled' onto the number line (its lift), and averaging how far the lift moves per step gives the rotation number, a measure of average angular motion. Denjoy's theorem concerns maps whose rotation number is irrational. If the map is a diffeomorphism whose derivative is positive and does not wiggle too much (its variation is bounded), then no interval can 'wander', meaning no arc keeps landing in fresh, non-overlapping places forever. As a result every orbit is dense in the circle, and the map is topologically equivalent (conjugate) to a rigid rotation by the same angle. The smoothness condition really matters: there are once-differentiable counterexamples where wandering intervals do exist.

For an orientation-preserving homeomorphism f of the circle, one lifts f to a map F of the real line and defines the rotation number as the limit of (F^n(x) - x)/n, which captures average angular motion and is independent of x. Denjoy's theorem adds a regularity hypothesis to this invariant: if f is a diffeomorphism whose derivative is positive and has bounded variation, and the rotation number is irrational, then f has no wandering intervals. The proof uses distortion control: bounded variation of log f' bounds how much iterates can stretch or shrink intervals, so disjoint images of a would-be wandering interval cannot all fit on the circle. Consequently f is minimal (every orbit is dense) and is topologically conjugate by a homeomorphism to the rigid rotation by its rotation number. The theorem is sharp: Denjoy counterexamples are C1 diffeomorphisms with irrational rotation number that possess wandering intervals, so dropping the derivative-variation hypothesis breaks the conclusion.

Scope of Application¶

Denjoy's theorem on rotation number belongs to dynamical systems and circle maps and is useful where the analyst can specify the typed dynamical systems and circle maps carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the circle orientation and lift convention, homeomorphism or diffeomorphism regularity, positive derivative, bounded-variation hypothesis, irrational rotation number, topological conjugacy, orbit density, and counterexample boundary are explicit. The scope is broad within that domain but bounded by the need for the circle orientation and lift convention, homeomorphism or diffeomorphism regularity, positive derivative, bounded-variation hypothesis, irrational rotation number, topological conjugacy, orbit density, and counterexample boundary are explicit.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the circle orientation and lift convention, homeomorphism or diffeomorphism regularity, positive derivative, bounded-variation hypothesis, irrational rotation number, topological conjugacy, orbit density, and counterexample boundary are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Denjoy's theorem on rotation number. Denjoy's theorem on rotation number compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed dynamical systems and circle maps carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the circle orientation and lift convention, homeomorphism or diffeomorphism regularity, positive derivative, bounded-variation hypothesis, irrational rotation number, topological conjugacy, orbit density, and counterexample boundary are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of dynamical systems and circle maps because they reuse the typed dynamical systems and circle maps carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, Lift and rotation number encode average angular motion; distortion control from bounded variation prevents intervals from wandering and accumulating disjoint images, yielding minimal dynamics and a homeomorphic conjugacy to rigid rotation., and type the carrier, state every parameter and convention in the definition, test that the circle orientation and lift convention, homeomorphism or diffeomorphism regularity, positive derivative, bounded-variation hypothesis, irrational rotation number, topological conjugacy, orbit density, and counterexample boundary are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Denjoy's theorem on rotation number Domain-specific

Parents (1) — outgoing typed relations

Denjoy's theorem on rotation number is a kind of Equivalence Relation Prime

It remains its own entry because its identity is fixed by the circle orientation and lift convention, homeomorphism or diffeomorphism regularity, positive derivative, bounded-variation hypothesis, irrational rotation number, topological conjugacy, orbit density, and counterexample boundary.

Hierarchy path (1) — routes to 1 parentless root

Denjoy's theorem on rotation number → is a kind of Equivalence Relation

Neighborhood in Abstraction Space¶

Denjoy's theorem on rotation number sits in a crowded region of the domain-specific corpus (35^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Dynamical Systems & Chaos (17 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25