GNS表現

作用素代数や数理物理学において、GNS表現（GNSひょうげん、）、またはGelfand-Naimark-Segal表現とは、C*-代数に対し、状態と呼ばれる正値線形汎関数が与えられたときに、ヒルベルト空間上の有界作用素による表現を構成する手法。GNSの名は、1940年代にGNS表現を導入した三人の数学者ゲルファント（Gelfand）、（Naimark）、（Segal）の頭文字に由来する。GNS表現では、巡回ベクトルと呼ばれる特別な元に有界作用素による表現を作用させることで、表現空間であるヒルベルト空間自体を生成することができるともに、状態に対する作用素の値は、巡回ベクトルとの内積による期待値として与えられる。このことから、作用素代数に基づく場の量子論や量子統計力学の代数的なアプローチでは、物理量である作用素のなす代数から理論を構築しても、GNS表現を用いることで、通常のヒルベルト空間論に基づく理論との対応づけが可能となる。

内容 
C*-代数において、を状態（state）、すなわち、以下の性質を満たす、から複素数体への規格化された正値線形汎関数とする。

(1) 線形性 

(2) 正値性 

(3) 規格化条件 

このとき、のヒルベルト空間上の表現、すなわち、からの有界作用素のなす代数への*-準同型写像 で、次の条件を満たすものを構成することができる。この表現をGNS表現と呼ぶ。

1.　ある元が存在し、

を満たす。但し、は上の内積である。

2.　は巡回ベクトル（cyclic vector）をなす。すなわち、

はノルムによる強位相について、で稠密である。

なお、1.のように内積の形式で与えられる状態をベクトル状態といい、2.のように巡回ベクトルをもつ表現を巡回表現という。

GNS表現により、状態から導入される組をGNS構成と呼ぶ。GNS構成はユニタリ同値を除いて、一意的である。したがって、とがともにGNS構成であるとき、ユニタリ作用素 が存在し、

が成り立つ。

既約表現と純粋状態 
GNS構成において、巡回ベクトルから表現空間の元が生成されることは、ちょうど場の量子論でフォック空間の元が真空から生成されることに対応している。但し、フォック空間の場合には二つの状態ベクトルは生成消滅演算子の作用により互いに移りわたれるため、任意の元が巡回ベクトルとなる。こうした性質は、表現の既約性と関連する。表現が既約表現であるとは、不変部分空間がと表現空間のみであるときのことをいう。C*-代数の表現が既約表現であるとき、表現空間のゼロベクトルを除く任意の元が巡回ベクトルとなる。

一方、状態の観点からは、既約表現となるGNS表現を導く状態は、純粋状態（pure state）と呼ばれる特別な状態となる。状態 が純粋状態であるとは、が異なる二つの状態、による凸結合の形に書き表せないときのことをいう。

GNS構成で、特に以下の3つの条件は同値となる。

1. は既約表現である。

2. 状態は純粋状態である。

3. 状態は、上の全ての状態のなす集合で端点(extreme point) である。

表現の構成方法 
GNS表現を構成する基本的なアイデアは、状態から内積を導入し、この内積から定まるノルムについての完備化により、ヒルベルト空間を構成することである。と定めると状態の線形性と正値性からは、は非退化条件 を除いて、内積の性質を満たす。ここで、部分集合を考えるとは左イデアルであり、同値類による商空間を考えることができる。このとき、 は非退化条件を満たし、内積となる。この内積空間であるを完備化することでヒルベルト空間が得られ、特にはで稠密である。ここでとして、で定義すると代表元に依らず、well-definedな表現となる。議論を簡単にするため、が単位元を持つとすると、で定義される元は、を満たすともに、であり、巡回ベクトルとなる。

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

GNS表現を応用することで、C*-代数の基本構造定理である「任意のC*-代数はあるヒルベルト空間上の有界作用素のなす具体的なC*-代数と等距離*-同型である」というゲルファント＝ナイマルクの定理を導くことができる。を状態全体からなる集合としたときに、GNS表現の族から直和表現

を構成すると、これはを満たす忠実な表現であり、はと等距離*-同型となる。

脚注

注釈

出典

参考文献 
 Huzihiro Araki, Mathematical Theory of Quantum Fields, Oxford University Press (2009) ISBN 978-0199566402
 Ola Bratteli and Derek W. Robinson, Operator Algebras and Quantum Statistical Mechanics 1: C*- and W*-Algebras. Symmetry Groups. Decomposition of States, Springer (2002) ISBN 978-3540170938

関連項目 
 C*-代数
 表現 (数学)

作用素環論
表現論
場の量子論
量子統計理論
数学に関する記事