Lineare Algebra/Variablenmenge/Lineares Gleichungssystem/Lösungsraum ist Vektorraum/Fakt/Beweis/Aufgabe/Lösung

Wegen

${}\sum _{j=1}^{n}a_{ij}0=0\,$

für alle

${}i=1,\ldots ,m\,$

ist das Nulltupel ${}(0,\ldots ,0)$ eine Lösung. Es seien ${}\left(x_{1},\,\ldots ,\,x_{n}\right)$ und${}\left(y_{1},\,\ldots ,\,y_{n}\right)$ Lösungen des linearen Gleichungssystems. Zu ${}s\in K$ ist dann für jedes ${}i$

${}\sum _{j=1}^{n}a_{ij}{\left(sx_{j}\right)}=s\cdot {\left(\sum _{j=1}^{n}a_{ij}x_{j}\right)}=s\cdot 0=0\,.$

Entsprechend ist

${}{\begin{aligned}\sum _{j=1}^{n}a_{ij}{\left(x_{j}+y_{j}\right)}&=\sum _{j=1}^{n}{\left(a_{ij}x_{j}+a_{ij}y_{j}\right)}\\&={\left(\sum _{j=1}^{n}a_{ij}x_{j}\right)}+{\left(\sum _{j=1}^{n}a_{ij}x_{j}\right)}\\&=0+0\\&=0\end{aligned}}$

für alle ${}i$. Somit ist der Lösungsraum unter Multiplikation mit einem Skalar und unter Addition abgeschlossen und bildet demnach einen Untervektorraum.

Der Gesamtlösungsraum ist der Durchschnitt der Lösungsräume zu den einzelnen Gleichungen.

Zur gelösten Aufgabe