Sylvester's criterion and the openness of the positive cone
Statement
Let and let be its leading principal minors. Prove that is positive definite iff . Deduce that is open in .
Hint
() Leading blocks are positive definite. () Gaussian elimination without pivoting gives with .
Show solutionHide solution
Solution
(). If and , extend by zeros to : . So each leading block is positive definite, its eigenvalues are positive and .
(). Assume all . We do Gaussian elimination without row exchanges. The first pivot is . After eliminating the first column, the lower right block is the Schur complement and is again symmetric; inductively the -th pivot is (with ), since the determinant of the leading block is the product of the first pivots and elimination does not change leading minors. All pivots are , so the elimination never breaks down, and we obtain
Therefore for , with ( is invertible),
Openness. The functions are polynomials, so continuous, and
is open.
Example. : , , so and .
Remark. The criterion needs *leading* minors: has and . For positive *semi*definiteness one needs *all* principal minors , not only the leading ones: has leading minors yet is not semidefinite.