_5表示矩阵formula_3的转置矩阵。对于二次型的矩阵表示来说，做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵。在有限维线性空间中同一双线性函数在不同基下的度量矩阵是合同的。
性质.合同关系是一个等价关系，也就是说满足：合同类矩阵具有相等的秩和正惯性指数，秩和正惯性指数是合同关系下的完全不变量，即如果两个矩阵合同等价于他们的秩和正惯性指数相等。由于每个二次型都可以经过线性替换变成若干个平方和的形式，对于矩阵来说，就是每个对称矩阵都合同于一个对角