Two questions about vector spaces absent AC. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T05:26:19Z http://mathoverflow.net/feeds/question/80905 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/80905/two-questions-about-vector-spaces-absent-ac Two questions about vector spaces absent AC. Bill Johnson 2011-11-14T16:59:24Z 2011-11-14T18:55:38Z <p>My questions are motivated by</p> <p><a href="http://mathoverflow.net/questions/80765/if-v-is-a-vector-space-with-a-basis-w-subseteq-v-has-to-have-a-basis-too" rel="nofollow">this question</a></p> <p>which asks, in the absence of AC, whether a subspace of a vector space with a basis must have a basis.</p> <ol> <li>Does every real vector space embed isomorphically into a vector space with a basis?</li> </ol> <p>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.</p> <ol> <li>Is there a non zero real vector space on which there is no non zero linear functional?</li> </ol> <p>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. </p> http://mathoverflow.net/questions/80905/two-questions-about-vector-spaces-absent-ac/80922#80922 Answer by François G. Dorais for Two questions about vector spaces absent AC. François G. Dorais 2011-11-14T18:09:05Z 2011-11-14T18:55:38Z <p>Hans Läuchli [<em>Auswahlaxiom in der Algebra</em>, Comment. Math. Helv. 37, <a href="http://www.ams.org/mathscinet-getitem?mr=143705" rel="nofollow">MR0143705</a>, <a href="http://dx.doi.org/10.5169/seals-28602" rel="nofollow">DOI:10.5169/seals-28602</a>] has constructed a model of ZFA wherein there is vector space (over any given field, see comments) which is not finite dimensional but all of its proper subspaces are finite dimensional. In particular, there cannot be any nontrivial linear functionals since the kernel of such a linear functional would have codimension 1.</p> <p>This can be transferred to ZF via the Jech-Sochor Embedding Theorem.</p> http://mathoverflow.net/questions/80905/two-questions-about-vector-spaces-absent-ac/80923#80923 Answer by Clinton Conley for Two questions about vector spaces absent AC. Clinton Conley 2011-11-14T18:28:19Z 2011-11-14T18:28:19Z <p>To complement François' answer, here's a fairly explicit example of a real vector space admitting no nonzero linear functional in a model of ZFDC + all sets of reals have the Baire property (which is equiconsistent with ZF).</p> <p>The space is $\mathbb{R}^\mathbb{N} / E_1$, where $E_1$ is the equivalence relation of eventual agreement of real sequences. This can be given a real vector space structure in the obvious way. Now, if $f: \mathbb{R}^\mathbb{N} / E_1 \to \mathbb{R}$ is a linear function, it descends to a linear function $g: \mathbb{R}^\mathbb{N} \to \mathbb{R}$ by $g(x) = f([x]_{E_1})$. Since $g$ is Baire measurable and $E_1$-invariant, by generic ergodicity of $E_1$ it is constant on a comeager set. This constant has to be $0$. But then $g$ is a Polish group homomorphism and is automatically continuous, and thus equals $0$ everywhere.</p>