Operatore unitario
Da Wikipedia, l'enciclopedia libera.
In matematica, un operatore unitario (chiamato anche trasformazione unitaria) è un isomorfismo tra due spazi di Hilbert.
che conserva i prodotti scalari, cioè:
.
Inoltre l'operatore deve essere anche surgettivo e quindi invertibile (la proprietà precedente garantisce l' iniettività). Su spazi vettoriali a dimensione finita la surgettivita è garantita dal fatto che detto operatore è un isomorfismo.
Infine risulta banalmente anche la proprietà | | U | | = 1.