[Math] Finding a basis of the annihilator of a subspace

abstract-algebradual-spaceslinear algebra

Let $V\subset\Bbb R^4$ be the subspace spanned by $e_1+e_2+e_3+e_4$ and $e_1+2e_2+3e_3+4e_4$. Find a basis of the subspace $V^\circ$ in the dual space $(\Bbb R)^*$.

My attempt: Let $a = e_1+e_2+e_3+e_4$ and $b = e_1+2e_2+3e_3+4e_4$, then $a$ and $b$ are lin. independent by looking at the row reducing matrix $ \color{white}{a}^{\begin{pmatrix}
1 & 1 & 1 & 1\\
1 & 2 & 3 & 4
\end{pmatrix}= \begin{pmatrix}
1 & 1 & 1 & 1\\
0 & 1 & 2 & 3
\end{pmatrix}}$
. Thus we can extend the set $\{a,b\}$ to form the basis of $\Bbb R^4$. Example: $\{a,b,e_3,e_4\}$ forms a basis for $\Bbb R^4$ as $e_3,e_4$ are lin. independent of $a,b$. Let $\{f_1,f_2,f_3,f_4\}$ be the dual basis and we can say that $\{f_3,f_4\}$ forms the basis of $V^{\circ}$ because $f_3(a) = f_3(b) = f_4(a) = f_4(b) = 0$? Appreciate a hint.

Best Answer

Use the dual basis or (equivalently) the dot product to identify $(\Bbb{R}^4)^*$ with $\Bbb{R}^4$. Then the annihilator of a subspace is its usual orthogonal complement. Thus we can find a basis for the orthogonal complement by Gram-Schmidt. Anyway, that gives us an algorithm, but it's a bit tedious, so let's take a different route.

If you row reduce further you get $$ \newcommand\bmat{\begin{pmatrix}}\newcommand\emat{\end{pmatrix}} \bmat 1 & 0 & -1 & -2 \\ 0 & 1 & 2 & 3 \\ \emat $$ This means that to get an orthogonal vector, we can choose the last two coordinates freely and pick the first two such that we get something orthogonal. I.e., if our new vector is $\bmat a & b & c & d\emat$, then we need $a = c+2d$ and $b=-2c -3d$. Similarly, since the fourth vector doesn't need to be orthogonal to the third, merely linearly independent from it and orthogonal to the last two, we can also choose the last two coordinates freely (as long as they're linearly independent from the last two coordinates of the third).

What this boils down to is that we can choose the last two of the third vector to be $(1,0)$ and the last two of the fourth to be $(0,1)$, giving the final matrix $$ \bmat 1 & 0 & -1 & -2 \\ 0 & 1 & 2 & 3 \\ 1 & -2 & 1 & 0 \\ 2 & -3 & 0 & 1 \\ \emat $$

Thus a basis for the annihilator of the subspace is $\{f_1-2f_2+f_3,2f_1-3f_2+f_4\}$ given in terms of the dual basis.

Related Question