如何证明dimQ（R）=dimQ（C）？ 第1页
1
zhang-han-yu-1 网友的相关建议:
显然 和 都是 上的无穷维线性空间。
反证法：如果 或 是有限维，则其同构于 ，因为同构映射是一个双射，因此 或 与 等势，然而 可数但 和 不可数，导致矛盾。
根据Zorn引理可以选取 的线性基 和 的线性基 ，可以按照下列方式证明 。我们只证 ：
首先 是 的子集，因此 。
再根据线性基的性质，任何实数可以表示成 中有限个元素的有理线性组合，因此 ，其中 的定义就是中间的花括号括起来的集合。显然 ，因此 。这其中计算的过程中用到了 是一个无限集的性质。
1
相关话题
两个相邻的质数之和（除了2与3）除二得到的值是合数，有数学证明吗？计算机能不能真正意义上存储一个无理数？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
数学家下围棋，水平一定会很高吧？
为什么井盖不做成莱洛三角形？
想要学习流形的话需要哪些预备知识？
不查表，如何求 sin36 度？
有数学问题在哪里请教？
怎么证明勾股定理?
计算数学在数学界是什么样的地位？
前一个讨论
究竟如何理解 dx？
下一个讨论
这个东西怎么证明?
相关的话题
如图题，如何不用“强拆”的方式证明？如何理解在对对易关系取trace时出现的这种矛盾？
三分之一等于零点三三循环，而三分之一乘3等于一，用零点三三循环乘三却等于零点九九循环？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
有没有一套统一的办法处理非初等的原函数？
matrix67去哪了？
初三数学20几分怎么能达到100+?
如何评价四川大学数学学院付昌建老师?
数学学来有什么用？
不代入数值怎么证明π<sqrt(2)+sqrt(3)?
类似于勒让德函数和贝塞尔函数的函数还有哪些？
为什么任何整数除以2或5都能除尽，而不一定能被其他质数除尽？
编程是否存在终极问题？
拉马努金圆周率公式的原理是什么？
为什么张益唐的论文没被数学年刊忽视掉？
线性空间的对偶空间和优化里的拉格朗日对偶有什么关系？
如何证明任何有限域中的任何元素均可写成两数的平方和？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何证明“若整函数 f(z) 的值均位于右半平面，则f(z)恒为常数”？
如何简单明了证明负负得正？
做科研时，简化了领域内一个大佬的证明值得发表吗?
俄罗斯“物理数学中学”的教学模式是什么样的？
如何看待法国著名数学家、2002 年菲尔兹奖得主 Laurent Lafforgue 宣布加入华为？
本人高中生，对数学很感兴趣，求推荐一下大学数学应该看的书和方法？
请问此拉马努金连分数公式如何证明？
线性代数对于计算机专业的作用是什么呢？
10个人各自从1-10选数字，尽量让自己最大且不重复，如何选？
从一读到一亿需要读多少个汉字？
构造微分流形这个概念的动机是什么？
数学是从什么时候开始反直觉的？