in der Sprache der Linearen Algebra eine Basis B = (b_i)_i∈I eines euklidischen oder unitären Vektorraumes (V, ⟨·, ·⟩ mit ║b_i║ = 1 für alle i ∈ I und \begin{eqnarray}\langle {b}_{i},{b}_{j}\rangle =0\end{eqnarray} für alle i, j ∈ I mit i ≠ j. Ist b = (b₁, …, b_n) eine Orthonormalbasis von (V, ⟨·, ·⟩, so gilt für alle v ∈ V die Darstellung \begin{eqnarray}v=\displaystyle \sum _{i=1}^{n}\langle v,{b}_{i}\rangle {b}_{i};\end{eqnarray} für v_b = (α₁, …, α_n) und \({v}_{b}^{^{\prime} }=({\alpha }_{1}^{^{\prime} },\ldots,{\alpha }_{n}^{^{\prime} })\) (Koordinatenvektoren der Vektoren v und v′ bzgl b) gilt außerdem: \begin{eqnarray}\langle v,{v}^{\prime}\rangle =\displaystyle \sum _{i=1}^{n}{\alpha }_{i}{\alpha }_{i}^{\prime}.\end{eqnarray}

Der Endomorphismus ϕ : V → V wird bezüglich der Orthonormalbasis b durch die (n × n)-Matrix \begin{eqnarray}A=({a}_{ij}):=(\langle \varphi ({b}_{j}),{b}_{i}\rangle )\end{eqnarray} beschrieben.

Ist (b₁, …, b_n) eine Orthonormalbasis und U eine unitäre (n × n)-Matrix, so bildet \begin{eqnarray}({b}_{1}^{\prime},\ldots,{b}_{n}^{\prime}):=U({b}_{1},\ldots,{b}_{n})\end{eqnarray} wieder eine Orthonormalbasis.

In der Funktionalanalysis versteht man unter einer Orthonormalbasis ein maximales Orthonormalsystem in einem Hilbertraum; ein Synonym hierzu ist vollständiges Orthonormalsystem.

Sei S = {e_i : i ∈ I} ein Orthonormalsystem in einem Hilbertraum H. Dann sind folgende Bedingungen äquivalent:

1. S ist maximal, d. h., ist S′ ⊃ S ein Orthonormalsystem, so gilt S′ = S.
2. S ist total, d. h. S^⊥ = {0}.
3. Es gilt die Parsevalsche Gleichung \begin{eqnarray}{\Vert x\Vert }^{2}=\displaystyle \sum _{i\in I}{|\langle x,{e}_{i}\rangle |}^{2}\,\,\,\,\,\forall x\in H.\end{eqnarray}
4. (4) Es gilt der Entwicklungssatz \begin{eqnarray}x=\displaystyle \sum _{i\in I}\langle x,{e}_{i}\rangle {e}_{i}\,\,\,\,\,\forall x\in H.\end{eqnarray}

Ist eine (und damit alle) dieser Bedingungen erfüllt, heißt S eine Orthonormalbasis, und die Skalarprodukte ⟨x, e_i⟩ nennt man die Fourier-Koffizienten bzgl. dieser Basis. Jeder Hilbertraum besitzt eine Orthonormalbasis, und je zwei Orthonormalbasen haben dieselbe Kardinalität, die Hilbertraum-Dimension genannt wird. In einem separablen unendlichdimensionalen Hilbertraum ist jede Orthonormalbasis abzählbar.

Im Raum ℓ²(I) ist die Menge der Einheitsvektoren e_i : k ↦ δ_ik eine Orthonormalbasis, und im Hilbertraum L²[0,1] ist das trigonometrische System {e_n : n ∈ ℤ} mit e_n(t) = e^2πint eine Orthonormalbasis; die ⟨f, e_n⟩ sind hier die klassischen Fourier-Koeffizienten der Funktion f. Eine weitere Orthonormalbasis in diesem Hilbertraum ist die Haar-Basis. Viele klassische Systeme orthogonaler Polynome bilden Orthonormalbasen, z. B. die Legendre-Polynome in L² [−1, 1].

Ist T ein selbstadjungierter kompakter Operator auf einem Hilbertraum H (oder allgemeiner ein selbstadjungierter Operator mit kompakter Resolvente), so besitzt H eine Orthonormalbasis aus Eigenvektoren von T.

[1] Jänich, K.: Lineare Algebra. Springer Berlin Heidelberg New York, 1998.
[2] Werner, D.: Funktionalanalysis. Springer Berlin Heidelberg New York, 1995.