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 .

Articles by others on the same topic (0)

There are currently no matching articles.