Proposition: Die Lösungsmenge homogener Gleichungssysteme

Sei

  • eine TNF
  • mit ausgezeichneten Indizes

Die Lösungsmenge von ist

üü

Beweis

Der Beweis ist wieder eine Äquivalenz, wir teilen ihn also in zwei Teile

Beweis: Jedes Element von ist eine Lösung des LGS

Sei , wobei mit üü.

Es ist zu zeigen, dass .

Wir berechnen also .

Beweis: Jede Lösung des LGS ist ein Element von

Sei eine beliebige Lösung des LGS .

Es gilt also:

Das heißt,

Dann ist die Spalte entweder

Gilt so sind alle Einträge

Also gilt:

Da der ganze Term Null werden soll, muss gelten:

Generell gilt für also:

üü

und das ist wiederum genau die Definition von