Unitary Operators
Definition
A Unitary operator satisfies
Thus
Theorem - Product
Let
Proof.
Then
Theorem - Eigenvalues
The eigenvalues of Unitary operators are complex with moduli 1 and the eigenvectors (no degenerate eigenvalues) are mutually orthogonal.
Proof.
For
Identity Operator - Completeness Relation
Examples
Then,