Banach代数的CSL表示

设X是一个Banach代数,π是X的一个表示,本文证明如果π是X的一个CSL(交换子空间格)表示,则对于任意的L1,L0∈Latπ(X)且L0■L1,(L1-L0)π(X)(L1-L0)仍是X的一个CSL表示。