FGI3: Satz vom kleinsten Fixpunkt
2010-02-06 13:02
Anonymer User
1) In Satz 1.17 haben wir eine stetige Funktion f von D nach D.
Worauf bildet diese Funktion Bottom ab? Auch wieder auf Bottom? Dann wäre der kleinste Fixpunkt ja auch Bottom, weil die n-fache Ausführung von f auch zu Bottom führen würde.
2) Warum führen wir eigentlich den Begriff der Prädomäne ein, obwohl wir dann den Fixpunkt eh nur auf Domänen berechnen?
Worauf bildet diese Funktion Bottom ab? Auch wieder auf Bottom? Dann wäre der kleinste Fixpunkt ja auch Bottom, weil die n-fache Ausführung von f auch zu Bottom führen würde.
2) Warum führen wir eigentlich den Begriff der Prädomäne ein, obwohl wir dann den Fixpunkt eh nur auf Domänen berechnen?