Dual vector space

V a vector space, V* its dual space, W⊆V* a finite dimensional subspace. Then
V/kerW ≈ W under the natural map through the quotient map V→V/kerW.
Equivalently, ℑ(ker W) = W,
where ℑ(ker W) is the set of linear functionals on V vanishing on ker W.