稳定性与精度评估
  Z. Bai 和 R. Li

对于一个厄米矩阵对 \{A,B\} 的广义特征值问题，其中 A 和 B 之一或它们的某种线性组合是正定的，这种情况在所有矩阵对广义特征值问题中占据独特地位，因为它在许多方面与第四章4讨论的标准厄米特征值问题相似。此类矩阵对被称为厄米正定对。我们将分别考虑以下两种情况：

1. B 是正定且良态的，这意味着 \kappa(B)\equiv \Vert B\Vert _2\Vert B^{-1}\Vert _2 不太大。^[1]
2. 某些 A 和 B 的组合是正定且良态的。

在本节中，我们仅回顾一些基本结果，这些结果可直接用于评估计算得到的特征值和特征向量的准确性。我们假设在成功计算结束后通常可获得残差向量，如果不可获得，之后也可以较低成本计算。

关于稠密广义厄米特征问题的计算特征值和特征向量的误差估计处理，请参见《LAPACK用户指南》第四章[12]。

1. 究竟多大的数值才算“过大”，这是一个模糊的概念，通常需要根据具体情况来处理。一般而言，我们可能会认为，任何超过1000的条件数都可以被视为“过大”。