Orthogonal Subspaces

Let be two subspaces of a Hilbert Space .
They are mutually orthogonal if

Theorem

If is a closed subspace of , then .

Corollary

1. is a closed subspace of
3. has dense linear span