这个还不好理解吗,y=Px表示y是x的投影,那么y已经落在投影空间里面了,Py一定要和y重合才行,所以就得到了P^2=P的定义.
注：P^2=P定义的是斜投影,如果要定义正投影还需要P'=P,其中P'表示P的共轭算子.