フォン・ノイマン環のソースを表示
←
フォン・ノイマン環
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
'''フォン・ノイマン環'''（ふぉんのいまんかん、<em lang="en">von Neumann algebra</em>）とは、[[ヒルベルト空間]]上の[[連続|有界]][[線型写像|線型作用素]]たちのなす [[C*-環]]のうちで[[関数_(数学)|恒等作用素]]を含み作用素の弱収束位相について閉じているもののことである。一般の C*-環と並ぶ[[作用素環論]]の主要な研究対象であり、理論の創始者の一人[[ジョン・フォン・ノイマン]]にちなんでこの名前がついている。可換なフォン・ノイマン環の重要な例として、[[測度論|σ-有限]]な[[測度論|測度空間]] ''X'' 上の ''L''<sup>∞</sup> 級関数全体のなす環があげられる。 ==定義== ''H'' をヒルベルト空間、''B''(''H'') を ''H'' 上の有界線型作用素全体のなす C*-環とする。''B''(''H'') の部分 C*-環 ''M'' は次の二つの条件を満たすとき（''H'' 上の）フォン・ノイマン環とよばれる。 # ''M'' は ''H'' 上の恒等作用素を含む。 # ''M'' は作用素の弱収束位相（''H'' 上の[[弱位相]]が導く[[各点収束]]の位相）について閉じている。つまり、''B''(''H'') を ''H'' 上の連続な[[半双線型形式]]の空間と同一視（(''x'', ''y'') を ''H'' における[[内積]]とするとき、作用素 ''T'' に対し半双線型形式 (''x'', ''y'') → (''Tx'', ''y'') を対応させる）したときの各点収束位相について閉じている。 ''M''が上記の第二の条件のみを満たすときは、''H''のある閉部分空間''K''について''K''の上への射影子が''M''の乗法単位元になっていて、''M''を''K''上のフォン・ノイマン環と見なすことができる。 C*-環 ''A'' で、あるフォン・ノイマン環と[[同型]]であるようなものは W*-環 <span lang=en>(W*-algebra)</span> とよばれる。 ===フォン・ノイマン環の特徴づけ=== フォン ノイマンの再交換団定理 <span lang=en>(bicommutant theorem)</span> によって、ヒルベルト空間 ''H'' 上のフォン・ノイマン環について次の二種類の特徴づけができる。 # 作用素の強収束位相（''H'' 上の[[ノルム]]位相から導かれる各点収束位相）について閉じていて、恒等作用素を含むような ''B''(''H'') の部分 *-環 # ''B''(''H'') の任意の部分集合 ''X'' に対してその[[交換団]]（commutant） {''y'' ∈ ''B''(''H'') | ∀''x'' ∈ ''X'' : ''xy'' = ''yx''} を ''X''′ と書くことにするとき、''M'' = ''M''′′ かつ[[C*-環|対合]]について閉じているもの W*-環は、C*-環のうち[[バナッハ空間]]の双対になっているようなものとして特徴づけられる。このバナッハ空間は各W*-環に対して一意に決まる(後述のpredual)。 ===σ-弱収束位相=== ''M''をヒルベルト空間''H''上のフォン・ノイマン環とする。作用素の弱収束位相について連続な線型形式とは ''T'' → (''T'' ''x'', ''y'') （''x'', ''y'' ∈ ''H''）の形の線型形式たちの（有限項の）一次結合である。これらの線型形式たちが ''M''の双対''M''<sup>*</sup>の中で張る閉部分空間 ''M''<sub>*</sub>は ''M''の前双対（predual）とよばれる。標準的なペアリングによって ''M'' は ''M''<sub>*</sub> の双対空間と同一視される。この、''M''<sub>*</sub>とのペアリングによる ''M'' 上の弱収束位相はσ-弱収束位相（σ-weak topology）とよばれる。 ''M'' と ''N'' がフォン・ノイマン環のとき、''M'' から ''N'' への[[C*-環| *-準同型]] ''f'' で作用素のσ-弱収束位相について連続であるようなものは正規（normal）な *-準同型ともいわれる。正規な*-準同型の像は作用素の弱収束位相でとじている。フォン・ノイマン環の間の *-準同型には正規でないものも存在する。とくに ''H'' が無限次元ヒルベルト空間のとき、''B''(''H'') の部分 C*-環 ''A'' が W*-環であったとしても、それが ''H'' 上のフォン・ノイマン環であるとは限らない。 ==非可換な測度空間== 可分なヒルベルト空間上の可換フォン・ノイマン環とは ''L''<sup>∞</sup> 関数環だと見なせるが、一方で''L''<sup>∞</sup> 関数環からは（零測度集合を無視するかぎり）元の空間の可測集合が「復元」できる。さらにσ-弱連続な線型形式たちは''L''<sup>1</sup>関数（あるいはもとの測度に対して絶対連続な複素測度）を表していると考えられる。したがって一般のフォン・ノイマン環は測度空間のある種の変形を表していると考えることができる。実際、エゴロフの定理、ルジンの定理など測度論の諸定理が可換とは限らないフォン・ノイマン環について有効な言明に置き換え証明できる。また、[[葉層]]など「歪んだ」空間上の測度論も非可換なフォン・ノイマン環によって表現できる。 ==構造の分類== フォン・ノイマン環（あるいは W*-環） ''M'' の[[射影子]]たちの間に順序関係 ''e'' ≤ ''f'' ≡ ''ef'' = ''e'' を考えるとき、''M'' の射影子全体の集合は[[完備束]]をなす。この射影子束の構造をもちいて I, II, III 型のフォン・ノイマン環が定義される（より細かい II<sub>1</sub>, II<sub>∞</sub> 型などの分類もある）。任意のフォン・ノイマン環 ''M'' についてフォン・ノイマン環 ''M''<sub>I</sub>, ''M''<sub>II</sub>, ''M''<sub>III</sub> でそれぞれ I, II, III 型であるものが同型をのぞき一意に定まり、''M'' は ''M''<sub>I</sub> - ''M''<sub>III</sub>の直和と同型になる。 ===因子=== フォン・ノイマン環 ''M'' で、その[[環論|中心]] ''M'' ∩ ''M''′ が単位元（恒等作用素）の張る '''C''' 上一次元の部分空間になっているものは因子（factor）とよばれる。因子とは W*-環の[[直和]]への分解が自明なものに限るようなフォン・ノイマン環のことである。[[可分]]なヒルベルト空間<math>H</math>上の任意のフォン・ノイマン環は因子の[[直積分]]（direct integral）に分解できる。 ==フォン・ノイマン環の構成== ; ''B''(''H'') : ''H'' をヒルベルト空間とするとき ''B''(''H'') は I 型のフォン・ノイマン環で、因子でもある。逆に任意の I 型因子はある ''B''(''H'') に同型になる。 ; ''L''<sup>∞</sup> : μ をパラコンパクト空間 ''X'' 上の[[ラドン測度]]とする。''L''<sup>∞</sup>(''X'', μ) の任意の元 φ は、ヒルベルト空間 ''L''<sup>2</sup>(''X'', μ) 上の有界線型作用素 ''M''<sub>φ</sub>: ''f'' → φ.''f'' と同一視できる。このとき ''L''<sup>∞</sup>(''X'', μ) は ''L''<sup>2</sup>(''X'', μ) 上の可換なフォン・ノイマン環になる。逆に、可分なヒルベルト空間上の可換フォン・ノイマン環はこのタイプのものと同型になる。 ; 群フォン・ノイマン環 : ''G'' を[[局所コンパクト群]]、μ を ''G'' の右[[ハール測度]]とする。''G'' の任意の元 ''g'' はヒルベルト空間 ''L''<sup>2</sup>(''G'', μ) 上のユニタリ作用素 ''u''<sub>''g''</sub>: ''f'' → ''f''(–.''g'') と同一視できる。{''u''<sub>''g''</sub> | ''g'' ∈ ''G''} を含むような ''L''<sup>2</sup>(''G'', μ) 上のフォン・ノイマン環のうちで最小のものは ''G'' の群フォン・ノイマン環とよばれる。''G'' が有限[[群 (数学)|群]]（離散位相によってコンパクト群とみなす）のとき、''G'' の群フォン・ノイマン環は ''G'' の（'''C''' 上の）[[群環]] '''C'''[''G''] と同型になる。 ; 葉層のフォン・ノイマン環 : ''V''を可微分多様体、(''V'', ''F'') を''V''上の[[葉層構造]]でほとんど全ての葉が自明な[[ホロノミー]]を持つものとする。このとき、それぞれの葉 ''l'' の上で、自乗可積分な半密度（half density）は「反変的なエルミートバンドル」を定める。その切断たちは「局所座標系によらない」ヒルベルト空間 ''L''<sup>2</sup>(''l'') をなす。各葉 ''l'' に対し ''L''<sup>2</sup>(''l'') 上の有界線型作用素 ''q''<sub>''l''</sub> を対応させる写像 ''q'' のうちで一定の「有界性」および「可測性」を満たすもののなす代数をフォン・ノイマン環と見なすことができる。こうして構成される葉層のフォン・ノイマン環 '''W'''(''V'', ''F'') について、その中心は葉の空間 ''X'' の、通常の位相空間の商空間としての測度構造を表現している。 ; 二つのフォン・ノイマン環のテンソル積 : ''M'' と ''N'' がそれぞれヒルベルト空間 ''H'' および ''K'' 上のフォン・ノイマン環のだとする。ヒルベルト空間のテンソル積 ''H'' <span style="text-decoration:overline">⊗</span> ''K'' 上の有界線型作用素 ''S'' ⊗ ''T'' （''S'' ∈ ''M''、''T'' ∈ ''N''）たちによって生成されるフォン・ノイマン環 ''M'' <span style="text-decoration:overline">⊗</span> ''N'' は''M''と''N''の（フォン・ノイマン環）としてのテンソル積とよばれる。 ; 群作用から導かれる接合積 : ''A'' がヒルベルト空間 ''H''上の可換フォン・ノイマン環、局所コンパクト群''G''が''A''上に左から作用しているとする。''A''の表現πと''G''の[[ユニタリ表現]] ''u''で、''u''(''g'')π(''a'')''u''(''g'')<sup>*</sup> = π(''g''.''a'') を満たす普遍的なフォン・ノイマン環が次のように構成され、''A''と''G''の（この''G''の作用に関する）接合積（crossed product）とよばれる：''G''のユニタリ表現μ を''G'' の右ハール測度とするとき、ヒルベルト空間のテンソル積 ''H'' <span style="text-decoration:overline">⊗</span> ''L''<sup>2</sup>(''G'', μ) は ''G''上の''H''値自乗可積分関数の空間 ''L''<sup>2</sup>(''G'', μ ; ''H'') と見なせる。群フォンノイマン環と同様にしてこの上に''G''のユニタリ表現''u''が得られる。''A''の表現πを(π(''a'').'''f''')(''g'') = (''g''<sup>-1</sup>.''a'').'''f'''(''g'')によって与え、π(''A'')と''u''(''G'')によって生成されるフォン・ノイマン環を''A''と''G''の接合積とする。 ==他の分野への応用== [[表現論]]、[[結び目理論]]、[[トポロジー]]、[[統計力学]]、[[確率論]]、[[共形場理論]]、[[場の量子論]] == 脚注 == <references/> {{DEFAULTSORT:ふおんのいまんかん}} {{Normdaten}} [[Category:関数解析学]] [[Category:作用素環論]] [[Category:環論]] [[Category:ジョン・フォン・ノイマン]] [[Category:数学に関する記事]] [[Category:数学のエポニム]]
このページで使用されているテンプレート:
テンプレート:Normdaten
(
ソースを閲覧
)
フォン・ノイマン環
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報