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

The best constants comparing operator and Frobenius norms

#equivalence constants#singular values#rank one#orthogonal

Statement

Determine the largest constant cc and the smallest constant CC such that
c ∥A∥F≤∥A∥≤C ∥A∥Ffor all A∈Mn(R).c\,\|A\|_F\le\|A\|\le C\,\|A\|_F\quad\text{for all }A\in M_n(\mathbb{R}).

Hint

Use the singular values: ∥A∥=σ1\|A\|=\sigma_1 and ∥A∥F2=∑σi2\|A\|_F^2=\sum\sigma_i^2.

Look at rank-one matrices and at orthogonal matrices for the equality cases.

Show solutionHide solution

Solution

Idea. Both norms are functions of the singular values: σ1\sigma_1 against (∑σi2)1/2\big(\sum\sigma_i^2\big)^{1/2}. The ratio σ1/(∑σi2)1/2\sigma_1/\big(\sum\sigma_i^2\big)^{1/2} is largest when only one singular value is non-zero, and smallest when all are equal.

Step 1: the upper constant. Since σ12≤∑iσi2\sigma_1^2\le\sum_i\sigma_i^2, we have ∥A∥≤∥A∥F\|A\|\le\|A\|_F. Equality holds for the rank-one matrix E11E_{11} (where ∥E11∥=∥E11∥F=1\|E_{11}\|=\|E_{11}\|_F=1). So the smallest possible CC is C=1C=1.

Step 2: the lower constant. Since ∑iσi2≤nσ12\sum_i\sigma_i^2\le n\sigma_1^2, we have ∥A∥F≤n∥A∥\|A\|_F\le\sqrt n\|A\|, i.e. 1n∥A∥F≤∥A∥\frac1{\sqrt n}\|A\|_F\le\|A\|. Equality holds for A=IA=I, where ∥I∥=1\|I\|=1 and ∥I∥F=n\|I\|_F=\sqrt n. So the largest possible cc is c=1nc=\frac1{\sqrt n}.

Conclusion.
1n∥A∥F≤∥A∥≤∥A∥F.\frac1{\sqrt n}\|A\|_F\le\|A\|\le\|A\|_F.

Remark. The constants are sharp for every nn, but each of them is attained only on a very small set: the right one at rank-one matrices, the left one at multiples of orthogonal matrices (all singular values equal). For a "typical" random matrix the ratio ∥A∥F/∥A∥\|A\|_F/\|A\| is of order n/2\sqrt n/2, closer to the lower extreme. As n→∞n\to\infty these constants degenerate, which is why quantitative estimates in high dimension must keep track of the dimension.