Ungleichung von Frobenius

Die Ungleichung von Frobenius ist ein Ergebnis der Linearen Algebra, einem der Teilgebiete der Mathematik. Sie ist nach Georg Frobenius benannt und behandelt die Beziehungen zwischen den Rängen dreier hintereinander ausgeführter linearer Abbildungen.

Formulierung der Ungleichung

Die Ungleichung besagt folgendes:

Gegeben seien vier Vektorräume $U,V,W,X$ über einem beliebigen Körper $K$ und dazu drei lineare Abbildungen  $\alpha :U\to V$  ,   $\beta :V\to W$   und   $\gamma :W\to X$  .

Dann gilt:

$\mathrm{r}\mathrm{g}(\gamma \beta )+\mathrm{r}\mathrm{g}(\beta \alpha )\le \mathrm{r}\mathrm{g}(\beta )+\mathrm{r}\mathrm{g}(\gamma \beta \alpha )$  .

Beweisskizze

Sei $W_0$ ein Komplementärraum von $\mathrm{i}\mathrm{m}(\beta \alpha )$   in   $\mathrm{i}\mathrm{m}(\beta )$, also

$\mathrm{i}\mathrm{m}(\beta )=\mathrm{i}\mathrm{m}(\beta \alpha )\oplus W_0$ .

Dann folgt

$\mathrm{i}\mathrm{m}(\gamma \beta )=\mathrm{i}\mathrm{m}(\gamma \beta \alpha )+\gamma (W_0)$

und weiter

$\mathrm{r}\mathrm{g}(\gamma \beta )\le \mathrm{r}\mathrm{g}(\gamma \beta \alpha )+\dim (\gamma (W_0))$ .

Damit bekommt man

$\begin{array}{cc}\mathrm{r}\mathrm{g}(\beta \alpha )+\mathrm{r}\mathrm{g}(\gamma \beta )& \le \mathrm{r}\mathrm{g}(\beta \alpha )+\mathrm{r}\mathrm{g}(\gamma \beta \alpha )+\dim (\gamma (W_0))\\ & \le \mathrm{r}\mathrm{g}(\beta \alpha )+\mathrm{r}\mathrm{g}(\gamma \beta \alpha )+\dim (W_0)\\ & =[\dim (\mathrm{i}\mathrm{m}(\beta \alpha ))+\dim (W_0)]+\mathrm{r}\mathrm{g}(\gamma \beta \alpha )\\ & =\dim (\mathrm{i}\mathrm{m}(\beta ))+\mathrm{r}\mathrm{g}(\gamma \beta \alpha )\\ & =\mathrm{r}\mathrm{g}(\beta )+\mathrm{r}\mathrm{g}(\gamma \beta \alpha ),\end{array}$

also insgesamt die behauptete Ungleichung.

Anmerkung

Da bei beliebigen Vektorräumen der Dimensionsbegriff und auch der Nachweis der Existenz eines Komplementärraums die Annahme der Gültigkeit des Auswahlaxioms erfordert, ist im Falle, dass man diese Annahme nicht treffen möchte, von Vektorräumen endlicher Dimension auszugehen. Für solche ist die Ungleichung stets gültig.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur