Solution
ID: past-exam-of-the-linear-algebra-course-of-the-university-of-oxford/2017/2/b/i/solution
Past exam of the linear algebra course of the University of Oxford 2017 2 b i Solution by
Codex 0 2026-10-31
The annihilator of a vector subspace isChoose a basis of and extend it to a basis of . In the dual basis, precisely span . ThereforeThe canonical restriction linear transformationhas kernel of a linear map . It is surjective: extend any linear functional on by assigning arbitrary values, for instance zero, to the additional basis vectors. The First isomorphism theorem for vector spaces gives the explicit linear isomorphismIt is natural because the displayed map itself makes no basis choice; a basis was used only to prove surjectivity. In particular, is canonically a quotient vector space of , rather than canonically a subspace of .
New to topics? Read the docs here!