Exercise 1392Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026
A^k converges to 0 if and only if the spectral radius is less than 1
#spectral radius#Jordan form#powers of a matrix
Statement
Let A∈Mn(R) and ρ(A)=max{∣λ∣:λ∈specA} its spectral radius. Prove that Ak→0 as k→∞ if and only if ρ(A)<1.
Hint
(⇐) Use the Jordan form and the entries (jk)λk−j of Jm(λ)k. (⇒) Apply Ak to a complex eigenvector.
Show solutionHide solution
Solution
(⇒). Suppose ρ(A)≥1 and take an eigenvalue λ∈C with ∣λ∣≥1 and an eigenvector v∈Cn, v=0. Then Akv=λkv and ∣Akv∣=∣λ∣k∣v∣≥∣v∣>0 for all k. Hence Akv→0, so Ak→0. Contrapositive: Ak→0⇒ρ(A)<1.
(⇐). Assume ρ(A)<1. Write A=PJP−1 in Jordan form over C; then Ak=PJkP−1, and it suffices to show Jk→0, i.e. Jm(λ)k→0 for each block with ∣λ∣<1. Write Jm(λ)=λI+N with Nm=0 and λI commuting with N. By the binomial theorem Jm(λ)k=j=0∑m−1(jk)λk−jNj. For fixed j, (jk)≤kj, so (jk)λk−j≤kj∣λ∣k−jk→∞0, because geometric decay beats polynomial growth (∣λ∣<1; if λ=0 the term vanishes for k>j). A finite sum of terms tending to 0 tends to 0.
Example.A=(0.9010.9): Ak=(0.9k0k0.9k−10.9k). The off-diagonal entry first grows (it is ≈1.7×10..., maximal near k=9) but eventually tends to 0.
Remark. The transient growth is the reason why ρ(A)<1 does not imply ∥A∥<1 for a given norm. A norm with ∥A∥<1 exists iff ρ(A)<1 (see Gelfand's formula below).