Nichtexpansive Abbildung

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Strikt nichtexpansive Abbildung)
Zur Navigation springen Zur Suche springen

Der Begriff der nichtexpansiven Abbildung entstammt der Funktionalanalysis, einem der Teilgebiete der Mathematik. Die nichtexpansiven Abbildungen zählen zu den lipschitzstetigen Abbildungen zwischen metrischen Räumen. Sie sind unter anderem bedeutsam im Zusammenhang mit Fixpunktsätzen.

Eine Abbildung für zwei metrische Räume und heißt nichtexpansiv, wenn stets die folgende Ungleichung erfüllt ist:

Erfüllt eine solche Abbildung für mit sogar stets die strenge Ungleichung

  ,

so nennt man strikt nichtexpansiv.

Fixpunktsatz von Browder-Göhde-Kirk

[Bearbeiten | Quelltext bearbeiten]

Zu den nichtexpansiven Abbildungen von metrischen Räumen in sich zählen nicht zuletzt auch die kontraktiven Abbildungen. Wie bei letzteren stellt sich auch für erstere die Frage nach der Existenz von Fixpunkten. Eine Antwort auf diese Frage liefert der Fixpunktsatz von Browder-Göhde-Kirk. Er ist verwandt mit den Fixpunktsätzen von Banach und Schauder und geht auf Arbeiten von Felix Earl Browder, Dietrich Göhde und William A. Kirk aus den 1960er Jahren zurück.

Der Fixpunktsatz von Browder-Göhde-Kirk lässt sich zusammengefasst darstellen wie folgt:[1][2][3]

Gegeben seien ein gleichmäßig konvexer Banachraum und darin eine nichtleere, abgeschlossene, beschränkte und konvexe Teilmenge .
Sei weiterhin eine nichtexpansive Abbildung, also dergestalt, dass stets die Ungleichung erfüllt sei.
Dann gilt:
Die Fixpunktmenge ist eine nichtleere, abgeschlossene und konvexe Teilmenge von .
Insbesondere gibt es ein mit .

Der Fixpunktsatz von Browder-Göhde-Kirk gab Anlass zu einer Anzahl von Folgeuntersuchungen, die zu verschiedenen Beweisvarianten und Verallgemeinerungen führten. Die Resultate des Satzes wurden von Felix Browder, William A. Kirk und Dietrich Göhde unabhängig voneinander im Jahre 1965 gefunden. Browder hat mit diesem Satz die Existenz periodischer Lösungen gewisser Differentialgleichungen bewiesen. Kirks Version ist sogar noch etwas allgemeiner.[2]

  • Die nichtexpansiven Abbildungen sind genau diejenigen lipschitzstetigen Abbildungen zwischen metrischen Räumen, welche die Lipschitz-Konstante besitzen.
  • Fixpunkteigenschaften gewisser strikt nichtexpansiver Abbildungen behandelt der Satz von Edelstein.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Eberhard Zeidler: Nonlinear Functional Analysis and its Applications I 1986, S. 478
  2. a b Dirk Werner: Funktionalanalysis. 2007, S. 173
  3. Albrecht Pietsch: History of Banach Spaces and Linear Operators. 2007, S. 244