实对称矩合同.docVIP

实对称矩阵合同

一、定义与基本概念

实对称矩阵合同是线性代数中刻画矩阵等价关系的重要概念。对于两个n阶实对称矩阵A和B，若存在可逆矩阵C，使得B=C^TAC成立，则称矩阵A与B合同。这一定义的核心在于通过可逆线性变换（合同变换）实现矩阵的转化，其中C^T表示矩阵C的转置。需要注意的是，合同关系并不局限于实对称矩阵，但实对称矩阵的合同具有独特的性质和广泛的应用价值，尤其在二次型理论中占据核心地位。

实对称矩阵自身的特性为合同变换提供了基础。由于实对称矩阵满足A=A^T，其合同变换的结果仍保持对称性：(C^TAC)^T=C^TA^TC=C^TAC，因此合同变换不改变矩阵的对称性。这一性质使得实对称矩阵的合同关系在二次型化简中尤为重要，因为二次型的矩阵表示必然是实对称矩阵，而合同变换对应着二次型的可逆线性替换。

二、合同关系的基本性质

实对称矩阵的合同关系是一种等价关系，满足以下三个基本性质：

反身性：任意实对称矩阵A与其自身合同。取变换矩阵C为单位矩阵E，即可验证E^TAE=A，因此反身性成立。这一性质表明任何矩阵在合同关系中都与自身等价，是等价关系的基础。

对称性：若A与B合同，则B与A合同。由合同定义可知，若存在可逆矩阵C使得B=C^TAC，则等式两边同时左乘(C^{-1})^T、右乘C^{-1}，可得A=(C^{-1})^TBC^{-1}。令D=C^{-1}，则A=D^TBD，即B与A合同，对称性得证。

传递性：若A与B合同，B与C合同，则A与C合同。由条件可知存在可逆矩阵C1、C2使得B=C1^TAC1和C=C2^TBC2。将前式代入后式可得C=C2^T(C1^TAC1)C2=(C1C2)^TA(C1C2)，令C3=C1C2（可逆矩阵乘积仍可逆），则C=C3^TAC3，故A与C合同，传递性成立。

此外，合同关系还具有秩不变性：合同矩阵的秩相等。由于可逆矩阵不改变矩阵的秩（初等变换保秩），而合同变换可分解为一系列初等变换的组合，因此若A与B合同，则r(A)=r(B)。这一性质是判断矩阵合同的必要非充分条件，即秩不同的矩阵一定不合同，但秩相同的矩阵未必合同。

三、实对称矩阵合同的充要条件

实对称矩阵合同的核心判别准则由惯性定理给出：两个实对称矩阵合同的充分必要条件是它们具有相同的正惯性指数和负惯性指数。惯性指数是实对称矩阵的本质属性，其中正惯性指数指矩阵正特征值的个数（重根按重数计算），负惯性指数指负特征值的个数，而零特征值的个数由矩阵的秩与正负惯性指数共同决定（秩r=p+q，p为正惯性指数，q为负惯性指数）。

这一充要条件的证明可通过规范形的唯一性实现。任意实对称矩阵都合同于一个规范形矩阵，其形式为对角线上依次排列p个1、q个-1和(r-p-q)个0的对角矩阵。由于规范形由正负惯性指数唯一确定，因此两个实对称矩阵合同当且仅当它们的规范形相同，即正负惯性指数分别相等。例如，矩阵diag(1,2,-3)与diag(1,1,-1)合同（p=2,q=1），但与diag(1,-1,-1)不合同（p=1≠2）。

在复数域上，实对称矩阵的合同条件更为简化：两个复对称矩阵合同等价于它们的秩相等。这是因为复数域中可通过合同变换将非零特征值化为1，故仅需秩相同即可保证合同。但在实数域中，正负惯性指数的差异会导致秩相同的矩阵未必合同，例如diag(1,-1)与diag(-1,-1)秩均为2，但正惯性指数分别为1和0，因此不合同。

四、标准形与规范形

（一）标准形的概念与求法

实对称矩阵的标准形是指与该矩阵合同的对角矩阵，其对角元为矩阵特征值或通过合同变换得到的平方项系数。将实对称矩阵化为标准形的方法主要有三种：

配方法：通过代数配方法将二次型化为平方和形式，对应矩阵的合同变换。具体步骤为：若二次型含平方项，先集中含某变量的所有项并配方，再对剩余变量重复操作；若不含平方项，先通过可逆线性变换构造平方项，再进行配方。例如，对于二次型f(x1,x2)=x1x2，可令x1=y1+y2，x2=y1-y2，化为f=y12-y22，对应矩阵合同于diag(1,-1)。

初等变换法：对分块矩阵[A|E]进行初等列变换，同时对A进行相应的初等行变换，当A化为对角矩阵时，E同步化为变换矩阵C。具体操作包括：交换两列时同步交换两行（对应互换变换），某列乘非零常数k时同步将某行乘k（对应倍乘变换），某列加上另一列的k倍时同步将某行加上另一行的k倍（对应倍加变换）。这种方法直接体现了合同变换的初等变换本质。

正交变换法：利用实对称矩阵的正交相似对角化性质，通过正交矩阵实现合同变换。由于实对称矩阵必可正交相似