是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
数列题求通项为什么都用n-1 ?n+1不是更好吗？都不要验证？请问这个估阶的二三问怎么证明呢？
如何证明这个由Abel定理得到的结论？
如何证明封闭曲线面积的参数积分公式？
为什么集合这个数学术语在麻将中没有被说明？
如何处理{nx_n}这个数列？
数学分析中最重要的定理是哪个？为什么？
如何理解雅克比矩阵？
对赢率50%，赔率1:1的游戏，以下通过资金管理以期取得正向收益的思路怎么样（详见问题说明）？
如何证明（0，1）不是可数集？
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
数学有什么意义？数学中的一切都是人类自己编造的吗？请问这两个数分不等式如何证明?
这个实变函数题怎么分析）？
怎样能将数学分析水平提高到挺高的水准呢？
刚看了一个柯西不等式的推论，不知如何证明，希望得到解答?
如何证明牛顿―莱布尼兹公式？
有没有一种行之有效的方法可以将一种函数展开成另外一种函数的级数？
如何证明一阶导数的上确界的平方小于等于原函数的上确界乘以二阶导数的上确界的二倍？
用Mathematica计算定积分，结果出现虚数是什么原因？
有限正函数，在任意区间里可测且勒贝格积分无限的函数怎么构造？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
教授留的思考题，请问这个积分怎么求？
为什么说积分能够“磨光”曲线？
怎样理解“单点紧化”？
为什么高中不直接开设高等数学、线性代数、概率统计这几门课呢？
如何求得这个积分的值？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么好多人嘱咐千万别刷吉米多维奇？
这个定积分该如何计算？
为什么是ε/2?
物理或化学方程为什么往往是偏微分方程？
这样的广义斐波那契数列能得到如下的单调性结果吗？
如何证明y＝cosx²不是周期函数？
这个正项级数的敛散性怎么证？
如何学习高等代数？高等代数注重定理证明吗？学习数分需要会各种证明，高代也这样吗？高代注重计算吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
这个猜实数的游戏有没有必胜策略?
以数学史的观点来看，集合论是如何成为数学基础的？
请问这个奇怪的极限怎么求?
如何看待马克思的《数学手稿》？