Se desprende de la definición de isometría que todos los autovalores de una matriz unitaria son números complejos de valor absoluto 1.