秩—零化度定理

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

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

也就是：

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

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

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

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


下证是一个同构。首先由于是线性映射，所以是线性映射。只需证明它也是双射：
 是一个单射，因为， 。
 是一个满射，因为， 使得，而且 ，其中。 于是 ，其中，所以是一个满射。

既然是一个到的同构，那么

综上所述，即有：

也就是：

 其他表达形式及推广 
正合列

秩—零化度定理是抽象代数中的同态基本定理在线性空间上的表现形式。如果用更现代的语言，定理可以表示为：如果
0 → U → V → R → 0
是线性空间中的一个短正合列，那么有：
dim(U) + dim(R) = dim(V)
其中 R 表示 im T， U 表示  ker T。

在有限维的情况下，上式可以作进一步推广。如果 
0 → V1 → V2 → ... → Vr → 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 作深入研究。更深入的结果可以参见阿蒂亞－辛格指標定理。阿蒂亞－辛格指標定理说明某些微分算子的指标可以通过涉及的空间的几何性质得到。

参见

线性空间
秩
同构基本定理

参考资料

Z