如何证明dimQ（R）=dimQ（C）？ 第1页
1
zhang-han-yu-1 网友的相关建议:
显然 和 都是 上的无穷维线性空间。
反证法：如果 或 是有限维，则其同构于 ，因为同构映射是一个双射，因此 或 与 等势，然而 可数但 和 不可数，导致矛盾。
根据Zorn引理可以选取 的线性基 和 的线性基 ，可以按照下列方式证明 。我们只证 ：
首先 是 的子集，因此 。
再根据线性基的性质，任何实数可以表示成 中有限个元素的有理线性组合，因此 ，其中 的定义就是中间的花括号括起来的集合。显然 ，因此 。这其中计算的过程中用到了 是一个无限集的性质。
1
相关话题
数学系的你，喜欢数学还是讨厌数学，还是毫无感觉？这道数列极限题怎么解 涉及到排列组合 不会啊?
有没有双重否定不是肯定的情况？
如何构造一个数学例子来证明零知识证明可行？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
我有一个数学新发现，确定是新发现，确定是正确的，有什么平台可以出售转让变现？
[题]两个数的最小公倍数是36，最大公因数是6，这两个数可能是多少？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
如何证明一个数学命题的不可证性？
前一个讨论
究竟如何理解 dx？
下一个讨论
这个东西怎么证明?
相关的话题
卡尔·马克思的数学水平怎样?S²×S¹是否可以嵌入到R⁴中？
测度论（measure theory）和实变函数是什么关系？
数学系的你，喜欢数学还是讨厌数学，还是毫无感觉？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
请问一下数学上是否有什么定理已经被证明，但是还没找到相对应的例子（实例）？
能用高等数学手段研究人文社科问题吗？
既然两个分数理论上来说可以无限接近，那么为什么还会出现无理数？
假如一个人立志要在有生之年攻克哥德巴赫猜想，那他应该付出哪些努力？
一年级的孩子数学考试不读题目了，有没有什么小方法改善？
为什么 A 为 n 阶满秩方阵时，Ax＝0 只有零解？
如何评价这篇关于「学习数学不需要做题」的文章的观点？
如何更深入理解物理意义或概念？
卡尔曼滤波器是如何运用于多传感器融合的？
请问a^2+2*b^2+3*c^2=20*d^2的所有整数解是什么？
对于那些不会做的题，答案看懂了，思路记住了就够了吗？
用三个汉字能描述的最大的数是多少？
为什么规定 0 的阶乘为 1？
为什么说尾数为1、3、7、9的素数个数是基本相同的？
在你看来，数学中有哪些大学课程会被下放给非数学系学生？为什么？
为什么偏序集里的哈斯图不能有三角形呢？求证明过程？
黎曼 ζ 函数为什么要那么解析延拓？
在一个小城市怎么在没有接受过竞赛培训的前提下竞赛数学〔已解决〕？
真的有什么式子能表示圆周率吗？
圆周率 π 是否隐藏了本个宇宙的设计者留给这个宇宙的智慧文明的某种信息？
几何分析是不是一个被普遍公认的独立的学科，如果是，为何AMS的学科分类里面里面找不到几何分析？
如何评价望月新一？
方程 cos(x) = x 的唯一实数解是不是超越数？
制药工程女生就业真的不好吗，不喜欢化学而喜欢数学？
张益唐和佩雷尔曼的论文是否说明脱离主流学术圈一样有可能成为顶级数学家？