复旦大学2018--2019学年第一学期(18级)高等代数I期末考试第七大题解答
七、(本题10分) 设 $V$ 为 $n$ 维线性空间, $\varphi,\psi$ 是 $V$ 上的线性变换, 满足 $\varphi\psi=\varphi$. 证明: $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$ 的充要条件是 $r(\varphi)=r(\psi)$.
证明 我们给出六种不同的证法, 括号内是证明思想的关键词.
几何证法1 (和空间与直和) 由 $\varphi(I_V-\psi)=0$ 可知, 对任意的 $\alpha\in V$, $\alpha-\psi(\alpha)\in\mathrm{Ker}\varphi$, 从而 $\alpha=(\alpha-\psi(\alpha))+\psi(\alpha)\in\mathrm{Ker}\varphi+\mathrm{Im}\psi$, 于是 $V=\mathrm{Ker}\varphi+\mathrm{Im}\psi$. 由和交空间维数公式和线性映射维数公式可得: $$n=\dim V=\dim(\mathrm{Ker}\varphi+\mathrm{Im}\psi)=\dim\mathrm{Ker}\varphi+\dim\mathrm{Im}\psi-\dim(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi)$$ $$=n-r(\varphi)+r(\psi)-\dim(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi),$$ 从而 $\dim(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi)=r(\psi)-r(\varphi)$, 由此即得充要条件. 另外, 也可以用 $V=\mathrm{Ker}\oplus\mathrm{Im}\psi$ 等价于 $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$ 代替上述讨论.
几何证法2 (映射限制) 将线性变换 $\varphi$ 的定义域限制在 $\mathrm{Im}\psi$ 上可得线性映射 $\varphi_1=\varphi|_{\mathrm{Im}\psi}:\mathrm{Im}\psi\to V$. 由限制的定义 (定义域变小, 映射法则不变) 可知, $\mathrm{Ker}\varphi_1=\mathrm{Ker}\varphi\cap\mathrm{Im}\psi$ 且 $\mathrm{Im}\varphi_1\subseteq\mathrm{Im}\varphi$. 由 $\varphi\psi=\varphi$ 可知, 对任意的 $\alpha\in V$, $\varphi(\alpha)=\varphi(\psi(\alpha))=\varphi_1(\psi(\alpha))$, 从而 $\mathrm{Im}\varphi_1=\mathrm{Im}\varphi$. 由线性映射的维数公式可知 $\dim\mathrm{Ker}\varphi_1+\dim\mathrm{Im}\varphi_1=\dim\mathrm{Im}\psi$, 即有 $\dim(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi)=r(\psi)-r(\varphi)$, 由此即得充要条件.
几何证法3 & 代数证法1 (同解) 注意到 $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$ 等价于, 对任意的 $\beta\in V$, 若 $\varphi(\psi(\beta))=0$, 则 $\psi(\beta)=0$, 这等价于 $\mathrm{Ker}\varphi\psi=\mathrm{Ker}\psi$ (注意: $\mathrm{Ker}\psi\subseteq\mathrm{Ker}\varphi\psi$ 显然成立), 这等价于 $\dim\mathrm{Ker}\varphi\psi=\dim\mathrm{Ker}\psi$, 由线性映射的维数公式可知, 这等价于 $r(\varphi)=r(\varphi\psi)=r(\psi)$. 我们也可以把问题转化为代数的语言: 设 $A,B$ 为 $n$ 阶方阵, 满足 $AB=A$, 证明: $ABx=0$ 的解必为 $Bx=0$ 的解等价于 $r(A)=r(B)$. 证明跟几何版本基本一致. 由于 $Bx=0$ 的解也是 $ABx=0$ 的解, 即 $V_B\subseteq V_{AB}$, 故 $V_{AB}=V_B$ 等价于 $\dim V_{AB}=\dim V_B$, 这等价于 $r(A)=r(AB)=r(B)$.
几何证法4 (比较核空间) 这种证法的注意力是放在直接比较 $\mathrm{Ker}\varphi$ 和 $\mathrm{Ker}\psi$ 上. 首先, 由 $\varphi\psi=\varphi$ 易证 $\mathrm{Ker}\psi\subseteq\mathrm{Ker}\varphi$. 充分性: 若 $r(\varphi)=r(\psi)$, 则由线性映射的维数公式可知 $\dim\mathrm{Ker}\psi=\dim\mathrm{Ker}\varphi$, 从而 $\mathrm{Ker}\psi=\mathrm{Ker}\varphi$. 任取 $\alpha\in\mathrm{Ker}\varphi\cap\mathrm{Im}\psi$, 则 $\varphi(\alpha)=0$ 且存在 $\beta\in V$, 使得 $\alpha=\psi(\beta)$, 于是 $0=\varphi(\alpha)=\varphi(\psi(\beta))=\varphi(\beta)$, 即 $\beta\in\mathrm{Ker}\varphi=\mathrm{Ker}\psi$, 从而 $\alpha=\psi(\beta)=0$, 于是 $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$. 必要性: 若 $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$, 则任取 $\alpha\in\mathrm{Ker}\varphi$, 有 $0=\varphi(\alpha)=\varphi(\psi(\alpha))$, 从而 $\psi(\alpha)\in\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$, 即 $\alpha\in\mathrm{Ker}\psi$, 于是 $\mathrm{Ker}\varphi\subseteq\mathrm{Ker}\psi$, 因此 $\mathrm{Ker}\psi=\mathrm{Ker}\varphi$, 由线性映射的维数公式即得 $r(\varphi)=r(\psi)$.
几何证法5 (基扩张与基的判定) 取 $\mathrm{Ker}\varphi$ 的一组基 $\{e_{r+1},\cdots,e_n\}$, 并扩张为 $V$ 的一组基 $\{e_1,\cdots,e_r,e_{r+1},\cdots,e_n\}$. 由高代白皮书的例 4.20 可知, $\{\varphi(e_1),\cdots,\varphi(e_r)\}$ 是 $\mathrm{Im}\varphi$ 的一组基. 由 $\varphi(\psi(e_i))=\varphi(e_i)\,(1\leq i\leq r)$ 易证 $\psi(e_1),\cdots,\psi(e_r)$ 是 $\mathrm{Im}\psi$ 中一组线性无关的向量. 充分性: 若 $r(\psi)=r(\varphi)=r$, 则 $\{\psi(e_1),\cdots,\psi(e_r)\}$ 是 $\mathrm{Im}\psi$ 的一组基. 对 $\mathrm{Im}\psi$ 中任一向量 $c_1\psi(e_1)+\cdots+c_r\psi(e_r)$, 若它属于 $\mathrm{Ker}\varphi$, 则有 $$0=\varphi(c_1\psi(e_1)+\cdots+c_r\psi(e_r))=c_1\varphi(e_1)+\cdots+c_r\varphi(e_r),$$ 从而 $c_1=\cdots=c_r=0$, 即有 $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$. 必要性: 若 $\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$, 则对 $r+1\leq j\leq n$ 有, $\varphi(\psi(e_j))=\varphi(e_j)=0$, 从而 $\psi(e_j)\in\mathrm{Ker}\varphi\cap\mathrm{Im}\psi=0$, 即 $\psi(e_j)=0\,(r+1\leq j\leq n)$. 于是 $\mathrm{Im}\psi$ 中任一向量都是 $\psi(e_1),\cdots,\psi(e_r)$ 的线性组合, 即 $\{\psi(e_1),\cdots,\psi(e_r)\}$ 是 $\mathrm{Im}\psi$ 的一组基. 特别地, $r(\psi)=r(\phi)=r$.
几何证法6 (映射复合的核空间) 注意到 $\mathrm{Ker}\varphi\psi=\psi^{-1}(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi)$ (这里 $\psi^{-1}$ 表示原像全体), 将 $\psi$ 限制在 $\mathrm{Ker}\varphi\psi$ 上, 可得满线性映射 $\psi_1:\mathrm{Ker}\varphi\psi\to\mathrm{Ker}\varphi\cap\mathrm{Im}\psi$. 注意到 $\mathrm{Ker}\psi_1=\mathrm{Ker}\psi$, 由线性映射的维数公式可得 $$\dim\mathrm{Ker}\varphi=\dim\mathrm{Ker}\varphi\psi=\dim\mathrm{Ker}\psi+\dim(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi),$$ 于是 $\dim(\mathrm{Ker}\varphi\cap\mathrm{Im}\psi)=r(\psi)-r(\varphi)$, 由此即得充要条件.
注 (1) 18级同学在证明的过程中, 有的同学是充分性和必要性分别采取不同的证法; 也有同学证出满足充要条件的 $\psi$ 一定是幂等变换 ($\mathrm{Im}(I_V-\psi)\subseteq\mathrm{Ker}\varphi=\mathrm{Ker}\psi$, 从而 $\psi^2=\psi$); 17级陈柯屿同学把问题转化为代数问题, 再把 $A$ 化简为相抵标准型给出了一个不同于上面的证明 (但并不简洁, 所以就不登载了). 上面这六种证法联系起了线性空间理论和线性变换理论的众多知识点, 强烈推荐大家仔细阅读, 认真体会.
(2) 本题做对 (得分 9 分以上) 的同学共有 51 人, 名单如下:
几何证法1: 章黎景华, 金维涵, 张天赐, 李沛扬, 刘羽;
几何证法2: 吴洲同, 郭都, 范辰健, 孙晓雯, 唐逸扬, 刘林洋, 李松林, 封清, 陈宇杰, 谢永乐, 黄泽松, 周星雨, 刘一川, 张哲维, 唐朝亮;
几何证法3 & 代数证法1 & 几何证法4: 罗通, 吴润华, 王晟灏, 高博文, 顾天翊, 时天宇, 王捷翔, 祝苒雯, 杨佳奇, 李雨昊, 陈钦品, 赵界清, 华树杰, 叶雨阳, 江孝奕, 刘天航, 张俊杰, 周子翔, 黄诗涵, 林万山, 张思哲, 吴彦桥, 黄永晟, 宋展鹏, 肖然;
几何证法5: 李玮, 张轩铭, 丁思成, 周烁星;
几何证法6: 廖庄子龙;
代数证法2: 陈柯屿.
转载于:https://www.cnblogs.com/torsor/p/10285893.html
复旦大学2018--2019学年第一学期(18级)高等代数I期末考试第七大题解答相关推荐
- 复旦大学2018--2019学年第一学期(18级)高等代数I期末考试第八大题解答
八.(本题10分) 设 $A,B$ 为 $n$ 阶实方阵, 使得 $A'B$ 是反对称阵. 证明: $$r(A'B)\leq r(A)+r(B)-r(A+B),$$ 并确定等号成立的充要条件. 证明 ...
- 复旦大学2013--2014学年第一学期(13级)高等代数I期末考试第八大题解答
八.(本题10分)设 \(V\) 为数域 \(K\) 上的 \(n\) 维线性空间, \(\varphi\) 为 \(V\) 上的线性变换, 且存在非零向量 \(\alpha\in V\) 使得 \ ...
- 复旦大学2016--2017学年第二学期(16级)高等代数II期末考试第七大题解答
七.(本题10分) 设 $n$ 阶复方阵 $A$ 的特征多项式为 $f(\lambda)$, 复系数多项式 $g(\lambda)$ 满足 $(f(\lambda),g'(\lambda))=1$. ...
- 南邮《汇编语言程序设计》2018/2019 学年第一学期期末考试回忆
2018.12.8 13:30-15:20 <汇编语言程序设计>考试 刚考完,回忆一下题目. 先总结一下:感觉考得还是蛮细的,主要自己复习时间也不多,全凭上学期学过一遍的记忆和笔记复习的. ...
- 海南热带海洋学院18级C语言期末考试PAT编程题
写给19届的学弟学妹们 7-1 射击成绩 上图是 10m 气手枪靶纸.10 环的直径为 11.5mm,9 环的直径为 27.5mm,8 环的直径为 43.5mm.7-10 环区为黑色,直径为 59.5 ...
- 复旦大学2018--2019学年第二学期(18级)高等代数II期末考试第六大题解答
六.(本题10分) 设 $A$ 为 $n$ 阶实对称阵, 证明: $A$ 有 $n$ 个不同的特征值当且仅当对 $A$ 的任一特征值 $\lambda_0$ 及对应的特征向量 $\alpha$, 矩 ...
- 复旦大学2017--2018学年第二学期(17级)高等代数II期末考试第六大题解答
六.(本题10分) 设 $A$ 为 $n$ 阶幂零阵 (即存在正整数 $k$, 使得 $A^k=0$), 证明: $e^A$ 与 $I_n+A$ 相似. 证明 由 $A$ 是幂零阵可知, $A$ ...
- 101003计算机应用基础闭,2017/2018学年第一学期2017级 《信息处理技术》《计算机应用基础》课程期末考试安排表...
2017/2018学年第一学期2017级 <信息处理技术><计算机应用基础>课程期末考试安排表 王城校区(基础实验B楼) 时 间班级考 场监考老师 2017年12月18日 星 ...
- 北航 2018计算机学院排课,关于2018—2019学年秋季学期排课的通知
关于2018-2019学年秋季学期排课的通知 2018-04-12 关于2018-2019学年秋季学期排课的通知 一.根据校办[2010]7号文件"关于调整校本部教学作息时间的通知" ...
最新文章
- 2018-4-8蚁群算法---包子阳《智能优化算法以及Matlab实现》第五章
- 几个简单java基础的例子
- 使用Qt开发中国象棋(一):概述
- jvm垃圾回收参数配置
- Unparsed aapt error(s)! Check the console for output
- it生命周期管理-资产管理
- Http Core学习(Http Components 翻译和学习)
- endnote初始化数据库支持_考前复习必备MySQL数据库(关系型数据库管理系统)
- PS2015下载PSCC2015安装教程
- 计算机模拟做报童模型,用基于计算机随机模拟的下降法求解报童问题
- ios label 高度紫石英_iOS_NSMutableAttributedString和自适应宽度高度
- Java成员方法getinfo_我想问下程序中的setInfo()和getInfo()它们怎调用的??
- 如何将您的Steam个人资料设为私人
- 身份证真伪辨别 Python
- 【渝粤教育】电大中专跨境电子商务理论与实务 (5)作业 题库
- 企业要怎样做才能避免进入直播带货误区?
- go语言判断文件是否为UTF8编码
- linux 烧写stm32 swd,STM32F103使用SWD烧写错误提示的问题
- 国内高校硕博补贴大公开!(某校博士在读已经年薪25w了)
- liferay Dynamic Query 查询
热门文章
- unity 使用UnityWebRequest读取Json文件
- Layui表格头部工具栏
- 插入排序(python)
- 服务器128g内存显示64g可用,内存从64G换成128G,会造成什么影响?
- 区块链早起打卡项目趣步模式
- 系统选Linux还是mac,如何选择一款适合自己操作系统、Windows、Mac还是Linux?
- 计算机网络相关关键技术论文,电力线通信plc计算机网络关键技术及其应用研究计算机应用技术专业论文.docx...
- java base64 76_Java Base64编码
- 电脑键盘怎么打出乘号✖
- 利用链式哈希表解决哈希碰撞问题