Maths WorkshopMaths problems with full solutions
Exercise 649Topology › Topology of Mn(ℝ) › Density and closuresL2Added 6 Nov 2026

Closure of the PSD matrices of rank k

#positive semidefinite#rank#closure

Statement

Let Symn\mathrm{Sym}_n be the space of real symmetric n×nn\times n matrices and 0≤k≤n0\le k\le n. Show that the closure of {S∈Symn:S≥0,rank⁡S=k}\{S\in\mathrm{Sym}_n:S\ge0,\operatorname{rank}S=k\} is {S∈Symn:S≥0,rank⁡S≤k}\{S\in\mathrm{Sym}_n:S\ge0,\operatorname{rank}S\le k\}.

Hint

For "⊇\supseteq": if rank⁡S<k\operatorname{rank}S<k, increase the rank by adding a small multiple of a projection onto a subspace of ker⁡S\ker S.

Show solutionHide solution

Solution

"⊆\subseteq": the right-hand side is closed and contains the set.
- {S≥0}={xTSx≥0 ∀x}\{S\ge0\}=\{x^TSx\ge0\ \forall x\} is an intersection of closed half-spaces, hence closed.
- {rank⁡S≤k}\{\operatorname{rank}S\le k\} is the common zero set of all (k+1)×(k+1)(k+1)\times(k+1) minors (polynomials), hence closed.

So the closure of the set of rank kk PSD matrices lies in {S≥0,rank⁡S≤k}\{S\ge0,\operatorname{rank}S\le k\}.

"⊇\supseteq". Let S≥0S\ge0 with s=rank⁡S≤ks=\operatorname{rank}S\le k. If s=ks=k there is nothing to prove. If s<ks<k, the kernel ker⁡S\ker S has dimension n−s≥n−k+1≥k−sn-s\ge n-k+1\ge k-s (we need k−s≤n−sk-s\le n-s, true as k≤nk\le n). Choose a subspace W⊆ker⁡SW\subseteq\ker S of dimension k−sk-s and let PP be the orthogonal projection onto WW (a symmetric idempotent of rank k−sk-s). Put
Sε=S+εP,ε>0.S_\varepsilon=S+\varepsilon P,\qquad\varepsilon>0.
- Sε≥0S_\varepsilon\ge0 since S≥0S\ge0 and P≥0P\ge0.
- ker⁡S=(im⁡S)⊥\ker S=(\operatorname{im}S)^\perp because SS is symmetric, so W⊥im⁡SW\perp\operatorname{im}S and im⁡Sε=im⁡S⊕W\operatorname{im}S_\varepsilon=\operatorname{im}S\oplus W (on im⁡S\operatorname{im}S, Sε=SS_\varepsilon=S since PP kills im⁡S⊆W⊥\operatorname{im}S\subseteq W^\perp; on WW, Sε=εid⁡S_\varepsilon=\varepsilon\operatorname{id}). So rank⁡Sε=s+(k−s)=k\operatorname{rank}S_\varepsilon=s+(k-s)=k.
- Sε→SS_\varepsilon\to S as ε→0\varepsilon\to0.

Remark. For k=nk=n this says the positive definite matrices are dense in the PSD cone. Lesson. The PSD cone of rank ≤k\le k is exactly the closure of the rank-kk stratum.