Satz von Ky Fan

In der Theorie der konvexen Funktionen, einem Teilgebiet der Mathematik zwischen Funktionalanalysis und numerischer Mathematik, wurde das Von Neumann'sche Minimax-Theorem (Vorlage:EnS) von verschiedenen Autoren und auf vielfache Weise verallgemeinert und abgewandelt. Die dabei gewonnenen Resultate nennt man Minimaxsätze (Vorlage:EnS). Einer der vielgenannten Minimaxsätze ist derjenige Lehrsatz, welcher von dem Mathematiker Ky Fan im Jahre 1953 vorgelegt wurde und den man auch als Satz von Ky Fan bezeichnet. Einen dem Ky Fan'schen sehr ähnlichen Minimaxsatz hat Heinz König im Jahre 1968 geliefert.

Formulierung des Satzes

An die Monographie von Peter Kosmol anschließend lässt sich der Ky Fan'sche Satz wie folgt formulieren:

Gegeben seien eine nichtleere Menge $X$ und ein nichtleerer kompakter topologischer Raum $Y$ sowie eine reellwertige Funktion $f:X\times Y\to ℝ$.

Die Funktion $f$ sei F-konkav bezüglich $X$ und F-konvex bezüglich $Y$.

Zudem sei $f(x_0,\cdot ):Y\to ℝ,y\mapsto f(x_0,y),$ für jedes $x_0\in X$ eine unterhalbstetige Funktion.

Dann gilt

$\underset{x\in X}{\sup }\underset{y\in Y}{\inf }f(x,y)=\underset{y\in Y}{\inf }\underset{x\in X}{\sup }f(x,y)$.

Von Neumann'sches Minimax-Theorem

Der Satz von Ky Fan führt direkt zu der folgenden Version des Von Neumann'schen Minimax-Theorems:

Gegeben seien nichtleere kompakte, konvexe Teilmengen $X\subseteq {ℝ}^m(m\in \mathbb{N})$ und $Y\subseteq {ℝ}^n(n\in \mathbb{N})$ sowie eine stetige Funktion $f:X\times Y\to ℝ$.

Für jedes $x_0\in X$ sei $f(x_0,\cdot ):Y\to ℝ$ ein konvexes Funktional und für jedes $y_0\in Y$ sei $f(\cdot ,y_0):X\to ℝ$ ein konkaves Funktional.

Dann gibt es einen Sattelpunkt $(\hat{x},\hat{y})$ von $f$ und es gilt

$\underset{x\in X}{\max }\underset{y\in Y}{\min }f(x,y)=f(\hat{x},\hat{y})=\underset{y\in Y}{\min }\underset{x\in X}{\max }f(x,y)$.

Geläufiger als diese Version des Von Neumann'schen Minimax-Theorems ist indes eine, bei der das obige Funktional direkt abhängig ist von einer reellen quadratischen Matrix und die nach Beckenbach/Bellmann folgendermaßen zu formulieren ist:

Gegeben seien das reelle Simplex $\mathrm{\Delta }=\{x\in {ℝ}^n:x_i\ge 0(i=1,\dots ,n)\text{und}\sum _{i=1}^n{x}_i=1\}$ sowie eine Matrix $A\in {ℝ}^{n\times n}$.

Dann gilt die Ungleichung

$\underset{x\in \mathrm{\Delta }}{\max }\underset{y\in \mathrm{\Delta }}{\min }\sum _{i,j=1}^n(x_i\cdot a_{ij}\cdot y_j)=\underset{y\in \mathrm{\Delta }}{\min }\underset{x\in \mathrm{\Delta }}{\max }\sum _{i,j=1}^n(x_i\cdot a_{ij}\cdot y_j)$.

Allgemeiner Hintergrund

Dem Minimaxsatz liegt ein allgemeiner Satz der Ordnungstheorie zugrunde:

Gegeben seien nichtleere Mengen $X$ und $Y$ sowie eine numerische Funktion $f:X\times Y\to \overline{ℝ}$.

Dann gilt

$\underset{x\in X}{\sup }\underset{y\in Y}{\inf }f(x,y)\le \underset{y\in Y}{\inf }\underset{x\in X}{\sup }f(x,y)$.

Gibt es dabei ein Element $(\hat{x},\hat{y})\in X\times Y$ mit $f(x,\hat{y})\le f(\hat{x},\hat{y})\le f(\hat{x},y)$ für alle $x\in X$ und alle $y\in Y$, so gilt sogar

$\underset{x\in X}{\sup }\underset{y\in Y}{\inf }f(x,y)=f(\hat{x},\hat{y})=\underset{y\in Y}{\inf }\underset{x\in X}{\sup }f(x,y)$.

Ungleichung von Ky Fan

Im Zusammenhang mit dem obigen Minimaxsatz von Ky Fan ist eine Ungleichung erwähnenswert, die von Ky Fan im Jahre 1972 vorgestellt wurde und die sich nicht nur als gleichwertig mit dem Fixpunktsatz von Brouwer erwiesen hat, sondern überdies eine Reihe von Existenzsätzen der Nichtlinearen Funktionalanalysis nach sich zieht. Diese Ky Fan'sche Ungleichung (Vorlage:EnS) lässt sich wie folgt angeben:

Gegeben seien ein hausdorffscher topologischer Vektorraum $H$ und darin eine nichtleere, kompakte, konvexe Teilmenge $X\subseteq H$ sowie eine reellwertige Funktion $f:X\times X\to ℝ$.

Es sei jedes Funktional $f(x_0,\cdot ):X\to ℝ(x_0\in X)$ unterhalbstetig und jedes Funktional $f(\cdot ,y_0):X\to ℝ(y_0\in X)$ sei quasikonkav.

Dann gilt die Ungleichung

$\underset{y\in X}{\inf }\underset{x\in X}{\sup }f(x,y)\le \underset{x\in X}{\sup }f(x,x)$

und dabei gibt sogar einen Raumpunkt $\hat{y}\in X$ mit

$\underset{x\in X}{\sup }f(x,\hat{y})=\underset{y\in X}{\min }\underset{x\in X}{\sup }f(x,y)\le \underset{x\in X}{\sup }f(x,x)$.

Erläuterungen und Anmerkungen

• Eine Funktion $f:X\times Y\to ℝ$ heißt F-konkav bezüglich $X$, wenn sie folgende Eigenschaft hat:

Es gibt für $x_1\in X,x_2\in X,\kappa \in [0,1]$ stets ein $x_0\in X$, so dass für jedes $y\in Y$ die Ungleichung $f(x_0,y)\ge \kappa f(x_1,y)+(1-\kappa )f(x_2,y)$ erfüllt ist.

• Eine Funktion $f:X\times Y\to ℝ$ heißt F-konvex bezüglich $Y$, wenn sie folgende Eigenschaft hat:

Es gibt für $y_1\in Y,y_2\in Y,\lambda \in [0,1]$ stets ein $y_0\in Y$, so dass für jedes für jedes $x\in X$ die Ungleichung $f(x,y_0)\le \lambda f(x,y_1)+(1-\lambda )f(x,y_1)$ erfüllt ist.

• Die Bezeichnungen F-konkav und F-konvex benutzt Peter Kosmol, um darzustellen, dass die Funktion $f$ nach der von Ky Fan gewählten Herangehensweise Merkmale hat, die an Konvexität und Konkavität erinnern und diese dabei sogar verallgemeinern. Es ist nach dieser Herangehensweise nicht notwendig, dass der zugrunde liegende Raum ein linearer Raum ist.
• Jede stetige reellwertige Funktion ist auch unterhalbstetig.
• Ein Element $(\hat{x},\hat{y})\in X\times Y$, welches die in dem obigen allgemeinen Hintergrundsatz aufgeführten Ungleichungen in Bezug auf eine numerische Funktion $f:X\times Y\to \overline{ℝ}$ erfüllt, wird auch Sattelpunkt von $f$ genannt.
• Beim Beweis des allgemeinen Hintergrundsatz erweist sich als ausschlaggebend, dass die erweiterten reellen Zahlen $\overline{ℝ}$ einen vollständigen Verband bilden. Der Hintergrundsatz lässt sich also in entsprechender Weise auch auf den Fall ausdehnen, dass die dortige Funktion $f$ in einen solchen abbildet.
• Die obige erste Version des Von Neumann'schen Minimax-Theorems (bzw. eine im Wesentlichen gleichwertige Fassung davon) gibt Philippe G. Ciarlet in seiner Monographie Linear and Nonlinear Functional Analysis with Applications als Ky Fan-Sion theorem (Vorlage:DeS) wieder.
• Die obige zweite Version des Von Neumann'schen Minimax-Theorems folgt offenbar aus der ersten, da das Funktional $(x,y)\mapsto f(x,y)=\sum _{i,j=1}^n(x_i\cdot a_{ij}\cdot y_j)$ offenbar eine bilineare Abbildung ist.
• Dass die Ungleichung von Ky Fan im Jahre 1972 vorgestellt wurde, weist Jean-Pierre Aubin in seiner Monographie Optima and Equilibria aus, wobei er offenbar Bezug auf das Erscheinungsjahr des Tagungsbandes der Inequalities - III nimmt. Die Tagung selbst fand im September 1969 statt.
• Der Nachweis, dass die Ungleichung von Ky Fan den Brouwer'schen Fixpunktsatz nach sich zieht, ist leicht zu führen. An Aubins Darstellung in Optima and Equilibria anschließend setzt man dazu für eine auf der Einheitskugel $X=D^n\subseteq {ℝ}^n(n\in \mathbb{N})$ gegebene stetige Selbstabbildung $\varphi :D^n\to D^n$ die reellwertige Funktion $f:D^n\times D^n\to ℝ$ durch $D^n\times D^n\ni (x,y)\mapsto f(x,y):=⟨y-x,y-\varphi (y)⟩$ fest, wobei $⟨\cdot ,\cdot ⟩:{ℝ}^n\times {ℝ}^n\to ℝ,$ das reelle Standardskalarprodukt ist. Dann ist $f$ offenbar stetig und für jedes $y_0\in D^n$ ist $f(\cdot ,y_0):D^n\to ℝ$ eine affine Abbildung. Damit sind die der Ungleichung von Ky Fan zugrundeliegenden Voraussetzungen erfüllt und es gibt ein $\hat{y}\in D^n$ mit $\underset{x\in X}{\sup }⟨\hat{y}-x,\hat{y}-\varphi (\hat{y})⟩\le 0$. Dies impliziert $⟨\hat{y}-\varphi (\hat{y}),\hat{y}-\varphi (\hat{y})⟩={\Vert \hat{y}-\varphi (\hat{y})\Vert }^2\le 0$ und schließlich $\varphi (\hat{y})=\hat{y}$.

Literatur

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

Siehe auch

• Min-Max-Theorem