(AB)~+=B~+A~+的一个充要条件

设H,K,L是复数域C上的Hilbert空间。用B(H,K)表示从H到K的有界线性算子的全体。对T∈B(H,K)满足下列条件的算子T~+称为T的Moore-Penrose广义逆,