die eindeutig bestimmte lineare Abbildung P_U : V → U eines euklidischen Vektorraumes V in den endlich-dimensionalen Unterraum U ⊆ V mit \begin{eqnarray}{P}_{U|U}={\text{Id}}_{U}\,\,\,\text{und}\,\,\,\,\text{Ker}\,{P}_{U}={U}^{\perp }\end{eqnarray} (Orthogonalprojektor).