将学习以什么
关于正规矩阵的基础知识
理解正规矩阵
定义
定义 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\) 列与