Closed subspace of a Hilbert space ($\overline{V}=V$)

A vector subspace closed in the norm topology of a Hilbert space is complete in the inherited norm and inner product. Its orthogonal complement gives a decomposition of the ambient Hilbert space into an orthogonal direct sum. This closedness permits orthogonal projection and ensures limits used in range arguments remain in the subspace. Every finite-dimensional vector subspace is closed.