# 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\geq \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 ein 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 $E$ ist genau dann bornologisch, wenn er die induktive lokalkonvexe Topologie aller Inklusionen $(E_{B},p_{B})\subset E$ trägt, wobei $B$ 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.