Satz von Mackey-Arens

Satz von Mackey-Arens

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 Topologien bestimmte wichtige Abbildungen stetig sind.

Genauer sei ein lokalkonvexer Raum E mit einer Topologie t gegeben. Dann betrachtet man den Dualraum E' der bezüglich t stetigen, linearen Funktionale auf E. Die Frage ist nun, welche weiteren lokalkonvexen Topologien auf E zu denselben stetigen, linearen Funktionalen wie t führen. Solche Topologien heißen zulässig.

Es stellt sich heraus, dass es eine schwächste und eine stärkste zulässige Topologie gibt.

Inhaltsverzeichnis

Die schwächste zulässige Topologie

Die schwächste zulässige Topologie, d.h. die schwächste Topologie, bzgl. der alle Funktionale aus E' stetig sind, ist die schwache Topologie σ(E,E'). Es ist klar, dass es keine zulässige Topologie geben kann, die echt schwächer ist, und es ist nicht schwer zu zeigen, dass σ(E,E') selbst zulässig ist.

Die Mackey-Topologie

Der Dualraum E' trägt die schwach-*-Topologie, das ist die schwächste Topologie auf E', die alle Abbildungen der Form \hat{x}: E'\rightarrow{\mathbb K},\, f\mapsto f(x), wobei x\in E, stetig macht. Sei \mathcal M die Menge aller absolutkonvexen und schwach-*-kompakten Mengen M\subset E'. Zu M\in {\mathcal M} sei pM die durch p_M(x) := \sup_{f\in M}|f(x)| definierte Halbnorm auf E. Dann definiert die Menge \{p_M;M\in {\mathcal M}\} eine lokalkonvexe Topologie auf E, die man die Mackey-Topologie auf E nennt und mit τ(E,E') bezeichnet. Identifiziert man x mit \hat{x}, d.h. mit einer Funktion auf E', so ist die Mackey-Topologie nichts anderes als die Topologie der gleichmäßigen Konvergenz auf absolutkonvexen, schwach-*-kompakten Mengen.

Es zeigt sich nun, dass man mit der Mackey-Topologie die zulässigen Topologien charakterisieren kann.

Satz von Mackey-Arens

Ist E ein lokalkonvexer Raum, so ist eine lokalkonvexe Topologie t auf E genau dann zulässig, wenn \sigma(E,E') \subset t \subset \tau(E,E').

Bemerkungen

Daher ist die Mackey-Topologie die stärkste zulässige Topologie auf E, die Existenz einer solchen Topologie ist nicht offensichtlich! Die Ausgangstopologie von E ist definitionsgemäß selbst zulässig, liegt also ebenfalls zwischen σ(E,E') und τ(E,E'). Stimmt die Ausgangstopologie von E mit der Mackey-Topologie überein, so nennt man E einen Mackey-Raum. Man kann zeigen, dass quasitonnelierte Räume stets Mackey-Räume sind. Insbesondere sind daher alle tonnelierten und alle bornologischen Räume Mackey-Räume.

Satz von Mackey

Eine Menge B eines lokalkonvexen Raums heißt beschränkt, wenn es zu jeder Nullumgebung U ein r > 0 gibt mit B\subset rU. Die Beschränktheit hängt damit von der Topologie ab. Daher ist der folgende Satz von Mackey bemerkenswert:

Für eine Teilmenge B eines lokalkonvexen Raumes sind äquivalent:

  • B ist beschränkt bzgl. der Topologie auf E.
  • B ist bezüglich jeder zulässigen Topologie beschränkt.
  • B ist bezüglich σ(E,E') beschränkt.
  • B ist bezüglich τ(E,E') beschränkt.

Bedeutung

Der Sätze von Mackey und Mackey-Arens und die Mackey-Topologie spielen eine wichtige Rolle in der Dualitätstheorie lokalkonvexer Räume. Sie finden u.a. Anwendung in der Charakterisierung der Halbreflexivität. Weitere Folgerungen sind Sätze der Art

In den mathematischen Wirtschaftswissenschaften treten sogenannte Präferenzfunktion oder Nutzenfunktionen auf gewissen L^\infty-Räumen auf, auf denen man die schwach-*-Topologie der L1-L^\infty-Dualität betrachtet. Diese Nutzenfunktionen sind im Allgemeinen unstetig bzgl. der schwach-*-Topologie aber stetig bzgl. der feineren Mackey-Topologie \tau(L^\infty,L^1).

Literatur

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

  • Satz von Mackey — 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

  • Satz von Goldstine — Die schwach * Topologie ist eine wichtige Topologie auf dem Dualraum eines normierten (oder allgemeiner lokalkonvexen) Raums. Die Bedeutung beruht u.a. auf dem Satz von Banach Alaoglu, wonach die Einheitskugel im Dualraum bezüglich dieser… …   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

  • Mackey-Toplogie — 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

  • Mackey-Topologie — 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

  • George Mackey — George Whitelaw Mackey (* 1. Februar 1916 in St. Louis; † 15. März 2006 in Belmont (Massachusetts)) war ein US amerikanischer Mathematiker. George Mackey wuchs in Houston in Texas auf, wo er sein Studium von Physik, Chemieingenieurwesen und… …   Deutsch Wikipedia

  • Richard Friederich Arens — Richard Arens Richard Friederich Arens (* 24. April 1919 in Iserlohn; † 3. Mai 2000 in Los Angeles) war ein deutschstämmiger US amerikanischer Mathematiker. Arens kam 1925 in die Vereinigten Staaten. Er studierte ab 1937 zunächst an der Unive …   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

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   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

Share the article and excerpts

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