Knowlpedia

Orthonormal basis

A basis whose vectors have unit length and are pairwise orthogonal.

An orthonormal basis of a HH is a family (ei)i∈I(e_i)_{i\in I} whose closed linear span is HH and which satisfies

⟨ei,ej⟩=δij.\langle e_i,e_j\rangle=\delta_{ij}.

Thus each basis vector has norm one, distinct basis vectors are orthogonal, and every vector in HH can be approximated in norm by finite linear combinations of the eie_i. In finite dimensions, “closed linear span” may be replaced by “linear span.”

Every x∈Hx\in H has the norm-convergent expansion

x=∑i∈I⟨ei,x⟩ei.x=\sum_{i\in I}\langle e_i,x\rangle e_i.

In a finite-dimensional complex space, placing the basis vectors as columns gives a unitary matrix.