是否存在不可数个实数，其中任意有限多个在有理数上线性无关？ 第1页
1
lljpcz 网友的相关建议:
高代上讲的线性无关，一般是指有限个向量线性无关。
如果要讨论无限个向量线性无关，就需要定义广义线性无关集，这里广义线性无关的定义就和你题目中提出的一样，即
我们称一个向量集（可以有无穷个元素）是广义线性无关集，当且仅当它的每一个有限元素子集是线性无关集。
在不引起混淆的情况下，我们可以将“广义”省去。
利用这里的广义线性无关的定义，就可以定义广义基，即Hamel基。即一个向量集里的每个元素都可以被唯一的表示成其Hamel基中有限个元素的线性组合。
在这个意义上，我们可以证明以下命题是选择公理的充要条件:
任何一个向量集都有Hamel基。
必要性很好证明，利用Zorn引理，模仿一下另外一位答主的作答即可。
充分性据说不容易？我贴个链接http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf
最后，如果要说明实数在有理数域上的任意一组Hamel基都是符合要求的集合，只需要再说明这组基不可数。
反设它可数，那么全体实数可以可列个元素的某个有限子集的有理线性组合表示出，这意味着实数可数，产生了矛盾。
1
相关话题
如何通俗地解释混沌理论（chaos）和分岔理论（bifurcation）？请问第五题的导数怎么求，老是求不出?
P是素数，(2^2p)-3一定是素数吗？
请问这个不等式的证明思路是怎样的？
一致连续性与积分是否有潜在关系？在数学分析，尤其是积分中有何应用？
数学分析中的习题能否在考研中当作定理直接使用？
比0.000······1更小的非0数，是什么？
请问这道题有没有除了泰勒公式之外的其他解法？
为什么要公理化实数，而不是从自然数导出？
如何证明呢？
前一个讨论
一个一般的二次型等于0，这个方程应该如何求通解？
相关的话题
这几个有关贝塞尔函数的拉普拉斯变换是怎么推导的？请问这个积分怎么做？
下面的结论是否正确？
准大一新生如何学好数学分析？
如何证明 √2 + √3 + √5 是无理数？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
怎么建立复数与实数的一一对应？
这个用分部积分法求不出来，应该用什么方法求啊?
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
零点和极点个数有限的函数是否为有理函数？
如何证明这个级数恒等式？
为什么条件收敛的级数重排后，即使收敛，也不一定收敛于原来的级数和？
这个极限(1|sin1|+...+k|sink|)/k^3怎么解?
这道数列极限题该怎么做啊？
有限覆盖定理和实数连续性有什么关系？
如何解决此道数学分析不等式？
究竟如何理解 dx？
有人知道这函数的值域怎么求吗?
怎么证明方程 x^4＋4x^3－3x^2－x＝0 有 4 个实根？
一道不难的极限题，主要看看大家有什么奇思妙想？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
哪位大神可以告诉我第一题怎么写吗？在线等?
如何理解（证明）不存在与自己的真子集等势的自然数?
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
请问这道幂级数的题目如何做呢？
ln(x)取值为超越数的条件是什么？
为什么不能简单将集合E的【上确界】定义成由E的所有上界组成之集的最小元？
Ln(-3-3i)等于多少？
为什么Abel定理是研究幂级数收敛性的基本定理?
如何证明不等式(x+1)^(1/(x+1))+x^(-1/x)>2 ?