对称阵有一个很优美的性质:它总能相似对角化,对称阵不同特征值对应的特征向量两两正交。
假设矩阵 A A A是一个对称矩阵, x i x_i xi​和 x j x_j xj​ 是矩阵 A A A 的任意两个特征向量, λ i \lambda_i λi​和 λ j \lambda_j λj​ 是与 x i x_i xi​和 x j x_j xj​ 相对应的特征值,则有:

A x i = λ i x i ( 1 ) Ax_i = \lambda_ix_i \qquad (1) Axi​=λi​xi​(1)

A x j = λ j x j ( 2 ) Ax_j = \lambda_jx_j \qquad (2) Axj​=λj​xj​(2)

将式(1)的两边左乘以 x j T x_j^T xjT​ ,可得:

x j T A x i = λ i x j T x i ( 3 ) x_j^TAx_i = \lambda_ix_j^Tx_i \qquad (3) xjT​Axi​=λi​xjT​xi​(3)

因为矩阵 A A A是一个对称矩阵,可以对式(3)的左边做如下变换:

x j T A x i = x j T A T x i = ( A x j ) T x i ( 4 ) x_j^T A x_i = x_j^T A^T x_i = (A x_j)^T x_i \qquad (4) xjT​Axi​=xjT​ATxi​=(Axj​)Txi​(4)

将式(2)代入式(4),可得:

x j T A x i = x j T A T x i = ( A x j ) T x i = ( λ j x j ) T x i = λ j x j T x i ( 5 ) x_j^T A x_i = x_j^T A^T x_i = (A x_j)^T x_i = (\lambda_j x_j)^T x_i = \lambda_j x_j^Tx_i\qquad (5) xjT​Axi​=xjT​ATxi​=(Axj​)Txi​=(λj​xj​)Txi​=λj​xjT​xi​(5)

结合式(3),可得:

$ \lambda_i x_j^Tx_i = \lambda_j x_j^Tx_i , 即 : ,即: ,即: (\lambda_i -
\lambda_j) x_j^Tx_i = 0\qquad (6) $

因为$\lambda_i \neq \lambda_j , , ,x_j^Tx_i 必 然 等 于 0 。 由 于 必然等于0。 由于 必然等于0。由于x_i 和 和 和x_j 是 矩 阵 是矩阵 是矩阵A$的任意两个特征向量,所以命题得证。

对称矩阵的特征向量两两正交的证明相关推荐

  1. 线性代数 --- 线性代数基本定理下(四个基本子空间两两正交且互为正交补)

    正交子空间 前面我们已经知道了,两个向量的内积为0是勾股定理的另一种表现形式.现在我们来研究一下两个子空间之间的正交.虽然,我很不喜欢一上来就先给个定义,但我这里还是要给,sorry! 现有两个子空间 ...

  2. CV之FR:DIY脚本通过人脸图像得到人脸特征向量并输出多张人脸图片之两两图片之间的距离

    CV之FR:DIY脚本通过人脸图像得到人脸特征向量并输出多张人脸图片之两两图片之间的距离 目录 输出结果 设计思路 实现代码 计算过程 输出结果 设计思路 实现代码 from scipy import ...

  3. 两次拉格朗日中值证明曲线凹凸性定理_2016514

    两次拉格朗日中值证明曲线凹凸性定理

  4. Rolle中值定理的两个数学推论证明

    Rolle中值定理的两个数学推论证明 中值定理的两个数学推论的证明过程,体现的数学思想比较有趣,我把它备忘记录下来. Rolle中值定理的数学推论1: 简单的说吧,就是,假设I区间可微.连续,如果f' ...

  5. 特征向量一定是正交的吗

    特征向量一定是正交的吗 对称阵不同的特征值对应的特征向量是相互正交的. 不对 只能保证 线性无关 实对称矩阵属于不同,特征值.

  6. AI-蛋白质-结构预测-2020:AlphaFold【输入:氨基酸序列】【输出:结构的性质(氨基酸之间两两的距离分布,氨基酸链的夹角分布)】【根据预测的性质构建约束,从而求解出拓扑结构】

    注意:这是关于AlphaFold的算法详细解析,而不是AlphaFold2的 注意:带斜体句子的是个人推测,不确定是否和论文对应. 作为一个计算机专业的算法从业人员,一直对AlphaFold[1]的算 ...

  7. LeetCode中等题之两两交换链表中的节点

    题目 给你一个链表,两两交换其中相邻的节点,并返回交换后链表的头节点.你必须在不修改节点内部的值的情况下完成本题(即,只能进行节点交换). 示例 1: 输入:head = [1,2,3,4] 输出:[ ...

  8. 用spss做多组两两相关性分析_两独立样本T检验及如何利用SPSS实现其操作

    上一篇文章我们讲解了有关单样本T检验的相关内容(如何使用SPSS进行单样本检验),其实论文中除了常用到的单样本T检验以外,还有另外一种T检验的方法也是经常用到的统计方法,也就是两独立样本T检验 说到T ...

  9. leetcode-24 两两交换链表中的节点

    题目描述 给定一个链表,两两交换其中相邻的节点,并返回交换后的链表. 你不能只是单纯的改变节点内部的值,而是需要实际的进行节点交换. 示例: 给定 1->2->3->4, 你应该返回 ...

最新文章

  1. IOS UIScrollView (转)
  2. php和python区别-php和python什么区别
  3. Java中MessageFormat的使用
  4. python3:对list中每个元素进行处理
  5. python 表达式求值数据结构_python 数据结构与算法
  6. [Leetcode][第410题][JAVA][分割数组的最大值][动态规划][二分]
  7. PCB常用度量衡单位
  8. 手把手教你如何罗列提纲,避开这3个坑,提升写作效率50%
  9. python数据可视化 - matplotlib专题:带数据标签的双batch的Bar图绘制示例
  10. 人性”的三张图,改变无数人!
  11. Ural 1043 Cover the Arc
  12. SpringCloud微服务(02):Ribbon和Feign组件,实现服务调用的负载均衡
  13. 绿盟科技网络安全威胁周报2017.02 请关注Microsoft Edge远程权限提升漏洞 CVE-2017-0002...
  14. 浅谈 MyBatis 缓存
  15. 论文、报告中那些乱七八糟的图(甘特图、卡吉图,桑基图,小提琴图,弦图,螺旋图,风玫瑰图)
  16. Python数据分析-房价的影响因素图解
  17. 新西兰理工大学计算机专业排名,有关往年新西兰的大学专业排名
  18. 每天学点Vue,学习笔记---DAY4
  19. 关于laravel 使用__call,__callStatic实现静态,动态方法互相调用
  20. 《上瘾:让用户养成使用习惯的四大产品逻辑》读书笔记摘录

热门文章

  1. 用uglifyjs压缩JS js压缩 混淆
  2. 报错 -bash: bc: command not found
  3. 产品经理的修炼:如何把梳子卖给和尚
  4. 为你推荐一款最好用的免费截图工具-Snipaste,截图高清、智能模糊还支持滚动长截图!!!
  5. 位运算:找出来数组中落单的两个数
  6. 包含main函数的栈——《剑指offer》
  7. 国内外网络安全厂商大汇总
  8. 关于python内置雅虎内置财经接口
  9. 2.python爬虫实战:爬取近5年的中国大学排行榜信息【Python】(测试代码+api例程)
  10. 利用Python turtle库实现六角形、无角正方形的绘制