例 8.63

依赖于

  • 无显式依赖

被以下题目直接调用

例 8.63

阶实对称矩阵 是半正定阵的充要条件是对任意的正实数 都是正定阵。

解答

证明 先证必要性。对任一非零实列向量 ,有

因为 半正定,故 。又 ,从而

因此 是正定阵。

再证充分性。由假设对任一非零实列向量 和正实数 ,有

,上式两边同时取极限可得 ,即 是半正定阵。