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

The boundary of the positive definite cone

#positive definite#boundary#symmetric matrices#determinant

Statement

Show that, in Symn\mathrm{Sym}_n, ∂ PD={A∈Symn:A≥0, det⁡A=0}\partial\,\mathrm{PD}=\{A\in\mathrm{Sym}_n:A\ge0,\ \det A=0\}.

Hint

Use ∂E=E‾∖int⁡E\partial E=\overline E\setminus\operatorname{int}E together with the results PD‾=PSD\overline{\mathrm{PD}}=\mathrm{PSD} and PD open.

Show solutionHide solution

Solution

Idea. The boundary is "closure minus interior". We already know both for PD.

Step 1: closure and interior. In Symn\mathrm{Sym}_n the set PD is open (so int⁡PD=PD\operatorname{int}\mathrm{PD}=\mathrm{PD}) and PD‾=PSD\overline{\mathrm{PD}}=\mathrm{PSD} (problem on cones above). Hence
∂ PD=PD‾∖int⁡PD=PSD∖PD.\partial\,\mathrm{PD}=\overline{\mathrm{PD}}\setminus\operatorname{int}\mathrm{PD}=\mathrm{PSD}\setminus\mathrm{PD}.

Step 2: identify PSD∖PD\mathrm{PSD}\setminus\mathrm{PD}. A symmetric matrix has real eigenvalues λ1≤⋯≤λn\lambda_1\le\dots\le\lambda_n and
- A∈PSD  ⟺  λ1≥0A\in\mathrm{PSD}\iff\lambda_1\ge0,
- A∈PD  ⟺  λ1>0A\in\mathrm{PD}\iff\lambda_1>0.
So A∈PSD∖PDA\in\mathrm{PSD}\setminus\mathrm{PD} iff λ1=0\lambda_1=0. For a PSD matrix all eigenvalues are ≥0\ge0 and det⁡A=∏λi\det A=\prod\lambda_i, so det⁡A=0\det A=0 iff some λi=0\lambda_i=0 iff λ1=0\lambda_1=0. Thus
PSD∖PD={A≥0:det⁡A=0}.\mathrm{PSD}\setminus\mathrm{PD}=\{A\ge0:\det A=0\}.

Example (n=2n=2). The boundary of PD is the set of (abbc)\begin{pmatrix}a&b\\b&c\end{pmatrix} with a,c≥0a,c\ge0, ac=b2ac=b^2: one nappe of a quadratic cone in the three-dimensional space Sym2≅R3\mathrm{Sym}_2\cong\mathbb{R}^3: the boundary of the Lorentz cone {a+c≥(a−c)2+4b2}\{a+c\ge\sqrt{(a-c)^2+4b^2}\}.

Remark.
- Note the condition A≥0A\ge0 cannot be dropped: diag⁡(1,0,−1)\operatorname{diag}(1,0,-1) has det⁡=0\det=0 but is *not* a boundary point of PD, since it is not even in PSD\mathrm{PSD}.
- The boundary consists of PSD matrices of rank <n<n: the faces of the cone PSD, parametrised by their ranges.