弱作用素位相

ウィキペディア

弱作用素位相

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/06 20:30 UTC 版)

数学の関数解析学の分野における弱作用素位相（じゃくさようそいそう、英: weak operator topology; WOT）とは、ヒルベルト空間 H 上の有界作用素全体の成す集合上の位相で、各作用素 T を複素数 ⟨Tx, y⟩ に写す汎函数が任意のベクトル x, y ∈ H に関して連続となるようなものの中で最弱のものである。

有界作用素のネット T_i ⊂ B(H) が WOT に関して T ∈ B(H) に収束するとは、H* 内の任意の y* および H 内の任意の x に対して、ネット y*(T_ix) が y*(Tx) へと収束するときにいう。

B(H) 上の他の位相との関係

WOT は、一般的なB(H) 上の位相の中では最も弱いものである。ここで B(H) はヒルベルト空間 H 上の有界作用素すべてからなる集合を表す。

強作用素位相

B(H) 上の強作用素位相（あるいは、SOT）は、各点収束の位相である。内積が連続関数であることから、SOT は WOT よりも強いことが分かる。次の例は、この包含関係が厳密なものであることを示すものである: H = ℓ ²(N) とし、片側シフト T の列 {Tⁿ} を考える。コーシー-シュワルツを応用することにより、WOT において Tⁿ → 0 となることが示される。しかし、明らかに Tⁿ は SOT においては 0 には収束しない。

強作用素位相において連続であるような、ヒルベルト空間上の有界作用素からなる集合上の線型汎函数は、WOT においても連続である。このことから、WOT における作用素の凸集合の閉包は、SOT におけるそのような集合の閉包と等しいことが分かる。

偏極恒等式により、SOT においてネット T_α → 0 が成立するための必要十分条件は、WOT において T_α*T_α → 0 が成立することであることが分かる。

弱スター作用素位相

B(H) の前双対は、トレース級作用素の集合 C₁(H) であり、それは弱スター作用素位相（英語版）あるいは σ-弱位相と呼ばれる、B(H) 上の w*-位相を生成する。そのような弱作用素位相と σ-弱位相は、B(H) 内のノルム有界集合上で一致する。

WOT において、ネット {T_α} ⊂ B(H) が T へと収束するための必要十分条件は、Tr(T_αF) がすべての有限ランク作用素 F に対して Tr(TF) へと収束することである。すべての有限ランク作用素はトレース級であるため、このことは WOT が σ-弱位相よりも弱いことを意味する。この主張がなぜ正しいのか理解するためには、すべての有限ランク作用素 F は有限和 F = ∑ λ_i u_iv_i* であることを思い出す必要がある。すなわち、WOT において {T_α} が T へと収束するということは、Tr(T_αF) = ∑ λ_i v_i*(T_αu_i) が ∑ λ_i v_i*(T u_i) = Tr(TF) へと収束することを意味する。

わずかに拡張することで、弱作用素位相と σ-弱位相は B(H) 内のノルム有界集合上で一致するということを示すことが出来る: すべてのトレース級作用素は S = ∑ λ_i u_iv_i* という形で表される。ここで正の数からなる級数 ∑λ_i は収束するものとする。sup_α ||T_α|| = k < ∞ および、WOT において T_α は T へと収束することを仮定する。すべてのトレース級 S に対して、Tr (T_αS) = ∑λ_i v_i*(T_αu_i) は∑ λ_i v_i*(T u_i) = Tr(TS) へと収束することが、例えば優収束定理が用いられることで、示される。

以上から、バナッハ-アラオグルの定理によって、すべてのノルム有界集合は WOT においてコンパクトであることが分かる。

他の性質

定義よりただちに、共役作用 T → T* は WOT において連続であることが分かる。

積（multiplication）は、WOT において共同で連続（jointly continuous）ではない: 再び、T を片側シフトとする。コーシー-シュワルツより、Tⁿ および T*ⁿ のいずれも WOT において 0 に収束することが分かる。しかし、T*ⁿTⁿ はすべての n に対して恒等作用素である（有界集合上では WOT は σ-弱位相と一致するため、σ-弱位相においても積は共同で連続ではない）。

しかしながら、一つの弱い主張は成立する: 積は WOT においてそれぞれに連続（separately continuous）である。もし WOT においてネット T_i → T が成立するなら、ST_i → ST および T_iS → TS が WOT において成立する。

関連項目

• 弱位相
• 弱スター位相（英語版）
• ヒルベルト空間上の作用素の集合についての位相

参考文献

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2023年10月）

• Changsun Choi, Ju Myung Kim, Locally convex vector topologies on B(X,Y), J. Korean Math. Soc. 45 (2008), no. 6, 1677-1703.
• Gert K. Pedersen, Analysis Now. Springer Verlag, 1989.

ウィキペディア小見出し辞書

弱作用素位相

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/05 03:33 UTC 版)

「弱位相」の記事における「弱作用素位相」の解説

X と Y を位相ベクトル空間とするとき、連続線型作用素の空間 L(X,Y) に下記のように弱作用素位相を定義できる： 定義 ― Kを R 、 C 、もしくはより一般に位相体とし、X、YをK上の位相ベクトル空間とし、L(X,Y)をXからY連続線形写像全体の集合とする。 このとき、任意のx ∈ Xと任意のα ∈ Y*に対し、 T ∈ L ( X , Y ) ↦ α ( T ( x ) ) ∈ K が連続になる最弱の位相をL(X,Y)の弱作用素位相という。 X 上の弱位相の場合と同様、L(X,Y)上の弱作用素位相もセミノルムによって特徴づけられる： 命題 ― K、X、Y、L(X,Y)を上の定義と同様に取る。 このとき、x ∈ X、α ∈ Y*に対しL(X,Y)上のセミノルムを ‖ T ‖ x , α = | α ( T ( x ) ) | により定義すると、L(X,Y)上の弱作用素位相はセミノルムの族 ( ‖ ⋅ ‖ x , α ) x ∈ X , α ∈ Y ∗ が定める位相と一致する。 連続線形写像の空間L(X,Y)上には弱作用素位相以外にも強作用素位相、＊弱作用素位相（英語版）など複数の位相が入る。詳細は作用素位相を参照されたい。