π_k空间上的压缩算子

设π_k为极大半负子空间的维数为k的Krein空间,(?)记为其上的不定内积。线性有界算子T称为压缩的,若对x∈π_k,满足(Tx,Tx)≤(x,x)。π_k真真空间上压缩算子的概念是由Krein、Iohvidov等人50年代提出的,那时,他们证明了π_k空间上的压缩算子必具有极大半负的不变子空间。60年代Naimark。