Skip to content

定义Definition

特征值与特征向量

Eigenvalue and eigenvector

满足 Tv=λv 且 v 非零的标量 λ 与向量 v。

形式陈述 ​

设 V 是域 F 上的向量空间,T:V→V 是其上的线性算子。标量 λ∈F 称为特征值,若存在非零向量 v∈V 满足

Tv=λv;

这样的 v 称为对应特征向量。特征空间为

Eλ=ker⁡(T−λI),

当 λ 是特征值时,Eλ 是非零子空间,其非零元素恰是对应的特征向量。零向量对任意 λ 都满足等式,所以定义用 v≠0 来选出真正存在特征方向的标量。

不同特征值对应的特征向量线性无关。有限维时,λ 为特征值当且仅当 T−λI 不可逆,也即 det⁡(λI−A)=0,其中 A 是 T 在所选基下的矩阵。特征值在底域 F 中寻找;扩张底域可以得到新的根。

直觉

特征向量张成一条被算子保持的一维子空间:T(av)=aλv 仍在同一条线上。在实数情形,正特征值表示同向缩放,负特征值还会反向,零特征值则把整条线压到原点。非零复特征值的模给出缩放量,辐角给出复系数的相位变化。

沿特征向量反复作用时,Tkv=λkv。若有足够多的独立特征向量组成基,就能先把任意输入分解到这些方向,再分别计算标量幂,最后把各分量相加。

例子与边界

用特征方向计算迭代 ​

对角矩阵 diag(2,3) 沿两条坐标轴分别缩放 2,3 倍,标准基直接给出特征向量。在实数域上,对称矩阵

A=(2112)

满足 A(1,1)T=3(1,1)T、A(1,−1)T=(1,−1)T。两个特征向量正交并构成一组基。具体地,

(x,y)=x+y2(1,1)+x−y2(1,−1),

所以

An(x,y)T=3nx+y2(1,1)T+x−y2(1,−1)T.

和方向上的分量以 3n 增长,差方向上的分量保持不变。

特征空间的大小与底域 ​

剪切矩阵 (1101) 只有特征值 1。方程 (A−I)(x,y)T=0 化为 y=0,所以特征空间只有横轴这一维,无法凑成平面的一组基。

实平面 90∘ 旋转没有实特征向量:非零向量旋转后与原向量垂直。在复数域上,特征多项式 t2+1 有根 i,−i,于是出现两个复特征方向。

特征向量的任意非零标量倍仍是同一特征值的特征向量。因此算法可以按长度等约定选择代表,而特征空间把全部选择组织在一起。定义中的 T:V→V 保证 Tv 与 λv 落在同一个空间;对一般 V→W 的映射,则使用核、像或奇异值等结构。

推论与应用

有限维算子的特征值由特征多项式刻画,特征空间是不变子空间,二者为对角化与谱定理提供基本块。当特征多项式在底域上分裂时,广义特征向量可以扩充为一组基,形成 Jordan 结构。

浮点计算可直接利用迭代作用:在主特征值的模严格领先、初始向量含有相应分量等收敛条件下,幂法通过反复乘矩阵并归一化,提取主特征方向。一般稠密矩阵的全部特征值则常通过QR 特征值算法和Schur 分解计算。

特征结构还揭示迭代动力学、微分方程稳定性和 Markov 链长期行为;图 Laplacian的零特征空间与低端谱把这些工具带入图连通和割结构。

参考资料
  • Sheldon Axler, Linear Algebra Done Right, 4th ed., Springer, 2024,Ch. 5, eigenvalues, eigenvectors, and invariant subspaces。
  • Michael Artin, Algebra, 2nd ed., Pearson, 2011,Ch. 4, eigenvectors and characteristic roots。
关系图谱31 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系