Una matriz \( U \) es unitaria si \( U^*U=UU^*=I \), donde \( U^* \) es la matriz adjunta (la traspuesta de la conjugada compleja).
La norma en \( \Bbb C^n \) viene dada por \( ||z||^2 = z^*z \), donde aquí \( z \) es un vector columna \( n \times 1 \).
Luego, \( ||Uz||^2 = (Uz)^*(Uz)= z^*U^*Uz \).
De aquí se ve que si \( U \) es unitaria, \( ||Uz||=||z|| \) y por tanto \( U \) preserva la norma. Y recíprocamente, si \( U \) es una matriz que preserva la norma, tenemos que se debe cumplir \( z^*U^*Uz=z^*z \) para todo vector \( z \in \Bbb C^n \). De aquí se sigue que \( U^*U=I \) y por tanto \( U \) es unitaria.