Maths WorkshopMaths problems with full solutions
Exercise 674Topology › Topology of Mn(ℝ) › Open, closed, interior, boundaryL2Added 7 Nov 2026

GL_n is dense and its boundary is the singular set

#invertible matrices#density#boundary#determinant

Statement

Show that GLn(R)GL_n(\mathbb{R}) is dense in Mn(R)M_n(\mathbb{R}), and that its boundary is the set of singular matrices.

Hint

For a fixed AA, det⁡(A+tI)\det(A+tI) is a polynomial in tt; it has finitely many roots.

Show solutionHide solution

Solution

Idea. A matrix can be made invertible by adding a tiny multiple of the identity: this only fails for finitely many values of the multiple.

Step 1: density. Fix A∈Mn(R)A\in M_n(\mathbb{R}). The function p(t)=det⁡(tI+A)p(t)=\det(tI+A) is a *monic* polynomial of degree nn in tt (it equals (−1)nχA(−t)(-1)^n\chi_A(-t), where χA\chi_A is the characteristic polynomial). A non-zero polynomial has finitely many roots, so there is δ>0\delta>0 such that p(t)≠0p(t)\neq0 for 0<∣t∣<δ0<|t|<\delta. For such tt, A+tI∈GLn(R)A+tI\in GL_n(\mathbb{R}) and ∥A+tI−A∥=∣t∣→0\|A+tI-A\|=|t|\to0. Hence A∈GLn(R)‾A\in\overline{GL_n(\mathbb{R})}.

(Equivalently: A+tIA+tI is singular iff −t-t is an eigenvalue of AA, and AA has at most nn eigenvalues.)

Step 2: the boundary. For any set EE, ∂E=E‾∖int⁡E\partial E=\overline E\setminus\operatorname{int}E. Here E=GLnE=GL_n is open (previous problem), so int⁡E=E\operatorname{int}E=E, and by Step 1 E‾=Mn(R)\overline E=M_n(\mathbb{R}). Therefore
∂GLn(R)=Mn(R)∖GLn(R)={A:det⁡A=0}.\partial GL_n(\mathbb{R})=M_n(\mathbb{R})\setminus GL_n(\mathbb{R})=\{A:\det A=0\}.

Remark.
- Equivalently, the singular matrices form a closed set with empty interior (they are the zero set of a non-zero polynomial). This is the key reason "generic matrices are invertible".
- A typical use: to prove an identity between continuous functions of AA (such as det⁡(AB)=det⁡(A)det⁡(B)\det(AB)=\det(A)\det(B) or Cayley-Hamilton) it suffices to prove it on the dense set GLnGL_n, or even on the dense set of matrices with distinct eigenvalues.