Use the -dimensional space for this change of basis. With the columns of recording the new basis in the old one, bilinearity gives
Thus the matrices of the bilinear form satisfy
This is matrix congruence, rather than the similarity rule for an endomorphism: both arguments of the bilinear form change basis.
The restriction of a positive definite form to each is positive definite. By the spectral theorem for real symmetric matrices, choose an orthogonal matrix such that .
Each , since a basis vector is nonzero. Taking determinants in part (i) gives
because an orthogonal matrix has determinant . Consequently
These determinants are the leading principal minors in Sylvester's criterion.
Work inside , and take the orthogonal complement for a bilinear form of relative to this ambient space. If , then , so positive definiteness on forces .
Part (a)(iv) therefore gives , with . Choose spanning that complement and use the basis . Symmetry and orthogonality make its Gram matrix
By part (b)(i), . Part (ii) applied to the already positive definite restriction gives . Therefore
For a nonzero vector with ,
This proves positive definiteness on .
Finally says , so the restriction to is positive definite. Induction using all successive positive leading principal minors reaches . Combined with part (ii), this proves Sylvester's criterion in both directions.

Articles by others on the same topic (0)

There are currently no matching articles.