The symmetric bilinear form associated with a quadratic form is obtained by polarization:To diagonalize it, argue by induction on . If for every , polarization gives , so every basis works. Otherwise choose with . Thenand diagonalize the restriction to inductively. Thus some basis gives a diagonal matrix with positive, negative, and zero entries. By Sylvester's law of inertia, their counts are basis-independent. In the convention relevant here, the signature of a quadratic form is
Suppose lies in the radical of a bilinear form, so for all . Then andHence is a well-defined quadratic form on the quotient vector space . In an adapted diagonal basis, quotienting by merely removes zero diagonal directions, so and , and therefore the signature, are unchanged.
Now let . Its Gram matrix iswhich has determinant . Thus is nondegenerate and has one positive and one negative square: it is a hyperbolic plane (quadratic form) and has signature zero. Nondegeneracy gives the orthogonal direct sumSignature is additive under orthogonal direct sums, so
Articles by others on the same topic
There are currently no matching articles.