Every finite-dimensional inner product space has an orthonormal basis which can be generalized to arbitrary (infinite-dimensional) inner product spaces using the Gram–Schmidt process (a method for orthonormalizing a set of vectors in an inner product space).
Every finite-dimensional inner product space has an orthonormal basis which can be generalized to arbitrary (infinite-dimensional) inner product spaces using the Gram–Schmidt process (a method for orthonormalizing a set of vectors in an inner product space).