(DF)-Raum

(DF)-Räume sind eine im mathematischen Teilgebiet der Funktionalanalysis betrachtete Klasse spezieller lokalkonvexer Räume, die eine wichtige Rolle in der Dualitätstheorie von Fréchet-Räumen spielt. Dualräume von Fréchet-Räumen sind (DF)-Räume, und Dualräume von (DF)-Räumen sind wieder Fréchet-Räume. Dadurch erklärt sich die 1954 von Grothendieck eingeführte Bezeichnung (DF).

Definition

Die Definition der (DF)-Räume wird durch die folgenden zwei Eigenschaften von Dualräumen metrisierbarer lokalkonvexer Räume motiviert. Ist der Dualraum eines metrisierbaren lokalkonvexen Raumes , so gilt:

  1. Es gibt eine Folge beschränkter Mengen in , so dass es zu jeder beschränkten Menge ein und ein gibt mit .
  2. Ist eine Folge absolutkonvexer Nullumgebungen in , und gibt es zu jeder beschränkten Menge ein mit , so ist eine Nullumgebung in .

Daher definiert man

Ein (DF)-Raum ist ein lokalkonvexer Raum E, der die oben genannten Eigenschaften (1) und (2) hat.

Beispiele

  • Die Definition ist so angelegt, dass Dualräume metrisierbarer lokalkonvexer Vektorräume (DF)-Räume sind, sogar vollständige (DF)-Räume.
  • Jeder quasitonnelierte Raum, der die erste Eigenschaft obiger Definition erfüllt, ist ein (DF)-Raum. Insbesondere sind alle normierten Räume (DF)-Räume. Es gibt daher (DF)-Räume, die nicht vollständig sind, und es gibt vollständige (DF)-Räume, die kein Dualraum sind.
  • Der Raum aller reellen Folgen mit der Topologie der punktweisen Konvergenz ist kein (DF)-Raum.

Vererbungseigenschaften

  • Vervollständigungen von (DF)-Räumen sind wieder (DF)-Räume.
  • Ist ein abgeschlossener Untervektorraum im (DF)-Raum E, so ist der Faktorraum wieder ein (DF)-Raum. Die (DF)-Eigenschaft vererbt sich im Allgemeinen nicht auf (abgeschlossene) Unterräume.
  • Ist eine Folge von (DF)-Räumen, so ist die direkte Summe mit der Finaltopologie wieder ein (DF)-Raum. Die (DF)-Eigenschaft vererbt sich im Allgemeinen nicht auf Produkträume.
  • Das projektive Tensorprodukt zweier (DF)-Räume ist wieder ein (DF)-Raum.

Weitere Eigenschaften

  • Der starke Dualraum eines (DF)-Raums ist ein Fréchetraum. Daraus ergibt sich nun leicht, dass der Bidualraum eines Fréchetraums wieder ein Fréchetraum ist. Eine weitere wichtige Folgerung ist, dass ein Fréchetraum genau dann reflexiv ist, wenn sein starker Dualraum reflexiv ist.
  • Jeder separable (DF)-Raum ist quasitonneliert.
  • Die Topologie eines (DF)-Raums E lässt sich im folgenden Sinne lokalisieren: Eine absolutkonvexe Menge ist genau dann eine Nullumgebung, wenn für jede absolutkonvexe, beschränkte Menge der Durchschnitt eine Umgebung von 0 in der Teilraumtopologie auf ist.
  • Ein (DF)-Raum trägt die feinste lokalkonvexe Topologie, die die Inklusionen der beschränkten Mengen aus Teil (1) obiger Definition stetig macht.

gDF-Räume

Hat ein lokalkonvexer Raum nur die Eigenschaft (1) obiger Definition und trägt er die feinste lokalkonvexe Topologie, die die Inklusionen der beschränkten Mengen aus Teil (1) obiger Definition stetig macht, so heißt dieser Raum gDF-Raum (generalized DF). Jeder (DF)-Raum ist ein gDF-Raum.

Wie (DF)-Räume sind auch gDF-Räume abgeschlossen gegenüber den Operationen Vervollständigung, Bildung von Quotientenräumen, abzählbarer Summenbildung und projektiven Tensorprodukten.

Sind und zwei lokalkonvexe Räume, so sei der Raum der stetigen, linearen Abbildungen versehen mit der Topologie der gleichmäßigen Konvergenz auf beschränkten Mengen, d. h. es gilt , falls es zu jeder beschränkten Menge und jeder Nullumgebung ein gibt, so dass für alle und . Mit dieser Begriffsbildung lassen sich gDF-Räume wie folgt charakterisieren:

Für einen lokalkonvexen Raum sind äquivalent:

  • ist ein gDF-Raum.
  • Für jeden Fréchetraum ist ein Fréchetraum.
  • Für jeden Banachraum ist ein Fréchetraum.

Literatur

  • 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
  • H. H. Schaefer: Topological Vector Spaces, Springer, 1971 ISBN 0-387-98726-6
  • A. Grothendieck: Sur les espaces (F) et (DF). Summa Brasil. Math. 3, 57–123 (1954)