Als «order-theory» getaggte Fragen

8
Ausreichende Bedingungen, um einen eindeutigen Fixpunkt (nicht einen eindeutigen kleinsten / größten Fixpunkt) für monotone Funktionen auf dem gesamten Gitter zu gewährleisten

Tarskis Fixpunktsatz besagt, dass die Fixpunkte eines monotonen Operators auf einem vollständigen Gitter ein vollständiges Gitter sind. Infolgedessen haben wir einen eindeutigen größten Fixpunkt und einen eindeutigen kleinsten Fixpunkt für einen monotonen Operator auf einem vollständigen Gitter....