Modul/Variablenmenge/Lineares Gleichungssystem/Lösungsmodul/Untermodul/Fakt/Beweis

Beweis

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 R$  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 Untermodul.

Zur bewiesenen Aussage