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

Operator norms of three basic matrices

#operator norm#nilpotent#diagonal#rotation

Statement

Find the operator norm (for the Euclidean norm on R2\mathbb{R}^2) of (0100)\begin{pmatrix}0&1\\0&0\end{pmatrix}, of diag⁡(1,−3)\operatorname{diag}(1,-3) and of a rotation matrix Rθ=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)R_\theta=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}.

Hint

The operator norm is the largest factor by which AA can stretch a unit vector.

Show solutionHide solution

Solution

Idea. In each case we find the largest value of ∣Ax∣|Ax| on the unit circle, by an upper bound plus an example attaining it.

Case 1: N=(0100)N=\begin{pmatrix}0&1\\0&0\end{pmatrix}. For x=(x1,x2)x=(x_1,x_2), Nx=(x2,0)Nx=(x_2,0), so ∣Nx∣=∣x2∣≤∣x∣|Nx|=|x_2|\le|x|. Equality holds for x=e2x=e_2, where Ne2=e1Ne_2=e_1. Hence ∥N∥=1\|N\|=1. (Note Ne1=0Ne_1=0: the matrix kills a direction but still has norm 11, and ρ(N)=0<∥N∥\rho(N)=0<\|N\|.)

Case 2: D=diag⁡(1,−3)D=\operatorname{diag}(1,-3). ∣Dx∣2=x12+9x22≤9(x12+x22)=9∣x∣2|Dx|^2=x_1^2+9x_2^2\le9(x_1^2+x_2^2)=9|x|^2, with equality at x=e2x=e_2. So ∥D∥=3\|D\|=3, the largest absolute value of a diagonal entry.

Case 3: rotation. ∣Rθx∣=∣x∣|R_\theta x|=|x| for all xx since a rotation preserves lengths (indeed RθTRθ=IR_\theta^TR_\theta=I, so ∣Rθx∣2=xTRθTRθx=∣x∣2|R_\theta x|^2=x^TR_\theta^TR_\theta x=|x|^2). So ∥Rθ∥=1\|R_\theta\|=1.

Remark. Case 1 shows that the operator norm can be positive for a nilpotent matrix, so ∥A∥\|A\| is not the spectral radius. This phenomenon is the reason for the Gelfand-type bound ρ(A)≤∥Ak∥1/k\rho(A)\le\|A^k\|^{1/k} in a later problem. In Case 3 the Frobenius norm is 2\sqrt2, so ∥Rθ∥F=2∥Rθ∥\|R_\theta\|_F=\sqrt2\|R_\theta\|: the extremal case of ∥A∥F≤n∥A∥\|A\|_F\le\sqrt n\|A\|.