GNS構成法

作用素代数において、GNS構成法（GNSこうせいほう、）、またはGelfand–Naimark–Segal構成法とはC*-代数に状態と呼ばれる線形汎関数が与えられたときに、巡回表現と呼ばれる特別な表現を構成する方法。GNSの語は考案者である3人の数学者Gelfand、Naimark、Segalの頭文字に由来する。場の量子論や量子統計力学では、ヒルベルト空間を離れ、物理量のなす代数のみから理論を構築してもGNS構成法により、全ての物理量の期待値が与えられたときに、逆にヒルベルト空間とその上の作用による物理量の表現を構成することができる。自由度が無限大である系では、当初に設定した空間を飛び出さねばならないことが多い。このときGNS構成法を用いれば、新しいヒルベルト空間を作ることができる。
概要.
作用素代数の一つであるC*-代数formula_1は、有界作用素の有する性質を抽象化し、対合と呼ばれる随伴作用formula_2に対応する作用を持つ代数である。C*-代数にはノルムが存在し、ノルムについて完備なバナッハ空間でもある。formula_3をformula_1からあるヒルベルト空間formula_5の有界作用素のなす代数formula_6への*-準同型写像とすると、formula_1の元formula_8に有界作用素formula_9を対応づけることができる。ヒルベルト空間formula_5と*-準同型写像の組formula_11を表現と呼ぶ。また、C*-代数formula_1の元formula_8に対して、複素値formula_14を与える規格化された線形汎関数formula_15を状態と呼ぶ。このとき、GNS構成法では、C*-代数formula_1上の状態formula_15に対し、巡回表現と呼ばれる特別な表現formula_18を構成することができる。ここで巡回表現とは、巡回ベクトルformula_19と呼ばれる元が存在し、状態による値をformula_20と内積の形で表せるともに、formula_21が成り立つような表現である。formula_22で与えられる組をGNS構成と呼ぶ。