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

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

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

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

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

C(Ω)

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

C₀(Ω)

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

B(H)

ヒルベルト空間 H 上の有界線形作用素のなす代数 B(H) はノルムを作用素ノルム: ‖ A ‖ = supx≠0∈H‖ Ax ‖⁄‖ x ‖, 対合を (A*x, y) = (x, Ay) で特徴付けられる随伴として、H 上の恒等作用素 I を単位元にもつ C*-環になる。特に、任意の自然数 n について n-次複素行列環 M_n(C) は複素転置共役を対合として C*-環になっている。

具体的な C*-環 M

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

被約群環

離散群 G が与えられたとき、ヒルベルト空間 l₂G とその上の作用素たち λ_g: δ_h ↦ δ_gh が得られる。l₂G 上の C*-環で λ_g (g ∈ G) 全てを含む最小のものは G の被約群環 C*_λG とよばれる。離散とは限らない局所コンパクト群についてもこの定義は一般化される。

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

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

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

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

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

1. ^ I. M. Gelfand; M. A. Naimark (1943). “On the imbedding of normed rings into the ring of operators on a Hilbert space”. Math. Sbornik 12. 
2. ^ C.E. Rickart (1946). Banach algebras with an adjoint operation. 47. 
3. ^ I.E. Segal (1947). “Irreducible representation of operator algebras”. Bull. Amer. Math. Soc. 53. 

• Arveson, W. (1976). An Invitation to C*-Algebra. Springer-Verlag. ISBN 0-387-90176-0 
• Sakai, S. (1971). C*-algebras and W*-algebras. Springer. ISBN 3-540-63633-1 
• Blackadar, B. (2006). Operator Algebras. Springer. ISBN 978-3-540-28486-4 
• 生西 明夫、中神 祥臣『作用素環入門』岩波書店、2007年。 

• Shtern, A.I. (2001), “C*-algebra”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=C*-algebra 
• C-star-algebra in nLab

表 話 編 歴 関数解析学
集合 / 部分集合のタイプ	均衡 星状 絶対凸 凸 併呑 有界（英語版） 放射状（英語版） 対称（英語版） 線型錐（部分集合） 凸錐（部分集合）
線型位相空間のタイプ	バナッハ 樽型 界相 Brauner（英語版） F-空間 有限次元 フレシェ (tame) ヒルベルト LF空間 局所凸 マッキー（英語版） モンテル 核型 ノルム付き（ノルム） 準ノルム付き 回帰的 リース スミス（英語版） Stereotype（英語版） ウェブ付き 位相テンソル積（英語版）（ヒルベルト空間の（英語版））
位相	双対 双対空間 作用素 強（極 作用素） Ultrastrong（英語版） 弱（作用素） Ultraweak（英語版） 一様収束（英語版）
線型作用素	随伴 双線型（形式） 有界 / 非有界 閉（英語版） 連続 / 不連続 コンパクト フレドホルム ヒルベルト＝シュミット 汎関数（正（英語版）） 正規 核 自己共役 Strictly singular（英語版） トレースクラス 転置 ユニタリ
集合の操作	代数的内部（核） 内部 ミンコフスキー和（英語版） 極
バナッハ環	C*-環 スペクトル（C*-環（英語版） 半径) スペクトル理論
定理	Eberlein–Šmulian（英語版） 開写像 角谷の不動点 ゲルファント＝マズール コーシー＝シュワルツの不等式 Goldstine（英語版） シャウダーの不動点 パーセヴァルの等式 ハーン–バナッハ（分離超平面） バナッハ＝アラオグル Banach–Saks（英語版） Banach–Mazur（英語版） フロイデンタールのスペクトル 閉値域 閉グラフ ベッセルの不等式 マッキー＝アレンス マズールの補題 リースの拡張 Lomonosov's invariant subspace（英語版） ニュートン＝カントロビッチ
解析	ボホナー空間 フレシェ空間における微分（英語版） 微分（フレシェ ガトー 汎函数 holomorphic（英語版）） 積分（ボホナー Dunford ゲルファント＝ペティス 方正 弱) 汎函数計算（Borel（英語版） continuous（英語版） holomorphic（英語版）） 逆函数定理（Nash–Moser theorem（英語版）） ベクトル測度
応用	量子力学の数学的定式化 有限要素法 偏微分方程式の解に対する精度保証付き数値計算
日本人研究者	加藤敏夫 吉田耕作 藤田宏 増田久弥
海外の研究者	リース・フリジェシュ ステファン・バナフ ダフィット・ヒルベルト イズライル・ゲルファント ピーター・ラックス
カテゴリ