弱位相

弱位相（じゃくいそう、）とは、ノルム空間上に定義される位相の一つである。体上のノルム空間にはノルムから定まる位相（ノルム位相。弱位相と区別するため強位相とも呼ばれる）があるが、弱位相はこれよりも弱い（強くない）位相であり、上の値有界線形写像（すなわちの共役空間の元）が全て連続になる最弱な位相である。なお弱位相は位相空間論におけるの特別な場合に当たる。
強位相に関するものと区別するため、弱位相に関する連続性、収束性、コンパクト性はそれぞれ弱連続性、弱収束性、弱コンパクト性と呼ばれる。
本項では弱位相の関連概念である＊弱位相についても述べる。
定義.
以下、を実数体formula_1もしくは複素数体formula_2とする。
一方、のノルムにより定まる位相の事をノルム位相という。
ノルム空間上の線型写像が有界である必要十分条件は、その線型写像がノルム位相連続である事である。したがっての元はノルム位相に関して必ず連続である。
それに対しの元を連続にする最弱の位相であるので、以下が従う：
この為、ノルム位相の事をの強位相（）ともいう。
の係数体（formula_3）の位相は上の絶対値をノルムと見なしたときのノルム位相と一致する事から、弱位相を以下のようにも特徴づけられる：
 |\alpha(x)|</math>
により定義すると、上の弱位相はセミノルムの族formula_4により誘導される位相と一致する。
よって特に、に弱位相を入れた空間は局所凸である。したがって弱位相は最も粗い極位相（弱位相 (極位相)を参照）でもある。
弱収束・強収束.
弱位相における点列（もしくはより一般に有向点族）の収束を弱収束といい、
等と表記する。
一方ノルム位相に対する収束（ノルム収束）は強収束とも呼ばれ、弱収束と区別するため
等と表記する。
ヒルベルト空間における強収束と弱収束の関係.
ヒルベルト空間においては弱収束する点列が強収束するための必要十分条件が以下のように与えられる：
＊弱位相.
ノルム空間の共役空間には、作用素ノルム
が定義でき、このノルムからノルム位相が定まる。また自身も作用素ノルムに関してノルム空間であることからには弱位相も入り、定義よりこれはの共役空間（二重共役空間）に属する写像を全て連続にする最弱の位相である。
さらにには下記の＊弱位相も入る：
formula_13である事が知られているので、以下が従う：
つまりに入る位相は強い順からノルム位相、弱位相、＊弱位相である。
なお、定義より明らかに次が従う：
位相空間論の言葉を使うと、＊弱位相を別の角度から特徴づける事ができる。そのためにまず定義を述べる：
このとき次が従う：
＊弱収束.
＊弱位相における点列（ないしより一般的な有向点族）の収束を＊弱収束（）もしくは汎弱収束といい、
等と表記する。
具体例.
formula_17区間上の複素数値2乗可積分関数のなすヒルベルト空間formula_18"L"2([-π,π])を例に強収束と弱収束の違いを見る。なお、ヒルベルト空間は再帰的な事が知られているので、弱位相と＊弱位相は同一である。
formula_19をの完全正規直交基底とする。例えば
とすると、formula_19が完全正規直交基底になる事が知られている（フーリエ展開を参照）。
formula_19の正規直交性から、に対し
であるので、formula_24はコーシー列ではなく、よってのとき強収束の極限は存在しない。
しかしformula_24は0に弱収束する。
理由は下記の通りである。ヒルベルト空間の共役空間の任意の元には必ず
を満たすが存在する（リースの表現定理）。
そしてformula_19が完全正規直交基底である事から、
を満たすformula_29が存在する。
上記の無限和に極限が存在する事から、formula_30である。
以上の事から任意のに対し、
であるので、のとき、
となり、
が成立する。
性質.
バナッハ＝アラオグルの定理.
ノルム位相に対してはリースの補題から直接的に次の事実が従う：したがって無限次元の場合、の閉単位球はノルム位相に関してコンパクトではない。しかし、の閉単位球は＊弱位相に関してはコンパクトになる：この定理はチコノフの定理に基づいて非構成的に示せる。なおノルム空間が（ノルム位相に関して）可分な場合には直接的にに証明可能である。
バナッハ＝アラオグルの定理は半径1の閉球に対するものだが、任意の半径の閉球もコンパクトになる事が容易に示せる。また＊弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する：なお、が回帰的（すなわちが成立する空間）であれば上の弱*位相と弱位相は同一になるので、下記の系が従う：に対しLp空間やℓp空間は回帰的なので、上記の定理が適用できる。しかし回帰的でない場合には上述の定理に反例があり、例えばに収束する複素数列全体にℓ∞ノルムを入れた空間の閉単位球は弱位相に関してコンパクトではない。
注意しなければならないのは、弱*位相における有界閉集合には内点が無く、有界閉集合上の点は必ず境界点になる事である。これはすなわち、たとえ閉単位球がコンパクトであっても弱*位相をいれたが局所コンパクトにはなっていない事を意味する。
一般化.
弱位相の概念は下記のように一般化できる：
上記の定義で、formula_34とすれば、、にはそれぞれ前の章で説明した意味での弱位相、＊弱位相が入るので、上記の定義が前に述べた弱位相や＊弱位相の定義の一般化になっている事がわかる。
弱作用素位相.
"X" と "Y" を位相ベクトル空間とするとき、連続線型作用素の空間 "L"("X","Y") に下記のように弱作用素位相を定義できる：
"X" 上の弱位相の場合と同様、上の弱作用素位相もセミノルムによって特徴づけられる：
連続線形写像の空間上には弱作用素位相以外にも強作用素位相、など複数の位相が入る。詳細は作用素位相を参照されたい。