Si H es un subespacio de dimensión finita del espacio con producto interno V y si   $v\in V$  , entonces existen vectores  $h\ \in H$   y  $p\ \in\ H^{\perp}$  al complemento ortogonal de H, tales que  $v=\ h\ +p$  

  Si H es un subespacio de dimensión finita del espacio con producto interno V y si   $v\in V$  , entonces existen vectores  $h\ \in H$   y  $p\ \in\ H^{\perp}$, entonces $h\ =\ proy_{\ H}\ v$  y  $p\ =\ proy_{H^{\perp}}\ v$  .