Hilbertrum

Ett hilbertrum (efter David Hilbert) är inom matematiken ett inre produktrum som är fullständigt med avseende på den norm som definieras av den inre produkten. Hilbertrum generaliserar och klargör begrepp såsom vissa linjära transformationer (till exempel fouriertransformer) och är absolut nödvändiga i formuleringen av kvantmekaniken. Hilbertrum studeras inom funktionalanalys.

Introduktion

Varje inre produkt <.,.> på ett reellt eller komplext vektorrum H ger upphov till en norm ||.|| enligt

${\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}}$

H kallas ett hilbertrum om det är fullständigt med avseende på denna norm. Med fullständigt menas här att varje cauchyföljd av element från rummet H konvergerar mot ett element i samma rum, i meningen att normen av skillnader mellan elementen i följden och gränsvärdet går mot 0. Varje hilbertrum är därmed även ett banachrum, medan omvändningen inte gäller allmänt.

Alla ändligdimensionella inre produktrum (som euklidiska rum) med den vanliga skalärprodukten är hilbertrum. I vissa tillämpningar, som till exempel kvantmekanik, förekommer dock ofta oändligtdimensionella hilbertrum. Den inre produkten tillåter oss att använda oss av "geometriska" konstruktioner som vi är vana vid från ändligdimensionella rum. Av alla oändligdimensionella topologiska rum är hilbertrummen de "trevligaste" då de är mest lika de ändligdimensionella rummen.

Elementen i hilbertrummen kallas ibland för "vektorer", i allmänhet är de följder eller funktioner. Inom kvantmekaniken så beskrivs ett fysiskt system av ett komplext Hilbertrum, vilket innehåller vågfunktionerna som beskriver de möjliga tillstånden hos systemet.

Ett mål för fourieranalysen är att uttrycka en given funktion som en (möjligen oändlig) summa av givna basfunktioner. Detta är ett problem som kan studeras abstrakt i ett hilbertrum; varje hilbertrum har en ortonormal bas, och varje element i hilbertrummet kan uttryckas unikt som en linjärkombination av dessa baselement.

Hilbertrummen fick sitt namn efter David Hilbert som studerade dem i samband med integralekvationer. Definitionen gavs däremot av John von Neumann.

Exempel

Exempel av hilbertrum är Rⁿ och Cⁿ med den inre produkten

${\displaystyle \langle x,y\rangle =\sum _{k=1}^{n}x_{k}^{*}y_{k}}$

där ^* indikerar komplexkonjugatet.

Mer typiska är de oändligdimensionella hilbertrummen, i synnerhet rummen ${\displaystyle L_{w}^{2}(D)}$ som består av de funktioner vars kvadrat multiplicerat med en så kallad viktfunktion, w, är Lebesgue-integrerbara över domänen D, och vars värdemängd ligger i R eller C, modulo underrummet av de funktioner vars kvadratiska integral är noll. Den inre produkten mellan två funktioner f och g ges då av

${\displaystyle \langle f,g\rangle =\int f(t)^{*}g(t)w(t)\,dt}$

Användandet av Lebesgue-integralen försäkrar oss om att rummet är fullständigt.

(Man bör komma ihåg att per definition så är en Lebesgue-integrerbar funktion en Lebesgue-mätbar funktion f sådan att integralen av |f| är ändlig. Således, en funktion f ligger i hilbertrummet L² endast om integralen av |f|² är ändlig. Se L^p rum för en vidare diskussion av detta exempel.)

Ett hilbertrum vars element är följder ges av l². Där är elementen följder (x_n) av reella (eller komplexa) tal sådana att

${\displaystyle \sum _{n=1}^{\infty }|x|^{2}<\infty }$

Den inre produkten av x = (x_n) och y = (y_n) definieras av

${\displaystyle \langle x,y\rangle =\sum _{n=1}^{\infty }x_{n}^{*}y_{n}}$

Generellt: om B är någon mängd så definieras l²(B) som mängden av alla funktioner x : B → R or C sådana att:

${\displaystyle \sum _{b\in B}\left|x\left(b\right)\right|^{2}<\infty }$

Detta rummet blir ett hilbertrum om vi definierar

${\displaystyle \langle x,y\rangle =\sum _{b\in B}x\left(b\right)^{*}y\left(b\right)}$

för alla x och y i l²(B). På ett sätt (mer om detta nedan) så är varje hilbertrum på formen l²(B) för en lämplig mängd B.

Baser

Ett viktigt begrepp är begreppet ortonormal bas av ett hilbertrum H: en delmängd B av H med tre egenskaper:

1. Varje element i B har norm 1: <e, e> = 1 för alla e i B
2. Givet två olika, godtyckliga element e och f i B, så har vi att: <e, f> = 0. Vi säger att de är ortogonala.
3. Elementen i B spänner upp en tät delmängd av H.

Exempel på ortonormala baser:

• mängden {(1,0,0),(0,1,0),(0,0,1)} bildar en ortonormal bas i R³
• mängden {f_n : n ∈ Z} med f_n(x) = exp(2πinx) ger en ortonormal bas för det komplexa rummet L²([0,1])
• mängden {e_b : b ∈ B} med e_b(c) = 1 om b=c och 0 i övrigt, ger en ortonormal bas av l²(B).

Notera att i det oändligdimensionella fallet så kommer en bas inte vara en bas i samma betydelse som i linjär algebra; varje element i Hilbertrummet kan inte skrivas som en ändlig linjärkombination av elementen i en ortogonal bas. En bas i linjäralgebraisk mening, som är sådan att varje element i Hilbertrummet kan skrivas som en ändlig linjärkombination av baselementen kallas en Hamelbas.

Genom att använda Zorns lemma så kan man visa att varje hilbertrum kan ges en ortonormal bas, och att två olika baser för samma rum har samma kardinalitet. Ett hilbertrum är separabelt om och endast om det kan ges en uppräknelig bas.

Eftersom alla oändligdimensionella separabla hilbertrum är isomorfa, och nästan alla hilbertrum som används i fysiken är separabla så avses ett godtyckligt hilbertrum när en fysiker talar om hilbertrummet.

Om B är en ortonormal bas av H så kan varje element x i H skrivas som

${\displaystyle x=\sum _{b\in B}\langle b,x\rangle b}$

Även om B är ouppräknelig så kommer endast ett uppräkneligt antal termer i denna summa vara skilda från noll, och uttrycket är därför väldefinierat. Summan kallas även fourierutvecklingen av x.

Om B är en ortonormal bas av H så är H isomorf med l²(B) på följande sätt: det existerar en bijektiv linjär avbildning Φ : H → l²(B) sådan att

${\displaystyle \langle \Phi \left(x\right),\Phi \left(y\right)\rangle =\langle x,y\rangle }$

för alla x och y i H.

Reflexivitet

En viktig egenskap hos alla hilbertrum är att de är reflexiva. Det finns till och med mer att säga: man kan helt och hållet beskriva dess dualrum (rummet av alla kontinuerliga linjära funktioner från H till R (eller C). Riesz representationssats påstår att till varje element φ i dualrummet H så finns ett och endast ett element u i H sådant att

${\displaystyle \phi \left(x\right)=\langle u,x\rangle }$ för alla x i H

och kopplingen φ ↔ u ger en antilinjär isomorfism mellan H and H'. Denna motsvarighet utnyttjas i bra-ket-notationen som fysiker uppskattar men som matematikerna skyr.

Begränsade operatorer

Givet ett hilbertrum H, så finns ett speciellt intresse av att studera de kontinuerliga linjära operatorerna A : H → H. Sådana kontinuerliga operatorer är begränsade i betydelsen att de avbildar begränsade mängder på begränsade mängder. Detta tillåter en att definiera dess norm som

${\displaystyle \lVert A\rVert =\mathrm {sup} _{\lVert x\rVert \leq 1}\lVert Ax\rVert }$

Summan och kompositionen av två kontinuerliga linjära operatorer är återigen kontinuerlig och linjär. Låt y vara ett element i H. Avbildningen som tar x till <y, Ax> är linjär och kontinuerlig, och enligt Riesz representationssats kan därmed representeras på formen

${\displaystyle \langle A^{*}y,x\rangle =\langle y,Ax\rangle }$

Detta definierar en ny kontinuerlig linjär operator A^* : H → H, den adjungerade operatorn av A.

Mängden L(H) som bestå av alla kontinuerliga linjära operatorer på H, tillsammans med addition och kompositionsoperationerna, normen och den adjungerade operatorn, bildar en C^*-algebra. Faktum är att detta är motivet till, och det viktigaste exemplet på, en C^*-algebra.

Ett element A av L(H) kallas självadjungerad eller hermitsk om A^* = A. Dylika operatorer ha många egenskaper gemensamt med de reella talen, och kan i vissa lägen ses som generaliseringar av dem.

Ett element U av L(H) kallas unitär om U är inverterbar och dess invers ges av U^*. Detta kan även formuleras genom att kräva att <Ux, Uy> = <x, y> för alla x och y i H. De unitära operatorerna bildar en grupp under komposition.

Ortogonala komplement och projektioner

Om S är en delmängd av Hilbertrummet H så definieras

${\displaystyle S^{+}=\left\{x\in H:\langle x,s\rangle =0\ \forall s\in S\right\}}$

Mängden S⁺ är en sluten delmängd av H och bildar därmed självt ett hilbertrum. Om S är ett slutet underrum av H så kallas S⁺ för det ortogonala komplementet till S, eftersom varje x i H kan i detta fall på ett unit sätt skrivas som en summa

x = s + t

där s i S och t i S⁺. Funktionen P : H → H som avbildar x på s kallas då den ortogonala projektionen på S. P är i sig en självadjungerad kontinuerlig linjär operator på H med egenskapen att P² = P; och varje operator med denna egenskap är en ortogonal projektion på något slutet underrum. För varje x i H, P(x) är det element i S som är närmast x.

Obegränsade operatorer

I kvantmekanik betraktar man även linjära operatorer som inte behöver vara kontinuerliga eller definierade på hela rummet H. Man kräver endast att de är definierade på ett tätt delrum av H. Det är möjligt att definiera självadjungerade obegränsade operatorer, och dessa spelar rollen av observerbara storheter i den matematiska formuleringen av kvantmekaniken.

Typiska exempel på självadjungerade obegränsade operatorer på hilbertrummet L²(R) ges av derivatan Af = if  (där i är den imaginära enheten och f är en funktion, vars kvadrat är integrabel). Ett annat exempel är multiplikation med x: Bf(x) = xf(x). Notera att varken A eller B är definierade på hela H, eftersom i första fallet behöver derivatan A inte existera, och i fallet B behöver produktfunktionen inte vara integrarbar på det sätt som behövs. Dock är både A och B definierade i ett tätt delrum av L²(R).

Historia

Innan hilbertrum introducerades fanns andra generaliseringar av det euklidiska rummet. Hilbertrummet visade sig dock vara ett exemplariskt rum för kvantmekaniska beräkningar och von Neumann använde sig av sin axiomatiskt kompletta behandling av hilbertrum i sitt betydande arbete för kvantmekaniken^[1].

Hilbertrum i populärkultur

Ett av rummen i datorspelet Stugan heter Hilbertrummet.

Se även

• Spektrum för en operator
• Matematisk analys
• Funktionalanalys

Referenser