C*-環

数学における -環（シースターかん、）とは複素数体上の完備なノルム環で複素共役に類似の作用をもつものであり、フォン・ノイマン環と並ぶ作用素環論の主要な研究対象である。-代数（シースターだいすう）とも呼ばれる。1943年のGel'fand-Naimarkと1946年のRickartの研究によって公理系が与えられた。'-algebra' という用語は1947年にSegalによって導入された。

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

定義集合は以下のような構造を持つとき -環と呼ばれる。

一般的には上の条件 1, 2 を満たすものを -環あるいは対合（付き）環、条件 1, 3 を満たすものをバナッハ環あるいは省略して -環、条件 1, 2, 3 を満たすものをバナッハ -環あるいは省略して -環という。すなわち -環とはバナッハ -環でノルムの -性を満たすものである。一般の -環は乗法の単位元を持つことを仮定されないが、乗法の単位元を持つような -環は単位的 (unital) であると言われる。

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

例

コンパクトハウスドルフ空間上の複素数値連続関数のなす関数空間（例えば実閉区間上の連続関数たち）を考える。このとき、積を点ごとの積： , 対合を複素共役: , ノルムを一様ノルム: で定めると、は定数関数を単位元としてもつ可換な C*-環となる。逆に、単位元をもち可換な C*-環はあるコンパクトハウスドルフ空間についてのと同型になる。このコンパクト空間は環の極大イデアルの空間として実現でき、この同一視の方法はゲルファント表現と呼ばれる。

同様にして局所コンパクトハウスドルフ空間上の無限遠で消える複素数値連続関数のなす関数空間（例えば実直線上のであるような関数たち）を考えると、上の例と同様のノルムと対合によっては（がコンパクトでないときには単位元をもたない）可換な -環となる。

ヒルベルト空間上の有界線形作用素のなす代数はノルムを作用素ノルム: , 対合をで特徴付けられる随伴として、上の恒等作用素を単位元にもつ -環になる。特に、任意の自然数について -次複素行列環は複素転置共役を対合として -環になっている。

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

被約群環離散群が与えられたとき、ヒルベルト空間とその上の作用素たちが得られる。上の -環で全てを含む最小のものはの被約群環とよばれる。離散とは限らない局所コンパクト群についてもこの定義は一般化される。

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

単位的 -環上の汎関数（連続線形形式）で、正な元を正の実数にうつし、を満たすようなものは上のと呼ばれる。上の汎関数が状態であるということはがを満たすということと同値になる。単位的とは限らない -環の上の状態は正な元を正の実数にうつし、かつノルムであるような汎関数として定義される。局所コンパクト空間上の連続関数環に対する状態とは正則ボレル測度で全測度であるようなものについての関数の積分である。がヒルベルト空間上に表現された C*-環のとき、ノルムのベクトルはによって上の状態を定める。これは量子力学の数学的定式化における特定の状態の下での物理量の測定の期待値を与える操作に対応しており、「状態」という用語のもとになっている。

局所コンパクト空間とその上の全測度の正則ボレル測度からはの作用するヒルベルト空間と上の状態が得られるし、ヒルベルト空間上の -環の状態を内の単位的ベクトルから得ることができるが、これらのヒルベルト空間やとそれぞれへの環の作用は、環と状態やについての情報のみから復元することができる。実際、-環上の状態が与えられたとき、ベクトル空間としてのは内積によって前ヒルベルト空間となっており、さらにの元を左からかける操作は内積から定まるノルムについて連続になっている。従ってこの前ヒルベルト空間を完備化したヒルベルト空間上にを表現することができる。これを状態に関するGelfand-Naimark-Segal表現（GNS表現）とよぶ。この表現についての元は少なくとも作用素ノルムを持っている。従って、どんな -環も十分に多くの状態を持っていることを示せばGelfand-Naimarkの定理が得られることになる。

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

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

注釈

参考文献

Źródło i licencja