Vector space/Bidual space/Definition
Bidual
Let be a field, and let be a -vector space. Then the dual space of the dual space , that is,
is called the Bidual of .
Let be a field, and let be a -vector space. Then the dual space of the dual space , that is,
is called the Bidual of .