Bornologischer Raum

Bornologische Räume sind in dem mathematischen Teilgebiet Funktionalanalysis spezielle lokalkonvexe Räume, für deren lineare Operatoren die aus der Theorie der normierten Räume bekannte Äquivalenz von Stetigkeit und Beschränktheit gilt. Diese Räume lassen sich durch ihre Nullumgebungsbasen charakterisieren und haben weitere Eigenschaften mit normierten Räumen gemeinsam.

Motivation

Eine Teilmenge A eines topologischen K-Vektorraums E heißt beschränkt, wenn sie von jeder Nullumgebung absorbiert wird, d.h. zu jeder Nullumgebung $U\subset E$ gibt es ein $\lambda \in K$ mit $A \subset \lambda U$ .

Eine Teilmenge B eines lokalkonvexen K-Vektorraums heißt Bornolog, wenn folgende Bedingungen erfüllt sind:

B ist absolutkonvex, d.h. für $x, y \in B$ und $\lambda, \mu \in K$ mit $|\lambda |+|\mu |\leq 1$ gilt $\lambda x + \mu y \in B$ .
B absorbiert jede beschränkte Menge, d.h. zu jeder beschränkten Menge $A\subset E$ gibt es ein $\lambda \in K$ mit $A \subset \lambda B$ .

Leicht zeigt man, dass jeder lokalkonvexe Raum eine Nullumgebungsbasis aus Bornologen besitzt. Ist umgekehrt jeder Bornolog eine Nullumgebung, so nennt man den Raum bornologisch.

Beispiele

Jeder metrisierbare lokalkonvexe Raum E ist bornologisch. Ist nämlich B ein Bornolog in E, $U_1 \supset U_2 \supset \ldots$ eine abzählbare Nullumgebungsbasis von E, und nimmt man an, dass B keine Menge der Form ${\tfrac {1}{n}}U_{n}$ enthält, so kann man ein $x_{n}\in {\tfrac {1}{n}}U_{n}\setminus B$ wählen. Dann konvergiert $nx_n\rightarrow 0$ , d.h. $\{nx_n; n\in {\mathbb N}\}$ ist kompakt und daher beschränkt, also in einer Menge der Form $\lambda B$ enthalten. Für $n \ge \lambda$ folgt der Widerspruch $x_n\in B$ . Also ist B eine Nullumgebung.

Ist E ein normierter Raum ungleich {0}, so ist $\textstyle \bigoplus_{r\in{\mathbb R}}E$ mit der Finaltopologie ein Beispiel für einen bornologischen Raum, der nicht metrisierbar ist.

Vererbungseigenschaften

Ein Induktiver Limes bornologischer Räume ist wieder bornologisch.

Beschränkte Operatoren

Wie in der Theorie der normierten Räume heißt ein linearer Operator zwischen topologischen Vektorräumen beschränkt, wenn er beschränkte Mengen wieder auf beschränkte Mengen abbildet.

Für einen lokalkonvexen Raum E sind äquivalent:

E ist bornologisch
Jeder beschränkte Operator $E\rightarrow F$ in einen weiteren lokalkonvexen Raum F ist stetig.

Ein linearer Operator $A\colon E\rightarrow F$ heißt folgenstetig, wenn aus $\textstyle \lim _{n\in {\mathbb {N} }}x_{n}=x$ in E stets $\textstyle \lim _{n\in {\mathbb {N} }}Ax_{n}=Ax$ in F folgt. In nicht-metrisierbaren Räumen kann diese Bedingung echt schwächer als Stetigkeit sein.

Für einen bornologischen Raum E und einen linearen Operator $A:E\rightarrow F$ sind äquivalent:

A ist stetig.
A ist folgenstetig.
A ist beschränkt.

Bornologische Räume als induktive Limiten normierter Räume

Ein lokalkonvexer Raum E heißt eine induktiver Limes normierter Räume, wenn es lineare Abbildungen $j_{\alpha }\colon E_{\alpha }\rightarrow E$ mit normierten Räumen $E_{\alpha }$ gibt, so dass $\textstyle E=\bigcup _{\alpha }j_{\alpha }(E_{\alpha })$ und die Topologie auf E die feinste lokalkonvexe Topologie ist, die alle $j_\alpha$ stetig macht.

Für einen lokalkonvexen Raum E sind äquivalent:

E ist bornologisch.
E ist ein induktiver Limes normierter Räume.

Man kann einen solchen induktiven Limes sogar angeben. Für eine beschränkte und absolutkonvexe Menge $B\subset E$ sei $\textstyle E_{B}:=\bigcup _{\lambda >0}\lambda \cdot B$ . Dann ist $E_{B}$ ein Vektorraum, und das Minkowski-Funktional p_B zu $B\subset E_B$ macht diesen Vektorraum zu einem normierten Raum. Der lokalkonvexe Raum ist genau dann bornologisch, wenn er die induktive lokalkonvexe Topologie aller Inklusionen $(E_B,p_B)\subset E$ trägt, wobei die beschränkten, absolutkonvexen Mengen durchläuft.

Kann man für E sogar eine Darstellung als induktiven Limes von Banachräumen finden, so nennt man E ultrabornologisch. In solchen Räumen gelten der Satz über die offene Abbildung und der Satz vom abgeschlossenen Graphen.

Vollständigkeit des Dualraums

Ist E ein lokalkonvexer Vektorraum, so definiert jede beschränkte Menge B in E eine Halbnorm P_B auf dem Dualraum $E\,'$ , indem man $p_B(f):= \sup\{|f(x)|; x\in B\}$ setzt. Versehen mit der Menge der Halbnormen p_B , wobei B die beschränkten Mengen von E durchläuft, wird $E\,'$ zu einem lokalkonvexen Vektorraum, den man dann mit E_b' bezeichnet. Dies verallgemeinert die Dualraumbildung bei normierten Räumen. Wie in der Theorie der normierten Räume gilt folgender Satz:

Ist E bornologisch, so ist E_b' vollständig, d.h. jedes Cauchy-Netz konvergiert.

Literatur

Klaus Floret, Joseph Wloka: Einführung in die Theorie der lokalkonvexen Räume (= Lecture Notes in Mathematics. Bd. 56, ISSN 0075-8434). Springer, Berlin u. a. 1968.
Reinhold Meise, Dietmar Vogt: Einführung in die Funktionalanalysis (= Vieweg-Studium 62 Aufbaukurs Mathematik). Vieweg, Braunschweig u. a. 1992, ISBN 3-528-07262-8.

Basierend auf einem Artikel in:

Wikipedia.de