Strongart数学笔记：C星代数的表示论与单、本原和素C星代数.pdfVIP

谈谈C*-代数的表示论 下面我们来谈谈C*-代数的表示论，先从有限群表示论开始介绍。 就最初级的讲法而言，有限群G 的（有限）表示就是指它到矩阵群 的一个同态f：G→M_n(k). 我们可以把矩阵群M_n(k)视为n 维线性 空间V 到V 上的线性映射，这样就相当于G→ （V→V ），它又可以 等价于（G→V ）→V，这就得到了群表示论中的G-模观点。 实际上，只要把G 视为被表示对象，V 视为表示空间，那么一般 的表示论都有这样的类似结构，称为表示论的基本等价关系。就这里 C*-代数的情形而言，被表示对象就是C*-代数A ，表示空间是Hilbert 空间H，C*-代数A 的表示是指同态f：A→B(H) （这里的同态实际上 是指*同态，表示实际上是指*表示，对于C*-代数而言，*结构一般 总是被默认的）. 由这个基本等价关系出发，我们可以得到C*-代数的两种单射表示。 一是忠实表示，它是指表示同态f：A→B(H)是单射；二是非退化表 示，它是指A 在B （H ）上的作用是单射，即若f （a ）h=0 对任何h ∈H 成立，则a=0. 下面讨论C*-代数表示的性质，首先它一定是收缩的，即‖f(a)‖≤‖a‖ 对任何a ∈A 均成立。假若这个表示是忠实的，那么我们还可以取等 号，也就是说f 就是一个等距嵌入。这样为了把C*-代数A 嵌入Hilbert 空间H 上的算子代数B （H ）内，只要证明它有忠实表示就可以了， 为此我们要先介绍一个GNS 结构。 所谓GNS 结构，主要由C*-代数上的一个态可以生成一个对应的 表示。具体来说，就是给定一个C*-代数A 上的一个态（或非零正泛 函）f，我们可以得到一个呗对应的表示三元组（π ，H，ξ ），满足条 件 1）f(a)=π(a)ξ，ξ, 对任何a ∈A 2 ）π （A ）ξ 在H 内稠密 实际上，我们可以令L={a ∈A ；f （a*a ）=0} ，借助f 在A/L 上定义 内积： x+L.y+L==f(y*x) 把H 就取为A/L 对此内积的完备化。表示π 而由左乘算子直接诱导， 同时向量ξ 就是A 的逼近单位在H 上像的极限，其存在性由完备化 直接保证。 假若我们先给定表示π ：A→B （H ），那么由条件1）也可以生成 对应的态，可以说条件 1）就是表示与态之间的对应。假若我们由表 示生成态，再由态得到表示，那么这两个表示之间最多只相差一个酉 等价。下面我们还会看到，当表示不可约的时候，所对应的就是纯态。 条件2 ）实际上就是循环表示的定义，π ：A→B （H ）是以ξ 为循 环向量的循环表示，若π （A ）ξ 在H 内稠密，其中ξ 就称为这个表 示的循环向量。利用这里的稠密条件可以证明，循环表示总是非退化 的。反之，非退化表示也可以被分解为若干循环表示的直和。 由这个GNS 结构，我们可以导出Gelfand-Naimark 定理：任何C*- 代数A 都可以被等距嵌入某个Hilbert 空间H 上是算子代数B （H ） 内。为此只要考虑所有的态表示的直和，π=Σ+π_f:A→B （Σ+H_f) ， 其中f 取遍态空间S（A ），这样得到的表示称为C*-代数的万有表示。 对C*-代数A 的任何一个元素a ∈A ，总存在（纯）态f ∈（P ）S （A) ， 使得f （a ）=‖a‖ ，这就使得直和表示总是单射，也就是说C*-代数的 万有表示必为忠实表示，进而可以C*-代数嵌入到B （H ）内。 C*-代数的（拓扑）不可约表示π ：A→B(H) ，是指π （A ）不存在 非零真闭子空间。假若去掉这里的闭条件，则表示称为是代数不可约 的，可由于Kadison 转移定理，这两种不可约性是实际上是等价的（详 见文献[2]或[3])。 不可约表示有一个重要的等价刻画：π ：A→B(H)不可约 iff π(A)=1C iff A 在B （