Annihilator of a vector subspace (source code)

= Annihilator of a vector subspace

For $U\leq V$,
$$
U^\circ=\{f\in V^*:f|_U=0\}.
$$
In finite dimensions, $\dim U^\circ=\dim V-\dim U$.