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

The determinant is an open map

#determinant#open map#SVD#singular matrices

Statement

Show that det⁡:Mn(R)→R\det:M_n(\mathbb{R})\to\mathbb{R} is an open map: it sends open sets to open sets (n≥1n\ge1).

Hint

It suffices to show that every neighbourhood of every AA contains matrices whose determinants fill a neighbourhood of det⁡A\det A.

If AA is singular, write A=PΣQTA=P\Sigma Q^T (SVD) and modify the zero singular values.

Show solutionHide solution

Solution

Idea. For an open U∋AU\ni A we must find an interval around det⁡A\det A contained in det⁡(U)\det(U). We move AA along a curve inside UU along which det⁡\det varies over an interval around det⁡A\det A.

Case 1: det⁡A≠0\det A\ne0. Let As=Adiag⁡(s,1,…,1)A_s=A\operatorname{diag}(s,1,\dots,1). Then det⁡As=sdet⁡A\det A_s=s\det A and As→AA_s\to A as s→1s\to1, so As∈UA_s\in U for s∈(1−τ,1+τ)s\in(1-\tau,1+\tau) for some τ>0\tau>0. As ss runs over (1−τ,1+τ)(1-\tau,1+\tau), det⁡As\det A_s runs over the interval (det⁡A(1−τ),det⁡A(1+τ))\big(\det A(1-\tau),\det A(1+\tau)\big) (or reversed), which is a neighbourhood of det⁡A\det A.

Case 2: det⁡A=0\det A=0. Write the SVD A=PΣQTA=P\Sigma Q^T with P,QP,Q orthogonal and Σ=diag⁡(σ1,…,σr,0,…,0)\Sigma=\operatorname{diag}(\sigma_1,\dots,\sigma_r,0,\dots,0), σi>0\sigma_i>0, r<nr<n. Let k=n−r≥1k=n-r\ge1. For τ>0\tau>0 small and s∈[−τ,τ]s\in[-\tau,\tau] put
Σs=diag⁡(σ1,…,σr, s, τ,…,τ)(with k−1 entries equal to τ),\Sigma_s=\operatorname{diag}(\sigma_1,\dots,\sigma_r,\,s,\,\tau,\dots,\tau)\quad(\text{with }k-1\text{ entries equal to }\tau),
and As=PΣsQTA_s=P\Sigma_sQ^T. Then
- ∥As−A∥=∥Σs−Σ∥≤τ\|A_s-A\|=\|\Sigma_s-\Sigma\|\le\tau (operator norm is invariant under orthogonal maps), so As∈UA_s\in U when τ\tau is small enough;
- det⁡As=det⁡Pdet⁡Q⋅σ1⋯σr⋅τk−1⋅s=c s\det A_s=\det P\det Q\cdot\sigma_1\cdots\sigma_r\cdot\tau^{k-1}\cdot s=c\,s where c=±σ1⋯σrτk−1≠0c=\pm\sigma_1\cdots\sigma_r\tau^{k-1}\ne0.

As ss ranges over [−τ,τ][-\tau,\tau], det⁡As=cs\det A_s=cs covers the interval [−∣c∣τ,∣c∣τ][-|c|\tau,|c|\tau], a neighbourhood of 0=det⁡A0=\det A.

Conclusion. For every open UU and A∈UA\in U, det⁡(U)\det(U) contains a neighbourhood of det⁡A\det A, so det⁡(U)\det(U) is open.

Remark. The determinant is a *submersion* at every matrix of rank ≥n−1\ge n-1 (its derivative tr⁡(adj⁡(A) ⋅)\operatorname{tr}(\operatorname{adj}(A)\,\cdot) is nonzero there, Problem 79), so openness is easy near them; the interest is at matrices of rank ≤n−2\le n-2 where ddet⁡=0d\det=0: det⁡\det is still open though not a submersion. For n=1n=1 it is the identity.