bemos que un operador es autoadjunto cuando se verifica:
Tenemos entonces:
Pero sabemos por teoría que todo operador lineal definido en un espacio vectorial finito admite adjunto y que ambos se representan por matrices adjuntas. Tenemos entonces:
Análogamente, podemos hacer:
Y queda demostrado lo propuesto.
No hay comentarios:
Publicar un comentario