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)$ 空间