Which functionals vanish on a subspace U, and why does the annihilator always have dimension dim V − dim U?
Loading…
Definition of and the subspace property
Write the definition of as a subset of , check that annihilates the multiples of in , and verify the three subspace conditions for .
The annihilator of in
Prove using the dual basis, writing out both inclusions and showing for the reverse one.
The formula
State the theorem for finite-dimensional and reproduce the proof with the inclusion map : show and , then apply the fundamental theorem of linear maps to .
When is or all of
State and , and write out each chain of equivalences, naming the result that justifies every step.