¿Qué implica exactamente la necesidad de la mecánica cuántica de operadores autoadjuntos y no solo simétricos? [duplicar]

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

  1. cada observable a corresponde a un operador lineal A

y

  1. un valor esperado de una medida de a debe ser real

?

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í ).

Los operadores autoadjuntos son buenos porque puede hacer muchas más cosas con ellos, por ejemplo: 1) están en correspondencia uno a uno con un grupo unitario fuertemente continuo de operadores (de evolución); 2) para ellos puedes escribir el teorema espectral (y así definir funciones del operador, proyecciones espectrales,...)

Respuestas (2)

En QM, un observable de valor real A está matemáticamente representado por una medida de valor de proyector sobre R , PAG ( A ) , es decir, si mi es un subconjunto de Borel de la recta real, entonces PAG ( A ) ( mi ) es un proyector que representa la proposición "el resultado de medir A cae en mi ". 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 A representado por la medida del valor del proyector PAG ( A ) , hay un operador autoadjunto, también llamado A , tal que la siguiente descomposición es única

A = R λ d PAG ( A ) ( λ )
.

El espectro σ ( A ) R coincide con el apoyo de PAG ( A ) .

Así es como y por qué obtenemos la correspondencia uno a uno habitual entre los observables y los operadores autoadjuntos en QM.

Entonces, para digerir la primera parte de su respuesta, tendré que verificar algunas nociones (elemento Borel, ...).
Esos son términos de la teoría de la medida. En el mundo de los fundamentos matemáticos de QM, la teoría de la medida es omnipresente. Debería haber dicho "subconjunto de Borel de la línea real", "elemento" puede ser engañoso (estaba pensando en "elemento de Borel sigma-álgebra de subconjuntos", ¡pero escribí "elemento" en su lugar!). Editaré la respuesta.

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

  • Si A es autoadjunto, se cumple el teorema espectral. Esto nos da un cálculo funcional que permite definir tu ( t ) = mi i t A en primer lugar.
  • Un tal definido tu ( t ) es un grupo unitario fuertemente continuo.
  • Si tu ( t ) es un grupo unitario fuertemente continuo, entonces existe un auto-adjunto A tal que tu ( t ) = mi i t A .

Editar: esto solo nos dice por qué el hamiltoniano debería ser autoadjunto. La respuesta de QuantumLattice es mejor.

Pero también me gusta tu respuesta. +1