没有基的线性空间，是否可以构造，如何构造？ 第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
相关话题
中文在数学表达上是否处于劣势？用分离变量法来解 PDE 的合理性何在？
代数好的人但立体几何不好的男生是智商低吗？
△ABC中，tanA＋tanB＋tanC＝tanA·tanB·tanC有没有优美直观一点的几何证明？
高等数学和生物技术有什么关系？
为什么实系数多项式方程的虚数解总是成对出现？
为什么说积分能够“磨光”曲线？
为什么没有数学民科去碰瓷范畴论、同调代数、规范场论、朗兰兹纲领、调和分析、遍历理论等等？
高中数学的符号怎么在电脑上打出来，比如说数列的an，函数e的x次方等等？
负数与负数相乘为什么会得正？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
没有基的线性空间，是否可以构造，如何构造？为何中国的中小学数学教育如此轻视统计和概率？
数学和英语是不是高中最难的科目？
闰月可能出现闰正月和闰腊月吗？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
一道数列题竞赛的感jio，但明明白白出现在考卷上，请问咋做?
n! 是否是一个完全平方数？
在三角形abc中，∠B=90°，点D在边BC上，∠BAD=2∠C，AC=12,DC=8求AB？
复变函数、实分析、复分析、数学分析是什么关系？
存不存在连续的三个奇数都是素数（3，5，7 除外）？如果不存在又是为什么？
是否存在一个由1和-1构成的数列an，使得对于任意k和b，sin(kn+b)*an/n总是收敛级数？
如何推导公式？其意义何在？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
一道多元微积分题目?感觉是有限集怎么证明?
你有没有什么天赋逐渐丧失的经历？
如何看待中国数学竞赛落败引网民狂欢？
如何用初等方法证明k阶齐次线性常系数递推数列的通项公式？
什么是「奥利给」不等式？
目前最小的级数形式的无穷大是多少？
怎么用实数系的公理证明0与任何数相乘都等于零（求大佬指教）？
为什么 sin(x²)+sin(y²)=1 的图像这么复杂？
数学中，类似 π、e 的独立的常数还有哪些？
中国能否出现世界一流的数学研究机构？
所有整数都能用20个以内的汉字表达出来吗？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
为什么数学中一定要强调加法交换律？
「剪刀石头布」游戏还有其它变种吗？
如何看待据称菲尔兹奖得主 Atiyah 所写的五页黎曼猜想证明？
怎么用实数系的公理证明0与任何数相乘都等于零（求大佬指教）？
如何理解洛朗级数？