[问题2014S06] 解答 (本解答由巴闻嘉同学给出)
设特征多项式 \[f(x)=\det(xI_V-\varphi)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0,\] 则由 Cayley-Hamilton 定理可得 \[\varphi^n+a_{n-1}\varphi^{n-1}+\cdots+a_1\varphi+a_0I_V=0.\] 特别地, 上式作用在向量 \(\alpha\) 上可得 \[\varphi^n(\alpha)=-a_{n-1}\varphi^{n-1}(\alpha)-\cdots-a_1\varphi(\alpha)-a_0(\alpha). \cdots\cdots(1)\] 通过数学归纳法不难证明: 对任意的 \(k\geq n\), \(\varphi^k(\alpha)\) 都是 \(\varphi^{n-1}(\alpha)\), \(\cdots\), \(\varphi(\alpha)\), \(\alpha\) 的线性组合, 从而 \[V=L(\alpha,\varphi(\alpha),\cdots)=L(\alpha,\varphi(\alpha),\cdots,\varphi^{n-1}(\alpha)).\] 因为 \(\dim V=n\), 所以 \(\{\alpha,\varphi(\alpha),\cdots,\varphi^{n-1}(\alpha))\}\) 是 \(V\) 的一组基. 由 (1) 式可知 \(\varphi\) 在基 \(\{\alpha,\varphi(\alpha),\cdots,\varphi^{n-1}(\alpha))\}\) 下的表示矩阵为:
\[A=\begin{bmatrix} 0 & 0 & \cdots & 0 & -a_0 \\ 1 & 0 & \cdots & 0 & -a_1 \\ 0 & 1 & \cdots & 0 & -a_2 \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ 0 & 0 & \cdots & 1 & -a_{n-1} \end{bmatrix}, \cdots\cdots(2)\]
即为特征多项式 \(f(x)\) 相伴的友阵 (见复旦高代教材第 250 页复习题 15).
由复旦高代教材第 265 页引理 7.4.1 知 \(\lambda I-A\) 相抵于 \(\mathrm{diag}\{1,\cdots,1,f(\lambda)\}\). 由条件不妨设 \(f(x)=g(x)h(x)\), 其中 \((g(x),h(x))=1\). 由复旦高代教材第 261 页习题 7.2.4 或第 271 页引理 7.6.2 的证明知 \(\mathrm{diag}\{1,\cdots,1,f(\lambda)\}\) 相抵于 \(\mathrm{diag}\{1,\cdots,1,g(\lambda),h(\lambda)\}\). 设 \(B=\mathrm{diag}\{C,D\}\) 为分块对角阵, 其中 \(p\) 阶矩阵 \(C\) 是 \(g(x)\) 的友阵, \(q\) 阶矩阵 \(D\) 是 \(h(x)\) 的友阵. 再次由复旦高代教材第 265 页引理 7.4.1 知 \(\lambda I-B\) 相抵于 \(\mathrm{diag}\{1,\cdots,1,g(\lambda);1,\cdots,1,h(\lambda)\}\). 由复旦高代教材第 265 页引理 7.4.2 知 \(\lambda I-A\) 相抵于 \(\lambda I-B\), 从而由复旦高代教材第 255 页定理 7.1.2 知 \(A\) 相似于 \(B=\mathrm{diag}\{C,D\}\).
因为 \(A\) 是 \(\varphi\) 在某组基下的表示矩阵, 于是存在另一组基 \(\{\beta_1,\cdots,\beta_p;\gamma_1,\cdots,\gamma_q\}\), 使得 \(\varphi\) 在这组基下的表示矩阵为 \(B=\mathrm{diag}\{C,D\}\). 令 \(\beta=\beta_1\), \(\gamma=\gamma_1\). 由于 \(C,D\) 也是形如 (2) 式那样的友阵, 不难验证 \[L(\beta,\varphi(\beta),\cdots)=L(\beta_1,\cdots,\beta_p);\,\,L(\gamma,\varphi(\gamma),\cdots)=L(\gamma_1,\cdots,\gamma_q),\] 因此 \[V=L(\beta_1,\cdots,\beta_p)\oplus L(\gamma_1,\cdots,\gamma_q)=L(\beta,\varphi(\beta),\cdots)\oplus L(\gamma,\varphi(\gamma),\cdots). \quad\Box\]
[问题2014S06] 解答的更多相关文章
-
精选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 行列式来求解,其结果为 \[ ...
随机推荐
-
[LintCode]——目录
Yet Another Source Code for LintCode Current Status : 232AC / 289ALL in Language C++, Up to date (20 ...
-
Sublime Text 2 安装emmet插件和常用快捷键
一.先安装package control1.按Ctrl+`调出console,输入以下命令然后回车 import urllib2,os; pf='Package Control.sublime-pac ...
-
6.Mybatis中的动态Sql和Sql片段(Mybatis的一个核心)
动态Sql是Mybatis的核心,就是对我们的sql语句进行灵活的操作,他可以通过表达式,对sql语句进行判断,然后对其进行灵活的拼接和组装.可以简单的说成Mybatis中可以动态去的判断需不需要某些 ...
-
android launcher 之踩到的坑
需求: 1. 用android系统launcher 隐藏主菜单 所有应用显示在桌面 即workspace上: 2.隐藏launcher上方默认的google search: 3.切换一套launche ...
-
【一天一道LeetCode】#225. Implement Stack using Queues
一天一道LeetCode 本系列文章已全部上传至我的github,地址:ZeeCoder's Github 欢迎大家关注我的新浪微博,我的新浪微博 欢迎转载,转载请注明出处 (一)题目 Impleme ...
-
php手撸轻量级开发(一)
聊聊本文内容 之前讲过php简单的内容,但是原生永远是不够看的,这次用框架做一些功能性的事情. 但是公司用自己的框架不能拿出来,用了用一些流行的框架比如tp,larveral之类的感觉太重,CI也不顺 ...
-
Quartz可以用来做什么
废话的前言 以前凭借年轻,凡事都靠脑记.现在工作几年后发现,很多以前看过.用过的东西,再次拿起的时候总觉得记不牢靠."好记性不如烂笔头"应该是某位上了年纪的大叔的切肤之痛(仅次于上 ...
-
试水jdk8 stream
jdk8出来日子不短了,jdk11都出来了,不过用的最多的不过是1.5罢了. 今年终于鼓起勇气认真对待它,在18年记录下学习stream,画上一个圆. 先看个图 Java8中有两大最为重要的改变.第一 ...
-
折腾apt源的时候发生的错误
在折腾Ubuntu源的时候,把新的源替换进去,然后 sudo apt-get update 之后报错: W: Unknown Multi-Arch type 'no' for package 'com ...
-
C语言学习笔记--struct 和 union关键字
1.struct关键字 C 语言中的 struct 可以看作变量的集合struct中的每个数据成员都有独立的存储空间. 结构体与柔性数组 (1)柔性数组即数组大小待定的数组 (2)C 语言中可以由结构 ...