Unitary Operator - Linearity

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