Springe zum Inhalt oder Footer
SerloDie freie Lernplattform

Lösungsraum Trick

Einstieg

Viele Probleme lassen sich in der linearen Algebra auf das Lösen lineare Gleichungssysteme zurückführen. Dieser Trick funktioniert nur für lösbare lineare Gleichungssysteme in Treppenform und erlaubt es, einen Lösungsraum schnell zu bestimmen.

Als Erstes stellen wir das Gleichungssystem in einer Koeffizientenmatrix da. Falls das Gleichungssystem mehr unbekannte als Gleichungen besitzt, fügen wir entsprechend viele Nullzeilen ein. Wir verwenden solange den Gauß-Jordan-Algorithmus, bis die Koeffizientenmatrix die Treppenform besitzt d.h :

  • Das jeweils erste Element einer Zeile von ist eine 1

  • Alle Elemente über und unter der Diagonal 1 ist 0

Außerdem muss gefodert werden. Das die jeweils ersten Elemente einer Zeile auf der Diagonale stehen.

Versucht man diesen Trick auf eine Matrix anzuwenden, welche nicht diese Gestalt besitzt. So liefert das Verfahren falsche Ergebnisse.

Verfahren

Besitzt nun die Matrix die Gestalt von , so geht man wie folgt vor:

  • Jede Diagonal 0 wird mit 1 ersetzt

  • Jede korrospondierende Spalte von einer ersetzen Diagonal 0, ist automatisch ein Lösungsvektor

  • Der Vektor b 𝕂n ist der Lösungsvektor

Beispiel

Betrachten wir folgendes Gleichungssystem

Ia1+a2+6a3+8a4=1IIa1+2a27a32a4=1

Wir repräsentieren das Gleichungssystem in einer Matrix. Außerdem muss die Matrix mit Nullzeilen aufgeführt werden, da es mehr Unbekannte als Gleichungen gibt. Ohne den Vektor b besitzt die Matrix nun eine Blockgestalt.

(11681127210000000000)

Die Matrix kann nun in Gauß Normalform gebracht werden. Durch Addieren der ersten Zeile auf die zweite und die zweite anschließend auf die erste, erhalten wie die gewünschte Gestalt.

(105143011620000000000)

Nun ersetzen wir alle Diagonalnullen. In unserem Beispiel ersetzen wir also die Diagonalnull in Spalte 3 und 4 Spalte mit 1.

(105143011620010000010)

Jetzt können wir die Lösungen ablesen. Die Spalte 3 und 4 beinhaltet unsere Lösungsvektoren und der Vektor b ist der entsprechende Lösungsvektor. Damit erhalten wir dem Lösungsraum

={b+v1t++vnt|t𝕂}={(3,2,0,0)+(14,6,0,1)t+(5,1,1,0)t|t}

Bemerkung

Der Trick funktioniert auch für nicht homogene Gleichungssysteme. Der Lösungsvektor muss aber zwingend in den Lösungsraum mit einfließen.

Für homogene Gleichungssysteme lässt sich das Verfahren ganz einfach beweisen. Dazu betrachtet man den Spaltenindex  si der die jeweilige Spalte des ersten, zweiten und n-ten Pivotelement angibt. Im vorherigen Beispiel galt si=i, aber natürlich können die Spalten vertauscht sein. Dann kann man durch nachrechnen prüfen, dass die Fundamentallösung Fj tatsächlich eine gültige Lösung für das Gleichungssystem Ax = 0 ist, wobei j definiert ist als j   {qi, ... , qr}   {s1, ... , sr}, also genau die Spalten die frei belegt werden können. Dann lässt sich die Fundamentallösung schreiben als Fj = ej i=1rtij esi. Nun muss man prüfen ob T Fj = 0. Durch einsetzen folgt: T  Fj  = T ej  i=1rtij   T  esi =k=1rtkj  ej   i=1rtij ei =0  und somit folgt die Behauptung.


Dieses Werk steht unter der freien Lizenz
CC BY-SA 4.0Was bedeutet das?