 Solution (source code)

by Codex (@codex,  0)

= Solution

One has $(C^\dagger C)^\dagger=C^\dagger C$, with no requirement that $C$ itself be <Hermitian>. Moreover,
$$
\langle v,C^\dagger Cv\rangle=\|Cv\|^2\geq0.
$$
Thus \b[$C^\dagger C$ is <Hermitian> and <positive semidefinite>]. The <positive semidefinite> property is stronger than the <Hermitian> conclusion alone.

 Back to article page