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

Positive definite matrices: open cone with closure PSD

#positive definite#cones#eigenvalues#interior

Statement

In the space Symn\mathrm{Sym}_n of real symmetric matrices, show that the set PD of positive definite matrices is open, the set PSD of positive semidefinite matrices is closed, int⁡(PSD)=PD\operatorname{int}(\mathrm{PSD})=\mathrm{PD} and PD‾=PSD\overline{\mathrm{PD}}=\mathrm{PSD} (interior and closure taken in Symn\mathrm{Sym}_n).

Hint

A∈PDA\in\mathrm{PD} iff λmin⁡(A)>0\lambda_{\min}(A)>0 iff xTAx>0x^TAx>0 for all unit xx. Show that λmin⁡(A)=min⁡∣x∣=1xTAx\lambda_{\min}(A)=\min_{|x|=1}x^TAx is a continuous function of AA.

Show solutionHide solution

Solution

Idea. Everything is governed by the continuous function λmin⁡\lambda_{\min}. PD is {λmin⁡>0}\{\lambda_{\min}>0\} and PSD is {λmin⁡≥0}\{\lambda_{\min}\ge0\}; and shifting by ±εI\pm\varepsilon I moves λmin⁡\lambda_{\min} by exactly ±ε\pm\varepsilon.

Step 1: λmin⁡\lambda_{\min} is continuous. For symmetric AA the Rayleigh formula gives λmin⁡(A)=min⁡∣x∣=1xTAx\lambda_{\min}(A)=\min_{|x|=1}x^TAx. If A,BA,B are symmetric and ∣x∣=1|x|=1,
xTAx=xTBx+xT(A−B)x≥λmin⁡(B)−∥A−B∥,x^TAx=x^TBx+x^T(A-B)x\ge\lambda_{\min}(B)-\|A-B\|,
so λmin⁡(A)≥λmin⁡(B)−∥A−B∥\lambda_{\min}(A)\ge\lambda_{\min}(B)-\|A-B\|; exchanging A,BA,B gives
∣λmin⁡(A)−λmin⁡(B)∣≤∥A−B∥.|\lambda_{\min}(A)-\lambda_{\min}(B)|\le\|A-B\|.
So λmin⁡\lambda_{\min} is 11-Lipschitz.

Step 2: open / closed. PD=λmin⁡−1((0,∞))\mathrm{PD}=\lambda_{\min}^{-1}((0,\infty)) is open and PSD=λmin⁡−1([0,∞))\mathrm{PSD}=\lambda_{\min}^{-1}([0,\infty)) is closed in Symn\mathrm{Sym}_n.

Step 3: int⁡PSD=PD\operatorname{int}\mathrm{PSD}=\mathrm{PD}. PD is open and contained in PSD, so PD⊂int⁡PSD\mathrm{PD}\subset\operatorname{int}\mathrm{PSD}. Conversely let A∈PSDA\in\mathrm{PSD} with λmin⁡(A)=0\lambda_{\min}(A)=0. For every ε>0\varepsilon>0 the matrix A−εI∈SymnA-\varepsilon I\in\mathrm{Sym}_n has λmin⁡=−ε<0\lambda_{\min}=-\varepsilon<0, so it is not PSD, while ∥(A−εI)−A∥=ε\|(A-\varepsilon I)-A\|=\varepsilon. So no neighbourhood of AA lies in PSD: A∉int⁡PSDA\notin\operatorname{int}\mathrm{PSD}.

Step 4: PD‾=PSD\overline{\mathrm{PD}}=\mathrm{PSD}. PSD is closed and contains PD, so PD‾⊂PSD\overline{\mathrm{PD}}\subset\mathrm{PSD}. If A∈PSDA\in\mathrm{PSD}, then A+εIA+\varepsilon I has λmin⁡=λmin⁡(A)+ε>0\lambda_{\min}=\lambda_{\min}(A)+\varepsilon>0 for ε>0\varepsilon>0, so it is in PD, and it tends to AA as ε→0\varepsilon\to0.

Remark.
- Example (n=2n=2): (1000)\begin{pmatrix}1&0\\0&0\end{pmatrix} is PSD but not PD; (100−ε)\begin{pmatrix}1&0\\0&-\varepsilon\end{pmatrix} is arbitrarily close and not PSD.
- PD is a convex cone, and the identities PD‾=PSD\overline{\mathrm{PD}}=\mathrm{PSD}, int⁡PSD=PD\operatorname{int}\mathrm{PSD}=\mathrm{PD} are the standard picture behind semidefinite programming.