[问题2014S08]  设分块上三角阵 \[A=\begin{bmatrix} A_1 & B \\ 0 & A_2 \end{bmatrix},\] 其中 \(m\) 阶方阵 \(A_1\) 的 Jordan 标准型为 \(J_1\), \(n\) 阶方阵 \(A_2\) 的 Jordan 标准型为 \(J_2\), 并且 \(A_1,A_2\) 没有公共的特征值. 证明: 矩阵 \(A\) 的 Jordan 标准型就是 \[\begin{bmatrix} J_1 & 0 \\ 0 & J_2 \end{bmatrix}.\]

注  (1) 本题是复旦高代教材第 293 页复习题 15 的推广, 在那道题目中, \(A_1,A_2\) 的 Jordan 标准型 \(J_1,J_2\) 都只由一个 Jordan 块构成, 这里我们取消了这个限制.

(2) 由本题还可以得到如下推论: 如果 \(A_1,A_2\) 都可以对角化, 并且 \(A_1,A_2\) 没有公共的特征值, 那么矩阵 \(A\) 也可以对角化. 这个推论是复旦高代教材第 249 页复习题 7 的推广.

(3) 在本题中, \(A_1,A_2\) 没有公共的特征值是最本质的条件. 有了这个条件, 不管 \(B\) 是怎样的矩阵, 都对 \(A\) 的 Jordan 标准型不产生任何影响; 但如果没有这个条件, 一般情况下结论并不成立. 比如我们看如下例子: 设 \(A_1=A_2=(1)\), \(B=(1)\), 则 \(A\) 的 Jordan 标准型不是 \(I_2\), 而是 \(J_2(1)\).

[问题2014S08] 复旦高等代数II（13级）每周一题（第八教学周）的更多相关文章

  1. [问题2014S01] 复旦高等代数II（13级）每周一题（第一教学周）

    问题2014S01  设 \(f(x_1,x_2,\cdots,x_n)\) 是次数等于 2 的 \(n\) 元实系数多项式, \(S\) 是使得 \(f(x_1,x_2,\cdots,x_n)\) ...

  2. [问题2014S09] 复旦高等代数II（13级）每周一题（第九教学周）

    [问题2014S09]  证明: \(n\) 阶方阵 \(A\) 与所有的 \(A^m\,(m\geq 1)\) 都相似的充分必要条件是 \(A\) 的 Jordan 标准型为 \[\mathrm{d ...

  3. [问题2014S02] 复旦高等代数II（13级）每周一题（第二教学周）

    问题2014S02  设实系数多项式 \begin{eqnarray*}f(x) &=& a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0, \\ g(x) ...

  4. [问题2015S01] 复旦高等代数 II（14级）每周一题（第二教学周）

    [问题2015S01]  设 \(M_n(\mathbb{R})\) 是 \(n\) 阶实方阵全体构成的实线性空间, \(\varphi\) 是 \(M_n(\mathbb{R})\) 上的线性变换, ...

  5. [问题2015S08] 复旦高等代数 II（14级）每周一题（第九教学周）

    [问题2015S08]  设 \(A\) 为 \(n\) 阶复方阵, 证明: \(A\overline{A}\) 与 \(\overline{A}A\) 相似, 其中 \(\overline{A}\) ...

  6. [问题2014A07] 复旦高等代数 I（14级）每周一题（第九教学周）

    [问题2014A07]  设 \(A\) 是有理数域 \(\mathbb{Q}\) 上的 4 阶方阵, \(\alpha_1,\alpha_2,\alpha_3,\alpha_4\) 是 \(\mat ...

  7. [问题2014S12] 复旦高等代数II（13级）每周一题（第十二教学周）

    [问题2014S12]  设 \(A,B\) 都是 \(n\) 阶半正定实对称阵, 证明: \(AB\) 的所有特征值都是非负实数. 进一步, 若 \(A,B\) 都是正定实对称阵, 证明: \(AB ...

  8. [问题2014S06] 复旦高等代数II（13级）每周一题（第六教学周）

    [问题2014S06]  试用有理标准型理论证明13级高等代数I期末考试最后一题: 设 \(V\) 为数域 \(K\) 上的 \(n\) 维线性空间,  \(\varphi\) 为 \(V\) 上的线 ...

  9. [问题2014S03] 复旦高等代数II（13级）每周一题（第三教学周）

    [问题2014S03]  设 \(A\in M_n(\mathbb R)\) 是非异阵并且 \(A\) 的 \(n\) 个特征值都是实数. 若 \(A\) 的所有 \(n-1\) 阶主子式之和等于零, ...

随机推荐

  1. Lua语言

    下载使用Subline作为编辑器 1. 2.函数使用 function sayHello() print ('hello torch') end 3.定义变量 a print (a) 4.引入文件 r ...

  2. 用session实现简单的购物

    package cn.itcast.shopping; import java.io.IOException; import java.io.PrintWriter; import java.util ...

  3. 【iCore3 双核心板_FPGA】例程三：GPIO输入实验——识别按键输入

    实验指导书及代码包下载: http://pan.baidu.com/s/1dEaDr37 iCore3 购买链接: https://item.taobao.com/item.htm?id=524229 ...

  4. SVN 分支管理

    平时在工作中使用 SVN 只是限于 commit,update 这样的操作,至多再 reslove 解决一下冲突,没有用过分支管理.开发过程中一般都是一个功能开发完成之后整体进行提交,而最近在项目中有 ...

  5. MVC4脚本压缩 BundleTable bundles 404错误

    在发布网站的时候,因为使用了MVC4的新特性BundleTable,造成访问的时候js和css报了404错误, google了以后, 有朋友说是因为要在webservice添加 <modules ...

  6. 基于swoole的网页一对一实时聊天

    需求分析 网站上实现一对一即时沟通,能查看聊天记录以及离线留言,新消息提醒. 核心技术 html5的websocket,php的swoole扩展http://wiki.swoole.com/ 数据表 ...

  7. mvc3升级mvc4的方法记录.

    手工升级ASP.NET MVC 3项目: 一.安装ASP.NET MVC 4 二.升级ASP.NET MVC版本配置信息: 1:替换项目 Web.config 中的 System.Web.Mvc, V ...

  8. 周记：Linux下C编程

    也啥都没干,计划一个都没干.吼吼-- 周六去看[21天学通Linux_C编程]笔记: 突然都对这本书没信心了.刚开始,就出现的不满如下:1.创建vim启动器时候,类型要选择[终端下的应用程序]没说,虽 ...

  9. SQLSERVER20008 完整备份和差异备份

    --差异备份 DIFFERENTIAL ) ),)+'.bak' BACKUP DATABASE [testbackup] TO DISK=@name WITH DIFFERENTIAL, NOFOR ...

  10. wp插件