Ortonormált bázis

Legyen $V$ vektortér, amelyen definiálva van egy skaláris szorzat (azaz egy $\langle .,.\rangle :V\times V\to \mathbb {R}$ szimmetrikus, bilineáris, pozitív definit függvény). Az $e_{1},...,e_{n}$ vektorrendszert $V$ ortonormált bázisának nevezzük, ha minimális generátorrendszer $V$-ben, minden vektora egység hosszúságú és bármely két vektora egymásra merőleges, ami azt jelenti, hogy skalárszorzatuk nulla.

Ortonormált bázis konstruálható például úgy, hogy a Gram–Schmidt-eljárás segítségével ortogonális bázist konstruálunk, majd minden $b_{i}$ bázisvektort elosztunk ${\sqrt {\langle b_{i},b_{i}\rangle }}$-vel.

Az ortonormált bázis véges és végtelen esetben is értelmezhető.

Véges dimenzióban

A következőkben legyen $V$ véges dimenziós, skalárszorzattal ellátott vektortér, vagyis valós vagy komplex vektortér, az $\langle {\cdot },{\cdot }\rangle$ skalárszorzattal. Komplex esetben feltesszük, hogy a skalárszorzat lineáris a második argumentumában, és szemilineáris az elsőben, tehát

$\lambda \langle v,w\rangle =\langle {\bar {\lambda }}v,w\rangle =\langle v,\lambda w\rangle$

minden $v,w\in V$ vektorra és minden $\lambda \in \mathbb {C}$-re. A skalárszorzat az $\|{\cdot }\|={\sqrt {\langle {\cdot },{\cdot }\rangle }}$ normát indukálja.

Definíció és létezés

Egy $n$-dimenziós, skalárszorzattal ellátott $V$ vektortér ortonormált bázisa egy $B=\{b_{1},\ldots ,b_{n}\}$ ortornormált rendszer, ami a következőket jelenti:

• Minden vektor hossza egységnyi,

  $\|b_{i}\|={\sqrt {\langle b_{i},b_{i}\rangle }}=1$ minden $i\in \{1,\ldots ,n\}$ esetén

• A vektorok páronként ortogonálisak,

  $\langle b_{i},b_{j}\rangle =0$ minden $i,j\in \{1,\ldots ,n\}$ esetén, ahol $i\neq j$.

Minden véges dimenziós skalárszorzatos vektortérnek van ortonormált bázisa. A tér minden bázisa Gram–Schmidt ortogonalizációval és normálással ortonormált bázissá alakítható.

Mivel az ortonormált rendszerek lineárisan függetlenek, azért egy $n$-dimenziós skalárszorzatos vektortérben $n$ ortonormált vektorból álló rendszer ortonormált bázist alkot.

A bázis kezessége

Adva legyen a $V$ vektortérnek egy $B=({b}_{1},\ldots ,{b}_{n})$ rendezett ortonormált bázisa. Alkossuk meg a

$Q={\begin{pmatrix}{b}_{1}&{b}_{2}&\ldots &{b}_{n}\end{pmatrix}}$

mátrixot a bázis vektoraiból, mint oszlopokból! Valós vektorterekben egy ilyen mátrix determinánsa 1 vagy -1. Ha $\operatorname {det} (Q)=+1$, akkor ${b}_{1},\ldots ,{b}_{n}$ jobbrendszer, különben balrendszer.

Példák

Az ${{\vec {i}},{\vec {j}},{\vec {k}}}$ ortonormált bázis $\mathbb {R} ^{3}$-ben, és egy velük ábrázolt ${\vec {r}}=3{\vec {i}}+2{\vec {j}}+3{\vec {k}}$ vektor

Az $\mathbb {R} ^{3}$ tér standard bázisa, az

${\vec {i}}={\vec {e}}_{1}={\begin{pmatrix}1\\0\\0\end{pmatrix}},\ {\vec {j}}={\vec {e}}_{2}={\begin{pmatrix}0\\1\\0\end{pmatrix}},\ {\vec {k}}={\vec {e}}_{3}={\begin{pmatrix}0\\0\\1\end{pmatrix}},$

vektorokkal, az $\mathbb {R} ^{3}$ standard skalárszorzattal ellátott vektortér ortonormált bázisa. Bázis $\mathbb {R} ^{3}$-ben, miden vektor hossza 1, és páronként merőlegesek, mivel páronkénti skalárszorzatuk nulla. Általában, egy $\mathbb {R} ^{n}$ illetve $\mathbb {C} ^{n}$, standard skalárszorzattal ellátott koordinátatérben az $\{e_{1},\dots ,e_{n}\}$ standard bázis ortonormált bázis.

$\mathbb {R} ^{2}$-ben a

${\vec {b}}_{1}={\begin{pmatrix}{\tfrac {3}{5}}\\[1ex]{\tfrac {4}{5}}\end{pmatrix}}$   és   ${\vec {b}}_{2}={\begin{pmatrix}-{\tfrac {4}{5}}\\[1ex]{\tfrac {3}{5}}\end{pmatrix}}$

vektorok ortonormált rendszert alkotnak a standard skalárszorzat szerint, így $\mathbb {R} ^{2}$ egy ortonormált bázisa.

Koordinátaábrázolások

Vektorok

Ha $B=\{b_{1},\dots ,b_{n}\}$ ortonormált bázis $V$-ben, akkor egy $v\in V$ vektor koordinátái ortogonális projekcióval számíthatók. Ha $v$ ábrázolása a $B$ bázisban

$v=v_{1}b_{1}+\dots +v_{n}b_{n}=\sum _{i=1}^{n}v_{i}b_{i},$

akkor

$v_{i}=\langle b_{i},v\rangle$, $i=1,\dots ,n$

és

$\langle b_{i},v\rangle =\left\langle b_{i},\sum _{j=1}^{n}b_{j}v_{j}\right\rangle =\sum _{j=1}^{n}\left\langle b_{i},b_{j}v_{j}\right\rangle =\sum _{j=1}^{n}\left\langle b_{i},b_{j}\right\rangle v_{j}=\sum _{j=1 \atop j\neq i}^{n}\underbrace {\left\langle b_{i},b_{j}\right\rangle } _{0}v_{j}+\left\langle b_{i},b_{i}\right\rangle v_{i}=v_{i}$

ezzel

$v=\sum _{i=1}^{n}\left\langle b_{i},v\right\rangle b_{i}.$

A fenti 2. példában az ${\vec {v}}={\begin{pmatrix}2\\7\end{pmatrix}}$ vektorra:

$\left\langle {\vec {b}}_{1},{\vec {v}}\right\rangle ={\frac {3}{5}}\cdot 2+{\frac {4}{5}}\cdot 7={\frac {34}{5}}$   és

$\left\langle {\vec {b}}_{2},{\vec {v}}\right\rangle =-{\frac {4}{5}}\cdot 2+{\frac {3}{5}}\cdot 7={\frac {13}{5}}$

így pedig

${\vec {v}}={\frac {34}{5}}\,{\vec {b}}_{1}+{\frac {13}{5}}\,{\vec {b}}_{2}={\frac {34}{5}}\,{\begin{pmatrix}{\tfrac {3}{5}}\\[1ex]{\tfrac {4}{5}}\end{pmatrix}}+{\frac {13}{5}}\,{\begin{pmatrix}-{\tfrac {4}{5}}\\[1ex]{\tfrac {3}{5}}\end{pmatrix}}.$

Skalárszorzat

Egy ortonormált bázisban a bázisbeli koordinátákból a hozzá tartozó skalárszorzat standard skalárszorzatként számítható. Bővebben:

Ha $B=\{b_{1},\dots ,b_{n}\}$ ortonormált bázis $V$-ben, és a $v$ és $w$ vektorok koordináta-ábrázolása $B$-ben $v=v_{1}b_{1}+\dots +v_{n}b_{n}$ és $w=w_{1}b_{1}+\dots +w_{n}b_{n}$, so gilt

$\langle v,w\rangle =v_{1}w_{1}+\dots +v_{n}w_{n}$

valós, illetve

$\langle v,w\rangle ={\bar {v}}_{1}w_{1}+\dots +{\bar {v}}_{n}w_{n}$

komplex esetben.

Ortogonális leképezések

Ha $f\colon V\to V$ valós esetben ortogonális, komplex esetben unitér leképezés, és $B$ ortonormált bázis $V$-ben, akkor $f$ a $B$ bázisban ortogonális, illetve unitér mátrixszal ábrázolható. Más bázisokra ez az állítás nem igaz.

Végtelen dimenzióban

Definíció

Legyen $(V,\langle \cdot ,\cdot \rangle )$ prehilberttér, és legyen $\|\cdot \|={\sqrt {\langle \cdot ,\cdot \rangle }}$ a skalárszorzat által indukált norma. Egy $S\subset V$ részhalmaz ortonormált rendszer, ha $\|e\|=1$ és $\langle e,f\rangle =0$ minden $e,f\in S$ párra, ahol $e\neq f$.

Egy ortonormált rendszer, melynek lineáris burka sűrű a térben, a tér ortonormált bázisa vagy Hilbert-bázisa.

Megjegyezzük, hogy ellentétben a véges dimenzióval egy ortonormált bázis nem Hamel-bázis, vagyis nem bázis lineáris algebrai értelemben. Ez azt jelenti, hogy $V$ nem minden eleme fejezhető ki $S$ véges sok elemének lineáris kombinációjaként. Viszont előáll megszámlálhatóan végtelen elem lineáris kombinációjaként, vagyis feltétlenül konvergens sorként.

Egy $S=(e_{n})_{n\in \mathbb {N} }$ ortonormált rendszer teljes, ha minden $x\in V$ elemre

$\lim _{n\to \infty }\Vert x-\sum _{k=0}^{n}\langle x,e_{k}\rangle e_{k}\Vert =0$.

Jellemzés

Egy $H$ prehilberttér esetén a következők ekvivalensek:

• $S\subset H$ ortonormált bázis
• $S$ ortonormált rendszer és teljesül a Parseval-formula:

$\|x\|^{2}=\sum _{v\in S}|\langle x,v\rangle |^{2}$ minden $x\in H$.

Ha $H$ még teljes is, tehát Hilbert-tér, akkor ekvivalens is:

• Az $S$ $S^{\perp }$ ortogonális komplementere a nulltér, mivel általában egy $T$ részhalmazra ${T^{\perp }}^{\perp }={\overline {\operatorname {span} (T)}}$.
• Konkrétabban, pontosan akkor teljesül, hogy $x=0$, ha minden $v\in S$ esetén $\langle x,v\rangle =0$
• Ha $S$ az inklúzióra maximális ortonormált rendszer, vagyis minden $S$-t tartalmazó ortonormált rendszer megegyezik $S$-sel. Ha egy $S$ ortonormált rendszer nem maximális, akkor lenne egy nullától különböző vektor az ortogonális komplementerben, melyet lenormálva hozzávehetnénk a rendszerhez. Ezzel szintén ortonormált rendszert kapunk, ami szigorúan bővebb, mint az eredeti.

Létezés

A Zorn-lemmával megmutatható, hogy minden $H$ Hilbert-térnek van ortonormált bázisa. Tekintsük $H$-ban az összes ortonormált rendszert, rendezve a tartalmazásra. Ez nem üres, mivel az üres halmaz is ortonormált rendszer. Ortonormált rendszerek minden felszálló lánca a tartalmazásra nézve felülről zárt, különben az egyesítés nem adna ortonormált rendszert. Lenne egy vektor, ami nem normált, vagy tartalmazna két nem ortogonális vektort, melyeket valamelyik egyesített ortonormált rendszernek már tartalmaznia kell. Ezért a Zorn-lemma miatt létezik maximális ortonormált rendszer, egy ortonormált bázis. Az összes ortonormált rendszer helyett tekinthetjük azokat, amelyek egy adott ortonormált rendszert tartalmaznak. Hasonlóan kapjuk, hogy minden ortonormált rendszer kiegészíthető ortonormált bázissá.

Alternatívan, alkalmazható a Gram–Schmidt-ortogonalizáció a teljes $H$-ra vagy egy sűrű részhalmazára. Ezzel is ortonormált bázishoz jutunk.

Minden szeparábilis prehilberttérnek van ortonormált bázisa. Válasszunk egy (legalább) megszámlálható sűrű részhalmazt, és alkalmazzuk a Gram–Schmidt-ortogonalizációt. Most nincs szükség a teljességre, mivel csak véges dimenziós alterekre vetítenek, melyek mindig teljesek. Ezzel (legfeljebb) megszámlálható ortonormált bázist kapunk. Megfordítva, minden prehilberttér, aminek van (legfeljebb) megszámlálható ortonormált bázisa, szeparábilis.

Sorfejtés ortonormált bázis szerint

Egy $S$ ortonormált bázisú $(H,\langle \cdot ,\cdot \rangle )$ Hilbert-térnek megvan az a tulajdonsága, hogy minden $v\in H$ ábrázolható, mint

$v=\sum _{u\in S}\langle u,v\rangle u$

Ez a sor feltétlenül konvergens. Ha a Hilbert-tér véges dimenziós, akkor a feltétlen konvergencia egybeesik az abszolút konvergenciával. Ez a sor az általánosított Fourier-sor. Ha ugyanis a négyzetesen konvergens valós értékű függvények $L^{2}([0,2\pi ])$ Hilbert-terét választjuk, és ellátjuk az

$\langle f,g\rangle =\int _{0}^{2\pi }f(x)g(x)\,\mathrm {d} x,$

skalárszorzattal, akkor

$S=\{c_{0}\}\cup \{c_{n},s_{n}\mid n\in \mathbb {N} \}$

ahol

$c_{0}(x)={\frac {1}{\sqrt {2\pi }}},\ c_{n}(x)={\frac {1}{\sqrt {\pi }}}\cos(nx),\ s_{n}(x)={\frac {1}{\sqrt {\pi }}}\sin(nx)$ minden $x\in [0,2\pi ]$ és $n\in \mathbb {N}$ esetén.

ortonormált bázis $L^{2}([0,2\pi ])$-ben. Ebben a bázisban

$\left\langle f,c_{0}\right\rangle ={\frac {1}{\sqrt {2\pi }}}\int _{0}^{2\pi }f(x)\,\mathrm {d} x,$

$\left\langle f,c_{n}\right\rangle ={\frac {1}{\sqrt {\pi }}}\int _{0}^{2\pi }f(x)\cos(nx)\,\mathrm {d} x$

és

$\left\langle f,s_{n}\right\rangle ={\frac {1}{\sqrt {\pi }}}\int _{0}^{2\pi }f(x)\sin(nx)\,\mathrm {d} x,\quad n\in \mathbb {N}$

éppen $f$ Fourier-sorának Fourier-együtthatói. Ezzel a Fourier-sor éppen az $L^{2}([0,2\pi ])$ elemének sorábrázolása az adott ortonormált bázisban.

További példák

Legyen $\ell ^{2}$ a négyzetesen összegezhető sorozatok sorozattere. Az $S=\{e_{n}\colon n\in \mathbb {N} \}$ halmaz ortonormált bázisa $\ell ^{2}$-nek.

Források

• Freud Róbert, Lineáris algebra, ELTE Eötvös Kiadó, 1998.
• Gerd Fischer: Lineare Algebra. Vieweg-Verlag, ISBN 3-528-03217-0.
• Dirk Werner: Funktionalanalysis. 6., korrigierte Auflage. Springer-Verlag, Berlin 2007, ISBN 978-3-540-72533-6, S. 222–236.

Fordítás

Ez a szócikk részben vagy egészben az Orthonormalbasis című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.