作用素代数 や数理物理学 において、GNS表現 (GNSひょうげん、英 : GNS representation )、またはGelfand-Naimark-Segal表現 とは、C*-代数 に対し、状態 と呼ばれる正値線形汎関数 が与えられたときに、ヒルベルト空間 上の有界作用素 による表現 を構成する手法[ 1] [ 2] 。GNSの名は、1940年代にGNS表現を導入した三人の数学者ゲルファント (Gelfand)、ナイマルク (英語版 ) (Naimark)、シーガル (英語版 ) (Segal)[ 3] [ 4] の頭文字に由来する。GNS表現では、巡回ベクトル と呼ばれる特別な元に有界作用素による表現を作用させることで、表現空間であるヒルベルト空間自体を生成することができるともに、状態に対する作用素の値は、巡回ベクトルとの内積による期待値として与えられる。このことから、作用素代数に基づく場の量子論 や量子統計力学 の代数的なアプローチでは、物理量である作用素のなす代数から理論を構築しても、GNS表現を用いることで、通常のヒルベルト空間論に基づく理論との対応づけが可能となる。
C*-代数
A
{\displaystyle {\mathfrak {A}}}
において、
φ
:
A
→
C
{\displaystyle \varphi :{\mathfrak {A}}\rightarrow \mathbb {C} }
を状態 (state)[ 注釈 1] 、すなわち、以下の性質を満たす、
A
{\displaystyle {\mathfrak {A}}}
から複素数体
C
{\displaystyle \mathbb {C} }
への規格化された正値線形汎関数とする。
(1) 線形性
φ
(
λ
A
+
μ
B
)
=
λ
φ
(
A
)
+
μ
φ
(
B
)
∀
A
,
B
∈
A
,
∀
λ
,
μ
∈
C
{\displaystyle \varphi (\lambda A+\mu B)=\lambda \varphi (A)+\mu \varphi (B)\quad {}^{\forall }A,B\in {\mathfrak {A}},\,{}^{\forall }\lambda ,\mu \in \mathbb {C} }
(2) 正値性
φ
(
A
∗
A
)
≥
0
∀
A
∈
A
{\displaystyle \varphi (A^{\ast }A)\geq 0\quad {}^{\forall }A\in {\mathfrak {A}}}
(3) 規格化条件[ 注釈 2]
|
|
φ
|
|
=
sup
{
|
φ
(
A
)
|
|
|
|
A
|
|
=
1
,
A
∈
A
}
=
1
{\displaystyle ||\varphi ||=\sup\{|\varphi (A)|\,|\,||A||=1,\,A\in {\mathfrak {A}}\}=1}
このとき、
A
{\displaystyle {\mathfrak {A}}}
のヒルベルト空間
H
φ
{\displaystyle {\mathcal {H}}_{\varphi }}
上の表現 、すなわち、
A
{\displaystyle {\mathfrak {A}}}
から
H
φ
{\displaystyle {\mathcal {H}}_{\varphi }}
の有界作用素のなす代数
B
(
H
φ
)
{\displaystyle {\mathcal {B}}({\mathcal {H}}_{\varphi })}
への*-準同型写像 [ 注釈 3]
π
φ
:
A
→
B
(
H
φ
)
{\displaystyle \pi _{\varphi }:{\mathfrak {A}}\rightarrow {\mathcal {B}}({\mathcal {H}}_{\varphi })}
で、次の条件を満たすものを構成することができる。この表現をGNS表現 と呼ぶ。
1. ある元
Ω
φ
∈
H
φ
{\displaystyle \Omega _{\varphi }\in {\mathcal {H}}_{\varphi }}
が存在し、
φ
(
A
)
=
⟨
Ω
φ
,
π
φ
(
A
)
Ω
φ
⟩
∀
A
∈
A
{\displaystyle \varphi (A)=\langle \Omega _{\varphi },\pi _{\varphi }(A)\Omega _{\varphi }\rangle \quad {}^{\forall }A\in {\mathfrak {A}}}
を満たす。但し、
⟨
,
⟩
{\displaystyle \langle \,,\,\rangle }
は
H
φ
{\displaystyle {\mathcal {H}}_{\varphi }}
上の内積 である。
2.
Ω
φ
{\displaystyle \Omega _{\varphi }}
は巡回ベクトル (cyclic vector)をなす。すなわち、
π
φ
(
A
)
Ω
φ
=
{
π
φ
(
A
)
Ω
φ
|
A
∈
A
}
{\displaystyle \pi _{\varphi }({\mathfrak {A}})\Omega _{\varphi }=\{\pi _{\varphi }(A)\Omega _{\varphi }|\,A\in {\mathfrak {A}}\}}
はノルムによる強位相 について、
H
φ
{\displaystyle {\mathcal {H}}_{\varphi }}
で稠密 である。
なお、1.のように内積の形式で与えられる状態をベクトル状態 といい、2.のように巡回ベクトルをもつ表現を巡回表現 という。
GNS表現により、状態
φ
{\displaystyle \varphi }
から導入される組
(
H
φ
,
π
φ
,
Ω
φ
)
{\displaystyle ({\mathcal {H}}_{\varphi },\pi _{\varphi },\Omega _{\varphi })}
をGNS構成 と呼ぶ。GNS構成はユニタリ同値 を除いて 、一意的である。したがって、
(
H
φ
,
π
φ
,
Ω
φ
)
{\displaystyle ({\mathcal {H}}_{\varphi },\pi _{\varphi },\Omega _{\varphi })}
と
(
H
φ
′
,
π
φ
′
,
Ω
φ
′
)
{\displaystyle ({\mathcal {H}}'_{\varphi },\pi '_{\varphi },\Omega '_{\varphi })}
がともにGNS構成であるとき、ユニタリ作用素
U
:
H
φ
→
H
φ
′
{\displaystyle U:{\mathcal {H}}_{\varphi }\rightarrow {\mathcal {H}}'_{\varphi }}
が存在し、
π
φ
(
A
)
U
=
U
π
φ
′
(
A
)
∀
A
∈
A
{\displaystyle \pi _{\varphi }(A)U=U\pi '_{\varphi }(A)\quad {}^{\forall }A\in {\mathfrak {A}}}
が成り立つ。
GNS構成
(
H
φ
,
π
φ
,
Ω
φ
)
{\displaystyle ({\mathcal {H}}_{\varphi },\pi _{\varphi },\Omega _{\varphi })}
において、巡回ベクトル
Ω
φ
{\displaystyle \Omega _{\varphi }}
から表現空間の元
π
φ
(
A
)
Ω
φ
{\displaystyle \pi _{\varphi }(A)\Omega _{\varphi }}
が生成されることは、ちょうど場の量子論 でフォック空間 の元が真空 から生成されることに対応している。但し、フォック空間の場合には二つの状態ベクトル は生成消滅演算子 の作用により互いに移りわたれるため、任意の元が巡回ベクトルとなる。こうした性質は、表現の既約性と関連する。表現が既約表現 であるとは、不変部分空間 が
{
0
}
{\displaystyle \{0\}}
と表現空間
H
{\displaystyle {\mathcal {H}}}
のみであるときのことをいう。C*-代数の表現が既約表現であるとき、表現空間のゼロベクトルを除く任意の元が巡回ベクトルとなる。
一方、状態の観点からは、既約表現となるGNS表現を導く状態は、純粋状態 (pure state)[ 注釈 4] と呼ばれる特別な状態となる。状態
φ
{\displaystyle \varphi }
が純粋状態であるとは、
φ
{\displaystyle \varphi }
が異なる二つの状態
φ
1
{\displaystyle \varphi _{1}}
、
φ
2
{\displaystyle \varphi _{2}}
による凸結合
φ
=
λ
φ
1
+
(
1
−
λ
)
φ
2
(
0
<
λ
<
1
)
{\displaystyle \varphi =\lambda \varphi _{1}+(1-\lambda )\varphi _{2}\,(0<\lambda <1)}
の形に書き表せないときのことをいう。
GNS構成
(
H
φ
,
π
φ
,
Ω
φ
)
{\displaystyle ({\mathcal {H}}_{\varphi },\pi _{\varphi },\Omega _{\varphi })}
で、特に以下の3つの条件は同値となる。
1.
(
H
φ
,
π
φ
)
{\displaystyle ({\mathcal {H}}_{\varphi },\pi _{\varphi })}
は既約表現である。
2. 状態
φ
{\displaystyle \varphi }
は純粋状態である。
3. 状態
φ
{\displaystyle \varphi }
は、
A
{\displaystyle {\mathfrak {A}}}
上の全ての状態のなす集合
E
A
{\displaystyle E_{\mathfrak {A}}}
で端点 (extreme point) である。
GNS表現を構成する基本的なアイデアは、状態
φ
{\displaystyle \varphi }
から内積を導入し、この内積から定まるノルム についての完備化 により、ヒルベルト空間を構成することである。
φ
(
A
∗
B
)
=
⟨
A
,
B
⟩
{\displaystyle \varphi (A^{\ast }B)=\langle A,B\rangle }
と定めると状態の線形性と正値性からは、
⟨
,
⟩
{\displaystyle \langle ,\rangle }
は非退化条件
⟨
A
,
A
⟩
=
0
⇔
A
=
0
{\displaystyle \langle A,A\rangle =0\Leftrightarrow A=0}
を除いて、内積の性質を満たす。ここで、部分集合
N
=
{
A
∈
A
|
φ
(
A
∗
A
)
=
0
}
{\displaystyle {\mathfrak {N}}=\{A\in {\mathfrak {A}}|\,\varphi (A^{\ast }A)=0\}}
を考えると
N
{\displaystyle {\mathfrak {N}}}
は左イデアル であり、同値類
ξ
A
=
A
+
N
{\displaystyle \xi _{A}=A+{\mathfrak {N}}}
による商空間
A
/
N
{\displaystyle {\mathfrak {A}}/{\mathfrak {N}}}
を考えることができる。このとき、
⟨
ξ
A
,
ξ
B
⟩
=
⟨
A
,
B
⟩
{\displaystyle \langle \xi _{A},\xi _{B}\rangle =\langle A,B\rangle }
は非退化条件を満たし、内積となる。この内積空間 である
A
/
N
{\displaystyle {\mathfrak {A}}/{\mathfrak {N}}}
を完備化することでヒルベルト空間
H
φ
{\displaystyle {\mathcal {H}}_{\varphi }}
が得られ、特に
A
/
N
{\displaystyle {\mathfrak {A}}/{\mathfrak {N}}}
は
H
φ
{\displaystyle {\mathcal {H}}_{\varphi }}
で稠密である。ここで
π
φ
{\displaystyle \pi _{\varphi }}
として、
π
φ
(
A
)
ξ
B
=
ξ
A
B
{\displaystyle \pi _{\varphi }(A)\xi _{B}=\xi _{AB}}
で定義すると代表元
B
{\displaystyle B}
に依らず、well-defined な表現となる。議論を簡単にするため、
A
{\displaystyle {\mathfrak {A}}}
が単位元
I
{\displaystyle I}
を持つとすると、
Ω
φ
=
ξ
I
{\displaystyle \Omega _{\varphi }=\xi _{I}}
で定義される元は、
⟨
Ω
φ
,
π
φ
(
A
)
Ω
φ
⟩
=
⟨
ξ
I
,
ξ
A
⟩
=
ω
(
A
)
{\displaystyle \langle \Omega _{\varphi },\pi _{\varphi }(A)\Omega _{\varphi }\rangle =\langle \xi _{I},\xi _{A}\rangle =\omega (A)}
を満たすともに、
π
φ
(
A
)
Ω
φ
¯
=
A
/
N
¯
=
H
φ
{\displaystyle {\overline {\pi _{\varphi }({\mathfrak {A}})\Omega _{\varphi }}}={\overline {{\mathfrak {A}}/{\mathfrak {N}}}}={\mathcal {H}}_{\varphi }}
であり、巡回ベクトルとなる。
^ 状態という語は、量子力学また量子統計力学において、作用素として与えられる物理量に対し、状態 により期待値が与えられることに由来する。
^ 規格化条件は、
A
{\displaystyle {\mathfrak {A}}}
が単位元
I
A
{\displaystyle I_{\mathfrak {A}}}
を持つなら、
φ
(
I
A
)
=
1
{\displaystyle \varphi (I_{\mathfrak {A}})=1}
と等価である。
^ 準同型写像
π
{\displaystyle \pi }
は
π
(
A
∗
)
=
π
(
A
)
∗
{\displaystyle \pi (A^{\ast })=\pi (A)^{\ast }}
を満たす時、*-準同型写像と呼ばれる。
^ 純粋状態という語は、量子論における量子状態 の純粋状態、混合状態の概念に由来する。
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