1. 引言及主要结论
在算子代数的研究中,尤其是在von Neumann代数的框架下,等价投影理论具有重要地位。2004年,林丽琼与林鸿钊讨论了投影算子的等价关系[1];2009年,邓春源与王顺钦研究了等价空间中的投影算子[2];2016年,费秀海与张建华进一步探讨了在von Neumann代数框架下,保持投影的映射问题[3]。2022年,宋显花与加羊杰考虑了斜投影乘积交换性的等价条件[4]。在此基础上,本文主要受Richard V. Kadison的文章[5]与[6]的启发,研究了von Neumann代数中投影运算后的等价情形。
下面是本文研究得出的主要结论。
引理1.1 (本文引理3.1) 若
都是有限von Neumann代数
中的投影,且
,
,
,那么有
成立。
定理1.2 (本文定理3.2) 设
为von Neumann代数
中的三个有限投影,且
。当
时,那么有
,
,
成立。
定理1.3 (本文定理3.3) 设
为von Neumann代数
中的三个有限投影,且
。当
时,那么有
,
成立。
定理1.4 (本文定理3.4) 设
为von Neumann代数
中的三个有限投影,且
。当
时,那么有
,
,
成立。
定理1.5 (本文定理3.5) 设
为von Neumann代数
中的两个有限投影,
为von Neumann代数
中的无限投影,
。当
时,那么有
,
,
成立。
定理1.6 (本文定理3.6) 设
为von Neumann代数
中的两个有限投影,
为von Neumann代数
中的无限投影,
。当
时,那么有
,
,
成立。
定理1.7 (本文定理3.7) 设
为von Neumann代数
中的投影,其中
为von Neumann代数
中的有限投影,这里
,
,
,且
。那么有
ⅰ)
。
ii) 若
,有
。
2. 预备知识
定义2.1 [6] von Neumann代数
中的投影
,当
时,这里的投影
在
中,我们称投影
相对于von Neumann代数
是无限的。否则,投影
相对于
是有限的。如果
是无限的,对每个中心投影
,我们有
要么是0或者真无限,则称
是真无限的。当
是有限或者真无限的,我们说相应的von Neumann代数
分别是有限或者真无限的。
命题2.2 [6] 如果
与
是von Neumann代数
中投影的正交族,且对任意
,有
,那么
。如果
,对任意
,那么
。
命题2.3 [7] 如果
是von Neumann代数
中的投影,且
,那么对
中的每个中心投影
,有
。如果
,那么有
。
命题2.4 [6] 如果
是von Neumann代数
中的投影,使得
且
,那么有
。
命题2.5 [6] 如果
是von Neumann代数
中的有限投影,那么
的每个子投影也是有限投影。在von Neumann代数
中的每个极小投影和0也是有限的。如果
且投影
是有限的,那么投影
也是有限的。
定理2.6 [6] 如果
是von Neumann代数
中的有限投影,那么
在
中也是有限投影。
命题2.7 [5] 如果
是作用于Hilbert空间
上的交换投影,分别相对于闭子空间
和
,则
,
,
。
特别地,
的线性子空间
是封闭的。
定理2.8 [6] (comparison)如果
是von Neumann代数
中的投影,存在唯一的极大正交中心投影
和
,具有
的性质。如果
是
的非零中心子投影,那么
。如果
是
的非零中心子投影,那么
。
推论2.9 [5] 假设
分别是从希尔伯特空间
作用到闭子空间
与
的投影。那么
当且仅当
与
正交,且
,
。
注:为了更易理解文章内容,这里进行本文中的符号说明。
主要符号表 |
符号 |
代表意义 |
|
von Neumann代数 |
|
等价 |
|
小于或等于 |
|
正交 |
|
弱于 |
|
小于 |
|
交集 |
|
并集 |
|
弱于或等价 |
3. 定理的证明
为了证明下面本章的定理,我们需要证明下面的引理。
引理3.1 设
都是有限von Neumann代数
中的投影。如果
,
,
,那么有
成立。
证明 用反证法。我们首先证明
与
为
中的投影。
,
。故
为
中的投影。
,
。故
为
中的投影。
由于,
为有限von Neumann代数,
与
都为有限投影。
现假设
,由定理2.8可知,存在
的中心投影
,使得
或
成立。
针对上述两种情况的讨论如下:
(1) 当
时,那么存在
,使得
成立。因为
,故由命题2.3可知,有
。由于
而
。故
,此外
。
因此,由命题2.2可知
。
这也就说明
不是有限投影,这与
为有限von Neumann代数矛盾。
(2) 当
时,那么存在
,使得
成立。因为
,故由命题2.3可知,有
。由于
而
。故
,此外
。
因此,由命题2.2可知
。
这也就说明
不是有限投影,这与
为有限von Neumann代数矛盾。
因此有
。
证毕。
定理3.2 设
为von Neumann代数
中的三个有限投影,且
。当
时,那么有
,
,
成立。
证明 i)
。
因为
,由命题2.7可知
,
。
故
。
ii)
,
。
由推论2.9可知
,
。
而再由命题2.2可知
成立。
证毕。
定理3.3 设
为von Neumann代数
中的三个有限投影,且
。当
时,那么有
,
成立。
证明 i)
。
由于
,那么有
,
。即
显然成立。
ii)
。
由命题2.7可知
,
同理,我们有
。
又因为
,故
,
,
,显然有
。
证毕。
定理3.4 设
为von Neumann代数
中的三个有限投影,且
。当
时,那么有
,
,
成立。
证明 i)
。
因为
为von Neumann代数
中的有限投影,由定理2.6可知,
也为有限投影。由引理3.1知,
在有限von Neumann代数
中,那么有
成立。
因为
,故
。此外,我们有
与
正交,而
,
,故
,
。
从而有
与
成立。
因此,由命题2.2知
。
ii)
。
因为
,由命题2.7可知,
,
。由于
,那么有
。
iii)
。
由命题2.7可知
,
同理,我们有
。
又因为
,
。故
,
,显然有
。
证毕。
定理3.5 设
为von Neumann代数
中的两个有限投影,
为von Neumann代数
中的无限投影,
。当
时,那么有
,
,
成立。
证明 i)
。
因为
,由命题2.7可知
,
。
故
。
ii)
,
。
由推论2.9可知,
,
。
而再由命题2.2可知,
成立。
证毕。
定理3.6 设
为von Neumann代数
中的两个有限投影,
为von Neumann代数
中的无限投影,
。当
时,那么有
,
,
成立。
证明 i)
。
因为
为von Neumann代数
中的有限投影,由定理2.6可知,
也为有限投影。由引理3.1知,
在有限von Neumann代数
中,那么有
成立。
因为
,故
。此外,我们有
与
正交,而
,
,故
,
。
从而有
与
成立。
因此,由命题2.2知
。
ii)
。
因为
,由命题2.7可知,
,
。由于
,那么有
。
iii)
。
由命题2.7可知
,
同理,我们有
。
又因为
,
。故
,
,显然有
。
证毕。
定理3.7 设
为von Neumann代数
中的投影,其中
为von Neumann代数
中的有限投影,这里
,
,
,且
。那么有
ⅰ)
。
ii) 若
,有
。
证明 ⅰ) 用反证法。我们首先证明
与
为
中的投影。
,
。故
为
中的投影。
,
。故
为
中的投影。
因为
为von Neumann代数
中的有限投影,
,
,由命题2.5可知
与
都为有限投影。由定理2.6可知,
在von Neumann代数
中也为有限投影。由引理3.1可知,
与
在有限von Neumann代数
中。
假设
,由定理2.8可知,在有限von Neumann代数
中存在非零中心投影
,使得
成立。
当
时,那么存在
,使得
成立,因为
,且
,由命题2.3可知
,
。由于
,
而
,故
。
因此,根据命题2.2可知
。
这也就说明
不是有限投影,这与
为有限von Neumann代数矛盾。
因此
。
ii) 如果
,那么有
与
。由ⅰ)中的
与
,由命题2.4可知
。
证毕。
本文首先考虑在有限von Neumann代数中投影的运算,通过引理3.1的证明,我们将上述的几类投影的运算推广到更一般的von Neumann代数中,如上述定理的3.2~3.4的情况。其次进一步考虑了
为von Neumann代数
中的无限投影情形,通过证明发现其结果与上述
为von Neumann代数
中的有限投影一致。最后讨论了一般的von Neumann代数
中四个投影运算的情况。
致 谢
本文章在文仕林老师以及审稿专家的指导与建议下完成,在此表示衷心的感谢。