征值。定理：当"formula_2"是埃尔米特矩阵, 存在标准正交基"formula_1"，由"formula_2"的特征向量组成。且"formula_2"每个特征值都是实数。
证明.这里给出复数情况的证明概要。根据代数基本定理，任何方形虚数项矩阵存在至少一个特征值。若"formula_2"为埃尔米特矩阵，有特征向量formula_21，考虑子空间formula_22，也即formula_21的正交补空间。根据埃尔米特性，formula_24为"formula_2"的不变子