Symmetric bilinear form/Nondegenerate/Gram determinant/Exercise

< Symmetric bilinear form < Nondegenerate < Gram determinant

Let be an -dimensional real vector space, and let denote a symmetric bilinear form on . Show that the following properties are equivalent.

  1. The bilinear form is nondegenerate.
  2. The Gram matrix of the bilinear form with respect to any basis is invertible.
  3. The bilinear form is of type (with some ).