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

满足：
$$A^{H}A=A{A}^H$$
的矩阵，被称为正规矩阵

证明$A$可以酉相似对角化的充要条件是，$A$是正规矩阵
$$A^{H}A=A{A}^H$$

---

这里插一句：
一般矩阵可以对角化是：
$$P^{-1}AP=\Lambda$$
$\Lambda$ 是对角阵，而对角化只要求P是个可逆矩阵即可

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

---

再插一句：
酉矩阵$U$，可以看做正交矩阵的推广，即：
$$U^{H}U=U{U}^H=I$$

---

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

先证 $A^{H}A=A{A}^H$ $\Leftarrow$ $A\text{可以酉相似对角化}$

则，存在酉矩阵$U$, $s.t.$:
$$U^{-1}AU=U^{H}AU=\left[\begin{array}{cccc}{\lambda }_1& & & \\ & {\lambda }_2& & \\ & & ....& \\ & & & {\lambda }_n\end{array}\right]$$

给上式取转置共轭，则有：
$$U^H{A}^{H}U=\left[\begin{array}{cccc}{\bar{\lambda }}_1& & & \\ & {\bar{\lambda }}_2& & \\ & & ....& \\ & & & {\bar{\lambda }}_n\end{array}\right]$$

然后两式子相乘
$$(U^{H}AU)(U^H{A}^{H}U)=U^{H}A{A}^{H}U=\left[\begin{array}{cccc}|{\lambda }_1{|}^2& & & \\ & |{\lambda }_2{|}^2& & \\ & & ....& \\ & & & |{\lambda }_n{|}^2\end{array}\right]$$

而$(U^H{A}^{H}U)(U^{H}AU)=U^H{A}^{H}AU$ 的值也是上述对角阵

故而：
$$U^H{A}^{H}AU=U^{H}A{A}^{H}U$$
有：
$$A^{H}A=A{A}^H$$

再证 $A^{H}A=A{A}^H$ $\Rightarrow$ $A\text{可以酉相似对角化}$

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

$$U^{H}AU=\left[\begin{array}{cccc}{t}_{11}& t_{12}& ...& t_{1n}\\ & t_{22}& ...& t_{2n}\\ & & ...& ...\\ & & & t_{nn}\end{array}\right]$$
对该式子进行共轭转置，有：
$$U^H{A}^{H}U=\left[\begin{array}{cccc}{\bar{t}}_{11}& & & \\ {\bar{t}}_{12}& {\bar{t}}_{22}& & \\ ...& ...& ...& \\ {\bar{t}}_{1n}& {\bar{t}}_{2n}& ...& {\bar{t}}_{1n}\end{array}\right]$$

根据之前的证明
$$(U^H{A}^{H}U)(U^{H}AU)=U^H{A}^{H}AU=U^{H}A{A}^{H}U=(U^{H}AU)(U^H{A}^{H}U)$$
有：

$$\left[\begin{array}{cccc}{t}_{11}& t_{12}& ...& t_{1n}\\ & t_{22}& ...& t_{2n}\\ & & ...& ...\\ & & & t_{nn}\end{array}\right]\left[\begin{array}{cccc}{\bar{t}}_{11}& & & \\ {\bar{t}}_{12}& {\bar{t}}_{22}& & \\ ...& ...& ...& \\ {\bar{t}}_{1n}& {\bar{t}}_{2n}& ...& {\bar{t}}_{1n}\end{array}\right]=\left[\begin{array}{cccc}{\bar{t}}_{11}& & & \\ {\bar{t}}_{12}& {\bar{t}}_{22}& & \\ ...& ...& ...& \\ {\bar{t}}_{1n}& {\bar{t}}_{2n}& ...& {\bar{t}}_{1n}\end{array}\right]\left[\begin{array}{cccc}{t}_{11}& t_{12}& ...& t_{1n}\\ & t_{22}& ...& t_{2n}\\ & & ...& ...\\ & & & t_{nn}\end{array}\right]$$
仅仅看等式左右结果的对角线元素：
$$\{\begin{array}{cccc}|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{array}$$

得出右上角元素(对角线除外)全为0，故：
$$U^{H}AU=\left[\begin{array}{cccc}{t}_{11}& 0& ...& 0\\ & t_{22}& ...& 0\\ & & ...& ...\\ & & & t_{nn}\end{array}\right]$$
证毕

附录：Schur分解定理

设$\forall A\in C^{n\times n}$，存在酉矩阵$U\in C^{n\times n}$，使得

（划重点，这里是任意矩阵!!）

$$U^{-1}AU=U^{H}AU=T=\left[\begin{array}{cccc}{\lambda }_1& \ast & ...& \ast \\ & {\lambda }_2& ...& \ast \\ & & ...& \ast \\ & & & {\lambda }_n\end{array}\right]$$

其中，${\lambda }_1$，${\lambda }_2$，…，${\lambda }_n$是$A$的特征值，即$\forall A$都可以酉相似于一个上三角矩阵$T$

证明自己搜吧哈哈哈哈

---

给出酉相似的标准定义：

设$A,B\in C^{n\times n}$，若存在酉矩阵$U$使得
$$U^{-1}AU=U^{H}AU=B$$
则称$A$与$B$酉相似

有参考自：

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