Maths WorkshopMaths problems with full solutions
Exercise 648Topology › Topology of Mn(ℝ) › Density and closuresL2Added 6 Nov 2026

A discrete cyclic subgroup of the general linear group

#discrete subgroup#closed set#powers of a matrix

Statement

Let A=diag⁡(2,12)A=\operatorname{diag}(2,\tfrac12). Show that Γ={Ak:k∈Z}\Gamma=\{A^k:k\in\mathbb{Z}\} is closed and discrete in GL2(R)GL_2(\mathbb{R}) (indeed in M2(R)M_2(\mathbb{R})).

Hint

Show that ∥Ak∥→∞\|A^k\|\to\infty and that distinct powers are at distance at least 11 from each other.

Show solutionHide solution

Solution

Computation. Ak=diag⁡(2k,2−k)A^k=\operatorname{diag}(2^k,2^{-k}) for k∈Zk\in\mathbb{Z}.

Uniformly discrete. Use the max-entry distance d(X,Y)=max⁡i,j∣xij−yij∣d(X,Y)=\max_{i,j}|x_{ij}-y_{ij}| (any norm on M2M_2 is at least a constant times it; for the operator or Frobenius norm this distance is a lower bound). Let j<kj<k.
- If j≥0j\ge0: 2k−2j≥2j(2−1)≥12^k-2^j\ge2^j(2-1)\ge1.
- If k≤0k\le0: 2−j−2−k=2−k(2k−j−1)≥2−k≥12^{-j}-2^{-k}=2^{-k}(2^{k-j}-1)\ge2^{-k}\ge1.
- If j<0<kj<0<k: 2k−2j≥2−12=32>12^k-2^j\ge2-\tfrac12=\tfrac32>1.

So d(Aj,Ak)≥1d(A^j,A^k)\ge1 for all j≠kj\ne k. In particular every point of Γ\Gamma is isolated: Γ\Gamma is discrete.

Closed. Suppose Akm→XA^{k_m}\to X in M2(R)M_2(\mathbb{R}). A convergent sequence is Cauchy, so for large m,m′m,m' we would have d(Akm,Akm′)<1d(A^{k_m},A^{k_{m'}})<1, which forces km=km′k_m=k_{m'}. So the sequence is eventually constant and X∈ΓX\in\Gamma. Hence Γ\Gamma is closed in M2(R)M_2(\mathbb{R}), and therefore in GL2(R)GL_2(\mathbb{R}).

Remark. Contrast with {Rkα}\{R_{k\alpha}\} in the previous problem, which can be dense: powers of a matrix with eigenvalues of modulus ≠1\ne1 escape to infinity, while eigenvalues of modulus 11 can make the powers accumulate. Lesson. Uniform discreteness gives closedness for free.