Jump to content

Symmetric bilinear form/pq/Dimension degeneracy space/Zero restriction/Exercise

From Wikiversity

Let be a finite-dimensional -vector space, equipped with a symmetric bilinear form of type , and let denote the dimension of the degeneracy space of the form. Show that there exists a linear subspace such that the restriction of the form to is the zero form, and with

Moreover, show that there does not exist a linear subspace of larger dimension such that the restriction is the zero form.