Hilbertov prostor

Hilbertov prôstor [hílbertov ~] je v matematiki posplošitev pojma evklidskega prostora. Imenuje se po Davidu Hilbertu. Pojem razširja metode vektorske algebre in infinitezimalnega računa iz dvorazsežne evklidske ravnine in trirazsežnega prostora na prostore s končnim ali neskončnim številom razsežnosti. Hilbertov prostor je abstraktni vektorski prostor s strukturo notranjega (skalarnega produkta), v katerem se lahko merijo dolžine in koti. Poleg tega morajo biti Hilbertovi prostori polni, z značilnostjo, ki v prostoru določa obstoj dovolj limit, da se lahko uporabljajo tehnike infinitezimalnega računa.

S Hilbertovimi prostori se lahko preučujejo nihajoče strune

Hilbertovi prostori se pogosto pojavljajo v matematiki, fiziki in tehniki, po navadi kot končnorazsežni funkcijski prostori. Hilbertove prostore so s tega vidika najprej raziskovali Hilbert, Erhard Schmidt in Frigyes Riesz v prvem desetletju 20. stoletja. So nepogrešljivo orodje v teoriji parcialnih diferencialnih enačb, kvantne mehanike, Fourierovi analizi, vključno z obdelavo signalov in ergodično teorijo, ki tvorijo matematično osnovo termodinamike. John von Neumann je skoval izraz »Hilbertov prostor« za abstraktni pojem, kot osnovo teh raznolikih uporab. Uspeh metod Hilbertovih prostorov je vodil do zelo plodnega obdobja funkcionalne analize. Poleg klasičnih evklidskih prostorov med Hilbertove prostore spadajo tudi: prostori kvadratno integrabilnih funkcij, prostori zaporedij, prostori Soboljeva s posplošenimi funkcijami in Hardyjevi prostori holomorfnih funkcij.

Geometrijska intuicija je pomembna v mnogo vidikih teorije Hilbetovih prostorov. V Hilbertovem prostoru veljata analogona Pitagorovemu izreku in izreku o paralelogramih. Na globljem nivoju je pri optimizacijskih problemih in drugih vidikih teorije pomembna projekcija na podprostor. Element Hilbertovega prostora se lahko enolično opišem z njegovimi koordinatami glede na množico koordinatnih osi (ortonormirana baza), podobno kot s kartezičnima koordinatama v ravnini. Če je ta množica osi števno neskončna, je Hilbertov prostor še vedno uporaben z neskončnimi zaporedji, ki so kvadratno seštevalni. Podobno so linearni operatorji na Hilbertovem prostoru dovolj stvarni objekti: v dobrih primerih so preprosto transformacije, ki raztegnejo prostor z različnimi faktorji v medseboj pravokotne smeri v smislu, ki ga podrobno obravnava njihova spektralna teorija.

Matematična definicija

Hilbertov prostor je vektorski prostor opremljen z notranjim produktom. Notranji produkt inducira polno metriko, zato je prostor Banachov.

Naj bo $H$ kompleksni vektorski prostor. Prostor je pred Hilbertov natanko tedaj, ko je za poljubna elementa $x,y\in H$ definiran notranji produkt $\langle \cdot ,\cdot \rangle$, za katerega velja

1. Simetričnost notranjega produkta $\langle x,y\rangle ={\overline {\langle x,y\rangle }}$
2. Iz simetričnosti sledi, da je $\langle x,x\rangle \in \mathbb {R}$
3. Notranji produkt je delno linearen. Za $a,b\in \mathbb {C}$ velja, da je $\langle ax+by,\cdot \rangle =a\langle x,\cdot \rangle +b\langle y,\cdot \rangle$
4. Notranji produkt vektorja s samim sabo je pozitivno definiten $\langle x,x\rangle \geq 0$

Notranji produkt inducira kanonično normo$$||x||={\sqrt {\langle x,x\rangle }}\geq 0$$Posledično inducira tudi kanonično metriko, saj lahko dvema točkama $X,Y$ pripišemo krajevna vektorja $x,y$ in tako izrazimo metriko,$$d(X,Y)=||x-y||={\sqrt {\langle x-y,x-y\rangle }}$$Trikotniško neenakost dokažemo s Cauchy-Swarzevo neenakostjo, saj velja $|\langle x,y\rangle |\leq ||x||||y||$. Za neskončno dimenzionalen pred-Hilbertov prostor velja tudi posplošena Hölderjeva neenakost (za $p=2$), kar je praktično le Cauchy-Swarzeva neenakost.

Pred Hilbertov prostor je Hilbertov natanko tedaj, ko je poln v metriki. Za prostor velja Cauchyjev pogoj, denimo da imamo Cauchjevo zaporedje vektorjev ${(u_{i})}_{i\in \mathbb {N} }$, za zaporedje velja, da za vsak $\epsilon$ obstaja $n,m>N$, tako da$$||u_{n}-u_{m}||<\epsilon$$Neskončno dimenzionalen Hilbertov prostor je funkcijski prostor, ki je pogosto uporabljen v funkcionalni analizi. Velikokrat ga uporabljamo kot $p=2$ prostor Soboljeva. Vsak $L^{2}$ prostor je Hilbertov.