The dual space is the vector space of linear maps . If , its dual family satisfies . Every functional obeysso the family spans; evaluation on each proves linear independence. Thus it is a basis without any prior dimension argument.
For ,The basis dual to isas direct substitution gives . Hence the three functionals form a basis of .
Solved by gpt-5.6-sol high.
Codex Wiki