For an inner product space, a collection of vectors of is orthogonal with respect to the inner if for all we have . It is orthonormal if additionally we have ; that is, (the Kronecker delta?) for all . Note that an orthogonal set is necessarily linearly independent, assuming (as one often does) that the inner product is nondegenerate.
In speaking of the notion of orthonormal or orthogonal basis of , due attention must be paid to the meaning of ‘basis’. When has finite dimension, one can just use the purely algebraic sense of basis: a linearly independent set whose span is all of , or equivalently a maximal linearly independent set. In this case, there is no restriction on the ground field .
Often, however, ‘basis’ is supposed to mean the sense of basis used for a topological vector space , i.e., a linearly independent set whose span is dense in . In the TVS case, it is usually understood that the ground field is a local field, and the inner product is separately continuous with respect to the topology on . A typical situation is where is or and the inner product is a positive definite inner product on which naturally induces a metric and from there a TVS structure on .
We have this interesting pair of results:
For a finite-dimensional vector space equipped with a nondegenerate inner product, one may replace any well-ordered basis by an well-ordered orthogonal basis using the Gram–Schmidt process. Assuming that we have for (as for example in the case of a positive definite inner product space), and assuming square roots exist in the ground field , we can further produce a well-ordered orthonormal basis from a well-ordered basis.
In the TVS case, with the appropriate meaning of basis understood, the Gram-Schmidt process extends without difficulty to any well-ordered basis, because the process yields a linearly independent orthogonal set with the same span as the original basis.