Fixpunktsatz von Tarski und Knaster

Der Fixpunktsatz von Tarski und Knaster, benannt nach Bronisław Knaster und Alfred Tarski, ist ein mathematischer Satz aus dem Gebiet der Verbandstheorie. Er wurde in der vorliegenden Allgemeinheit von Tarski 1939 gefunden und wird daher auch Fixpunktsatz von Tarski genannt.

Aussage

Seien $𝒜:=⟨A,\le ⟩$ ein vollständiger Verband und $f:A\to A$ eine bzgl. $\le$ ordnungserhaltende Abbildung und sei weiter $P:=\{x\in A\mid f(x)=x\}$ die Menge der Fixpunkte von $f$ in $𝒜$.

Dann ist $P$ nicht leer und $𝒫:=⟨P,{\le }_{|P}⟩$ ebenfalls ein vollständiger Verband.

Beweisidee

$\bigcup _{𝒜}$ sei die Supremum-Operation von $𝒜$, und $\bigcap _{𝒜}$ die Infimum-Operation von $𝒜$.

Die folgenden Schritte zeigen, dass $𝒫$ für beliebige Teilmengen von $P$ ein Infimum und ein Supremum in $P$ liefert.

1. $\bigcup _{𝒜}\{x\in A\mid x\le f(x)\}$ ist Fixpunkt von $f$, und zwar der größte in $A$. Somit ist dies das $𝒫$-Supremum von $P$.
2. Dual zu Schritt 1: $\bigcap _{𝒜}\{x\in A\mid f(x)\le x\}$ ist Fixpunkt von $f$, und zwar der kleinste in $A$.
3. Für beliebige Teilmengen $Y\subseteq P$ soll es ein $𝒫$-Supremum geben. Die Fälle $Y=P$ und $Y=\mathrm{\varnothing }$ sind bereits in den Schritten 1 und 2 gezeigt. Betrachtet werden nun die anderen Fälle. Dazu wird ausgenutzt, dass $⟨U,\le ⟩$ mit $U:=\{x\in A\mid \bigcup _{𝒜}Y\le x\}$ wieder ein vollständiger Verband ist, und $f{|}_U$ eine monotone Funktion $U\to U$ ist, die nach Schritt 2 einen kleinsten Fixpunkt in $U$ hat. Dieser ist das $𝒫$-Supremum von $Y$. In Formeln: $\bigcup _{𝒫}Y:=\bigcap _{𝒜}\{x\in A\mid \bigcup _{𝒜}Y\cup f(x)\le x\}$.
4. Dual zu Schritt 3 wird gezeigt, dass beliebige Teilmengen von $P$ ein $𝒫$-Infimum haben.

Konsequenzen

Eine oft verwendete Konsequenz ist die der Existenz von kleinsten und größten Fixpunkten von bezüglich $\subseteq$ monoton wachsenden Abbildungen. Damit lässt sich beispielsweise der Satz von Cantor-Bernstein-Schröder leicht beweisen.

Umkehrung

Der Fixpunktsatz besitzt eine gewisse Umkehrung in einem Satz, den Anne C. Davis im Jahre 1955 vorgelegt hat:

Besitzt in einem Verband $𝒜$ jede monotone Abbildung $f:𝒜\to 𝒜$ einen Fixpunkt, so ist $𝒜$ ein vollständiger Verband.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur