Quelltext der Seite Raum mit Gewebe

'''Räume mit Gewebe''' werden in der [[Mathematik|mathematischen]] Disziplin der [[Funktionalanalysis]] betrachtet. Sie erlauben im Zusammenspiel mit den [[ultrabornologischer Raum|ultrabornologischen Räumen]] Verallgemeinerungen zweier zentraler Sätze aus der Theorie der [[Banachraum|Banachräume]], das sind der [[Satz über die offene Abbildung]] und der [[Satz vom abgeschlossenen Graphen]]. Diese Räume wurden 1969 von Marc de Wilde zu genau diesem Zweck eingeführt.

Die Definition ist sehr technisch, aber in vielen Anwendungen kann von den speziellen technischen Gegebenheiten abgesehen werden, da man zeigen kann, dass große Klassen von [[topologischer Vektorraum|topologischen Vektorräumen]] diese Eigenschaft haben, und dass daher die Verallgemeinerungen der genannten Sätze gelten, und diese sind in den Anwendungen wesentlich.

Räume mit Gewebe kann man für beliebige [[topologischer Vektorraum|topologische Vektorräume]] definieren. Es werden hier aus Gründen der einfacheren Darstellung nur [[lokalkonvexer Raum|lokalkonvexe Räume]] betrachtet. Die allgemeine Theorie für topologische Vektorräume wird im unten angegebenen Lehrbuch von H. Jarchow behandelt.

== Gewebe ==
Ein Gewebe in einem lokalkonvexen Raum <math>E</math> ist eine Familie von Teilmengen <math>C_{n_1,\ldots,n_k}\subset 

E</math>, wobei <math>k\in {\mathbb N}, (n_1,\ldots,n_k) \in {\mathbb N}^k</math>, so dass Folgendes gilt:
# Jede Menge <math>C_{n_1,\ldots,n_k}</math> ist [[absolutkonvexe Menge|absolutkonvex]] und nicht leer.
# <math>\bigcup_{n=1}^{\infty} C_{n} = E</math>.
# <math>\bigcup_{n=1}^{\infty} C_{n_1,\ldots,n_k,n} = C_{n_1,\ldots,n_k}</math> für alle <math>k\in {\mathbb N}, (n_1,\ldots,n_k) \in {\mathbb N}^k</math>
# Für jede Folge <math>(n_k)_k</math> natürlicher Zahlen gibt es eine Folge <math>(\lambda_k)_k</math> positiver reeller Zahlen, so dass die Reihe <math>\sum_{n=1}^\infty \lambda_k x_k</math> für jede Wahl von Punkten <math>x_k \in 
C_{n_1,\ldots,n_k}</math> konvergiert.

Man kann sich die Mengen <math>C_{n_1,\ldots,n_k}</math> als ein mit wachsendem <math>k</math> immer feiner werdendes Gespinst, das
den Raum überspannt, vorstellen, was den Namen ''Gewebe'' erklärt.

Gibt es in einem lokalkonvexen Raum ein solches Gewebe, so sagt man ''der Raum habe ein Gewebe'' oder ''sei ein Raum mit Gewebe''.
Der deutsche Begriff klingt ein wenig hölzern, die englische Bezeichnung ''webbed space'' lässt sich im Deutschen nicht so
griffig wiedergeben.

== Permanenzeigenschaften ==
Räume mit Gewebe haben sehr umfangreiche Permanenzeigenschaften:
* Ist <math>E</math> ein Raum mit Gewebe und <math>F\subset E</math> ein abgeschlossener Unterraum, so sind auch <math>F</math> und der [[Faktorraum|Quotientenraum]] <math>E/F</math> Räume mit Gewebe.
* Ist <math>(E_n)_n</math> eine Folge von lokalkonvexen Räumen mit Gewebe, so ist das direkte Produkt <math>\prod_{n\in{\mathbb N}}E_n</math> mit der [[Produkttopologie]] ein Raum mit Gewebe.
* Ist <math>(E_n)_n</math> eine Folge von lokalkonvexen Räumen mit Gewebe, so ist die direkte Summe <math>\bigoplus_{n\in{\mathbb N}}E_n</math> mit der [[Finaltopologie]] ein Raum mit Gewebe.

== Beispiele ==
* [[Banachraum|Banachräume]] <math>E</math> haben ein Gewebe. Ist nämlich <math>U</math> die Einheitskugel, so bilden die Daten <math>C_{n_1,\ldots,n_k} := \min\{n_1,\ldots,n_k\}\cdot U</math> und <math>\lambda_k:=\frac{1}{k^2}</math> (unabhängig von der Folge <math>(n_k)_k</math>!) ein Gewebe.

* Da jeder [[Fréchet-Raum]] ein abgeschlossener Unterraum eines [[Abzählbarkeit|abzählbaren]] direkten Produktes von Banachräumen ist, ergibt sich aus obigen Permanenzeigenschaften, dass Fréchet-Räume ein Gewebe haben.

* Weiter ergibt sich aus obigen Permanenzeigenschaften, dass abzählbare induktive Limiten von Fréchet-Räumen ein Gewebe haben, denn diese treten als Quotient abzählbarer direkter Summen von Frécheträumen auf. Insbesondere haben [[LF-Raum|LF-Räume]] ein Gewebe.

* Folgenvollständige [[(DF)-Raum|(DF)-Räume]] sind Räume mit Gewebe.

== Graphensatz und Offenheit ==
Für [[linearer Operator|lineare Operatoren]] zwischen Räumen mit Gewebe und [[ultrabornologischer Raum|ultrabornologischen Räumen]] kann man den Satz vom abgeschlossenen Graphen und den Satz von der offenen Abbildung beweisen.

''Satz über die offene Abbildung'': Sei <math>E</math> ein Raum mit Gewebe, <math>F</math> sei ultrabornologisch und <math>T:E\rightarrow F</math> sei linear, stetig und surjektiv. Dann ist <math>T</math> offen.

''Satz vom abgeschlossenen Graphen'': Sei <math>E</math> ultrabornologisch, <math>F</math> sei ein Raum mit Gewebe, <math>T:E\rightarrow F</math> sei ein linearer Operator mit abgeschlossenem Graphen. Dann ist <math>T</math> stetig.

Man beachte die wechselnden Rollen der Raumklassen in diesen beiden Sätzen, (LF)-Räume gehören beiden Klassen an.

== Quellen ==
* [[Gottfried Köthe|G. Köthe]]: ''Topological Vector Spaces II'', Springer, 1979, ISBN 3-540-90400-X
* H. Jarchow: ''Locally Convex Spaces'', Teubner, Stuttgart 1981, ISBN 3-519-02224-9
* R. Meise, D. Vogt: ''Einführung in die Funktionalanalysis'', Vieweg, 1992, ISBN 3-528-07262-8

[[Kategorie:Topologischer Vektorraum]]
[[Kategorie:Funktionalanalysis]]