Lineare Algebra/Variablenmenge/Lineares Gleichungssystem/Lösungsraum ist Vektorraum/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 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.

Zur bewiesenen Aussage