如何证明dimQ（R）=dimQ（C）？ 第1页
1
zhang-han-yu-1 网友的相关建议:
显然 和 都是 上的无穷维线性空间。
反证法：如果 或 是有限维，则其同构于 ，因为同构映射是一个双射，因此 或 与 等势，然而 可数但 和 不可数，导致矛盾。
根据Zorn引理可以选取 的线性基 和 的线性基 ，可以按照下列方式证明 。我们只证 ：
首先 是 的子集，因此 。
再根据线性基的性质，任何实数可以表示成 中有限个元素的有理线性组合，因此 ，其中 的定义就是中间的花括号括起来的集合。显然 ，因此 。这其中计算的过程中用到了 是一个无限集的性质。
1
相关话题
逃离丧尸包围的游戏，你能否逃生？闰月可能出现闰正月和闰腊月吗？
有没有那种可以自由交流数学问题的社区？
用人话来解释下模空间是啥？
在集合的势的意义下，是否存在比实数集更大的全序集？
能不能定义一个数 I，与 0 的乘积等于 1？
高中数学教材中，规定0向量与任意向量平行。为什么要做这样的规定？有什么意义和必要性？
效用函数的高阶导数有何经济学含义？如何推导？
数学工作者最不习惯的物理学方法是什么？
哪个瞬间让你觉得学数学真有用？
前一个讨论
究竟如何理解 dx？
下一个讨论
这个东西怎么证明?
相关的话题
能否彻底从代数角度定义微分和积分？一个UFD是PID的条件是什么?
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
算法研究属于数学专业还是计算机专业？
弧的长度与弦的长度之比的极限为1，能严格证明吗？
这个不等式的证明方法有哪些？
我学习数学的时候做总会停止思考，脑子转不过来，连简单的例题都看不懂，是怎么回事？？
数学有什么意义？数学中的一切都是人类自己编造的吗？
这个运动轨迹方程是什么？
证明「哥德巴赫猜想」到底有多难？
9.99循环这个数存不存在，如果存在，那么它是整数还是无限循环小数？
为什么我会觉得证明极限的过程完全是在套公式？
如果我们到了四维空间，会看到怎样的世界？
为什么有些学数学的看不惯甚至鄙视 Deep Learning？
Weierstrass 逼近定理对任意的完备正交系成立吗？
请教高人137这个数字做为周期数有啥特别的含义？
奶茶咖啡等饮料全换成纸吸管到底能降低多少污染？
如何评价 YouTube 频道 3Blue1Brown？
π 的数字排列中能否找到 e 的数字排列？
微分符号 dx、dy 表示什么含义？
数学经典教材有什么？
对我这样的选手来讲，建议我读博士吗？
如何通过很多组相互包含的换算数据求解尽可能精确的换算比例？
孩子的梦想是成为天文学家，怎样帮助他去接近梦想？
自然常数 e 从小数点后第二位开始的两个 1828 是巧合吗？
在你看来，数学中有哪些大学课程会被下放给非数学系学生？为什么？
勾股数有有限多组还是无限多组？
一粒谷子不算谷堆，再加一点也不算，以此类推加到一万粒也不算，该如何解决这样的谷堆悖论？
怎样的数学问题叫一个好问题？
数学能取代人类语言吗？