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.

Formulierung des Satzes

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

Gegeben seien eine offene und beschränkte Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega \subset \R^n \; (n \in \N)} und dazu zwei stetige Abbildungen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F, G \colon \overline{\Omega} \to \R^n}  .

Hierzu sei

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma = \partial {\Omega}}

die zugehörige Menge der Randpunkte sowie

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U: = \bigcup_{x \in \gamma} [F(x) \;, \; G(x)]}

die Menge aller Punkte, welche auf den Verbindungsstrecken zwischen den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} - und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} -Bildpunkten der jeweiligen Randpunkte liegen.

Dann gilt:

Für jeden außerhalb liegenden Punkt, also für jeden Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y \in \R^n \setminus U} , stimmen die brouwerschen Abbildungsgrade von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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).