Warum ist ⟨x|x′⟩=δ(x−x′)⟨x|x′⟩=δ(x−x′)\langle x| x' \rangle=\delta(xx')? [Duplikat]

Ich habe versucht, eine Lösung oder einen Beweis dafür zu finden

X | X ' = δ ( X X ' ) ,
aber ich bin nur zu diesem Beitrag gekommen: Wellenfunktion und Dirac-Braket-Notation

So bekam ich die Information, dass der Vektor | X bilden eine Dirac-normalisierte Basis für den Hilbert-Raum.

Ich weiß, dass die Dirac-Delta-Verteilung wie folgt definiert ist:

δ ( X X ' ) = { 0 Wenn  X X ' Wenn  X = X ' ,
das bedeutet, dass mein x' ein Punkt auf meiner x-Achse ist, wo ich meine unendlich hohe Spitze habe. Und auch
D X δ ( X X ' ) = 1.

Aber wie korreliert man das eigentlich mit dem Skalarprodukt der Vektoren x, x' im Hilbert-Raum, die eine sogenannte 'dirakl-normierte' Basis davon bilden?

Könnt ihr mir dazu bitte ein paar Tipps geben? Oder vielleicht kennst du tatsächlich einen Link, wo das erklärt wird.

Keine Antwort (die unten sind perfekt), aber ein bisschen ein Nit-Pick. Der δ -Funktion wird nicht so definiert, wie Sie es sagen, sondern durch die Tatsache, dass
F ( X ) = D j F ( j ) δ ( X j )
Für alle wohlerzogenen Funktionen F ( X ) . Ich weiß, das fühlt sich pedantisch an, aber es ist wirklich gut, sicherzustellen, dass Sie Ihre Definition nur als intuitiven Ausgangspunkt für das Verständnis der Verteilung in physikalischen Kontexten verwenden ( δ -Funktionspotentiale oder Ladungen).

Antworten (2)

Kommt es nicht nur aus dem Siebgut ?

F ( X ) = D X ' F ( X ' ) δ ( X X ' )

Das heißt, wenn Sie das Obige akzeptieren und wenn Sie das akzeptieren

| ψ = D X ' ψ ( X ' ) | X '

Dann

ψ ( X ) = X | ψ = X | D X ' ψ ( X ' ) | X ' = D X ' ψ ( X ' ) X | X '

X | X ' = δ ( X X ' )

Das Argument ist nicht schlüssig. So kann man nur darauf schließen X | X ' δ ( X , X ' ) produziert 0 wenn mit irgendeiner Funktion beschmiert, nicht X | X ' = δ ( X , X ' ) ...
@ValterMoretti: Dieser Punkt interessiert mich – könnten Sie das näher erläutern?
Es gibt nicht viel zu erklären: von ψ ( X ) = D X ' ψ ' ( X ) X | X ' Und ψ ( X ) = D X ' ψ ' ( X ) δ ( X X ' ) du erhältst 0 = ψ ( X ' ) ( X | X ' δ ( X X ' ) ) für jeden ψ . Bedeutet es X | X ' = δ ( X X ' ) ?
Ohne eine genaue Definition der "Delta-Funktion", eine Auswahl der relevanten Klasse von Funktionen usw. ist es schwierig, eine strenge Argumentation zu entwickeln. Was wir sagen können, ist nur, dass die formalen Manipulationen der Symbole darauf hindeuten X | X ' = δ ( X X ' ) .
@ValterMoretti: Da ich neu in der "ket" -Notation bin, ist die Ausarbeitung hilfreich und der Punkt scheint sehr klar zu sein. Gibt es eine Modifikation des Arguments, die schlüssig ist?
Vielleicht reicht es auf dieser Ebene des Formalismus, schließlich geht es um die praktische Anwendung von Mathematik in der Physik, nicht um Mathematik. Wie Sie wahrscheinlich wissen δ ist keine Funktion und die von Ihnen geschriebene "Definition" ist inkonsistent: If δ wo eine Funktion, da { X 0 } Nullmaß hat, würden Sie erhalten δ ( X X 0 ) D X = 0 selbst wenn δ ( 0 ) = .
Um dieses Argument auf dieser Genauigkeitsebene schlüssig zu machen, reicht es aus, ein schlampiges Axiom wie dieses anzunehmen " F ( X ) G ( X ) D X = 0 für alle G impliziert F ( X ) = 0 für alle X "...
(Übrigens habe ich für +1 Alfred Centauris Antwort gestimmt)
@ValterMoretti, deine Antworten hier liegen oft über meinem Verständnis, aber ich lese sie immer gerne. Vielen Dank für Ihre positive Bewertung.

Überzeugen Sie sich zuerst davon, dass jeder endlichdimensionale Vektorraum, den Sie sich leicht in Notation vorstellen können, vertrauter ist als Braket, ich | ich ich | ist der Identitätsoperator, bei dem die Summe über Elemente ist | ich einer orthonormalen Basis. In der Tat,

ich | ich ich | J = ich | ich δ ich J = | J
beweist, dass die mutmaßliche Identität wie erwartet auf Basiselementen wirkt, und der allgemeine Fall folgt dann aus der Linearität. Alles, was wir brauchten, war die Orthonormalitätsbedingung ich | J = δ ich J .

Als nächstes gehen wir in einen Raum, der nicht nur unendlich dimensional ist, sondern ein kontinuierliches Spektrum von Basiselement-Etiketten hat. Unser Identitätsoperator ist jetzt ein Integral statt einer Summe, D X | X X | . Wir wollen

| X ' = D X | X X | X ' ,
was eindeutig wahr ist, iff | X X | X ' = δ ( X X ' ) .