Birkhoff recurrence theorem 2026-10-14
Every continuous self-map of a nonempty compact metric space has a recurrent point. Choose a minimal subsystem. The forward orbit of every point in it is dense, and the same is true of every tail of that orbit; consequently each neighborhood is revisited at arbitrarily large times. A nonempty subsystem is all that is guaranteed: the identity map on a singleton has no larger subsystem.
Recurrent point Created 2026-10-14 Updated 2026-11-05
A recurrent point of a discrete dynamical system returns arbitrarily close to its starting state at arbitrarily late positive times. In a metric space, this means that there is a strictly increasing sequence withEquivalently, every neighborhood of contains for arbitrarily large . A finite early return near the point does not suffice.
Every periodic point is recurrent: if , take . An irrational rotation of the circle gives recurrent points that are not periodic. For with irrational , the pigeonhole principle applied to modulo one supplies an integer with distance from to an integer at most . These approximating must be unbounded, since no fixed positive multiple of an irrational number is an integer. An increasing subsequence therefore gives the required returns for every starting angle.
Recurrence concerns returning close, whereas convergence to an attracting equilibrium point need not give recurrence of any other starting state. The map has zero as a recurrent point, but a nonzero converges to zero rather than back to itself.