# Untervektorraum/Lösungsraum zu linearem Gleichungssystem/Einführung/Textabschnitt
## Definition

Es sei $K$ ein Körper und $V$ ein $K$-Vektorraum. Eine Teilmenge $U\subseteq V$ heißt Untervektorraum, wenn die folgenden Eigenschaften gelten.
* $0\in U$.
* Mit $u,v\in U$ ist auch $u+v\in U$.
* Mit $u\in U$ und $s\in K$ ist auch $su\in U$.
Auf einem solchen Untervektorraum kann man die Addition und die skalare Multiplikation einschränken. Daher ist ein Untervektorraum selbst ein Vektorraum, siehe Aufgabe. Die einfachsten Untervektorräume in einem Vektorraum $V$ sind der Nullraum $0$ und der gesamte Vektorraum $V$.

## Lemma

Es sei $K$ ein Körper und
    ${\begin{matrix}a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}&=&0\\a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}&=&0\\\vdots &\vdots &\vdots \\a_{m1}x_{1}+a_{m2}x_{2}+\cdots +a_{mn}x_{n}&=&0\end{matrix}}$
ein homogenes lineares Gleichungssystem über $K$.
Dann ist die Menge aller Lösungen des Gleichungssystems ein Untervektorraum des $K^{n}$ (mit komponentenweiser Addition und Skalarmultiplikation).

### Beweis

$\Box$
Man spricht daher auch vom Lösungsraum des Gleichungssystems. Insbesondere ist die Summe von zwei Lösungen eines linearen Gleichungssystems wieder eine Lösung. Die Lösungsmenge eines inhomogenen Gleichungssystems ist kein Vektorraum. Man kann aber zu einer Lösung eines inhomogenen Gleichungssystems eine Lösung des zugehörigen homogenen Gleichungssystems hinzuaddieren und erhält wieder eine Lösung des inhomogenen Gleichungssystems.

## Beispiel

Wir knüpfen an die homogene Version von Beispiel an, d.h. wir betrachten das homogene lineare Gleichungssystem
    ${\begin{matrix}2x&+5y&+2z&&-v&=&0\\3x&-4y&&+u&+2v&=&0\\4x&&-2z&+2u&&=&0\,.\end{matrix}}$
über $\mathbb {R}$. Aufgrund von Fakt ist die Lösungsmenge $L$ ein Untervektorraum von $\mathbb {R} ^{5}$. Wir haben ihn in Beispiel explizit als
    ${\left\{u{\left(-{\frac {1}{3}},0,{\frac {1}{3}},1,0\right)}+v{\left(-{\frac {2}{13}},{\frac {5}{13}},-{\frac {4}{13}},0,1\right)}\mid u,v\in \mathbb {R} \right\}}$
beschrieben, woraus ebenfalls erkennbar ist, dass dieser Lösungsraum ein Vektorraum ist. In dieser Schreibweise wird klar, dass $L$ in Bijektion zu $\mathbb {R} ^{2}$ steht, und zwar respektiert diese Bijektion sowohl die Addition als auch die Skalarmultiplikation (die Lösungsmenge $L'$ des inhomogenen Systems steht ebenfalls in Bijektion zu $\mathbb {R} ^{2}$, allerdings gibt es keine sinnvolle Addition und Skalarmultiplikation auf $L'$). Allerdings hängt diese Bijektion wesentlich von den gewählten „Basislösungen“ ${\left(-{\frac {1}{3}},0,{\frac {1}{3}},1,0\right)}$ und ${\left(-{\frac {2}{13}},{\frac {5}{13}},-{\frac {4}{13}},0,1\right)}$ ab, die von der gewählten Eliminationsreihenfolge abhängen. Es gibt für $L$ andere gleichberechtigte Basislösungen.
An diesem Beispiel kann man sich Folgendes klar machen: Der Lösungsraum eines linearen Gleichungssystems über $K$ ist „in natürlicher Weise“, d.h. unabhängig von jeder Auswahl, ein Untervektorraum des $K^{n}$ (wenn $n$ die Anzahl der Variablen ist). Der Lösungsraum kann auch stets in eine „lineare Bijektion“ (eine „Isomorphie“) mit einem $K^{d}$ ($d\leq n$) gebracht werden, doch gibt es dafür keine natürliche Wahl. Dies ist einer der Hauptgründe dafür, mit dem abstrakten Vektorraumbegriff zu arbeiten anstatt lediglich mit dem $K^{n}$.