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<ref name="Tarski 1955 S.286">Alfred Tarski: A lattice-theoretical fixpoint theorem and its applications. 1955, S. 286. </ref> und wird daher auch Fixpunktsatz von Tarski genannt.

Aussage

Seien <math>\mathcal A:=\langle A,\leq\rangle</math> ein vollständiger Verband und <math>f\colon A\to A</math> eine bzgl. <math>\leq</math> ordnungserhaltende Abbildung und sei weiter <math>P:=\{x\in A\mid f(x)=x\}</math> die Menge der Fixpunkte von <math>f</math> in <math>\mathcal A</math>.

Dann ist <math>P</math> nicht leer und <math>\mathcal P := \langle P, \leq_{|P} \rangle</math> ebenfalls ein vollständiger Verband.<ref name="Tarski 1955 S.286"></ref>

Beweisidee

<math>\textstyle\bigcup_\mathcal A</math> sei die Supremum-Operation von <math>\mathcal A</math>, und <math>\textstyle\bigcap_\mathcal A</math> die Infimum-Operation von <math>\mathcal A</math>.

Die folgenden Schritte zeigen, dass <math>\mathcal P</math> für beliebige Teilmengen von <math>P</math> ein Infimum und ein Supremum in <math>P</math> liefert.

<math>\textstyle\bigcup_\mathcal A \{x\in A\mid x\leq f(x)\}</math> ist Fixpunkt von <math>f</math>, und zwar der größte in <math>A</math>. Somit ist dies das <math>\mathcal P</math>-Supremum von <math>P</math>.
Dual zu Schritt 1: <math>\textstyle\bigcap_\mathcal A \{x\in A\mid f(x)\leq x\}</math> ist Fixpunkt von <math>f</math>, und zwar der kleinste in <math>A</math>.
Für beliebige Teilmengen <math>Y\subseteq P</math> soll es ein <math>\mathcal P</math>-Supremum geben. Die Fälle <math>Y=P</math> und <math>Y=\emptyset</math> sind bereits in den Schritten 1 und 2 gezeigt. Betrachtet werden nun die anderen Fälle. Dazu wird ausgenutzt, dass <math>\langle U,\leq\rangle</math> mit <math>\textstyle U := \{x\in A\mid \bigcup_\mathcal A Y\leq x\}</math> wieder ein vollständiger Verband ist, und <math>f|_U</math> eine monotone Funktion <math>U\to U</math> ist, die nach Schritt 2 einen kleinsten Fixpunkt in <math>U</math> hat. Dieser ist das <math>\mathcal P</math>-Supremum von <math>Y</math>. In Formeln: <math>\textstyle\bigcup_\mathcal P Y := \bigcap_\mathcal A\{x\in A\mid \bigcup_\mathcal A Y \cup f(x)\ \leq\ x\}</math>.
Dual zu Schritt 3 wird gezeigt, dass beliebige Teilmengen von <math>P</math> ein <math>\mathcal P</math>-Infimum haben.

Konsequenzen

Eine oft verwendete Konsequenz ist die der Existenz von kleinsten und größten Fixpunkten von bezüglich <math>\subseteq</math> monoton wachsenden Abbildungen. Damit lässt sich beispielsweise der Satz von Cantor-Bernstein-Schröder leicht beweisen.<ref>Roland Uhl: Tarski's Fixed Point Theorem. In: MathWorld (englisch). Beispiel 3.</ref>

Umkehrung

Der Fixpunktsatz besitzt eine gewisse Umkehrung in einem Satz, den Anne C. Davis im Jahre 1955 vorgelegt hat:<ref>George Grätzer: General Lattice Theory. 1998, S. 73</ref><ref>L. A. Skornjakow: Elemente der Verbandstheorie. 1973, S. 73</ref><ref>Anne C. Davis: A characterization of complete lattices. In: Pacific Journal of Mathematics. Band 5, 1955, S. 311–319 (MR0074377). </ref>

Besitzt in einem Verband <math>\mathcal A</math> jede monotone Abbildung <math>f \colon \mathcal A\to \mathcal A</math> einen Fixpunkt, so ist <math>\mathcal A</math> ein vollständiger Verband.

Literatur

Garrett Birkhoff: Lattice Theory. 3. Auflage. American Mathematical Society, Providence, Rhode Island 1979.
George Grätzer: General Lattice Theory. 2. Auflage. Birkhäuser Verlag, Basel, Boston, Berlin 1998, ISBN 3-7643-5239-6 (MR1670580).
L. A. Skornjakow: Elemente der Verbandstheorie (= Wissenschaftliche Taschenbücher, Reihe Mathematik/Physik. Band 130). Akademie Verlag, Berlin 1973, ISBN 3-7643-5239-6.

Einzelnachweise