Zahlenraum/Unterräume/Lineare Gleichungssysteme/Einführung/Textabschnitt

Aus Wikiversity


Definition  

Es sei ein Körper und . Eine Teilmenge heißt Untervektorraum, wenn die folgenden Eigenschaften gelten.

  1. Es ist .
  2. Mit ist auch .
  3. 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.



Lemma

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

Siehe Aufgabe.


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.

Bemerkung  

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.



Definition  

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.



Lemma  

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.

Beweis  

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.