Lineares inhomogenes Gleichungssystem/Elimination/Stufengestalt und Dreiecksgestalt/Fakt

Jedes (inhomogene) lineare Gleichungssystem über einem Körper ${}K$

lässt sich durch die in Fakt beschriebenen elementaren Umformungen und durch das Weglassen von überflüssigen Gleichungen in ein äquivalentes lineares Gleichungssystem der Stufenform

${\begin{matrix}b_{1s_{1}}x_{s_{1}}&+b_{1s_{1}+1}x_{s_{1}+1}&\ldots &\ldots &\ldots &\ldots &\ldots &+b_{1n}x_{n}&=&d_{1}\\0&\ldots &0&b_{2s_{2}}x_{s_{2}}&\ldots &\ldots &\ldots &+b_{2n}x_{n}&=&d_{2}\\\vdots &\ddots &\ddots &\vdots &\vdots &\vdots &\vdots &\vdots &=&\vdots \\0&\ldots &\ldots &\ldots &0&b_{m{s_{m}}}x_{s_{m}}&\ldots &+b_{mn}x_{n}&=&d_{m}\\(0&\ldots &\ldots &\ldots &\ldots &\ldots &\ldots &0&=&d_{m+1})\end{matrix}}$

überführen, bei dem alle Startkoeffizienten ${}b_{1s_{1}},b_{2s_{2}},\ldots ,b_{ms_{m}}$ von ${}0$ verschieden sind.

Dabei ist (bei ${}d_{m+1}=0$) die letzte Zeile überflüssig oder aber (bei ${}d_{m+1}\neq 0$) das System besitzt keine Lösung.

Durch Variablenumbenennungen erhält man ein äquivalentes System der Form

${\begin{matrix}c_{11}y_{1}&+c_{12}y_{2}&\ldots &+c_{1m}y_{m}&+c_{1m+1}y_{m+1}&\ldots &+c_{1n}y_{n}&=&d_{1}\\0&c_{22}y_{2}&\ldots &\ldots &\ldots &\ldots &+c_{2n}y_{n}&=&d_{2}\\\vdots &\ddots &\ddots &\vdots &\vdots &\vdots &\vdots &=&\vdots \\0&\ldots &0&c_{mm}y_{m}&+c_{mm+1}y_{m+1}&\ldots &+c_{mn}y_{n}&=&d_{m}\\(0&\ldots &\ldots &0&0&\ldots &0&=&d_{m+1})\end{matrix}}$

mit Diagonalelementen ${}c_{ii}\neq 0$.

Zum Beweis, Alternativen Beweis erstellen