没有基的线性空间，是否可以构造，如何构造？ 第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
相关话题
为什么有的数学定理看起来很显然，证明起来却很复杂？如何评价菲尔兹奖得主 Vladimir Voevodsky？
数学系的教学模式是否违反直觉？
数学中的“π”是加何推算的？
为什么部分大一学生认为线性代数听不懂？
物理定律能否脱离物理研究过程，直接通过数学演绎发现？
零基础如何自学才能达到数学系本科水平？
若1+1=2，则雪是白色的，这是真命题吗？
卡尔·马克思的数学水平怎样?
如果让一个大学数学系的顶尖学霸去解一道高中极其困难的数学题，他还能解出来吗？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
一道高代行列式计算的题，是怎么样的思路呀？如何只通过计算证明“两点之间，线段最短”？
有哪些直观的现象，最终被数学证明是错误的?
为什么国内做偏微分方程（PDE）的人这么多，而且招学生非常快？
为什么2016年的高考全国数学卷这么难？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
现在的纯数学家们对于自然科学的关注大概是怎样的程度？
请问a^2+2*b^2+3*c^2=20*d^2的所有整数解是什么？
数学是人类的发明，还是发现？
如何高效自学国内的苏联式风格的数学教材？
能不能出一道很难的数学题，答案是 629，宿舍当门牌用？
代数、几何能否联系一起？
你做过的最难的题是什么？
请问为什么在数学上，任何问题通过迥然不同的方法求解，最后都一定会得到相同的答案?
概率论中的coupling是指什么？
这个猜实数的游戏有没有必胜策略?
如何看待菲尔兹和阿贝尔奖双料得主 Michael Atiyah 宣称自己证明了黎曼猜想？
高中数学解析几何圆锥曲线大题真的是硬解就能解出吗？
为什么时间序列分析在ar(p)模型之外，还需要ma(q)模型和arma模型？
如何评价知乎用户@Aries？
大一数分高代需要努力才能学好是不是意味着天赋不够？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
是不是任意一个无理数都对应一个三角和描述？
二重积分中值定理怎么证明？
中学课本中有哪些显而易见的错误？
为什么梯度下降能找到最小值？
圆内任取三点/四点在同一半圆内的概率是多少？
请问二重积分的换元法中，雅克比矩阵是怎么转化成雅克比行列式的？
张益唐和佩雷尔曼的论文是否说明脱离主流学术圈一样有可能成为顶级数学家？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？