Maths WorkshopMaths problems with full solutions
Exercise 630Topology › Topology of Mn(ℝ)L1Added 4 Nov 2026

Convergence in $M_n(\mathbb{R})$ via entries

#matrix convergence#entrywise convergence#sequence of matrices

Statement

A sequence (A(k))k≥1(A^{(k)})_{k\ge1} of matrices in Mn(R)M_n(\mathbb{R}) is said to *converge entrywise* to A∈Mn(R)A\in M_n(\mathbb{R}) if for every i,j∈{1,…,n}i,j\in\{1,\ldots,n\}, the real sequence (aij(k))k≥1(a^{(k)}_{ij})_{k\ge1} converges to aija_{ij}. Show that entrywise convergence is equivalent to convergence for the metric
d(A,B)=max⁡i,j∣aij−bij∣.d(A,B)=\max_{i,j}|a_{ij}-b_{ij}|.

Hint

Compare d(A(k),A)d(A^{(k)},A) with the largest entrywise difference; use the fact that a maximum of finitely many quantities vanishes iff each one vanishes.

Show solutionHide solution

Solution

(⇐)(\Leftarrow). Suppose d(A(k),A)→0d(A^{(k)},A)\to0. For each (i,j)(i,j), ∣aij(k)−aij∣≤d(A(k),A)→0|a^{(k)}_{ij}-a_{ij}|\le d(A^{(k)},A)\to0, so entrywise convergence holds.

(⇒)(\Rightarrow). Suppose entrywise convergence. For each (i,j)(i,j), ∣aij(k)−aij∣→0|a^{(k)}_{ij}-a_{ij}|\to0. There are finitely many pairs (i,j)(i,j), so
d(A(k),A)=max⁡i,j∣aij(k)−aij∣→0.d(A^{(k)},A)=\max_{i,j}|a^{(k)}_{ij}-a_{ij}|\to0.

Conclusion. Entrywise convergence and convergence for the sup metric coincide on Mn(R)M_n(\mathbb{R}).