Unitární prostor

Šablona:Možná hledáte Unitární (nebo též prehilbertovský) metrický prostor je každý vektorový prostor vybavený funkcí („součinem“), která dvěma vektorům přiřadí skalár (tj. komplexní číslo, v mnoha prostorech reálné číslo) a která se v některých základních rysech chová podobně, jako skalární součin v běžném (tj. eukleidovském) $n$-rozměrném prostoru.

Taková funkce indukuje (tj. zavádí) na dané nosné množině též normu definující délku vektoru a tím i metriku udávající vzdálenost dvou vektorů a topologii specifikující, co na této množina znamená okolí, konvergence posloupnosti a limita funkce vedoucí z nebo do této množiny.

Úplný unitární prostor se nazývá Hilbertův.

Reálný unitární prostor bývá také označován jako prostor se skalárním součinem.

Prostory se skalárním součinem, které mají konečnou dimenzi, bývají označovány jako euklidovské prostory.

Definice

Unitárním prostorem $𝕍$ je každý vektorový prostor nad reálnými čísly $ℝ$ nebo komplexními čísly $ℂ$ vybavený funkcí $⟨\cdot ,\cdot ⟩$ z $𝕍\times 𝕍$ do $ℂ$, která splňuje následující vlastnosti:

1. Pozitivní definitnost: Pro každý vektor $𝐯\in 𝕍$ platí $⟨𝐯,𝐯⟩\ge 0$. Navíc $⟨𝐯,𝐯⟩=0$ právě tehdy, když $𝐯=\mathrm{𝟎}$.

2. Lineárnost v první složce: Pro všechny $𝐮,𝐯,𝐰\in 𝕍$ a všechna $\alpha ,\beta \in ℂ$ platí $⟨\alpha 𝐮+\beta 𝐯,𝐰⟩=\alpha ⟨𝐮,𝐰⟩+\beta ⟨𝐯,𝐰⟩$.

3. Konjugovaná symetrie: Pro všechny $𝐮,𝐯\in 𝕍$ platí $⟨𝐮,𝐯⟩=\overline{⟨𝐯,𝐮⟩}$, kde $\bar{z}$ označuje komplexní sdružené číslo k $z$. Zde $\bar{x}$ značí konjugent čísla $x$. U reálných čísel to nehraje roli, neboť $\bar{x}=x$, ale u komplexních čísel je nutné k tomu, aby např. délka vektoru $𝐯\in 𝕍$ nemohla být záporná nebo imaginární.

Každý unitární prostor je i normovaným prostorem, protože norma vektoru určená vztahem $\Vert 𝐮\Vert =\sqrt{(𝐮,𝐮)}$ a vzdálenost („metrika“) dvou prvků $𝐮,𝐯\in V$ definovaná jako $d(𝐮,𝐯)=\Vert 𝐯-𝐮\Vert$ splňují axiomy normovaného prostoru a tím i metrického prostoru.

Pro reálná čísla lze tedy říci, že unitární prostor je jakýkoli „vektorový prostor vybavený symetrickou, pozitivně definitní bilineární formou“.

Příklady

Každý Hilbertův prostor je unitárním prostorem a typické příklady unitárních prostorů jsou právě Hilbertovy prostory.

l² prostor

Uvažujme nyní l² prostor, tj. speciální případ l^p prostoru pro p = 2. Tento prostor tvoří konvergentní posloupnosti $(a_n{)}_{n=1}^{\mathrm{\infty }}$ komplexních čísel, pro které platí

$\sum _{n=1}^{\mathrm{\infty }}|a_n{|}^2<+\mathrm{\infty }.$

Protože jsou posloupnosti jistým zobecněním aritmetických vektorů, zaveďme v analogii s předchozím příkladem zobrazení

$((a_n),(b_n))=\sum _{n=1}^{\mathrm{\infty }}{\overline{a}}_n{b}_n,$

kde $(a_n)$ a $(b_n)$ jsou libovolné dvě posloupnosti z prostoru l². O tomto zobrazení bychom chtěli opět ukázat, že se jedná o skalární součin. Jednotlivé vlastnosti skalárního součinu bychom ověřovali podobně jako u aritmetických vektorů, zde ale navíc ještě potřebujeme vědět, zda řada, vystupující v definici zobrazení výše, má konečný součet. V této souvislosti lze užít Hölderovy nerovnosti ve tvaru

$\sum _{n=1}^{\mathrm{\infty }}|a_n{b}_n|\le {(\sum _{n=1}^{\mathrm{\infty }}|a_n{|}^2)}^{\frac{1}{2}}{(\sum _{n=1}^{\mathrm{\infty }}|b_n{|}^2)}^{\frac{1}{2}}$.

Protože vybíráme posloupnosti s prostoru l², tak jsou řady na pravé straně nerovnosti konečné a číslo na pravé straně je tedy konečné. Z toho plyne, že je konečná i řada na levé straně. Pro tuto řadu ale zjevně platí

$\sum _{n=1}^{\mathrm{\infty }}{\overline{a}}_n{b}_n\le \sum _{n=1}^{\mathrm{\infty }}|a_n{b}_n|.$

Máme tak ověřeno, že zobrazení výše je skalární součin, který každé dvojici posloupností z prostoru l² přiřazuje (konečné) číslo. Obdobně jako v předchozím příkladu bychom i nyní ověřili, že tento skalární součin definuje normu, která je totožná s normou $\Vert \cdot {\Vert }_2$ definovanou v oddíle l^p prostory, když položíme p=2.

L² prostor

Uvažujme L² prostor, tedy množinu měřitelných funkcí definovaných na prostoru s mírou $(X,\mathrm{\Sigma },\mu )$, které splňují vztah

$\underset{X}{\int }|f{|}^2\mathrm{d}\mu <+\mathrm{\infty }.$

I na tomto prostoru chceme zavést skalární součin. Vyjdeme-li z výrazu pro skalární součin posloupností v předchozím příkladu, kde sumu zaměníme za integrál, tak obdržíme definiční vztah

$(f,g)=\underset{X}{\int }\overline{f}g\mathrm{d}\mu ,$

kde $f,g$ jsou libovolné (komplexní) funkce z L². Analogicky jako pro posloupnosti bychom i zde ověřili, že zadaný vztah definuje skalární součin, opět bychom pro ověřování trojúhelníkové nerovnosti využili Hölderovy nerovnosti, tentokrát v integrálním tvaru. A podobně jako v případě posloupností bychom i nyní ukázali, že takto definovaný skalární součin indukuje normu, která je totožná s normou $\Vert \cdot {\Vert }_2$ objevující se v oddíle L^p prostory, když položíme p=2. Vektorovému prostoru L² vybavenému skalárním součinem definovaným výše se říká prostor kvadraticky integrabilních funkcí. Tento prostor hraje zvlášť důležitou roli v kvantové mechanice. Zhruba řečeno, všechny vlnové funkce popisující stav kvantového systému totiž musejí v souladu s Bornovým postulátem patřit do tohoto prostoru.

Související články

• Vektorový prostor
• Metrický prostor
• Banachův prostor
• Afinní prostor
• Euklidovský prostor