Orthonormalbasis

Eine Orthonormalbasis eines Innenproduktraums ist in der linearen Algebra und der Funktionalanalysis eine Basis dieses Vektorraums, deren Vektoren alle die Länge (die Norm) 1 haben (also Einheitsvektoren sind), und die alle orthogonal (daher auch Orthogonalbasis) zueinander stehen.
Der Begriff ist sowohl im Fall endlicher Dimension als auch für unendlich-dimensionale Räume, insbesondere Hilberträume, von großer Bedeutung. Der Begriff meint aber in beiden Fällen nicht exakt das gleiche.

Endlich-dimensionale Räume

Eine Orthonormalbasis eines Vektorraums V V ist eine Basis B=b1,…,bnB = {b_1, \dots , b_n } von V V , für die gilt:
  • Für alle bi∈Bb_i \in B gilt ∥bi∥=1 \|b_i\| = 1\,
  • Für alle bi,bj∈B,i≠jb_i, b_j \in B, i \ne j gilt ⟨bi,bj⟩=0 \langle b_i, b_j \rangle = 0\,
(Mit ⟨ , ⟩\langle \, , \, \rangle ist hier das innere Produkt gemeint, mit ∥ ∥\|\, \| die Norm.)
Beispielsweise ist für den dreidimensionalen euklidischen Vektorraum R3\mathbb{R}^3 die Menge
i=(100),j=(010),k=(001)\vec i = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix},\vec j = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix},\vec k = \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}
eine Orthonormalbasis: Jeder dieser Vektoren hat die Länge 1, und je zwei dieser Vektoren stehen senkrecht aufeinander, denn ihr Skalarprodukt ist 0.
Orthonormalbasis.PNG
Die Orthonormalbasis i,j,k {\mathbf{i},\mathbf{j},\mathbf{k}} im R3 \mathbb{R}^3 und ein mit ihr dargesteller Vektor r=3i+2j+3k \mathbf{r} = 3\mathbf{i} + 2\mathbf{j} + 3\mathbf{k}

Allgemeiner Fall

(Eine anwendungsorientierte Herleitung zu diesem Thema bietet der Abschnitt zur Verallgemeinerung im Artikel Fouriertransformation)
Im allgemeinen Fall eines Innenproduktraums V V unendlicher Dimension, insbesondere eines Hilbertraums, nennt man
  • ein Orthonormalsystem S S in V V (eine Untermenge S S von VV , deren Elemente zueinander orthogonal sind und die die Norm 1 haben), dessen lineare Hülle dicht in V V liegt,
  • ein vollständiges Orthonormalsystem S S in V V (vollständig im Sinne der Funktionalanalysis, nicht im Sinne des vollständigen Raums),
  • ein Orthonormalsystem S S in V V , bei dem für jedes v∈Vv \in V die Fourierentwicklung v=∑u∈S⟨v,u⟩uv=\sum\limits_{u \in S} \langle v, u \rangle u existiert und gegen v v konvergiert,
eine Orthonormalbasis (Schauder-Basis) von V V .
Es ist zu beachten, dass im Sinne dieses Abschnitts, im Gegensatz zur endlichen Dimension, eine Orthonormalbasis keine Hamelbasis ist, d.h. ein Element aus v lässt sich nicht notwendigerweise mit endlich vielen Linearkombinationen aus S S , wohl aber mit abzählbar unendlich vielen, darstellen - mit anderen Worten, die lineare Hülle ist nicht gleich V V , liegt aber dicht in V. Jeder Vektorraum besitzt eine Hamelbasis, die aber möglicherweise überabzählbarer Dimension und von keinem praktischen Nutzen ist.
Allgemein findet man für Innenprodukträume und die vollständigen Innenprodukträume, die Hilberträume, folgende Sätze:
∥x∥2=∑v∈B∣⟨x,v⟩∣2\|x\|^2=\sum\limits_{v\in B}|\langle x,v\rangle|^2
für alle x∈Vx \in V erfüllt ist.
  • Jeder separable Innenproduktraum (nicht der Nullraum) besitzt eine Orthonormalbasis, die von höchstens abzählbarer Dimension ist.
  • In einem Hilbertraum V V ist ein Orthonormalsystem S S genau dann eine Orthonormalbasis, wenn es maximal ist, d.h. wenn für alle x aus V folgende Implikation gilt:
(⟨x,s⟩=0 ∀s∈S)⇒x=0 \braceNT{ \langle x, s \rangle = 0 \ \forall s \in S } \Rightarrow x=0.
  • Jeder Innenproduktraum (nicht der Nullraum) besitzt maximale Orthonormalsysteme, und wenn es ein Hilbertraum ist, somit auch Orthonormalbasen.
  • Ein Hilbertraum besitzt genau dann eine abzählbare Orthonormalbasis, wenn er separabel ist.
Insbesondere besitzt also jeder separable und jeder vollständige Innenproduktraum eine Orthonormalbasis.
Siehe auch: Gram-Schmidtsches Orthogonalisierungsverfahren
 
 

"Offensichtlich" ist das gefährlichste Wort in der Mathematik.

Eric Temple Bell

Copyright- und Lizenzinformationen: Diese Seite basiert dem Artikel Orthonormalbasis aus der frеiеn Enzyklοpädιe Wιkιpеdιa und stеht unter der Dοppellizеnz GNU-Lιzenz für freie Dokumentation und Crеative Commons CC-BY-SA 3.0 Unportеd (Kurzfassung). In der Wιkιpеdιa ist eine Listе dеr Autorеn des Originalartikels verfügbar. Da der Artikel geändert wurde, reicht die Angabe dieser Liste für eine lizenzkonforme Weiternutzung nicht aus!
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Hilbertraum