双対位相

函数解析学および関連する数学の分野において、双対位相（そうついいそう、）とは、ある双対組上の局所凸位相である。ここで双対組とは、双線型形式を伴う二つのベクトル空間であるため、一つのベクトル空間はもう一つの空間の連続双対となる。
与えられた双対組に対する異なる双対位相は、マッキー＝アレンスの定理によって特徴付けられる。連続双対を伴う全ての局所凸位相は、明らかに双対組であり、局所凸位相は双対位相である。
いくつかの位相的性質は、双対組にのみ依存し、選ばれた双対位相には依存しない。したがって、ある簡単な双対位相よりもより複雑な双対位相を代用することもしばしば可能となる。
定義.
与えられた双対組 formula_1 に対し、formula_2 上の双対位相は局所凸位相 formula_3 である。したがって、
となる。ここで formula_5 は formula_6 の連続双対を表し、formula_4 は線型同型
の存在を意味する（ある formula_9 に対する線型汎函数 formula_10 は formula_2 上で連続ではないので、formula_2 上の局所凸位相 formula_3 が双対位相でないなら、formula_14 は全射でないか、ill-defined である）。
双対位相の特徴付け.
との名にちなむマッキー＝アレンスの定理は、局所凸空間上のすべての双対位相を特徴付けるものである。
この定理では、最も粗い双対位相は弱位相、すなわち formula_15 のすべての有界部分集合上の一様収束位相であることと、最も細かい位相はマッキー位相、すなわち formula_15 のすべての弱コンパクト部分集合上の一様収束位相であることが示されている。
マッキー＝アレンスの定理.
formula_2 を局所凸空間、formula_15 をその連続双対とするある双対組 formula_19 が与えられているとき、formula_3 が formula_2 上の双対位相であるための必要十分条件は、それが formula_15 の絶対凸かつ弱コンパクトな部分集合の族の上のであることである。