Dual space/Orthogonal space/Generators/Exercise

< Dual space < Orthogonal space < Generators

Let be a linear subspace of a -vector space . Show that

holds.