没有基的线性空间，是否可以构造，如何构造？ 第1页
1
dhchen 网友的相关建议:
谢邀：你这个问题在MSE上已经被讨论过了：
最重要的知道“任何一个向量空间都有基”和“选择公里”是等价的。 Andreas Blass 在1984年证明了如果“任何一个向量空间都有基”那么“选择公理”成立。
不承认选择公理有两种情况：1,假设它是错的，2.不去理会它的对错，独立于它。
1.假设“选择公里是错误的”（这和不假设选择公里是两回事），那么你自然可以构造出一个没有基的向量空间。因为它们是一回事。也就是说你只能通过假设来证明这个空间存在。
2 首先，离开选择公理后，你需要选择一个公理系统，这个系统独立于选择公理论，不去假设它的对错，那么抱歉，你自然无法证明这个命题"一个线性空间是否一定有基"，因为这个系统是独立于选择公理的。我们常见的系统ZF被证明是独立于选择公理的。 这也就是在我们默认的公理系统ZF下，你无法证明是否存在一个没有基的向量空间。自然你也不可能构造出反例。
下面是 Andreas Blass 的论文
http://www. math.lsa.umich.edu/~abl ass/bases-AC.pdf
不只是这个命题，下面的命题和都选择公理是等价
1
相关话题
如果黎曼猜想以后被xx人证明了，那以后会被叫做黎曼定理还是xx定理呢？你知道哪些反常识的知识？
理想细绳随机切为n段，为什么最短段长度的期望为原长的1/n²？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
物理系或数学系前辈们，大家都来说一下自己本科时的学习经历吧?
为什么三点决定一个圆，而圆规只需两点就决定了一个圆？
什么是图形的面积？
[题]两个数的最小公倍数是36，最大公因数是6，这两个数可能是多少？
怎么计算概率积分 ∫[0, +∞) (e^(-x²))dx？
黎曼猜想和哥德巴赫猜想有什么联系？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
该n元不等式如何解？（张端阳的题）?哪些伟大的数学家没有自己的传人或后代的？
有哪些神奇的级数求和？
为什么2016年的高考全国数学卷这么难？
球面坐标计算三重积分公式怎么来的？
请各位大神来看一下，我写的这份实数连续性的新证明是否有错漏?
哪些看似与图论无关的问题可用图论模型解决？
数学上积分结果的本质是什么？
高考数学140的人难道选填压轴都能一眼出答案吗？
如何通俗理解矩阵的秩？
十个人赛跑第一名和一百人赛跑的第十名，谁厉害？
如何证明空集不是任意集合的子集？
怎样理解“单点紧化”？
张益唐九几年在美国过得那么苦逼为何不选择回国拿当时高达几百块RMB的月薪，回国没有更好的研究条件吗？
数学系学渣怎么写毕业论文呢？
如何判断这个习题中的数列是否收敛？
找规律2 4 3 6 5 9 31 36 21后面什么数？
一条假设出来的辅助线，为什么能证明真实的结论？
为什么费马大定理表述起来这么简单，证明却这么复杂？
科学领域都有哪些著名的独行侠？
为什么这两个函数如此接近，有大佬解释下么？
在哪个瞬间你觉得「我的高数没有白学」?
如果炸弹每秒钟爆炸概率提高一点，从数学期望上来看最有可能在哪一秒爆炸？
为什么数学中“有且仅有”不可以说成“仅有”？
这个级数是怎么得到的？
这两个级数该怎么解答？
数学是不是必然会存在不确定领域？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
一道经典的切比雪夫不等式的概率论题目，各位大佬如何解答？
数学专业本科生，未来选择哪条路赚钱最多？