Linearity
The linearity requirement in the definition of a unitary operator can be dropped without changing the meaning because it can be derived from linearity and positive-definiteness of the scalar product:
- Analogously you obtain .
Read more about this topic: Unitary Operator