没有基的线性空间，是否可以构造，如何构造？ 第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
相关话题
地球的圆是什么程度的圆？退休后的数学家或物理学家通常怎么打发生活？
为什么许多人建议本科学数学，研究生阶段转金融或者计算机？学数学的发展方向只有纯数学计算机以及金融吗？
学数学是什么感觉？
制药工程女生就业真的不好吗，不喜欢化学而喜欢数学？
牛顿的数学知识储备如何？
数学中有哪些表面没有关系但是内在有深刻联系的问题？
阶乘的概念能否推广到全体实数，甚至是全体复数？
综合除法的数学依据是什么？
如何在数学试卷上调戏阅卷人？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？怎么通俗地理解张量？
关于微积分,牛顿和莱布尼茨的工作各有什么缺陷?
当数学家刚想出微积分用细矩形面积的和逼近时，矩形的高选取多少呢？为何不怕无限多个小误差之和为大误差？
a=b则b=a，这是真理吗？有没有例外？
为什么有些人连微积分都不会算，却能侃侃而谈「科学的尽头」呢？
如何看待 15 岁女生谈方琳参加世界顶尖科学家大会？她的研究成果含金量有多高？
怎么用泰勒公式估计通项趋于零的阶以判断级数的敛散性?
如何看待某数学博士宣称传统中医完全是扯蛋？
怎么做，求解?
为什么「函数」叫做「函数」？
这张珍贵的照片是什么时候照的？分别都有谁？
除法的结果为什么被称为「商」？
为什么矩形面积等于长乘宽？
如何看待著名数学家、18 年菲尔兹奖得主考切尔·比尔卡尔（Caucher Birkar）加盟清华大学？
冰雹猜想疑惑，是不是不能被3整除的数必能回到1？
标记 n 维空间中任意一个点/向量一定要用 n 个坐标吗？
如何能够快速恢复脑力？
下面的组合等式是否恒成立？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
求问数学公式推导？
C#为何属性和取值相同的dynamic对象的GetHashCode()相同，直接比较两者却又不同？？
经济学数学化的利弊都有什么？如何看待经济学不断数学化的趋势？
如何在两年内自学完数学专业所有专业必修课程？
0.8＞ln2 怎么证明？
什么日常现象只能用意想不到的复杂科学或数学来解释？
小学二年级数学老师，要求学生写 ÷ 时，必须横线尺子比着写、两个点特别圆，是不是有点过分？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
放风筝时风筝线是弯曲的，这条曲线长什么样呢？
如何看待沃顿毕业的川普兄妹不会做最简单的数学题？