矩阵的相似与合同.docVIP

矩阵的相似与合同

矩阵的相似与合同是线性代数中刻画矩阵关系的两个重要概念，它们分别从不同角度揭示了矩阵在特定变换下的不变性。理解这两种关系的定义、性质及内在联系，对于深入掌握线性代数理论框架具有重要意义。

相似矩阵的核心内涵

相似矩阵的概念源于线性变换在不同基下的矩阵表示。设A、B为n阶方阵，若存在可逆矩阵P，使得(P^{-1}AP=B)，则称A与B相似，记作(A\simB)。这种关系本质上描述了同一线性变换在不同基下的矩阵形式，因此相似矩阵具有诸多共同的本质属性。

相似关系具有严格的数学性质：首先是反身性，即任何矩阵与自身相似；其次是对称性，若A相似于B，则B必相似于A；最后是传递性，若A相似于B且B相似于C，则A相似于C。这三个性质确保了相似关系构成矩阵集合上的等价关系，将同阶矩阵划分为互不相交的等价类，每个等价类中的矩阵具有完全相同的相似不变量。

矩阵的特征多项式是相似关系最基本的不变量。根据相似定义，(|\lambdaE-B|=|\lambdaE-P^{-1}AP|=|P^{-1}(\lambdaE-A)P|=|\lambdaE-A|)，这表明相似矩阵具有相同的特征多项式，进而具有相同的特征值、迹（主对角线元素之和）和行列式。这些不变量成为判断矩阵相似性的重要依据，但需注意的是，具有相同特征值的矩阵未必相似，如对角元相同的对角矩阵必相似，但(\begin{pmatrix}01\00\end{pmatrix})与自身相似，而其他具有相同特征值的幂零矩阵未必相似。

相似矩阵在Jordan标准形理论中达到深刻统一。任何复数域上的方阵都相似于唯一的Jordan标准形，这一标准形由矩阵的初等因子唯一确定。Jordan块作为基本构成单元，其形式为(J_r(\lambda)=\begin{pmatrix}\lambda1\\lambda\ddots\\ddots1\\lambda\end{pmatrix})，反映了特征值的代数重数与几何重数的关系。当矩阵可对角化时，其Jordan标准形为对角矩阵，此时矩阵的最小多项式无重根，特征子空间维数之和等于n。

合同矩阵的本质特征

合同矩阵的概念则与二次型理论紧密相关。设A、B为n阶对称矩阵，若存在可逆矩阵C，使得(C^TAC=B)，则称A与B合同，记作(A\simeqB)。这里的转置运算(C^T)体现了二次型变量替换的代数本质，即通过可逆线性变换将二次型化为标准形。

合同关系同样满足等价关系的三个条件：反身性（取C为单位矩阵）、对称性（由((C^T)^{-1}=(C^{-1})^T)可证）和传递性（通过变换矩阵的乘积实现）。在实数域上，合同关系的核心不变量是矩阵的秩和正惯性指数。根据Sylvester惯性定理，实对称矩阵的合同标准形由其秩r和正惯性指数p唯一确定，即矩阵合同于对角矩阵(\text{diag}(1,\dots,1,-1,\dots,-1,0,\dots,0))，其中1的个数为p，-1的个数为r-p。

复数域上的合同关系更为简单，任意秩为r的复对称矩阵都合同于对角矩阵(\text{diag}(1,\dots,1,0,\dots,0))，这表明复对称矩阵的合同类完全由其秩决定。这种差异源于复数域中负数可开平方，使得正负惯性指数的区分失去意义。值得注意的是，合同关系仅对对称矩阵有实际意义，因为非对称矩阵经过合同变换后未必保持对称性，而二次型的矩阵表示必然是对称矩阵。

合同变换在二次型化简中具有关键作用。通过配方法或初等变换法，总能找到可逆矩阵C将二次型矩阵A合同化为标准形。这一过程对应着二次曲线或曲面的主轴变换，在解析几何中用于消除交叉项，揭示二次曲线的本质类型（椭圆、双曲线、抛物线等）。例如，二次型(f(x_1,x_2)=x_1^2+4x_1x_2+x_2^2)的矩阵为(\begin{pmatrix}12\21\end{pmatrix})，通过合同变换可化为标准形(3y_1^2-y_2^2)，其正惯性指数为1，负惯性指数为1，秩为2，对应双曲线类型。

相似与合同的联系与差异

相似与合同作为矩阵的两种重要关系，既有区别又存在深刻联系。它们的本质差异体现在变换矩阵的要求上：相似变换强调(P^{-1}AP)，体现线性变换的基变换；合同变换关注(C^TAC)，反映二次型的变量替换。这种差异导致两者具有不同的不变量体系：相似关系保持特征值、迹、行列式等代数不变量，合同关系则在实数域上保持秩和惯性指数。

在特定条件下，相似与合同可以相