C*-環

数学における -環（シースターかん、）とは複素数体上の完備なノルム環で複素共役に類似の作用をもつものであり、フォン・ノイマン環と並ぶ作用素環論の主要な研究対象である。-代数（シースターだいすう）とも呼ばれる。1943年のGel'fand-Naimarkと1946年のRickartの研究によって公理系が与えられた。'-algebra' という用語は1947年にSegalによって導入された。
-環はその内在的な構造のみにもとづいて公理的に定義されるが、実はどんな -環もヒルベルト空間上の線形作用素のなす環で、随伴操作とノルムに関する位相で閉じたものとして実現されることが知られている。また、可換な -環を考えることは局所コンパクト空間上の複素数値連続関数環を考えることになり、その連続関数環からはもとの位相空間を復元できるので、可換 -環の理論は局所コンパクト空間の理論と等価だといえる。一般の -環は、群（あるいは亜群）など、幾何学的な文脈に現れながら普通の空間とは見なされないようなものを包摂しうる変形（「量子化」）された空間を表していると考えることもできる。
定義.
集合 は以下のような構造を持つとき -環と呼ばれる。
一般的には上の条件 1, 2 を満たすものを -環あるいは対合（付き）環、条件 1, 3 を満たすものをバナッハ環あるいは省略して -環、条件 1, 2, 3 を満たすものをバナッハ -環あるいは省略して -環という。すなわち -環とはバナッハ -環でノルムの -性を満たすものである。一般の -環は乗法の単位元 を持つことを仮定されないが、乗法の単位元を持つような -環は単位的 (unital) であると言われる。
-環 と について、 から への環の準同型写像 で対合作用 "" を保つものは -環の準同型、または -準同型とよばれる。実は に対する代数的な仮定から がノルム 以下の（特に、連続な）線形写像であることが従う。とくに、与えられた -環に対してその -構造と両立するノルムは1つしか存在しない。
構造.
-環 の元のうちで とかけるものは正（非負）であると呼ばれる。 の正な元全体の集合は錐（加法と正の実数倍について閉じている）をなし、 の正錐 (positive cone) と呼ばれる。局所コンパクト空間上の連続関数環内で正な元とは各点で正（非負）の実数値を取る関数のことであり、ヒルベルト空間 上の具体的な -環の中で正な元とは任意の のベクトル について となるような作用素 のことになる。
単位的 -環 上の汎関数（連続線形形式） で、正な元を正の実数にうつし、を満たすようなものは 上のと呼ばれる。 上の汎関数 が状態であるということは が を満たすということと同値になる。単位的とは限らない -環の上の状態は正な元を正の実数にうつし、かつノルム であるような汎関数として定義される。局所コンパクト空間上の連続関数環に対する状態とは正則ボレル測度で全測度 であるようなものについての関数の積分である。 がヒルベルト空間 上に表現された C*-環のとき、ノルム のベクトル は によって 上の状態を定める。これは量子力学の数学的定式化における特定の状態の下での物理量の測定の期待値を与える操作に対応しており、「状態」という用語のもとになっている。
局所コンパクト空間 とその上の全測度 の正則ボレル測度 からは の作用するヒルベルト空間 と 上の状態 が得られるし、ヒルベルト空間 上の -環 の状態を 内の単位的ベクトルから得ることができるが、これらのヒルベルト空間 や とそれぞれへの環の作用は、環と状態 や についての情報のみから復元することができる。実際、-環 上の状態 が与えられたとき、ベクトル空間としての は内積 によって前ヒルベルト空間となっており、さらに の元を左からかける操作は内積から定まるノルムについて連続になっている。従ってこの前ヒルベルト空間を完備化したヒルベルト空間 上に を表現することができる。これを状態 に関するGelfand-Naimark-Segal表現（GNS表現）とよぶ。この表現について の元 は少なくとも作用素ノルム を持っている。従って、どんな -環も十分に多くの状態を持っていることを示せばGelfand-Naimarkの定理が得られることになる。
-環 に対し、その双対の双対 は W*-環の構造を持っている。これは の普遍包絡環とよばれる。 のヒルベルト空間 上への表現 が与えられたとき の生成するフォン・ノイマン環 を考えることができるが、このとき から の上への正規準同形が存在する。別の言い方をすれば が に作用素の弱位相で閉じたイデアルとして含まれている。
他の分野への応用.
-環は数理物理における力学系、代数的観点からの場の量子論、量子統計力学、量子情報理論等に応用される。