是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
这个实变函数题怎么分析）？在一个现实中的数轴上可以找出无理数吗？
有理数集如何拓展到实数集的？
如何求得这个级数的和函数？
如何判断级数lnn/n^2(从1到无穷)收敛或发散？
如何证明空集不是任意集合的子集？
怎么计算概率积分 ∫[0, +∞) (e^(-x²))dx？
这个证明该怎么做？
到底是用实数定义了复数，还是用复数定义了实数？
是否存在一个非实值解析函数f(z)在一个给定的圆周线|z|=c上，使得f(z)为实数?
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
这个伽马函数的极限怎么计算得1？环中任何一个非空子集都可以生成理想吗？
如何解决这道函数题？
物理或化学方程为什么往往是偏微分方程？
这个极限怎么凑成积分?
如何证明一下等式?
如何证明以下等式?
请问这个极限加上变限积分这种怎么计算?
有哪些不易察觉的错误证明？
为什么函数的连续点构成可测集？
欧氏空间到自身的局部同胚、连续、满映射，是否一定是单射？
如何判断下面这个级数的敛散性？
sinx求导为什么是cosx？
为什么说实数在物理中不是一种真实的存在？
为什么极限理论是基于实数的完备性？
环中任何一个非空子集都可以生成理想吗？
这两道积分题有什么好的解决办法吗？
如何让一个 5 岁小孩听懂什么是选择公理？
如何求得这个积分的值？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
微分和导数的关系是什么？两者的几何意义有什么不同？为什么要定义微分 ?
怎么求lnsinx在0到pi/2的积分啊？
阿贝尔变换强大在哪里？
如何证明封闭曲线面积的参数积分公式？
这道证明题该怎么做？
是否任一无穷集合都能分成两个等势的不交集合之并？
如何看待「搞积」这种现象？
如何解决此道数学分析不等式？
这个数学分析的课后习题怎么证明?
如何评价上海财经大学在多省份滑档后，新生数分一挂科率高达 26％？是生源质量的问题吗？