Loading article…
マッキー・アレンスの定理は、関数解析における重要な定理であり、ある線形汎関数の空間を連続双対空間として持つ局所凸ベクトル位相を特徴づけるものである。ナリチ(2011)によれば、この深遠な結果は双対性理論の中心であり、それは「位相ベクトル空間の現代理論の中心部分」である。[ 1 ]
X をベクトル空間とし、Y を X の代数的双対のベクトル部分空間で、X 上の点を分離するものとする。𝜏がX上の任意の局所凸ハウスドルフ位相ベクトル空間位相である場合、𝜏がXとYの双対性と両立するとは、Xに𝜏が備わっているときに、 Y が連続双対空間となる場合をいう。Xに弱位相𝜎( X , Y )を与えると、X 𝜎( X , Y )はハウスドルフ局所凸位相ベクトル空間(TVS) であり、𝜎( X , Y )はXとYの双対性と両立する(すなわち、ここで、 X上に配置できる局所凸型のハウスドルフ TVS 位相で、XとYの双対性と両立するものは何か、という疑問が生じます。この疑問に対する答えは、マッキー・アレンスの定理と呼ばれています。
マッキー・アレンズの定理[ 2 ] — X をベクトル空間とし、𝒯 をX上の局所凸ハウスドルフ位相ベクトル空間とする。X ' をXの連続双対空間とし、X を位相 𝒯 で表す。このとき、以下は同値である。
さらに、