跳转到内容

秩—零化度定理

本页使用了标题或全文手工转换
维基百科,自由的百科全书

秩—零化度定理线性代数中的一个定理,给出了一个线性变换或一个矩阵和它的零化度之间的关系。对一个元素在中的矩阵,秩-零化度定理说明,它的秩(rank A)和零化度(nullity A)之和等于

同样的,对于一个从线性空间射到线性空间线性变换 的秩是它的象的维度的零化度是它的零空间)的维度。我们有:

也就是:

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

证明

[编辑]

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

是一个有限维线性空间,其维度。对一个从射到的线性变换,它的的一个子空间。设 的一组基()。根据基扩充定理可以被扩充为的一组基:。除了个向量以外,另外的个向量是一组线性无关的向量。设是它们张成的子空间,那么是子空间直和

所以,按照直和的性质,有,并且这两个子空间的交集为。同时, 都可以写成的形式,其中。考虑限制在上到的线性变换

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

  1. 是一个单射,因为
  2. 是一个满射,因为使得,而且 ,其中。 于是 ,其中,所以是一个满射

既然是一个同构,那么

综上所述,即有:
也就是:
[1]:59

其他表达形式及推广

[编辑]

正合列

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

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

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

0 → V1V2 → ... → Vr → 0
是有限维线性空间中的一个正合列,那么有:

在有限维线性空间中,秩-零化度定理还可以用线性变换的指标(index)描述。线性变换的指标指的是,对于线性变换T : VW

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 作深入研究。更深入的结果可以参见阿蒂亞-辛格指標定理。阿蒂亞-辛格指標定理说明某些微分算子的指标可以通过涉及的空间的几何性质得到。

参见

[编辑]

参考资料

[编辑]
  1. ^ Steven Roman. Advanced Linear Algebra. Springer(GTM135, Edition II). 2005. ISBN 9780387247663.