是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
请问如何理解极限的精确定义？菲赫金哥尔茨的《微积分学教程》中绪论中关于实数强稠密性的定理怎么理解？
0到1之间所有有理数之和 ，和1到2之间的有理数之和，哪个大？
母函数都是用幂级数吗？三角级数可以构造母函数吗？
如何计算如下的定积分？
我想证明自然数有穷可行吗？
级数求积：是否有一般的收敛判别法？以及实例∏[p是素数] p/(p-1) 是否收敛?
如何思考这道定积分难题？
什么时候积分运算和级数求和可以调换顺序？
目前最小的级数形式的无穷大是多少？
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
你遇到过的最难的积分题目是什么？这题怎样证?
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
如何计算如下的定积分？
无理数是否真的存在？
如何求得这个积分的值？
柯西审敛原理是证得收敛还是一致收敛?
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
如何计算这个积分？
这道题怎么做?不懂？
数学学习或研究中，你见过哪些有意思的反例？
如何证明此不等式呢？
请问这个极限式如何证明？似乎很像带 δ 函数的积分？
这个极限结果怎么算出来的？
函数(满足一定条件)能不能以无穷乘积的形式展开？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
此函数式如何求最小值？
这个全椭圆积分和beta函数的关系该怎么证明？
如图，这道题中的隐函数为什么可以设y=tx？
如果有一个初三学生说他懂微积分，我该怎么应对？
如何求如下n阶导数？
如何思考这道定积分不等式？
这个积分如何证明？
有人知道这函数的值域怎么求吗?
是否存在无理点不连续、有理点连续的函数？
下面这个数列极限如何求出来呢？
有界函数在正无穷处导数趋近于零，如何证明该函数在正无穷处有极限？
不知道想下面描述的一样理解数列极限和收敛对不对，有什么需要改进的地方吗？
如何求这两个极限？
数系从有理数扩充为实数的跨越有无产生一些问题？