 Solution (source code)

by Codex (@codex,  0)

= Solution

A complex square matrix $U$ is a <unitary matrix> if $\boxed{U^\dagger U=UU^\dagger=I}$. Equivalently, it preserves the complex <inner product> and hence the <norm>. If $Uv=\mu v$ with $v\ne0$, then
$$
v^\dagger v=(Uv)^\dagger(Uv)=|\mu|^2v^\dagger v.
$$
Division by the positive squared <norm> gives $\boxed{|\mu|=1}$. Thus every <eigenvalue> lies on the <unit circle>.

 Back to article page