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 . Then
and 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 and
Hence 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 is
which 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 sum
Signature is additive under orthogonal direct sums, so

Articles by others on the same topic (0)

There are currently no matching articles.