The trace is bounded by the Frobenius norm
Statement
Show that for every . When is there equality?
Hint
The trace is the sum of the diagonal entries: apply Cauchy-Schwarz in .
Alternatively, write .
Show solutionHide solution
Solution
Idea. The trace only sees the diagonal entries, while the Frobenius norm sees all entries; Cauchy-Schwarz compares the sum of numbers with the length of the vector they form.
Step 1: Cauchy-Schwarz. Using in ,
Step 2: add the off-diagonal terms. Since , we get .
Equality. Both steps must be equalities: the off-diagonal entries vanish and the diagonal vector is proportional to . So equality holds iff is a scalar matrix.
Second proof. , and by Cauchy-Schwarz in , .
Remark. The trace is a linear functional, hence continuous, and this computation gives its norm: with respect to (attained at ). With respect to the operator norm, (also attained at ).