Dejemos que $U$ sea un operador unitario con $\langle Ux,x \rangle\ge 0\quad \forall x$ .
Demostrar que $U$ es el operador de identidad.
Para demostrar esta afirmación estoy razonando de esta manera:
desde $U$ es una isometría, $\langle Ux,Uy \rangle = \langle x,y \rangle$ es decir $U^*U=UU^*=I$ con $U^*$ el adjunto de $U$ .
Sé que $\langle Ux,Ux \rangle =\langle x,x \rangle \ge 0$ pero no sé cómo seguir.
¿Puede alguien ayudarme?
Gracias.