Homogenes lineares Gleichungssystem/Dimensionsabschätzung/Fakt/Beweis

Beweis

Der Lösungsraum einer linearen Gleichung in Variablen besitzt die Dimension oder . Der Lösungsraum des Systems ist der Durchschnitt der Lösungsräume der einzelnen Gleichungen. Daher folgt die Aussage durch mehrfache Anwendung von Fakt auf die einzelnen Lösungsräume.