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

作用素環論において、ゲルファント＝ナイマルクの定理(—のていり、英: Gelfand–Naimark theorem)とはC*環の基本構造定理。単位的可換C*環があるコンパクト・ハウスドルフ空間上の連続な複素数値関数のなすととなることを主張する。1943年にロシアの数学者イズライル・ゲルファントとによって、導かれた。C*環の構造を分類する基本定理であるともに、位相群上のや正規作用素のスペクトル理論に応用される。圏論的な観点では、局所コンパクト・ハウスドルフ空間のなす圏と可換なC*環のなす圏の反変同値を意味しており、アレクサンドル・グロタンディークによるスキーム理論の形成にも影響を与えた。なお、可換とは限らない一般のC*環については、あるヒルベルト空間上の有界作用素がなすC*環と等距離∗同型となるが、この定理もゲルファント＝ナイマルクの定理と呼ばれる。可換及び非可換なC*環における構造を示した二つのゲルファント＝ナイマルクの定理は、アラン・コンヌによる非可換幾何の創設の動機付けの一つともなっている。