The dual vector space is , the vector space of all linear functionals on . For a vector subspace , its annihilator of a vector subspace is
Given a basis , define by and extend linearly. If , evaluation at gives , so the are linearly independent. Every satisfies
so they also span and therefore form its dual basis.
Write . The condition is
Gaussian elimination gives and . Hence

Articles by others on the same topic (0)

There are currently no matching articles.