定义 1.3. (合同等价)

设 $A,B$ 为两个 $n\times n$ 矩阵,若有可逆矩阵 $C$ ,使

$$B=C^{\mathrm{T}}AC$$

则称 $A$ 合同于 $B$.