C*-環

C*-環は、随伴作用素に関して閉じ、両立性条件を満たすノルムに関して完備な作用素環であり、ヒルベルト空間上の有界作用素の代数構造を抽象化したものです。

Definition

C*-環とは、複素バナッハ環にインボリューションが備わり、元とその随伴作用素の積のノルムがその元のノルムの二乗に等しいという条件を満たすものです。この単一の条件により、抽象的な環がヒルベルト空間上の作用素のように振る舞うことが保証されます。

Scope

このトピックでは、バナッハ環およびC*-環の公理とC*-条件、可換C*-環のスペクトルとゲルファント理論をコンパクト空間上の連続関数として、連続関数解析、正値性と状態、ゲルファント＝ナイマーク＝シーガル構成、ゲルファント＝ナイマーク表現定理、そして弱閉作用素環としてのフォン・ノイマン環について扱います。

Core questions

• 作用素環の構造を捉える代数的および解析的公理とは何か？
• ゲルファント理論は、可換C*-環を空間上の連続関数とどのように同一視するのか？
• すべての抽象的なC*-環は、ヒルベルト空間上の作用素として具体的にどのように実現されるのか？
• 状態とGNS構成は、環と表現をどのように結びつけるのか？

Key theories

可換環に対するゲルファント＝ナイマークの定理

単位元を持つすべての可換C*-環は、そのスペクトル（コンパクト空間）上の連続関数の環に等長同型であり、これにより可換作用素環は通常の関数論へと変換されます。

ゲルファント＝ナイマーク＝シーガル構成と表現定理

C*-環上のすべての状態はヒルベルト空間上の表現を生み出し、これらを合わせると、任意のC*-環がノルム閉作用素環に等長同型であることが示され、抽象理論の基礎が築かれます。

Clinical relevance

C*-環は、量子論および量子統計力学の代数的枠組みを提供します。そこでは、観測量が環を形成し、状態が正の汎関数となります。フォン・ノイマン環は量子対称性を分類し、この主題は非可換幾何学および物理学への作用素環論的アプローチの解析的基礎をなしています。

History

マレーとフォン・ノイマンは、1936年からの連続した論文で、現在フォン・ノイマン環として知られる作用素環の理論を創始しました。ゲルファントとナイマークは1943年にC*-環を公理化し、その表現定理を証明することで、この抽象的な主題を確立しました。

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

C*-条件は何を表現しているのか？

元のノルムと随伴作用素の積が元のノルムの二乗に等しいという条件は、代数的なインボリューションとノルムを非常に密接に結びつけ、抽象的な環がヒルベルト空間上の作用素と全く同じように振る舞うことを強制します。

可換C*-環が単なる関数環であるのはなぜか？

ゲルファント理論は、可換C*-環がそのスペクトル上の連続関数の環であることを示しており、これにより可換作用素環は古典的な位相空間論と関数論に還元されます。一方、非可換性は真に量子的な特徴とされています。