Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-4/1f/solution

A bilinear form on is nondegenerate when
In finite dimensions this is equivalent to nondegeneracy in the first argument.
Define the linear map
Nondegeneracy makes injective. Since and its dual space have the same finite dimension, is an isomorphism. Similarly define and set
Then is linear and
If , this identity gives for every . Conversely, if for every , then for every , so nondegeneracy gives . Hence
This is the representation of a bilinear form relative to a nondegenerate bilinear form.

New to topics? Read the docs here!