Sabemos que la mecánica cuántica requiere operadores autoadjuntos, no solo simétricos. ¿Podemos decir que esto se sigue SOLAMENTE de los dos siguientes axiomas de la mecánica cuántica, a saber, que
y
?
Pensé que estos dos implican solo la necesidad de operadores hermitianos (es decir, simétricos) (porque un operador hermitiano lineal tiene valores propios reales) y que la necesidad de autoadjunción estaba de alguna manera conectada a un requisito adicional como la unitaridad del operador de evolución temporal. . ¿Cuál es la pieza que falta?
(Sé cómo se definen los dos términos, por ejemplo, aquí ).
En QM, un observable de valor real está matemáticamente representado por una medida de valor de proyector sobre , , es decir, si es un subconjunto de Borel de la recta real, entonces es un proyector que representa la proposición "el resultado de medir cae en ". En principio, eso es todo lo que necesita para representar, matemáticamente, observables en QM (estoy asumiendo la formulación fundamental de la teoría a través de la red no distributiva de proposiciones).
Pero, por el Teorema Espectral para operadores autoadjuntos ilimitados (probado por von Neumann), sabemos que dado un observable representado por la medida del valor del proyector , hay un operador autoadjunto, también llamado , tal que la siguiente descomposición es única
El espectro coincide con el apoyo de .
Así es como y por qué obtenemos la correspondencia uno a uno habitual entre los observables y los operadores autoadjuntos en QM.
La unitaridad del operador de evolución temporal es exactamente el punto:
el teorema de Stone (ver, por ejemplo, Reed, Simon: Teoremas VIII.7, VIII.8) nos dice
Editar: esto solo nos dice por qué el hamiltoniano debería ser autoadjunto. La respuesta de QuantumLattice es mejor.
yuggib
a la izquierda