Brouwerscher Fixpunktsatz

Brouwerscher Fixpunktsatz

Der Fixpunktsatz von Brouwer ist eine Aussage aus der Mathematik. Er ist benannt nach dem niederländischen Mathematiker Luitzen Egbertus Jan Brouwer.

Der Fixpunktsatz von Brouwer besagt, dass die Vollkugel Dn die Fixpunkteigenschaft hat, also jede stetige Abbildung f der n-dimensionalen Vollkugel in die n-dimensionale Vollkugel einen Fixpunkt besitzt. In Formeln:

 \forall f \in C(D^{n},D^{n}): \exists x \in D^n : f(x) = x

Der Satz bietet also eine Existenzaussage für die Lösung reeller, nichtlinearer Gleichungssysteme.

Beweisidee

Mittels des Approximationssatzes von Stone-Weierstraß kann man sich auf \mathcal C^1-Funktionen beschränken.

Nun nimmt man an, f habe keinen Fixpunkt, also müsste die glatte Abbildung F: D^n\to S^{n-1}, die jedem Punkt in der Vollkugel einen Schnittpunkt der Gerade durch x und f(x) mit der Sphäre zuordnet:

F(x):=x + \left( \sqrt{1-|x|^2 + \left\langle x,\frac{x-f(x)}{|x-f(x)|} \right\rangle^2 } - \left\langle x, \frac{x-f(x)}{|x-f(x)|} \right\rangle \right) \frac{x-f(x)}{|x-f(x)|}
Illustration von F in D2

wohldefiniert sein. F ist eine Retraktion, d.h. F(x) = x für x\in S^{n-1}.

Dies führt man auf einen Widerspruch,indem man zunächst zeigt, dass für \omega^{n-1}:= F^1\, \mathrm dF^2\wedge\cdots\wedge \mathrm dF^n gilt: n − 1 = 0. Dies sieht man leicht ein, da die Determinante der Jacobi-Matrix von F nach dem Satz von der inversen Funktion 0 sein muss.

Also gilt:

 0 = \int_{D^n} \mathrm d\omega^{n-1} = \int_{S^{n-1}} \omega^{n-1}

nach dem Satz von Stokes. Auf der Sphäre ist F aber die Identität. Damit gilt also (wieder nach dem Satz von Stokes):

 =  \int_{S^{n-1}} x_1 \mathrm dx^2 \wedge \cdots \wedge \mathrm dx^n = vol (D^n) \neq 0 .

Literatur

  • Harro Heuser: Lehrbuch der Analysis - Teil 2, 5. Auflage, Teubner 1990, ISBN 3-519-42222-0, S.593

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Fixpunktsatz von Kakutani — Eine Korrespondenz von einer Menge A in eine Menge B ist eine Abbildung φ von A in die Potenzmenge von B. Damit handelt es sich um eine Präzisierung des in der älteren mathematischen Literatur häufiger anzutreffenden Begriffs der mehrwertigen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”