Vector space/Bidual space/Definition

Bidual

Let ${}K$ be a field, and let ${}V$ be a ${}K$-vector space. Then the dual space of the dual space ${}{V}^{*}$, that is,

${({V}^{*})}^{*},$

is called the Bidual of ${}V$.