C*-環のソースを表示

[[数学]]における '''{{mvar|C*}}-環'''（シースターかん、{{lang-en-short|C*-algebra}}）とは[[複素数]]体上の[[完備]]な[[ノルム環]]で[[複素共役]]に類似の作用をもつものであり、[[フォン・ノイマン環]]と並ぶ[[作用素環論]]の主要な研究対象である。'''{{mvar|C*}}-代数'''（シースターだいすう）とも呼ばれる。1943年のGel'fand-Naimark<ref>{{cite journal|author=I. M. Gelfand|coauthors=M. A. Naimark|title=On the imbedding of normed rings into the ring of operators on a Hilbert space|journal=Math. Sbornik|volume=12|year=1943}}</ref>と1946年のRickart<ref>{{cite journal|author=C.E. Rickart|title=Banach algebras with an adjoint operation|journal|Ann. of Math|volume=47|year=1946}}</ref>の研究によって公理系が与えられた。'{{mvar|C*}}-algebra' という用語は1947年にSegal<ref>{{cite journal|author=I.E. Segal|title=Irreducible representation of operator algebras|journal=Bull. Amer. Math. Soc.|volume=53|year=1947}}</ref>によって導入された。

{{mvar|C*}}-環はその内在的な構造のみにもとづいて公理的に定義されるが、実はどんな {{mvar|C*}}-環もヒルベルト空間上の線形作用素のなす環で、随伴操作とノルムに関する位相で閉じたものとして実現されることが知られている。また、可換な {{mvar|C*}}-環を考えることは局所コンパクト空間上の複素数値連続関数環を考えることになり、その連続関数環からはもとの位相空間を復元できるので、可換 {{mvar|C*}}-環の理論は局所コンパクト空間の理論と等価だといえる。一般の {{mvar|C*}}-環は、群（あるいは亜群）など、幾何学的な文脈に現れながら普通の空間とは見なされないようなものを包摂しうる変形（「量子化」）された空間を表していると考えることもできる。

== 定義 ==
集合 {{mvar|A}} は以下のような構造を持つとき '''{{mvar|C*}}-環'''と呼ばれる。
{{ordered list
|1= {{mvar|A}} は 複素数体 {{math|'''C'''}} 上の[[体上の多元環]]（代数）である。
|2= [[対合]]と呼ばれる {{mvar|A}} からそれ自身への[[全単射]]写像 <math>\ast\colon a\mapsto a^*</math> があって、
* {{math|size=larger|(''λa'' + ''μb'')* {{=}} ''{{overline|λ}}a''* + ''{{overline|μ}}b''*}},
* {{math|size=larger|(''ab'')* {{=}} ''b''*''a''*}},
* {{math|size=larger|(''a''*)* {{=}} ''a''}}
が任意の {{math|''a'', ''b'' ∈ ''A''}}, {{math|λ, μ ∈ '''C'''}} について成り立つ。
|3= {{mvar|A}} には [[ノルム]] {{math|{{norm|&bull;}}}} が存在し、任意の {{math|''a'', ''b'' ∈ ''A''}} について
* {{math|size=larger|{{norm|''ab''}} ≤ {{norm|''a''}}{{norm|''b''}}}}
が成り立つ。さらに {{mvar|A}} はこのノルムに関して[[完備]]である。
|4= 任意の {{math|''a'' ∈ ''A''}} について'''ノルムの {{mvar|C*}}-性''' (C*-property of the norm):
* {{math|size=larger|{{norm|''a''*''a''}} {{=}} {{norm|''a''}}{{exp|2}}}}
が成り立つ。
}}
一般的には上の条件 1, 2 を満たすものを '''[[*-環|{{math|*}}-環]]'''あるいは対合（付き）環、条件 1, 3 を満たすものを'''[[バナッハ環]]'''あるいは省略して {{mvar|B}}-環、条件 1, 2, 3 を満たすものを'''[[バナッハ *-環|バナッハ {{math|*}}-環]]'''あるいは省略して {{mvar|B*}}-環{{efn|ノルムの {{mvar|B*}}-性を持つバナッハ {{math|*}}-環に限って [[B*-環|{{mvar|B*}}-環]]と呼ぶ場合もある。{{mvar|B*}}-性をもつという意味での {{mvar|B*}}-環の概念は実は {{mvar|C*}}-環の概念と一致するので、この呼称は歴史的なものである。}}という。すなわち {{mvar|C*}}-環とはバナッハ {{math|*}}-環でノルムの {{mvar|C*}}-性を満たすものである。一般の {{mvar|C*}}-環は乗法の単位元 {{math|1}} を持つことを仮定されないが、乗法の単位元を持つような {{mvar|C*}}-環は'''単位的''' (unital) であると言われる。

{{mvar|C*}}-環 {{mvar|A}} と {{mvar|B}} について、{{mvar|A}} から {{mvar|B}} への環の準同型写像 {{mvar|f}} で対合作用 "{{math|&lowast;}}" を保つものは {{mvar|C*}}-環の準同型、または {{math|*}}-準同型とよばれる。実は {{mvar|f}} に対する代数的な仮定から {{mvar|f}} がノルム {{math|1}} 以下の（特に、連続な）線形写像であることが従う。とくに、与えられた {{mvar|C*}}-環に対してその {{math|*}}-構造と両立するノルムは1つしか存在しない。

== 例 ==
; {{math|''C''(Ω)}}
: [[コンパクト (数学)|コンパクト]][[ハウスドルフ空間]] {{math|Ω}} 上の複素数値連続関数のなす[[関数空間]] {{math|''C''(Ω)}} （例えば実閉区間 {{math|[0,1]}} 上の連続関数たち）を考える。このとき、積を[[点ごとの積]]： {{math|''f''&sdot;''g''(''s'') {{=}} ''f''(''s'')''g''(''s'')}}, 対合を複素共役: {{math|''f''*(''s'') {{=}} {{overline|''f''(''s'')}}}}, ノルムを[[一様ノルム]]: {{math|{{norm|''f''}} {{=}} sup{{mset|{{abs|''f''(''s'')}} | ''s'' ∈ Ω}}}} で定めると、{{math|''C''(Ω)}} は定数関数 {{math|1}} を[[単位元]]としてもつ可換な C*-環となる。逆に、単位元をもち可換な C*-環はあるコンパクトハウスドルフ空間 {{math|Ω}} についての {{math|''C''(Ω)}} と[[同型]]になる。このコンパクト空間は環の極大イデアルの空間として実現でき、この同一視の方法は'''ゲルファント表現'''と呼ばれる。

; {{math|''C''{{sub|0}}(Ω)}}
:同様にして[[コンパクト (数学)|局所コンパクト]][[ハウスドルフ空間]] {{math|Ω}} 上の無限遠で消える複素数値連続関数のなす関数空間 {{math|''C''{{sub|0}}(Ω) {{=}} {{mset|''f'' ∈ ''C''(Ω); 任意の ''ε'' &gt; 0 に対して {{abs|''f''(''s'')}} ≥ ''ε'' となる ''s'' ∈ Ω のなす集合はコンパクト}}}} （例えば実直線 {{math|{{unicode|'''ℝ'''}}}} 上の {{math|{{underset|2=lim|1={{abs|''t''}}→∞}}''f''(''t'') {{=}} 0}} であるような関数たち）を考えると、上の例と同様のノルムと対合によって {{math|''C''{{sub|0}}(Ω)}} は（{{math|Ω}} がコンパクトでないときには単位元をもたない）可換な {{mvar|C*}}-環となる。

; {{math|''B''(''H'')}}
:[[ヒルベルト空間]] {{mvar|H}} 上の有界線形作用素のなす代数 {{math|''B''(''H'')}} はノルムを[[作用素ノルム]]: {{math|{{norm|''A''}} {{=}} {{underset|2=sup|1=''x''≠0∈''H''}}{{fraction|{{norm|''Ax''}}|{{norm|''x''}}}}}}, 対合を {{math|1=(''A''*''x'', ''y'') = (''x'', ''Ay'')}} で特徴付けられる[[随伴作用素|随伴]]として、{{mvar|H}} 上の恒等作用素 {{mvar|I}} を単位元にもつ {{mvar|C*}}-環になる。特に、任意の自然数 {{mvar|n}} について {{mvar|n}}-次複素行列環 {{math|M{{sub|''n''}}('''C''')}} は複素転置共役を対合として {{mvar|C*}}-環になっている。

; 具体的な {{mvar|C*}}-環 {{mvar|M}}
: 同様にして {{math|''B''(''H'')}} の部分 *-代数 {{mvar|M}} が作用素ノルムで閉じているとき、{{mvar|M}} は {{mvar|C*}}-環である。これを'''具体的な {{mvar|C*}}-環''' (concrete {{mvar|C*}}-algebra) という。コンパクト作用素のなす環 {{math|''K''(''H'')}} が例として挙げられる。'''Gelfand-Naimark の定理'''によって任意の {{mvar|C*}}-環はある具体的な {{mvar|C*}}-環と同型になる。また、可分な {{mvar|C*}}-環は可分ヒルベルト空間上の具体的な {{mvar|C*}}-環に同型になる。

; [[被約群環]]
:離散群 {{mvar|G}} が与えられたとき、ヒルベルト空間 {{math|''l''{{sub|2}}''G''}} とその上の作用素たち {{math|''λ{{sub|g}}'': ''δ{{sub|h}}'' {{mapsto}} ''δ{{sub|gh}}''}} が得られる。{{math|''l''{{sub|2}}''G''}} 上の {{mvar|C*}}-環で {{math|''λ{{sub|g}}'' (''g'' ∈ ''G'')}} 全てを含む最小のものは {{mvar|G}} の被約群環 {{math|''C''*{{sub|''λ''}}''G''}} とよばれる。離散とは限らない局所コンパクト群についてもこの定義は一般化される。

== 構造 ==
{{mvar|C*}}-環 {{mvar|A}} の元のうちで {{math|''x.x''*}} とかけるものは'''正'''（非負）であると呼ばれる。{{mvar|A}} の正な元全体の集合は錐（加法と正の実数倍について閉じている）をなし、{{mvar|A}} の'''正錐''' (positive cone) と呼ばれる。局所コンパクト空間上の連続関数環内で正な元とは各点で正（非負）の[[実数]]値を取る関数のことであり、ヒルベルト空間 {{mvar|H}} 上の具体的な {{mvar|C*}}-環の中で正な元とは任意の {{mvar|H}} のベクトル {{mvar|ξ}} について {{math|(''T''ξ, ξ) ≥ 0}} となるような作用素 {{mvar|T}} のことになる。

単位的 {{mvar|C*}}-環 {{mvar|A}} 上の汎関数（連続線形形式）{{mvar|φ}} で、正な元を正の実数にうつし、{{math|1=φ(1) = 1}}を満たすようなものは {{mvar|A}} 上の'''{{仮リンク|状態 (函数解析学)|label=状態|en|State (functional analysis)}}'''と呼ばれる。{{mvar|A}} 上の汎関数 {{mvar|φ}} が状態であるということは {{mvar|φ}} が {{math|1={{norm|''φ''}} = ''φ''(1) = 1}} を満たすということと同値になる。単位的とは限らない {{mvar|C*}}-環の上の状態は正な元を正の実数にうつし、かつノルム {{math|1}} であるような汎関数として定義される。局所コンパクト空間上の連続関数環に対する状態とは[[正則ボレル測度]]で全測度 {{math|1}} であるようなものについての関数の積分である。{{mvar|A}} がヒルベルト空間 {{mvar|H}}上に表現された C*-環のとき、ノルム {{math|1}} のベクトル {{math|ξ ∈ ''AH''}} は {{math|φ<sub>ξ</sub>''T'' {{mapsto}} (''T''ξ, ξ)}} によって {{mvar|A}} 上の状態を定める。これは[[量子力学の数学的定式化]]における特定の状態の下での物理量の測定の期待値を与える操作に対応しており、「状態」という用語のもとになっている。

局所コンパクト空間 {{math|Ω}} とその上の全測度 {{math|1}} の正則ボレル測度 {{mvar|μ}} からは {{math|''C''{{sub|0}}(Ω)}} の作用するヒルベルト空間 {{math|''L''{{sub|2}}(Ω, μ)}} と {{math|''C''{{sub|0}}(Ω)}} 上の状態 {{math|1=''φ{{sub|μ}}''(''f'') = ∫ ''f dμ''}} が得られるし、ヒルベルト空間 {{mvar|H}} 上の {{mvar|C*}}-環 {{mvar|A}} の状態を {{mvar|AH}} 内の単位的ベクトルから得ることができるが、これらのヒルベルト空間 {{math|''L''{{sub|2}}(Ω, ''μ'')}} や {{mvar|AH}} とそれぞれへの環の作用は、環と状態 {{mvar|φ{{sub|μ}}}} や {{mvar|φ{{sub|ξ}}}} についての情報のみから復元することができる。実際、{{mvar|C*}}-環 {{mvar|A}} 上の状態 {{mvar|φ}} が与えられたとき、ベクトル空間としての {{mvar|A}} は内積 {{math|1=(x, y) = ''φ''(''y''*''x'')}} によって前ヒルベルト空間となっており、さらに {{mvar|A}} の元を左からかける操作は内積から定まるノルムについて連続になっている。従ってこの前ヒルベルト空間を完備化したヒルベルト空間 {{mvar|{{overline|''A''}}{{sub|φ}}}} 上に {{mvar|A}} を表現することができる。これを状態 {{mvar|φ}} に関する'''Gelfand-Naimark-Segal表現'''（[[GNS表現]]）とよぶ。この表現について {{mvar|A}} の元 {{mvar|a}} は少なくとも作用素ノルム {{math|{{sqrt|''φ''(''a''*''a'')}}}} を持っている。従って、どんな {{mvar|C*}}-環も十分に多くの状態を持っていることを示せばGelfand-Naimarkの定理が得られることになる。

{{mvar|C*}}-環 {{mvar|A}} に対し、その双対の双対 {{math|''A''**}} は [[フォン・ノイマン環|W*-環]]の構造を持っている。これは {{mvar|A}} の'''普遍包絡環'''とよばれる。{{mvar|A}} のヒルベルト空間 {{mvar|H}} 上への表現 {{math|''π'': ''A'' → ''B''(''H'')}} が与えられたとき {{math|''π''(''A'')}} の生成するフォン・ノイマン環{{math|''π''(''A'')′′}} を考えることができるが、このとき {{math|''A''**}} から {{math|''π''(''A'')′′}} の上への正規準同形が存在する。別の言い方をすれば {{math|''π''(''A'')′′}} が {{math|''A''**}} に作用素の弱位相で閉じたイデアルとして含まれている。

== 他の分野への応用 ==
{{mvar|C*}}-環は[[数理物理学|数理物理]]における[[力学系]]、代数的観点からの[[場の量子論]]、[[量子統計力学]]、[[量子情報|量子情報理論]]等に応用される。

== 注釈 ==
{{reflist|group="注釈"}}
== 参考文献 ==
<references/>

== 関連文献 ==
* {{cite book|first=W.|last=Arveson|title=An Invitation to C*-Algebra|publisher=Springer-Verlag|year=1976|id=ISBN 0-387-90176-0}}
* {{cite book|first=S.|last=Sakai|title=C*-algebras and W*-algebras|publisher= Springer|year=1971|id=ISBN 3-540-63633-1}}
* {{cite book|first=B.|last=Blackadar|title=Operator Algebras|publisher=Springer|year=2006|id=ISBN 978-3-540-28486-4}}
* {{cite book|和書|author=生西 明夫|coauthors=中神 祥臣|title=作用素環入門|volumes=1,2|year=2007|publisher=岩波書店}}

== 外部リンク ==
* {{SpringerEOM|urlname=C*-algebra|title=C*-algebra|author=Shtern, A.I.}}
* {{nlab|urlname=C-star-algebra|title=C-star-algebra}}

{{Functional Analysis}}
{{DEFAULTSORT:しいすたあかん}}
[[Category:関数解析学]]
[[Category:環論]]
[[Category:作用素環論]]
[[Category:数学に関する記事|Cしいすたあかん]]