复旦大学2016--2017学年第一学期(16级)高等代数I期末考试第七大题解答
七、(本题10分) 设 $A,B$ 均为 $m\times n$ 阶实矩阵, 满足 $A'B+B'A=0$. 证明: $$r(A+B)\geq\max\{r(A),r(B)\},$$并且等号成立的充要条件是存在 $m$ 阶方阵 $P$, 使得 $B=PA$ 或 $A=PB$.
证法一 由 $A'B+B'A=0$ 可得 $$(A+B)'(A+B)=A'A+B'B.$$ 设 $V_A\subseteq\mathbb{R}^n$ 为线性方程组 $Ax=0$ 的解空间, $V_B$ 和 $V_{A+B}$ 同理定义, 则有 $V_A\cap V_B\subseteq V_{A+B}$. 反之, 对任一 $x_0\in V_{A+B}$, 在上述等式的两边同时左乘 $x_0'$, 右乘 $x_0$, 可得 $$0=x_0'(A+B)'(A+B)x_0=x_0'A'Ax_0+x_0'B'Bx_0=(Ax_0)'(Ax_0)+(Bx_0)'(Bx_0),$$ 从而有 $Ax_0=Bx_0=0$, 即 $x_0\in V_A\cap V_B$, 于是 $V_A\cap V_B=V_{A+B}$. 注意到 $V_{A+B}\subseteq V_A$, $V_{A+B}\subseteq V_B$, 由解空间的维数公式可得 $r(A+B)\geq r(A)$, $r(A+B)\geq r(B)$, 从而 $r(A+B)\geq\max\{r(A),r(B)\}$ 成立. 若等号成立, 不妨设 $r(A+B)=r(A)\geq r(B)$, 则 $V_{A+B}=V_A\subseteq V_B$, 由白皮书第四章解答题 13 可知: 存在 $m$ 阶方阵 $P$, 使得 $B=PA$. 反之, 若 $B=PA$, 则 $r(B)\leq r(A)$ 且 $r(A+B)=r((I_m+P)A)\leq r(A)$, 从而等号成立.
证法二 由高代教材的第三章复习题 41 或白皮书的例 3.72 可知: $$r(A+B)=r((A+B)'(A+B))=r(A'A+B'B).$$ 注意到 $A'A$ 与 $B'B$ 都是半正定阵, 故由白皮书的例 9.73 可知: $$r(A'A+B'B)=r(A'A\mid B'B)\geq \max\{r(A'A),r(B'B)\}=\max\{r(A),r(B)\}.\,\,\,\,\Box$$
注 本题完全做对的同学有: 宁盛臻、朱民哲、沈伊南、何陶然、董瀚泽.
复旦大学2016--2017学年第一学期(16级)高等代数I期末考试第七大题解答的更多相关文章
- 复旦大学2018--2019学年第一学期(18级)高等代数I期末考试第七大题解答
七.(本题10分) 设 $V$ 为 $n$ 维线性空间, $\varphi,\psi$ 是 $V$ 上的线性变换, 满足 $\varphi\psi=\varphi$. 证明: $\mathrm{Ke ...
- 复旦大学2013--2014学年第一学期(13级)高等代数I期末考试第七大题解答
七.(本题10分)设 \(A\) 为数域 \(K\) 上的 \(n\) 阶非异阵, 证明: 对任意的对角阵 \(B\in M_n(K)\), \(A^{-1}BA\) 均为对角阵的充分必要条件是 \ ...
- 复旦大学2014--2015学年第一学期(14级)高等代数I期末考试第七大题解答
七.(本题10分) 设 \(V\) 为数域 \(\mathbb{K}\) 上的 \(n\) 维线性空间, \(S=\{v_1,v_2,\cdots,v_m\}\) 为 \(V\) 中的向量组, 定义 ...
- 复旦大学2016--2017学年第二学期(16级)高等代数II期末考试第六大题解答
六.(本题10分) 设 $A$ 为 $n$ 阶半正定实对称阵, $S$ 为 $n$ 阶实反对称阵, 满足 $AS+SA=0$. 证明: $|A+S|>0$ 的充要条件是 $r(A)+r(S)= ...
- 复旦大学2014--2015学年第二学期(14级)高等代数II期末考试第八大题解答
八.(本题10分) 设 $A,B$ 为 $n$ 阶半正定实对称阵, 求证: $AB$ 可对角化. 分析 证明分成两个步骤: 第一步, 将 $A,B$ 中的某一个简化为合同标准形来考虑问题, 这是矩 ...
- 复旦大学2015--2016学年第二学期(15级)高等代数II期末考试第六大题解答
六.(本题10分) 设 $n$ 阶复方阵 $A$ 的特征多项式为 $f(\lambda)$, 复系数多项式 $g(\lambda)$ 满足 $(f(g(\lambda)),g'(\lambda))= ...
- 复旦大学2015--2016学年第一学期(15级)高等代数I期末考试第八大题解答
八.(本题10分) 设 $V$ 为数域 $K$ 上的 $n$ 维线性空间, $\varphi$ 为 $V$ 上的线性变换. 子空间 $C(\varphi,\alpha)=L(\alpha,\varp ...
- 复旦大学2017--2018学年第一学期(17级)高等代数I期末考试第六大题解答
六.(本题10分) 设 $M_n(K)$ 为数域 $K$ 上的 $n$ 阶方阵全体构成的线性空间, $A,B\in M_n(K)$, $M_n(K)$ 上的线性变换 $\varphi$ 定义为 $\ ...
- 复旦大学2017--2018学年第二学期(17级)高等代数II期末考试第六大题解答
六.(本题10分) 设 $A$ 为 $n$ 阶幂零阵 (即存在正整数 $k$, 使得 $A^k=0$), 证明: $e^A$ 与 $I_n+A$ 相似. 证明 由 $A$ 是幂零阵可知, $A$ ...
随机推荐
- Enterprise Craftsmanship
转自:http://enterprisecraftsmanship.com/2015/04/13/dto-vs-value-object-vs-poco/ DTO vs Value Object vs ...
- vue分页问题参考 感谢
https://www.cnblogs.com/zhoulifeng/p/9395295.html
- Windows 环境下 wampserver 与 phpStudy 的环境配置
一. wamperserver 1.下载好安装到本地指定目录,官网下载地址 http://www.wampserver.com 2.根据自己实际的安装路径,D:\pc\wampserver\wamp ...
- 记一次GRPC使用报错排查
项目一直使用grpc作为服务交互程序,其中我负责的java模块第一次引用该框架:当框架搭建好后,建立客户端代码,报错: Runable Error:java.lang.IllegalAccessErr ...
- what is spring-cloud
什么是Spring-cloud ? Spring Cloud是一系列框架的集合.它利用Spring Boot的开发便利性巧妙地简化了分布式系统基础设施的开发,如服务发现注册.配置中心.消息总线.负载均 ...
- js设计模式(二)---策略模式
策略模式: 定义: 定义一系列的算法,把他们一个个封装起来,并且是他们可以相互替换 应用场景: 要求实现某一个功能有多种方案可以选择.比如:条条大路通罗马 实现: 场景,绩效为 S的人年终奖有 4倍工 ...
- ASP返回JQuery EasyUI树形要求的JSON格式
根据http://blog.csdn.net/apollokk/article/details/41382479中提供的数据将结果格式化为JQuery EasyUI树形要求的JSON格式 <% ...
- HTML、CSS知识点,面试开发都会需要--No.1 HTML
No.1 HTML 1.网页结构 网页结构一般都包含文档声明DOCTYPE,并且在head中的meta应该包含编码格式.关键字.网页描述信息.简单格式如下: <!DOCTYPE html&g ...
- IFrame标签的两个用法介绍
1. 作为弹出层铺底覆盖 大家如果做过那种黑色遮罩盖住整张页面,而碰巧用户用的是IE6,更碰巧的是页面上有select元素,那就有得头疼了(原理就不在这里赘述了).我们会发现弹出的DIV没法遮住sel ...
- Cesium 实践
详细内容请参考教程:https://www.jianshu.com/p/31c3b55a21eb 该教程翻译自官方英文教程,对入门cesium 帮助很大. 2,Cesium项目实例 实践: 问题 ...