Use the -dimensional space for this change of basis. With the columns of recording the new basis in the old one, bilinearity givesThus the matrices of the bilinear form satisfyThis 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) givesbecause an orthogonal matrix has determinant . ConsequentlyThese 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 matrixBy part (b)(i), . Part (ii) applied to the already positive definite restriction gives . ThereforeFor 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
There are currently no matching articles.