Zustandsvektoren im Hilbertraum: Unterschied zwischen den Versionen
Die Seite wurde neu angelegt: „{{Scripthinweis|Quantenmechanik|2|1}} <math>\Psi (\bar{r})</math> sei ein Vektor im Hilbertraum als Wellenfunktion. Dabei wird zunächst noch keine Aussage übe…“ |
Keine Bearbeitungszusammenfassung |
||
(8 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
{{Scripthinweis|Quantenmechanik|2|1}} | <noinclude>{{Scripthinweis|Quantenmechanik|2|1}}</noinclude> | ||
<math>\Psi (\bar{r})</math> sei ein Vektor im Hilbertraum als Wellenfunktion. | :<math>\Psi (\bar{r})</math> sei ein Vektor im Hilbertraum als Wellenfunktion. | ||
Dabei wird zunächst noch keine Aussage über stationäre oder zeitabhängige Vektoren gemacht. Noch ist t einfach als Argument unterdrückt. ( Zeitlosigkeit) | Dabei wird zunächst noch keine Aussage über stationäre oder zeitabhängige Vektoren gemacht. Noch ist t einfach als Argument unterdrückt. (Zeitlosigkeit) | ||
'''Fourier- Trafo der Impulsdarstellung liefert '''<math>\Psi (\bar{r})</math>: | '''Fourier- Trafo der Impulsdarstellung liefert '''<math>\Psi (\bar{r})</math>: | ||
<math>\Psi (\bar{r})=\frac{1}{{{\left( 2\pi \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k}){{e}^{i\bar{k}\bar{r}}}}</math> in Ortsdarstellung | :<math>\Psi (\bar{r})=\frac{1}{{{\left( 2\pi \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k}){{e}^{i\bar{k}\bar{r}}}}</math> in Ortsdarstellung | ||
Laßt Euch hier nicht verwirren. Die Verwendung von x und k als kanonisch konjugierte Variablen ist völlig analog zu x- p als Variablen, denn wegen | Laßt Euch hier nicht verwirren. Die Verwendung von x und k als kanonisch konjugierte Variablen ist völlig analog zu x- p als Variablen, denn wegen | ||
<math>\bar{p}=\bar{k}\hbar </math> | :<math>\bar{p}=\bar{k}\hbar </math> | ||
entspricht die Verwendung von <math>\bar{p}</math>als kanonisch konjugierte Variable alleine der Mitnahme des Vorfaktors | entspricht die Verwendung von <math>\bar{p}</math>als kanonisch konjugierte Variable alleine der Mitnahme des Vorfaktors | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \frac{1}{{{\hbar }^{\frac{f}{2}}}} \\ | & \frac{1}{{{\hbar }^{\frac{f}{2}}}} \\ | ||
Zeile 25: | Zeile 25: | ||
Die Umkehrung ist nach dem Fourier- Theorem möglich: | Die Umkehrung ist nach dem Fourier- Theorem möglich: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \int_{{{R}^{3}}}^{{}}{{{d}^{3}}x}\Psi (\bar{r}){{e}^{-i\bar{k}\acute{\ }\bar{r}}}=\frac{1}{{{\left( 2\pi \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k})\int_{{}}^{{}}{{{d}^{3}}r}{{e}^{i\left( \bar{k}-\bar{k}\acute{\ } \right)\bar{r}}}} \\ | & \int_{{{R}^{3}}}^{{}}{{{d}^{3}}x}\Psi (\bar{r}){{e}^{-i\bar{k}\acute{\ }\bar{r}}}=\frac{1}{{{\left( 2\pi \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k})\int_{{}}^{{}}{{{d}^{3}}r}{{e}^{i\left( \bar{k}-\bar{k}\acute{\ } \right)\bar{r}}}} \\ | ||
Zeile 47: | Zeile 47: | ||
Ergibt sich die gängige Darstellung | Ergibt sich die gängige Darstellung | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\ | & \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\ | ||
Zeile 57: | Zeile 57: | ||
Dies ist die umkehrbare und Eindeutige Darstellung der Wellenfunktion in Orts- und Impulsdarstellung (Eindeutigkeit nach dem Sampling- Theorem). | Dies ist die umkehrbare und Eindeutige Darstellung der Wellenfunktion in Orts- und Impulsdarstellung (Eindeutigkeit nach dem Sampling- Theorem). | ||
Da die Natur der Dinge diese Transformation beinhaltet sind keine Informationen unter einem gewissen Produkt aus Ort und Impuls in der Wellenfunktion enthalten. ( Sampling- Theorem) Da die Wellenfunktion aber per Definition das System vollständig beschreiben soll, kann in dem System keine Information enthalten sein, die eine größere Genauigkeit als diese der Unschärferelation aufweist. | Da die Natur der Dinge diese Transformation beinhaltet sind keine Informationen unter einem gewissen Produkt aus Ort und Impuls in der Wellenfunktion enthalten. (Sampling- Theorem) Da die Wellenfunktion aber per Definition das System vollständig beschreiben soll, kann in dem System keine Information enthalten sein, die eine größere Genauigkeit als diese der Unschärferelation aufweist. | ||
Also ist die Heisenbergsche Unschärferelation der Ausdruck einer inhärenten Unschärfe, die in der Natur der Dinge liegt, wenn denn der Formalismus der Quantenmechanik und ihre Axiome richtig sind. | Also ist die Heisenbergsche Unschärferelation der Ausdruck einer inhärenten Unschärfe, die in der Natur der Dinge liegt, wenn denn der Formalismus der Quantenmechanik und ihre Axiome richtig sind. | ||
Zeile 67: | Zeile 67: | ||
Wir haben also als Transformationsvorschrift zwischen kanonisch konjugierten Variablen die Fouriertransformation: | Wir haben also als Transformationsvorschrift zwischen kanonisch konjugierten Variablen die Fouriertransformation: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\ | & \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\ | ||
Zeile 75: | Zeile 75: | ||
\end{align}</math> | \end{align}</math> | ||
Als minimale Einheit der Wirkung ( gemäß Hamiltonschem Prinzip) gewinnen wir: | Als minimale Einheit der Wirkung (gemäß Hamiltonschem Prinzip) gewinnen wir: | ||
<math>\Delta x\Delta p=\frac{1}{2}\hbar </math> ( im eindimensionalen Fall) | :<math>\Delta x\Delta p=\frac{1}{2}\hbar </math> (im eindimensionalen Fall) | ||
also für unser Informationsminimum: | also für unser Informationsminimum: | ||
<math>\Delta x\Delta k=\frac{1}{2}</math> | :<math>\Delta x\Delta k=\frac{1}{2}</math> | ||
Dies folgt unmittelbar aus der Fouriertransformation als Trafo- Vorschrift ! ( Sampling- Theorem) | Dies folgt unmittelbar aus der Fouriertransformation als Trafo- Vorschrift! (Sampling- Theorem) | ||
Die Wellenfunktion kann unter dieser Quantisierung keine Information beinhalten ! | Die Wellenfunktion kann unter dieser Quantisierung keine Information beinhalten! | ||
Aber: Die Wellenfunktion beschriebt das System vollständig ( Axiom der Quantenmechanik !) | Aber: Die Wellenfunktion beschriebt das System vollständig (Axiom der Quantenmechanik!) | ||
Somit existiert in der Natur keine Information unter | Somit existiert in der Natur keine Information unter | ||
<math>\Delta x\Delta p<\frac{1}{2}\hbar </math> | :<math>\Delta x\Delta p<\frac{1}{2}\hbar </math> | ||
'''Geometrische Analogie '''der Transformation zwischen Orts- und Impulsdarstellung: | '''Geometrische Analogie '''der Transformation zwischen Orts- und Impulsdarstellung: | ||
Zeile 101: | Zeile 101: | ||
Ein Vektor kann natürlich bezüglich der einen oder der anderen Basis dargestellt werden: | Ein Vektor kann natürlich bezüglich der einen oder der anderen Basis dargestellt werden: | ||
<math>\bar{a}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}{{\bar{e}}_{j}}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}\acute{\ }{{\bar{e}}_{j}}\acute{\ }=\sum\limits_{j=1}^{n}{{}}{{\tilde{a}}_{j}}{{\tilde{\bar{e}}}_{j}}</math> | :<math>\bar{a}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}{{\bar{e}}_{j}}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}\acute{\ }{{\bar{e}}_{j}}\acute{\ }=\sum\limits_{j=1}^{n}{{}}{{\tilde{a}}_{j}}{{\tilde{\bar{e}}}_{j}}</math> | ||
Die Basen sollen die folgenden Eigenschaften haben: | Die Basen sollen die folgenden Eigenschaften haben: | ||
Zeile 109: | Zeile 109: | ||
Die Projektion auf die Basisvektoren erfolgt durch die Bildung des Skalarproduktes: | Die Projektion auf die Basisvektoren erfolgt durch die Bildung des Skalarproduktes: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \left\langle {{{\bar{e}}}_{i}} | {\bar{a}} \right\rangle ={{a}_{i}}=\sum\limits_{j}{{}}{{a}_{j}}\left\langle {{{\bar{e}}}_{i}} | {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{{{a}_{j}}}{{\delta }_{ij}} \\ | & \left\langle {{{\bar{e}}}_{i}} | {\bar{a}} \right\rangle ={{a}_{i}}=\sum\limits_{j}{{}}{{a}_{j}}\left\langle {{{\bar{e}}}_{i}} | {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{{{a}_{j}}}{{\delta }_{ij}} \\ | ||
Zeile 119: | Zeile 119: | ||
Natürlich kann jeder Vektor in einer beliebigen Basis formal entwickelt werden. Die Entwicklungskoeffizienten sind die Projektionen auf die jeweiligen Basisvektoren und natürlich von der Wahl der Basis abhängig : | Natürlich kann jeder Vektor in einer beliebigen Basis formal entwickelt werden. Die Entwicklungskoeffizienten sind die Projektionen auf die jeweiligen Basisvektoren und natürlich von der Wahl der Basis abhängig : | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left\langle {{{\bar{e}}}_{j}} | {\bar{a}} \right\rangle }\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} | & \bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left\langle {{{\bar{e}}}_{j}} | {\bar{a}} \right\rangle }\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} | {\bar{a}} \right\rangle } \\ | ||
& \bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\acute{\ }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle =\sum\limits_{j}{\left\langle {{{\bar{e}}}_{j}}\acute{\ } | {\bar{a}} \right\rangle }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } | & \bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\acute{\ }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle =\sum\limits_{j}{\left\langle {{{\bar{e}}}_{j}}\acute{\ } | {\bar{a}} \right\rangle }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } | {\bar{a}} \right\rangle } \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 129: | Zeile 129: | ||
Im Sinne von: | Im Sinne von: | ||
<math>\left\langle {\bar{b}} | {\bar{a}} \right\rangle =\sum\limits_{j}{{{b}_{j}}}{{a}_{j}}=\sum\limits_{j}{{}}\left\langle b | {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} | a \right\rangle =\sum\limits_{j}{{}}\left\langle b | {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } | a \right\rangle </math> | :<math>\left\langle {\bar{b}} | {\bar{a}} \right\rangle =\sum\limits_{j}{{{b}_{j}}}{{a}_{j}}=\sum\limits_{j}{{}}\left\langle b | {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} | a \right\rangle =\sum\limits_{j}{{}}\left\langle b | {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } | a \right\rangle </math> | ||
Formal gilt damit: | Formal gilt damit: | ||
<math>\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} \right|=}\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } \right|}</math> | :<math>\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} \right|=}\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } \right|}</math> | ||
Dies ist die VOLLSTÄNDIGKEITSRELATION: Die Basis- Vektoren spannen den n- dimensionalen <math>{{R}^{n}}</math>auf. | Dies ist die VOLLSTÄNDIGKEITSRELATION: Die Basis- Vektoren spannen den n- dimensionalen <math>{{R}^{n}}</math>auf. | ||
Übertragung auf Orts- und Impulsdarstellung''' quantentheoretischer Zustände:''' | Übertragung auf Orts- und Impulsdarstellung''' quantentheoretischer Zustände:''' | ||
Der Zustandsvektor im Hilbertraum benötigt zur vollständigen Beschreibung einen 2n- dimensionalen Hilbertraum bei n Freiheitsgraden. In Orts- und Impulsdarstellung wird jedoch nur die jeweilige Komponente, ergo die Projektion der gesamten Wellenfunktion auf den Ortsanteil oder die Projektion der gesamten Wellenfunktion auf den Impulsanteil dargestellt. | Der Zustandsvektor im Hilbertraum benötigt zur vollständigen Beschreibung einen 2n- dimensionalen Hilbertraum bei n Freiheitsgraden. In Orts- und Impulsdarstellung wird jedoch nur die jeweilige Komponente, ergo die Projektion der gesamten Wellenfunktion auf den Ortsanteil oder die Projektion der gesamten Wellenfunktion auf den Impulsanteil dargestellt. | ||
Dies ist vergleichbar mit einem System aus orthogonalen Achsen, wobei man die Projektion einer Funktion in diesem Raum auf eine bestimmte Anzahl von Achsen, beispielsweise auf die Anzahl Achsen, die die Bezeichnung <math>{{r}_{i}}</math> tragen, betrachtet ( Ortsdarstellung). | Dies ist vergleichbar mit einem System aus orthogonalen Achsen, wobei man die Projektion einer Funktion in diesem Raum auf eine bestimmte Anzahl von Achsen, beispielsweise auf die Anzahl Achsen, die die Bezeichnung <math>{{r}_{i}}</math> tragen, betrachtet (Ortsdarstellung). | ||
Die Anteile sind jedoch natürlich nicht voneinander unabhängig, sondern sie gehen durch die Fouriertrafo ineinander über ! | Die Anteile sind jedoch natürlich nicht voneinander unabhängig, sondern sie gehen durch die Fouriertrafo ineinander über! | ||
Es macht ebenso Sinn, <math>\Psi (\bar{r})</math>und <math>\tilde{\Psi }(\bar{p})</math>als Projektionen eines abstrakten Zustandsvektors im Hilbertraum H auf die <math>\bar{r}</math>bzw. <math>\bar{p}</math>- Basis = Darstellung zu betrachten: | Es macht ebenso Sinn, <math>\Psi (\bar{r})</math>und <math>\tilde{\Psi }(\bar{p})</math>als Projektionen eines abstrakten Zustandsvektors im Hilbertraum H auf die <math>\bar{r}</math>bzw. <math>\bar{p}</math>- Basis = Darstellung zu betrachten: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \Psi (\bar{r}):=\left\langle {\bar{r}} | \Psi \right\rangle \\ | & \Psi (\bar{r}):=\left\langle {\bar{r}} | \Psi \right\rangle \\ | ||
& \Psi (\bar{p}):=\left\langle {\bar{p}} | \Psi \right\rangle \\ | & \Psi (\bar{p}):=\left\langle {\bar{p}} | \Psi \right\rangle \\ | ||
Zeile 152: | Zeile 152: | ||
Dadurch werden die Elemente aus H zu einer kommutativen Gruppe | Dadurch werden die Elemente aus H zu einer kommutativen Gruppe | ||
Weiter gilt: Distributivgesetz: | Weiter gilt: Distributivgesetz: | ||
<math>\alpha \left( \left| {{\Psi }_{1}} \right\rangle +\left| {{\Psi }_{2}} \right\rangle \right)=\alpha \left| {{\Psi }_{1}} \right\rangle +\alpha \left| {{\Psi }_{2}} \right\rangle \forall \alpha \in C</math> | :<math>\alpha \left( \left| {{\Psi }_{1}} \right\rangle +\left| {{\Psi }_{2}} \right\rangle \right)=\alpha \left| {{\Psi }_{1}} \right\rangle +\alpha \left| {{\Psi }_{2}} \right\rangle \forall \alpha \in C</math> | ||
<math>\left( \alpha +\beta \right)\left| \Psi \right\rangle =\alpha \left| \Psi \right\rangle +\beta \left| \Psi \right\rangle </math> | :<math>\left( \alpha +\beta \right)\left| \Psi \right\rangle =\alpha \left| \Psi \right\rangle +\beta \left| \Psi \right\rangle </math> | ||
Das Assoziativgesetz und weitere Rechenregel bei Multiplikation mit 1 und Null aus den komplexen Zahlen: | Das Assoziativgesetz und weitere Rechenregel bei Multiplikation mit 1 und Null aus den komplexen Zahlen: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \left( \alpha \right)\left( \beta \left| \Psi \right\rangle \right)=\left( \alpha \beta \right)\left| \Psi \right\rangle \\ | & \left( \alpha \right)\left( \beta \left| \Psi \right\rangle \right)=\left( \alpha \beta \right)\left| \Psi \right\rangle \\ | ||
& 1\cdot \left| \Psi \right\rangle =\left| \Psi \right\rangle \\ | & 1\cdot \left| \Psi \right\rangle =\left| \Psi \right\rangle \\ | ||
Zeile 163: | Zeile 163: | ||
2) H hat ein Skalarprodukt: <math>\left\langle {} | {} \right\rangle :H\times H\to C</math>mit: | 2) H hat ein Skalarprodukt: <math>\left\langle {} | {} \right\rangle :H\times H\to C</math>mit: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \left\langle \Psi | \Psi \right\rangle \ge 0:\left\langle \Psi | \Psi \right\rangle =0\to \left| \Psi \right\rangle =\left| 0 \right\rangle \\ | & \left\langle \Psi | \Psi \right\rangle \ge 0:\left\langle \Psi | \Psi \right\rangle =0\to \left| \Psi \right\rangle =\left| 0 \right\rangle \\ | ||
& \left\langle \Psi | {{\Psi }_{1}}+{{\Psi }_{2}} \right\rangle =\left\langle \Psi | {{\Psi }_{1}} \right\rangle +\left\langle \Psi | {{\Psi }_{2}} \right\rangle \\ | & \left\langle \Psi | {{\Psi }_{1}}+{{\Psi }_{2}} \right\rangle =\left\langle \Psi | {{\Psi }_{1}} \right\rangle +\left\langle \Psi | {{\Psi }_{2}} \right\rangle \\ | ||
Zeile 172: | Zeile 172: | ||
Damit bereits kann gezeigt werden: <math>\left\langle \alpha {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\alpha *\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math> | Damit bereits kann gezeigt werden: <math>\left\langle \alpha {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\alpha *\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math> | ||
Das Skalarprdukt induziert eine Norm: <math>\left\| {} \right\|:H\to R</math> | Das Skalarprdukt induziert eine Norm: <math>\left\| {} \right\|:H\to R</math> | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \left\| \Psi \right\|\ge 0:\left\| \Psi \right\|=0\to \left| \Psi \right\rangle =\left| 0 \right\rangle \\ | & \left\| \Psi \right\|\ge 0:\left\| \Psi \right\|=0\to \left| \Psi \right\rangle =\left| 0 \right\rangle \\ | ||
& \left\| \alpha \Psi \right\|=\left| \alpha \right|\left\| \Psi \right\| \\ | & \left\| \alpha \Psi \right\|=\left| \alpha \right|\left\| \Psi \right\| \\ | ||
Zeile 178: | Zeile 178: | ||
\end{align}</math> | \end{align}</math> | ||
Dabei ist letzteres, die Dreiecksungleichung, bedingt durch die Definition: | Dabei ist letzteres, die Dreiecksungleichung, bedingt durch die Definition: | ||
<math>\left\| \Psi \right\|=\sqrt{\left\langle \Psi | \Psi \right\rangle }</math> | :<math>\left\| \Psi \right\|=\sqrt{\left\langle \Psi | \Psi \right\rangle }</math> | ||
3) <math>H</math>ist vollständig. Das heißt: Jede konvergente Folge <math>{{\left\{ {{\Psi }_{n}} \right\}}_{n\in N}}</math>konvergiert gegen ein <math>\left| \Psi \right\rangle \in H</math> | 3) <math>H</math>ist vollständig. Das heißt: Jede konvergente Folge <math>{{\left\{ {{\Psi }_{n}} \right\}}_{n\in N}}</math>konvergiert gegen ein <math>\left| \Psi \right\rangle \in H</math> | ||
Also: konvergente Folge von Eigenzuständen: Cauchy- Kriterium: <math>\begin{matrix} | Also: konvergente Folge von Eigenzuständen: Cauchy- Kriterium: <math>\begin{matrix} | ||
Zeile 188: | Zeile 188: | ||
1) Die Norm verallgemeinert den Abstandsbegriff auf abstrakte Räume. Das Skalarprodukt verallgemeinert den Winkelbegriff auf abstrakte Räume: | 1) Die Norm verallgemeinert den Abstandsbegriff auf abstrakte Räume. Das Skalarprodukt verallgemeinert den Winkelbegriff auf abstrakte Räume: | ||
<math>\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle ,\left\| {{\Psi }_{1}} \right\|>0\left\| {{\Psi }_{2}} \right\|>0\quad \Rightarrow </math>Die beiden Zustände <math>\left| {{\Psi }_{2}} \right\rangle und\left\langle {{\Psi }_{1}} \right|</math>sind orthogonal. | :<math>\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle ,\left\| {{\Psi }_{1}} \right\|>0\left\| {{\Psi }_{2}} \right\|>0\quad \Rightarrow </math>Die beiden Zustände <math>\left| {{\Psi }_{2}} \right\rangle und\left\langle {{\Psi }_{1}} \right|</math>sind orthogonal. | ||
2) Für <math>\left| {{\Psi }_{1}} \right\rangle ,\left| {{\Psi }_{2}} \right\rangle \in H</math>gilt: <math>\left| \left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle \right|\le \left\| {{\Psi }_{1}} \right\|\cdot \left\| {{\Psi }_{2}} \right\|</math> ( Schwarzsche Ungleichung) | 2) Für <math>\left| {{\Psi }_{1}} \right\rangle ,\left| {{\Psi }_{2}} \right\rangle \in H</math>gilt: <math>\left| \left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle \right|\le \left\| {{\Psi }_{1}} \right\|\cdot \left\| {{\Psi }_{2}} \right\|</math> (Schwarzsche Ungleichung) | ||
3) Äquivalent sind <math>\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math>und <math>\left( {{\Psi }_{1}},{{\Psi }_{2}} \right)</math> | 3) Äquivalent sind <math>\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math>und <math>\left( {{\Psi }_{1}},{{\Psi }_{2}} \right)</math> | ||
4) Zu unterscheiden sind: | 4) Zu unterscheiden sind: | ||
<math>\left| \Psi \right\rangle </math>= Ket- Vektor ( nach Dirac | :<math>\left| \Psi \right\rangle </math>= Ket- Vektor (nach Dirac →Dirac- Schreibweise) | ||
<math>\left\langle \Psi \right|</math>=Bra- Vektor | :<math>\left\langle \Psi \right|</math>=Bra- Vektor | ||
Zusammen ( Skalarprodukt): Bra-c-ket | Zusammen (Skalarprodukt): Bra-c-ket | ||
Dabei bilden die <math>\left\{ \left\langle \Psi \right| \right\}</math>den zu <math>\left\{ \left| \Psi \right\rangle \right\}</math>dualen Hilbertraum <math>H*:</math> | Dabei bilden die <math>\left\{ \left\langle \Psi \right| \right\}</math>den zu <math>\left\{ \left| \Psi \right\rangle \right\}</math>dualen Hilbertraum <math>H*:</math> | ||
<math>\left| \Psi \right\rangle ={{\lambda }_{1}}\left| {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left| {{\Psi }_{2}} \right\rangle </math>, <math>\left| \Psi \right\rangle ={{\lambda }_{1}},{{\lambda }_{2}}\in C</math> | :<math>\left| \Psi \right\rangle ={{\lambda }_{1}}\left| {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left| {{\Psi }_{2}} \right\rangle </math>, <math>\left| \Psi \right\rangle ={{\lambda }_{1}},{{\lambda }_{2}}\in C</math> | ||
impliziert mit beliebigem <math>\left\langle \Phi \right|</math>: | impliziert mit beliebigem <math>\left\langle \Phi \right|</math>: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \left\langle \Phi | \Psi \right\rangle ={{\lambda }_{1}}\left\langle \Phi | {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left\langle \Phi | {{\Psi }_{2}} \right\rangle \\ | & \left\langle \Phi | \Psi \right\rangle ={{\lambda }_{1}}\left\langle \Phi | {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left\langle \Phi | {{\Psi }_{2}} \right\rangle \\ | ||
& \Rightarrow \left\langle \Phi | \Psi \right\rangle *={{\lambda }_{1}}*\left\langle \Phi | {{\Psi }_{1}} \right\rangle *+{{\lambda }_{2}}*\left\langle \Phi | {{\Psi }_{2}} \right\rangle * \\ | & \Rightarrow \left\langle \Phi | \Psi \right\rangle *={{\lambda }_{1}}*\left\langle \Phi | {{\Psi }_{1}} \right\rangle *+{{\lambda }_{2}}*\left\langle \Phi | {{\Psi }_{2}} \right\rangle * \\ | ||
Zeile 213: | Zeile 213: | ||
Dies ist äquivalent dazu, dass ein Hilbertraum H separabel heißt, wenn er eine abzählbare Hilbert- Basis besitzt, es also ein abzählbares, vollständig orthonormiertes System in H gibt. Eine Isometrie <math>\Phi </math>zwischen Hilberträumen H und K ist eine stetige, bijektive, lineare Abbildung <math>\Phi :H\to K</math>so dass <math>{{\left\| \Phi (x) \right\|}_{K}}={{\left\| x \right\|}_{H}}</math>für alle <math>x\in H</math>. | Dies ist äquivalent dazu, dass ein Hilbertraum H separabel heißt, wenn er eine abzählbare Hilbert- Basis besitzt, es also ein abzählbares, vollständig orthonormiertes System in H gibt. Eine Isometrie <math>\Phi </math>zwischen Hilberträumen H und K ist eine stetige, bijektive, lineare Abbildung <math>\Phi :H\to K</math>so dass <math>{{\left\| \Phi (x) \right\|}_{K}}={{\left\| x \right\|}_{H}}</math>für alle <math>x\in H</math>. | ||
Anwendung auf die Ortsdarstellung | Anwendung auf die Ortsdarstellung | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \Psi (\bar{r})=\left\langle {\bar{r}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{p}} | \Psi \right\rangle \\ | & \Psi (\bar{r})=\left\langle {\bar{r}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{p}} | \Psi \right\rangle \\ | ||
& \tilde{\Psi }(\bar{p})=\left\langle {\bar{p}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\Psi (\bar{r}){{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{r}} | \Psi \right\rangle \\ | & \tilde{\Psi }(\bar{p})=\left\langle {\bar{p}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\Psi (\bar{r}){{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{r}} | \Psi \right\rangle \\ | ||
\end{align}</math> | \end{align}</math> | ||
ist in der Ortsdarstellung eine Eigenfunktion ( Wohlgemerkt, eine Funktion!) zum Impuls, also die Ortsdarstellung des Impulszustandes Impuls- Eigenzustandes<math>\left| {\bar{p}} \right\rangle </math>). Der Zustand, der den Impuls repräsentiert und durch Anwendung des Impulsoperators den Impuls liefert. | ist in der Ortsdarstellung eine Eigenfunktion (Wohlgemerkt, eine Funktion!) zum Impuls, also die Ortsdarstellung des Impulszustandes Impuls- Eigenzustandes<math>\left| {\bar{p}} \right\rangle </math>). Der Zustand, der den Impuls repräsentiert und durch Anwendung des Impulsoperators den Impuls liefert. | ||
Denn: | Denn: | ||
<math>\frac{\hbar }{i}\nabla {{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}=\bar{p}{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}</math> | :<math>\frac{\hbar }{i}\nabla {{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}=\bar{p}{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}</math> | ||
In Algebraischer Schreibweise bedeutet dies ( inklusive Normierung): | In Algebraischer Schreibweise bedeutet dies (inklusive Normierung): | ||
Impulseigenfunktion in Ortsdarstellung | Impulseigenfunktion in Ortsdarstellung | ||
<math>\left\langle {\bar{p}} | {\bar{r}} \right\rangle \tilde{\ }{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}</math> | :<math>\left\langle {\bar{p}} | {\bar{r}} \right\rangle \tilde{\ }{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}</math> | ||
Ortseigenfunktion in Impulsdarstellung | Ortseigenfunktion in Impulsdarstellung | ||
( Diese beiden gehen durch komplexe Konjugation ineinander über !) | (Diese beiden gehen durch komplexe Konjugation ineinander über!) | ||
Damit folgt: | Damit folgt: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \Psi (\bar{r})=\left\langle {\bar{r}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{p}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle {\bar{r}} | {\bar{p}} \right\rangle }\left\langle {\bar{p}} | \Psi \right\rangle \\ | & \Psi (\bar{r})=\left\langle {\bar{r}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{p}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle {\bar{r}} | {\bar{p}} \right\rangle }\left\langle {\bar{p}} | \Psi \right\rangle \\ | ||
& \tilde{\Psi }(\bar{p})=\left\langle {\bar{p}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{r}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle {\bar{r}} | {\bar{p}} \right\rangle *}\left\langle {\bar{r}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle {\bar{p}} | {\bar{r}} \right\rangle }\left\langle {\bar{r}} | \Psi \right\rangle \\ | & \tilde{\Psi }(\bar{p})=\left\langle {\bar{p}} | \Psi \right\rangle =\frac{1}{{{\left( 2\pi \hbar \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle {\bar{r}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle {\bar{r}} | {\bar{p}} \right\rangle *}\left\langle {\bar{r}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle {\bar{p}} | {\bar{r}} \right\rangle }\left\langle {\bar{r}} | \Psi \right\rangle \\ | ||
Zeile 233: | Zeile 233: | ||
\end{align}</math> | \end{align}</math> | ||
Da <math>\bar{r}</math>und <math>\bar{p}</math>vollständige Darstellungen sind, folgt: | Da <math>\bar{r}</math>und <math>\bar{p}</math>vollständige Darstellungen sind, folgt: | ||
<math>\left| \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle }\left\langle {\bar{p}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle {\bar{r}} | \Psi \right\rangle </math> | :<math>\left| \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle }\left\langle {\bar{p}} | \Psi \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle {\bar{r}} | \Psi \right\rangle </math> | ||
analog zur Entwicklung des Vektors <math>\left| {\bar{a}} \right\rangle \in {{R}^{n}}</math>nach Basisvektoren ( in seinen Koordinaten, mit seinen Koordinaten als Entwicklungskoeffizienten). | analog zur Entwicklung des Vektors <math>\left| {\bar{a}} \right\rangle \in {{R}^{n}}</math>nach Basisvektoren (in seinen Koordinaten, mit seinen Koordinaten als Entwicklungskoeffizienten). | ||
<math>\bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} | :<math>\bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle {{{\bar{e}}}_{j}} | {\bar{a}} \right\rangle =\sum\limits_{j}{{}}{{a}_{j}}\acute{\ }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle }=\sum\limits_{j}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle {{{\bar{e}}}_{j}}\acute{\ } | {\bar{a}} \right\rangle }</math> | ||
Somit folgt jedoch: | Somit folgt jedoch: | ||
<math>\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle \left\langle {\bar{p}} \right|}=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle {\bar{r}} \right|=1</math> als Vollständigkeits- Relation. Nebenbemerkung: Der Hilbertraum der Zustände hat unendliche Dimension. | :<math>\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle \left\langle {\bar{p}} \right|}=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle {\bar{r}} \right|=1</math> als Vollständigkeits- Relation. Nebenbemerkung: Der Hilbertraum der Zustände hat unendliche Dimension. | ||
Als Grenzwert definiert man den Dirac- Vektor, als Grenzwert einer diskreten Basis: | Als Grenzwert definiert man den Dirac- Vektor, als Grenzwert einer diskreten Basis: | ||
<math>\begin{align} | :<math>\begin{align} | ||
& \left| {\bar{p}} \right\rangle \notin H \\ | & \left| {\bar{p}} \right\rangle \notin H \\ | ||
& \left| {\bar{p}} \right\rangle :=\begin{matrix} | & \left| {\bar{p}} \right\rangle :=\begin{matrix} | ||
Zeile 248: | Zeile 248: | ||
Eigenschaften der Funktionen, die H aufspannen: | Eigenschaften der Funktionen, die H aufspannen: | ||
=====Dual:===== | =====Dual:===== | ||
<math>\left\langle \Psi \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle \Psi | {\bar{p}} \right\rangle }\left\langle {\bar{p}} \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle \Psi | {\bar{r}} \right\rangle }\left\langle {\bar{r}} \right|</math> | :<math>\left\langle \Psi \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle \Psi | {\bar{p}} \right\rangle }\left\langle {\bar{p}} \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle \Psi | {\bar{r}} \right\rangle }\left\langle {\bar{r}} \right|</math> | ||
Man spricht auch vom " Einschieben einer 1 !". | Man spricht auch vom " Einschieben einer 1!". | ||
<math>\left\langle \Psi | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle \Psi | {\bar{p}} \right\rangle }\left\langle {\bar{p}} | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}\tilde{\Psi }(\bar{p})*{{\left( 2\pi \hbar \right)}^{-\tfrac{3}{2}}}{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}=\left\langle {\bar{r}} | \Psi \right\rangle *=\Psi (\bar{r})*</math> | :<math>\left\langle \Psi | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle \Psi | {\bar{p}} \right\rangle }\left\langle {\bar{p}} | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}\tilde{\Psi }(\bar{p})*{{\left( 2\pi \hbar \right)}^{-\tfrac{3}{2}}}{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}=\left\langle {\bar{r}} | \Psi \right\rangle *=\Psi (\bar{r})*</math> | ||
=====Skalarprodukt:===== | =====Skalarprodukt:===== | ||
<math>\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle {{\Psi }_{1}} | {\bar{r}} \right\rangle }\left\langle {\bar{r}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r}{{\Psi }_{1}}(\bar{r})*{{\Psi }_{2}}(\bar{r})=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}{{\tilde{\Psi }}_{1}}(\bar{p})*{{\tilde{\Psi }}_{2}}(\bar{p})</math> | :<math>\left\langle {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle {{\Psi }_{1}} | {\bar{r}} \right\rangle }\left\langle {\bar{r}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r}{{\Psi }_{1}}(\bar{r})*{{\Psi }_{2}}(\bar{r})=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}{{\tilde{\Psi }}_{1}}(\bar{p})*{{\tilde{\Psi }}_{2}}(\bar{p})</math> | ||
=====Norm:===== | =====Norm:===== | ||
<math>\left\| \Psi \right\|={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle \Psi | {\bar{r}} \right\rangle }\left\langle {\bar{r}} | \Psi \right\rangle \right]}^{\frac{1}{2}}}={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}} \right]}^{\frac{1}{2}}}</math> | :<math>\left\| \Psi \right\|={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle \Psi | {\bar{r}} \right\rangle }\left\langle {\bar{r}} | \Psi \right\rangle \right]}^{\frac{1}{2}}}={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}} \right]}^{\frac{1}{2}}}</math> | ||
Alle Funktionen im Hilbertraum müssen also insbesondere quadratintegrabel sein. | Alle Funktionen im Hilbertraum müssen also insbesondere quadratintegrabel sein. | ||
Somit folgt: | Somit folgt: | ||
<math>H=L{}^\text{2}({{R}^{3}})=\left\{ \Psi :{{R}^{3}}\to C\left| {} \right.\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}<\infty } \right] \right\}</math> | :<math>H=L{}^\text{2}({{R}^{3}})=\left\{ \Psi :{{R}^{3}}\to C\left| {} \right.\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}<\infty } \right] \right\}</math> | ||
Nebenbemerkung: | Nebenbemerkung: | ||
Die Linearität des Vektorraumes garantiert das Superpositionsprinzip für Wellenfunktionen! | Die Linearität des Vektorraumes garantiert das Superpositionsprinzip für Wellenfunktionen! |
Aktuelle Version vom 9. August 2011, 13:23 Uhr
Der Artikel Zustandsvektoren im Hilbertraum basiert auf der Vorlesungsmitschrift von Franz- Josef Schmitt des 2.Kapitels (Abschnitt 1) der Quantenmechanikvorlesung von Prof. Dr. E. Schöll, PhD. |
|}}
Dabei wird zunächst noch keine Aussage über stationäre oder zeitabhängige Vektoren gemacht. Noch ist t einfach als Argument unterdrückt. (Zeitlosigkeit)
Fourier- Trafo der Impulsdarstellung liefert :
Laßt Euch hier nicht verwirren. Die Verwendung von x und k als kanonisch konjugierte Variablen ist völlig analog zu x- p als Variablen, denn wegen
entspricht die Verwendung von als kanonisch konjugierte Variable alleine der Mitnahme des Vorfaktors
Die Umkehrung ist nach dem Fourier- Theorem möglich:
Ergibt sich die gängige Darstellung
Dies ist die umkehrbare und Eindeutige Darstellung der Wellenfunktion in Orts- und Impulsdarstellung (Eindeutigkeit nach dem Sampling- Theorem).
Da die Natur der Dinge diese Transformation beinhaltet sind keine Informationen unter einem gewissen Produkt aus Ort und Impuls in der Wellenfunktion enthalten. (Sampling- Theorem) Da die Wellenfunktion aber per Definition das System vollständig beschreiben soll, kann in dem System keine Information enthalten sein, die eine größere Genauigkeit als diese der Unschärferelation aufweist.
Also ist die Heisenbergsche Unschärferelation der Ausdruck einer inhärenten Unschärfe, die in der Natur der Dinge liegt, wenn denn der Formalismus der Quantenmechanik und ihre Axiome richtig sind.
Wiederholung
Angesichts eines informationstheoretischen Zugangs zur Quantenmechanik ist dies eine wichtige Aussage:
Wir haben also als Transformationsvorschrift zwischen kanonisch konjugierten Variablen die Fouriertransformation:
Als minimale Einheit der Wirkung (gemäß Hamiltonschem Prinzip) gewinnen wir:
also für unser Informationsminimum:
Dies folgt unmittelbar aus der Fouriertransformation als Trafo- Vorschrift! (Sampling- Theorem)
Die Wellenfunktion kann unter dieser Quantisierung keine Information beinhalten!
Aber: Die Wellenfunktion beschriebt das System vollständig (Axiom der Quantenmechanik!)
Somit existiert in der Natur keine Information unter
Geometrische Analogie der Transformation zwischen Orts- und Impulsdarstellung:
Sei ein n- dimensionaler Vektorraum, das heißt, die Metrik sei durch ein euklidisches Skalarprodukt erklärt.
Seien , und drei beliebige Basen des .
Ein Vektor kann natürlich bezüglich der einen oder der anderen Basis dargestellt werden:
Die Basen sollen die folgenden Eigenschaften haben:
Die Projektion auf die Basisvektoren erfolgt durch die Bildung des Skalarproduktes:
Natürlich kann jeder Vektor in einer beliebigen Basis formal entwickelt werden. Die Entwicklungskoeffizienten sind die Projektionen auf die jeweiligen Basisvektoren und natürlich von der Wahl der Basis abhängig :
Im Sinne von:
Formal gilt damit:
Dies ist die VOLLSTÄNDIGKEITSRELATION: Die Basis- Vektoren spannen den n- dimensionalen auf. Übertragung auf Orts- und Impulsdarstellung quantentheoretischer Zustände: Der Zustandsvektor im Hilbertraum benötigt zur vollständigen Beschreibung einen 2n- dimensionalen Hilbertraum bei n Freiheitsgraden. In Orts- und Impulsdarstellung wird jedoch nur die jeweilige Komponente, ergo die Projektion der gesamten Wellenfunktion auf den Ortsanteil oder die Projektion der gesamten Wellenfunktion auf den Impulsanteil dargestellt. Dies ist vergleichbar mit einem System aus orthogonalen Achsen, wobei man die Projektion einer Funktion in diesem Raum auf eine bestimmte Anzahl von Achsen, beispielsweise auf die Anzahl Achsen, die die Bezeichnung tragen, betrachtet (Ortsdarstellung). Die Anteile sind jedoch natürlich nicht voneinander unabhängig, sondern sie gehen durch die Fouriertrafo ineinander über! Es macht ebenso Sinn, und als Projektionen eines abstrakten Zustandsvektors im Hilbertraum H auf die bzw. - Basis = Darstellung zu betrachten:
Axiome des Hilbertraums H:
Dadurch werden die Elemente aus H zu einer kommutativen Gruppe Weiter gilt: Distributivgesetz:
Das Assoziativgesetz und weitere Rechenregel bei Multiplikation mit 1 und Null aus den komplexen Zahlen:
2) H hat ein Skalarprodukt: mit:
Damit bereits kann gezeigt werden: Das Skalarprdukt induziert eine Norm:
Dabei ist letzteres, die Dreiecksungleichung, bedingt durch die Definition:
3) ist vollständig. Das heißt: Jede konvergente Folge konvergiert gegen ein Also: konvergente Folge von Eigenzuständen: Cauchy- Kriterium:
Bemerkungen
1) Die Norm verallgemeinert den Abstandsbegriff auf abstrakte Räume. Das Skalarprodukt verallgemeinert den Winkelbegriff auf abstrakte Räume:
2) Für gilt: (Schwarzsche Ungleichung) 3) Äquivalent sind und 4) Zu unterscheiden sind:
Zusammen (Skalarprodukt): Bra-c-ket
Dabei bilden die den zu dualen Hilbertraum
Aber: ist der zu duale Vektorraum, ist isomorph zu
5) heißt separabel, falls er eine überall dichte, abzählbare Teilmenge besitzt Das heißt: Dies ist äquivalent dazu, dass ein Hilbertraum H separabel heißt, wenn er eine abzählbare Hilbert- Basis besitzt, es also ein abzählbares, vollständig orthonormiertes System in H gibt. Eine Isometrie zwischen Hilberträumen H und K ist eine stetige, bijektive, lineare Abbildung so dass für alle . Anwendung auf die Ortsdarstellung
ist in der Ortsdarstellung eine Eigenfunktion (Wohlgemerkt, eine Funktion!) zum Impuls, also die Ortsdarstellung des Impulszustandes Impuls- Eigenzustandes). Der Zustand, der den Impuls repräsentiert und durch Anwendung des Impulsoperators den Impuls liefert.
Denn:
In Algebraischer Schreibweise bedeutet dies (inklusive Normierung):
Impulseigenfunktion in Ortsdarstellung
Ortseigenfunktion in Impulsdarstellung (Diese beiden gehen durch komplexe Konjugation ineinander über!) Damit folgt:
Da und vollständige Darstellungen sind, folgt:
analog zur Entwicklung des Vektors nach Basisvektoren (in seinen Koordinaten, mit seinen Koordinaten als Entwicklungskoeffizienten).
Somit folgt jedoch:
- als Vollständigkeits- Relation. Nebenbemerkung: Der Hilbertraum der Zustände hat unendliche Dimension.
Als Grenzwert definiert man den Dirac- Vektor, als Grenzwert einer diskreten Basis:
Eigenschaften der Funktionen, die H aufspannen:
Dual:
Man spricht auch vom " Einschieben einer 1!".
Skalarprodukt:
Norm:
Alle Funktionen im Hilbertraum müssen also insbesondere quadratintegrabel sein. Somit folgt:
Nebenbemerkung: Die Linearität des Vektorraumes garantiert das Superpositionsprinzip für Wellenfunktionen!