證明的方法基於線性空間的基和同構。
設
是一個有限維線性空間,其維度
。對一個從
射到
的線性變換
,它的核
是
的一個子空間。設
是
的一組基(
)。根據基擴充定理,
可以被擴充為
的一組基:
。除了
的
個向量以外,另外的
個向量
是一組線性無關的向量。設
是它們張成的子空間,那麼
是子空間
與
的直和:
![{\displaystyle \mathrm {V} =\operatorname {Ker} \mathrm {T} \oplus \mathrm {H} }](//wikimedia.org/api/rest_v1/media/math/render/svg/2572d2bbbbc3119f30bcb922a3aa4533db99403d)
所以,按照直和的性質,有
,並且這兩個子空間的交集為
。同時,
都可以寫成
的形式,其中
。考慮
限制在
上到
的線性變換
:
![{\displaystyle {\begin{aligned}\mathrm {T} _{\mathrm {H} }:\mathrm {H} &\rightarrow \operatorname {Im} \mathrm {T} \\u&\mapsto \mathrm {T} (u)\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/7f1e2d5fb8b03d12b616eafb03393f2e593fe79b)
下證
是一個同構。首先由於
是線性映射,所以
是線性映射。只需證明它也是雙射:
是一個單射,因為
,
。
是一個滿射,因為
,
使得
,而且
,其中
。 於是
,其中
,所以
是一個滿射。
既然
是一個
到
的同構,那麼
![{\displaystyle \operatorname {dim} (\mathrm {H} )=\operatorname {dim} (\operatorname {Im} \mathrm {T} ).}](//wikimedia.org/api/rest_v1/media/math/render/svg/40d9493f64ca3c085332fb8837d6ed4aac47c0c9)
- 綜上所述,即有:
![{\displaystyle \operatorname {dim} (\operatorname {Im} \mathrm {T} )+\operatorname {dim} (\operatorname {Ker} \mathrm {T} )=\operatorname {dim} (\mathrm {V} ),}](//wikimedia.org/api/rest_v1/media/math/render/svg/9798aff96ad7ce6fdf6777b552a4417f09984751)
- 也就是:
[1]:59
正合列
秩-零化度定理是抽象代數中的同態基本定理在線性空間上的表現形式。如果用更現代的語言,定理可以表示為:如果
- 0 → U → V → R → 0
- 是線性空間中的一個短正合列,那麼有:
- dim(U) + dim(R) = dim(V)
- 其中 R 表示 im T, U 表示 ker T。
在有限維的情況下,上式可以作進一步推廣。如果
- 0 → V1 → V2 → ... → Vr → 0
- 是有限維線性空間中的一個正合列,那麼有:
![{\displaystyle \sum _{i=1}^{r}(-1)^{i}\dim(V_{i})=0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/81ac04570d0810c42111bd1885f47b1e3d27fcd0)
在有限維線性空間中,秩-零化度定理還可以用線性變換的指標(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 作深入研究。更深入的結果可以參見阿蒂亞-辛格指標定理。阿蒂亞-辛格指標定理說明某些微分算子的指標可以通過涉及的空間的幾何性質得到。