跳到主内容
数理基础线性代数(Linear Algebra) · 10讲7/10模块导览 →
讲义

第7讲 矩阵对角化(Diagonalization)

由特征方程求特征值与特征空间,区分代数和几何重数,并用独立特征向量及凯莱定理分析对角化。

完成状态保存在当前浏览器,可随时取消。

特征值与特征向量(Eigenvalues and Eigenvectors)#

基本定义#

An 阶方阵,若存在非零向量 x ∈ ℝⁿ 和标量 λ ∈ ℝ,使得:

Ax=λxA\mathbf{x} = \lambda\mathbf{x}

则称 λA 的特征值(eigenvalue),x 为对应的特征向量(eigenvector)。

特征方程(Characteristic Equation)#

特征值满足方程:

det(λIA)=0\det(\lambda I - A) = 0

其中 I 为单位矩阵。多项式 φ(λ)=det(λIA)φ(λ) = det(λI - A) 称为特征多项式(characteristic polynomial)。

推导过程

从定义式Ax=λxAx = λx 出发,改写为(λIA)x=0(λI - A)x = 0。由于非零解存在,系数矩阵的行列式必须为零。

例子

矩阵 A=(2112)A = \begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix} 的特征方程为:

det(λIA)=det(λ211λ2)=(λ2)21=0\det\left( \lambda I - A \right) = \det\begin{pmatrix} \lambda-2 & -1 \\ -1 & \lambda-2 \end{pmatrix} = (\lambda-2)^2 - 1 = 0

解得特征值λ1=3,λ2=1λ₁ = 3, λ₂ = 1


代数重数与几何重数(Algebraic and Geometric Multiplicity)#

代数重数#

特征值 λ 的代数重数(algebraic multiplicity)是其作为特征多项式根的重数。

几何重数#

几何重数(geometric multiplicity)是特征值 λ 对应的特征空间 Eλ={x(λIA)x=0}E_λ = \{ x \mid (\lambda I - A)x = 0 \}的维数。

重要性质

  1. 代数重数 ≥ 几何重数 ≥ 1

  2. 若代数重数等于几何重数,则称特征值为半单的(semisimple)。

例子

矩阵 A=(2102)A = \begin{pmatrix} 2 & 1 \\ 0 & 2 \end{pmatrix} 的特征值为 λ = 2(代数重数 2)。

求解 (2IA)x=0(2I - A)x = 0 得特征空间维数为 1,几何重数为 1。此时代数重数 ≠ 几何重数。


矩阵对角化条件#

可对角化的定义#

若存在可逆矩阵 P,使得 P⁻¹AP 为对角矩阵,则称 A 可对角化(diagonalizable)。

判定条件#

  1. 充要条件An 个线性无关的特征向量。

  2. 充分条件:若 An 个互异特征值,则一定可对角化。

  3. 关键条件:对每个特征值,代数重数等于几何重数。

步骤

  1. 分解特征多项式为 ϕA(λ)=(λλ1)r1(λλk)rk\phi_A(\lambda) = (\lambda - \lambda_1)^{r_1} \cdots (\lambda - \lambda_k)^{r_k}

  2. 验证每个λiλ_i的几何重数是否等于 rir_i

例子

矩阵 A=(416216218)A = \begin{pmatrix} 4 & -1 & 6 \\ 2 & 1 & 6 \\ 2 & -1 & 8 \end{pmatrix}的特征多项式为φ(λ)=(λ2)2(λ9)φ(λ) = (λ-2)²(λ-9)

  • λ=2,求解 (2IA)x=0(2I - A)x = 0 得两个线性无关特征向量,几何重数为 2,等于代数重数。

  • λ=9,几何重数为 1。因此 A 可对角化。


Cayley-Hamilton 定理#

φ(λ)A 的特征多项式,则:

ϕ(A)=0\phi(A) = 0

应用:可用此定理简化矩阵幂的计算。

例子

A² - 5A + 6I = 0,则 A² = 5A - 6I,可递推计算 Aⁿ


学习建议#

  1. 优先掌握:特征值/向量的计算、代数与几何重数的关系。

  2. 推荐练习

    • 验证矩阵 (a01b)\begin{pmatrix} a & 0 \\ 1 & b \end{pmatrix} 的可对角化条件(答案:当 a ≠ b 时可对角化)。

    • 证明:若 AB = BA,且 AB 均可对角化,则存在公共特征向量基。

  3. 注意误区:可对角化矩阵不一定有互异特征值(如单位矩阵)。