正规矩阵

将学习以什么

关于正规矩阵的基础知识
 

---

理解正规矩阵

定义

  定义 1： 矩阵 \(A\in M_n\) 称为是正规的，如果 \(AA^*=A^*A\), 也就是，如果 \(A\) 与它的共轭转置可交换。
 
根据定义可以得出以下结论：

• 如果 \(A\in M_n\) 是正规的，且 \(\alpha \in \mathbb{C}\), 显然 \(\alpha A\) 是正规的. 即正规矩阵类在用复纯量作的乘法运算下是封闭的
• 如果 \(A\in M_n\) 是正规的，又如果 \(B\) 与 \(A\) 酉相似，即存在酉矩阵 \(U\) 使得 \(B=U^*AU\), 由 \(BB^*=(U^*AU)(U^*A^*U)=U^*AA^*U=U^*A^*UU^*AU=B^*B\), 所以 \(B\) 也是正规的，即正规矩阵类在酉相似之下是封闭的
• 如果 \(A\in M_n\) 与 \(B \in M_m\) 是正规的, 显然 \(A\oplus B\in M_{n+m}\) 是正规的. 即正规矩阵类在直和运算下是封闭的
• 如果 \(A\in M_n\) 与 \(B \in M_m\), 如果 \(A\oplus B\in M_{n+m}\) 是正规的，那么 \(A\) 与 \(B\) 也是正规的
• 每个酉矩阵、Hermite 矩阵、斜 Hermite 矩阵、实正交矩阵、实对称矩阵以及实的斜对称矩阵都是正规的

 

几何角度

对于正规矩阵 \(A\in M_n\), 按列来分划 \(A=[c_1 \quad \cdots \quad c_n]\) 以及 \(A^T=[r_1 \quad \cdots \quad r_n]\), 向量 \(c_j\) 是 \(A\) 的列，而向量 \(r_i^T\) 是 \(A\) 的行. 定义恒等式 \(AA^*=A^*A\) 提示出：\(A\) 是正规的，当且仅当对所有 \(i,j=1,\cdots,n\) 都有 \(c_i^*c_j=\overline{r_i^*r_j}\), 特别地，\(c_i^*c_i=\lVert c_i \rVert _2^2 = \lVert r_i \rVert _2^2=r_i^*r_i\), 所以 \(A\) 的每一列与它对应的行一样，有同样的 Euclid 范数；一列为零当且仅当对应的行为零.
如果 \(A \in M_n(\mathbb{R})\) 是实的正规矩阵，那么对所有 \(i\) 与 \(j\) 都有 \(c_i^Tc_j=\langle c_i,c_j \rangle=\langle r_i, r_j \rangle=r_i^T r_j\). 如果 \(i\) 列与 \(j\) 列不是零，那么 \(i\) 行与 \(j\) 行不是零，且恒等式
\begin{align}
\frac{\langle c_i,c_j \rangle}{\lVert c_i \rVert _2 \lVert c_j \rVert _2} =\frac{\langle r_i, r_j \rangle}{\lVert r_i \rVert _2 \lVert r_j \rVert _2}
\end{align}
告诉我们：\(A\) 的 \(i\) 列与