Sei ein Unterraum des Vektorraums
. Welche Aussagen sind dann richtig?
(1) Jede Nebenklasse ist ein Unterraum.
(2) Jeder Unterraum ist eine Nebenklasse.
(3) Die leere Menge ist eine Nebenklasse.
(4) Es ist möglich, dass eine Nebenklasse von in
in einer anderen enthalten ist.
(5) Zu jedem Unterraum gehören mindestens zwei Nebenklassen.
(6) Jeder Unterraum von hat unendlich viele Nebenklassen.
Aussage (1) ist falsch, denn ein Unterraum enthält immer den Nullvektor, eine Nebenklasse im Allgemeinen nicht.
ist die Nebenklasse
.
gleichmächtig zu
ist. Da jeder Unterraum mindestens ein Element enthält, muss eine Nebenklasse auch mindestens ein Element enthalten.
bilden eine Partition von
.
hat
nur eine Nebenklasse.
Die zweite Aussage ist richtig; der Unterraum
Die dritte Aussage ist falsch, weil eine Nebenklasse von
Aussage (4) ist falsch, denn die Nebenklassen von
Die letzten beiden Aussagen sind falsch, denn für
Auch alles richtig. Was wäre denn, wenn man in (6) schreiben würde: Jeder echte Unterraum von
hat unendlich viele Nebenklassen. Wäre das dann richtig?
Für
gibt es mindestens einen Vektor
, der nicht in
liegt. Dann ist
für alle
eine Nebenklasse von
. Diese Nebenklassen sind alle unterschiedlich, denn aus
folgt
. Also wäre die Aussage richtig. Jeder echte Unterraum von
hat sogar überabzählbar unendlich viele Nebenklassen.
Genau!