Maths WorkshopMaths problems with full solutions
Exercise 678Topology › Topology of Mn(ℝ) › Continuity of matrix mapsL2Added 7 Nov 2026

Lipschitz estimates for the norm and for inversion

#Lipschitz#inversion#resolvent identity#operator norm

Statement

Let ∥⋅∥\|\cdot\| be the operator norm. Show that A↦∥A∥A\mapsto\|A\| is 11-Lipschitz, and that inversion is M2M^2-Lipschitz on {A∈GLn:∥A−1∥≤M}\{A\in GL_n:\|A^{-1}\|\le M\}.

Hint

For the first part, use the triangle inequality twice.

For the second, use A−1−B−1=A−1(B−A)B−1A^{-1}-B^{-1}=A^{-1}(B-A)B^{-1}.

Show solutionHide solution

Solution

Idea. The norm is Lipschitz by the triangle inequality; the inverse is Lipschitz thanks to an algebraic identity expressing A−1−B−1A^{-1}-B^{-1} through B−AB-A.

Part 1: the norm.
- ∥A∥=∥(A−B)+B∥≤∥A−B∥+∥B∥\|A\|=\|(A-B)+B\|\le\|A-B\|+\|B\|, so ∥A∥−∥B∥≤∥A−B∥\|A\|-\|B\|\le\|A-B\|.
- Exchanging AA and BB gives ∥B∥−∥A∥≤∥B−A∥=∥A−B∥\|B\|-\|A\|\le\|B-A\|=\|A-B\|.

Hence ∣∥A∥−∥B∥∣≤∥A−B∥\big|\|A\|-\|B\|\big|\le\|A-B\|.

Part 2: inversion.
- *The identity.* For invertible A,BA,B:
A−1(B−A)B−1=A−1BB−1−A−1AB−1=A−1−B−1.A^{-1}(B-A)B^{-1}=A^{-1}BB^{-1}-A^{-1}AB^{-1}=A^{-1}-B^{-1}.
- *The estimate.* By submultiplicativity,
∥A−1−B−1∥≤∥A−1∥ ∥B−A∥ ∥B−1∥≤M⋅∥A−B∥⋅M=M2∥A−B∥.\|A^{-1}-B^{-1}\|\le\|A^{-1}\|\,\|B-A\|\,\|B^{-1}\|\le M\cdot\|A-B\|\cdot M=M^2\|A-B\|.

Here both AA and BB must lie in the set {∥ ⋅−1∥≤M}\{\|\,\cdot^{-1}\|\le M\}.

Sharpness. For A=diag⁡(1M,1,…,1)A=\operatorname{diag}(\frac1M,1,\dots,1) and B=diag⁡(2M,1,…,1)B=\operatorname{diag}(\frac2M,1,\dots,1) we have ∥A−1∥=M\|A^{-1}\|=M, ∥B−1∥=M2≤M\|B^{-1}\|=\frac M2\le M, ∥A−B∥=1M\|A-B\|=\frac1M and ∥A−1−B−1∥=∣M−M2∣=M2\|A^{-1}-B^{-1}\|=\left|M-\frac M2\right|=\frac M2. The ratio is M/21/M=M22\frac{M/2}{1/M}=\frac{M^2}2: the constant M2M^2 cannot be improved beyond a factor 22.

Remark. The set {∥A−1∥≤M}\{\|A^{-1}\|\le M\} is exactly {σmin⁡(A)≥1/M}\{\sigma_{\min}(A)\ge1/M\}, the matrices at distance ≥1/M\ge1/M from the singular matrices (Problem 63). So inversion is Lipschitz *away from the singular set*, with a constant blowing up like dist⁡−2\operatorname{dist}^{-2} and Problem 73 shows that it fails to be uniformly continuous globally.