Tonnelierter Raum

Tonnelierter 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

Motivation

Eine Tonne ist eine Teilmenge T eines lokalkonvexen K-Vektorraums E mit folgenden drei Eigenschaften

Leicht zeigt man, dass jeder lokalkonvexe Raum eine Nullumgebungsbasis aus Tonnen besitzt. Ist umgekehrt jede Tonne eine Nullumgebung, so nennt man den Raum tonneliert. Diese Bezeichnung geht auf Bourbaki zurück (französisch tonnelé, englisch barrelled).

Beispiele

  • Jeder Fréchet-Raum (insbesondere also jeder Banachraum) ist tonneliert. Ist nämlich T eine Tonne im Fréchet-Raum E, so gilt E = \bigcup_{n \in {\mathbb N}} nT, da T absorbierend ist. Weil T abgeschlossen ist, folgt aus dem Satz von Baire, dass ein nT und damit T einen inneren Punkt hat. Aus der Absolutkonvexheit von T ergibt sich nun leicht, dass T eine Nullumgebung ist.
  • Ist E ein Fréchet-Raum ungleich {0}, so ist \prod_{r\in{\mathbb R}}E mit der Produkttopologie ein Beispiel für einen tonnelierten Raum, der nicht Fréchet-Raum ist.

Vererbungseigenschaften

Quotientenräume nach abgeschlossenen Teilräumen, Produkträume und induktive Limiten tonnelierter Räume sind wieder tonneliert.

Die Tonneliertheit vererbt sich im Allgemeinen nicht auf abgeschlossene Unterräume oder projektive Limiten.

Der Satz von Banach-Steinhaus

Eine Menge B in einem lokalkonvexen Raum E heißt bekanntlich beschränkt, wenn sie von jeder Nullumgebung absorbiert wird, d.h. zu jeder Nullumbegung U von E gibt es ein λ > 0 mit B\subset \lambda U. Eine Familie (T_\alpha)_{\alpha \in I} stetiger linearer Operatoren zwischen lokalkonvexen Vektorräumen E und F heißt gleichgradig stetig, wenn es zu jeder Nullumgebung V in F eine Nullumgebung U in E gibt, so dass T_\alpha (U)\subset V für alle \alpha\in I. Der folgende Satz kennzeichnet die tonnelierten Räume als diejenigen, in denen der Satz von Banach-Steinhaus gilt:

Für einen lokalkonvexen Raum E sind äquivalent:

  • E ist ein tonnelierter Raum.
  • Ist F ein weiterer lokalkonvexer Raum und (T_\alpha)_{\alpha \in I} eine Familie stetiger linearer Operatoren E\rightarrow F, die punktweise beschränkt ist (d.h. für jedes x\in E ist \{T_\alpha(x); \alpha\in I\} beschränkt), so ist (T_\alpha)_{\alpha \in I} gleichgradig stetig.

Beziehung zur Reflexivität

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 dort hat man eine natürliche Einbettung J:E\rightarrow (E_b')_b', (J(x))(f):= f(x), und wie üblich identifiziert man E mit J(E), so dass E als Unterraum des Biduals (Eb')b' aufgefasst werden kann. Ist J surjektiv, so nennt man E halbreflexiv. Dann stimmen E und (Eb')b' zwar als Mengen überein, aber im Allgemeinen sind die lokalkonvexen Topologien auf E und dem Bidual (Eb')b' verschieden. Stimmen auch die Topolgien überein, so nennt man E reflexiv. Die Tonneliertheit ist genau die Eigenschaft, die einem halbreflexiven Raum zur Reflexivität fehlt, denn es gilt:

Für einen lokalkonvexen Raum E äquivalent:

  • E ist reflexiv
  • E ist halbreflexiv und tonneliert.

Quasitonnelierte Räume

Man nennt eine Menge T in einem lokalkonvexen Raum bornivor, wenn sie jede beschränkte Menge absorbiert, d.h. wenn es zu jeder beschränkten Menge B ein \lambda \in K mit B \subset \lambda T gibt. (Zur Wortherkunft vergleiche carnivor oder herbivor.)

Ein Raum heißt quasitonneliert, wenn jede bornivore Tonne eine Nullumgebung ist. Offensichtlich handelt es sich um eine Abschwächung der Tonneliertheit, Bornologische Räume sind quasitonneliert. Folgenvollständige quasitonnelierte Räume sind bereits tonneliert, wie aus dem Satz von Banach-Mackey folgt.

Die Quasitonneliertheit ist bei obiger Charakterisierung der Reflexivität ausreichend, denn für einen lokalkonvexen Raum E sind äquivalent:

  • E ist reflexiv
  • E ist halbreflexiv und tonneliert.
  • E ist halbreflexiv und quasitonneliert.

Quellen

  • 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:

  • Mackey-Raum — Der Satz von Mackey Arens (nach George Mackey und Richard Friederich Arens) ist ein mathematischer Satz aus der Funktionalanalysis, genauer aus der Theorie der lokalkonvexen Räume. Der Satz von Mackey Arens behandelt die Frage, in welchen… …   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

  • 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

  • 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

  • Nuklearer Raum — Unter einem nuklearen Raum versteht man in der Mathematik eine spezielle Klasse lokalkonvexer Vektorräume. Viele in den Anwendungen wichtige Räume, z. B. Räume differenzierbarer Funktionen, sind nuklear. Während normierte Räume, insbesondere …   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

Share the article and excerpts

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