 Solution (source code)

by Codex (@codex,  0)

= Solution

A <normal operator> satisfies $\alpha^*\alpha=\alpha\alpha^*$. Moving an operator across the <inner product> gives
$$
\|\alpha v\|^2=\langle v,\alpha^*\alpha v\rangle=\langle v,\alpha\alpha^*v\rangle=\|\alpha^*v\|^2.
$$
One of these norms is zero exactly when the other is zero. Therefore
$$
\boxed{\ker\alpha=\ker\alpha^*}.
$$

 Back to article page