秩—零化度定理

来自testwiki
imported>Hrs814582025年2月13日 (四) 08:16的版本 （→top）
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

Template:NoteTA 秩—零化度定理（Template:Lang-en）是线性代数中的一个定理，给出了一个线性变换或一个矩阵的秩和它的零化度之间的关系。对一个元素在-{zh-cn:域; zh-tw:體;}-F中的m⋅n矩阵A，秩－零化度定理说明，它的秩（rank A）和零化度（nullity A）之和等于n：

rank⁡A+nullity⁡A=n.

同样的，对于一个从F−线性空间V射到F−线性空间W的线性变换 T:V→W， T的秩是它的象的维度，T的零化度是它的核（零空间）的维度。我们有：

dim⁡(Im⁡T)+dim⁡(Ker⁡T)=dim⁡V
也就是：
rank⁡T+nullity⁡T=dim⁡V.

实际上定理在更广的范围内也成立，因为V和F可以是无限维的。

证明

证明的方法基于线性空间的基和同构。

设V是一个有限维线性空间，其维度dim⁡V=n。对一个从V射到F的线性变换T，它的核Ker⁡T是V的一个子空间。设 𝔅k=(e1,e2⋯,ep)是Ker⁡T的一组基（p⩽n）。根据基扩充定理，𝔅k可以被扩充为V的一组基：𝔅=(e1,e2⋯,en)。除了𝔅k的p个向量以外，另外的n−p个向量(ep+1,⋯,en)是一组线性无关的向量。设H是它们张成的子空间，那么V是子空间Ker⁡T与H的直和：

V=Ker⁡T⊕H

所以，按照直和的性质，有dim⁡(H)+dim⁡(Ker⁡T)=dim⁡V，并且这两个子空间的交集为Ker⁡T∩H={0}。同时，∀u∈V, 都可以写成 u=a+b的形式，其中a∈ker(T),b∈H。考虑T限制在H上到Im⁡T的线性变换TH：

TH:H→Im⁡Tu↦T(u)

下证TH是一个同构。首先由于T是线性映射，所以TH是线性映射。只需证明它也是双射：

  1. TH是一个单射，因为∀u,v∈H， T(u)=T(v)⇒T(u−v)=0⇒u−v∈H∩Ker⁡T⇒u−v=0⇒u=v。
  2. TH是一个满射，因为∀v∈Im⁡T， ∃u∈V,使得 v=T(u)，而且u=a+b ，其中a∈Ker⁡T, b∈H。 于是 v=T(u)=T(a+b)=T(a)+T(b) =T(b)，其中b∈H，所以TH是一个满射。

既然TH是一个H到Im⁡T的同构，那么

dim⁡(H)=dim⁡(Im⁡T).
综上所述，即有：
dim⁡(Im⁡T)+dim⁡(Ker⁡T)=dim⁡(V),
也就是：
rank⁡T+nullity⁡T=dim⁡(V).Template:R

其他表达形式及推广

正合列

秩-零化度定理是抽象代数中的同态基本定理在线性空间上的表现形式。如果用更现代的语言，定理可以表示为：如果

0 → U → V → R → 0
是线性空间中的一个短正合列，那么有：
dim(U) + dim(R) = dim(V)
其中 R 表示 im T， U 表示 ker T。

在有限维的情况下，上式可以作进一步推广。如果

0 → V1 → V2 → ... → Vr → 0
是有限维线性空间中的一个正合列，那么有：
∑i=1r(−1)idim⁡(Vi)=0.

在有限维线性空间中，秩-零化度定理还可以用线性变换的指标（index）描述。线性变换的指标指的是，对于线性变换T : V → W：

index T = dim(ker T) - dim(coker T)
其中 coker T 表示 T 的餘核。正如 ker T 表示方程 Tx = 0 线性獨立的解的“个数”， coker T 表示使得方程 Tx = y 有解而必须加于 y 的限制条件的个数。

这时秩-零化度定理表述为：

index T = dim(V) - dim(W)

可以看到，在这种表述下，我们可以很容易地得到 T 的指标，而不必对 T 作深入研究。更深入的结果可以参见阿蒂亞－辛格指標定理。阿蒂亞－辛格指標定理说明某些微分算子的指标可以通过涉及的空间的几何性质得到。

参见

参考资料

Template:Reflist

检索自“https://zh.wiki.beta.math.wmflabs.org/w/index.php?title=秩—零化度定理&oldid=3778”