Satz von Poincaré-Bohl

Der Satz von Poincaré-Bohl, englisch Poincaré-Bohl theorem, ist ein Lehrsatz aus dem mathematischen Teilgebiet der Topologie, welcher den beiden Mathematikern Henri Poincaré und Piers Bohl zugerechnet wird. Der Satz stellt eine grundlegende Eigenschaft des brouwerschen Abbildungsgrades für stetige Vektorfelder im reellen Koordinatenraum dar. Diese Eigenschaft wird auch als lineare Homotopie bezeichnet und ergibt sich direkt aus der Homotopieinvarianz des Abbildungsgrades.[1][2][3][4]

Formulierung des Satzes

Gemäß der Darstellung bei Alexandroff-Hopf sowie Ortega-Rheinboldt lässt sich der Satz angeben wie folgt:[1][2]

Gegeben seien eine offene und beschränkte Menge $\Omega \subset \mathbb {R} ^{n}\;(n\in \mathbb {N} )$ und dazu zwei stetige Abbildungen

F,G\colon {\overline {\Omega }}\to \mathbb {R} ^{n}

.[5]

Hierzu sei

\gamma =\partial {\Omega }

die zugehörige Menge der Randpunkte sowie

U:=\bigcup _{x\in \gamma }[F(x)\;,\;G(x)]

die Menge aller Punkte, welche auf den Verbindungsstrecken zwischen den $F$ - und $G$ -Bildpunkten der jeweiligen Randpunkte liegen.

Dann gilt:

Für jeden außerhalb liegenden Punkt, also für jeden Punkt $y\in \mathbb {R} ^{n}\setminus U$ , stimmen die brouwerschen Abbildungsgrade von $F$ und $G$ überein:

d(F,\Omega ,y)=d(G,\Omega ,y)

.

Literatur

P. Alexandroff, H. Hopf: Topologie (= Die Grundlehren der mathematischen Wissenschaften. Band 45). Erster Band (Reprint). Chelsea Publishing Company, New York 1965 (MR0185557).
P. Bohl: Über die Bewegung eines mechanischen Systems in der Nähe einer Gleichgewichtslage. In: Journal für die reine und angewandte Mathematik. Band 127, 1904, S. 179–276 (MR1580639).
Egbert Harzheim: Einführung in die Kombinatorische Topologie (= Die Mathematik. Einführungen in Gegenstand und Ergebnisse ihrer Teilgebiete und Nachbarwissenschaften). Wissenschaftliche Buchgesellschaft, Darmstadt 1978, ISBN 3-534-07016-X (MR0533264).
James M. Ortega, W. C. Rheinboldt: Iterative Solution of Nonlinear Equations in Several Variables. (Unabridged republication of the work first published by Academic Press, New York and London, 1970) (= Classics in Applied Mathematics. Band 30). Society for Industrial and Applied Mathematics, Philadelphia 2000, ISBN 0-89871-461-3 (MR1744713).
H. Poincaré: Sur les courbes définies par les équations différentielles IV. In: Journal de Mathématiques Pures et Appliquées. Band 2, 1886, S. 151–217.
Eberhard Zeidler: Nonlinear Functional Analysis and its Applications. I. Fixed-Point Theorems. Springer Verlag, New York (u. a.) 1986 (MR0816732).

Einzelnachweise und Fußnoten

P. Alexandroff, H. Hopf: Topologie I. 1965, S. 459
J. M. Ortega, W. C. Rheinboldt: Iterative Solution of Nonlinear Equations in Several Variables 2000, S. 157
Eberhard Zeidler: Nonlinear Functional Analysis and its Applications I. 1986, S. 570 ff
Aus der Darstellung in der Einführung in die Kombinatorische Topologie von Egbert Harzheim ist zu entnehmen, dass aus dem Satz von Poincaré-Bohl durch elementare Schlüsse sogar direkt der berühmte Satz von Poincaré-Brouwer gefolgert werden kann (b:Beweisarchiv: Topologie: Der Satz von Poincaré-Bohl impliziert den Satz von Poincaré-Brouwer.).
${\overline {\Omega }}$ ist die abgeschlossene Hülle von $\Omega$ .

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[A-H-1] P. Alexandroff, H. Hopf: Topologie I. 1965, S. 459

[O-R-2] J. M. Ortega, W. C. Rheinboldt: Iterative Solution of Nonlinear Equations in Several Variables 2000, S. 157

[Zeidler-3] Eberhard Zeidler: Nonlinear Functional Analysis and its Applications I. 1986, S. 570 ff

[4] Aus der Darstellung in der Einführung in die Kombinatorische Topologie von Egbert Harzheim ist zu entnehmen, dass aus dem Satz von Poincaré-Bohl durch elementare Schlüsse sogar direkt der berühmte Satz von Poincaré-Brouwer gefolgert werden kann (b:Beweisarchiv: Topologie: Der Satz von Poincaré-Bohl impliziert den Satz von Poincaré-Brouwer.).

[5] ${\overline {\Omega }}$ ist die abgeschlossene Hülle von $\Omega$ .