Use ∂E=E∖intE together with the results PD=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 the set PD is open (so intPD=PD) and PD=PSD (problem on cones above). Hence ∂PD=PD∖intPD=PSD∖PD.
Step 2: identify PSD∖PD. A symmetric matrix has real eigenvalues λ1≤⋯≤λn and - A∈PSD⟺λ1≥0, - A∈PD⟺λ1>0. So A∈PSD∖PD iff λ1=0. For a PSD matrix all eigenvalues are ≥0 and detA=∏λi, so detA=0 iff some λi=0 iff λ1=0. Thus PSD∖PD={A≥0:detA=0}.
Example (n=2). The boundary of PD is the set of (abbc) with a,c≥0, ac=b2: one nappe of a quadratic cone in the three-dimensional space Sym2≅R3: the boundary of the Lorentz cone {a+c≥(a−c)2+4b2}.
Remark. - Note the condition A≥0 cannot be dropped: diag(1,0,−1) has det=0 but is *not* a boundary point of PD, since it is not even in PSD. - The boundary consists of PSD matrices of rank <n: the faces of the cone PSD, parametrised by their ranges.