My questions are motivated by
which asks, in the absence of AC, whether a subspace of a vector space with a basis must have a basis.
- Does every real vector space embed isomorphically into a vector space with a basis?
If $V$ is a vector subspace of a vector space with a basis, then clearly the linear functionals on $V$ separate points. If $V$ is a vector space s.t. the the linear functionals on $V$ do not separate points, then by modding out the intersection of the kernels of all linear functionals you get a vector space that has no non zero linear functional.
- Is there a non zero real vector space on which there is no non zero linear functional?
There are models of ZF in which every linear functional on every Banach space is continuous. In ZFC there are complete linear metric spaces on which every non zero linear functional is discontinuous. So I assume that (2) has a negative answer, which would imply that (1) also has a negative answer.