Unitárny priestor
Z Wikipédie
Unitárny priestor (tiež priestor so skalárnym súčinom alebo predhilbertovský priestor) je lineárny priestor, na ktorom je definovaný skalárny súčin (v cudzích jazykoch nazývaný aj vnútorný súčin). Pomocou skalárneho súčinu sa na priestore dajú rozumne definovať geometrické pojmy uhol a vzdialenosť, čím na priestore vzniká dodatočná geometrická štruktúra. Pomenovanie predhilbertovský priestor poukazuje na skutočnosť, že ľubovolné jeho zúplnenie je Hilbertov priestor.
Obsah |
[úprava] Definícia
Unitárny priestor je lineárny priestor nad polom F reálnych alebo komplexných čísiel na ktorom je navyše definovaný skalárny súčin, to jest zobrazenie
také že pre ľubovolné vektory a pre ľubovolné číslo α z F platí:
- vtedy a len vtedy ak
[úprava] Alternatívna definícia
Vlastnosť 4 z definície skalárneho súčinu hovorí, že skalárny súčin je aditívna funkcia svojho prvého argumentu. Vlastnosť 5 zase hovorí, že skalárny súčin je vo svojom prvom argumente homogénny vzhladom k násobeniu prvkami z F. Z toho okamžite vyplýva, že skalárny súčin je vo svojom prvom argumente lineárny. Ďalej, z vlastnosti 3 okamžite vyplynie, že skalárny súčin je lineárny aj vo svojom druhom argumente a teda je to bilineárna forma.
Každá bilineárna forma prirodzeným sposobom indukuje kvadratickú formu. V reči foriem sa dajú vlastnosti 1 a 2 formulovať tak, že kvadratická forma indukovaná skalárnym súčinom je kladne definitná.
Tieto úvahy umožnujú reformulovať definíciu skalárneho súčinu. Skalárny súčin je potom akákoľvek bilineárna forma ktorá indukuje kladne definitnú kvadratickú formu.
[úprava] Príklady
[úprava] Euklidovské priestory
Euklidovský priestor dimenzie , čiže množina spolu so skalárnym súčinom
je dôležitým príkladom unitárneho priestoru.