The orthogonal projection PV is a self-adjoint linear operator on H of norm ≤ 1 with the property P2 V = PV.
A proxección ortogonal PV é un operador linear auto-adxunto en H con norma ≤ 1 coa propiedade PV² = PV.