Linearität des inneren Produkts in der Dirac-Notation

Ich fing an, die Dirac-Notation mit den Notizen des MIT zu QM zu lernen. In der Einleitung heißt es, dass die Dirac-Notation damit beginnt, innere Produkte zu drehen von:

u , v
zu, Ersetzen des Kommas durch einen Balken:
u | v
Dann heißt es, wir trennen uns u | (BHs) und | v (Kets) als Objekte für sich, so dass, wenn der betrachtete Vektorraum bezeichnet wird v , v v (in dieser Notation) keinen Sinn mehr, sondern | v v ist wahr, denn jetzt sind die Kets die Elemente des Raums: der Buchstabe im Inneren |     ist nur ein Etikett, daher müssen Operationen usw. mit den Kets als Ganzes durchgeführt werden. Betrachten Sie jedoch die Linearitätsbedingung für den zweiten Slot in inneren Produkten:
u , A 1 v 1 + A 2 v 2 = A 1 u , v 1 + A 2 u , v 2
Dies macht Sinn, da die Menge A 1 v 1 + A 2 v 2 ist ein Vektor, aber v 1 Und v 2 sind selbst auch Vektoren. Dann wird angegeben, dass dies in der Dirac-Notation übersetzt wird in:
u | A 1 v 1 + A 2 v 2 = A 1 u | v 1 + A 2 u | v 2
Das sieht für mich sehr falsch aus: jetzt A 1 v 1 + A 2 v 2 ist kein Vektor mehr, aber | A 1 v 1 + A 2 v 2 Ist. Daher ist es nicht einmal sinnvoll, das zu sagen | v 1 ein Vektor ist, da die Stelle, an der es überlagert ist, innerhalb des Etiketts des Ket liegt. Ist diese Bedingung also tatsächlich richtig angegeben und es gibt etwas, das ich nicht verstehe, oder gibt es eine andere Möglichkeit, ein solches Axiom richtig anzugeben?

Was Sie erlebt haben, ist ein Beispiel dafür , aber es ist keine schlechte Sache.
Am Ende des Tages ist das alles nur eine Notation, solange Sie also verstehen, was diese Notation bedeutet, gibt es kein Problem. In Ihrem Fall haben wir | A 1 v 1 + A 2 v 2 = A 1 | v 1 + A 2 | v 2 Und A 1 v 1 + A 2 v 2 | = A 1 v 1 | + A 2 v 2 | .

Antworten (4)

Der Schlüssel zur Dirac-Notation ist, wie Sie bereits erwähnt haben, dass das Ding im BH oder Ket ein Label ist , kein Vektor in einem Vektorraum. Das sage ich immer beim Schreiben | ψ v als Element des Vektorraums ist in der in der Mathematik gebräuchlichen Schreibweise v ψ v . Beachten Sie, dass ψ ist kein Element des Vektorraums. Es ist einfach ein Symbol, wir haben uns entschieden, den Vektor auf die gleiche Weise zu beschriften, wie wir Indizes an Vektoren anhängen würden, um sie zu verfolgen.

In Anbetracht dessen muss man niemals den Begriff der Linearität auf die Symbole „innerhalb“ des BHs oder Kets anwenden, obwohl Sie diese schlampige Notation oft in einführenden Quellen sehen werden. In all diesen Fällen ist die Definition der Linearität im Etikett die Linearität im Vektor. Damit meine ich, dass Autoren eher schreiben | A ψ 1 + B ψ 2 A | ψ 1 + B | ψ 2 . Auch dies ist eine schlampige Notation, und ich empfehle, sie so weit wie möglich zu vermeiden: der einzige Grund, zu schreiben | A ψ 1 + B ψ 2 statt A | ψ 1 + B | ψ 2 ist Faulheit (da Dinge richtig zu schreiben oft erfordern würde, dass ein zusätzlicher Satz Klammern gezogen wird).

Was Sie "Faulheit" nennen, nennen andere vielleicht "Klarheit". Warum den Leser dazu bringen, einen zusätzlichen Satz Klammern zu parsen, wenn diese Klammern nur der Pedanterie dienen?
@Niemand, wenn es wirklich nichts anderes als Pedanterie wäre, dann würden Fragen wie OPs sicherlich nicht existieren. Symbole und Operationen sollten eine konsistente Bedeutung haben.
Ich denke, das ist überhaupt nicht der Fall. Es gibt keine Notation, die so klar ist, dass es nicht irgendwo jemanden gibt, der davon verwirrt ist, und nach allem, was wir wissen, hat die Quelle, aus der das OP arbeitete, diese Verwendung einfach schlecht erklärt. Symbole und Operationen sollten so verwendet werden, dass die zugrunde liegenden Ideen am klarsten kommuniziert werden, auch wenn dies gelegentlich zu harmlosen Widersprüchen führt.

Es hört sich so an, als wäre Ihre Frage im Wesentlichen semantisch, ob sie "richtig" zu verstehen ist

| A 1 v 1 + A 2 v 2 A 1 | v 1 + A 2 | v 2
.

Für mich ist es das nicht, aber dies scheint das Maß an notatorischer Strenge zu sein, das Physiker oft verwenden. Zum Beispiel könnten wir uns auf die Fourier-Transformation von beziehen F ( T ) als F ( ω ) statt F ~ ( ω ) und verlassen Sie sich auf das Argument, um anzuzeigen, was was ist. Es kann etwas Verwirrung stiften, aber es kann sich auch als praktisch erweisen.

(Übrigens habe ich versucht, meinen Schüler davon abzubringen, diese fragwürdige Notation zu verwenden. Es kam ihm intuitiv vor, aber ich denke, er ist bereit, darauf zu verzichten.)

Es ist eine Schande, dass die Notizen mit begannen u , v anstatt ϕ , ψ . Bei letzterem hätten sie das dann betonen können ich A ich ψ ich , mit Skalaren A ich (beachten Sie das römische Symbol) und Vektoren ψ ich (beachten Sie das griechische Symbol) im Prä-(bra-ket)-Formalismus, wird ich A ich | ψ ich im Braket-Formalismus, wobei dieser Vektor auch geschrieben werden kann als | ich A ich ψ ich . (Theoretisch hätten zwei Farben dasselbe erreichen können.)

Dies ist eine etwas allgemeinere Vektor-Label-Beziehung, die die Linearität von Kets anerkennt und nutzt, ganz zu schweigen von der Antilinearität von BHs und der Sesquilinearität von inneren Produkten, wenn wir dasselbe mit BHs machen.

Als eine Antwort auf eine Frage zum Missbrauch von Notationsnotizen , menschliche Leser

sind in der Lage, Kontext, Vermutungen und alle möglichen anderen Informationen zu verwenden, wenn sie entschlüsseln, was wir schreiben/sagen. Es ist im Allgemeinen immens effizienter, dies zu nutzen.

In diesem Fall wurde es nicht perfekt ausgenutzt, aber jetzt ist es hoffentlich klar.

Die vom Autor verwendete Notation macht dies unnötig verwirrend. Die folgenden Aussagen sind nur Umbenennungen und weisen auf dasselbe hin. Von links nach rechts sind dies die Vektornotation, die Vektorkomponentennotation und die Dirac-Notation.

v ( v 1 v 2 ) | v v ( v 1 v 2 ) v | A u + B v ( A u 1 + B v 1 A u 2 + B v 2 ) A | u + B | v
Hier habe ich verwendet u , v anstatt v 1 , v 2 um Verwechslungen mit Vektorkomponenten zu vermeiden. Die explizitere Art, die Aussage zu schreiben, wäre also
u | ( A | v + B | w ) = A u | v + B u | w
was der Kurzschreibweise entspricht
u | A v + B w = A u | v + B u | w

Das hat es viel klarer gemacht, danke! Es machte es noch verwirrender, dass die Notizen selbst hinterher erwähnen, dass man für Positionszustände nicht |ax>=a|x> sagen kann, da der erste einen Positionseigenzustand bei „ax“ darstellt und der zweite einen Positionszustand bei „x“ mit Amplitude „a“.
@ Nick.25 Ich verstehe, ich verstehe, warum sie die Kurzschreibweise einführen wollen, aber es scheint seltsam, sie so früh einzuführen, wenn Sie nur die Konzepte klar verstehen wollen