C*-代數

泛函分析中，C^*-代數（或讀作「C星代數」）是配備了滿足伴隨性質的對合的巴拿赫代數。典型例子是滿足以下兩個性質的複希爾伯特空間上連續線性算子的複代數A：

A是算子範數拓撲中的拓撲閉集。
A是算子伴隨運算下的閉集。

另一類非常重要的C^*-代數包括X上的復值連續函數代數 $C_{0}(X)$ ，其中X是局部緊豪斯多夫空間。一般認為C^*-代數主要是應用在量子力學中可觀察量的模型代數中。這方面的研究始於1933年左右維爾納·海森堡創立的矩陣力學以及帕斯庫爾·約當研究的更接近數學的形式。之後馮·諾依曼在他的一系列關於算子環的論文中嘗試建立更廣泛的架構。這些論文可看做是一類特殊的C^*-代數，現在稱為馮諾依曼代數。

1943年前後，伊斯拉埃爾·蓋爾范德和馬克·奈馬克對C^*-代數建立了不依賴於希爾伯特空間算子的抽象刻畫。

在當代數學研究中，C^*-代數是局部緊群的酉表示理論的重要工具，在量子力學的代數架構中也有應用。另一個活躍的研究領域是對可分單核C^*-代數的分類以及確定分類的詳細可能性。

抽象刻畫

此處給出蓋爾范德和奈馬克1943年給出的定義。

C^*-代數A是複數域上的巴拿赫代數以及映射 ${}^{*}:\ A\to A$ 的組合。A中元素x關於映射* 的像記作x^*。映射擁有下列性質

$\forall x\in A$ ，是對合：

x^{**}=(x^{*})^{*}=x

$\forall x,\ y\in A:$

(x+y)^{*}=x^{*}+y^{*}

(xy)^{*}=y^{*}x^{*}

對任意複數 $\lambda \in \mathbb {C}$ 以及 $\forall x\in A$ ：

(\lambda x)^{*}={\overline {\lambda }}x^{*}

$\forall x\in A$ ：

\|x^{*}x\|=\|x\|\|x^{*}\|.

備註前四條等式表示A是*-代數。最後一條叫做C^*恆等式，等價於

$\|xx^{*}\|=\|x\|^{2}$ 有時也稱作B^*-恆等式。這是很強的約束，舉例來說，結合譜半徑公式可以推出C^*–範數由以下代數結構唯一確定：

\|x\|^{2}=\|x^{*}x\|=\sup\{|\lambda |:x^{*}x-\lambda \,1

不可逆

\}

給定的從C^*-代數A到B的有界線性算子 $\pi :A\to B$ 被稱為*-同態，如果

$\forall x,\ y\in A$ ：

\pi (xy)=\pi (x)\pi (y)

$\forall x\in A$ ：

\pi (x^{*})=\pi (x)^{*}

在C^*-代數的情形中，任何*-同態都是壓縮，即範數 ≤ 1而有界。此外，C^*-代數之間的單射*-同態都等距。這些都來自C^*恆等式。

雙射*-同態π稱作C*-同構，其中稱A、B'同構。

歷史：B-代數與C-代數

B*-代數由C. E. Rickart於1946年引入，用於描述滿足以下條件的巴拿赫*-代數：

對給定B*-代數中所有x： $\lVert xx^{*}\rVert =\lVert x\rVert ^{2}$ （B*-條件）

這條件意味着*-對合等距，即 $\lVert x\rVert =\lVert x^{*}\rVert$ 。於是， $\lVert xx^{*}\rVert =\lVert x\rVert \lVert x^{*}\rVert$ ，B*-代數也是C*-代數。反過來看，C*-條件能推出B*-條件。這不是平凡的，但無需用 $\lVert x\rVert =\lVert x^{*}\rVert$ 即可證明。^[1]於是，B*-代數在目前術語已很少使用，取而代之是C*-代數。

C*-代數由I. E. Segal於1947年引入，用於描述 $B(H)$ 的在範數拓撲下閉的子代數，即某希爾伯特空間H上有界算子的空間。C代表封閉（Closed）。^[2]^[3]Segal在論文中將C*-代數定義為「希爾伯特空間上有界算子的一致閉自伴代數」。^[4]

C*-代數的結構

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

自伴元

自伴元是滿足 $x=x^{*}$ 的元素。形式為 $x^{*}x$ 的C*-代數A的元素集形成閉凸錐，與 $xx^{*}$ 形式元素相同。錐的元素被稱作非負元（或正元素，與ℝ中元素的術語相衝突）。

C*-代數A的自伴元集自然具有偏序向量空間結構，通常用 $\geq$ 表示。其中，自伴元素 $x\in A$ ，若且唯若x的譜非負，若且唯若 $s\in A$ ，有 $x=s^{*}s$ ，能滿足 $x\geq 0$ 。兩自伴元 $x,\ y\in A$ 若滿足 $x-y\geq 0$ ，則 $x\geq y$ 。

這個偏序子空間允許在C*-代數上定義正線性泛函，進而定義C*-代數的態，進而利用GNS構造，構造C*-代數的譜。

商與近似單位

C*-代數A都有近似單位。A有自伴元有向族 $\{e_{\lambda }\}_{\lambda \in I}$ 使得

xe_{\lambda }\rightarrow x

0\leq e_{\lambda }\leq e_{\mu }\leq 1\quad {\mbox{ whenever }}\lambda \leq \mu .

A若可分，則有序列近似單位（sequential approximate identity）。更一般地，若且唯若A包含嚴格正元，即正元素h使

hAh

在A中稠密，A才有序列近似單位。

運用近似單位，可證明C*-代數對具有自然範數的閉緊合雙側理想的代數商仍是C*-代數。

同樣，C*-代數的閉雙側理想也是C*-代數。

譜

C*-代數A的譜記作 ${\hat {A}}$ ，是A的不可還原*-表示。A在希爾伯特空間H上的*-表示 $\pi$ ，若且唯若H與 $\{0\}$ 之外沒有閉子集K（即非平凡閉子集）能在 $\forall x\in A,\ \pi (x)$ 下不變時，稱 $\pi$ 是不可還原的。我們隱式地假定，不可還原表示指非空的不可還原表示，從而排除了1維空間上的平凡表示（恆為0）。如下所述，譜 ${\hat {A}}$ 自然也是拓撲空間，這與環的譜類似。

這概念最重要的應用之一是為局部緊群提供對偶對象的概念。這種對偶對象適用於為I型么模可分局部緊群應用傅里葉變換和普朗歇爾定理，以及為I型可分局部緊群的任意表示提出分解定理。然而由此產生的局部緊群對偶理論比緊拓撲群的淡中–克萊因對偶性或局部緊阿貝爾群的龐特里亞金對偶性更弱，後兩者都是完全不變量。由於任何有限維全矩陣代數 $M_{n}(\mathbb {C} )$ 的對偶都由一個點組成，因此對偶不是完全不變量也就不難理解了。

主譜

${\hat {A}}$ 的拓撲可有多種等價的定義方式。首先用主譜定義。

A的主譜是A的主理想集 ${\rm {Prim}}(A)$ ，主理想指非零不可還原*-表示的核。主理想集是具有殼-核拓撲（hull-kernel topology，或雅各布森拓撲）的拓撲空間，定義如下：若X是主理想集，其殼-核閉包是

{\overline {X}}=\left\{\rho \in \operatorname {Prim} (A):\rho \supseteq \bigcap _{\pi \in X}\pi \right\}.

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

{\overline {\overline {X}}}={\overline {X}},

可以證明其滿足庫拉托夫斯基閉包公理，因此可以證明 ${\rm {Prim}}(A)$ 上有唯一的拓撲 $\tau$ ，使得關於 $\tau$ 的集合X的閉包與X的殼-核閉包完全相同。

由於么正等價表示具有相同的核，所以映射 $\pi \mapsto {\rm {ker}}{\pi }$ 通過滿射

\operatorname {k} :{\hat {A}}\to \operatorname {Prim} (A).

分解。我們用k來定義 ${\hat {A}}$ 的拓撲：

定義. ${\hat {A}}$ 的開集是 ${\rm {Prim}}(A)$ 的開子集U的逆像 $k^{}-1i(U)$ 。這便是拓撲。

殼-核拓撲是交換環的扎里斯基拓撲在非交換環上的類似物。殼-核拓撲誘導的 ${\hat {A}}$ 上的拓撲還可用'A的態描述。

例子

交換C*-代數

交換C*-代數A的譜與A的蓋爾范德對偶（注意不要與巴拿赫空間A的對偶A'混淆）重合。具體來說，設X是緊豪斯多夫空間，則有自然同胚

\operatorname {I} :X\cong \operatorname {Prim} (\operatorname {C} (X)).

此映射的定義是

\operatorname {I} (x)=\{f\in \operatorname {C} (X):f(x)=0\}.

其中 $I(x)$ 是 $C(X)$ 中的閉最大理想，也是主理想。對交換C*-代數，

{\hat {A}}\cong \operatorname {Prim} (A).

有界算子的C*-代數

令H維可分無窮維希爾伯特空間。 $L(H)$ 有兩個對范封閉的*-理想： $I_{0}=\{0\}$ 與緊算子的 $K=K(H)$ 。因此作為集合， ${\rm {Prim}}(L(H))=\{I_{0},\ K\}$ 。現在

$\{K\}$ 是 ${\rm {Prim}}(L(H))$ 的閉子集。
$\{I_{0}\}$ 的閉包是 ${\rm {Prim}}(L(H))$ 。

因此 ${\rm {Prim}}(L(H))$ 是非豪斯多夫空間。

另一方面， $L(H)$ 的譜要大得多。有很多核為 $K(H)$ 或 $\{0\}$ 的不等價不可還原表示。

有限維C*-代數

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

A\cong \bigoplus _{e\in \operatorname {min} (A)}Ae,

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

{\hat {A}}\cong \operatorname {Prim} (A).

譜的其他特徵

殼-核拓撲很容易抽象表述，但實際上，對與局部緊拓撲群相關聯的C*-代數，需要用正定函數描述譜上拓撲的其他特徵。實際上， ${\hat {A}}$ 上的拓撲與表示的弱包含密切相關，如下：

定理. 令

S\subseteq {\hat {A}}

。則對不可還原表示

\pi

，下列條件等價：

$\pi$ 在 ${\hat {A}}$ 中的等價類位於S的閉包中；
與 $\pi$ 相關的每個態，即形式為

f_{\xi }(x)=\langle \xi \mid \pi (x)\xi \rangle

且

\lVert \xi \rVert =1

，是與S中的表示相關聯的態的弱極限。

第二個條件意味着 $\pi$ 弱包含於S中。

GNS構造將C*-代數A的態與A的表示相關聯。據與GNS構造相關的基本定理之一，對態f，若且唯若相關表示 $\pi _{f}$ 不可約，f才是純的。此外，由 $f\mapsto \pi _{f}$ 定義的映射 $\kappa :\ {\rm {PureState}}(A)\to {\hat {A}}$ 是滿射。

根據前面的定理，很容易證明下面的內容：

定理 GNS構造給出的映射

\kappa :\operatorname {PureState} (A)\to {\hat {A}}

是連續開映射。

${\rm {Irr}}_{n}(A)$ 空間

${\hat {A}}$ 上的拓撲還有一種描述，即將表示空間視作具有具有適當點收斂拓撲的拓撲空間。詳細點說，令n是基數，令 $H_{n}$ 是n維規範希爾伯特空間。 ${\rm {Irr}}_{n}(A)$ 是A在 $H_{n}$ 中的不可約*-表示空間，具有點弱拓撲。就網的收斂性而言，此拓撲的定義是 $\pi _{i}\to \pi$ ；若且唯若

\langle \pi _{i}(x)\xi \mid \eta \rangle \to \langle \pi (x)\xi \mid \eta \rangle \quad \forall \xi ,\eta \in H_{n}\ x\in A.

事實證明， ${\rm {Irr}}_{n}(A)$ 上的這種拓撲，結構與點強拓撲相同，即若且唯若

\pi _{i}(x)\xi \to \pi (x)\xi \quad {\mbox{ normwise }}\forall \xi \in H_{n}\ x\in A

有 $\pi _{i}\to \pi$ 。

定理. 令

{\hat {A}}_{n}

為

{\hat {A}}

的子集，由底希爾伯特空間是n維的的表示的等價類組成。規範映射

{\rm {Irr}}_{n}(A)\to {\hat {A}}_{n}

是連續開的。特別是，

{\hat {A}}_{n}

可視作

{\rm {Irr}}_{n}(A)

在么正等價下的商拓撲空間。

備註. 將不同的 ${\hat {A}}_{n}$ 拼湊在一起可能相當複雜。

麥基–博雷爾結構

${\hat {A}}$ 是拓撲空間，因此也可視作博雷爾空間。喬治·麥基（G. Mackey）提出了一個著名猜想：若且唯若博雷爾空間是標準的，即（在博雷爾空間範疇中）與完全可分度量空間的底博雷爾空間同構時，稱可分局部緊群是I型的。麥基稱具有這一性質的博雷爾空間為光滑空間。詹姆斯·格利姆在1961年證明了此猜想。

定義. 可分C*-代數A的非退化*-表示 $\pi$ ，若且唯若 $\pi (A)$ 生成的馮諾依曼代數中心是1維時，稱其是因子表示（factor representation）。若且唯若C*-代數A的任意可分因子表示是不可還原因子表示的有限倍或可數倍時，稱其屬於I型。 $C*(G)$ 為I型的可分局部緊群G的例子如連通（實）冪零李群和連通實半單李群。因此，海森堡群都是I型的。緊群和阿貝爾群也都是I型的。

定理. 若A可分，則若且唯若A是I型時，

{\hat {A}}

光滑。

這個結果對可分I型C*-代數及相應的可分I型局部緊群的表示結構進行了意義深遠的概括。

代數主譜

由於C*-代數A是環，所以也可考慮A的主理想集。對一個環，若且唯若理想是單模的零化子時，此理想才是主理想。對C*-代數A，若且唯若一個理想是上述定義意義上的主理想時，它才是代數上的主理想。

定理. 令A是C*-代數。A在復向量空間上的不可還原表示，在代數上等價在希爾伯特空間的拓撲上不可還原的*-表示。若且唯若它們么正等價時，希爾伯特空間上的拓撲不可還原*-表示在代數上同構。

若G是局部緊群，則G的群C*-代數 $C^{*}(G)$ 的對偶空間上的拓撲稱作費爾拓撲，得名於J. M. G. Fell。

例子

有限維C*-代數

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

定理有限維C*-代數A規範地同構於有限直和
$A=\bigoplus _{e\in \min A}Ae$
其中min A是A的最小非零自伴中心投影集。

C*-代數Ae與全矩陣代數 $M({\rm {dim}}(e),\ \mathbb {C} )$ 同構（非規範）。 $\{{\rm {dim}}(e)\}_{e}$ 給出的minA上的有限族索引稱作A的維向量，唯一確定了有限維C*-代數的同構類。用算子K理論的話說，這向量是A的 $K_{0}$ 群的正錐。

†-代數（更確切地說，†-封閉代數）是物理學中偶爾使用的名稱，指有限維C*-代數。^[5]劍標†在物理學中常用於表示埃爾米特伴隨，且通常不關注與無窮維相關的微妙問題。數學中通常用星號*表示埃爾米特伴隨。†-代數在量子力學，特別是量子信息科學中有重要地位。有限維C*-代數的一個直接推廣是近似有限維C*-代數。

算子的C*-代數

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

緊算子的C*-代數

設H為可分無窮維希爾伯特空間，則H上緊算子代數 $K(H)$ 是 $B(H)$ 的閉范子代數。它在對合下也封閉，因此是C*-代數。

緊算子的具體C*-代數具有類似於Wedderburn有限維C*-代數定理的特徵：

定理設A是 $K(H)$ 的C*-子代數，則存在希爾伯特空間 $\{H_{i}\}_{i\in I}$ ，使
$A\cong \bigoplus _{i\in I}K(H_{i}),$
其中（C*-）直和包含笛卡兒積 $\Pi K(H_{i})$ 的元素 $(T_{i}),\ ||T_{i}||\to 0$ </math>。

雖然 $K(H)$ 沒有么元，但可以為 $K(H)$ 建立一個序列近似單位，具體來說H同構於平方可和序列 $I^{2}$ 空間；不妨令 $H=I^{2}$ 。對每個自然數n，令 $H_{n}$ 為項 $k\geq n$ 時為零的 $I^{2}$ 序列的子空間，令 $e_{n}$ 為到 $H_{n}$ 的正交投影。則，序列 $\{e_{n}\}_{n}$ 是 $K(H)$ 的近似單位。

$K(H)$ 是 $B(H)$ 的雙側閉理想。對可分希爾伯特空間，是唯一理想。商 $B(H)/K(H)$ 稱作卡爾金代數。

交換C*-代數

令X為局部緊豪斯多夫空間，其上在無窮遠處為零的復值連續函數空間 $C_{0}(X)$ 在逐點乘與加法下形成交換C*-代數 $C_{0}(X)$ 。對合是逐點共軛。若且唯若X緊時， $C_{0}(X)$ 有乘法單位元。與其他C*-代數一樣， $C_{0}(X)$ 有近似單位；對 $C_{0}(X)$ 這是直接的：考慮X的緊子集直和，對每個緊K，令 $f_{K}$ 為緊支撐函數，且在K上等於1。根據適用於局部緊豪斯多夫空間的蒂策擴張定理，這樣的函數是存在的。這樣的函數序列 $\{f_{K}\}$ 都是近似單位。

蓋爾范德表示指出，交換C*-代數*-同構於代數 $C_{0}(X)$ ，其中X是具備弱*拓撲的特徵標空間。此外，若 $C_{0}(X)$ 同構於C*-代數 $C_{0}(Y)$ ，則X、Y同胚。這一特徵是非交換拓撲與非交換幾何綱領的動機之一。

C*-包絡代數

給定巴拿赫*-代數A，具有近似單位，則有（在C*-同構意義上）唯一的C*-代數 $\mathbb {E} (A)$ 與萬有的*-態射 $\pi :\ A\to \mathbb {E} (A)$ ，即其他連續*-態射 $\pi :\ A\to B$ 因子都唯一地通過π。代數 $\mathbb {E} (A)$ 稱作巴拿赫*-代數A的C*-包絡代數。

局部緊群G的C*-代數尤為重要，定義為G的群代數的包絡C*-代數。G的C*-代數提供了非阿貝爾情形下的一般調和分析，特別是，局部緊群的對偶定義為群C*-代數的主理想空間。

馮諾依曼代數

馮諾依曼代數在1960年代以前稱作W*-代數，是一類特殊的C*-代數。它們需要在弱算子拓撲下封閉，這比範數拓撲更弱。

謝爾曼–武田定理表明，C*-代數都有泛包絡W*-代數，使到W*-代數的任意同態都通過它。

C*-代數的種類

令A為C*-代數。A是I類，若且唯若對A的所有非退化表示π， $\pi (A)''$ （即 $\pi (A)$ 的雙交換子）是I類馮諾依曼代數。實際上，只需考慮因子表示，即 $\pi (A)''$ 是因子的表示。局部緊群屬於I類，若且唯若其群C*-代數是I類。

不過，若C*-代數具有非I類表示，則根據詹姆斯·格利姆的結果，它也有II類、III類的表示。因此，對C*-代數和局部緊群，只有I類和非I類的說法才有意義。

C*-代數與量子場論

量子力學中，通常用有單位元的C*-代數A描述物理系統；A的自伴元（ $\forall x\in A,\ x^{*}=x$ ）被視為系統的可觀測值。系統狀態定義為A上的正泛函（ $\mathbb {C}$ 線性映射 $\varphi :\ A\to \mathbb {C} ,\ \forall u\in A,\ \varphi (u^{*}u)\geq 0$ ），使得 $\varphi (1)=1$ 。若系統處於φ狀態，則可觀測值x的期望值為φ(x)。

局部量子場論的Haag-Kastler公理化使用了這C*-代數方法，閔可夫斯基時空的開集都與一個C*-代數相關聯。

另見

腳註

^ Doran & Belfi 1986，第5–6頁, Google Books.
^ Doran & Belfi 1986，第6頁, Google Books.
^ Segal 1947
^ Segal 1947，第75頁
^ John A. Holbrook, David W. Kribs, and Raymond Laflamme. "Noiseless Subsystems and the Structure of the Commutant in Quantum Error Correction." Quantum Information Processing. Volume 2, Number 5, pp. 381–419. Oct 2003.

參考文獻

Arveson, W., An Invitation to C*-Algebra, Springer-Verlag, 1976, ISBN 0-387-90176-0 . An excellent introduction to the subject, accessible for those with a knowledge of basic functional analysis.
Connes, Alain, Non-commutative geometry, 1994, ISBN 0-12-185860-X . This book is widely regarded as a source of new research material, providing much supporting intuition, but it is difficult.
Dixmier, Jacques, Les C*-algèbres et leurs représentations, Gauthier-Villars, 1969, ISBN 0-7204-0762-1 . 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.
Doran, Robert S.; Belfi, Victor A., Characterizations of C*-algebras: The Gelfand-Naimark Theorems, CRC Press, 1986, ISBN 978-0-8247-7569-8 .
Emch, G., Algebraic Methods in Statistical Mechanics and Quantum Field Theory, Wiley-Interscience, 1972, ISBN 0-471-23900-3 . Mathematically rigorous reference which provides extensive physics background.
A.I. Shtern, C*-algebra, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
Sakai, S., C*-algebras and W*-algebras, Springer, 1971, ISBN 3-540-63633-1 .
Segal, Irving, Irreducible representations of operator algebras, Bulletin of the American Mathematical Society, 1947, 53 (2): 73–88, doi:10.1090/S0002-9904-1947-08742-5  .

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.

[1] Doran & Belfi 1986，第5–6頁, Google Books.

[2] Doran & Belfi 1986，第6頁, Google Books.

[3] Segal 1947

[4] Segal 1947，第75頁

[5] John A. Holbrook, David W. Kribs, and Raymond Laflamme. "Noiseless Subsystems and the Structure of the Commutant in Quantum Error Correction." Quantum Information Processing. Volume 2, Number 5, pp. 381–419. Oct 2003.

[1]

[2]

[3]

[4]

[5]

閱論編巴拿赫空間
種類	阿斯普倫德空間（英語：Asplund space）巴拿赫空間巴拿赫空間列表（英語：List of Banach spaces）巴拿赫格（英語：Banach lattice）格羅滕迪克空間（英語：Grothendieck space）希爾伯特空間內積空間極化恆等式（多項式）自反空間里斯空間（英語：Riesz space） L半內積（英語：L-semi-inner product）（B凸空間（英語：B-convex space））嚴格凸空間（英語：Strictly convex space）一致凸空間（英語：Uniformly convex space）一致光滑空間（英語：Uniformly smooth space）（單射張量積（英語：Injective tensor product）射影張量積（英語：Projective tensor product））拓撲張量積（英語：Topological tensor product）（希爾伯特空間的張量積（英語：Tensor product of Hilbert spaces））
巴拿赫空間是：	桶空間（英語：Barrelled space）完備拓撲向量空間（英語：Complete topological vector space） F空間（英語：F-space）弗雷歇空間（英語：Fréchet space）局部凸拓撲向量空間（英語：Locally convex topological vector space）度規函數麥基空間（英語：Mackey space）可度量化拓撲向量空間（英語：Metrizable topological vector space）賦范範數擬賦范空間
函數空間拓撲	巴拿赫-馬祖爾緊統（英語：Banach–Mazur compactum）對偶拓撲（英語：Dual topology）對偶空間對偶範數算子拓撲超弱拓撲弱拓撲（英語：Weak topology）弱算子拓撲強拓撲（英語：Strong topology）強對偶拓撲（英語：Strong dual topology）強算子拓撲超強拓撲（英語：Ultrastrong topology）線性映射空間拓撲（英語：Topologies on spaces of linear maps）
線性映射	埃爾米特伴隨雙線性映射雙線性形式半雙線性形式無界、有界算子閉線性算子緊算子（不（英語：Discontinuous linear map））連續線性算子稠密線性算子（英語：Densely defined operator）弗雷德霍姆弗雷德霍姆核（英語：Fredholm kernel）弗雷德霍姆算子（英語：Fredholm operator）希爾伯特-施密特算子線性泛函正線性泛函（英語：Positive linear functional）偽單調算子（英語：Pseudo-monotone operator）正規算子核型算子（英語：Nuclear operator）自伴算子嚴格奇異算子（英語：Strictly singular operator）跡類算子么正算子
算子理論	巴拿赫代數 C-代數算子空間譜 C-代數#譜譜半徑譜理論常微分方程譜理論（英語：Spectral theory of ordinary differential equations）譜定理極分解奇異值分解
定理	安德森-卡德茨定理（英語：Anderson–Kadec theorem）巴拿赫-阿勞格魯定理巴拿赫-馬祖爾定理（英語：Banach–Mazur theorem）開映射定理一致有界性原理貝塞爾不等式柯西-施瓦茨不等式閉圖像定理閉值域定理埃伯林-史穆連定理（英語：Eberlein–Šmulian theorem）弗賴登塔爾譜定理（英語：Freudenthal spectral theorem）蓋爾范德-馬祖爾定理（英語：Gelfand–Mazur theorem）蓋爾范德-奈馬克定理（英語：Gelfand–Naimark theorem）戈德斯坦定理（英語：Goldstine theorem）哈恩-巴拿赫定理超平面分離定理角谷不動點定理克林-米爾曼定理（英語：Krein–Milman theorem）羅蒙諾索夫不變子空間麥基-阿倫斯定理（英語：Mackey–Arens theorem）馬祖爾引理（英語：Mazur's lemma）里斯擴張定理（英語：M. Riesz extension theorem）帕塞瓦爾恆等式里斯引理（英語：Riesz's lemma）里斯表示定理羅賓遜-烏爾塞斯庫定理（英語：Ursescu theorem#Robinson–Ursescu theorem）紹德爾不動點定理（英語：Schauder fixed-point theorem）
分析	維納空間巴拿赫流形（英語：Banach manifold）巴拿赫叢（英語：Banach bundle）博赫納空間（英語：Bochner space）凸級數（英語：Convex series）弗雷歇空間#微分（英語：Differentiation in Fréchet spaces）導數弗雷歇導數加托導數泛函導數無窮維全純（英語：Infinite-dimensional holomorphy）准導數（英語：Quasi-derivative）積分博赫納積分貝蒂斯積分#與鄧福德積分的關係（英語：Dunford integral）貝蒂斯積分（英語：Pettis integral）正則化積分（英語：Regulated integral）佩利-維納積分（英語：Paley–Wiener integral）泛函微積分（英語：Functional calculus）博雷爾泛函微積分（英語：Borel functional calculus）連續泛函微積分（英語：Continuous functional calculus）全純泛函微積分（英語：Holomorphic functional calculus）測度無窮維勒貝格測度（英語：Infinite-dimensional Lebesgue measure）射影值測度（英語：Projection-valued measure）向量測度弱可測函數 / 強可測函數（英語：Strongly measurable functions）
集合類型	絕對凸集吸收集仿射空間平衡集有界集凸集凸錐_（子集）徑向集徑向凸/星形對稱集環帶多面體#全對稱多胞形（英語：Zonotope）
子集 / 集合運算	仿射包（英語：Affine hull）代數內部（相對內部（英語：Relative interior）、准相對內部）分界點凸包極點內部線性生成空間閔可夫斯基和極集（英語：Polar set）
示例	絕對連續 $ba(\Sigma )$ （英語：ba space） c空間（英語：c space） BK空間（英語：BK-space）貝索夫空間（英語：Besov space）奧爾利奇空間（英語：Orlicz space）有界變差 Bs空間（英語：Bs space）哈代空間希爾伯特空間墨瑞-坎帕納圖空間（英語：Morrey–Campanato space） Lp空間速降函數空間西格爾-巴格曼空間（英語：Segal–Bargmann space）序列空間（英語：Sequence space）索伯列夫空間索博列夫不等式
應用	微分算子有限元法量子力學的數學表述常微分方程譜理論（英語：Spectral theory of ordinary differential equations）

閱論編泛函分析
集合 / 子集	絕對凸集吸收集平衡集有界集 (拓撲向量空間)（英語：Bounded set (topological vector space)）凸集徑向集星形域對稱集凸錐
拓撲向量空間	巴拿赫空間歐幾里得空間希爾伯特空間索伯列夫空間局部凸（英語：Locally convex topological vector space）賦範向量空間（範數）擬賦范空間自反空間拓撲張量積（英語：Topological tensor product） (希爾伯特空間中) 速降函數空間
映射拓撲	對偶空間算子拓撲弱拓撲（英語：Weak topology）強拓撲（英語：Strong topology）拓撲的一致收斂（英語：Topology of uniform convergence）
線性算子	伴隨雙線性形式有界 / 無界連續線性緊 Fredholm（英語：Fredholm operator）希爾伯特-施密特泛函正規核型（英語：Nuclear operator）自伴嚴格奇異算子（英語：Strictly singular operator）跡類有限秩轉置（英語：Transpose of a linear map）酉 / 么正
集合運算	代數內部內部閔可夫斯基和極性集
算子理論	巴拿赫代數 C*-代數譜 (泛函分析) （譜半徑）譜理論（譜定理投影值測度）極分解奇異值分解
定理	阿爾澤拉-阿斯科利定理巴拿赫-阿勞格魯定理巴拿赫-馬祖爾定理（英語：Banach–Mazur theorem）貝爾綱定理貝塞爾不等式柯西-施瓦茨不等式閉值域定理閉圖像定理哈恩-巴拿赫定理角谷不動點定理不變子空間問題 Riesz延拓定理（英語：M. Riesz extension theorem）開映射定理拉克斯-米爾格拉姆定理帕塞瓦爾恆等式肖德爾不動點定理（英語：Schauder fixed point theorem）
分析	導數 (弗雷歇導數加托導數泛函導數) 積分 (博赫納積分佩蒂斯積分（英語：Pettis integral）) 函數演算 (全純函數演算連續函數演算博雷爾函數演算) 反函數定理向量測度弱可測函數

抽象刻畫

歷史：B*-代數與C*-代數

C*-代數的結構

自伴元

商與近似單位

譜

主譜

例子

交換C*-代數

有界算子的C*-代數

有限維C*-代數

譜的其他特徵

I r r n ( A ) {\displaystyle {\rm {Irr}}_{n}(A)} 空間

麥基–博雷爾結構

代數主譜

例子

有限維C*-代數

算子的C*-代數

緊算子的C*-代數

交換C*-代數

C*-包絡代數

馮諾依曼代數

C*-代數的種類

C*-代數與量子場論

另見

腳註

參考文獻

歷史：B-代數與C-代數

${\rm {Irr}}_{n}(A)$ 空間