2.8.1 矩阵的合同

1 定义

• 现给出 $f(\mathbf{x})={\mathbf{x}}^T\mathbf{A}\mathbf{x}$，令 $\mathbf{x}=\mathbf{C}\mathbf{y}$，则 $f(\mathbf{x})={\mathbf{C}\mathbf{y}}^T\mathbf{A}\mathbf{C}\mathbf{y}={\mathbf{y}}^T({\mathbf{C}}^T\mathbf{A}\mathbf{C})\mathbf{y}$。记 $\mathbf{B}={\mathbf{C}}^T\mathbf{A}\mathbf{C}$，则 $f(\mathbf{x})={\mathbf{y}}^T\mathbf{B}\mathbf{y}=g(\mathbf{y})$。此时二次型 $f(\mathbf{x})={\mathbf{x}}^T\mathbf{A}\mathbf{x}$ 通过线性变换 $\mathbf{x}=\mathbf{C}\mathbf{y}$ 得到一个新二次型 $g(\mathbf{y})={\mathbf{y}}^T\mathbf{B}\mathbf{y}$。

• 设 $\mathbf{A},\mathbf{B}$ 为 $n$ 阶实对称矩阵，若存在可逆矩阵 $\mathbf{C}$，使得 ${\mathbf{C}}^T\mathbf{A}\mathbf{C}=\mathbf{B}$，则称 $\mathbf{A}$ 与 $\mathbf{B}$ 合同，记作 $\mathbf{A}\simeq \mathbf{B}$，此时称 $f(\mathbf{x})$ 与 $g(\mathbf{y})$ 为合同二次型。

2 本质

• 在二次型中，$\mathbf{A}$ 与 $\mathbf{B}$ 的合同，就是指同一个二次型在可逆性变换下的两个不同状态的联系。

3 性质

• $\mathbf{A}\simeq \mathbf{A}$（反身性）
• 若 $\mathbf{A}\simeq \mathbf{B}$，则 $\mathbf{B}\simeq \mathbf{A}$。（对称性）
• 若 $\mathbf{A}\simeq \mathbf{B},\mathbf{B}\simeq \mathbf{C}$，则 $\mathbf{B}\simeq \mathbf{C}$。（传递性）
• 若 $\mathbf{A}\simeq \mathbf{B}$，则 $r(\mathbf{A})=r(\mathbf{B})$，因此可逆线性变换不会改变二次型的秩。

由于在二次型中，二次型的矩阵都是对称矩阵，所以和对称矩阵合同的矩阵也必是对称矩阵，因为若 $\mathbf{A}\simeq \mathbf{B}$，即存在可逆矩阵 $\mathbf{C}$，使得 ${\mathbf{C}}^T\mathbf{A}\mathbf{C}=\mathbf{B}$，其中 ${\mathbf{A}}^T=\mathbf{A}$，则 BT=(CTAC)T=CTATC=CTAC=B\boldsymbol{B}^T=(\boldsymbol{C}^T\boldsymbol{A}\boldsymbol{C})^T=\boldsymbol{C}^T\boldsymbol{A}^T\boldsymbol{C}=\boldsymbol{C}^T\boldsymbol{A}\boldsymbol{C}=\boldsymbol{B}BT=(CTAC)T=CTATC=CT</