C*-代数

维基百科,自由的百科全书
跳转至: 导航搜索

C*-代数(或读作“C星代数”)是数学分支中泛函分析的重要研究对象。C*-代数的典型例子是满足以下两个性质的希尔伯特空间线性算子代数 A

一般认为C*-代数主要是应用在量子力学可观察量模型代数中。这方面的研究始于1933年左右维尔纳·海森堡创立的矩阵力学以及帕斯库尔·约当研究的更接近数学的形式。之后冯·诺依曼在他的一系列关于算子环的论文中尝试建立更广泛的架构。这些论文可看做是一类特殊的C*-代数 ,现在称为冯·诺依曼代数

1943年前后,伊斯拉埃爾·蓋爾范德马可·奈马克对C*-代数建立了不依赖于算子的抽象刻画。

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

抽象刻画[编辑]

此处给出蓋爾范德和奈马克在1943年给出的定义。

C*-代数A是复数域上的巴拿赫代数以及映射* : AA(称为对合映射)的组合。A 中元素x关于对合映射 * 的像写作x*。对合映射拥有下列性质

  • A中任意的两个元素 xy
 (x + y)^* = x^* + y^* \,
 (x y)^* = y^* x^* \,
  • C中任意复数\lambda以及A 中任一元素x
 (\lambda x)^* = \overline{\lambda} x^* .
  • A 中任一元素x
 (x^*)^* = x \,
  • C*–恒等映射A 中任一元素x成立:
  \|x^* x \| = \|x\|\|x^*\| .
C*–恒等映射性质等价于
  \|x x^* \| = \|x\|\|x^*\| .

这个关系等价于   \|x x^* \| = \|x\|^2 ,有时亦称为B*–恒等映射。

C*–恒等映射是一个很强的约束条件。举例来说,C*–恒等映射和谱半径公式可以推出C*–范数由以下代数结构唯一确定:

 \|x\|^2 = \|x^* x\| = \sup\{|\lambda| : x^* x - \lambda \,1不可逆 \}.


给定的从C*-代数A射到B有界线性算子 π : AB被称为*-同态,如果

  • A中任意的两个元素 xy
 \pi(x y) = \pi(x) \pi(y) \,
  • A 中任一元素x
 \pi(x^*) = \pi(x)^* \,


参考来源[编辑]