Definition
Unitary Operator
A unitary operator on a complex inner product space is a linear operator satisfying
where denotes the adjoint of and is the identity operator. Equivalently, a unitary operator preserves inner products, that is,
for all vectors and . In particular, unitary operators preserve norms and are therefore the basic form of time evolution for closed quantum systems.
Example: The matrix
is unitary, since it is real and orthogonal, and hence satisfies .