 Orthogonal projection onto a finite-dimensional subspace

If $e_0,\dots ,e_n$ is an orthogonal basis of a finite-dimensional subspace $W$, the unique closest point in $W$ to $f$ isThe residual $f-P_{W}f$ is orthogonal to $W$.