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.

Inhaltsverzeichnis

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-Vektorrraums 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| \le 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 \frac{1}{n}U_n enthält, so kann man ein x_n\in \frac{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 λB enthalten. Für n \ge \lambda folgt der Widerspruch x_n\in B. Also ist B eine Nullumgebung.

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:E\rightarrow F heißt folgenstetig, wenn aus \lim_{n\in {\mathbb N}}x_n = x in E stets \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:E_\alpha\rightarrow E mit normierten Räumen Eα gibt, so dass E=\bigcup_\alpha j_\alpha(E_\alpha) und die Topologie auf E die feinste lokalkonvexe Topologie ist, die alle jα 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 E_B:= \bigcup_{\lambda>0}\lambda\cdot B. Dann ist EB ein Vektorraum, und das Minkowski-Funktional pB 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 PB auf dem Dualraum E\,', indem man p_B(f):= \sup\{|f(x)|; x\in B\} setzt. Versehen mit der Menge der Halbnormen pB, wobei B die beschränkten Mengen von E durchläuft, wird E\,' zu einem lokalkonvexen Vektorraum, den man dann mit Eb' 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 Eb' vollständig, d.h. jedes Cauchy-Netz konvergiert.

Literatur

  • K. Floret, J. Wloka: Einführung in die Theorie der lokalkonvexen Räume, Lecture Notes in Mathematics 56, 1968
  • R. Meise, D. Vogt: Einführung in die Funktionalanalysis, Vieweg, 1992 ISBN 3-528-07262-8

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Distinguierter Raum — In der mathematischen Disziplin der Funktionalanalysis werden lokalkonvexe Räume, das sind Vektorräume mit einer topologischen Struktur, untersucht. Die wichtige topologische Eigenschaft der Metrisierbarkeit lässt sich in lokalkonvexen Räumen… …   Deutsch Wikipedia

  • Lokal konvexer Raum — Lokalkonvexer Vektorraum berührt die Spezialgebiete Mathematik Topologie Abstrakte Algebra Lineare Algebra Analytische Geometrie Funktionalanalysis ist Spezialfall von …   Deutsch Wikipedia

  • (LB)-Raum — (LF) Räume sind eine in der Mathematik betrachtete Klasse von Vektorräumen. Abstrahiert man die Konstruktion gewisser Räume aus der Distributionstheorie, so wird man zwanglos auf den Begriff des (LF) Raums geführt. Dabei handelt es sich um die… …   Deutsch Wikipedia

  • LB-Raum — (LF) Räume sind eine in der Mathematik betrachtete Klasse von Vektorräumen. Abstrahiert man die Konstruktion gewisser Räume aus der Distributionstheorie, so wird man zwanglos auf den Begriff des (LF) Raums geführt. Dabei handelt es sich um die… …   Deutsch Wikipedia

  • LB Raum — (LF) Räume sind eine in der Mathematik betrachtete Klasse von Vektorräumen. Abstrahiert man die Konstruktion gewisser Räume aus der Distributionstheorie, so wird man zwanglos auf den Begriff des (LF) Raums geführt. Dabei handelt es sich um die… …   Deutsch Wikipedia

  • LF-Raum — (LF) Räume sind eine in der Mathematik betrachtete Klasse von Vektorräumen. Abstrahiert man die Konstruktion gewisser Räume aus der Distributionstheorie, so wird man zwanglos auf den Begriff des (LF) Raums geführt. Dabei handelt es sich um die… …   Deutsch Wikipedia

  • LF Raum — (LF) Räume sind eine in der Mathematik betrachtete Klasse von Vektorräumen. Abstrahiert man die Konstruktion gewisser Räume aus der Distributionstheorie, so wird man zwanglos auf den Begriff des (LF) Raums geführt. Dabei handelt es sich um die… …   Deutsch Wikipedia

  • Lokalkonvexer Raum — Lokalkonvexe Räume sind im mathematischen Teilgebiet der Funktionalanalysis untersuchte topologische Vektorräume mit zusätzlichen Eigenschaften. Es handelt sich dabei um topologische Vektorräume, die über „genügend viele“ konvexe Umgebungen des… …   Deutsch Wikipedia

  • Quasitonnelierter Raum — Tonnelierte Räume sind spezielle lokalkonvexe Vektorräume, in denen der Satz von Banach Steinhaus gilt. Diese Räume lassen sich durch ihre Nullumgebungsbasen charakterisieren. Inhaltsverzeichnis 1 Motivation 2 Beispiele 3 Vererbungseigenschaften …   Deutsch Wikipedia

  • Ultrabornologischer Raum — Ultrabornologische Räume werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich dabei um bornologische Räume mit einer gewissen zusätzlichen Vollständigkeitseigenschaft. Ihre Bedeutung erhalten diese Räume dadurch …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”