Skip to main content

All Questions

Filter by
Sorted by
Tagged with
35 votes
2 answers
2k views

Is it consistent with ZF that $V \to V^{\ast \ast}$ is always an isomorphism?

Let $k$ be a field and $V$ a $k$-vector space. Then there is a map $V \to V^{\ast \ast}$, where $V^{\ast}$ is the dual vector space. If we are in ZFC and $\dim V$ is infinite, then this map is not ...
David E Speyer's user avatar