Die Aufgabe
7. Aufgabe. Unter einer Nebenklasse eines Untervektorraumes des Vektorraumes versteht man die Menge
wobei ein beliebiger Vektor in (und damit möglicherweise auch in ) ist.
a) Wie kann man sich eine Nebenklasse geometrisch veranschaulichen?
b) Sind Nebenklassen Untervektorräume? Falls ja, warum? Falls nein, evtl. wann doch?
c) Beweisen Sie folgenden Satz.
Satz: Sei ein Unterraum von . Zwei Nebenklassen
sind gleich, wenn gilt
also
Gegeben ist ein Vektorraum , darin ein Unterraum und ein beliebiger Vektor . Die Aufgabe fragt dreierlei: Wie sieht aus (a)? Ist wieder ein Unterraum, und wenn nur manchmal, wann (b)? Und wann sind zwei Nebenklassen und gleich (c)?
Das Zeichen heißt „liegt in“, heißt „liegt nicht in“, heißt „daraus folgt“. Zahlen gibt die Aufgabe nicht vor. Zum Zeichnen wählen wir ein Beispiel in der Ebene ; die Beweise gelten dann für jeden Vektorraum.
Zwei Hinweise vorab. Die Musterlösung antwortet bei b) nur „Nein“; die Frage „wann doch?“ beantworten wir in Schritt 9. Und der Satz in c) mischt „wenn“ und „daraus folgt“; wir beweisen beide Richtungen (Schritt 10 erklärt, warum).
So gehen wir vor:
- a) Was bedeutet, und das Bild dazu: eine parallel verschobene Gerade.
- b) Liegt der Nullvektor in ? Genau dann, wenn .
- c) Der Satz über gleiche Nebenklassen, in beide Richtungen bewiesen.