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

Strictly diagonally dominant matrices are invertible

#diagonal dominance#Gershgorin#open sets#invertibility

Statement

Call A=(aij)A=(a_{ij}) *strictly row diagonally dominant* if ∣aii∣>∑j≠i∣aij∣|a_{ii}|>\sum_{j\ne i}|a_{ij}| for every ii. Show that such a matrix is invertible, and that the set D\mathcal{D} of these matrices is an open subset of GLn(R)GL_n(\mathbb{R}).

Hint

If Ax=0Ax=0 with x≠0x\ne0, look at a coordinate xix_i of largest absolute value.

Show solutionHide solution

Solution

Invertibility. Suppose Ax=0Ax=0 with x≠0x\ne0. Choose ii with ∣xi∣=max⁡j∣xj∣|x_i|=\max_j|x_j|; then ∣xi∣>0|x_i|>0. The ii-th equation reads aiixi=−∑j≠iaijxja_{ii}x_i=-\sum_{j\ne i}a_{ij}x_j, so
∣aii∣ ∣xi∣≤∑j≠i∣aij∣ ∣xj∣≤(∑j≠i∣aij∣)∣xi∣.|a_{ii}|\,|x_i|\le\sum_{j\ne i}|a_{ij}|\,|x_j|\le\Big(\sum_{j\ne i}|a_{ij}|\Big)|x_i|.
Dividing by ∣xi∣>0|x_i|>0 gives ∣aii∣≤∑j≠i∣aij∣|a_{ii}|\le\sum_{j\ne i}|a_{ij}|, contradicting dominance. So ker⁡A={0}\ker A=\{0\} and AA is invertible.

Openness. For each ii, the function fi(A)=∣aii∣−∑j≠i∣aij∣f_i(A)=|a_{ii}|-\sum_{j\ne i}|a_{ij}| is continuous on Mn(R)M_n(\mathbb{R}) (a combination of absolute values of coordinates). Therefore
D=⋂i=1nfi−1((0,∞))\mathcal{D}=\bigcap_{i=1}^n f_i^{-1}\big((0,\infty)\big)
is a finite intersection of open sets, hence open. By the first part D⊂GLn(R)\mathcal{D}\subset GL_n(\mathbb{R}).

Example. (31−12)\begin{pmatrix}3&1\\-1&2\end{pmatrix} is dominant (3>13>1, 2>12>1) with determinant 7≠07\ne0.

Remark. This is the real core of Gershgorin's theorem: every eigenvalue lies in a disc ∣z−aii∣≤∑j≠i∣aij∣|z-a_{ii}|\le\sum_{j\ne i}|a_{ij}|, since A−zIA-zI would otherwise be strictly dominant. Dominance is only sufficient: (1201)\begin{pmatrix}1&2\\0&1\end{pmatrix} is invertible but not dominant.