泛函分析中，**C\*-代数**（或读作"C星代数"）是配备了满足伴随性质的对合的巴拿赫代数。典型例子是满足以下两个性质的複希尔伯特空间上连续线性算子的複代数*A*：

* *A*是算子范数拓扑中的拓扑闭集。
* *A*是算子伴随运算下的闭集。

另一类非常重要的C\*-代数包括*X*上的复值连续函数代数{\displaystyle C\_{0}(X)}，其中*X*是局部紧豪斯多夫空间。
一般认为C\*-代数主要是应用在量子力学中可观察量的模型代数中。这方面的研究始于1933年左右维尔纳·海森堡创立的矩阵力学以及帕斯库尔·约当研究的更接近数学的形式。之后冯·诺依曼在他的一系列关于算子环的论文中尝试建立更广泛的架构。这些论文可看做是一类特殊的C\*-代数，现在称为冯诺依曼代数。

1943年前后，伊斯拉埃爾·蓋爾范德和马克·奈马克对C\*-代数建立了不依赖于希尔伯特空间算子的抽象刻画。

在当代数学研究中，C\*-代数是局部紧群的酉表示理论的重要工具，在量子力学的代数架构中也有应用。另一个活跃的研究领域是对可分单核C\*-代数的分类以及确定分类的详细可能性。

抽象刻画
----

此处给出盖尔范德和奈马克1943年给出的定义。

C\*-代数*A*是复数域上的巴拿赫代数以及映射{\displaystyle {}^{\*}:\ A\to A}的组合。*A*中元素*x*关于映射\* 的像记作*x*\*。映射拥有下列性质

* {\displaystyle \forall x\in A}，是对合：

{\displaystyle x^{\*\*}=(x^{\*})^{\*}=x}
* {\displaystyle \forall x,\ y\in A:}

{\displaystyle (x+y)^{\*}=x^{\*}+y^{\*}}
{\displaystyle (xy)^{\*}=y^{\*}x^{\*}}
* 对任意复数{\displaystyle \lambda \in \mathbb {C} }以及{\displaystyle \forall x\in A}：

{\displaystyle (\lambda x)^{\*}={\overline {\lambda }}x^{\*}}
* {\displaystyle \forall x\in A}：

{\displaystyle \|x^{\*}x\|=\|x\|\|x^{\*}\|.}
**备注** 前四条等式表示*A*是\*-代数。最后一条叫做**C\*恒等式**，等价于

{\displaystyle \|xx^{\*}\|=\|x\|^{2}}
有时也称作B\*-恒等式。这是很强的约束，举例来说，结合谱半径公式可以推出C\*–范数由以下代数结构唯一确定：

{\displaystyle \|x\|^{2}=\|x^{\*}x\|=\sup\{|\lambda |:x^{\*}x-\lambda \,1}不可逆{\displaystyle \}}
给定的从C\*-代数*A*到*B*的有界线性算子 {\displaystyle \pi :A\to B}被称为**\*-同态**，如果

* {\displaystyle \forall x,\ y\in A}：

{\displaystyle \pi (xy)=\pi (x)\pi (y)}
* {\displaystyle \forall x\in A}：

{\displaystyle \pi (x^{\*})=\pi (x)^{\*}}
在C\*-代数的情形中，任何\*-同态都是压缩，即范数 ≤ 1而有界。此外，C\*-代数之间的单射\*-同态都等距。这些都来自C\*恒等式。

双射\*-同态*π*称作**C\*-同构**，其中称*A*、*B'**同构**。*

历史：B\*-代数与C\*-代数
----------------

B\*-代数由C. E. Rickart于1946年引入，用于描述满足以下条件的巴拿赫\*-代数：

* 对给定B\*-代数中所有*x*：{\displaystyle \lVert xx^{\*}\rVert =\lVert x\rVert ^{2}}（B\*-条件）

这条件意味着\*-对合等距，即{\displaystyle \lVert x\rVert =\lVert x^{\*}\rVert }。于是，{\displaystyle \lVert xx^{\*}\rVert =\lVert x\rVert \lVert x^{\*}\rVert }，B\*-代数也是C\*-代数。反过来看，C\*-条件能推出B\*-条件。这不是平凡的，但无需用{\displaystyle \lVert x\rVert =\lVert x^{\*}\rVert }即可证明。于是，B\*-代数在目前术语已很少使用，取而代之是C\*-代数。

C\*-代数由I. E. Segal于1947年引入，用于描述{\displaystyle B(H)}的在范数拓扑下闭的子代数，即某希尔伯特空间*H*上有界算子的空间。C代表封闭（Closed）。Segal在论文中将C\*-代数定义为"希尔伯特空间上有界算子的一致闭自伴代数"。

C\*-代数的结构
---------

C\*-代数有大量技术上很方便的性质，其中一些可通过连续泛函微积分或还原为交换C\*-代数来建立。后者时，我们可以利用其结构由盖尔范德同构决定这一事实。

### 自伴元

自伴元是满足{\displaystyle x=x^{\*}}的元素。形式为{\displaystyle x^{\*}x}的C\*-代数*A*的元素集形成闭凸锥，与{\displaystyle xx^{\*}}形式元素相同。锥的元素被称作非负元（或正元素，与ℝ中元素的术语相冲突）。

C\*-代数*A*的自伴元集自然具有偏序向量空间结构，通常用{\displaystyle \geq }表示。其中，自伴元素{\displaystyle x\in A}，当且仅当*x*的谱非负，当且仅当{\displaystyle s\in A}，有{\displaystyle x=s^{\*}s}，能满足{\displaystyle x\geq 0}。两自伴元{\displaystyle x,\ y\in A}若满足{\displaystyle x-y\geq 0}，则{\displaystyle x\geq y}。

这个偏序子空间允许在C\*-代数上定义正线性泛函，进而定义C\*-代数的态，进而利用GNS构造，构造C\*-代数的谱。

### 商与近似单位

C\*-代数*A*都有近似单位。*A*有自伴元有向族{\displaystyle \{e\_{\lambda }\}\_{\lambda \in I}}使得

{\displaystyle xe\_{\lambda }\rightarrow x}
{\displaystyle 0\leq e\_{\lambda }\leq e\_{\mu }\leq 1\quad {\mbox{ whenever }}\lambda \leq \mu .}
*A*若可分，则有序列近似单位（sequential approximate identity）。更一般地，当且仅当*A*包含**严格正元**，即正元素*h*使{\displaystyle hAh}在*A*中稠密，*A*才有序列近似单位。
运用近似单位，可证明C\*-代数对具有自然范数的闭紧合双侧理想的代数商仍是C\*-代数。

同样，C\*-代数的闭双侧理想也是C\*-代数。

谱
-

**C\*-代数*A*的谱**记作{\displaystyle {\hat {A}}}，是*A*的不可还原\*-表示。*A*在希尔伯特空间*H*上的\*-表示{\displaystyle \pi }，当且仅当*H*与{\displaystyle \{0\}}之外没有闭子集*K*（即非平凡闭子集）能在{\displaystyle \forall x\in A,\ \pi (x)}下不变时，称{\displaystyle \pi }是不可还原的。我们隐式地假定，不可还原表示指非空的不可还原表示，从而排除了1维空间上的平凡表示（恒为0）。如下所述，谱{\displaystyle {\hat {A}}}自然也是拓扑空间，这与环的谱类似。

这概念最重要的应用之一是为局部紧群提供对偶对象的概念。这种对偶对象适用于为I型幺模可分局部紧群应用傅里叶变换和普朗歇尔定理，以及为I型可分局部紧群的任意表示提出分解定理。然而由此产生的局部紧群对偶理论比紧拓扑群的淡中–克莱因对偶性或局部紧阿贝尔群的庞特里亚金对偶性更弱，后两者都是完全不变量。由于任何有限维全矩阵代数{\displaystyle M\_{n}(\mathbb {C} )}的对偶都由一个点组成，因此对偶不是完全不变量也就不难理解了。

### 主谱

{\displaystyle {\hat {A}}}的拓扑可有多种等价的定义方式。首先用**主谱**定义。

*A*的主谱是*A*的主理想集{\displaystyle {\rm {Prim}}(A)}，主理想指非零不可还原\*-表示的核。主理想集是具有**壳-核拓扑**（hull-kernel topology，或**雅各布森拓扑**）的拓扑空间，定义如下：若*X*是主理想集，其**壳-核闭包**是

{\displaystyle {\overline {X}}=\left\{\rho \in \operatorname {Prim} (A):\rho \supseteq \bigcap \_{\pi \in X}\pi \right\}.}
很容易证明壳-核闭包是一种幂等运算，即

{\displaystyle {\overline {\overline {X}}}={\overline {X}},}
可以证明其满足库拉托夫斯基闭包公理，因此可以证明{\displaystyle {\rm {Prim}}(A)}上有唯一的拓扑{\displaystyle \tau }，使得关于{\displaystyle \tau }的集合*X*的闭包与*X*的壳-核闭包完全相同。

由于幺正等价表示具有相同的核，所以映射{\displaystyle \pi \mapsto {\rm {ker}}{\pi }}通过满射

{\displaystyle \operatorname {k} :{\hat {A}}\to \operatorname {Prim} (A).}
分解。我们用*k*来定义{\displaystyle {\hat {A}}}的拓扑：

**定义**. {\displaystyle {\hat {A}}}的开集是{\displaystyle {\rm {Prim}}(A)}的开子集*U*的逆像{\displaystyle k^{}-1i(U)}。这便是拓扑。

壳-核拓扑是交换环的扎里斯基拓扑在非交换环上的类似物。壳-核拓扑诱导的{\displaystyle {\hat {A}}}上的拓扑还可用'A*的态描述。*

### 例子

#### 交换C\*-代数

3维交换C\*-代数及其理想。8个理想中的每个都对应离散3点空间的一个闭子集（或开补集），主理想对应闭单元集。
交换C\*-代数*A*的谱与*A*的盖尔范德对偶（注意不要与巴拿赫空间*A*的对偶*A'*混淆）重合。具体来说，设*X*是紧豪斯多夫空间，则有自然同胚

{\displaystyle \operatorname {I} :X\cong \operatorname {Prim} (\operatorname {C} (X)).}
此映射的定义是

{\displaystyle \operatorname {I} (x)=\{f\in \operatorname {C} (X):f(x)=0\}.}
其中{\displaystyle I(x)}是{\displaystyle C(X)}中的闭最大理想，也是主理想。对交换C\*-代数，

{\displaystyle {\hat {A}}\cong \operatorname {Prim} (A).}
#### 有界算子的C\*-代数

令*H*维可分无穷维希尔伯特空间。{\displaystyle L(H)}有两个对范封闭的\*-理想：{\displaystyle I\_{0}=\{0\}}与紧算子的{\displaystyle K=K(H)}。因此作为集合，{\displaystyle {\rm {Prim}}(L(H))=\{I\_{0},\ K\}}。现在

* {\displaystyle \{K\}}是{\displaystyle {\rm {Prim}}(L(H))}的闭子集。
* {\displaystyle \{I\_{0}\}}的闭包是{\displaystyle {\rm {Prim}}(L(H))}。

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

另一方面，{\displaystyle L(H)}的谱要大得多。有很多核为{\displaystyle K(H)}或{\displaystyle \{0\}}的不等价不可还原表示。

#### 有限维C\*-代数

设*A* 是有限维C\*-代数。已知*A*同构于全矩阵代数的有限直和：

{\displaystyle A\cong \bigoplus \_{e\in \operatorname {min} (A)}Ae,}
其中{\displaystyle {\rm {min}}(A)}是*A*的最小中心投影。*A*的谱与{\displaystyle {\rm {min}}(A)}在离散拓扑上规范同构。对有限维C\*-代数，也有同构

{\displaystyle {\hat {A}}\cong \operatorname {Prim} (A).}
### 谱的其他特征

壳-核拓扑很容易抽象表述，但实际上，对与局部紧拓扑群相关联的C\*-代数，需要用正定函数描述谱上拓扑的其他特征。实际上，{\displaystyle {\hat {A}}}上的拓扑与表示的弱包含密切相关，如下：

**定理**. 令{\displaystyle S\subseteq {\hat {A}}}。则对不可还原表示{\displaystyle \pi }，下列条件等价：
1. {\displaystyle \pi }在{\displaystyle {\hat {A}}}中的等价类位于*S*的闭包中；
2. 与{\displaystyle \pi }相关的每个态，即形式为

{\displaystyle f\_{\xi }(x)=\langle \xi \mid \pi (x)\xi \rangle }
且{\displaystyle \lVert \xi \rVert =1}，是与*S*中的表示相关联的态的弱极限。
第二个条件意味着{\displaystyle \pi }弱包含于*S*中。

GNS构造将C\*-代数*A*的态与*A*的表示相关联。据与GNS构造相关的基本定理之一，对态*f*，当且仅当相关表示{\displaystyle \pi \_{f}}不可约，*f*才是纯的。此外，由{\displaystyle f\mapsto \pi \_{f}}定义的映射{\displaystyle \kappa :\ {\rm {PureState}}(A)\to {\hat {A}}}是满射。

根据前面的定理，很容易证明下面的内容：

**定理** GNS构造给出的映射
{\displaystyle \kappa :\operatorname {PureState} (A)\to {\hat {A}}}
是连续开映射。
#### {\displaystyle {\rm {Irr}}\_{n}(A)}空间

{\displaystyle {\hat {A}}}上的拓扑还有一种描述，即将表示空间视作具有具有适当点收敛拓扑的拓扑空间。详细点说，令*n*是基数，令{\displaystyle H\_{n}}是*n*维规范希尔伯特空间。
{\displaystyle {\rm {Irr}}\_{n}(A)}是*A*在{\displaystyle H\_{n}}中的不可约\*-表示空间，具有点弱拓扑。就网的收敛性而言，此拓扑的定义是{\displaystyle \pi \_{i}\to \pi }；当且仅当

{\displaystyle \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.}
事实证明，{\displaystyle {\rm {Irr}}\_{n}(A)}上的这种拓扑，结构与点强拓扑相同，即当且仅当

{\displaystyle \pi \_{i}(x)\xi \to \pi (x)\xi \quad {\mbox{ normwise }}\forall \xi \in H\_{n}\ x\in A}
有{\displaystyle \pi \_{i}\to \pi }。

**定理**. 令{\displaystyle {\hat {A}}\_{n}}为{\displaystyle {\hat {A}}}的子集，由底希尔伯特空间是*n*维的的表示的等价类组成。规范映射{\displaystyle {\rm {Irr}}\_{n}(A)\to {\hat {A}}\_{n}}是连续开的。特别是，{\displaystyle {\hat {A}}\_{n}}可视作{\displaystyle {\rm {Irr}}\_{n}(A)}在幺正等价下的商拓扑空间。
**备注**. 将不同的{\displaystyle {\hat {A}}\_{n}}拼凑在一起可能相当复杂。

### 麦基–博雷尔结构

{\displaystyle {\hat {A}}}是拓扑空间，因此也可视作博雷尔空间。乔治·麦基（G. Mackey）提出了一个著名猜想：当且仅当博雷尔空间是标准的，即（在博雷尔空间范畴中）与完全可分度量空间的底博雷尔空间同构时，称可分局部紧群是I型的。麦基称具有这一性质的博雷尔空间为光滑空间。詹姆斯·格利姆在1961年证明了此猜想。

**定义**. 可分C\*-代数*A*的非退化\*-表示{\displaystyle \pi }，当且仅当{\displaystyle \pi (A)}生成的冯诺依曼代数中心是1维时，称其是**因子表示**（factor representation）。当且仅当C\*-代数*A*的任意可分因子表示是不可还原因子表示的有限倍或可数倍时，称其属于I型。
{\displaystyle C\*(G)}为I型的可分局部紧群*G*的例子如连通（实）幂零李群和连通实半单李群。因此，海森堡群都是I型的。紧群和阿贝尔群也都是I型的。

**定理**. 若*A*可分，则当且仅当*A*是I型时，{\displaystyle {\hat {A}}}光滑。
这个结果对可分I型C\*-代数及相应的可分I型局部紧群的表示结构进行了意义深远的概括。

### 代数主谱

参见：主谱
由于C\*-代数*A*是环，所以也可考虑*A*的主理想集。对一个环，当且仅当理想是单模的零化子时，此理想才是主理想。对C\*-代数*A*，当且仅当一个理想是上述定义意义上的主理想时，它才是代数上的主理想。

**定理**. 令*A*是C\*-代数。*A*在复向量空间上的不可还原表示，在代数上等价在希尔伯特空间的拓扑上不可还原的\*-表示。当且仅当它们幺正等价时，希尔伯特空间上的拓扑不可还原\*-表示在代数上同构。
若*G*是局部紧群，则*G*的群C\*-代数{\displaystyle C^{\*}(G)}的对偶空间上的拓扑称作**费尔拓扑**，得名于J. M. G. Fell。

例子
--

### 有限维C\*-代数

{\displaystyle \mathbb {C} }上*n*阶方阵的代数{\displaystyle M(n,\ \mathbb {C} )}，若将方阵看做欧氏空间{\displaystyle \mathbb {C} ^{n}}上的算子，并在方阵上使用算子范数||·||，则{\displaystyle M(n,\ \mathbb {C} )}就变成了C\*-代数；对合由共轭转置给出。更一般地，可以考虑矩阵代数的有限直和。事实上，所有作为向量空间有限维的C\*-代数在同构的意义上都是这种形式。自伴要求意味着有限维C\*-代数是半单代数，由此可推出下面的阿廷-韦德伯恩定理：

> **定理** 有限维C\*-代数*A*规范地同构于有限直和
> 
> 
> {\displaystyle A=\bigoplus \_{e\in \min A}Ae}
> 其中min *A*是*A*的最小非零自伴中心投影集。
> 
> 

C\*-代数*Ae*与全矩阵代数{\displaystyle M({\rm {dim}}(e),\ \mathbb {C} )}同构（非规范）。{\displaystyle \{{\rm {dim}}(e)\}\_{e}}给出的min*A*上的有限族索引称作*A*的维向量，唯一确定了有限维C\*-代数的同构类。用算子K理论的话说，这向量是*A*的{\displaystyle K\_{0}}群的正锥。

**†-代数**（更确切地说，*†-封闭代数*）是物理学中偶尔使用的名称，指有限维C\*-代数。剑标†在物理学中常用于表示埃尔米特伴随，且通常不关注与无穷维相关的微妙问题。数学中通常用星号\*表示埃尔米特伴随。†-代数在量子力学，特别是量子信息科学中有重要地位。
有限维C\*-代数的一个直接推广是近似有限维C\*-代数。

### 算子的C\*-代数

C\*-代数的典型例子是定义在复希尔伯特空间*H*上的有界（等价于连续）线性算子的代数{\displaystyle B(H)}，其中*x\**表示算子{\displaystyle x:\ H\to \ H}的伴随算子。事实上，对合适的希尔伯特空间*H*，所有C\*-代数*A*都\*-同构于{\displaystyle B(H)}的闭范伴随闭子代数，这就是盖尔范德-奈马克定理。

### 紧算子的C\*-代数

设*H*为可分无穷维希尔伯特空间，则*H*上紧算子代数{\displaystyle K(H)}是{\displaystyle B(H)}的闭范子代数。它在对合下也封闭，因此是C\*-代数。

紧算子的具体C\*-代数具有类似于Wedderburn有限维C\*-代数定理的特征：

> **定理** 设*A*是{\displaystyle K(H)}的C\*-子代数，则存在希尔伯特空间{\displaystyle \{H\_{i}\}\_{i\in I}}，使
> 
> 
> {\displaystyle A\cong \bigoplus \_{i\in I}K(H\_{i}),}
> 其中（C\*-）直和包含笛卡儿积{\displaystyle \Pi K(H\_{i})}的元素{\displaystyle (T\_{i}),\ ||T\_{i}||\to 0}</math>。
> 
> 

虽然{\displaystyle K(H)}没有幺元，但可以为{\displaystyle K(H)}建立一个序列近似单位，具体来说*H*同构于平方可和序列{\displaystyle I^{2}}空间；不妨令{\displaystyle H=I^{2}}。对每个自然数*n*，令{\displaystyle H\_{n}}为项{\displaystyle k\geq n}时为零的{\displaystyle I^{2}}序列的子空间，令{\displaystyle e\_{n}}为到{\displaystyle H\_{n}}的正交投影。则，序列{\displaystyle \{e\_{n}\}\_{n}}是{\displaystyle K(H)}的近似单位。

{\displaystyle K(H)}是{\displaystyle B(H)}的双侧闭理想。对可分希尔伯特空间，是唯一理想。商{\displaystyle B(H)/K(H)}称作卡尔金代数。

### 交换C\*-代数

令*X*为局部紧豪斯多夫空间，其上在无穷远处为零的复值连续函数空间{\displaystyle C\_{0}(X)}在逐点乘与加法下形成交换C\*-代数{\displaystyle C\_{0}(X)}。对合是逐点共轭。当且仅当*X*紧时，{\displaystyle C\_{0}(X)}有乘法单位元。与其他C\*-代数一样，{\displaystyle C\_{0}(X)}有近似单位；对{\displaystyle C\_{0}(X)}这是直接的：考虑*X*的紧子集直和，对每个紧*K*，令{\displaystyle f\_{K}}为紧支撑函数， 且在*K*上等于1。根据适用于局部紧豪斯多夫空间的蒂策扩张定理，这样的函数是存在的。这样的函数序列{\displaystyle \{f\_{K}\}}都是近似单位。

盖尔范德表示指出，交换C\*-代数\*-同构于代数{\displaystyle C\_{0}(X)}，其中*X*是具备弱\*拓扑的特征标空间。此外，若{\displaystyle C\_{0}(X)}同构于C\*-代数{\displaystyle C\_{0}(Y)}，则*X*、*Y*同胚。这一特征是非交换拓扑与非交换几何纲领的动机之一。

### C\*-包络代数

给定巴拿赫\*-代数*A*，具有近似单位，则有（在C\*-同构意义上）唯一的C\*-代数{\displaystyle \mathbb {E} (A)}与万有的\*-态射{\displaystyle \pi :\ A\to \mathbb {E} (A)}，即其他连续\*-态射{\displaystyle \pi :\ A\to B}因子都唯一地通过π。代数{\displaystyle \mathbb {E} (A)}称作巴拿赫\*-代数*A*的**C\*-包络代数**。

局部紧群*G*的C\*-代数尤为重要，定义为*G*的群代数的包络C\*-代数。*G*的C\*-代数提供了非阿贝尔情形下的一般调和分析，特别是，局部紧群的对偶定义为群C\*-代数的主理想空间。

### 冯诺依曼代数

冯诺依曼代数在1960年代以前称作W\*-代数，是一类特殊的C\*-代数。它们需要在弱算子拓扑下封闭，这比范数拓扑更弱。

谢尔曼–武田定理表明，C\*-代数都有泛包络W\*-代数，使到W\*-代数的任意同态都通过它。

C\*-代数的种类
---------

令*A*为C\*-代数。*A*是I类，当且仅当对*A*的所有非退化表示π，{\displaystyle \pi (A)''}（即{\displaystyle \pi (A)}的双交换子）是I类冯诺依曼代数。实际上，只需考虑因子表示，即{\displaystyle \pi (A)''}是因子的表示。
局部紧群属于I类，当且仅当其群C\*-代数是I类。

不过，若C\*-代数具有非I类表示，则根据詹姆斯·格利姆的结果，它也有II类、III类的表示。因此，对C\*-代数和局部紧群，只有I类和非I类的说法才有意义。

C\*-代数与量子场论
-----------

量子力学中，通常用有单位元的C\*-代数*A*描述物理系统；*A*的自伴元（{\displaystyle \forall x\in A,\ x^{\*}=x}）被视为系统的可观测值。系统状态定义为*A*上的正泛函（{\displaystyle \mathbb {C} }线性映射{\displaystyle \varphi :\ A\to \mathbb {C} ,\ \forall u\in A,\ \varphi (u^{\*}u)\geq 0}），使得{\displaystyle \varphi (1)=1}。若系统处于φ状态，则可观测值*x*的期望值为φ(*x*)。

局部量子场论的Haag-Kastler公理化使用了这C\*-代数方法，闵可夫斯基时空的开集都与一个C\*-代数相关联。

另见
--

* 巴拿赫代数
* 巴拿赫\*-代数
* \*-代数
* 希尔伯特C\*-模
* 算子K理论
* 算子系统，C\*-代数的\*-封闭含幺子空间。
* 盖尔范德–奈马克–西格尔构造
* 若尔当算子代数

参考文献
----

* Arveson, W. 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, 需要免费注册, 1994, ISBN 0-12-185860-X  含有內容需登入查看的頁面 (link). This book is widely regarded as a source of new research material, providing much supporting intuition, but it is difficult.
* Dixmier, Jacques, 需要免费注册, Gauthier-Villars, 1969, ISBN 0-7204-0762-1  含有內容需登入查看的頁面 (link). 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. CRC Press, 1986, ISBN 978-0-8247-7569-8 .
* Emch, G. Wiley-Interscience, 1972, ISBN 0-471-23900-3 . Mathematically rigorous reference which provides extensive physics background.
* A.I. Shtern, Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4
* Sakai, S. Springer, 1971, ISBN 3-540-63633-1 .
* Segal, Irving, 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.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
巴拿赫空间 |
| --- |
|  |
| 种类 | 
* 阿斯普伦德空间（英语：）
* 巴拿赫空间
	+ 巴拿赫空间列表（英语：）
* 巴拿赫格（英语：）
* 格罗滕迪克空间（英语：）
* 希尔伯特空间
	+ 内积空间
	+ 极化恒等式
* （多项式）自反空间
* 里斯空间（英语：）
* L半内积（英语：）
* （B凸空间（英语：））
* 严格凸空间（英语：）
* 一致凸空间（英语：）
* 一致光滑空间（英语：）
* （单射张量积（英语：）
* 射影张量积（英语：））拓扑张量积（英语：）（希尔伯特空间的张量积（英语：））

 |
|  |
| 巴拿赫空间是： | 
* 桶空间（英语：）
* 完备拓扑向量空间（英语：）
* F空间（英语：）
* 弗雷歇空间（英语：）
* 局部凸拓扑向量空间（英语：）
	+ 度规函数
* 麦基空间（英语：）
* 可度量化拓扑向量空间（英语：）
* 赋范
	+ 范数
* 拟赋范空间

 |
|  |
| 函数空间拓扑 | 
* 巴拿赫-马祖尔紧统（英语：）
* 对偶拓扑（英语：）
* 对偶空间
	+ 对偶范数
* 算子拓扑
* 超弱拓扑（英语：）
* 弱拓扑（英语：）
	+ 弱算子拓扑（英语：）
* 强拓扑（英语：）
	+ 强对偶拓扑（英语：）
	+ 强算子拓扑（英语：）
* 超强拓扑（英语：）
* 线性映射空间拓扑（英语：）

 |
|  |
| 线性映射 | 
* 埃尔米特伴随
* 双线性映射
	+ 双线性形式
	+ 半双线性形式
* 无界、有界算子
* 闭线性算子
* 紧算子
* （不（英语：））连续线性算子
* 稠密线性算子（英语：）
* 弗雷德霍姆
	+ 弗雷德霍姆核（英语：）
	+ 弗雷德霍姆算子（英语：）
* 希尔伯特-施密特算子
* 线性泛函
	+ 正线性泛函（英语：）
* 伪单调算子（英语：）
* 正规算子
* 核型算子（英语：）
* 自伴算子
* 严格奇异算子（英语：）
* 迹类算子
* 幺正算子

 |
|  |
| 算子理论 | 
* 巴拿赫代数
* C\*-代数
* 算子空间
* 谱
	+ C\*-代数#谱
	+ 谱半径
* 谱理论
	+ 常微分方程谱理论（英语：）
	+ 谱定理
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 安德森-卡德茨定理（英语：）
* 巴拿赫-阿劳格鲁定理
* 巴拿赫-马祖尔定理（英语：）
* 开映射定理
* 一致有界性原理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭图像定理
* 闭值域定理
* 埃伯林-史穆连定理（英语：）
* 弗赖登塔尔谱定理（英语：）
* 盖尔范德-马祖尔定理（英语：）
* 盖尔范德-奈马克定理（英语：）
* 戈德斯坦定理（英语：）
* 哈恩-巴拿赫定理
	+ 超平面分离定理
* 角谷不动点定理
* 克林-米尔曼定理（英语：）
* 罗蒙诺索夫不变子空间
* 麦基-阿伦斯定理（英语：）
* 马祖尔引理（英语：）
* 里斯扩张定理（英语：）
* 帕塞瓦尔恒等式
* 里斯引理（英语：）
* 里斯表示定理
* 罗宾逊-乌尔塞斯库定理（英语：）
* 绍德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 维纳空间
* 巴拿赫流形（英语：）
	+ 巴拿赫丛（英语：）
* 博赫纳空间（英语：）
* 凸级数（英语：）
* 弗雷歇空间#微分（英语：）
* 导数
	+ 弗雷歇导数
	+ 加托导数
	+ 泛函导数
	+ 无穷维全纯（英语：）
	+ 准导数（英语：）
* 积分
	+ 博赫纳积分
	+ 贝蒂斯积分#与邓福德积分的关系（英语：）
	+ 贝蒂斯积分（英语：）
	+ 正则化积分（英语：）
	+ 佩利-维纳积分（英语：）
* 泛函微积分（英语：）
	+ 博雷尔泛函微积分（英语：）
	+ 连续泛函微积分（英语：）
	+ 全纯泛函微积分（英语：）
* 测度
	+ 无穷维勒贝格测度（英语：）
	+ 射影值测度（英语：）
	+ 向量测度
* 弱可测函数 / 强可测函数（英语：）

 |
|  |
| 集合类型 | 
* 绝对凸集
* 吸收集
* 仿射空间
* 平衡集
* 有界集
* 凸集
* 凸锥（子集）
* 径向集
* 径向凸/星形
* 对称集
* 环带多面体#全对称多胞形（英语：）

 |
|  |
| 子集 / 集合运算 | 
* 仿射包（英语：）
* 代数内部（相对内部（英语：）、准相对内部）
* 分界点
* 凸包
* 极点
* 内部
* 线性生成空间
* 闵可夫斯基和
* 极集（英语：）

 |
|  |
| 示例 | 
* 绝对连续
* {\displaystyle ba(\Sigma )}（英语：）
* c空间（英语：）
* BK空间（英语：）
* 贝索夫空间（英语：）
* 奥尔利奇空间（英语：）
* 有界变差
* Bs空间（英语：）
* 哈代空间
* 希尔伯特空间
* 墨瑞-坎帕纳图空间（英语：）
* Lp空間
* 速降函数空间
* 西格尔-巴格曼空间（英语：）
* 序列空间（英语：）
* 索伯列夫空间
	+ 索博列夫不等式

 |
|  |
| 应用 | 
* 微分算子
* 有限元法
* 量子力学的数学表述
* 常微分方程谱理论（英语：）

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 （范数）
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论 | 
* 巴拿赫代数
* C\*-代数
* 谱 (泛函分析) （谱半径）
* 谱理论（谱定理
* 投影值测度）
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (弗雷歇导数
* 加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 函数演算 (全纯函数演算
* 连续函数演算（英语：）
* 博雷尔函数演算)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |