秩—零化度定理

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

设${\displaystyle \mathrm {V} }$是一个有限维线性空间，其维度${\displaystyle \operatorname {dim} \mathrm {V} =n}$。对一个从${\displaystyle \mathrm {V} }$射到${\displaystyle \mathrm {F} }$的线性变换${\displaystyle \mathrm {T} }$，它的核${\displaystyle \operatorname {Ker} \mathrm {T} }$是${\displaystyle \mathrm {V} }$的一个子空间。设 ${\displaystyle {\mathfrak {B}}_{k}=\left(e_{1},e_{2}\cdots ,e_{p}\right)}$是${\displaystyle \operatorname {Ker} \mathrm {T} }$的一组基（${\displaystyle p\leqslant n}$）。根据基扩充定理，${\displaystyle {\mathfrak {B}}_{k}}$可以被扩充为${\displaystyle \mathrm {V} }$的一组基：${\displaystyle {\mathfrak {B}}=\left(e_{1},e_{2}\cdots ,e_{n}\right)}$。除了${\displaystyle {\mathfrak {B}}_{k}}$的${\displaystyle p}$个向量以外，另外的${\displaystyle n-p}$个向量${\displaystyle \left(e_{p+1},\cdots ,e_{n}\right)}$是一组线性无关的向量。设${\displaystyle \mathrm {H} }$是它们张成的子空间，那么${\displaystyle \mathrm {V} }$是子空间${\displaystyle \operatorname {Ker} \mathrm {T} }$与${\displaystyle \mathrm {H} }$的直和：

${\displaystyle \mathrm {V} =\operatorname {Ker} \mathrm {T} \oplus \mathrm {H} }$

所以，按照直和的性质，有${\displaystyle \operatorname {dim} (\mathrm {H} )+\operatorname {dim} (\operatorname {Ker} \mathrm {T} )=\operatorname {dim} \mathrm {V} }$，并且这两个子空间的交集为${\displaystyle \operatorname {Ker} \mathrm {T} \cap \mathrm {H} =\left\{0\right\}}$。同时，${\displaystyle \forall u\in \mathrm {V} ,}$ 都可以写成${\displaystyle \ u=a+b}$的形式，其中${\displaystyle a\in ker(\mathrm {T} ),\;b\in \mathrm {H} }$。考虑${\displaystyle \mathrm {T} }$限制在${\displaystyle \mathrm {H} }$上到${\displaystyle \operatorname {Im} \mathrm {T} }$的线性变换${\displaystyle \mathrm {T} _{\mathrm {H} }}$：

${\displaystyle {\begin{aligned}\mathrm {T} _{\mathrm {H} }:\mathrm {H} &\rightarrow \operatorname {Im} \mathrm {T} \\u&\mapsto \mathrm {T} (u)\end{aligned}}}$

下证${\displaystyle \mathrm {T} _{\mathrm {H} }}$是一个同构。首先由于${\displaystyle \mathrm {T} }$是线性映射，所以${\displaystyle \mathrm {T} _{\mathrm {H} }}$是线性映射。只需证明它也是双射：

1. ${\displaystyle \mathrm {T} _{\mathrm {H} }}$是一个单射，因为${\displaystyle \forall u,v\in \mathrm {H} }$， ${\displaystyle \mathrm {T} (u)=\mathrm {T} (v)\Rightarrow \mathrm {T} (u-v)=0\Rightarrow u-v\in \mathrm {H} \cap \operatorname {Ker} \mathrm {T} \Rightarrow u-v=0\Rightarrow u=v}$。
2. ${\displaystyle \mathrm {T} _{\mathrm {H} }}$是一个满射，因为${\displaystyle \forall v\in \operatorname {Im} \mathrm {T} }$， ${\displaystyle \exists u\in \mathrm {V} ,}$使得${\displaystyle \ v=\mathrm {T} (u)}$，而且${\displaystyle u=a+b}$ ，其中${\displaystyle a\in \operatorname {Ker} \mathrm {T} ,\ b\in \mathrm {H} }$。 于是 ${\displaystyle v=\mathrm {T} (u)=\mathrm {T} (a+b)=\mathrm {T} (a)+\mathrm {T} (b)\ =\mathrm {T} (b)}$，其中${\displaystyle b\in \mathrm {H} }$，所以${\displaystyle \mathrm {T} _{\mathrm {H} }}$是一个满射。

既然${\displaystyle \mathrm {T} _{\mathrm {H} }}$是一个${\displaystyle \mathrm {H} }$到${\displaystyle \operatorname {Im} \mathrm {T} }$的同构，那么

${\displaystyle \operatorname {dim} (\mathrm {H} )=\operatorname {dim} (\operatorname {Im} \mathrm {T} ).}$

综上所述，即有：

${\displaystyle \operatorname {dim} (\operatorname {Im} \mathrm {T} )+\operatorname {dim} (\operatorname {Ker} \mathrm {T} )=\operatorname {dim} (\mathrm {V} ),}$

也就是：

${\displaystyle \operatorname {rank} \mathrm {T} +\operatorname {nullity} \mathrm {T} =\operatorname {dim} (\mathrm {V} ).}$[1]^:59

正合列

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

0 → U → V → R → 0

是线性空间中的一个短正合列，那么有：

dim(U) + dim(R) = dim(V)

其中 R 表示 im T， U 表示 ker T。

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

0 → V₁ → V₂ → ... → V_r → 0

是有限维线性空间中的一个正合列，那么有：

${\displaystyle \sum _{i=1}^{r}(-1)^{i}\dim(V_{i})=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 作深入研究。更深入的结果可以参见阿蒂亞－辛格指標定理。阿蒂亞－辛格指標定理说明某些微分算子的指标可以通过涉及的空间的几何性质得到。

• 线性空间
• 秩
• 同构基本定理