Bidual/Finite-dimensional/Orthogonal space/Exercise
Let be a finite-dimensional -vector space, with its dual space and the bidual . Let be a linear subspace. Show that the two orthogonal spaces (in the sense of definition) and (in the sense of definition) are equal via the natural identification of the space and its bidual.