如何证明dimQ（R）=dimQ（C）？ 第1页
1
zhang-han-yu-1 网友的相关建议:
显然 和 都是 上的无穷维线性空间。
反证法：如果 或 是有限维，则其同构于 ，因为同构映射是一个双射，因此 或 与 等势，然而 可数但 和 不可数，导致矛盾。
根据Zorn引理可以选取 的线性基 和 的线性基 ，可以按照下列方式证明 。我们只证 ：
首先 是 的子集，因此 。
再根据线性基的性质，任何实数可以表示成 中有限个元素的有理线性组合，因此 ，其中 的定义就是中间的花括号括起来的集合。显然 ，因此 。这其中计算的过程中用到了 是一个无限集的性质。
1
相关话题
微软的计算器为什么输入 ln 2 是先输入 2 再输入 ln？如何证明方程 x³＋y³＝2020 没有整数解？
如何定义或描述数学的全貌？
如何评价微信朋友圈文章：记者调查：疯狂的学而思，疯狂的校外培训！？
如何证明 √2 + √3 + √5 是无理数？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
线性方程组的解的结构怎么理解？
如果让你来编排义务教育阶段至高中的数学课本，你会怎么编排？
祖冲之的割圆术求圆周率是否过于繁琐？
真的有什么式子能表示圆周率吗？
前一个讨论
究竟如何理解 dx？
下一个讨论
这个东西怎么证明?
相关的话题
什么是累积投票制度？如何评价四川大学数学学院付昌建老师?
如果在一个密闭空间里给一个普通人1亿年的时间，他可以推演出现在的数学定理吗？
基础学科的大学教授教授本科课程对自己纯理论的科研会不会有启发？
作为高中生是否应该学习一些超纲的知识（相对论，大学的微积分，量子力学......）这些对高考成绩有影响吗？
你见过最美的 MATLAB 绘图是什么？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
如何证明这道有关叉乘的解析几何题？
有没有什么数字的某个幂次方等于0？
请问哪里有数学科目的网络课程？
1×0=0是因为0乘任何数都是0还是因为1乘任何数都是等于那个数？
最大似然估计和最小二乘法怎么理解？
如何解决这个函数极限的证明问题？
减一个负数，为什么是加这个数的相反数呢？
关于p进数域？
该怎么用数学来个别开生面的表白呢？
两数列合并后有什么性质？
你见过哪些构思巧妙，令你眼界大开的数学问题？
有哪些有趣的或者是反常识的数学问题？
数学系哪门课最难学？
嘉然在杭州，我也在杭州，知乎上的各位数学大神能帮我分析一下，我在杭州偶遇嘉然的概率是多大？
有100个砝码，其中只有一个比其它的重1克。现给你一个天秤，请问怎样快速找到那个重一克的砝码？
为什么小学要在没学二元一次方程的情况下先学鸡兔同笼问题？
勒让德倍量公式如何证明？
微积分之后，现代数学有哪些新的革命性工具？近年来物理理论没有突破，是不是微积分不够用了？
如何理解「数学是研究数量关系与空间形式的科学」这句话里「空间形式」的含义？
如何证明此不等式呢？
只有三维向量有向量积吗？
为什么数量级"皮可"很少使用？
什么是反函数？