マッキー位相

提供: miniwiki
移動先:案内検索

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

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

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

定義

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

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

関連項目

参考文献