Dimension of Annihilator on Algebraic Dual

Theorem
Let $G$ be an $n$-dimensional vector space over a field.

Let $G^*$ be the algebraic dual of $G$.

Let $M$ be an $m$-dimensional subspace of $G$.

Let $M^\circ$ be the annihilator of $M$.

Then:
 * $M^\circ$ is an $\paren {n - m}$-dimensional subspace of $G^*$.

Proof
Let $\sequence {a_n}$ be an ordered basis of $G$ such that $\sequence {a_m}$ is an ordered basis of $M$.

Let $\sequence { {a_n}'}$ be the ordered dual basis of $G^*$.

Let $\ds t = \sum_{k \mathop = 1}^n \lambda_k {a_k}' \in M^\circ$.

Then:

So $t$ is a linear combination of $\set { {a_k}': m + 1 \le k \le n}$.

But ${a_k}'$ clearly belongs to $M^\circ$ for each $k \in \closedint {m + 1} n$.

Therefore $M^\circ$ has dimension $n - m$.