PředHilbertův prostor

Pre-Hilbertův prostor (někteří autoři mají také euklidovský prostor ) je skutečný nebo komplexní lineární prostor se skalárním součinem definovaným na něm . Není nutně kompletní , na rozdíl od Hilbertova prostoru . Široce používán ve funkční analýze a příbuzných disciplínách.

Definice

Dvojice se nazývá pre-Hilbertův prostor, pokud  je lineární prostor a  je definován skalárním součinem. (Obvykle to znamená vnitřní produkt v obvyklém slova smyslu, tedy kladně definitivu.)

Norma

PředHilbertův prostor lze považovat za normalizovaný , protože vnitřní produkt vytváří přirozenou normu :

.

V případech, kdy skalární součin není striktně kladně definitní, totiž je zvolen tak, že může být nulový pro nenulové (což může být obtížné se vyhnout v některých nekonečně-dimenzionálních případech), pak výše uvedený výraz nedává normu, ale jen seminorma .

Vlastnosti

Von Neumann-Yordmannův teorém : platí- li zákon rovnoběžníku v seminormovaném prostoru , pak  je předHilbertův, to znamená, že existuje (a navíc jediný) skalární součin takový, že .

Příklad

V teorii Fourierových řad je široce používán pre-Hilbertův prostor reálných funkcí s integrovatelným čtvercem

pokud je bodový součin definován jako

Takto zavedený skalární součin nedává normu, ale pouze seminormu, pokud neidentifikujeme funkce, které se liší pouze na množině nulové míry (jak je tomu u standardní konstrukce prostoru L 2 ).

Viz také