是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
如何确定下面三角恒等式中的系数？数学中，f'(x) 和 (f(x))' 到底有什么区别？
等词是否可以用属于来定义？
目前最小的级数形式的无穷大是多少？
这个极限怎么做呢？
有理函数的不定积分分母的标准分解的窍门，一些分母较为复杂，如何进行分解？
请问这个复数的问题怎么证明?
阿贝尔变换强大在哪里？
这个数学分析的问题该如何求解？
下面这个集合可数吗？
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
请问我的这个想法是否正确，如何证明(证否)？选择公理有哪些反直觉的应用？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
如何证明此不等式呢？
在有界闭区域上连续的多元函数一定有最大值和最小值是否正确？
区间 [0, 1] 内的实数，为什么我证明可以数？
如何严格证明下面这个不等式？
数列题求通项为什么都用n-1 ?n+1不是更好吗？都不要验证？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
一个半径为1的圆周上有三个点，求三个点构成的图形的面积的期望值？
函数(满足一定条件)能不能以无穷乘积的形式展开？
如何证明下面的关于调和函数的问题？
拓扑学能解决哪些分析学无法解决的问题？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
用微积分怎么证明勾股定理？
有没有大神回答一下，级数中，比值判别法中的ρ是指什么？
球面坐标计算三重积分公式怎么来的？
为什么 0.9 的循环等于 1？
数学分析等等，定义定理证明看得懂，但课后习题几乎一道都做不上来，即便憋几个小时，我到底哪里出了问题？
这个反常积分的发散如何证明?
有没有一种行之有效的方法可以将一种函数展开成另外一种函数的级数？
数学分析等等，定义定理证明看得懂，但课后习题几乎一道都做不上来，即便憋几个小时，我到底哪里出了问题？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
为什么几乎所有教科书上对微分的讲解都不明不白？
下面这个集合可数吗？
伽马函数的这个性质?
调和级数分母加个任意常数会影响收敛性吗？
微分几何中为什么定义指数映射？
这个极限题怎么做呢，希望大佬指教。?
求帮忙解一下这道题？