Skript Quantenmechanik - Otto-von-Guericke-Universität Magdeburg
Skript Quantenmechanik - Otto-von-Guericke-Universität Magdeburg
Skript Quantenmechanik - Otto-von-Guericke-Universität Magdeburg
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
2) HisteineuklidischeroderunitärerRaum=reelleroderkomplexerVektorraummit<br />
Skalarprodukt<br />
Schreibweise fürSkalarprodukt:〈α| β〉 (= 〈β| α〉 ∗ )<br />
Bezeichnungen:<br />
Orthogonalität: |α〉,|β〉 orthogonal ⇔ 〈α| β〉 = 0<br />
Norm: α = 〈α| α〉<br />
Esgeltendie<br />
Schwarzsche Ungleichung: |〈α| β〉| ≤ αβ<br />
(Gleichheit, wenn|α〉 = c|β〉)<br />
unddie Dreiecksungleichung: α−β ≤ α+β ≤ α+β<br />
IstHendlichdimensionalmit Dimension n<br />
❀ jeder Satz <strong>von</strong> n linear unabhängigen Vektoren ist eine Basis,<br />
d.h. jedes Element ∈ H lässt sich als Linearkombination dieser<br />
Zuständeschreiben.<br />
Für ∞dimensionale Hilberträume sind folgende zwei Eigenschaften noch<br />
explizit zu nennen (weil sie anders als im endlichdimensionalen Fall nicht<br />
selbstverständlichsind)<br />
3) H ist separabel<br />
Es gibt mindestens eine Folge <strong>von</strong> Vektoren |αn〉, die in H überall<br />
dicht ist. (D.h., zu jedem ε > 0 ∃ für jedes |ψ〉 ∈ H mindestens ein<br />
|αm〉 mit αm − ψ < ε.)<br />
Definition: Orthonormalsystem(ONS)<br />
Menge M <strong>von</strong> Vektoren,für diegilt:<br />
<br />
βi<br />
βj = δij ∀ |βi〉,<br />
↑<br />
Kroneckersymbol<br />
<br />
βj ∈ M<br />
vollständiges Orthonormalsystem: ONS, so<br />
dass es kein Element = |0〉 aus H gibt, das orthogonalzu<br />
allen |βi〉 steht<br />
Separabilität ⇒ Dimension <strong>von</strong> H höchstensabzählbar ∞<br />
4) H ist vollständig 10<br />
JedeCauchy-Folge|αn〉 ∈ H konvergiertgegenein Element|α〉 ∈ H.<br />
[Cauchy-Folge: Zujedem ε > 0 ∃ N(ε), sodass<br />
αn − αm < ε ∀ n,m > N(ε)]<br />
Es kann gezeigt werden, dass ein vollständiges ONS ganz H aufspannt,<br />
d.h. jeder Vektor |ϕ〉 aus H lässt sich nach diesem System<br />
10 Ein reeller oder komplexer Vektorraum mit Skalarprodukt, der nicht notwendigerweise<br />
vollständigist,heißtPrähilbertraum.<br />
76