Fixpunktsatz von Kakutani

Der Fixpunktsatz von Kakutani ist ein mathematischer Lehrsatz, der dem Gebiet der Funktionalanalysis angehört und auf eine Arbeit des japanischen Mathematikers Shizuo Kakutani aus dem Jahr 1938 zurückgeht. Der Satz beruht auf Eigenschaften konvexer Mengen in hausdorffschen lokalkonvexen Vektorräumen und gibt eine hinreichende Bedingung für das Vorliegen gemeinsamer Fixpunkte für gewisse Gruppen von Homöomorphismen solcher Mengen. Er gab Anlass zu zahlreichen Folgeuntersuchungen und ist eng verknüpft mit anderen bedeutenden Sätzen der Funktionalanalysis wie etwa mit dem Fixpunktsatz von Ryll-Nardzewski. Der Fixpunktsatz von Kakutani impliziert dabei nicht zuletzt die Existenz Haarscher Maße auf kompakten Gruppen. Zu seinem Beweis wird der hausdorffsche Maximalkettensatz oder das Lemma von Zorn (und damit das Auswahlaxiom) benötigt.

Formulierung des Satzes

Der Fixpunktsatz von Kakutani lässt sich darstellen wie folgt:

Gegeben seien ein hausdorffscher lokalkonvexer Raum $X$ und darin eine nichtleere, kompakte und konvexe Teilmenge $C\subset X$ zusammen mit einer Gruppe $𝒢$ von linearen Automorphismen $g:X\to X$, die $C$ invariant lassen, in der also alle Automorphismen $g\in 𝒢$ die Teilmengenrelation $g(C)\subseteq C$ erfüllen.

Die Gruppe $𝒢$ sei dabei gleichmäßig gleichgradig stetig.

Dann gilt:

$𝒢$ hat auf $C$ einen gemeinsamen Fixpunkt, d h.: es gibt ein $c_0\in C$ mit $g(c_0)=c_0$ für alle $g\in 𝒢$ .

Verwandtes Resultat: Der Satz von Markow

Der russische Mathematiker Markow hat schon im Jahre 1936 und vor Publikation des kakutanischen Fixpunktsatzes einen Satz vorgelegt, der diesem in Fragestellung und Aussage sehr ähnelt, wobei der markowsche Satz im Wesentlichen darin abweicht, dass er die Voraussetzung der gleichmäßig-gleichgradigen Stetigkeit durch eine Vertauschbarkeitsbedingung ersetzt:

Gegeben seien ein hausdorffscher lokalkonvexer Raum $X$ und darin eine nichtleere kompakte konvexe Teilmenge $C\subset X$.

Weiter gegeben sei eine Familie $ℱ=(f_i{)}_{i\in I}$ von stetigen affinen Abbildungen $f_i:C\to C$, die hinsichtlich der Hintereinanderausführung paarweise vertauschbar sein sollen.

Dann gilt:

$ℱ$ hat auf $C$ einen gemeinsamen Fixpunkt, d h.: es gibt ein $c_0\in C$ mit $f_i(c_0)=c_0$ für alle $i\in I$ .

Zusatz

Die Aussage des Satzes von Markow gilt insbesondere für den Fall, dass – bei sonst gleichen Voraussetzungen – $ℱ$ als abelsche Gruppe von stetigen linearen Automorphismen $f:X\to X$ mit $f(C)\subseteq C$ vorausgesetzt wird. Diesen abgewandelten Satz nennt man auch den Fixpunktsatz von Kakutani-Markow (Vorlage:EnS).

Erläuterungen

• Die gleichmäßig-gleichgradige Stetigkeit (Vorlage:EnS) der obigen Abbildungsgruppe $𝒢$ ist auf die durch das $0$-Umgebungssystem von $X$ gegebene uniforme Struktur zu beziehen. In diesem Zusammenhang nennt man – in voller Allgemeinheit – eine Familie $ℱ=(f_i{)}_{i\in I}$ von linearen Abbildungen $f_i:X\to Y$ zwischen zwei topologischen Vektorräumen $X$ und $Y$ gleichmäßig gleichgradig stetig genau dann, wenn folgendes gilt:

Zu jeder $0$-Umgebung $U_Y(0)\subseteq Y$ gibt es eine $0$-Umgebung $U_X(0)\subseteq X$ , welche der Bedingung $\bigcup _{i\in I}{f}_i(U_X(0))\subseteq U_Y(0)$ genügt.

• Eine Abbildung $f:C\to C$ der konvexen Menge $C\subseteq X$ heißt affin, wenn für je zwei Punkte $x,y\in C$ und jede reelle Zahl $\lambda \in [0,1]$ stets die Gleichung $f(\lambda x+(1-\lambda )y)=\lambda f(x)+(1-\lambda )f(y)$ erfüllt ist.

Quellen und Hintergrundliteratur

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