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

The groups GL_n and SL_n: open and closed

#open sets#closed sets#determinant#GL_n#SL_n

Statement

Show that GLn(R)GL_n(\mathbb{R}) is open and SLn(R)SL_n(\mathbb{R}) is closed in Mn(R)M_n(\mathbb{R}).

Hint

Write each set as the preimage of a simple subset of R\mathbb{R} under the map det⁡\det. Then use: the preimage of an open (resp. closed) set under a continuous map is open (resp. closed).

Show solutionHide solution

Solution

Idea. Both sets are defined by a condition on the single number det⁡A\det A, and det⁡\det is continuous. Topology then does all the work.

Step 1: det⁡\det is continuous. By the Leibniz formula
det⁡A=∑σ∈Snsgn⁡(σ) a1σ(1)⋯anσ(n)\det A=\sum_{\sigma\in S_n}\operatorname{sgn}(\sigma)\,a_{1\sigma(1)}\cdots a_{n\sigma(n)}
det⁡A\det A is a polynomial in the n2n^2 entries of AA. The coordinate functions A↦aijA\mapsto a_{ij} are continuous (for any norm on Mn(R)≅Rn2M_n(\mathbb{R})\cong\mathbb{R}^{n^2}), and sums and products of continuous functions are continuous. Hence det⁡:Mn(R)→R\det:M_n(\mathbb{R})\to\mathbb{R} is continuous.

Step 2: GLnGL_n is open. A matrix is invertible iff det⁡A≠0\det A\neq0, so
GLn(R)=det⁡−1(R∖{0}).GL_n(\mathbb{R})=\det{}^{-1}\big(\mathbb{R}\setminus\{0\}\big).
The set R∖{0}\mathbb{R}\setminus\{0\} is open in R\mathbb{R}, so its preimage under the continuous map det⁡\det is open.

Step 3: SLnSL_n is closed. By definition
SLn(R)=det⁡−1({1}),SL_n(\mathbb{R})=\det{}^{-1}(\{1\}),
and {1}\{1\} is closed in R\mathbb{R}, so the preimage is closed.

Remark.
- Concretely, the openness of GLnGL_n says: if AA is invertible and BB is close enough to AA, then BB is invertible. A quantitative version is in the "Inverse stability" problem of Part 1: it suffices that ∥B−A∥<1/∥A−1∥\|B-A\|<1/\|A^{-1}\|.
- SLnSL_n is closed but not open (it has empty interior, since det⁡(tA)=tn\det(tA)=t^n leaves the value 11 as soon as t>0t>0, t≠1t\ne1, and tA→AtA\to A as t→1t\to1).
- SLnSL_n is also unbounded for n≥2n\ge2: (t001/t)∈SL2\begin{pmatrix}t&0\\0&1/t\end{pmatrix}\in SL_2 for all t>0t>0. Closed does not mean compact.