2019-11-10 等价、相似、合同的一些概念

等价

设$m\times n$阶矩阵$\mathbf{A}$和$\mathbf{B}$，如果这两个矩阵满足
$$\mathbf{B}=\mathbf{Q}\mathbf{A}\mathbf{P}$$其中，$\mathbf{Q}$是m×m阶可逆矩阵，$\mathbf{P}$是n×n阶可逆矩阵，即$\mathbf{A}\cong \mathbf{B}$，那么这两个矩阵之间是等价关系。也就是说，存在可逆矩阵，使得$\mathbf{A}$经过有限次的初等变换得到$\mathbf{B}$。
其性质为：

• $\mathbf{A}$和$\mathbf{B}$秩相同，即初等变换不改变秩
• 相似和合同均属于等价的特殊形式
• 设$\mathbf{A}$是$n$阶满秩矩阵，则有$\mathbf{A}\cong \mathbf{E}$（即${\mathbf{A}}^{-1}$和$\mathbf{A}$均是有限次的初等变换矩阵相乘得到，均等价于单位阵）
• 两个$m\times n$阶矩阵等价的充要条件是秩相同

相似

设$\mathbf{A}$，$\mathbf{B}$都是$n$阶方阵，若存在$n$阶可逆阵$\mathbf{P}$（不唯一且有可能是复矩阵），使
$${\mathbf{P}}^{-1}\mathbf{A}\mathbf{P}=\mathbf{B}$$则称矩阵$\mathbf{A}$和$\mathbf{B}$相似，记为$\mathbf{A}\sim \mathbf{B}$。
其性质为：

• $\det (\mathbf{A}-\lambda \mathbf{E})=\det (\mathbf{B}-\lambda \mathbf{E})$，即特征值相同（但是反之不行，即特征值相同推不出相似）
• $\det \mathbf{A}=\det \mathbf{B}$，即行列式相同（因为行列式是所有特征值的乘积，特征值不变，则行列式不变）
• 若$\mathbf{A}$可逆，则$\mathbf{B}$也可逆，且${\mathbf{A}}^{-1}\sim {\mathbf{B}}^{-1}$
• $f(\mathbf{A})\sim f(\mathbf{B})$
• $n$阶方阵$\mathbf{A}$可对角化的充要条件是$\mathbf{A}$有n个线性无关的特征向量（特征值互不相同，则特征向量线性无关；但是特征向量线性无关不能说特征值互不相同；则若所有特征值不同，则可对角化；若所有重特征根对应的特征向量无关，可对角化）

合同

设$\mathbf{A}$，$\mathbf{B}$都是$n$阶方阵，若存在$n$阶可逆阵$\mathbf{P}$，使
$${\mathbf{P}}^T\mathbf{A}\mathbf{P}=\mathbf{B}$$则称矩阵$\mathbf{A}$和$\mathbf{B}$合同，记为$\mathbf{A}\simeq \mathbf{B}$。
性质为：

• 合同且均对称，则秩相同
• 合同与相似是两个概念，合同不能保证特征值不变

相关概念

正交矩阵

如果$n$阶实方阵$\mathbf{A}$满足$${\mathbf{A}}^T={\mathbf{A}}^{-1}$$则称$\mathbf{A}$为正交矩阵
性质为：

• $\det \mathbf{A}=\pm 1$
• 实对称$\mathbf{A}$是正交矩阵的充要条件是$\mathbf{A}$的行向量是单位正交向量组（这样会自动保证列向量是单位正交向量组，反之亦然）
• $\Vert {\mathbf{A}}^{T}x{\Vert }_2=\Vert x{\Vert }_2$
• $\Vert {\mathbf{A}}^T{\Vert }_1\Vert \mathbf{A}{\Vert }_1⩽3$
  proof: $(a+b+c)(d+e+h)⩽\frac{3}{2}(a^2+b^2+c^2+d^2+e^2+h^2)=3$

实对称阵的相似矩阵

设$\mathbf{A}$是$n$阶实对称方阵，则必存在正交矩阵$\mathbf{Q}$，使得
Q − 1 A Q = Q T A Q = diag { λ 1 , λ 2 , . . . , λ n } \boldsymbol Q^{-1}\boldsymbol A\boldsymbol Q=\boldsymbol Q^{T}\boldsymbol A\boldsymbol Q=\textrm{diag} \{{\lambda_1,\lambda_2,...,\lambda_n}\} Q−1AQ=QTAQ=diag{λ1​,λ2​,...,λn​}

• 实对称阵（${\mathbf{A}}^T=\mathbf{A}$）的特征值均为实数
• 实对称阵的两个不等特征值对应的两个特征向量正交
• 实对称阵可能存在重特征值，也可能不存在冲特征值
• 实对称阵重特征根对应的特征向量无关
• 实对称阵必可以对角化
• 二次型中的$\mathbf{A}$为实对称阵

行列式

• $\det (l\mathbf{A})=l^n\mathbf{A}$
• $\det (\mathbf{A}\mathbf{B})=\det \mathbf{A}\det \mathbf{B}$

对称

• 反对称矩阵的主对角线一定为0
• 对称 * 对称，不能保证对称（除非$\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}$）
• 对称正定 * 对称正定，不能保证对称，所以不能叫正定（除非$\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}$，其乘积才是对称正定）
• 对称正定 * 对称正定，乘积的特征值均正（Cholesky分解为可逆下三角与其转置的乘积）

特征值

• $\mathbf{A}+\mathbf{E}$的特征值等于=$\mathbf{A}$的特征值加1

问题

两个特征值均正的矩阵相乘，其乘积的特征值均正吗？