没有基的线性空间，是否可以构造，如何构造？ 第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
相关话题
从上海沿G318国道一路向西到西藏，用什么速度行驶可以做到“出发时天刚开始暗下来，到达时天正好全黑”？奇异值的物理意义是什么？
高次韦达定理是什么？如何证明？
你见过的最丑的函数曲线图形是什么？
中国有哪些描写随机过程的古诗词？
割圆术就算割了∞次，它和真实面积也相差很小一部分，怎么就说它就可以等于真实面积？
相对论刚提出时，号称全球能完全理解的人不超过十人，现在却成为理工科必修课程，是我们智商提高了吗？
初一开始准备数学竞赛有意义吗？
(-1)^(0.4) 是否等于 (-1)^(2/5)？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
3Blue1Brown 的视频是怎么制作的？在三角形abc中，∠B=90°，点D在边BC上，∠BAD=2∠C，AC=12,DC=8求AB？
为什么对于一阶、二阶导，人们通过直观可以轻易地认识，三阶及以上就很难直观地认识了？
如何编程判断一个数是否是质数？
七个小朋友，只能切四刀，怎么把三个苹果均分？
数学有什么意义？数学中的一切都是人类自己编造的吗？
泰勒公式展开到任意阶，都不用管后面的高阶无穷小项么？
失传的缀数法最有可能是什么方法？
如何看待「搞积」这种现象？
点集拓扑为什么要这样定义？具有几何意义吗？
数学上能不能说「2≥1」?
勾股数有有限多组还是无限多组？
当今中国应该降低数学基础教育的难度，同时拓展知识面吗？
算法研究属于数学专业还是计算机专业？
请问这两个等式怎么证明呢?
除了 3，4，5 以外是否还有别的三角形，它的三条边是连续自然数，它的面积也是自然数？
如何证明两个有理数平方和不能为 7？
怎么推导或证明 e^x 的导数是自身？
你相信数学吗？
请问哪里有数学科目的网络课程？
对于一维空间和二维空间以及多维度空间应该如何理解？
关于凑微分上下限的一个小小疑问？
如何比较 π－2 与 lnπ 的大小？
数学上能不能说「2≥1」?
怎么做2022贺年题？
这道定积分题目如何解？
高中数学最低考过多少分？
无限循环小数，可以被计算吗？如果可以，那么 0.33333（无限循环）*1.58=多少？
柯西审敛原理是证得收敛还是一致收敛?
这个代数题怎么解？