Cayley-Hamilton 定理简要证明
证明思路来源于 DZYO 发的博客
Cayley-Hamilton 定理:
设 \(\textbf A\) 是 n阶矩阵,\(f(\lambda)=\det(\lambda\textbf I-\textbf A)\),为其特征多项式,则 \(f(\textbf A)=\textbf0\)。
证明:
考虑令 \(\textbf{B}=\lambda\textbf I-\textbf A,\textbf C=\textbf{B}^*\) ,那么有 \(\textbf{BC}=\textbf{CB}=\det(\lambda\textbf I-\textbf A)\textbf I=f(\lambda)\textbf I\)
考虑到 \(\textbf C_{i,j}\)  是关于实数 \(\lambda\) 的 \(n-1\) 次多项式,\(\textbf B_{i,j}\)  是关于实数 \(\lambda\) 的 \(1\) 次多项式,那么可以把 \(\textbf B,\textbf C\)  都拆分成矩阵多项式然后再乘起来,结果是一个 \(n\) 次的矩阵多项式 \(F(\lambda)=f(\lambda)\textbf I\),注意到这个地方多项式乘法的时候需要计算 \(a_i\lambda^i\times b_j\lambda^j\),因此该矩阵多项式是一个矩阵的多项式必须要带入的矩阵 \(\textbf X\) 必须满足 \(\textbf X\) 与 \(a_i,b_i\) 都可以交换才行。
根据上面得到的等式可以推出 \(F_i=f_i\textbf I\) ,由于 \(\textbf A\) 是可以和 \(a_i,b_i\) 交换的,因此可以将 \(\lambda\) 替换成 \(\textbf A\)
于是 \(F(\textbf A)=\textbf0=f(\textbf A)\textbf I\)
\(\Rightarrow f(\textbf A)=0\)
得证
Cayley-Hamilton 定理简要证明的更多相关文章
- 二分图最大匹配的König定理及其证明
		二分图最大匹配的K?nig定理及其证明 本文将是这一系列里最短的一篇,因为我只打算把K?nig定理证了,其它的废话一概没有. 以下五个问题我可能会在以后的文章里说,如果你现在很想知道的话,网上 ... 
- Computer Science Theory for the Information Age-6: 学习理论——VC定理的证明
		VC定理的证明 本文讨论VC理论的证明,其主要内容就是证明VC理论的两个定理,所以内容非常的枯燥,但对于充实一下自己的理论知识也是有帮助的.另外,VC理论属于比较难也比较抽象的知识,所以我总结的这些证 ... 
- 《University Calculus》-chaper8-无穷序列和无穷级数-泰勒定理的证明
		泰勒定理: 证明: 
- latex中使用定理、证明、缩进
		1.定理和证明 \documentclass[a4paper,UTF8]{article} \usepackage{ctex} \usepackage{amsthm,amsmath,amsfonts, ... 
- xdoj-1057(Lucas定理的证明及其模板)
		Lucas定理的证明: 转自百度百科(感觉写的还不错) 首先你需要这个算式: ,其中f > 0&& f < p,然后 (1 + x) nΞ(1 + x) sp+q Ξ ... 
- hdu5391-Zball in Tina Town-威尔逊定理(假证明)
		Tina Town is a friendly place. People there care about each other. Tina has a ball called zball. Zba ... 
- 二分图最小覆盖的Konig定理及其证明,最小的覆盖证明
		[转http://www.cppblog.com/abilitytao/archive/2009/09/02/95147.html -> http://yejingx.ycool.com/p ... 
- 初等数论-Base-2(扩展欧几里得算法,同余,线性同余方程,(附:裴蜀定理的证明))
		我们接着上面的欧几里得算法说 扩展欧几里得算法 扩展欧几里德算法是用来在已知a, b求解一组x,y,使它们满足贝祖等式\(^①\): ax+by = gcd(a, b) =d(解一定存在,根据数论中的 ... 
- 最大流算法(Edmons-Karp + Dinic 比较) + Ford-Fulkson 简要证明
		Ford-Fulkson用EK实现:483ms #include <cstdio> #include <cstring> #define min(x,y) (x>y?y: ... 
随机推荐
- mysql数据delete后的数据恢复
			误删除了一个订单,订单号为:D200711008, 现根据binlog对该订单数据进行恢复. 1. 查看binlog日志, 取最新的一个 mysql-bin.000635 show binary lo ... 
- vuex : 用vuex控制侧栏点亮状态
			上代码. xxx.vue <template> <div id="xxx"> <div class="layout"> &l ... 
- 设计模式:interpreter模式
			理解:可以广义的理解为创造一种语言,实现该语言的解释器,然后用创造的语言编写程序 对比:如xml就是一种语言,解析xml的代码就是解释器 例子: //目标:定义4中几种命令,使用C++解析 //如下: ... 
- linux nginx 部署多套服务(以react包为例)
			前言 今天我特地写下笔记,希望可以完全掌握这个东西,也希望可以帮助到任何想对学习这个东西的同学. 本文用nginx部署服务为主要内容,基于CentOs 7.8系统. 文档版本:1.0.1 更新时间:2 ... 
- 图论相关知识(DFS、BFS、拓扑排序、最小代价生成树、最短路径)
			图的存储 假设是n点m边的图: 邻接矩阵:很简单,但是遍历图的时间复杂度和空间复杂度都为n^2,不适合数据量大的情况 邻接表:略微复杂一丢丢,空间复杂度n+m,遍历图的时间复杂度为m,适用情况更广 前 ... 
- HTTP request smuggling  CL.TE
			CL.TE 简介 前端通过Content-Length处理请求,通过反向代理或者负载均衡将请求转发到后端,后端Transfer-Encoding优先级较高,以TE处理请求造成安全问题. 检测 发送如下 ... 
- Linux系统查看硬件信息神器,比设备管理器好用100倍!
			大家都知道,当我们的 Linux 系统计算机出现问题时,需要对其排除故障,首先需要做的是找出计算机的硬件信息.下面介绍一个简单易用的应用程序--HardInfo,你可以利用它来显示你电脑的每个硬件方面 ... 
- 阿里云OSS服务器的使用
			关于文件上传,我们一般使用OSS服务器.大致为两种上传方式: 详情官网参考:https://help.aliyun.com/document_detail/31927.html?spm=a2c4g.1 ... 
- Dom运用2
			1.登录系统 <!--输入框创建--> 账号:<input class="ipt" type="text"><br> 密码: ... 
- PHP jewishtojd() 函数
			------------恢复内容开始------------ 实例 把犹太历法的日期转换为儒略日计数: <?php$jd=jewishtojd(6,20,2007);echo $jd;?> ... 
