Zahlenraum/Unterräume/Lineare Gleichungssysteme/Einführung/Textabschnitt
Es sei ein Körper und . Eine Teilmenge heißt Untervektorraum, wenn die folgenden Eigenschaften gelten.
- Es ist .
- Mit ist auch .
- Mit und ist auch .
Eine Familie von Vektoren heißt wieder ein Erzeugendensystem von , wenn man jeden Vektor aus als eine Linearkombination schreiben kann, und eine Basis von , wenn darüber hinaus diese Darstellung eindeutig ist. Mit einem Erzeugendensystem kann man einen Untervektorraum in der Form
beschreiben. Umgekehrt definiert dabei die rechte Seite stets einen Untervektorraum, der der von den Vektoren erzeugte Untervektorraum heißt. Er wird mit bezeichnet.
Es sei ein Körper und
ein homogenes lineares Gleichungssystem über .
Dann ist die Menge aller Lösungen des Gleichungssystems ein Untervektorraum des (mit komponentenweiser Addition und Skalarmultiplikation).
Beweis
Für einen Untervektorraum
gibt es grundsätzlich zwei Beschreibungsmöglichkeiten: Als Lösungsraum eines homogenen linearen Gleichungssystems und als ein von Vektoren erzeugter Untervektorraum. Durch das Lösen eines linearen Gleichungssystems wird die zuerst genannte Darstellungsmöglichkeit in die zweite Darstellungsmöglichkeit umgewandelt.
Man nennt zu einem homogenen linearen Gleichungssystem Lösungen Basislösungen, wenn man jede Lösung eindeutig als Linearkombination dieser Basislösungen darstellen kann. Wenn ein solches System in den Variablen gegeben ist, und wenn man die freien Variablen identifiziert hat, so erhält man Basislösungen, wenn man diese freien Variablen an einer Stelle mit und sonst mit belegt und die anderen Einträge der abhängigen Variablen jeweils ausrechnet.
Es sei ein Körper und . Eine Teilmenge heißt affiner Unterraum, wenn ( leer ist oder) es einen Untervektorraum und einen Punkt mit
gibt.
Statt von einem affinen Unterraum spricht man manchmal schlicht von einem Unterraum. Der Punkt heißt ein Aufpunkt des Raumes und heißt der zugehörige Untervektorraum. Ein affiner Unterraum ist ein in eine bestimmte Richtung parallel verschobener Untervektorraum, wobei der Aufpunkt den Verschiebungsvektor bezeichnet.
Es sei ein Körper und
ein inhomogenes lineares Gleichungssystem über .
Dann ist die Menge aller Lösungen des Gleichungssystems ein (affiner) Unterraum des . Dabei kann man jede Lösung als Aufpunkt nehmen, und der zugehörige Untervektorraum ist der Lösungsraum zum zugehörigen homogenen linearen Gleichungssystem.
Es sei die Lösungsmenge nicht leer und sei ein beliebig gewählter Punkt. Es sei der Lösungsraum zum zugehörigen homogenen linearen Gleichungssystem, der nach Fakt ein Untervektorraum von ist. Wir müssen die Mengengleichheit zeigen. Wenn ist, so bedeutet dies
für alle . Für ist dann
also ist dieser Punkt eine Lösung des inhomogenen Gleichungssystems und somit ist . Wenn umgekehrt eine Lösung ist, so ist
und diese Differenz erfüllt
Also ist und somit .
Wenn man also die Lösungsmenge eines inhomogenen Gleichungssystems beschreiben möchte, so nimmt man eine spezielle Lösung als Aufpunkt und eine Basis des Lösungsraumes des zugehörigen homogenen Gleichungssystems.