Lokalkonvexer Raum

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 Nullpunktes verfügen. Ein lokalkonvexer Raum kann als eine Verallgemeinerung eines normierten Vektorraumes bzw. eines normierbaren Vektorraumes betrachtet werden, denn die Normkugeln um 0 sind konvexe Umgebungen des Nullpunktes.

Die Einheitskugel im euklidischen Raum ist eine konvexe Nullumgebung.

Inhaltsverzeichnis

Geometrische Definition

Ein topologischer Vektorraum V heißt lokalkonvex, wenn jede Nullumgebung (d.h. Umgebung des Nullpunktes) U eine offene Teilmenge T mit den folgenden drei Eigenschaften enthält:

Eine Teilmenge T eines reellen oder komplexen Vektorraumes V heißt absorbierend, wenn es zu jedem Vektor x in V eine echt positive reelle Zahl r gibt, so dass rx ein Element von T ist.

Eine Teilmenge T eines reellen oder komplexen Vektorraumes V heißt ausgewogen, wenn zu jedem Vektor x in T und jeder Zahl r mit |r|<1 der Vektor rx ebenfalls in T liegt, das heißt wenn die Strecke von -x nach x in T liegt. Aufgrund der geometrischen Bedeutung dieser Definition werden solche Mengen manchmal auch kreisförmig genannt.

Eine ausgewogene und konvexe Menge heißt absolutkonvexe Menge.

Es stellt sich heraus, dass auf die zweite und dritte Bedingung verzichtet werden kann. Es gibt genau dann eine Nullumgebungsbasis aus konvexen, absorbierenden und ausgewogenen Mengen, wenn es eine Nullumgebungsbasis aus konvexen Mengen gibt. Zwei solche Umgebungsbasen müssen natürlich nicht übereinstimmen, aber die Existenz der einen impliziert die Existenz der anderen.

Definition durch Halbnormen

Lokalkonvexe Räume lassen sich auch durch Halbnormen-Systeme charakterisieren: Ein topologischer Vektorraum V heißt lokalkonvex, wenn seine Topologie durch eine Familie \mathcal{P} von Halbnormen definiert ist. Das heißt, ein Netz konvergiert genau dann, wenn es bezüglich aller Halbnormen aus \mathcal{P} konvergiert; genauer: Es ist x_i\rightarrow x genau dann, wenn p(x_i-x)\rightarrow 0 für alle Halbnormen p\in \mathcal{P}. Die Kugeln B_p(x,\varepsilon)=\left\{y \in V \,:\, p(x-y) < \varepsilon \right\}, wobei x\in V,\, \varepsilon > 0,\, p \in \mathcal{P}, bilden dabei eine Subbasis der Topologie, die Mengen Bp(0,ε) sind absolutkonvexe Nullumgebungen.

Ist umgekehrt eine Nullumgebungsbasis aus absolutkonvexen Mengen gegeben, so bilden die zugehörigen Minkowski-Funktionale ein definierendes Halbnormen-System.

Beispiele

  1. Alle normierten Räume (insb. alle Banachräume) sind lokalkonvex, wobei die Familie \mathcal{P} nur die (echte) Norm enthält.
  2. Direkte Limites von Banachräumen wie  \mathcal{C}(\mathbb{R}) mit der durch \textstyle p_k(f)= \max_{x \in [-k,k]} |f(x)| gegebenen Familie von Halbnormen.
  3. Alle topologischen Vektorräume mit der schwachen Topologie.
  4. Banachräume mit schwacher Topologie sowie Dualräume von Banachräumen mit der schwach-*-Topologie sind lokalkonvex, wobei die Familie \mathcal{P} hier durch die Funktionale aus dem Dual- respektive Prädualraum mittels  p_y\left(x\right)=|y(x)| (y ist das Funktional) erzeugt wird.
  5. Projektive Limites von Banachräumen sind lokalkonvex. Die Familie \mathcal{P} ist durch die Normen der Banachräume, deren Limes gebildet wird, gegeben. Als Beispiel betrachte \mathcal{C}^\infty([0,1]) mit der Familie der Normen
    p_k(f)= \sum_{i\leq k} \max_{x \in [0,1]} |f^{(i)}(x)|.
    Obwohl die Familie aus echten Normen besteht, ist der Raum kein Banachraum!
  6. Der Schwartz-Raum, Folgenräume wie zum Beispiel die Köthe-Räume, Funktionenräume wie zum Beispiel Räume von Testfunktionen.
  7. Der Raum L^p\left([0,1]\right) (siehe Lp-Raum) ist für 0 < p < 1 ein topologischer (sogar metrisierbarer) Vektorraum, der nicht lokalkonvex ist.

Eigenschaften

Erfüllt die Halbnormenmenge aus obiger Definition \{x\in V:p(x)=0\; \forall \, p \in \mathcal{P}\}=\{0\}, so ist der Raum ein Hausdorff-Raum. Viele Autoren betrachten nur Hausdorff'sche lokalkonvexe Räume.

Hausdorffsche, lokalkonvexe Räume haben genügend viele stetige, lineare Funktionale, um Punkte zu trennen, d.h. für alle x,y\in V, x \not= y gibt es ein stetiges, lineares Funktional f mit f(x) \not= f(y). Das zeigt sich in der Gültigkeit wichtiger Sätze wie

Die stetigen, linearen Funktionale auf einem topologischen Vektorraum V trennen genau dann die Punkte, wenn es eine gröbere Topologie auf V gibt, die V zu einem hausdorffschen, lokalkonvexen Raum macht. Die Untersuchung lokalkonvexer Räume mittels stetiger, linearer Funktionale führt zu einer sehr weitreichenden Theorie, die für allgemeine topologische Vektorräume so nicht möglich ist. Es gibt topologische Vektorräume, die außer dem Nullfunktional kein weiteres stetiges, lineares Funktional besitzen.

Verallgemeinerungen

Spezielle lokalkonvexe Raumklassen

Beziehungen der Raumklassen untereinander, ein Pfeil führt von der spezielleren zur allgemeineren Raumklasse.

Viele Klassen lokalkonvexer Räume zeichnen sich durch die Gültigkeit bestimmter Sätze, die aus der Theorie der Banachräume oder normierten Räume bekannt sind, aus. So sind z.B. die tonnelierten Räume genau diejenigen lokalkonvexen Räume, in denen der Satz von Banach-Steinhaus noch gilt. Diese Sätze können in den entsprechenden Raumklassen in 'Reinkultur' untersucht werden, ihre Tragweite wird deutlich. Die bekanntesten dieser Raumklassen sind:

Räume differenzierbarer oder holomorpher Funktionen tragen natürliche lokalkonvexe Topologien, deren Eigenschaften zu weiteren Raumklassen Anlass geben. Die wichtigsten dieser Raumklassen, die zu einem tieferen Verständnis der lokalkonvexen Theorie führen, sind etwa

Historische Bemerkungen

Bereits 1906 stelle M. Fréchet fest, dass der „Abschluss“ der Menge C_b(\R) der beschränkten stetigen Funktionen auf \R in der Menge aller beschränkten Funktionen auf \R bezüglich der punktweisen Konvergenz nicht durch die Menge aller Grenzwerte von Folgen aus C_b(\R) beschrieben werden kann. Der dazu erforderliche allgemeinere Umgebungsbegriff, wie er 1914 durch F. Hausdorff in der allgemeinen Topologie eingeführt wurde, fand in der Funktionalanalysis erstmalig durch J. v. Neumann in seiner Beschreibung der schwachen bzw. starken Nullumgebungen in L(H), H Hilbertraum, Anwendung, wobei eine Verallgemeinerung auf Banachräume nicht versucht wurde. Der Umgebungsbegriff für allgemeinere Situationen findet sich bei S. Banach (1932) und Bourbaki (1938) in Untersuchungen über die schwach-*-Topologie, wobei man sich zunächst auf separable Räume beschränkte, damit die Einheitskugel im Dualraum metrisierbar ist. Obwohl die Untersuchung normierter Räume im Vordergrund stand, war damit klar, dass allgemeinere Raumklassen in natürlicher Weise auftreten.

S. Banach, S. Mazur und W Orlicz betrachteten Räume, deren Topologie durch eine Folge (pn)n von Halbnormen gegeben ist, und definierten den Abstand d(x,y):= \sum_{n=1}^\infty \frac{1}{n!}\frac{p_n(x-y)}{1+p_n(x-y)}. Für die vollständigen unter diesen Räumen, die man heute Frécheträume nennt, konnte der Satz vom abgeschlossenen Graphen bewiesen werden. Dass aber auch metrisierbare Räume nicht ausreichen, zeigte die Feststellung J. v. Neumanns aus dem Jahre 1929, dass die schwache Topologie auf unendlich-dimensionalen Hilberträumen nicht metrisierbar ist.

1934 wurden von G. Köthe und O. Toeplitz neue Typen von Räumen, sogenannte Folgenräume, eingeführt und deren Dualitätstheorie im Kontext der Folgenräume entwickelt. In diesem Zusammenhang tauchte der Begriff des starken Dualraums auf.

Die im Sinne der Metrik beschränkten Mengen verhielten sich nicht wie im Falle normierter Räume, es bedurfte einer topologischen Charakterisierung der Beschränktheit, wie sie in der unten zitierten Arbeit J. v. Neumanns aus dem Jahre 1935 gegeben wurde. Dieser Beschränktheitsbegriff findet sich im selben Jahr auch bei A. N. Kolmogorow bei dem Beweis der Aussage, dass ein topologischer Vektorraum genau dann normierbar ist, wenn er eine beschränkte Nullumgebung besitzt. Von Neumanns Arbeit enthält auch erstmalig die allgemeine Definition des lokalkonvexen Raums, die Äquivalenz der oben angegebenen geometrischen Definition und der Definition durch Halbnormen wird dort bewiesen. Dadurch konnten die Ideen von Köthe und Toeplitz in einem allgemeineren Rahmen durchgeführt werden. Meilensteine waren die Ergebnisse von G. Mackey aus dem Jahre 1946, siehe Satz von Mackey, Satz von Mackey-Arens, und die Untersuchungen von Tensorprodukten von A. Grothendieck aus dem Jahre 1953. Weitere Bedeutung erlangten die lokalkonvexen Räumen durch von L. Schwartz, A. Grothendieck, S. L. Sobolew, S. Bochner und anderen durchgeführten Untersuchungen in der Theorie der partiellen Differentialgleichungen und die damit einhergehende Begründung der Theorie der Distributionen. Der Satz vom Kern führte Grothendieck zum wichtigen Begriff des nuklearen Raums.

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • Metrisierbarer lokalkonvexer 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

  • 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

  • S-Raum — Unter einem Schwartz 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 Schwartz Räume. Der Raum der schnell fallenden… …   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écheträumen spielt. Dualräume von Frécheträumen sind (DF) Räume und… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Schwartz-Raum (allgemein) — Unter einem Schwartz 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 Schwartz Räume. Der Raum der schnell fallenden… …   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

  • 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

  • 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

Share the article and excerpts

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