如何证明dimQ（R）=dimQ（C）？ 第1页
1
zhang-han-yu-1 网友的相关建议:
显然 和 都是 上的无穷维线性空间。
反证法：如果 或 是有限维，则其同构于 ，因为同构映射是一个双射，因此 或 与 等势，然而 可数但 和 不可数，导致矛盾。
根据Zorn引理可以选取 的线性基 和 的线性基 ，可以按照下列方式证明 。我们只证 ：
首先 是 的子集，因此 。
再根据线性基的性质，任何实数可以表示成 中有限个元素的有理线性组合，因此 ，其中 的定义就是中间的花括号括起来的集合。显然 ，因此 。这其中计算的过程中用到了 是一个无限集的性质。
1
相关话题
线性方程组的解的结构怎么理解？这个矩阵的秩如何证明?
想学计算机系却报错志愿进了数学系，该怎么办？
家有毕业班的中学生，想知道“平行线分线段成比例定理”如何证明？思路是什么？
Diffie-Hellman密码交换是如何运作的？
我好像证明了四色猜想，各位怎么看？
标记 n 维空间中任意一个点/向量一定要用 n 个坐标吗？
如何判断一个方阵变换会导致源向量模长缩小？
数值分析中割线法的收敛阶是如何证明的?
高手大概率是谦虚还是傲慢的？
前一个讨论
究竟如何理解 dx？
下一个讨论
这个东西怎么证明?
相关的话题
数学这门学科有多有趣？学数学是不是真的脑子好比努力还重要？
你能写出你认为既简洁又很酷的公式么？
大佬们看看这个积分，不知道是不是题目错了，完全算不出来?
数学系的学生能硬核到什么程度？
小学生有必要上数奥班吗？
如何理解雅可比式？
n阶实方阵矩阵的换位子问题？
勒让德猜想被证明了吗？
数学中的“π”是加何推算的？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
为什么祖冲之的355/113等于3.1415929而不是3.1415926?
有没有武德充沛的数学家和科学家？
如何看待法国著名数学家、2002 年菲尔兹奖得主 Laurent Lafforgue 宣布加入华为？
既然概率为1的事件不一定是必然事件，那么必然事件的数学定义是什么？
可导，可微，可积，连续的关系是什么？然后，它们各自的充要条件是什么？
一个半径为10的大圆能剪出几个半径为1的小圆？
为什么黎曼ζ函数能够如此表示？（第二个等号）?
初三了，数学不及格，想问一下如何训练数学六大素养?
请问这道题用麦克劳林该怎么做?
数学中对于直线、平面的定义是什么？
为什么不能计算两次哈希，以及在什么情况下不能计算两次哈希？
在线性代数中如何用几何表示非方阵矩阵相乘？
数学系学生在学习中应该在多大程度上检查大证明的细节逻辑？
304412这数字是什么意思？
数学天才韦东奕交女朋友了吗？
请问此极限怎么求？
当今世界数学已经发展到本科生难以理解的地步了吗？
中国象棋的走法是有限的吗？如果有限，有没有先走或者后走的人必赢的可能？
怎么比较 33 的 11 次方与 17 的 14 次方的大小关系？