[问题2014S07] 解答
[问题2014S07] 解答 (本解答由沈启帆同学提供)
由复旦高代教材 P265 引理 7.4.1 知 \(F(P_i(\lambda)^{e_i})\) 的不变因子组为 \[1,\cdots,1,P_i(\lambda)^{e_i}.\] 因此分块对角阵 \(F=\mathrm{diag}\{F(P_1(\lambda)^{e_1}),F(P_2(\lambda)^{e_2}),\cdots,F(P_k(\lambda)^{e_k})\}\) 经过 \(\lambda\)-矩阵的初等变换可化为如下对角 \(\lambda\)-矩阵: \[\mathrm{diag}\{1,\cdots,1,P_1(\lambda)^{e_1};1,\cdots,1,P_2(\lambda)^{e_2};\cdots;1,\cdots,1,P_k(\lambda)^{e_k}\}.\] 由复旦高代教材 P271 引理 7.6.2 知 \(F\) 的初等因子组等于上述对角 \(\lambda\)-矩阵主对角元素的准素因子的集合. 注意到每个 \(P_i(\lambda)^{e_i}\) 都是准素的, 因此 \(F\) 的初等因子组为 \(P_1(\lambda)^{e_1},P_2(\lambda)^{e_2},\cdots,P_k(\lambda)^{e_k}\), 即 \(F\) 与 \(A\) 在数域 \(\mathbb{K}\) 上有相同的初等因子组. 由复旦高代教材 P269 定理 7.5.1 知 \(A\) 与 \(F\) 在数域 \(\mathbb{K}\) 上相似. \(\Box\)
第三届全国大学生数学竞赛初赛一道试题的解答
设 \(A\) 在数域 \(\mathbb{K}\) 上的初等因子组为 \[P_1(\lambda)^{e_1},P_2(\lambda)^{e_2},\cdots,P_k(\lambda)^{e_k};\lambda^{t_1},\lambda^{t_2},\cdots,\lambda^{t_r},\] 其中 \(P_i(\lambda)\) 是 \(\mathbb{K}\) 上的不可约多项式且 \(P_i(0)\neq 0\), \(e_i>0,\,i=1,2,\cdots,k\); \(t_j>0,\,j=1,2,\cdots,r\). 注意到 \(F(P_i(\lambda)^{e_i})\) 为相伴于多项式 \(P_i(\lambda)^{e_i}\) 的友阵, 从而它的特征多项式恰为 \(P_i(\lambda)^{e_i}\). 特别地, \(\det\Big(F(P_i(\lambda)^{e_i})\Big)=(-1)^{n_i}P_i(0)^{e_i}\neq 0\), 其中 \(n_i=\deg P_i(\lambda)^{e_i}\), 即 \(F(P_i(\lambda)^{e_i})\) 是非异阵. 令 \[B=\mathrm{diag}\{F(P_1(\lambda)^{e_1}),F(P_2(\lambda)^{e_2}),\cdots,F(P_k(\lambda)^{e_k})\},\] 则 \(B\) 是数域 \(\mathbb{K}\) 上的非异阵. 由友阵的定义容易验证 \(F(\lambda^{t_j})\) 是幂零阵. 令 \[C=\mathrm{diag}\{F(\lambda^{t_1}),F(\lambda^{t_2}),\cdots,F(\lambda^{t_r})\},\] 则 \(C\) 是数域 \(\mathbb{K}\) 上的幂零阵. 由 [问题2014S07] 知 \(A\) 在数域 \(\mathbb{K}\) 上相似于\[\left( \begin{array}{cc} B & 0 \\ 0 & C \end{array} \right),\] 故结论得证. \(\Box\)
[问题2014S07] 解答的更多相关文章
- 精选30道Java笔试题解答
转自:http://www.cnblogs.com/lanxuezaipiao/p/3371224.html 都 是一些非常非常基础的题,是我最近参加各大IT公司笔试后靠记忆记下来的,经过整理献给与我 ...
- 精通Web Analytics 2.0 (8) 第六章:使用定性数据解答”为什么“的谜团
精通Web Analytics 2.0 : 用户中心科学与在线统计艺术 第六章:使用定性数据解答"为什么"的谜团 当我走进一家超市,我不希望员工会认出我或重新为我布置商店. 然而, ...
- 【字符编码】Java字符编码详细解答及问题探讨
一.前言 继上一篇写完字节编码内容后,现在分析在Java中各字符编码的问题,并且由这个问题,也引出了一个更有意思的问题,笔者也还没有找到这个问题的答案.也希望各位园友指点指点. 二.Java字符编码 ...
- spring-stutrs求解答
这里贴上applicationContext里的代码: <?xml version="1.0" encoding="UTF-8"?> <bea ...
- JavaScript Bind()趣味解答 包懂~~
首先声明一下,这个解答是从Segmentfault看到的,挺有意思就记录下来.我放到最下面: bind() https://developer.mozilla.org/zh-CN/docs/Web/J ...
- CMMI4级实践中的5个经典问题及解答
这五个问题相当经典而且比较深,需要做过CMMI4.5级的朋友才能看懂这些问题.这5个问题是一位正在实践CMMI4级的朋友提出来的,而解答则是我的个人见解. 五个疑问是: A.流程,子流程部分不明白 ...
- 海边直播目标2017全国初中数学竞赛班课堂测试题解答-The Final
1. 设函数 $f(x) = 2^x(ax^2 + bx + c)$ 满足等式 $f(x+1) - f(x) = 2^x\cdot x^2$, 求 $f(1)$. 解答: 由 $f(x) = 2^x( ...
- 知乎大牛的关于JS解答
很多疑惑一扫而空.... http://www.zhihu.com/question/35905242?sort=created JS的单线程,浏览器的多进程,与CPU,OS的对位. 互联网移动的起起 ...
- [问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供)
[问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供) (1) 当 \(a=0\) 时,这是高代书复习题一第 33 题,可用升阶法和 Vander Monde 行列式来求解,其结果为 \[ ...
随机推荐
- firebox httprequester 模拟请求
获取下载插件 httprequester 模拟POST请求,必须点击Parameter Body 参数写法:abc=123&id=456 也可以选择Headers栏目添加
- HTML5文件API
File对象与File对象 Blob对象 FileReader对象 File对象 <!DOCTYPE html> <html> <head> <meta ht ...
- Java语法基础思维图
- Final-阶段站立会议5
组名:天天向上 组长:王森 组员:张政.张金生.林莉.胡丽娜 代码地址:HTTPS:https://git.coding.net/jx8zjs/llk.git SSH:git@git.coding.n ...
- UML聚合与组合
http://www.cnblogs.com/shanwenbin/archive/2012/10/24/2737229.html UML聚合与组合 2012-10-24 15:35 by DayDa ...
- ASCII字符对照表 不时之需
ASCII可显示字符 二进制 十进制 十六进制 图形 0010 0000 32 20 (空格)(␠) 0010 0001 33 21 ! 0010 0010 34 22 " 0010 001 ...
- Day2(2016/1/22)——Testing
Activity Button,Toast,Finish 显式intent 隐式明天再看…… 感觉要先补一补java……
- Jfianl
http://www.oschina.net/question/257183_149268----------- 添加Handler: me.add(new ContextPathHandler(&q ...
- mongodb的使用
1.启动mongodb 启动mongodb在Linux中可以进入mongodb的bin目录下执行 ./mongod -dbpath=所建立的数据文件夹 -logpath=所建立的日志文件 ...
- Oracle中的rownum和rowid
http://blog.csdn.net/mitedu/article/details/3584399 rownum http://blog.csdn.net/mitedu/article/deta ...