Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/ib/paper-1/8g/solution

Nondegeneracy of means both radicals are zero: if for every , then , and the analogous implication holds in the other variable. Define linear maps and by and . Both are injective. Finite dimensionality gives and , so they are isomorphisms.
Similarly define and , which are linear by bilinearity. Set
Then and are linear endomorphisms of and , respectively, and their definitions give for every pair. These dual isomorphisms induced by a nondegenerate pairing also prove uniqueness. No symmetry of , and no identification of the two vector spaces, is required.

New to topics? Read the docs here!