This is an old revision of the document!
An example of a fixed point iteration not converging to a fixed point in one countable sequence
(draw figure)
Start from e.g. x=1/2. Obtain a series converging to 1, but 1 is not a fixed point because .
This is because is not continuous.
Whenever we converge to some , we take and continue iterating and taking limits (the “number of times” to iterate, even if infinite, depends on the size of the lattice, which can be formalized ordinal numbers).