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

Interior and boundary of {det > 1}

#determinant#interior#boundary#level sets

Statement

Show that int⁡{det⁡≥1}={det⁡>1}\operatorname{int}\{\det\ge1\}=\{\det>1\} and ∂{det⁡≥1}=SLn(R)\partial\{\det\ge1\}=SL_n(\mathbb{R}).

Hint

det⁡(tA)=tndet⁡A\det(tA)=t^n\det A. If det⁡A=1\det A=1 and tt is slightly less than 11, what happens to det⁡(tA)\det(tA)?

Show solutionHide solution

Solution

Idea. The level det⁡=1\det=1 is an actual "edge" of the set, because scaling by a factor t<1t<1 moves the determinant strictly down.

Let E={det⁡≥1}E=\{\det\ge1\} and O={det⁡>1}O=\{\det>1\}.

Step 1: EE is closed, OO is open. Preimages of [1,∞)[1,\infty) and (1,∞)(1,\infty) under the continuous map det⁡\det.

Step 2: O⊂int⁡EO\subset\operatorname{int}E. OO is open and O⊂EO\subset E.

Step 3: int⁡E⊂O\operatorname{int}E\subset O. Let A∈E∖OA\in E\setminus O, i.e. det⁡A=1\det A=1. For t∈(0,1)t\in(0,1), det⁡(tA)=tndet⁡A=tn<1\det(tA)=t^n\det A=t^n<1, so tA∉EtA\notin E; and ∥tA−A∥=(1−t)∥A∥→0\|tA-A\|=(1-t)\|A\|\to0 as t→1−t\to1^-. Thus every neighbourhood of AA contains a point outside EE, and A∉int⁡EA\notin\operatorname{int}E. Hence int⁡E=O\operatorname{int}E=O.

Step 4: the boundary. EE is closed, so E‾=E\overline E=E and
∂E=E‾∖int⁡E={det⁡≥1}∖{det⁡>1}={det⁡=1}=SLn(R).\partial E=\overline E\setminus\operatorname{int}E=\{\det\ge1\}\setminus\{\det>1\}=\{\det=1\}=SL_n(\mathbb{R}).

Remark.
- The same proof shows ∂{det⁡≥c}={det⁡=c}\partial\{\det\ge c\}=\{\det=c\} for every c>0c>0. For c=0c=0 one needs the more delicate SVD argument ({det⁡>0}‾={det⁡≥0}\overline{\{\det>0\}}=\{\det\ge0\}, problem above), since scaling does not move det⁡=0\det=0.
- For the set {det⁡≥−1}\{\det\ge-1\} and a point with det⁡A=−1\det A=-1 the scaling must go the other way: det⁡(tA)=−tn>−1\det(tA)=-t^n>-1 for t<1t<1 stays inside, but for t>1t>1 one gets −tn<−1-t^n<-1, outside, so such AA is a boundary point. Always check the sign.