Paper 3, Section II, G
Part IB, 2014
Let be a nonsingular quadratic form on a finite-dimensional real vector space . Prove that we may write , where the restriction of to is positive definite, the restriction of to is negative definite, and for all and . [No result on diagonalisability may be assumed.]
Show that the dimensions of and are independent of the choice of and . Give an example to show that and are not themselves uniquely defined.
Find such a decomposition when and is the quadratic form