Strongart数学笔记算子代数里的有限与有限维辨析.pdfVIP

算子代数里的有限与有限维辨析 (2014-09-1013:59:37) 在算子代数理论中，有限与有限维是两个比较容易 混淆的概念，它们一般出现在C*-代数与W*-代数（或von Neumann代数）之中，下面我就来辨析一下。 有限维的概念是比较简单的，主要就是说作为C*-代数 或W*-代数的基础向量空间是有限维的。有限维的C*-代数 的结构是明确，就是有限个矩阵M_n （C）的直和，其中各 n＜∞，彼此可以相同也可以不同。 有限的概念就稍微麻烦一点，要先定义有限投影，它是 指不与其真子投影等价的投影，这个定义是类比有限集合的 性质给出的。在W*-代数中，假若恒同投影 1是有限的，那 么就称整个W*-代数是有限的。 显然，有限维W*-代数（或C*-代数）一定是有限W*- 代数（或C*-代数），但反之未必。这里我讨论因子的情况， 所谓因子就是中心平凡的W*-代数。在W*-代数的因子分类 中，有限的因子包括I_n型因子，n＜∞与II_1型因子，前 者确实是有限维的，但后者就不是这样的，其典型例子就是 ICC群（无限共轭类群，比如二元自由群F_2，无穷置换群 S_∞）生成的群W*-代数。 一般而言，我们更多的讨论有限维C*-代数与有限W*- 代数。但不要以为有限就是W*-代数的专利。我们也可以模 仿W*-代数的形式，在C*-代数内定义有限投影，然后定义 带单位的C*-代数是有限的，若它的恒同映射是有限的（参 见文献[2]）。 类似的，我们也可以处理有限维W*-代数，这里有如下 的两条路线，一是通过C*-代数进行，有限维C*-代数结就 有限个矩阵M_n （C）直和，矩阵作为全空间而言，其弱闭 包就是它本身，因此有限维W*-代数也就是有限个矩阵M_n （C）直和；另一方面，按照W*-代数的分类，有限维W*- 代数是有限个I_n 型W*-代数的直和，这里n＜∞，而I_n 型W*-代数均形如Z⊙B （H_n），其中Z是交换W*-代数， H_n是n维Hilbert空间。 我们如何把这两个结论统一起来呢？显然，B （H_n） =M_n （C），而交换W*-代数Z= ∞ （X），其中X是某可测 空间，但加上有限性条件之后，这里的X 只能是相当于有限 个点，换句话说，这里的Z就只能是有限个C 的直和，使得 Z⊙B （H_n）也变成有限个B （H_n）=M_n （C）的直和。 假若只是如此，那么还不算是太坏的，但接下来我们还 要推广有限维的概念，结果就会遇到比较糟糕的情况。 对于C*-代数而言，那就是著名的AF-代数，它是指有 限维C*-代数的正向极限，其结构由其K_0群及其序和数量 唯一决定，就是所谓的Elliott定理。AF-代数全称是逼近有 限维C*-代数（approximatelyfinite-dimensionalC*-algebra）， 可缩写时就只剩下AF-代数。 更糟糕的是，我们还有一类特殊的AF-代数，称呼UHF- 代数，它是指阶可以逐次整除的有限完全矩阵构成的正向极 限，其结构由阶构成的超自然数唯一确定。UHF-代数的全称 是一致超有限代数（uniformlyhyperfinitealgebra），这回不论 中文还是英文，都是用 “有限”来代表 “有限维”，其说法 是不太准确的，需要读者特别留意。 对于W*-代数而言，术语似乎就不是那么统一了。一 而言，对应于AF-代数的是超有限代数（hyperfinitealgebra）， 它是指存在σ-弱稠的有限维子代数族的并（参见文献[2]）， 这里的“有限”显然也是指“有限维”，甚至还可能出现“有 限非超有限”奇怪说法。有时，我们也直接用逼近有限维代 数（approximatelyfinite-dimensionalalgebra）来表示这里超 有限代数，此时AF-代数的说法就没有C*-代数中那么强硬， 在文献[4]中确实也提到了 AFD- 因子（approximately finite-dimensionalfactor）的概念。 总而言之，“有限”与 “有限维”是从不同角度定义的， 我们要从思想上分清它们的区别，同时注意到那些“有限维” 的推广形式，可能是出于简单的原因，常常只是被冠以 “有 限”的名义。 扩展阅读： [1] Li B R. Introduction to operator algebras[M]. World ScientificPubCoInc, 1992. （算子代