Logik Fixpunktsatz für coinduktiv definierte Mengen |
21.05.2017, 18:18 | V3nom | Auf diesen Beitrag antworten » |
Logik Fixpunktsatz für coinduktiv definierte Mengen Wir sollen die Aussage (ii) von Satz 4.1 analog zum Beweis von (i) beweisen... Beweisen bedeutet ja folglich umformen bis dies funktioniert oder eine Herleitung oder sonstiges ...! Meine Ideen: lfp(F) ist hier bekanntlich... eher erforscht, der kleinste Fixpunkt von F:P(S)->P(S). Hier ist T F-abgeschlossen... Gfp (F) ist dann auch ersichtlich als größte F-dichte Teilmenge von S und der größte Fixpunkt von F (F: P(S)->P(S)). Hierbei ist t F-Dicht... Bei beiden (lfp(F) und gfp(F)) ist der Betrag T Teilmenge aus S gegeben! Wie wir das jetzt aber beweisen sollen, ist uns leider nicht ganz, oder besser überhaupt nicht schlüssig... deshalb bitten wir hier dringend um Hilfe Danke im Voraus LG von der TU D |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|