相抵:PAQ=B
相抵关于rank的分解：A=Pdiag{Ir,0}Q
标准型：diag{Ir,0}
完全不变量：rank
相似：P-1AP=B
相似（特征值）分解/谱分解：P-1AP=diag{λ1,...λn}
标准型：diag{λ1,...λn}
不变量：行列式，rank，tr，特征多项式
完全不变量：特征值
正交相似：P是正交向量。实对称矩阵一定正交相似于对角矩阵。
合同：存在可逆矩阵C，CTAC=B
标准型：一个对角矩阵
规范型：diag{Ip,-Iq,0}
完全不变量：rank,p
实二次型的标准型：把A化成一个合同的对角矩阵B，是不唯一的
实二次型的规范型：被p（正惯性指数）r唯一决定
（复二次型的规范型：被r唯一决定）