[矩阵论]正规矩阵可酉相似对角化

[矩阵论]正规矩阵可酉相似对角化正规矩阵可酉相似对角化 充要条件

证明 A A A可以酉相似对角化的充要条件是, A A A是正规矩阵
A H A = A A H A^H A = AA^H AHA=AAH


这里的酉对角化,是一个更强的条件,要求 P P P是一个酉矩阵



要证明,上述条件是充要的

先证 A H A = A A H A^H A = AA^H AHA=AAH ⇐ \Leftarrow A 可以酉相似对角化 A\text{可以酉相似对角化} A可以酉相似对角化

则,存在酉矩阵 U U U, s . t . s.t. s.t.:
U − 1 A U = U H A U = [ λ 1 λ 2 . . . . λ n ] U^{-1} A U = U^H A U = \begin{bmatrix} \lambda_1 & & & \\ & \lambda_2 \\ & & …. \\ &&& \lambda_n \end{bmatrix} U1AU=UHAU=λ1λ2....λn

给上式取转置共轭,则有:
U H A H U = [ λ ˉ 1 λ ˉ 2 . . . . λ ˉ n ] U^H A^H U = \begin{bmatrix} \bar{\lambda}_1 & & & \\ & \bar{\lambda}_2 \\ & & …. \\ &&& \bar{\lambda}_n \end{bmatrix} UHAHU=λˉ1λˉ2....λˉn

( U H A H U ) ( U H A U ) = U H A H A U (U^H A^H U) (U^H A U)=U^H A^H A U (UHAHU)(UHAU)=UHAHAU 的值也是上述对角阵

再证 A H A = A A H A^H A = AA^H AHA=AAH ⇒ \Rightarrow A 可以酉相似对角化 A\text{可以酉相似对角化} A可以酉相似对角化

附录的Schur分解定理,显然存在酉矩阵 U U U, s . t . s.t. s.t.

U H A U = [ t 11 t 12 . . . t 1 n t 22 . . . t 2 n . . . . . . t n n ] U^H A U = \begin{bmatrix} t_{11} & t_{12} & … & t_{1n} \\ & t_{22} & … & t_{2n} \\ & & … & … \\ && & t_{nn} \\ \end{bmatrix} UHAU=t11t12t22.........t1nt2n...tnn
对该式子进行共轭转置,有:
U H A H U = [ t ˉ 11 t ˉ 12 t ˉ 22 . . . . . . . . . t ˉ 1 n t ˉ 2 n . . . t ˉ 1 n ] U^H A^H U = \begin{bmatrix} \bar{t}_{11} & & & \\ \bar{t}_{12} & \bar{t}_{22} & & \\ … & … & … & \\ \bar{t}_{1n} & \bar{t}_{2n} & … & \bar{t}_{1n} \\ \end{bmatrix} UHAHU=tˉ11tˉ12...tˉ1ntˉ22...tˉ2n......tˉ1n

[ t 11 t 12 . . . t 1 n t 22 . . . t 2 n . . . . . . t n n ] [ t ˉ 11 t ˉ 12 t ˉ 22 . . . . . . . . . t ˉ 1 n t ˉ 2 n . . . t ˉ 1 n ] = [ t ˉ 11 t ˉ 12 t ˉ 22 . . . . . . . . . t ˉ 1 n t ˉ 2 n . . . t ˉ 1 n ] [ t 11 t 12 . . . t 1 n t 22 . . . t 2 n . . . . . . t n n ] \begin{bmatrix} t_{11} & t_{12} & … & t_{1n} \\ & t_{22} & … & t_{2n} \\ & & … & … \\ && & t_{nn} \\ \end{bmatrix}\begin{bmatrix} \bar{t}_{11} & & & \\ \bar{t}_{12} & \bar{t}_{22} & & \\ … & … & … & \\ \bar{t}_{1n} & \bar{t}_{2n} & … & \bar{t}_{1n} \\ \end{bmatrix} = \begin{bmatrix} \bar{t}_{11} & & & \\ \bar{t}_{12} & \bar{t}_{22} & & \\ … & … & … & \\ \bar{t}_{1n} & \bar{t}_{2n} & … & \bar{t}_{1n} \\ \end{bmatrix} \begin{bmatrix} t_{11} & t_{12} & … & t_{1n} \\ & t_{22} & … & t_{2n} \\ & & … & … \\ && & t_{nn} \\ \end{bmatrix} t11t12t22.........t1nt2n...tnntˉ11tˉ12...tˉ1ntˉ22...tˉ2n......tˉ1n=tˉ11tˉ12...tˉ1ntˉ22...tˉ2n......tˉ1nt11t12t22.........t1nt2n...tnn
仅仅看等式左右结果的对角线元素:
{ ∣ t 11 ∣ 2 + ∣ t 12 ∣ 2 + . . . + ∣ t 1 n ∣ 2 = ∣ t 11 ∣ 2 ∣ t 22 ∣ 2 + ∣ t 23 ∣ 2 + . . . + ∣ t 2 n ∣ 2 = ∣ t 22 ∣ 2 . . . . . . ∣ t n n ∣ 2 = ∣ t 1 n ∣ 2 + ∣ t 2 n ∣ 2 + . . . + ∣ t n n ∣ 2 \left\{\begin{matrix} |t_{11}|^2 + |t_{12}|^2 + … + |t_{1n}|^2 & = & |t_{11}|^2 \\ |t_{22}|^2 + |t_{23}|^2 + … + |t_{2n}|^2 & = & |t_{22}|^2 \\ … && …\\ |t_{nn}|^2 & = & |t_{1n}|^2 + |t_{2n}|^2 + … + |t_{nn}|^2& \end{matrix}\right. t112+t122+...+t1n2t222+t232+...+t2n2...tnn2===t112t222...t1n2+t2n2+...+tnn2

附录:Schur分解定理

∀ A ∈ C n × n \forall A \in C^{n \times n} ACn×n,存在酉矩阵 U ∈ C n × n U\in C^{n\times n} UCn×n,使得

(划重点,这里是任意矩阵!!)

U − 1 A U = U H A U = T = [ λ 1 ∗ . . . ∗ λ 2 . . . ∗ . . . ∗ λ n ] U^{-1}AU = U^H A U = T = \begin{bmatrix} \lambda_1 & * & … & * \\ & \lambda_2 & … & * \\ & & … & * \\ &&& \lambda_n \end{bmatrix} U1AU=UHAU=T=λ1λ2.........λn

其中, λ 1 \lambda_1 λ1 λ 2 \lambda_2 λ2,…, λ n \lambda_n λn A A A的特征值,即 ∀ A \forall A A都可以酉相似于一个上三角矩阵 T T T

证明自己搜吧哈哈哈哈


给出酉相似的标准定义:

A , B ∈ C n × n A,B\in C^{n\times n} A,BCn×n,若存在酉矩阵 U U U使得
U − 1 A U = U H A U = B U^{-1} A U = U^H A U = B U1AU=UHAU=B
则称 A A A B B B酉相似

有参考自:

可对角化的矩阵一定是正规矩阵吗? – junjun的回答 – 知乎 https://www.zhihu.com/question//answer/

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/225083.html原文链接:https://javaforall.net

(0)
上一篇 2026年3月17日 上午10:09
下一篇 2026年3月17日 上午10:10


相关推荐

  • lombok-@Accessors注解

    lombok-@Accessors注解Accessors 一个为 getter 和 setter 设计的更流畅的 API 实验性 experimental lombok 中有 experimental 的包实验性因为 1 我们可能想将这些特性和更完全的性质支持概念融为一体 普通话 这些性能还在研究 2 新特性 需要社区反馈目前的状态 positive 目前我们觉得这个特性可能会移出实验状态 没有或者有一些小的变动 概况 Acces

    2026年3月18日
    2
  • spring boot 系列之七:SpringBoot整合Mybatis

    springboot已经很流行,但是它仍需要搭配一款ORM框架来实现数据的CRUD,之前已经分享过JdbcTemplete和JPA的整合,本次分享下Mybatis的整合。对于mybatis的使用,需

    2022年2月16日
    44
  • Unity 3D游戏开发学习教程

    Unity 3D游戏开发学习教程用C#用Unity3D制作游戏你会学到:您将学习3D游戏开发基础知识,以使用Unity3D引擎推进事物。到本课程结束时,他们将可以轻松制作任何类型的游戏,无论是3D还是2DMP4|视频:h264,1280×720|音频:AAC,44.1KHz,2Ch语言:英语+中英文字幕(根据原英文字幕机译更准确)|时长:87节课(11h32m)|大小解压后:5.86GB描述用Unity3D开发3D游戏《2021年》是一门结构完善的高级UnityC#课程,专为完全…

    2025年11月26日
    3
  • 说明子网和子网掩码的概念_子网与子网掩码

    说明子网和子网掩码的概念_子网与子网掩码子网掩码与子网划分 目录: 一、摘要 二、子网掩码的概念及作用 三、为什么需要使用子网掩码 四、如何用子网掩码得到网络/主机地址 五、子网掩码的分类 六、子网编址技术 七、如何划分子网及确定子网掩码 八、相关判断方法 一、摘要 近期在我的论坛中大家对子网掩码以及子网划分的讨论比较多,因为前面也写了关于ip地址的教程,为了延续性,就写了这个关于子网掩码与子网划分的教程,学这篇教…

    2025年7月21日
    3
  • python正则表达式菜鸟教程_正则表达式空格怎么表示

    python正则表达式菜鸟教程_正则表达式空格怎么表示正则表达式的作用:用来匹配字符串一、字符串方法字符串提供的方法是完全匹配,不能进行模糊匹配s=’helloworld’#字符串提供的方法是完全匹配,不能进行模糊匹配print(s.find(‘ll’))#2查找ll的位置,输出的是第一个l的位置ret=s.replace(‘ll’,’xx’)#替换,用ll替换为xxprint(ret)#hexxowo…

    2026年4月15日
    6
  • 10个在线接收国内外手机验证码的免费网站

    10个在线接收国内外手机验证码的免费网站https zhuanlan zhihu com p

    2026年3月17日
    2

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注全栈程序员社区公众号