在
线性代数中,秩-零化度定理给出了一个
线性变换或一个
矩阵的秩(rank)和零化度(nullity) 之间的关系。
设 V是一个有限维线性空间, ,对一个从V射到 F的
线性变换 T,ker T是 V的一个子空间。设 是 ker T的一组基( p≤ n)。根据基扩充定理,可以被扩充为 V的一组基:。 是一组
线性无关的向量,设 H是它们张成的子空间,那么 V是 ker T与 H的
直和:
所以,按照直和的性质,有 ,并且,同时,,其中。考虑T限制在 H上到 im T的
线性变换:
是一个
单射,因为, 。 是一个
满射,因为, ,而且 ,其中。 于是 ,其中,所以是一个满射。 于是是一个H到 im T的
同构,所以
设 是一个有限维线性空间,其维度 。对一个从 射到 的线性变换 ,它的
核是 的一个子空间。设 是 的一组基 。根据基扩充定理, 可以被扩充为 的一组基: 。除了 的 个向量以外,另外的 个向量 是一组
线性无关的向量。设是它们张成的子空间,那么 是子空间 与 的直和:
是一个
满射,因为 , ,使得 ,而且 ,其中 。 于是 ,其中 ,所以 是一个
满射。
秩-零化度定理是
抽象代数中的
同态基本定理在
线性空间上的表现形式。如果用更现代的语言,定理可以表示为:如果
是有限维线性空间中的一个
正合列,那么有: 在有限维线性空间中,秩-零化度定理还可以用
线性变换的指标(index)描述。线性变换的指标指的是,对于线性变换 :
其中 表示 T的
余核。正如 ker T表示方程 线性无关的解的“个数”, 表示使得方程 有解而必须加于 y的限制条件的个数。
这时秩-零化度
定理表述为: 可以看到,在这种表述下,我们可以很容易地得到 T的指标,而不必对 T作深入研究。更深入的结果可以参见Atiyah–Singer指标定理(en:Atiyah-Singer index theorem)。Atiyah–Singer指标定理说明某些
微分算子的指标可以通过涉及的空间的几何性质得到。