Maths WorkshopMaths problems with full solutions
Exercise 2030Topology › Topology of Mn(ℝ) › Rank, spectrum and normsM1Added 6 Nov 2026

Sylvester's criterion and the openness of the positive cone

#Sylvester criterion#positive definite#LDL decomposition#leading minors

Statement

Let S∈Symn(R)S\in\mathrm{Sym}_n(\mathbb{R}) and let Δk=det⁡(Sij)1≤i,j≤k\Delta_k=\det(S_{ij})_{1\le i,j\le k} be its leading principal minors. Prove that SS is positive definite iff Δ1>0,…,Δn>0\Delta_1>0,\dots,\Delta_n>0. Deduce that PD\mathrm{PD} is open in Symn\mathrm{Sym}_n.

Hint

(⇒\Rightarrow) Leading blocks are positive definite. (⇐\Leftarrow) Gaussian elimination without pivoting gives S=LDLTS=LDL^T with dk=Δk/Δk−1d_k=\Delta_k/\Delta_{k-1}.

Show solutionHide solution

Solution

(⇒\Rightarrow). If S>0S>0 and x∈Rk∖0x\in\mathbb{R}^k\setminus0, extend xx by zeros to x~∈Rn\tilde x\in\mathbb{R}^n: xTSkx=x~TSx~>0x^TS_kx=\tilde x^TS\tilde x>0. So each leading block SkS_k is positive definite, its eigenvalues are positive and Δk=det⁡Sk>0\Delta_k=\det S_k>0.

(⇐\Leftarrow). Assume all Δk>0\Delta_k>0. We do Gaussian elimination without row exchanges. The first pivot is Δ1>0\Delta_1>0. After eliminating the first column, the lower right block is the Schur complement and is again symmetric; inductively the kk-th pivot is dk=Δk/Δk−1d_k=\Delta_k/\Delta_{k-1} (with Δ0=1\Delta_0=1), since the determinant of the leading k×kk\times k block is the product of the first kk pivots and elimination does not change leading minors. All pivots are >0>0, so the elimination never breaks down, and we obtain
S=LDLT,L unit lower triangular, D=diag⁡(d1,…,dn).S=LDL^T,\qquad L\text{ unit lower triangular},\ D=\operatorname{diag}(d_1,\dots,d_n).
Therefore for x≠0x\ne0, with y=LTx≠0y=L^Tx\ne0 (LL is invertible),
xTSx=yTDy=∑kdkyk2>0.x^TSx=y^TDy=\sum_kd_ky_k^2>0.

Openness. The functions Δk:Symn→R\Delta_k:\mathrm{Sym}_n\to\mathbb{R} are polynomials, so continuous, and
PD=⋂k=1nΔk−1((0,∞))\mathrm{PD}=\bigcap_{k=1}^n\Delta_k^{-1}\big((0,\infty)\big)
is open.

Example. S=(2−1−12)S=\begin{pmatrix}2&-1\\-1&2\end{pmatrix}: Δ1=2\Delta_1=2, Δ2=3\Delta_2=3, so S>0S>0 and S=(10−121)(20032)(1−1201)S=\begin{pmatrix}1&0\\-\frac12&1\end{pmatrix}\begin{pmatrix}2&0\\0&\frac32\end{pmatrix}\begin{pmatrix}1&-\frac12\\0&1\end{pmatrix}.

Remark. The criterion needs *leading* minors: S=(000−1)S=\begin{pmatrix}0&0\\0&-1\end{pmatrix} has Δ1=0\Delta_1=0 and S22=−1<0S_{22}=-1<0. For positive *semi*definiteness one needs *all* principal minors ≥0\ge0, not only the leading ones: (000−1)\begin{pmatrix}0&0\\0&-1\end{pmatrix} has leading minors 0,00,0 yet is not semidefinite.