是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
为什么说连续映射是一个拓扑概念？？一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
格林公式为什么不对称啊？
有没有一套统一的办法处理非初等的原函数？
如何只通过计算证明“两点之间，线段最短”？
为什么度量空间中聚点等同于极限点？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
拓扑学能解决哪些分析学无法解决的问题？
如何看待全民代数几何的现象？
无穷和等于三个数怎么解释？
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
用泰勒公式怎么证明?微积分学教程是否适合工科学生提高数学水平？
为什么被积函数大于零，积分结果就大于零？
如何证明这个复变函数列的一致收敛性？
0.0……1中0的个数是无穷尽的，也就是说永远都不会出现1，那么0.0…1存在的意义是什么？
这类题目怎么做呢？
数学分析怎么这么难，该怎么学习啊?
是否存在一个级数的∑an使得任何其他级数,只要通项大于它的都发散,小于的都收敛?
收敛的有理系数幂级数个数可数么？
数学分析上的定理证明过程需要掌握到什么程度？
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
有没有一种行之有效的方法可以将一种函数展开成另外一种函数的级数？
这道题如何用柯西审敛准则证明收敛?
如何构造一个初值，使得这个数列是发散的?
这个定积分该如何计算？
什么是半微分（semi-differential）？有什么几何意义吗？
如何判断下面这个级数的敛散性？
如何看待马克思的《数学手稿》？
这个定积分该如何计算？
对于随机抽取的情况，概率最大值总是在数学期望附近取到，这是一个定理吗？
这个多元积分不等式怎么证？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
是否存在一个级数的∑an使得任何其他级数,只要通项大于它的都发散,小于的都收敛?
面积大于零的有界闭凸集的边界一定是简单闭曲线吗？
如何证明函数上下极限相等，则极限存在？
所有集合的势都可比较大小吗？为什么？
为什么说积分能够“磨光”曲线？
怎么证明一条线是凸函数?
请问如何理解极限的精确定义？
零点和极点个数有限的函数是否为有理函数？