作用素環論において、ゲルファント=ナイマルクの定理(-のていり、英: Gelfand–Naimark theorem)とはC*-環の基本構造定理。可換なC*-環がある(局所)コンパクト・ハウスドルフ空間上の連続な複素数値関数のなす関数環と等距離*-同型となることを主張する。1943年にロシアの数学者イズライル・ゲルファントとマルク・ナイマルク(英語版)によって、 導かれた[1][2]。C*-環の構造を分類する基本定理であるともに、位相群上の抽象調和解析や正規作用素のスペクトル理論に応用される。圏論的な観点では、局所コンパクトハウスドルフ空間のなす圏と可換なC*-環のなす圏の圏同値を意味しており[3]、アレクサンドル・グロタンディークによるスキーム理論の形成にも影響を与えた。なお、可換とは限らない一般のC*-環については、あるヒルベルト空間上の有界作用素がなすC*-環と等距離*-同型となるが、この定理もゲルファント=ナイマルクの定理と呼ばれる。可換及び非可換なC*-環における構造を示した二つのゲルファント=ナイマルクの定理は、アラン・コンヌによる非可換幾何の創設の動機付けの一つともなっている。
C*-環
は有界作用素の有する性質を抽象化した複素数体上の多元環であり、積
、和
、複素数倍
の演算(
,
)に加えて、対合と呼ばれる随伴作用に対応する作用
を持つ。また、
にはノルム
が付随し、ノルムから定まる一様位相について完備なバナッハ空間である。
において、ノルムは不等式
を満たすとともに、C*-性と呼ばれる条件
を満たす。
可換なC*-環の例としては、コンパクト・ハウスドルフ空間
上の連続な複素数値関数のなす集合
が挙げられる。
に積を
で、対合を
で定義し、ノルムをスープ・ノルム
とする。このとき、
は単位元として定数関数
を持つ可換な単位的なC*-環となる。
また、非可換なC*-環の例としては、ヒルベルト空間
上の有界作用素のなす代数
が挙げられる。ここで、ノルムは作用素ノルム
で与えられ、対合は内積
に対し、
を満たす随伴作用素
により定義される。
二つのゲルファント=ナイマルクの定理は、抽象的に定義されたC*-環の構造がこれらの例に分類できることを述べている。
可換なC*-環のゲルファント=ナイマルクの定理[編集]
を乗法における単位元を持つ可換なC*-環とする。このとき、
はあるコンパクト・ハウスドルフ空間
上の複素数値連続関数のなす関数環
と等距離*-同型である。
が単位元を持たない場合には、
はある局所コンパクト・ハウスドルフ空間
上の無限遠で消える複素数値連続関数のなす関数環
上と等距離*-同型となる。
定理の証明の本質的部分は、可換な単位的C*-環上の指標全体がなす空間
がコンパクト・ハウスドルフ空間であり、
から
へのゲルファント変換
と呼ばれる写像が等距離*-同型を与えることによる。ここで指標
とは、
から複素数体
への恒等的にゼロではない線形汎関数で、準同型性
を満たすものである。
もう一つのゲルファント=ナイマルクの定理[編集]
可換とは限らない任意のC*-代数
はあるヒルベルト空間
上の有界作用素のなす具体的なC*-代数
と等距離*-同型となる。この定理もゲルファント=ナイマルクの定理と呼ばれ、可換なC*-代数の場合と同じ1943年の論文の中でゲルファントとナイマルクによって示された。
この結果は、GNS表現と呼ばれる
の特別な表現、すなわち、
からヒルベルト空間の
への*-準同型
の存在に基づき、導かれる。GNS表現では、状態と呼ばれる
から複素数体
への規格化された正値線形汎関数
により、あるヒルベルト空間
への表現
を導入することができる。
を状態全体からなる集合としたときに、GNS表現の族
から直和表現による普遍表現

を構成すると、これは
を満たす忠実な表現であり、
は
と等距離*-同型となる。
関連項目[編集]