- #1
Euge
Gold Member
MHB
POTW Director
- 2,073
- 244
Let ##M## be a nonzero complex ##n\times n##-matrix. Prove $$\operatorname{rank}M \ge |\operatorname{trace} M|^2/\operatorname{trace}(M^\dagger M)$$ What is a necessary and sufficient condition for equality?