设H,G是希尔伯特空间，T是H到G的有界线性算子。如果T在H的子空间M上是等距的，而在M⊥上为0，则称T是以M为初始空间，以N=TM为终空间的部分等距算子。