矩阵的符号

一个实数、非退化的 对称矩阵 ，及其对应的对称双线性形式 ，具有符号 如果存在一个非退化矩阵 使得 是一个对角矩阵，其中有 个 1 和 。在这种情况下， 是一个 对角二次型。

例如，

给出一个对称双线性形式 称为洛伦兹内积，其符号为 。