Every finite-dimensional inner product space has an orthonormal basis (can be generalized to arbitrary (infinite-dimensional) inner product spaces), which may be obtained from an arbitrary basis using the Gram–Schmidt process.
Every finite-dimensional inner product space has an orthonormal basis (can be generalized to arbitrary (infinite-dimensional) inner product spaces), which may be obtained from an arbitrary basis using the Gram–Schmidt process.