In matematica, una matrice unitaria è una matrice quadrata complessa
che soddisfa la condizione:
![{\displaystyle U^{\dagger }U=UU^{\dagger }=I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e529c1da367db7775cc5bcdddbcefbe8adfe839f)
dove
è la matrice identità e
è la matrice trasposta coniugata di
.
La definizione equivale a dire che una matrice
è unitaria se è invertibile e la sua inversa
è uguale alla sua coniugata trasposta:
![{\displaystyle U^{-1}=U^{\dagger ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1caa6730e8298b9647d46c4ad948339d86490c2)
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).
Le matrici unitarie soddisfano le seguenti proprietà:
- Ogni matrice unitaria
soddisfa l'uguaglianza:
![{\displaystyle \langle Ux,Uy\rangle =\langle x,y\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/615a86596c9b5ea30fb093e60057013036db41ed)
- per tutti i vettori complessi
e
, 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
è unitaria allora
. Sia quindi
un suo vettore colonna (o vettore riga) corrispondente alla i-esima colonna (o riga), e sia:
![{\displaystyle U^{\dagger }U={\begin{bmatrix}c_{1}^{\dagger }c_{1}&c_{1}^{\dagger }c_{2}&\cdots &c_{1}^{\dagger }c_{n}\\c_{2}^{\dagger }c_{1}&c_{2}^{\dagger }c_{2}&\cdots &c_{2}^{\dagger }c_{n}\\\vdots &\vdots &\ddots &\vdots \\c_{n}^{\dagger }c_{1}&c_{n}^{\dagger }c_{2}&\cdots &c_{n}^{\dagger }c_{n}\end{bmatrix))={\begin{bmatrix}1&0&\cdots &0\\0&1&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &1\end{bmatrix))=I_{n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/befb85800c0412d8d90bc977ad3305aaf86bec93)
Vedendo questa matrice come prodotto interno, cioè
, si ha che:
- se
allora
, ma allora
.
- se
, allora
, ma allora
è ortogonale ad
.
Essendo contemporaneamente ortogonale e di norma unitaria significa che
è 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
sono ortonormali allora significa che
ad eccezione di quando
, dove si ha
. Si ha quindi:
![{\displaystyle U_{ij}=(UU^{\dagger })_{ij}=(U^{\dagger }U)_{ij}={\begin{cases}c_{i}^{\dagger }c_{j}=1&\mathrm {se} ~i=j\\c_{i}^{\dagger }c_{j}=0&\mathrm {se} ~i\neq j\end{cases))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db306424400c55b9dbeb8fc7ea4a1321e2826caa)
Ma questa è proprio la definizione di matrice identità
, che è unitaria.
- (EN) W. Noll, Finite dimensional spaces , M. Nijhoff (1987) pp. 63
- (EN) W.H. Greub, Linear algebra , Springer (1975) pp. 329