Maths WorkshopMaths problems with full solutions
Exercise 1403Topology › Topology of Mn(ℝ) › Norms and metric structureL3Added 7 Nov 2026

The trace is bounded by the Frobenius norm

#trace#Cauchy-Schwarz#Frobenius norm

Statement

Show that ∣tr⁡A∣≤n ∥A∥F|\operatorname{tr}A|\le\sqrt n\,\|A\|_F for every A∈Mn(R)A\in M_n(\mathbb{R}). When is there equality?

Hint

The trace is the sum of the nn diagonal entries: apply Cauchy-Schwarz in Rn\mathbb{R}^n.

Alternatively, write tr⁡A=⟨I,A⟩F\operatorname{tr}A=\langle I,A\rangle_F.

Show solutionHide solution

Solution

Idea. The trace only sees the nn diagonal entries, while the Frobenius norm sees all n2n^2 entries; Cauchy-Schwarz compares the sum of nn numbers with the length of the vector they form.

Step 1: Cauchy-Schwarz. Using 1⋅aii1\cdot a_{ii} in Rn\mathbb{R}^n,
∣tr⁡A∣=∣∑i=1n1⋅aii∣≤(∑i12)1/2(∑iaii2)1/2=n(∑iaii2)1/2.|\operatorname{tr}A|=\Big|\sum_{i=1}^n1\cdot a_{ii}\Big|\le\Big(\sum_i1^2\Big)^{1/2}\Big(\sum_ia_{ii}^2\Big)^{1/2}=\sqrt n\Big(\sum_ia_{ii}^2\Big)^{1/2}.

Step 2: add the off-diagonal terms. Since ∑iaii2≤∑i,jaij2=∥A∥F2\sum_ia_{ii}^2\le\sum_{i,j}a_{ij}^2=\|A\|_F^2, we get ∣tr⁡A∣≤n∥A∥F|\operatorname{tr}A|\le\sqrt n\|A\|_F.

Equality. Both steps must be equalities: the off-diagonal entries vanish and the diagonal vector (aii)(a_{ii}) is proportional to (1,…,1)(1,\dots,1). So equality holds iff A=cIA=cI is a scalar matrix.

Second proof. tr⁡A=⟨I,A⟩F\operatorname{tr}A=\langle I,A\rangle_F, and by Cauchy-Schwarz in (Mn,⟨,⟩F)(M_n,\langle,\rangle_F), ∣⟨I,A⟩F∣≤∥I∥F∥A∥F=n∥A∥F|\langle I,A\rangle_F|\le\|I\|_F\|A\|_F=\sqrt n\|A\|_F.

Remark. The trace is a linear functional, hence continuous, and this computation gives its norm: ∥tr⁡∥=n\|\operatorname{tr}\|=\sqrt n with respect to ∥⋅∥F\|\cdot\|_F (attained at A=IA=I). With respect to the operator norm, ∣tr⁡A∣≤n∥A∥|\operatorname{tr}A|\le n\|A\| (also attained at II).