定义 nn阶矩阵AABB是相似的, 如果存在nn阶可逆矩阵PP使得P1AP=BP^{-1}AP = B, 记作ABA\sim B

定理1 nn阶矩阵AA相似于一个对角矩阵, 充分必要条件是AAnn个线性无关的特征向量.

证明:

$\Rightarrow: $ 设AΛA\sim \Lambda, Λ=diag{λ1,,λn}\Lambda=diag\{\lambda_1,\cdots,\lambda_n\}, 即存在nn阶可逆矩阵P={p1,,pn}P = \{p_1,\cdots,p_n\}, 使得P1AP=ΛP^{-1}AP = \Lambda. 得到AP=PΛAP = P\Lambda, 即Api=λipi,i=1,,nAp_i = \lambda_i p_i, i=1,\cdots,n, 所以p1,,pnp_1,\cdots,p_nAA的特征向量, 其对应的特征值分别是λ1,,λn\lambda_1,\cdots,\lambda_n.并且由于PP是可逆矩阵, 所以它的列向量空间是满秩的, p1,,pnp_1,\cdots,p_n是线性无关的.

:\Leftarrow: 反过来设AAnn个线性无关的特征向量, Api=λipi,i=1,,nAp_i = \lambda_i p_i, i=1,\cdots,n, 则取这nn个向量构成矩阵P={p1,,pn}P = \{p_1,\cdots,p_n\}, 那么有AP=PΛP1AP=ΛAP = P\Lambda \Leftrightarrow P^{-1}AP = \Lambda, 得到AA相似于对角矩阵Λ\Lambda.

定理2 属于不同特征值的特征向量是线性无关的