Strongart数学笔记：谈von Neumann代数内投影的中心支集.pdfVIP

谈 von Neumann 代数内投影的中心支集 (2014-07-3114:13:38) 在von Neumann 代数理论中，有个被称为中心支集 （centralsupport）的概念相当重要，它有着很多不同的别名， 像中心覆盖（centralcover）、中心包络（centralenvelop）、中 心承载子 （centralcarrier）等等，。不同的参考书中的讲法也 有相当的距离，下面我就来做一个小结。 实际上，vonNeumann代数的处理有两条基本路线，一 条就是具体的表示论的，主要借助B （H） 内的具体结构来 处理；另一条则是抽象的W*-代数的观点，只要有可能就尽 量避免B （H）的具体结构。本文主要采取后者，只是在涉 及中心支集的核心概念时，才显示一下B （H）内的具体实 例。 先简单介绍vonNeumann代数的背景知识，由二次交换 子定理可以引入vonNeumann代数，并且知道它一定是弱闭 的，由此可得von Neumann 代数总有单位元。考虑 von Neumann代数M 内任何理想I，它作为子代数一定也有单位 元，而且这个单位元还是M 内的中心投影p，有I=pM. 对 于左或右理想，也有类似的（但未必是中心的）投影刻画， 这样理想的交与并自然导出投影的下确界∧与上确界∨，使 得vonNeumann代数内的所有投影构成完全格。 让我们先从 von Neumann 代数中投影的 Murray-von Neumann 等价关系开始，若p 与q是vonNeumann 代数M 内的两个投影，它们是Murray-vonNeumann 等价的（简称 等价），记作p～q，若存在酉元u∈M，使得p=u*u，q=uu*， 此时有p=u*qu；同时记p 《q， 若p等价于q_1≤q. 我们有一个直观看并非显然的Cantor-Bernstein定理：若 p 《q且q 《p，则p～q. 这个定理的命名，应该是源于集合 论中的同名定理，其证明也有诸多相似之处，我们可以很 算子代数书中找到（比如 [1]与[2]）. 对于等价关系，我们有如下的简单性质： 1）若p～0，则p=0 ）若p～q且z是中心投影，则zp～zq. 3）若p～q且u是酉元，则u*pu～q. 4）若{p_i}与{q_i）均为两两正交的投影族，满足p_i～ q_i，则Σp_i～Σq_i. 等价关系是一个典型例子，就是vonNeumann代数任何 元素a 的左支集与右支集等价。所谓a 的左（或右）支集， 是指满足pa=a（或aq=q）的最小投影，记作l（a）（或r（a））， 即有l （a）～r （a）. 这个结论可以通过对a作极分解a=u|a| 得到，我们有l （a）=uu*，r （a）=u*u. 由这个性质，我们 可以得到对vonNeumann 代数内任意两个投影p 与q，p-p ∧q=l （p （1-q））～r （p （1-q））=p∨q-q. vonNeumann代数中投影p 的中心支集，是指满足zp=p 的最小中心投影z，记作c （p）. 显然，c （p）是包含p作 为子投影的最小中心投影，中心覆盖或中心包络应该就是由 此命名的。对于AbelianvonNeumann代数C （Ω），其中Ω 是超Stonean空间，那么f∈C （Ω）的中心支集就是其支集 Supp （f）的特征函数，这应该就是中心支集的来源了。 我们可以把vonNeumann代数嵌入具体的Hilbert空间H 上的有界算子代数B （H），此时投影p 的中心支集就是到 Cl[MpH]上的投影，其中Cl表示范数闭包。设z是这样的投 影，显然zp=p，而MpH是M与M的不变子空间，故z属 于中心M∩M，故z≥c （p）；反之c （p）H≥pH≥ （Mp） H，故c （p）≥z，有z=c （p）为中心投影。 我们还可以从零因子的角度来考虑中心支集，对von Neumann代数内的投影p，考虑所有满足zp=0 的所有中心投 影{z_i}的族，令z=∨z_i，则有c （p）=1-z. 关于中心支集有个基本结论：Murray-vonNeumann等价 的投影的中心支集相同，即有性质： 5）若p～q，则c （p）=c （q） 对此可以利用上面的性质 ）与1），得到对任何中心投影z， 有zp=0iffzq=0，因此c （p）=c （q）.另一种证明方式是表 示论的，主要思想就是