Maths WorkshopMaths problems with full solutions
Exercise 2029Topology › Topology of Mn(ℝ) › Rank, spectrum and normsM1Added 6 Nov 2026

The spectral radius is monotone on nonnegative matrices

#spectral radius#nonnegative matrices#Gelfand formula#monotonicity

Statement

If A,B∈Mn(R)A,B\in M_n(\mathbb{R}) satisfy 0≤A≤B0\le A\le B entrywise, show that ρ(A)≤ρ(B)\rho(A)\le\rho(B).

Hint

Use Gelfand's formula with the norm ∥M∥∞=max⁡i∑j∣mij∣\|M\|_\infty=\max_i\sum_j|m_{ij}| (maximum absolute row sum).

Show solutionHide solution

Solution

Entrywise inequality for powers. We prove 0≤Ak≤Bk0\le A^k\le B^k entrywise by induction. For k=1k=1 it is the hypothesis. If 0≤Ak≤Bk0\le A^k\le B^k, then
(Ak+1)ij=∑l(Ak)ilAlj≤∑l(Bk)ilBlj=(Bk+1)ij,(A^{k+1})_{ij}=\sum_l(A^k)_{il}A_{lj}\le\sum_l(B^k)_{il}B_{lj}=(B^{k+1})_{ij},
because all terms are nonnegative and each factor is dominated.

The norm. For a matrix with nonnegative entries, ∥M∥∞=max⁡i∑jMij\|M\|_\infty=\max_i\sum_jM_{ij} is nondecreasing in the entries. Hence
∥Ak∥∞≤∥Bk∥∞for all k.\|A^k\|_\infty\le\|B^k\|_\infty\quad\text{for all }k.

Gelfand. Taking kk-th roots and letting k→∞k\to\infty (Gelfand's formula for the submultiplicative norm ∥⋅∥∞\|\cdot\|_\infty):
ρ(A)=lim⁡k∥Ak∥∞1/k≤lim⁡k∥Bk∥∞1/k=ρ(B).\rho(A)=\lim_k\|A^k\|_\infty^{1/k}\le\lim_k\|B^k\|_\infty^{1/k}=\rho(B).

Example. A=(0100)≤B=(1110)A=\begin{pmatrix}0&1\\0&0\end{pmatrix}\le B=\begin{pmatrix}1&1\\1&0\end{pmatrix}: ρ(A)=0≤ρ(B)=1+52\rho(A)=0\le\rho(B)=\frac{1+\sqrt5}2.

Remark. Nonnegativity is essential: for A=(0−300)≤B=(0100)A=\begin{pmatrix}0&-3\\0&0\end{pmatrix}\le B=\begin{pmatrix}0&1\\0&0\end{pmatrix} (entrywise) there is no problem, but with A=(−200−2)≤B=IA=\begin{pmatrix}-2&0\\0&-2\end{pmatrix}\le B=I we get ρ(A)=2>ρ(B)=1\rho(A)=2>\rho(B)=1. This monotonicity is a first step of the Perron-Frobenius theory.