Para ver esto, escribirV=U⊕U⊥ yv=uv+u⊥v para cada unov∈V, dóndeuv∈U yu⊥v∈U⊥. \(\inner{P_U v}{w} = \inner{u_v}{u_w+u_w^\bot} = \inner{u_v}{u_w}...Para ver esto, escribirV=U⊕U⊥ yv=uv+u⊥v para cada unov∈V, dóndeuv∈U yu⊥v∈U⊥. \innerPUvw=\inneruvuw+u⊥w=\inneruvuw=\inneruv+u⊥vuw=\innervPUwEntonces para esoP∗U=PU. Siλ es un valor propio de un operador positivoT yv∈V es un vector propio asociado, entonces\innerTvv=\innerλvv=λ\innervv≥0.