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

Power-bounded matrices do not form a closed set

#power bounded#Jordan block#closed sets

Statement

A matrix AA is *power bounded* if sup⁡k≥0∥Ak∥<∞\sup_{k\ge0}\|A^k\|<\infty. Show that the set P\mathcal{P} of power-bounded matrices of Mn(R)M_n(\mathbb{R}) (n≥2n\ge2) is not closed.

Hint

Take a limit of matrices with spectral radius less than 11 which is a Jordan block of size 22 at the eigenvalue 11.

Show solutionHide solution

Solution

The sequence. For 0<ε<10<\varepsilon<1 let
Aε=(1−ε101−ε)⊕0n−2.A_\varepsilon=\begin{pmatrix}1-\varepsilon&1\\0&1-\varepsilon\end{pmatrix}\oplus0_{n-2}.
Its eigenvalues are 1−ε1-\varepsilon (and 00), so ρ(Aε)<1\rho(A_\varepsilon)<1 and Aεk→0A_\varepsilon^k\to0 by the previous results. A convergent sequence is bounded, so AεkA_\varepsilon^k is bounded in kk: Aε∈PA_\varepsilon\in\mathcal{P}.

The limit. As ε→0\varepsilon\to0, Aε→A0=(1101)⊕0A_\varepsilon\to A_0=\begin{pmatrix}1&1\\0&1\end{pmatrix}\oplus0. By induction (1101)k=(1k01)\begin{pmatrix}1&1\\0&1\end{pmatrix}^k=\begin{pmatrix}1&k\\0&1\end{pmatrix}, whose norm is at least kk. Hence sup⁡k∥A0k∥=∞\sup_k\|A_0^k\|=\infty: A0∉PA_0\notin\mathcal{P}.

Conclusion. Aε∈PA_\varepsilon\in\mathcal{P}, Aε→A0∉PA_\varepsilon\to A_0\notin\mathcal{P}, so P\mathcal{P} is not closed.

Remark. What is true: P\mathcal{P} is contained in {ρ≤1}\{\rho\le1\} and contains {ρ<1}\{\rho<1\}; and the set {A:∥Ak∥≤1 ∀k}\{A:\|A^k\|\le1\ \forall k\} for a given norm is closed. A matrix is power bounded iff ρ≤1\rho\le1 and the eigenvalues of modulus 11 are semisimple (no nontrivial Jordan block). The growth of ∥Aεk∥\|A_\varepsilon^k\| before decay is of order 1eε\frac1{e\varepsilon}, which blows up as ε→0\varepsilon\to0: power-boundedness holds but not *uniformly*.