フォン・ノイマン環

フォン・ノイマン環（ふぉんのいまんかん、von Neumann algebra）とは、ヒルベルト空間上の有界線型作用素たちのなす C*-環のうちで恒等作用素を含み作用素の弱収束位相について閉じているもののことである。一般の C*-環と並ぶ作用素環論の主要な研究対象であり、理論の創始者の一人ジョン・フォン・ノイマンにちなんでこの名前がついている。可換なフォン・ノイマン環の重要な例として、σ-有限な測度空間 "X" 上の "L"∞ 級関数全体のなす環があげられる。
定義.
"H" をヒルベルト空間、"B"("H") を "H" 上の有界線型作用素全体のなす C*-環とする。"B"("H") の部分 C*-環 "M" は次の二つの条件を満たすとき（"H" 上の）フォン・ノイマン環とよばれる。
"M"が上記の第二の条件のみを満たすときは、"H"のある閉部分空間"K"について"K"の上への射影子が"M"の乗法単位元になっていて、"M"を"K"上のフォン・ノイマン環と見なすことができる。
C*-環 "A" で、あるフォン・ノイマン環と同型であるようなものは W*-環 (W*-algebra) とよばれる。
フォン・ノイマン環の特徴づけ.
フォン ノイマンの再交換団定理 (bicommutant theorem) によって、ヒルベルト空間 "H" 上のフォン・ノイマン環について次の二種類の特徴づけができる。
W*-環は、C*-環のうちバナッハ空間の双対になっているようなものとして特徴づけられる。このバナッハ空間は各W*-環に対して一意に決まる(後述のpredual)。
σ-弱収束位相.
"M"をヒルベルト空間"H"上のフォン・ノイマン環とする。作用素の弱収束位相について連続な線型形式とは "T" → ("T" "x", "y") （"x", "y" ∈ "H"）の形の線型形式たちの（有限項の）一次結合である。これらの線型形式たちが "M"の双対"M"*の中で張る閉部分空間 "M"*は "M"の前双対（predual）とよばれる。標準的なペアリングによって "M" は "M"* の双対空間と同一視される。この、"M"*とのペアリングによる "M" 上の弱収束位相はσ-弱収束位相（σ-weak topology）とよばれる。
"M" と "N" がフォン・ノイマン環のとき、"M" から "N" への*-準同型 "f" で作用素のσ-弱収束位相について連続であるようなものは正規（normal）な *-準同型ともいわれる。正規な*-準同型の像は作用素の弱収束位相でとじている。フォン・ノイマン環の間の *-準同型には正規でないものも存在する。とくに "H" が無限次元ヒルベルト空間のとき、"B"("H") の部分 C*-環 "A" が W*-環であったとしても、それが "H" 上のフォン・ノイマン環であるとは限らない。
非可換な測度空間.
可分なヒルベルト空間上の可換フォン・ノイマン環とは "L"∞ 関数環だと見なせるが、一方で"L"∞ 関数環からは（零測度集合を無視するかぎり）元の空間の可測集合が「復元」できる。さらにσ-弱連続な線型形式たちは"L"1関数（あるいはもとの測度に対して絶対連続な複素測度）を表していると考えられる。したがって一般のフォン・ノイマン環は測度空間のある種の変形を表していると考えることができる。実際、エゴロフの定理、ルジンの定理など測度論の諸定理が可換とは限らないフォン・ノイマン環について有効な言明に置き換え証明できる。また、葉層など「歪んだ」空間上の測度論も非可換なフォン・ノイマン環によって表現できる。
構造の分類.
フォン・ノイマン環（あるいは W*-環） "M" の射影子たちの間に順序関係 "e" ≤ "f" ≡ "ef" = "e" を考えるとき、"M" の射影子全体の集合は完備束をなす。この射影子束の構造をもちいて I, II, III 型のフォン・ノイマン環が定義される（より細かい II1, II∞ 型などの分類もある）。任意のフォン・ノイマン環 "M" についてフォン・ノイマン環 "M"I, "M"II, "M"III でそれぞれ I, II, III 型であるものが同型をのぞき一意に定まり、"M" は "M"I - "M"IIIの直和と同型になる。
因子.
フォン・ノイマン環 "M" で、その中心 "M" ∩ "M"′ が単位元（恒等作用素）の張る C 上一次元の部分空間になっているものは因子（factor）とよばれる。因子とは W*-環の直和への分解が自明なものに限るようなフォン・ノイマン環のことである。可分なヒルベルト空間formula_1上の任意のフォン・ノイマン環は因子の直積分（direct integral）に分解できる。
他の分野への応用.
表現論、結び目理論、トポロジー、統計力学、確率論、共形場理論、場の量子論