Satz von Mackey

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

  • Satz von Banach-Mackey — Der Satz von Banach Mackey (nach Stefan Banach und George Mackey) ist ein Satz aus dem mathematischen Teilgebiet der Funktionalanalysis. Er trifft eine Aussage über Beschränktheits Eigenschaften gewisser Mengen in lokalkonvexen Räumen.… …   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

  • Satz von Eberlein–Smulian — Der Satz von Eberlein–Šmulian (nach William Frederick Eberlein und Witold Lwowitsch Šmulian) ist ein mathematischer Satz aus der Funktionalanalysis, der eine Aussage über Kompaktheitseigenschaften bezüglich der schwachen Topologie eines… …   Deutsch Wikipedia

  • Satz von Eberlein–Šmulian — Der Satz von Eberlein–Šmulian (nach William Frederick Eberlein und Witold Lwowitsch Šmulian) ist ein mathematischer Satz aus der Funktionalanalysis, der eine Aussage über Kompaktheitseigenschaften bezüglich der schwachen Topologie eines… …   Deutsch Wikipedia

  • Satz von Orlicz-Pettis — Der Satz von Orlicz Pettis (nach Władysław Orlicz und Billy James Pettis) ist ein Satz aus dem mathematischen Teilgebiet der Funktionalanalysis. Er erlaubt es, in einer bestimmten Situation von der schwachen Konvergenz auf die Normkonvergenz in… …   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

Share the article and excerpts

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