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.

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 p_M 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

• Der schwache Dualraum eines tonnelierten Raums ist folgenvollständig.
• Der schwache Dualraum eines Frechet-Raums, der nicht Banachraum ist, ist nicht metrisierbar.

In den mathematischen Wirtschaftswissenschaften treten sogenannte Präferenzfunktion oder Nutzenfunktionen auf gewissen $L^\infty$-Räumen auf, auf denen man die schwach-*-Topologie der L¹-$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