Proof. [02CN]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Fix any . Since it is not a fixed point of , we can choose a neighborhood such that any path-connected component of the intersection of an orbit of with is compact. Let be one path-connected component of in . We claim for sufficiently small, . If not, then there is a sequence converging to . We can choose on the path-connected component of the orbit of in which has least distance to . Then . For sufficiently large we have . Now consider the rescaled pointed sequence . As , by passing to a subsequence, this converges to . Moreover, converges to , and converges to which has distance to . But is singular for all , so is also singular. Contradiction. Then the Proposition follows from the claim and an obvious compactness argument. ∎