没有基的线性空间，是否可以构造，如何构造？ 第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
相关话题
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？怎么用特征根法和不动点法求数列的通项公式？
有没有反三角函数的「和差角公式」？
我今年 14 岁，想了一个数学思路，把数学各领域的联系写出来了，这个思路有什么问题吗？
数学系的你，喜欢数学还是讨厌数学，还是毫无感觉？
如何计算 √5 的近似值？
如何看待西南某一211高校的数学系前20名中16人选了应用数学4人选了统计学，现在数学这么香吗？
为什么left adjoint的存在性和comma category有关？
为什么俄罗斯的文学、数学、音乐都那么强，诞生了好多大牛？
外国人是不是也背诵乘法口诀？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
数学和编程中，「函数」的概念相同在哪里，不同在哪里？如何直观地说明为什么前 n 个自然数的立方和等于和的平方？
小学生有必要上数奥班吗？
无理数是否真的存在？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
斐波那契数列倒数和收敛吗，是多少？
如何证明下面这两个较复杂的不等式?
如何看待哈工大校友刘汉清如今靠400元低保度日？
三角函数到底是怎么发展来的？
请问这题积分怎么求?
为什么说用矩阵定义线性映射是一个糟糕的观点？
如何构造 [0,1] * [0,1] 到 [0,1] 的双射 ?
如何看待沃顿毕业的川普兄妹不会做最简单的数学题？
如何不借助特征值相关的理论证明下面的命题？
如何看待两名数学家在家隔离期间，成功破解 109 年前的数学证明难题？具有怎样的价值？
数理特长生学医的话是人才浪费吗?
数列{tan n/n}有界吗?
为什么高中不直接开设高等数学、线性代数、概率统计这几门课呢？
不规则四边形内如何获得面积最大的椭圆？
0x5f3759df这个快速开方中的常数的数学依据是什么？
能否绝对地区分出虚数 i 与 -i？
为什么几乎所有教科书上对微分的讲解都不明不白？
偏序集与完备格？
找规律2 4 3 6 5 9 31 36 21后面什么数？
奶茶咖啡等饮料全换成纸吸管到底能降低多少污染？
洗澡的时候突然论证出了1等于0，2等于0，所有数等于0，这个论证哪里错了呢？
如何用数论证明 3^x＋4^x＝5^x 只有一个实数解？
一个具有介值性的函数是否一定存在原函数？
相关系数和R方的关系是什么？
R语言，累计求和号连续几个∑∑∑∑这样的怎么编码？