Hermitesche Operatoren, benannt nach Charles Hermite, sind in der Mathematik betrachtete Operatoren, die eine zentrale Rolle in der mathematischen Struktur der Quantenmechanik spielen. Der Begriff des hermiteschen Operators wird in der Literatur uneinheitlich definiert, in diesem Artikel werden besonders die physikalischen Sicht- und Schreibweisen verwendet.
Der Begriff des hermiteschen Operators wird in der Literatur uneinheitlich definiert. So kommt in manchen mathematischen Darstellungen der Begriff „hermitescher Operator“ überhaupt nicht vor; stattdessen werden sogenannte symmetrische, symmetrische dicht definierte, wesentlich selbstadjungierte und selbstadjungierte Operatoren betrachtet.[1] Unterschiede treten erst in unendlichdimensionalen Räumen auf, die jedoch für physikalische Anwendungen wichtig sind.
In der physikalischen Literatur wird dagegen der Begriff des „symmetrischen Operators“ in der Regel gar nicht verwendet: stattdessen redet man von vornherein von hermiteschen Operatoren (genauer müsste man sagen: „hermitesch im engeren Sinne“ [2]), um zu betonen, dass man es nicht mit reellen, sondern mit komplexen Hilberträumen zu tun hat. In den späteren Kapiteln der physikalischen Standard-Lehrbücher werden mit „hermiteschen Operatoren“ (genauer: „hermitesch im weiteren Sinn“) in der Regel selbstadjungierte Operatoren[3] bezeichnet (der etwas subtile Unterschied wird oft vernachlässigt oder durch Synonyme wie „hypermaximal hermitesche Operatoren“ anstelle der „selbstadjungierten Operatoren“ vereinfacht[4][5]).
Die hier gewählte Darstellung ist ein Kompromiss, indem zwar der Begriff des „symmetrischen Operators“ auch für die komplexwertigen Hilberträume der Physik verwendet wird, aber sonst die Konventionen der Physiker mit der Identifikation „hermitesch = selbstadjungiert“ benutzt werden, wie das etwa in den Lehrbüchern von Albert Messiah[6] zu finden ist. Die hier gegebene Darstellung richtet sich also zunächst an physikalisch interessierte Leser, weshalb auch die auf Dirac zurückgehende Bra-Ket-Notation verwendet wird, die gewisse mathematische Subtilitäten in den Hintergrund treten lässt. Auf diese wird aber im Abschnitt Mathematische Bemerkungen eingegangen.
Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A ein Operator auf einem Hilbertraum, das heißt eine Abbildung auf diesem Hilbertraum in sich. Die Elemente dieses Hilbertraums werden als Ket-Vektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): |\varphi\rangle geschrieben und repräsentieren oft Funktionen aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L^2 -Räumen, z. B. die Wellenfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \varphi(\vec r,t) eines quantenmechanischen Zustands. Ein solcher Operator transformiert einen Vektor in einen anderen:
Dabei wird nicht gefordert, dass jedem Vektor ein anderer zugeordnet wird; oft gelingt eine solche Zuordnung nur für Vektoren eines dichten Teilraums. Ist zum Beispiel der Hilbertraum ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L^2 -Raum und der Operator ein Ableitungsoperator, so kann er nur auf differenzierbare Funktionen wirken.
Diese Operation soll linear sein, um das physikalisch relevante Superpositionsprinzip zu sichern. Die komplexe Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle\chi |\psi\rangle = \langle\chi | \left(A|\varphi\rangle\right) , also das Skalarprodukt von $ |\psi \rangle =A|\varphi \rangle $ mit einem Bra-Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle\chi | eines weiteren Zustands, wird in der Physik durchgängig als das Matrixelement von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \,A bezeichnet.
Bisweilen wird über das Operatorsymbol noch ein Dach gesetzt, um die Wirkung des Operators Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \hat{A} auf einen Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): |\varphi\rangle von der Multiplikation des Vektors mit einer komplexen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A zu unterscheiden. Das ist aber nur dann erforderlich, wenn man Operatoren und ihre Eigenwerte mit demselben Buchstaben bezeichnen will, man kann dann eine Eigenwertgleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \hat{A}|\varphi\rangle = A|\varphi\rangle schreiben. Davon wird in diesem Artikel kein Gebrauch gemacht.
Der zu $ A $ adjungierte Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A^\dagger [7] ist dadurch definiert, dass seine Matrixelemente die konjugiert komplexen Zahlen der transponierten Matrixelemente von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \,A sind, wenn man Bra und Ket miteinander vertauscht:
Daher ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle \varphi | A^\dagger der Bra, der dem Ket Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A| \varphi \rangle zugeordnet ist, und man kann im Matrixelement ohne Gefahr einer Verwechselung auf die runden Klammern verzichten.
Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): | \varphi \rangle = | \chi \rangle , wird das Matrixelement der Erwartungswert von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \,A im Zustand $ |\varphi \rangle $ genannt.
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A heißt formal selbstadjungiert (oder, im physikalischen Sprachgebrauch üblich, hermitesch), wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A = A^\dagger .
Dann gilt für seine Matrixelemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle \chi | A | \varphi \rangle = \left[ \; \langle \varphi | A | \chi \rangle \; \right]^* . Alle Erwartungswerte sind dann reell, denn für jeden Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): | \varphi \rangle aus dem Definitionsbereich gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle \varphi | A | \varphi \rangle = \left[ \; \langle \varphi | A | \varphi \rangle \; \right]^* . Dann ist auch jeder Eigenwert von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \,A reell, denn die Eigenwerte sind die Erwartungswerte zu den jeweiligen normierten Eigenvektoren. Da in der Quantenmechanik alle messbaren Größen (Observablen) durch Erwartungs- oder Eigenwerte von Operatoren dargestellt werden, muss es sich hierbei um hermitesche Operatoren handeln, damit die vorhergesagten Messergebnisse reell sind.
In der Ortsdarstellung betrachtet man den Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L^2(\R^3) aller quadrat-integrablen Funktionen auf dem dreidimensionalen Anschauungsraum. Typische hermitesche Operatoren sind etwa die Multiplikation mit der $ x $-Koordinate zur Messung der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x -Koordinate des Aufenthaltsortes eines Teilchens,
oder der Hamilton-Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): - \frac{\hbar^2}{2m}\Delta + V(x,y,z) zur Bestimmung der Energie
wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): V(x,y,z) für das skalare Potential eines Feldes steht, unter dessen Einfluss sich das Teilchen bewegt. Weitere wichtige Beispiele sind der Impulsoperator oder die Drehimpulsoperatoren.
Ein zweidimensionales Beispiel erhält man durch die Behandlung des Spins. Der Raum wird von den beiden Vektoren „Spin hoch“ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (|\mathord\uparrow\rangle) und „Spin runter“ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (|\mathord\downarrow\rangle) erzeugt. Die Operatoren auf zweidimensionalen Räumen sind $ 2\times 2 $-Matrizen, zum Beispiel die hermiteschen Pauli-Matrizen.
Ein endlichdimensionaler hermitescher Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A (eine hermitesche Matrix) mit den Elementen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m_{ij} \in \Complex wird wie folgt adjungiert:
wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m_{ji}^* die komplexe Konjugation von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m_{ji} ist. Es gilt also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m_{ij}^\dagger = m_{ji}^* , das heißt, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (i,j) -te Komponente der Adjungierten ist die komplexe Konjugation der $ (j,i) $-ten Komponente der Ausgangsmatrix.
Das folgende einfache Beispiel zeigt deutlich den Unterschied zwischen symmetrischen und hermiteschen (=selbstadjungierten) Operatoren. Wir betrachten den Impulsoperator in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x -Richtung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_x = - \mathrm i \hbar \frac{\partial}{\partial x} . Genauer wird man als Definitionsbereich für die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \psi (x) ein endliches (oder unendliches) Intervall definieren, etwa Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x\in [0,1] , und wird zunächst nur festlegen wollen, dass die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_x\psi (x) auf dem angegebenen Intervall quadratintegrabel ist. Es bleibt dann die Frage, welche Randbedingungen man für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \psi (x) fordern soll. Zunächst ist man geneigt, anzunehmen, dass $ \psi (0)=\psi (1){\stackrel {!}{=}}0 $ sein sollte; denn dann ist – wie man leicht mittels partieller Integration zeigen kann – die „Symmetrie“ gegeben:
weil beim „Überwälzen“ der Ableitung von rechts nach links durch die partielle Integration unter dem Integral, dem letzten Term vor dem äußersten Gleichheitszeichen, ein Minuszeichen entsteht, das durch den Term Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): -i und den Übergang zum konjugiert Komplexen kompensiert wird, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): -i^*=+i , während die Randterme bei der Integration explizit Null ergeben. Die Randterme kompensieren sich aber auch zu Null, wenn man nur fordert, dass die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \psi (x) die Bedingung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \psi (0)\equiv\psi (1) erfüllen soll.
Mit der zweiten, der abgeschwächten Randbedingung ist das System aber nicht bloß „symmetrisch“, wie mit der ersten Randbedingung, sondern sogar selbstadjungiert. Das ist nicht nur mathematisch, sondern physikalisch relevant: Nur so erhält man Messbarkeit und ein vollständiges System von Eigenfunktionen. Diese sind hier konkret benennbar, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \psi_n (x)\sim \exp(i 2\pi n\,x)\,, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n die ganzen Zahlen durchläuft. Dagegen würde zu der erstgenannten Randbedingung keine einzige dieser Funktionen passen, denn sie haben alle an der entscheidenden Stelle, $ x=0 $, von Null verschiedene Werte.
Die erstgenannte Randbedingung ist also unphysikalisch und nur mit speziellen nicht-trivialen Potentialen näherungsweise realisierbar, während bei der zweiten Randbedingung freie Elektronen und verschwindendes Potential angenommen werden können.
Schon obige Beispiele zeigen, dass die quantenmechanischen Operatoren nicht auf alle Ket-Vektoren angewendet werden können. Das Ergebnis der Multiplikation mit der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x -Koordinate liegt im Allgemeinen nicht mehr im Hilbertraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L^2(\R^3) der Ket-Vektoren, und im Falle des Hamilton-Operators fehlt es manchen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L^2 -Funktionen an Differenzierbarkeitseigenschaften. Da nutzt auch eine Verallgemeinerung auf Distributionsableitungen nichts, da nicht alle solche Ableitungen wieder im Raum der Ket-Vektoren liegen. Man ist daher gezwungen, die Operatoren in ihrem Wirkungsbereich auf einen Unterraum einzuschränken, der aber wenigstens noch eine dichte Teilmenge im Raum aller Ket-Vektoren ist. Ist in physikalischen Darstellungen bei einer Operatorengleichung von „allen“ Ket-Vektoren die Rede, so sind immer alle des Definitionsbereichs der beteiligten Operatoren gemeint.
Die Beschränkung auf einen Teilraum hat zur Folge, dass auch der adjungierte Operator nicht überall definiert ist. Die Forderung, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle \varphi|A|\varphi\rangle für alle Ket-Vektoren (aus dem Definitionsbereich von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A ) reell ist, bedeutet dann, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A^\dagger eine Erweiterung des Operators Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A ist, das heißt der Definitionsbereich von $ A^{\dagger } $ umfasst denjenigen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A und beide Operatoren stimmen auf letzterem überein. Solche Operatoren nennt man symmetrisch.
Symmetrische Operatoren sind im Allgemeinen nicht selbstadjungiert, das heißt im Allgemeinen gilt nicht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A=A^\dagger , denn dazu müssten die Definitionsbereiche beider Operatoren übereinstimmen. Die physikalisch relevanten Operatoren, die messbare Größen beschreiben, sind aber selbstadjungiert, denn nur dann hat man den vollen Spektralsatz (in der Sprache der Physik: den „Entwicklungssatz“) zur Verfügung. Diesen braucht man u. a. in der axiomatischen Behandlung des quantenmechanischen Messprozesses (siehe z. B. quantenmechanischer Zustand) und bei der konkreten Berechnung von Funktionen von Operatoren, wie das etwa durch den Unbeschränkten Borel-Funktionalkalkül ermöglicht wird. Oft kann man symmetrische Operatoren durch gewisse Abschlussoperationen zu selbstadjungierten Operatoren erweitern. Das gilt insbesondere für nach unten beschränkte Operatoren, wie sie bei Hamilton-Operatoren auftreten, denn Energien sind nach unten beschränkt, siehe dazu die Friedrichssche Erweiterung.
In vielen Physik-Lehrbüchern wird kein großes Gewicht auf diesen Unterschied gelegt. Zum einen bringt die Betrachtung der Definitionsbereiche meist keine tieferen physikalischen Einsichten über das betrachtete System, und des Weiteren kann man sich in der Regel darauf verlassen, dass die Verwendung der „richtigen“ Operatoren, gepaart mit der „richtigen“ physikalischen Intuition, zu „richtigen“ Ergebnissen führt. Ferner liegen alle physikalisch relevanten Funktionen, auf die es die Operatoren anzuwenden gilt, nämlich die Eigenfunktionen, stets im Definitionsbereich. Vorsicht ist auch bei den sogenannten „uneigentlichen Eigenfunktionen“ angebracht (z. B. bei Dirac-Funktionen oder bei monochromatischen Wellen), denn diese sind nicht normierbar und liegen daher nicht im Raum der Ket-Vektoren.
Die Dirac'sche Notation unterstützt die pragmatische Herangehensweise der Physiker. Eine mathematisch vollständige Darstellung der Quantenmechanik bis einschließlich der Lösung des Wasserstoffproblems findet man im unten angegebenen Lehrbuch von Hans Triebel[8].