Sea un subespacio de y , decimos que es la proyección ortogonal del vector sobre si verifica
Se puede encontrar teniendo una base con el sistema ortogonal de tal que (que si tenemos una base pero esta no es ortogonal, entonces podemos usar el método de Gram-Schmidt para convertirlo en ortogonal), entonces