Maths WorkshopMaths problems with full solutions
Exercise 1402Topology › Topology of Mn(ℝ) › Norms and metric structureL3Added 7 Nov 2026

Invertibility is stable under small perturbations

#invertible matrices#perturbation#Neumann series#open set

Statement

Let AA be invertible and ∥B−A∥<1/∥A−1∥\|B-A\|<1/\|A^{-1}\|. Show that BB is invertible. Deduce that GLn(R)GL_n(\mathbb{R}) is open and contains the open ball of radius 1/∥A−1∥1/\|A^{-1}\| around each of its elements AA.

Hint

Factor B=A(I−A−1(A−B))B=A\big(I-A^{-1}(A-B)\big).

Apply the Neumann series to A−1(A−B)A^{-1}(A-B).

Show solutionHide solution

Solution

Idea. Factor out the invertible matrix AA, so that what remains is a small perturbation of the identity, for which we have the Neumann series.

Step 1: the factorisation. Let E=A−1(A−B)E=A^{-1}(A-B). Then
A(I−E)=A−AA−1(A−B)=A−(A−B)=B.A(I-E)=A-AA^{-1}(A-B)=A-(A-B)=B.

Step 2: EE is small. By submultiplicativity,
∥E∥≤∥A−1∥∥A−B∥<∥A−1∥⋅1∥A−1∥=1.\|E\|\le\|A^{-1}\|\|A-B\|<\|A^{-1}\|\cdot\frac1{\|A^{-1}\|}=1.

Step 3: conclusion. By the Neumann series, I−EI-E is invertible. Hence B=A(I−E)B=A(I-E) is a product of two invertible matrices, so it is invertible, with B−1=(I−E)−1A−1B^{-1}=(I-E)^{-1}A^{-1}.

Consequence. Every A∈GLnA\in GL_n has a ball B(A,1/∥A−1∥)⊂GLnB(A,1/\|A^{-1}\|)\subset GL_n, so GLn(R)GL_n(\mathbb{R}) is open. Moreover this gives the quantitative bound ∥B−1∥≤∥A−1∥1−∥A−1∥∥A−B∥\|B^{-1}\|\le\dfrac{\|A^{-1}\|}{1-\|A^{-1}\|\|A-B\|}.

Example. A=diag⁡(1,ε)A=\operatorname{diag}(1,\varepsilon) has 1/∥A−1∥=ε1/\|A^{-1}\|=\varepsilon and B=diag⁡(1,0)B=\operatorname{diag}(1,0) is at distance ε\varepsilon from AA and singular: the radius 1/∥A−1∥1/\|A^{-1}\| cannot be improved (see the next problems).

Remark. This is the first of several ways to see that GLn(R)GL_n(\mathbb{R}) is open; another is that det⁡\det is continuous and GLn=det⁡−1(R∖{0})GL_n=\det^{-1}(\mathbb{R}\setminus\{0\}). The Neumann argument is more quantitative and works in any Banach algebra, including infinite-dimensional ones, where det⁡\det is not available.