关于补空间的算子延拓

设H(?)K为Hilbert空间,i:H→K的嵌入算子是压缩时,我们记H(?)K 这里P=ii~＊为K上正算子,且0≤P≤I,而(?)=i~*i是H上正算子,0≤(?)≤I,且0∈σ_P((?)).de Branges证明,这时存在唯一的H的补空间L=H~c,使L(?)K.且对x∈H,y∈L,成立