Kern-Bild-Formel

Der Rangsatz oder Dimensionssatz ist ein Satz aus dem mathematischen Teilgebiet der linearen Algebra. Er zeigt einen Zusammenhang zwischen der Dimension des Bildes und der des Kerns einer linearen Abbildung f von einem Vektorraum V in einen Vektorraum W:

$\dim V = \dim \mathrm{ker}(f) + \dim \mathrm{im}(f)$

Der Satz gilt für Vektorräume beliebiger (auch unendlicher) Dimension. Er ist aber vor allem für endlichdimensionale Vektorräume von Bedeutung, da man in diesem Fall etwa die Dimension des Bildraums als $\dim \mathrm{im}(f) =\dim V - \dim \mathrm{ker}(f)$ berechnen kann.

Verwendet man die Bezeichnungen Defekt für die Dimension des Kerns und Rang für die Dimension des Bildes, lautet der Satz:

$\dim V = \mathrm{def}(f) + \mathrm{rg}(f)$

Eine weitreichende Verallgemeinerung des Rangsatzes ist die Aussage, dass die alternierende Summe der Dimensionen der einzelnen Komponenten eines Kettenkomplexes gleich der alternierenden Summe der Dimensionen seiner Homologiegruppen ist. Siehe dazu Kettenkomplex.