Lipschitz estimates for the norm and for inversion
Statement
Let be the operator norm. Show that is -Lipschitz, and that inversion is -Lipschitz on .
Hint
For the first part, use the triangle inequality twice.
For the second, use .
Show solutionHide solution
Solution
Idea. The norm is Lipschitz by the triangle inequality; the inverse is Lipschitz thanks to an algebraic identity expressing through .
Part 1: the norm.
- , so .
- Exchanging and gives .
Hence .
Part 2: inversion.
- *The identity.* For invertible :
- *The estimate.* By submultiplicativity,
Here both and must lie in the set .
Sharpness. For and we have , , and . The ratio is : the constant cannot be improved beyond a factor .
Remark. The set is exactly , the matrices at distance from the singular matrices (Problem 63). So inversion is Lipschitz *away from the singular set*, with a constant blowing up like and Problem 73 shows that it fails to be uniformly continuous globally.