# (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 $E=F\,'$ der Dualraum eines metrisierbaren lokalkonvexen Raumes $F$, so gilt:
* Es gibt eine Folge $(B_{n})_{n}$ beschränkter Mengen in $E$, so dass es zu jeder beschränkten Menge $B\subset E$ ein $n\in {\mathbb {N} }$ und ein $\lambda >0$ gibt mit $B\subset \lambda B_{n}$.
* Ist $(V_{n})_{n}$ eine Folge absolutkonvexer Nullumgebungen in $E$, und gibt es zu jeder beschränkten Menge $B\subset E$ ein $\lambda >0$ mit $B\subset \lambda \bigcap _{n}V_{n}$, so ist $\bigcap _{n}V_{n}$ eine Nullumgebung in $E$.
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 Rä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 ${\mathbb {R} }^{\infty }$ 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 $F\subset E$ ein abgeschlossener Untervektorraum im (DF)-Raum E, so ist der Faktorraum $E/F$ wieder ein (DF)-Raum. Die (DF)-Eigenschaft vererbt sich im Allgemeinen nicht auf (abgeschlossene) Unterräume.
* Ist $(E_{n})_{n}$ eine Folge von (DF)-Räumen, so ist die direkte Summe $\bigoplus _{n}E_{n}$ 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 $U\subset E$ ist genau dann eine Nullumgebung, wenn für jede absolutkonvexe, beschränkte Menge $B\subset E$ der Durchschnitt $B\cap U$ eine Umgebung von 0 in der Teilraumtopologie auf $B$ ist.
* Ein (DF)-Raum trägt die feinste lokalkonvexe Topologie, die die Inklusionen $B_{n}\subset E$ der beschränkten Mengen $B_{n}$ 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 $B_{n}\subset E$ 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 $E$ und $F$ zwei lokalkonvexe Räume, so sei $L_{b}(E,F)$ der Raum $L(E,F)$ der stetigen, linearen Abbildungen $E\rightarrow F$ versehen mit der Topologie der gleichmäßigen Konvergenz auf beschränkten Mengen, d. h. es gilt $T_{i}\to T$, falls es zu jeder beschränkten Menge $B\subset E$ und jeder Nullumgebung $U\subset F$ ein $i_{0}$ gibt, so dass $T_{i}(x)-T(x)\in U$ für alle $x\in B$ und $i\geq i_{0}$. Mit dieser Begriffsbildung lassen sich gDF-Räume wie folgt charakterisieren:
Für einen lokalkonvexen Raum $E$ sind äquivalent:
* $E$ ist ein gDF-Raum.
* Für jeden Fréchetraum $F$ ist $L_{b}(E,F)$ ein Fréchetraum.
* Für jeden Banachraum $F$ ist $L_{b}(E,F)$ ein Fréchetraum.