GNS構成法のソースを表示

[[作用素代数]]において、'''GNS構成法'''（GNSこうせいほう、{{lang-en-short|GNS construction}}）、または'''Gelfand–Naimark–Segal構成法'''とは[[C*-代数]]に状態と呼ばれる[[線形汎関数]]が与えられたときに、巡回表現と呼ばれる特別な表現を構成する方法。GNSの語は考案者である3人の数学者Gelfand、Naimark、Segalの頭文字に由来する。[[場の量子論]]や[[量子統計力学]]では、[[ヒルベルト空間]]を離れ、物理量のなす代数のみから理論を構築してもGNS構成法により、全ての物理量の期待値が与えられたときに、逆にヒルベルト空間とその上の作用による物理量の表現を構成することができる。[[自由度]]が無限大である系では、当初に設定した空間を飛び出さねばならないことが多い。このときGNS構成法を用いれば、新しいヒルベルト空間を作ることができる。

== 概要 ==
{{main|GNS表現}}
作用素代数の一つであるC*-代数<math>\mathfrak{A}</math>は、[[有界作用素]]の有する性質を抽象化し、[[対合]]と呼ばれる[[随伴作用素|随伴作用]]<math>\ast:A\rightarrow A^\ast</math>に対応する作用を持つ代数である。C*-代数には[[ノルム]]が存在し、ノルムについて完備な[[バナッハ空間]]でもある。<math>\pi:\mathfrak{A} \rightarrow \mathcal{B}(\mathcal{H})</math>を<math>\mathfrak{A}</math>からあるヒルベルト空間<math>\mathcal{H}</math>の有界作用素のなす代数<math>\mathcal{B}(\mathcal{H})</math>への*-[[準同型写像]]とすると、<math>\mathfrak{A}</math>の元<math>A</math>に有界作用素<math>\pi(A)</math>を対応づけることができる。ヒルベルト空間<math>\mathcal{H}</math>と*-準同型写像の組<math>(\mathcal{H},\pi)</math>を表現と呼ぶ。また、C*-代数<math>\mathfrak{A}</math>の元<math>A</math>に対して、複素値<math>\omega(A)</math>を与える規格化された線形汎関数<math>\omega</math>を'''状態'''と呼ぶ。このとき、GNS構成法では、C*-代数<math>\mathfrak{A}</math>上の状態<math>\omega</math>に対し、'''巡回表現'''と呼ばれる特別な表現<math>(\mathcal{H}_\omega,\pi_\omega)</math>を構成することができる。ここで巡回表現とは、'''巡回ベクトル'''<math>\Omega_\omega</math>と呼ばれる元が存在し、状態による値を<math>\omega(A)=\langle \Omega_\omega ,\pi_\omega(A) \Omega_\omega\rangle</math>と内積の形で表せるともに、<math>\mathcal{H}_{\omega}=\overline{\pi_\omega(\mathfrak{A})\Omega_\omega} </math>が成り立つような表現である。<math>(\mathcal{H}_{\omega},\pi_\omega,\Omega_\omega)</math>で与えられる組を'''GNS構成'''と呼ぶ。

== 参考文献 ==
* 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*-代数]]
** [[GNS表現]]

{{Mathanalysis-stub}}

{{デフォルトソート:GNSこうせいほう}}
[[Category:作用素環論]]
[[Category:場の量子論]]
[[Category:量子統計理論]]
[[Category:数学に関する記事]]