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

Semicontinuity of the inertia of symmetric matrices

#inertia#symmetric matrices#Weyl#semicontinuity

Statement

On Symn(R)\mathrm{Sym}_n(\mathbb{R}) let n+(S)n_+(S) be the number of positive eigenvalues (with multiplicity) and n0(S)=dim⁡ker⁡Sn_0(S)=\dim\ker S the nullity. Show that n+n_+ is lower semicontinuous and n0n_0 is upper semicontinuous.

Hint

Order the eigenvalues λ1(S)≤⋯≤λn(S)\lambda_1(S)\le\dots\le\lambda_n(S) and use that each λk\lambda_k is a continuous (indeed 11-Lipschitz) function of SS.

Show solutionHide solution

Solution

Eigenvalues are Lipschitz. For symmetric S,S′S,S' Weyl's inequality gives ∣λk(S)−λk(S′)∣≤∥S−S′∥|\lambda_k(S)-\lambda_k(S')|\le\|S-S'\| for each kk (min-max formula for the Rayleigh quotient).

n+n_+ is lower semicontinuous. Let m=n+(S)m=n_+(S), so λn(S),…,λn−m+1(S)>0\lambda_n(S),\dots,\lambda_{n-m+1}(S)>0. Let δ=λn−m+1(S)>0\delta=\lambda_{n-m+1}(S)>0 be the smallest of them. If ∥S′−S∥<δ\|S'-S\|<\delta then
λn−m+1(S′)>λn−m+1(S)−δ=0,\lambda_{n-m+1}(S')>\lambda_{n-m+1}(S)-\delta=0,
and so at least mm eigenvalues of S′S' are positive: n+(S′)≥n+(S)n_+(S')\ge n_+(S) in a neighbourhood.

n0n_0 is upper semicontinuous. The nullity is n−rank⁡Sn-\operatorname{rank}S, and the rank is lower semicontinuous (a nonzero minor stays nonzero nearby). Hence n0(S′)=n−rank⁡S′≤n−rank⁡S=n0(S)n_0(S')=n-\operatorname{rank}S'\le n-\operatorname{rank}S=n_0(S) near SS.

Example. S=0S=0 has n+=0n_+=0, n0=nn_0=n. Nearby S′=εIS'=\varepsilon I has n+=nn_+=n and n0=0n_0=0: the invariants can only jump up for n+n_+ and down for n0n_0 in a neighbourhood.

Remark. By symmetry n−n_- is also lower semicontinuous, and n++n−+n0=nn_++n_-+n_0=n. Near a given SS the signature can only change by turning zero eigenvalues into positive or negative ones; n+n_+ and n−n_- never decrease locally. In particular, {n+=n}\{n_+=n\} (positive definite matrices) is open.