Proof:
In particular for n > m
If is the volume of the smallest
of the sets f-NA,...,f-1A.
Poincare recurrence is for the phase-point, not for the distribution of phase-points.
The proof nicely illustrates the situation typical in much of analytical mechanics. It shows that any Hamiltoian system has a some property, in this case recurrence, while the proof gives no hint of closely related question, e.g the time it will take before the recurrence will happen.
Author Per Stoltze stoltze@fysik.dtu.dk