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.
Articles by others on the same topic
There are currently no matching articles.