是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？怎样才能快速学会数学分析？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
为什么要用乘法计算面积？
哥哥贷款炒股亏了70万，父母都是农民，为此我大一辍学，有什么办法能挽救我们家？
为什么这个级数会如此接近整数?
如何判断任意无理数的无理数次方是否为有理数或是无理数？
请问下面这个不等式如何证明？
请问如何求下面这个连分数收敛到的值？
《数学分析》212 页定理可不可以这样用：因为可积且有界，所以有有限个间断点？
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
下面这个极限的值是多少？如何计算？认为大学基础物理比数分简单很多，是说明自己更擅长学物理吗？
如何算出这个求和式子结果等于 (2n)!!/(2n+1)!! ？
为什么好多人嘱咐千万别刷吉米多维奇？
极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
数学分析中的习题能否在考研中当作定理直接使用？
想问一下这种椭圆柱面在第一卦限的体积怎么算?
如何估计如下的无穷积分不等式？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
各位积佬们这个积分有什么好的思路吗？
为什么规定 0 的阶乘为 1？
如何估计这个级数？
底下那步怎么转化的啊 是忽略了吗?
为什么度量空间中聚点等同于极限点？
如何求级数和1/（3^n-2^n）？
有没有一种行之有效的方法可以将一种函数展开成另外一种函数的级数？
微分几何中为什么定义指数映射？
这道定积分如何解决呢？
你遇到过的最难的积分题目是什么？
∑ (1/n) 为何不收敛？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
为什么有理数是不完备的？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
如何证明下面的积分不等式？
如何证明这个关于良序集的命题？
对于所有的无穷小，能否把它们趋于0的速度定义为一个数，使得趋于0速度较小的一定是较低阶的无穷小？
ln(x)取值为超越数的条件是什么？
是否存在连续函数，使得每个数都被取到n次？
对于所有的无穷小，能否把它们趋于0的速度定义为一个数，使得趋于0速度较小的一定是较低阶的无穷小？