ゲルファント＝ナイマルクの定理

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