测试 2×2 数值矩阵是否为正规矩阵：

测试 3×3 符号矩阵是否为正规矩阵：

验证条件 m.ConjugateTranspose[m]ConjugateTranspose[m].m：

正规矩阵是最一般的一种矩阵，可以被酉对角化为 ，其中， 为对角矩阵， 为酉矩阵. 所有的 Hermitian 矩阵 都是正规矩阵，因为等式的两边皆为 ：

同样，所有的反厄米特矩阵也都是正规矩阵，因为等式的两边皆为 ：

酉矩阵是正规矩阵，因为代入定义 后两边都给出单位矩阵：

证明下面的矩阵是正规矩阵，然后将其对角化：

用 NormalMatrixQ 确认：

可用 Eigensystem 酉对角化像 这样的正规矩阵：

对角线上的元素可以是任意复数：

归一化特征向量并将其作为矩阵的列会给出一个酉矩阵：

确认对角化 ：

任意正规矩阵都可以用 这种形式表示，据此，用一组给定的特征值生成正规矩阵，其中， 为酉矩阵， 为对角矩阵：

总的来说，该矩阵不是 Hermitian 矩阵，也不是反厄米特矩阵或酉矩阵：

如果用来生成矩阵的特征值是实数，则矩阵是Hermitian 矩阵：

如果特征值是虚数，则矩阵是反厄米特矩阵：

如果特征值位于单位圆上，则矩阵是酉矩阵：

创建一个既是酉矩阵又是反厄米特矩阵的矩阵：

因为正规矩阵可以酉对角化，所以计算矩阵函数特别简单. 如果 ，则 ，可通过将 应用于每个对角元素来计算 . 考虑以下正规矩阵：

计算 Eigensystem[n]：

此例中特征向量被归一化，因此 ， 是根据 构建的对角矩阵：

计算 并用 MatrixPower 确认：

计算 并用 MatrixExp 确认：

计算 并用 MatrixLog 确认：

计算 并用 MatrixFunction 确认：

许多矩阵分布可产生正态矩阵，包括 CircularRealMatrixDistribution：

CircularSymplecticMatrixDistribution：

GaussianOrthogonalMatrixDistribution：

GaussianUnitaryMatrixDistribution :

对角矩阵的 SchurDecomposition 总是等价于 Eigensystem：

三角矩阵 t 实际上是对角矩阵，尽管它可能包含舍入错误：

t 的非对角线上的元素实际上是舍入误差：

t 的对角线上的特征值是无序的：

NormalMatrixQ[m] 实际上等价于 m.m^m^.m：

任何实对称矩阵都是正规矩阵：

对于厄米特矩阵也成立：

任何实非对称矩阵都是正规矩阵：

对于反厄米特矩阵也成立：

任何实正交矩阵都是正规矩阵：

对于酉矩阵也成立：

关于正规矩阵 ，对于所有向量 ， 成立：

两个正规矩阵的乘积不一定是正规矩阵：

当且仅当两个正规矩阵可交换时，乘积才是正规矩阵：

这种情况下，和也是正规矩阵：

当且仅当矩阵的 Hermitian 和反厄米特部分是可交换的，矩阵才是正规矩阵：

正规矩阵总是可对角化的：

实际上，它总是可用 Eigensystem 酉对角化的：

特征向量是正交的：

因此，将归一化的特征向量作为矩阵的列可形成一个酉矩阵：

因此，，其中 是对角矩阵，其中的元素为特征值 ：

对于正规矩阵 m，{s,j}=JordanDecomposition[m]：

矩阵总是为对角矩阵：

矩阵的列是正交的，但不一定是标准正交的：

可通过 UnitaryMatrixQ（设置 NormalizedFalse）快速进行验证：

对于正规矩阵 ，如果允许有复数元素，则 SchurDecomposition[n] 的 矩阵是对角矩阵：

因为对角元素是特征值，SchurDecomposition 与 Eigensystem 的结果一致：

特征值为实数的正规矩阵是厄米特矩阵：

用 HermitianMatrixQ 验证：

特征值为纯虚数的正规矩阵是反厄米特矩阵：

用 AntihermitianMatrixQ 验证：

一个特征值都具有单位模的正规矩阵是酉矩阵：

用 UnitaryMatrixQ 验证：

对于任意正规矩阵，，其中 是 的特征值：

正规矩阵的特征值的绝对值等于矩阵的奇异值：