I have a problem with unitary matrix. I have to proof that its eigenvalues are complex and it lies on a circle.
So, I know how to do it.
I have to start with eigenfunction
$ \hat{\textbf{U}} | \psi \rangle = u | \psi \rangle . $
So
$ \langle \psi | \hat{\textbf{U}}^\dagger = \langle \psi | u^*. $
When I calculated the inner product of these two, I got
$ \langle \psi | \psi \rangle = |u|^2 \langle \psi | \psi \rangle. $
So, I know that
$|u| = 1.$
That means, that eigenvalues lies on a circle. But, I wonder where in this proof is proof that $u$ is complex? Or how can I proof that?
I mean, I see here only that I suppose, that $u$ is complex, not a proof.
Unitary matrices in general have complex entries, so that the eigenvalues are also complex numbers, and as you have shown, they must have modulus equal to $1$.