Notes X=PY\boldsymbol{X} = \boldsymbol{PY}X=PY,P\boldsymbol{P}P 可逆 P⊺AP=(ℓ1⋱ℓn)\boldsymbol{P}^{\intercal}\boldsymbol{AP} = \left( \begin{smallmatrix} \ell_{1} \\ & \ddots \\ & & \ell_{n} \end{smallmatrix} \right)P⊺AP=(ℓ1⋱ℓn) 矩阵合同 A,B\boldsymbol{A}, \boldsymbol{B}A,B 为 nnn 阶方阵,若 ∃\exists∃ 可逆阵 P\boldsymbol{P}P,使得 P⊺AP=B\boldsymbol{P}^{\intercal}\boldsymbol{AP} = \boldsymbol{B}P⊺AP=B,称 A\boldsymbol{A}A 与 B\boldsymbol{B}B 合同,记为 A≅B\boldsymbol{A}\cong \boldsymbol{B}A≅B
Notes