特征多项式的基无关性
设 A = ( a i j ) A=(a_{ij}) A=(aij)是属于F上的n阶矩阵,特征多项式定义为行列式
f A ( λ ) = d e t ( λ I − A ) = ∣ λ − a 11 − a 12 . . . − a 1 n − a 21 λ − a 22 . . . − a 2 n . . . − a n 1 − a n 2 . . . λ − a n n ∣ f_A(λ) = det(λI - A) = \left| \begin{array}{ccc} λ - a_{11}&-a_{12}&...&-a_{1n} \\ -a_{21}&λ - a_{22}&...&-a_{2n} \\ .&.&&.\\ -a_{n1}&-a_{n2}&...&λ-a_{nn} \\ \end{array} \right| fA(λ)=