Solution

ID: past-exam-of-the-linear-algebra-course-of-the-university-of-oxford/2021/3/b/ii/solution

No. On the real vector space , use the symmetric bilinear form
Its matrix of a bilinear form is , whose determinant is , so it is a nondegenerate bilinear form. Let
A vector belongs to the bilinear orthogonal complement exactly when . Hence
In particular, the claimed direct sum fails. The isotropic vector has zero self-pairing, although it pairs nontrivially with other vectors of .
The dimension identity in part (i) counts both vector subspaces but does not force their intersection of vector subspaces to be zero. For a symmetric bilinear form, is the radical of a bilinear form restricted to . Thus the precise criterion is
Indeed, trivial intersection of vector subspaces and part (i) give a sum of vector subspaces of dimension . A positive-definite bilinear form would guarantee this for every ; symmetry alone does not.

New to topics? Read the docs here!