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

8

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.

Die Fixpunkte können eindeutig sein, im Allgemeinen jedoch viele.

Meine Frage wäre, unter welchen Bedingungen kann eine monotone Funktion einen eindeutigen Fixpunkt auf einem vollständigen Gitter haben? Gibt es einige praktisch ausreichende Bedingungen, um einen eindeutigen Fixpunkt zu gewährleisten? Es wäre nützlich, dies zu wissen, da Sie manchmal einen monotonen Operator haben, der eine Eigenschaft angibt. Es kann nicht trivial sein, anzugeben, ob es sich um den größten oder den kleinsten Fixpunkt handelt, den Sie wirklich angeben möchten. In einigen Fällen stimmen die beiden überein, und Sie wissen, dass das Iterieren von oben oder unten das gleiche Ergebnis liefert, und Sie würden gerne dasjenige auswählen, das einfacher oder effizienter ist.

zell
quelle
Für Karten mit umgekehrter Reihenfolge gibt es ein Ergebnis von Anders Björner dx.doi.org/10.1007/BF02483901 .
Michał Kukieła

Antworten:

6

Konstante Funktionen haben eindeutige Fixpunkte. Ein weiteres Kriterium, das anwendbar sein kann, ist der Vergleich von Näherungen.μi=k<ifk() und νi=k<ifk()der kleinsten und größten Fixpunkte. Trivial, sobaldμi=νi für einige i, es wurde entschieden, dass fhat einen eindeutigen Fixpunkt. Das Problem bei dieser Charakterisierung ist, dass je nach Gitter undfEs ist unvollständig, es sei denn, Sie sind bereit, transfinite Näherungen zu untersuchen.

Kai
quelle
4

Banachs Fixpunktsatz in konstruktiven metrischen Räumen ist eine Quelle eindeutiger Fixpunkte. In dieser theoretischen Frage finden Sie sowohl die Aussage des Theorems als auch einen konstruktiven Beweis (Sie erhalten also im Wesentlichen einen einfachen Algorithmus). Diese Referenz könnte Sie auch interessieren.

Existenz und Eindeutigkeit von Fixpunkten in teilweise geordneten Mengen und Anwendungen auf gewöhnliche Differentialgleichungen . Juan J. Nieto und Rosana Rodriguez-Lopez. 2007

Vijay D.
quelle
Für eine Beziehung zwischen Banachs und Tarskis Fixpunktsätzen siehe die Frage zu MathOverflow: mathoverflow.net/questions/34511/…
Michał Kukieła