GDF-Raum

GDF-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écheträumen spielt. Dualräume von Frécheträumen sind (DF)-Räume und Dualräume von (DF)-Räumen sind wieder Frécheträume. Dadurch erklärt sich die 1954 von Grothendieck eingeführte Bezeichnung (DF).

Inhaltsverzeichnis

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:

  1. Es gibt eine Folge (Bn)n beschränkter Mengen in E, so dass es zu jeder beschränkten Menge B\subset E ein n\in{\mathbb N} und ein λ > 0 gibt mit B\subset \lambda B_n.
  2. Ist (Vn)n eine Folge absolutkonvexer Nullumgebungen in E, und gibt es zu jeder beschränkten Menge B\subset E ein λ > 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 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 {\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 Unterraum 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 (En)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 Bn 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 Lb(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 i0 gibt, so dass T_i(x)-T(x) \in U für alle x\in B und i \ge 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 Lb(E,F) ein Fréchetraum.
  • Für jeden Banachraum F ist Lb(E,F) ein Fréchetraum.

Literatur

  • 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)
  • H. Jarchow: Locally Convex Spaces, Teubner, Stuttgart 1981 ISBN 3-519-02224-9

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • 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écheträumen spielt. Dualräume von Frécheträumen sind (DF) Räume und… …   Deutsch Wikipedia

  • (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… …   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

  • 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

  • Seinebrücken im Raum Paris — Pont Louis Philippe bei Nacht Die 37 Seinebrücken in Paris (Pariser Seinebrücken) verbinden das rechte, nördliche Ufer mit dem linken Ufer der Seine. An einigen Stellen liegen sie auf Inseln im Fluss auf. Von den 777 Kilometern ihrer Länge… …   Deutsch Wikipedia

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

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

  • Bauspar-Museum — Wüstenrot Daten Ort Wüstenrot Art M …   Deutsch Wikipedia

  • Eigentumstheorien — sind systematische Erklärungsversuche zur Entstehung und Rechtfertigung der gesellschaftlichen Institution des Eigentums. Das Recht auf persönliches Hab und Gut wird in der Regel nicht infrage gestellt. Kontroverse Positionen gibt es hingegen in… …   Deutsch Wikipedia

  • arrimer — [ arime ] v. tr. <conjug. : 1> • arrumer 1671; « mettre en état » 1361; moy. angl. rimen, rad. rum « place »; provenç. arumar ♦ Mar. Répartir, ranger (la cargaison) dans la cale d un navire. Par ext. Caler, fixer avec des cordes (un… …   Encyclopédie Universelle

Share the article and excerpts

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