強位相 (極位相)

函数解析学と関連する数学の分野において、強位相（きょういそう、英: strong topology）とは、最も細かい極位相、すなわちある双対組上で最大の開集合を伴う位相である。最も粗い極位相は弱位相と呼ばれる。

定義

$(X,Y,\langle ,\rangle )$ を、実数 ${\mathbb {R} }$ あるいは複素数 ${\mathbb {C} }$ の体 ${\mathbb {F} }$ 上のベクトル空間の双対組とする。${\mathcal {B}}$ を、次に述べる意味で $Y$ の元によって評価されているすべての部分集合 $B\subseteq X$ の系とする。

$\forall y\in Y\qquad \sup _{x\in B}|\langle x,y\rangle |<\infty .$

このとき、$Y$ 上の強位相 $\beta (Y,X)$ は、次の形の半ノルムによって生成される $Y$ 上の局所凸位相として定義される。

$\|y\|_{B}=\sup _{x\in B}|\langle x,y\rangle |,\qquad y\in Y,\qquad B\in {\mathcal {B}}.$

$X$ が局所凸空間であるような特別な場合には、（連続）双対空間 $X'$（すなわち、すべての連続線型汎函数 $f:X\to {\mathbb {F} }$ の空間）上の強位相は、強位相 $\beta (X',X)$ で定義され、それは $X$ 内の有界集合の一様収束位相、すなわち次の形状の半ノルムによって生成される $X'$ 上の位相と一致する。

$\|f\|_{B}=\sup _{x\in B}|f(x)|,\qquad f\in X'.$

ただし $B$ は $X$ 内のすべての有界集合の族について考えられる。この位相を備える空間 $X'$ は、空間 $X$ の強双対空間（strong dual space）と呼ばれ、$X'_{\beta }$ と記述される。

例

• $X$ がノルム線型空間であるなら、強位相を伴うその（連続）双対空間 $X'$ は、バナッハ双対空間 $X'$、すなわち作用素ノルムによって誘起される位相を伴う空間 $X'$ と一致する。逆に、$X$ 上の $\beta (X,X')$-位相は、$X$ 上のノルムによって誘起される位相と一致する。

性質

• $X$ が樽型空間であるなら、その位相は $X$ 上の強位相 $\beta (X,X')$ や、組 $(X,X')$ によって生成される $X$ 上のマッキー位相と一致する。

参考文献

• Schaefer, Helmuth H. (1966). Topological vector spaces. New York: The MacMillan Company. ISBN 0-387-98726-6