C*-代數

泛函分析中，C*-代數（或讀作“C星代數”）是配備了滿足伴隨性質的對合的巴拿赫代數。典型例子是滿足以下兩個性質的複希爾伯特空間上連續線性算子的複代數A：- A是算子範數拓撲中的拓撲閉集。- A是算子伴隨運算下的閉集。
另一類非常重要的C*-代數包括X上的復值連續函數代數，其中X是局部緊豪斯多夫空間。
一般認為C*-代數主要是應用在量子力學中可觀察量的模型代數中。這方面的研究始於1933年左右維爾納·海森堡創立的矩陣力學以及帕斯庫爾·約當研究的更接近數學的形式。之後馮·諾依曼在他的一系列關於算子環的論文中嘗試建立更廣泛的架構。這些論文可看做是一類特殊的C*-代數，現在稱為馮諾依曼代數。
1943年前後，伊斯拉埃爾·蓋爾範德和馬克·奈馬克對C*-代數建立了不依賴於希爾伯特空間算子的抽象刻畫。
在當代數學研究中，C*-代數是局部緊群的酉表示理論的重要工具，在量子力學的代數架構中也有應用。另一個活躍的研究領域是對可分單核C*-代數的分類以及確定分類的詳細可能性。

**抽象刻畫**
此處給出蓋爾範德和奈馬克1943年給出的定義。
C*-代數A是複數域上的巴拿赫代數以及映射的組合。A中元素x關於映射* 的像記作x*。映射擁有下列性質- ，是對合：
:
:
:- 對任意複數以及：
:- ：
:
備註 前四條等式表示A是*-代數。最後一條叫做C*恆等式，等價於
有時也稱作B*-恆等式。這是很強的約束，舉例來說，結合譜半徑公式可以推出C*–範數由以下代數結構唯一確定：
:不可逆
給定的從C*-代數A到B的有界線性算子 被稱為*-同態，如果- ：
:- ：
:
在C*-代數的情形中，任何*-同態都是壓縮，即範數 ≤ 1而有界。此外，C*-代數之間的單射*-同態都等距。這些都來自C*恆等式。
雙射*-同態π稱作C*-同構，其中稱A、B同構。

**歷史：B*-代數與C*-代數**
B*-代數由C. E. Rickart於1946年引入，用於描述滿足以下條件的巴拿赫*-代數：- 對給定B*-代數中所有x：（B*-條件）
這條件意味著*-對合等距，即。於是，，B*-代數也是C*-代數。反過來看，C*-條件能推出B*-條件。這不是平凡的，但無需用即可證明。於是，B*-代數在目前術語已很少使用，取而代之是C*-代數。
C*-代數由I. E. Segal於1947年引入，用於描述的在範數拓撲下閉的子代數，即某希爾伯特空間H上有界算子的空間。C代表封閉（Closed）。Segal在論文中將C*-代數定義為“希爾伯特空間上有界算子的一致閉自伴代數”。

**C*-代數的結構**
C*-代數有大量技術上很方便的性質，其中一些可通過連續泛函微積分或還原為交換C*-代數來建立。後者時，我們可以利用其結構由蓋爾範德同構決定這一事實。

**自伴元**
自伴元是滿足的元素。形式為的C*-代數A的元素集形成閉凸錐，與形式元素相同。錐的元素被稱作非負元（或正元素，與ℝ中元素的術語相沖突）。
C*-代數A的自伴元集自然具有偏序向量空間結構，通常用表示。其中，自伴元素，當且僅當x的譜非負，當且僅當，有，能滿足。兩自伴元若滿足，則。
這個偏序子空間允許在C*-代數上定義正線性泛函，進而定義C*-代數的態，進而利用GNS構造，構造C*-代數的譜。

**商與近似單位**
C*-代數A都有近似單位。A有自伴元有向族使得
: 
: 
 A若可分，則有序列近似單位（sequential approximate identity）。更一般地，當且僅當A包含嚴格正元，即正元素h使在A中稠密，A才有序列近似單位。
運用近似單位，可證明C*-代數對具有自然範數的閉緊合雙側理想的代數商仍是C*-代數。
同樣，C*-代數的閉雙側理想也是C*-代數。

**譜**
C*-代數A的譜記作，是A的不可還原*-表示。A在希爾伯特空間H上的*-表示，當且僅當H與之外沒有閉子集K（即非平凡閉子集）能在下不變時，稱是不可還原的。我們隱式地假定，不可還原表示指非空的不可還原表示，從而排除了1維空間上的平凡表示（恆為0）。如下所述，譜自然也是拓撲空間，這與環的譜類似。
這概念最重要的應用之一是為局部緊群提供對偶對象的概念。這種對偶對象適用於為I型么模可分局部緊群應用傅里葉變換和普朗歇爾定理，以及為I型可分局部緊群的任意表示提出分解定理。然而由此產生的局部緊群對偶理論比緊拓撲群的淡中–克萊因對偶性或局部緊阿貝爾群的龐特里亞金對偶性更弱，後兩者都是完全不變量。由於任何有限維全矩陣代數的對偶都由一個點組成，因此對偶不是完全不變量也就不難理解了。

**主譜**
的拓撲可有多種等價的定義方式。首先用主譜定義。
A的主譜是A的主理想集，主理想指非零不可還原*-表示的核。主理想集是具有殼-核拓撲（hull-kernel topology，或雅各布森拓撲）的拓撲空間，定義如下：若X是主理想集，其殼-核閉包是

很容易證明殼-核閉包是一種冪等運算，即

可以證明其滿足庫拉托夫斯基閉包公理，因此可以證明上有唯一的拓撲，使得關於的集合X的閉包與X的殼-核閉包完全相同。
由於么正等價表示具有相同的核，所以映射通過滿射

分解。我們用k來定義的拓撲：
定義. 的開集是的開子集U的逆像。這便是拓撲。
殼-核拓撲是交換環的扎里斯基拓撲在非交換環上的類似物。殼-核拓撲誘導的上的拓撲還可用'A的態描述。

**例子**

**交換C*-代數**
3維交換C*-代數及其理想。8個理想中的每個都對應離散3點空間的一個閉子集（或開補集），主理想對應閉單元集。
交換C*-代數A的譜與A的蓋爾範德對偶（注意不要與巴拿赫空間A的對偶A混淆）重合。具體來說，設X是緊豪斯多夫空間，則有自然同胚

此映射的定義是
 
其中是中的閉最大理想，也是主理想。對交換C*-代數，


**有界算子的C*-代數**
令H維可分無窮維希爾伯特空間。有兩個對範封閉的*-理想：與緊算子的。因此作為集合，。現在- 是的閉子集。- 的閉包是。
因此是非豪斯多夫空間。
另一方面，的譜要大得多。有很多核為或的不等價不可還原表示。

**有限維C*-代數**
設A 是有限維C*-代數。已知A同構於全矩陣代數的有限直和：

其中是A的最小中心投影。A的譜與在離散拓撲上規範同構。對有限維C*-代數，也有同構


**譜的其他特徵**
殼-核拓撲很容易抽象表述，但實際上，對與局部緊拓撲群相關聯的C*-代數，需要用正定函數描述譜上拓撲的其他特徵。實際上，上的拓撲與表示的弱包含密切相關，如下：
定理. 令。則對不可還原表示，下列條件等價：
# 在中的等價類位於S的閉包中；
# 與相關的每個態，即形式為
::
:且，是與S中的表示相關聯的態的弱極限。
第二個條件意味著弱包含於S中。
GNS構造將C*-代數A的態與A的表示相關聯。據與GNS構造相關的基本定理之一，對態f，當且僅當相關表示不可約，f才是純的。此外，由定義的映射是滿射。
根據前面的定理，很容易證明下面的內容：
定理 GNS構造給出的映射
:
是連續開映射。

**空間**
上的拓撲還有一種描述，即將表示空間視作具有具有適當點收斂拓撲的拓撲空間。詳細點說，令n是基數，令是n維規範希爾伯特空間。
是A在中的不可約*-表示空間，具有點弱拓撲。就網的收斂性而言，此拓撲的定義是；當且僅當

事實證明，上的這種拓撲，結構與點強拓撲相同，即當且僅當

有。
定理. 令為的子集，由底希爾伯特空間是n維的的表示的等價類組成。規範映射是連續開的。特別是，可視作在么正等價下的商拓撲空間。
備註.  將不同的拼湊在一起可能相當複雜。

**麥基–博雷爾結構**
是拓撲空間，因此也可視作博雷爾空間。喬治·麥基（G. Mackey）提出了一個著名猜想：當且僅當博雷爾空間是標準的，即（在博雷爾空間範疇中）與完全可分度量空間的底博雷爾空間同構時，稱可分局部緊群是I型的。麥基稱具有這一性質的博雷爾空間為光滑空間。詹姆斯·格利姆在1961年證明了此猜想。
定義.  可分C*-代數A的非退化*-表示，當且僅當生成的馮諾依曼代數中心是1維時，稱其是因子表示（factor representation）。當且僅當C*-代數A的任意可分因子表示是不可還原因子表示的有限倍或可數倍時，稱其屬於I型。
為I型的可分局部緊群G的例子如連通（實）冪零李群和連通實半單李群。因此，海森堡群都是I型的。緊群和阿貝爾群也都是I型的。
定理. 若A可分，則當且僅當A是I型時，光滑。
這個結果對可分I型C*-代數及相應的可分I型局部緊群的表示結構進行了意義深遠的概括。

**代數主譜**
由於C*-代數A是環，所以也可考慮A的主理想集。對一個環，當且僅當理想是單模的零化子時，此理想才是主理想。對C*-代數A，當且僅當一個理想是上述定義意義上的主理想時，它才是代數上的主理想。
定理.  令A是C*-代數。A在復向量空間上的不可還原表示，在代數上等價在希爾伯特空間的拓撲上不可還原的*-表示。當且僅當它們么正等價時，希爾伯特空間上的拓撲不可還原*-表示在代數上同構。
若G是局部緊群，則G的群C*-代數的對偶空間上的拓撲稱作費爾拓撲，得名於J. M. G. Fell。

**例子**

**有限維C*-代數**
上n階方陣的代數，若將方陣看做歐氏空間上的算子，並在方陣上使用算子範數
·
，則就變成了C*-代數；對合由共軛轉置給出。更一般地，可以考慮矩陣代數的有限直和。事實上，所有作為向量空間有限維的C*-代數在同構的意義上都是這種形式。自伴要求意味著有限維C*-代數是半單代數，由此可推出下面的阿廷-韋德伯恩定理：
定理  有限維C*-代數A規範地同構於有限直和

其中min A是A的最小非零自伴中心投影集。
C*-代數Ae與全矩陣代數同構（非規範）。給出的minA上的有限族索引稱作A的維向量，唯一確定了有限維C*-代數的同構類。用算子K理論的話說，這向量是A的群的正錐。
†-代數（更確切地說，†-封閉代數）是物理學中偶爾使用的名稱，指有限維C*-代數。劍標†在物理學中常用於表示埃爾米特伴隨，且通常不關注與無窮維相關的微妙問題。數學中通常用星號*表示埃爾米特伴隨。†-代數在量子力學，特別是量子信息科學中有重要地位。
有限維C*-代數的一個直接推廣是近似有限維C*-代數。

**算子的C*-代數**
C*-代數的典型例子是定義在復希爾伯特空間H上的有界（等價於連續）線性算子的代數，其中x*表示算子的伴隨算子。事實上，對合適的希爾伯特空間H，所有C*-代數A都*-同構於的閉範伴隨閉子代數，這就是蓋爾範德-奈馬克定理。

**緊算子的C*-代數**
設H為可分無窮維希爾伯特空間，則H上緊算子代數是的閉範子代數。它在對合下也封閉，因此是C*-代數。
緊算子的具體C*-代數具有類似於Wedderburn有限維C*-代數定理的特徵：
定理 設A是的C*-子代數，則存在希爾伯特空間，使

其中（C*-）直和包含笛卡兒積的元素。
雖然沒有么元，但可以為建立一個序列近似單位，具體來說H同構於平方可和序列空間；不妨令。對每個自然數n，令為項時為零的序列的子空間，令為到的正交投影。則，序列是的近似單位。
是的雙側閉理想。對可分希爾伯特空間，是唯一理想。商稱作卡爾金代數。

**交換C*-代數**
令X為局部緊豪斯多夫空間，其上在無窮遠處為零的復值連續函數空間在逐點乘與加法下形成交換C*-代數。對合是逐點共軛。當且僅當X緊時，有乘法單位元。與其他C*-代數一樣，有近似單位；對這是直接的：考慮X的緊子集直和，對每個緊K，令為緊支撐函數， 且在K上等於1。根據適用於局部緊豪斯多夫空間的蒂策擴張定理，這樣的函數是存在的。這樣的函數序列都是近似單位。
蓋爾範德表示指出，交換C*-代數*-同構於代數，其中X是具備弱*拓撲的特徵標空間。此外，若同構於C*-代數，則X、Y同胚。這一特徵是非交換拓撲與非交換幾何綱領的動機之一。

**C*-包絡代數**
給定巴拿赫*-代數A，具有近似單位，則有（在C*-同構意義上）唯一的C*-代數與萬有的*-態射，即其他連續*-態射因子都唯一地通過π。代數稱作巴拿赫*-代數A的C*-包絡代數。
局部緊群G的C*-代數尤為重要，定義為G的群代數的包絡C*-代數。G的C*-代數提供了非阿貝爾情形下的一般調和分析，特別是，局部緊群的對偶定義為群C*-代數的主理想空間。

**馮諾依曼代數**
馮諾依曼代數在1960年代以前稱作W*-代數，是一類特殊的C*-代數。它們需要在弱算子拓撲下封閉，這比範數拓撲更弱。
謝爾曼–武田定理表明，C*-代數都有泛包絡W*-代數，使到W*-代數的任意同態都通過它。

**C*-代數的種類**
令A為C*-代數。A是I類，當且僅當對A的所有非退化表示π，（即的雙交換子）是I類馮諾依曼代數。實際上，只需考慮因子表示，即是因子的表示。
局部緊群屬於I類，當且僅當其群C*-代數是I類。
不過，若C*-代數具有非I類表示，則根據詹姆斯·格利姆的結果，它也有II類、III類的表示。因此，對C*-代數和局部緊群，只有I類和非I類的說法才有意義。

**C*-代數與量子場論**
量子力學中，通常用有單位元的C*-代數A描述物理系統；A的自伴元（）被視為系統的可觀測值。系統狀態定義為A上的正泛函（線性映射），使得。若系統處於φ狀態，則可觀測值x的期望值為φ(x)。
局部量子場論的Haag-Kastler公理化使用了這C*-代數方法，閔可夫斯基時空的開集都與一個C*-代數相關聯。

**另見**
 巴拿赫代數- 巴拿赫*-代數- *-代數- 希爾伯特C*-模- 算子K理論- 算子系統，C*-代數的*-封閉含么子空間。- 蓋爾範德–奈馬克–西格爾構造
*若爾當算子代數

**腳註**

**參考文獻**
 isbn=0-387-90176-0. An excellent introduction to the subject, accessible for those with a knowledge of basic functional analysis.- url-access=registration.  This book is widely regarded as a source of new research material, providing much supporting intuition, but it is difficult.- url=https://archive.org/details/calgebras0000dixm. This is a somewhat dated reference, but is still considered as a high-quality technical exposition. It is available in English from North Holland press.- isbn=978-0-8247-7569-8.- isbn=0-471-23900-3. Mathematically rigorous reference which provides extensive physics background.
*author=A.I. Shtern- isbn=3-540-63633-1.
*doi-access=free.- J. Dixmier, C*-Algebras, North-Holland, 1977 (a translation of Les C*-algèbres et leurs représentations)- J.  Dixmier, Les C*-algèbres et leurs représentations, Gauthier-Villars, 1969.- J. Glimm, Type I C*-algebras, Annals of Mathematics, vol 73, 1961.- G. Mackey, The Theory of Group Representations, The University of Chicago Press, 1955.