没有基的线性空间，是否可以构造，如何构造？ 第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
相关话题
俄罗斯数学近况如何？证明在方程 20X^2-19Y^2=2019 中X与Y没有整数解?
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
单位圆上n等分点按不同顺序顺次连接，能连接出多少种图形？
自增运算这道题怎么解？
133991318数字代表什么意思，求哥哥姐姐指教？
七个小朋友，只能切四刀，怎么把三个苹果均分？
如何证明你是一个废人？
为什么祖冲之的355/113等于3.1415929而不是3.1415926?
数学领域有哪些经典的笑话？
前一个讨论
凸分析和凸优化有什么推荐的教材吗？
下一个讨论
怎么在家用烤箱烤鸡？
相关的话题
算法研究属于数学专业还是计算机专业？等比级数Z=X-X^2+X^3-X^4+……求和Z=X/(1+X)是怎么推导出来的？
数理特长生学医的话是人才浪费吗?
你能写出你认为既简洁又很酷的公式么？
卡尔曼滤波器是如何运用于多传感器融合的？
国际度量衡制订得是否太过随意？
是否存在一个由1和-1构成的数列an，使得对于任意k和b，sin(kn+b)*an/n总是收敛级数？
数学和物理超出直觉范围后该怎么学习？
两相邻素数的最大间距能够多大？
请问这到微积分证明题题怎么证?？
把围棋棋盘上下边和左右边连起来，变成面包圈，下棋策略会有什么变化？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
数学只有初二水平的大学生如何回头补基础？
纯数学是否可以转化为生产力从而造福社会？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
手算卫星轨道有多复杂？
10 × 10 的正方形最多可放入多少个直径为 1 的圆？
这个级数应该怎么计算呢?求解答?
能否把数学竞赛变得更有观赏性？
数学角度看，按照电影《动物世界》的赌徒游戏规则，如何才能赢得游戏胜利？
你知道哪些让你怀疑智商的数学题？
如何证明e为无理数?
如何看待美国小学要求 5 * 3 = 15 的过程必须写为 5 个 3 相加的形式？
熵权TOPSIS中二级指标的相对接近度怎么计算，一般计算的都是一级指标的相对接近度，困扰我好久了。？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
为什么法语的数字表达方式那么奇怪？世界上还有其它主要语种采取类似的数字逻辑吗？
数学在战争中能起到什么样的作用？
国内大学数学系都上什么课程？
为什么会有 i 这一虚数？可以求出 i 的值吗？
第十题证明题不会写，哪个大佬帮我看一下?