マッキー位相

函数解析学および関連する数学の分野において、ジョージ・マッキー（英語版）の名にちなむマッキー位相（マッキーいそう、英: Mackey topology）とは、位相線型空間に対する最も細かい（英語版）位相で、連続双対を保存するものである。すなわちマッキー位相は、元の位相で不連続である線型函数を連続にすることはない。

マッキー位相は、連続双対において全ての連続函数の連続性を保存する位相線型空間上の最も粗い（英語版）位相である弱位相と反対の概念である。

マッキー＝アレンスの定理では、すべての双対位相は弱位相より細かく、マッキー位相より粗いことが示されている。

定義

ある位相線型空間 $X$ と、その連続双対 $X'$ の双対組 $(X,X')$ に対し、 $X$ 上のマッキー位相 $\tau (X,X')$ は、 $X'$ 内のすべての絶対凸かつ弱コンパクトな集合を使って定義される。

連続双対 $X'$ を伴うすべての距離化可能な局所凸空間 $(X,\tau )$ は、マッキー位相 $\tau =\tau (X,X')$ を導く。より簡潔に言うと、すべてのマッキー空間はマッキー位相を導く。
すべてのフレシェ空間 $(X,\tau )$ はマッキー位相を導き、その位相は強位相と一致する。すなわち、 $\tau =\tau (X,X')=\beta (X,X')$ となる。

A.I. Shtern (2001), “Mackey topology”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Mackey, G.W. (1946). “On convex topological linear spaces”. Trans. Amer. Math. Soc. (Transactions of the American Mathematical Society, Vol. 60, No. 3) 60 (3): 519–537. doi:10.2307/1990352. JSTOR 1990352.
Bourbaki, Nicolas (1977). Topological vector spaces. Elements of mathematics. Addison–Wesley
Robertson, A.P.; W.J. Robertson (1964). Topological vector spaces. Cambridge Tracts in Mathematics. 53. Cambridge University Press. p. 62
Schaefer, Helmuth H. (1971). Topological vector spaces. GTM. 3. New York: Springer-Verlag. p. 131. ISBN 0-387-98726-6