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