Matrice unitaria

In matematica, una matrice unitaria è una matrice quadrata complessa U che soddisfa la condizione:

U†U=UU†=I

dove I è la matrice identità e U† è la matrice trasposta coniugata di U.

La definizione equivale a dire che una matrice U è unitaria se è invertibile e la sua inversa U−1 è uguale alla sua coniugata trasposta:

U−1=U†

Una matrice è inoltre unitaria se è una matrice normale con autovalori sulla circonferenza unitaria, oppure se è un'isometria rispetto alla norma usuale. Una matrice unitaria avente tutti gli elementi reali è una matrice ortogonale.

Le matrici unitarie rappresentano gli operatori unitari su spazi di Hilbert finito-dimensionali (costituiscono quindi un caso particolare).

Proprietà

Le matrici unitarie soddisfano le seguenti proprietà:

⟨Ux,Uy⟩=⟨x,y⟩
per tutti i vettori complessi x e y, dove ⟨,⟩ indica il prodotto hermitiano standard.

Una matrice è unitaria se e solo se le sue colonne (o le sue righe) formano una base ortonormale dello spazio rispetto al prodotto hermitiano standard. Per mostrare l'implicazione diretta, se si suppone che U è unitaria allora U†U=UU†=In . Sia quindi ci un suo vettore colonna (o vettore riga) corrispondente alla i-esima colonna (o riga), e sia:

U†U=[c1†c1c1†c2⋯c1†cnc2†c1c2†c2⋯c2†cn⋮⋮⋱⋮cn†c1cn†c2⋯cn†cn]=[10⋯001⋯0⋮⋮⋱⋮00⋯1]=In

Vedendo questa matrice come prodotto interno, cioè (U†U)ij=⟨ci,cj⟩, si ha che:

Essendo contemporaneamente ortogonale e di norma unitaria significa che U è una base ortonormale.

Per mostrare l'implicazione inversa, si supponga che le colonne (o le sue righe) formano una base ortonormale dello spazio rispetto al prodotto interno. Se le colonne (o le righe) di U sono ortonormali allora significa che ⟨ci,cj⟩=0 ad eccezione di quando i=j, dove si ha ⟨ci,cj⟩=1. Si ha quindi:

Uij=(UU†)ij=(U†U)ij={ci†cj=1se i=jci†cj=0se i≠j

Ma questa è proprio la definizione di matrice identità In, che è unitaria.

Bibliografia

Voci correlate

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica