作用素位相のソースを表示

[[数学]]の[[関数解析学]]の分野では、[[ヒルベルト空間]] ''H'' 上の[[有界線形作用素]]の環 ''B''(''H'') に対して与えられる標準的な'''作用素位相'''（さようそいそう、{{Lang-en-short|operator topology}}）がいくつか存在する。

== 導入 ==

{''T''<sub>''n''</sub>} をヒルベルト空間 ''H'' 上の線型作用素の列とする。''T''<sub>''n''</sub> が ''H'' 内である作用素 ''T'' に収束するということについて考える。これには次のようないくつかの異なる意味がある：
* <math>\|T_n - T\| \to 0</math>、すなわち、''T''<sub>''n''</sub> - ''T'' の[[作用素ノルム]]（''H'' 内の単位球内の ''x'' に関する <math>\Vert T_n x - T x \Vert_H</math> の上限）が 0 に収束するとき、'''一様作用素位相'''（uniform operator topology）で <math>T_n \to T</math> が成り立つという。
* ''H'' 内のすべての ''x'' に対して <math>T_n x \to Tx</math> となるとき、'''強作用素位相'''（strong operator topology）で <math>T_n \to T</math> が成り立つという。
* ''H'' 上のすべての[[線型汎函数]] ''F'' に対して <math>F(T_n x) \to F(T x)</math> となるとき、'''弱作用素位相'''（weak operator topology）で <math>T_n \to T</math> が成り立つという。

これらのすべての概念は、ヒルベルト空間 ''H'' の代わりに[[バナッハ空間]]を考えても意味を持ち、有用である。

== ''B''(''H'') 上の位相 ==

上述のものの他にも、''B''(''H'') 上で定義できる位相は多く存在する。これらの位相はすべて局所凸であり、[[半ノルム]]の族によって定義される。

解析学において、位相は、多くの開集合を持つなら強と呼ばれ、少ない開集合を持つなら弱と呼ばれる。したがって、それらに対応する収束の種類はそれぞれ、強と弱になる。

[[バナッハ空間]] ''B''(''H'') は、双対が ''B''(''H'') であるような[[トレースクラス|トレース級作用素]]からなる（唯一つの）{{仮リンク|前双対|en|predual}} ''B''(''H'')<sub>*</sub> を持つ。その前双対において正である ''w'' に対する半ノルム ''p''<sub>''w''</sub>(''x'') は (''w'', ''x<sup>*</sup>x'')<sup>1/2</sup> で定義される。

''B'' がベクトル空間 ''A'' 上の線型写像からなるベクトル空間であるとき、''B'' のすべての元が連続であるような ''A'' 上の最も弱い位相として、σ(''A'', ''B'') が定義される。

* '''ノルム位相'''（あるいは'''一様位相'''、'''一様作用素位相'''）は、''B''(''H'') 上の通常のノルム ||''x''|| によって定義される。これは以下に挙げる他のすべての位相よりも強い。 
* '''弱（バナッハ空間）位相'''とは、σ(''B''(''H''), ''B''(''H'')<sup>*</sup>) のことである。すなわち、双対 ''B''(''H'')<sup>*</sup> のすべての元が連続であるような最も弱い位相のことである。これはバナッハ空間 ''B''(''H'') 上の弱位相であり、超弱位相や弱作用素位相よりは強い（注意：弱バナッハ空間位相、弱作用素位相および超弱位相はしばしばすべて弱位相と呼ばれるが、それらは異なるものである）。
* '''[[マッキー位相]]'''あるいは'''アレンス＝マッキー位相'''は、双対が ''B''(''H'')<sub>*</sub> であるような ''B''(''H'') 上の最も強い局所凸位相である。それはまた、''B''(''H'')<sub>*</sub> 内の ''B''(''H'')-コンパクトな部分集合 σ(''B''(''H'')<sub>*</sub> 上の一様収束位相でもある。これは以下に述べるすべての位相よりも強い。
* '''σ-強<sup>*</sup>位相'''あるいは'''超強<sup>*</sup>位相'''は、[[随伴作用素]]が連続であるような超強位相よりも強い最弱位相である。''B''(''H'')<sub>*</sub> の正の元 ''w'' に対する半ノルム ''p''<sub>''w''</sub>(''x'') および ''p''<sub>''w''</sub>(''x''<sup>*</sup>) の族によって定義される。
*'''σ-強位相'''あるいは'''{{仮リンク|超強位相|en|ultrastrong topology}}'''、'''最強位相'''または'''最強作用素位相'''と呼ばれるものは、''B''(''H'')<sub>*</sub> の正の元 ''w'' に対する半ノルム ''p''<sub>''w''</sub>(''x'') の族によって定義される。こおれは強<sup>*</sup> 位相を除く以下の位相よりも強い。注意：「最強位相」という呼び名であるが、ノルム位相よりは弱い。
*'''σ-弱位相'''あるいは'''{{仮リンク|超弱位相|en|ultraweak topology}}'''、'''弱<sup>*</sup> 作用素位相'''、'''弱 * 位相'''、'''弱位相'''または '''σ(''B''(''H''), ''B''(''H'')<sub>*</sub>) 位相'''と呼ばれるものは、''B''(''H'')<sub>*</sub> の元 ''w'' に対する半ノルム |(''w'', ''x'')| の族で定義される。注意：弱バナッハ空間位相、弱作用素位相および超弱位相はしばしばすべて弱位相と呼ばれるが、それらは異なるものである。
*'''強<sup>*</sup> 作用素位相'''あるいは '''強<sup>*</sup> 位相'''と呼ばれるものは、''H'' 内の ''h''  に対する半ノルム ||''x''(''h'')|| および ||''x''<sup>*</sup>(''h'')|| によって定義される。これは強作用素位相および弱作用素位相よりも強い。
*'''[[強作用素位相]]'''（SOT）あるいは'''強位相'''と呼ばれるものは、''H'' 内の ''h'' に対する半ノルム ||''x''(''h'')|| によって定義される。これは弱作用素位相よりも強い。
*'''[[弱作用素位相]]'''（WOT）あるいは'''弱位相'''と呼ばれるものは、''H'' 内の ''h''<sub>1</sub> と ''h''<sub>2</sub> に対する半ノルム |(''x''(''h''<sub>1</sub>), ''h''<sub>2</sub>)| によって定義される。注意：弱バナッハ空間位相、弱作用素位相および超弱位相はしばしばすべて弱位相と呼ばれるが、それらは異なるものである。

== 関連項目 ==
* [[トポロジー]]
* [[ヒルベルト空間]]
* [[有界作用素]]

== 参考文献 ==
*''Functional analysis'', by Reed and Simon, ISBN 0-12-585050-6
*''Theory of Operator Algebras I'', by M. Takesaki (especially chapter II.2) ISBN 3-540-42248-X

{{Functional Analysis}}

{{DEFAULTSORT:さようそいそう}}
[[Category:関数解析学]]
[[Category:数学に関する記事]]