Solution

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

The dual space is the vector space of linear maps . If , its dual family satisfies . Every functional obeys
so the family spans; evaluation on each proves linear independence. Thus it is a basis without any prior dimension argument.
For ,
The basis dual to is
as direct substitution gives . Hence the three functionals form a basis of .

New to topics? Read the docs here!