Maths WorkshopMaths problems with full solutions
Exercise 1451Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 10 Nov 2026

The distance to the singular matrices in M_2(R)

#M_2#distance to singular matrices#smallest singular value#operator norm

Statement

For A∈M2(R)A\in M_2(\mathbb{R}) with coordinates (z,w)(z,w), show that in the operator norm
dist⁡(A,{singular matrices})=∣∣z∣−∣w∣∣=σ2(A).\operatorname{dist}\bigl(A,\{\text{singular matrices}\}\bigr)=\bigl||z|-|w|\bigr|=\sigma_2(A).

Hint

In these coordinates ∥A−B∥=∣z−z′∣+∣w−w′∣\|A-B\|=|z-z'|+|w-w'| and the singular matrices are {∣z′∣=∣w′∣}\{|z'|=|w'|\}. Use the triangle inequality for the lower bound, and shrink the larger of z,wz,w and enlarge the smaller one to the middle radius for the upper bound.

Show solutionHide solution

Solution

Idea. ∥⋅∥=∣z∣+∣w∣\|\cdot\|=|z|+|w| is a norm on C2\mathbb{C}^2 in which the singular set is {∣z′∣=∣w′∣}\{|z'|=|w'|\}. The problem reduces to an elementary optimisation in the plane.

Step 1: the norm. By linearity of A↦(z,w)A\mapsto(z,w) and ∥A∥=∣z∣+∣w∣\|A\|=|z|+|w|, if BB has coordinates (z′,w′)(z',w') then ∥A−B∥=∣z−z′∣+∣w−w′∣\|A-B\|=|z-z'|+|w-w'|.

Step 2: lower bound. Let BB be singular: ∣z′∣=∣w′∣=r|z'|=|w'|=r. Then, by the reverse triangle inequality ∣z−z′∣≥∣∣z∣−r∣|z-z'|\ge||z|-r| and ∣w−w′∣≥∣∣w∣−r∣|w-w'|\ge||w|-r|, and by the triangle inequality in R\mathbb{R},
∥A−B∥≥∣∣z∣−r∣+∣∣w∣−r∣≥∣(∣z∣−r)−(∣w∣−r)∣=∣∣z∣−∣w∣∣.\|A-B\|\ge\bigl||z|-r\bigr|+\bigl||w|-r\bigr|\ge\bigl|(|z|-r)-(|w|-r)\bigr|=\bigl||z|-|w|\bigr|.

Step 3: the bound is attained. Assume ∣z∣≥∣w∣|z|\ge|w| with (z,w)≠(0,0)(z,w)\ne(0,0) (the other case is symmetric by exchanging the roles, and A=0A=0 is singular). Put r=∣z∣+∣w∣2r=\frac{|z|+|w|}2, z′=r z/∣z∣z'=r\,z/|z| (as z≠0z\ne0), and w′=r uw'=r\,u with u=w/∣w∣u=w/|w| if w≠0w\ne0 and u=1u=1 if w=0w=0. Then ∣z′∣=∣w′∣=r|z'|=|w'|=r so the matrix BB with coordinates (z′,w′)(z',w') is singular, and
∣z−z′∣=∣z∣−r=∣z∣−∣w∣2,∣w−w′∣=∣ ∣w∣−r∣=∣z∣−∣w∣2.|z-z'|=|z|-r=\frac{|z|-|w|}2,\qquad|w-w'|=\bigl|\,|w|-r\bigr|=\frac{|z|-|w|}2.
(For w=0w=0, ∣w−w′∣=r=∣z∣2=∣z∣−∣w∣2|w-w'|=r=\frac{|z|}2=\frac{|z|-|w|}2.) Hence ∥A−B∥=∣z∣−∣w∣\|A-B\|=|z|-|w|.

Conclusion. The distance equals ∣∣z∣−∣w∣∣\bigl||z|-|w|\bigr|, which is σ2(A)\sigma_2(A) by the previous problem.

Check (numerical). For random AA, the matrix B=A−σ2u2v2TB=A-\sigma_2u_2v_2^T (SVD) is singular and ∥A−B∥=σ2\|A-B\|=\sigma_2; moreover 300300 random rank-one matrices uvTuv^T never came closer than σ2\sigma_2.

Remark. This is the 2×22\times2 case of the Eckart-Young theorem: the distance from AA to the matrices of rank <n<n is σn(A)=1/∥A−1∥\sigma_n(A)=1/\|A^{-1}\| for invertible AA. In the (z,w)(z,w) picture, the nearest singular matrix is obtained by moving zz and ww along the radial lines to the common radius r=∣z∣+∣w∣2r=\frac{|z|+|w|}2.

Lesson. In the right coordinates, an "abstract" distance formula becomes a one-line triangle-inequality argument.