Strongart数学笔记：谈谈C星代数内的严格正元素.pdfVIP

谈谈C*-代数中的严格正元素 在C*-代数理论中，除了通常的正元素序结构之外，还有一类严 格正元素也是比较有意思的，并且对算子代数的KK-理论有铺垫作用， 下面我就来简单科普一下。 所谓严格正元素，就是要比正元素还要正的元素。在一般连续函 数空间C(Ω）内，非负值的元素就是正元素了，但严格正元素就必 须是正值的元素。但一般C*-代数A 内没有取值一说，但我们可以考 虑一个形式值域，定义正元素x∈A是严格正元素，若sA （或Ax，或 xAx）的闭包就 A. 假若A是算子空间的话，那么正算子T是严格 正的 iff 它的值域是稠密的。回到C(Ω）内来看，假若f∈C(Ω） 在某一点x∈Ω取点，那么fC(Ω)的闭包在x处也为0，因此f就不 是严格正的，反之逆推即可。 严格正元素除了这样的值域定义之外，还可以通过正泛函来定 义，这是由C(Ω）内赋值泛函x(f)=f(x)的启发得到的。C*-代数A 内的元素x称为严格正的，假若对任何A 的态φ，均有φ(x)＞0. 这 里的态 （state）就是指范数为1的正泛函，本质可以用非零正泛函来 代替。这样的正泛函定义域前面的值域定义是一致的，假若xA不在 A 内稠密，那么可以得到非零正泛函在xA上为零（这一点可以用 Hahn-Banach定理证明，也可以作为更一般的Arveson扩张定理的推 论，但我奇怪的是为什么没看到有直接以态形式出现的版本！），归一 化之类就得到相应的态。反之，假若有态在为零，那么用相应的 Cauchy-Schwarz不等式就可以得到它在整个xA上为零，再由xA稠 密性得到这个态为零，矛盾！ 严格正元素的重要意义在于它等价于σ-单位的存在性，我们都 知道C*-代数总是存在逼近单位的，但一般而言这样的逼近单位不一 定可数，可数的逼近单位就 σ-单位。假若C*-代数存在严格正元 素h，那么可以证明h^(1/n)就 σ-单位，而且它们还是两两交换的； 反之假若存在σ-单位{h_n}，那么h=Σh_n/2^n就是它的严格正元 素，因为对任何态φ，我们有φ(h)=0→φ(h_n)=0→φ(x)=lim φ(xh_n)=0→φ=0 （！）.由此可见，严格正元素的意义就在于可以把 很多C*-代数的性质浓缩到一个元素里面。 显然，对于可分C*-代数而言，一定是存在σ-单位的，因此也 必有严格正元素。但反之不然，一般当Ω为σ-紧时，C(Ω)必有严格 正元素，不妨就令Ω=Z，这样的 C(Z)=l^∞就不是可分的。 严格正元素的意义在Hilbert模上有进一步的体现，所谓的 Hilbert B-模E，粗略的讲就是在C*-代数B上由内积 , :E×E→B 给出的抽象Hilbert空间。当B是复数域C时，对应的Hlbert模就 还原为一般的Hilbert空间。在两个HilbertB-模上可以定义态射， 而HilbertB-模E到自身的所有态射记作B(E)，它构成一个C*-代数， 而所有的有限秩态射的闭包则构成B(E)的(双边)理想，记作K(E)， 它实际上就相当于一般Hilbert空间上的紧算子理想。在Hilbert模 的意义上，我们有如下的对应结论：设E Hilbert B-模，K(E)的 正元素T是严格正的 iff T 的值域在E 内稠密。 把σ-单位推广到Hilbert模上，就得到了可数生成的概念。 Hilbert B-模E是可数生成的，若存在E 内的可数集{x_n},使得 {x_nb；n∈N，b∈B}在E 内稠密。对此，我们有著名的Kasparov稳 定性定理：若E是可数生成的Hilbert B-模，则有E⊙H_B=H_B，它 的推论就 Hilbert B-模E是可数生成的 iff K(E)有σ-单位. 上面的一些结论在Kasparov 的技术性引理中有所应用，进而可 以定义KK群的Kasparov积：KK(A,B)×KK(B,C)→KK(A,C)，这就构 成了算子代数KK-理论的必要基础。 扩展阅读： Wegge-Olsen N E. K-theory and C*-algebras: a Friendly Approach[M]. Oxford: Oxford University Press, 1993. （非常生 动活泼的一本书，需要先学一点C*-代数） Blackadar B. K-theory for operator algebras[M]. Cambridge University Press, 1998. （学习算子K-理论的好书，有启发性且信 息量大）