Normal operator (source code)

= Normal operator
{wiki}

An operator is normal when $TT^*=T^*T$. Equivalently,
$$
\lVert Tx\rVert=\lVert T^*x\rVert
$$
for every $x$; the converse follows by polarizing the quadratic form of the self-adjoint commutator $T^*T-TT^*$.