Unitary vector space/Isometry/Eigenvalues/Fact

< Unitary vector space < Isometry < Eigenvalues

Let be a finite-dimensional -vector space, and let

denote a linear isometry.

Then the

modulus of every eigenvalue

of is .

In case , only the eigenvalues and are possible.