Quelltext der Seite Banach-Mannigfaltigkeit

Eine '''Banach-Mannigfaltigkeit''' ist ein [[topologischer Raum]] <math>X</math>, in dem es für jeden Punkt <math>x\in{X}</math> eine Umgebung gibt, die homöomorph zu einem [[Banachraum]] ist.  

== Definition ==
Die Definition einer Banach-Mannigfaltigkeit unterscheidet sich nur insofern von der einer [[Mannigfaltigkeit]], als dass die Karten

:<math>\varphi_i \colon U_i \to \varphi_i(U_i)\subset E_{i}</math>

Bilder in einem (möglicherweise unendlichdimensionalen) Banachraum <math>E_{i}</math> haben und die verkette Abbildung 

:<math>\varphi_{j} \circ \varphi_{i}^{-1} \colon \varphi_{i} (U_{i} \cap U_{j}) \to \varphi_{j} (U_{i} \cap U_{j})</math>

r-mal differenzierbar ist und daher die r-te [[Fréchet-Ableitung]] 

:<math>\mathrm{d}^{r} \big( \varphi_{j} \circ \varphi_{i}^{-1} \big) \colon \varphi_{i} (U_{i} \cap U_{j}) \to \operatorname{Lin} \big( E_{i}^{r}; E_{j} \big) </math>  
existiert und eine stetige Funktion in Bezug auf die <math>E_{i}</math>-Normtopologie auf Teilmengen von <math>E_i</math> und der [[Operatortopologie|Operatornorm-Topologie]] auf <math>\operatorname{Lin} \big( E_{i}^{r}; E_{j} \big)</math> ist.

== Beispiele ==
Wenn <math>({X},\left\| \cdot \right\|)</math> ein Banachraum ist, so ist <math>X</math> eine Banach-Mannigfaltigkeit, deren Atlas eine einzige Karte beinhaltet, die global definiert ist. Ebenso ist eine offene Teilmenge <math>U</math> eines Banachraumes eine Banach-Mannigfaltigkeit.

== Klassifizierungen und Homöomorphismen ==

Obwohl eine endlichdimensionale <math>n</math>-dimensionale Mannigfaltigkeit nicht global homöomorph zum <math>\mathbb{R}^n</math> oder einer Teilmenge dieser ist, lassen sich in einem unendlichdimensionalen Rahmen einige Banach-Mannigfaltigkeiten bis auf Homöomorphie klassifizieren. Der Mathematiker David Henderson hat 1969 bewiesen, dass jede unendlichdimensionale, separable, metrische Banach-Mannigfaltigkeit als eine offene Teilmenge in den unendlichdimensionalen, separablen Hilbertraum eingebettet werden kann. Das Ergebnis ist eine noch allgemeinere Aussage, die lautet, dass dies für jede metrische Mannigfaltigkeit gilt, die durch Karten in einem separablen [[Fréchet-Raum]] definiert ist.<ref>David Henderson: ''Infinite-dimensional manifolds are open subsets of Hilbert space.'' Bull. Amer. Math. Soc. 75, 759–762 (1969).</ref>

== Banach-Bündel ==
=== Definition ===
Gegeben sei eine Banach-Mannigfaltigkeit <math>M</math> der Klasse <math>C^{p}</math> mit <math>p \ge 0</math>, welche den Basisraum darstellt, ein topologischer Raum <math>E</math> als Totalraum und eine Abbildung <math>\pi :E\rightarrow M</math>. Die Faser <math>\pi^{-1}(x) =: E_\text{X}</math> habe die Struktur eines Banachraumes. 

Sei
<math>\{ U_{i} | i \in I \}</math>
eine offene Überdeckung von <math>M</math>. Es gebe für jedes <math>i\in{I}</math> einen Banachraum <math>{X}_{i}</math> und eine Abbildung <math>\tau_{i}</math> 

:<math>\tau_{i} : \pi^{-1} (U_{i}) \to U_{i} \times X_{i}</math>, 

sodass 

* die Abbildung <math>\tau_{i}</math>  ein Homöomorphismus ist, welcher mit der Projektion zu <math>U_{i}</math> kommutiert und für alle <math>x\in{U}_{i}</math> die induzierte Abbildung <math>\tau_{ix}</math> auf der Faser <math>E_{X}</math> 

:<math>\tau_{ix} : \pi^{-1} (x) \to X_{i}</math>

eine stetige, invertierbare Abbildung und demzufolge ein Isomorphismus in die Kategorie der topologischen Vektorräume ist (im Rahmen einer üblichen Definition eines Faserbündels entspricht dies einer Übergangsfunktion). 

*Wenn <math>U_{i}</math> und <math>U_{j}</math> zwei Glieder der offenen Überdeckung sind, dann ist die Abbildung

::<math>U_{i} \cap U_{j} \to \mathrm{Lin}(X_{i}; X_{j})</math>
::<math>x \mapsto (\tau_{j} \circ \tau_{i}^{-1})_{x}</math>

ein Morphismus. <math>Lin({{X};{Y}})</math> ist hierbei die Menge der stetigen linearen Abbildungen zwischen zwei topologischen Vektorräumen <math>X</math> und <math>Y</math>. 

Die Familie <math>{{(U_{i};\tau_{i})|i\in{I}}}</math> heißt triviale Überdeckung für <math>\pi :E\rightarrow M</math> und die Abbildungen <math>\tau_{i}</math> werden lokale Trivialisierung genannt. Diese Daten bestimmen eine Faserbündelstruktur auf der Banach-Mannigfaltigkeit <math>M</math>.

== Literatur ==

* {{cite book
| last = Zeidler
| first = Eberhard
| title = Nonlinear functional analysis and its Applications. Vol.4
| publisher = Springer-Verlag New York Inc.
| year = 1997
}}

== Einzelnachweise ==
<references />

[[Kategorie:Funktionalanalysis]] 
[[Kategorie:Topologie]]