Unitárny priestor

Unitárny priestor (tiež priestor so skalárnym súčinom, predhilbertovský priestor alebo nesprávne euklidovský 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.

Definícia 
Unitárny priestor je lineárny priestor nad poľom F reálnych alebo komplexných čísiel na ktorom je navyše definovaný skalárny súčin, to jest zobrazenie

také že pre ľubovoľné vektory  a pre ľubovoľné číslo  z F platí:

 vtedy a len vtedy ak

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 vzhľadom 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žňujú 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.

Príklady

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.

Lineárna algebra
Funkcionálna analýza