Tengo que resolver este simple problema:
Dejar y Sean dos operadores hermitianos tales que:
Pruebalo
Pista: ampliar en alguna base adecuada.
He intentado ingenuamente:
Por lo tanto exactamente.
Pero esto parece funcionar siempre con operadores no hermitianos. ¿Me equivoco?
Sí, OP tiene razón: se cumple para operadores no necesariamente autoadjuntos .
Prueba esbozada:
restando de ambos operadores (y renombrando), podemos asumir wlog que .
Volver a escribir , dónde y son operadores autoadjuntos.
Usa el truco de la polarización para demostrar que
Deducir que
Deducir que
Concluye esto .
Ignoraremos las sutilezas con operadores ilimitados , dominios, extensiones autoadjuntas , etc., en esta respuesta.
biofísico