Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If $K$ is a field, the dual of $K^{({\mathbb N})}$ is $K^{\mathbb N}$, and axiom of choice implies that the natural map from $K^{({\mathbb N})}$ to the dual of $K^{\mathbb N}$ is far from being surjective. Is there any field for which one can prove this without using AC?

(A related result that I found surprising is that ${\rm Hom}({\mathbb Z}^{({\mathbb N})},{\mathbb Z})={\mathbb Z}^{\mathbb N}$ and ${\rm Hom}({\mathbb Z}^{\mathbb N},{\mathbb Z})={\mathbb Z}^{({\mathbb N})}$.)

share|cite|improve this question
Given the two questions Amit linked to, I'm going to vote to close this question as duplicate. Note that I do think it is a good question, just that it's already been answered. – Theo Johnson-Freyd Apr 25 '11 at 20:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.