von Neumann代数中的*-偏序

设H是复Hilbert空间,B(H)是H上的有界线性算子全体组成的代数,M?B(H)是von Neumann代数,"≤"表示M中的*-偏序,即A,B∈M,若A~*A=A~*B,AA~*=BA~*,则A≤B.本文研究了von Neumann代数中*-偏序的上确界和下确界,证明了von Neumann代数M的子集关于*-偏序的上、下确界和B(H)中的上、下确界一致.同时,给出了M的*-偏序遗传子空间的表示,证明了弱~*闭子空间A?M,满足A∈M,B∈A,由A≤B可得A∈A,当且仅当存在唯一具有相同中心投影的投影对E,F∈M,使得A=EMF.