Let V be a real vector space. Define the dual vector space V∗ of V. If U is a subspace of V, define the annihilator U0 of U. If x1,x2,…,xn is a basis for V, define its dual x1∗,x2∗,…,xn∗ and prove that it is a basis for V∗.
If V has basis x1,x2,x3,x4 and U is the subspace spanned by
x1+2x2+3x3+4x4 and 5x1+6x2+7x3+8x4,
give a basis for U0 in terms of the dual basis x1∗,x2∗,x3∗,x4∗.