Existenz von Fixpunkten

Fixpunkt von f : : CC ist x : : C mit fx = x.

Existenz? Eindeutigkeit? Konstruktion?

Satz: Wenn C pointed CPO und f stetig, dann besitzt f genau einen kleinsten Fixpunkt.

Begriffe:

Dann fix(f )= sup[$ \bot$, f ($ \bot$), f2($ \bot$),…]



Johannes Waldmann 2011-01-23