函数解析学および関連する数学の分野において、の名にちなむマッキー位相(マッキーいそう、)とは、位相線型空間に対する位相で、連続双対を保存するものである。すなわちマッキー位相は、元の位相で不連続である線型函数を連続にすることはない。

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

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

定義

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

例

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

関連項目

極位相 弱位相 強位相

参考文献