Poincaré Recurrence Theorem Proof
Theorem
In the Euclidean space where a multidimensional map is defined to be injective and continuous, and is a compact invariant set, let’s say . For any , given any neighborhood , there exists such that for some , is satisfied.
Explanation
The statement is simple: if is a compact invariant set, then grabbing any within it means there’s a moment when it can’t immediately escape but will eventually return to it. This can be applied repeatedly, first, second, third time… so no matter how far takes through , it inevitably returns to .
Proof 1
Consider repeatedly taking on as follows: Since was injective from the premise, they conserve the volume exactly. If they don’t overlap, then containing them would have infinite volume. However, as is compact from the premise, for some Taking the pre-image gives Thus, for , there exists that satisfies both and .
■
Wiggins. (2003). Introduction to Applied Nonlinear Dynamical Systems and Chaos Second Edition(2nd Edition): p101. ↩︎