Funktionen als CPO, Beispiel

der Operator F = mathend000#
\ g -> ( \ x -> if (x==0) then 0
                else 2 + g (x - 1) )
ist stetig auf ($ \mathbb {N}$ $ \hookrightarrow$ $ \mathbb {N}$) mathend000# (Beispiele nachrechnen!)

Iterative Berechnung des Fixpunktes:

$\displaystyle \bot$ = ∅    überall undefiniert  
F$\displaystyle \bot$ = {(0, 0)}    sonst $ \bot$ mathend000#  
F(F$\displaystyle \bot$) = {(0, 0),(1, 2)}    sonst $ \bot$ mathend000#  
F3$\displaystyle \bot$ = {(0, 0),(1, 2),(2, 4)}    sonst $ \bot$ mathend000#  



Johannes Waldmann 2014-03-31