Mathe für Nicht-Freaks: Nebenklassen eines Unterraums

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Herleitung Nebenklasse bzw. affiner Unterraum

Geraden im ${ℝ}^2$ Vorlage:Anker

Wahrscheinlich kennst du schon den Begriff der Gerade. Doch wie beschreiben wir eine Gerade im ${ℝ}^2$ mathematisch? Aus der Schule ist bekannt, dass man Geraden durch $v+tu$ parametrisieren kann, wobei $v,u\in {ℝ}^2,u\ne 0$ zwei feste Vektoren sind und $t$ alle Werte in $ℝ$ annimmt. Das heißt, dass alle Punkte auf der Geraden die Menge $G:=\{v+tu\mid t\in ℝ\}$ bilden. Geometrisch beschrieben ist das die (unendlich lange) Gerade, die durch $v$ in Richtung von $u$ verläuft.

Eine affine Gerade wird durch den Stützvektor v und den Richtungsvektor u beschrieben.

Im Allgemeinen verläuft so eine Gerade nicht durch den Ursprung $(0,0)$. Somit ist $G$ kein Untervektorraum des ${ℝ}^2$, da per Definition jeder Untervektorraum den Ursprung enthält. Allerdings ist die Gerade $G$ eine Verschiebung der Gerade $U:=\{tu\mid t\in ℝ\}$ um den Vektor $v$. Hier ist $U$ eine Gerade, die durch den Ursprung verläuft. Diese ist ein Untervektorraum, da sie den Ursprung enthält und unter Addition und skalarer Multiplikation abgeschlossen ist. Das heißt, jede Gerade ist durch die Wahl eines (ein-dimensionalen) Untervektorraums $U\subset {ℝ}^2$ und eines Vektors $v\in {ℝ}^2$ gegeben. Das rechtfertigt die Notation $G=v+U$. Diese Notation kann man auch formalisieren:

Sei für einen Untervektorraum $W$ und einen Vektor $v$ die Menge $v+W$ definiert durch $v+W:=\{v+w\mid w\in W\}$. Dann gilt für die oben definierten Mengen $G$ und $U$, dass $G=\{v+tu\mid t\in ℝ\}=\{v+w\mid w\in U\}=v+U$ ist.

Ebenen im ${ℝ}^3$

Erhöhen wir die Dimension und schauen uns den ${ℝ}^3$ an. Eine Gerade können wir analog als die Menge $G:=\{v+tu\mid t\in ℝ\}$ mit Vektoren $v$ und $u\in {ℝ}^3,u\ne 0$ beschreiben. Diese ist eine Verschiebung einer Gerade durch den Ursprung um einen Vektor $v$. Formal ist also wieder jede Gerade von der Form $v+U$ für einen Vektor $v\in {ℝ}^3$ und einen ein-dimensionalen Untervektorraum $U\subset {ℝ}^3$.

Wie sieht es mit den Ebenen im ${ℝ}^3$ aus? Diese parametrisiert man durch $v+t_1{u}_1+t_2{u}_2$, wobei $v,u_1,u_2\in {ℝ}^3$ feste Vektoren sind und $t_1,t_2$ alle Werte in $ℝ$ durchlaufen. Die Vektoren $u_1$ und $u_2$ dürfen keine skalaren Vielfachen voneinander sein – sonst würden wir eine Gerade bekommen. Alle Punkte auf der Ebene bilden die Menge $E:=\{v+t_1{u}_1+t_2{u}_2\mid t_1,t_2\in ℝ\}$. Wie im Fall der Geraden ist die Ebene $E$ im Allgemeinen kein Untervektorraum, da der Ursprung nicht in $E$ liegen muss. Jedoch ist die Ebene eine Verschiebung des Untervektorraums $U:=\{t_1{u}_1+t_2{u}_2\mid t_1,t_2\in ℝ\}$ um den Vektor $v$. Es gilt also analog, dass jede Ebene durch einen zwei-dimensionalen Untervektorraum und einen Vektor gegeben ist, also dass $E=v+U$ ist.

Eine affine Ebene wird durch den Stützvektor v und den Richtungsvektoren u_1 und u_2 beschrieben.

Geraden in $(\mathbb{Z}/5\mathbb{Z}{)}^2$

Wir können uns auch bestimmte Geraden in einem komplizierteren Raum ansehen: Wir betrachten den $\mathbb{Z}/5\mathbb{Z}$-Vektorraum $(\mathbb{Z}/5\mathbb{Z}{)}^2$. Im Artikel Vektorraum haben wir schon gesehen, dass wir uns diesen Vektorraum als regälmäßige Punkte auf einem Torus vorstellen können. Was ist nun eine "Gerade" auf diesem Torus? Wir haben in den vorangegangenen zwei Abschnitten gesehen, wie wir Geraden in den Vektorräumen ${ℝ}^2$ und ${ℝ}^3$ beschreiben können: Dort ist eien Gerade das gleiche wie eine Menge $G=\{v+tu\mid t\in ℝ\}$ mit einem Stützvektor $v$ und einem Richtungsvektor $u$. In anderen Worten ist es die Menge $G=v+U$, wobei $U=\{tu\mid u\in ℝ\}$ ein eindimensionaler Unterraum ist. Diese Konstruktion können wir auf $(\mathbb{Z}/5\mathbb{Z}{)}^2$ übertragen, das heißt wir können eine Gerade betrachten als $G=v+U$, wo $U$ ein eindimensionaler Unterraum von $(\mathbb{Z}/5\mathbb{Z}{)}^2$ ist. Das heißt $G$ ist von der Form $G=\{v+tu\mid t\in \mathbb{Z}/5\mathbb{Z}\}$. Wir können diese Menge auf einem Torus visualisieren:

Punkte einer affinen Gerade in (Z/5Z)^2 auf einem Torus

Die Punkte scheinen auf einer Linie zu liegen. Wenn wir die Punkte jeweils auf die kürzeste Weise verbinden, so erhalten wir eine geschlossene Linie, die sich wie eine Gerade auf dem Torus anfühlt.

Punkte einer affinen Gerade in (Z/5Z)^2 auf einem Torus, verbunden durch eine Linie

Damit entsprechen auch hier verschobene eindimensionale Untervektorräume Geraden.

Wir betrachten noch ein Beispiel einer Gerade in $(\mathbb{Z}/5\mathbb{Z}{)}^2$. Wir haben den eindimensionalen Untervektorraum $U:=\{n(1,1)\mid n\in \mathbb{Z}/5\mathbb{Z}\}$. Diesen verschieben wir um den Vektor $(2,0)\in (\mathbb{Z}/5\mathbb{Z}{)}^2$. So erhalten wir die Gerade $G:=(2,0)+U$. Hier besteht eine Gerade aus nur fünf Vektoren. Bei uns ist $G=\{(2,0),(3,1),(4,2),(0,3),(1,4)\}$.

Wir haben in verschiedenen Vektoräumen geometrische Objekte (z.B. Geraden und Ebenen) als verschobene Untervektorräume charakterisiert. Diesen wollen wir jetzt einen Namen geben.

Herleitung der Menge der Nebenklassen eines Unterraums

Wir haben Nebenklassen als Verschiebungen von Unterräumen definiert. Betrachten wir das folgende Beispiel einer Verschiebungen eines Unterraums $U$ des ${ℝ}^2$ um zwei verschiedene Vektoren $v$ und $v^{\prime }$:

Verschiedene Verschiebungen eines Unterraums, die zum gleichen affinen Unterraum führen

Im obigen Beispiel sehen wir, dass verschiedene Verschiebungen eines Unterraums zum gleichen affinen Unterraum führen können. Wir stellen uns also folgende Frage:

Wann sind zwei verschobene Unterräume $v+U$ und $v^{\prime }+U^{\prime }$ gleich?

Stellen wir uns das Ganze zunächst im ${ℝ}^2$ vor, wobei beide verschobenen Unterräume Geraden sind. Wenn sie gleich sind, haben sie die gleiche Steigung. Diese charakterisiert die durch den Ursprung gehenden Geraden $U$ und $U^{\prime }$. Es folgt, dass $U$ und $U^{\prime }$ gleich sein müssen.

Betrachten wir die Frage jetzt für allgemeine Vektorräume. Seien also $V$ ein Vektorraum, $U,U^{\prime }\subseteq V$ Untervektorräume, $v,v^{\prime }\in V$ Vektoren und gelte $v+U=v^{\prime }+U^{\prime }$ als Mengen. Wir würden gerne (wie im ${ℝ}^2$) zunächst folgern, dass $U=U^{\prime }$. Dazu wäre es schön $U$ aus $v+U$ zu bekommen. Wir können aber von jedem Vektor in $v+U$ den Vektor $v$ abziehen, um $U$ zu erhalten. Dann können wir $U$ wie folgt umformen: Vorlage:Einrücken

Da $U$ ein Untervektorraum ist, gilt $0\in U$. Die obige Gleichung impliziert also $0\in (v^{\prime }-v)+U^{\prime }$, d.h. es gibt ein $u^{\prime }\in U^{\prime }$, sodass $(v^{\prime }-v)+u^{\prime }=0$, also $v^{\prime }-v=-u^{\prime }$. Insbesondere ist $v^{\prime }-v\in U^{\prime }$.

Es gilt allgemein für jeden Untervektorraum $W$ und Vektor $w\in W$, dass $w+W=W$ ist. Das liegt daran, dass man jedes $w^{\prime }\in W$ schreiben kann als $w^{\prime }=w+(w^{\prime }-w)$. Da $w^{\prime }-w\in W$ ist, gilt $w^{\prime }\in w+W$. Geometrisch kann man sich das Ganze auch so vorstellen: Verschiebt man den Untervektorraum $W$ in eine Richtung, in der er schon liegt, ändert er sich (als Menge) nicht.

Zurück zu unserer ursprünglichen Frage: Da $v^{\prime }-v\in U^{\prime }$ gilt, folgt, dass $(v^{\prime }-v)+U^{\prime }=U^{\prime }$. Insgesamt erhalten wir also das Gewünschte $U=U^{\prime }$. Unterwegs haben wir zudem gesehen, dass $v^{\prime }-v\in U^{\prime }=U$ auch ein notwendiges Kriterium ist, damit $v+U=v^{\prime }+U^{\prime }$ gilt.

Sind diese Kriterien auch hinreichend? Ja, denn: Angenommen wir haben $v,v^{\prime }\in V$ und $U,U^{\prime }\subset V$ mit $U=U^{\prime }$ und $v^{\prime }-v\in U^{\prime }=U$ gegeben, dann gilt $U=U^{\prime }=(v^{\prime }-v)+U^{\prime }$ und damit durch Addition mit $v$ auf beiden Seiten auch $v+U=v^{\prime }+U^{\prime }$.

Fassen wir zusammen: Zwei verschobene Untervektorräume $v+U,v^{\prime }+U^{\prime }$ sind genau dann gleich, wenn die (nicht verschobenen) Untervektorräume gleich sind, also $U=U^{\prime }$, und die Differenz der Verschiebungen in $U$ liegen, d.h. $v-v^{\prime }\in U$.

Haben wir einen Untervektorraum gegeben, können wir nun herausfinden, ob zwei Verschiebungen um $v$ bzw. $v^{\prime }$ den gleichen affinen Unterraum ergeben. Wir können damit eine Art "neue Gleichheit" konstruieren, indem wir $v$ und $v^{\prime }$ als "gleich" betrachten, wenn sie den gleichen affinen Unterraum erzeugen. Solche neuen Gleichheiten verhalten sich vernünftig, wenn sie Äquivalenzrelationen sind.

Wir erinnern uns an die Definition einer Äquivalenzrelation. {{#lst:Mathe für Nicht-Freaks: Äquivalenzrelation|äquivalenzrelation_definition}} Zwei Elemente, die bezüglich einer Äquivalenzrelation in Relation stehen, heißen äquivalent. Wenn zwei Elemente $x$ und $y$ äquivalent zueinander bezüglich einer Äquivalenzrelation $R$ sind, schreibt man oft $x{\sim }_{R}y$ oder einfach $x\sim y$.

Um die oben angesprochene "neue Gleichheit" formal hinzuschreiben, definieren wir uns eine Relation $\sim$, die durch $v\sim v^{\prime }:⟺v+U=v^{\prime }+U⟺v-v^{\prime }\in U$ gegeben ist. Intuitiv sollte unsere Relation eine Äquivalenzrelation sein, da sie besagt, wann zwei verschobene Untervektorräume gleich sind. Das überprüfen wir nun formal:

Wir können nun die Äquivalenzklassen dieser Relation betrachten, das heißt zu $v\in V$ die Menge $[v]:=\{w\in V\mid v\sim w\}$. Die Menge $[v]$ besteht also aus allen Vektoren $w$, die $U$ zu dem gleichen affinen Unterraum $v+U$ verschieben. Wie können wir diese Äquivalenzklassen noch charakterisieren? Es gilt:

$[v]=\{w\in V\mid v\sim w\}=\{w\in V\mid v-w\in U\}=\{v+u\mid u\in U\}=v+U$

Das heißt die Äquivalenzklassen unserer Relation sind genau die Nebenklassen.

Genauso wie wir zu einer Äquivalenzrelation ihre Äquivalenzklassen betrachten können, können wir auch einen Raum konstruieren, in dem die "neue Gleichheit" der Äquivalenzrelation eine echte Gleichheit wird. Dies ist die Menge der Äquivalenzklassen, der wir jetzt einen besonderen Namen geben wollen.

Definition der Menge der Nebenklassen eines Unterraums

Wir haben die Menge der Nebenklassen $V/U$ als die Menge der Äquivalenzklassen nach $\sim$ definiert. Im letzten Abschnitt haben wir gesehen, dass die von $v\in V$ erzeugte Äquivalenzklasse genau durch den affinen Unterraum $v+U$ gegeben ist. Damit ist eine Äquivalenzklasse bezüglich $\sim$ das gleiche wie eine Verschiebung von $U$. Dies liefert zwei äquivalente Sichtweisen auf die Menge $V/U$: Einerseits ist $V/U$ die Menge der Äquivalenzklassen bezüglich $\sim$; andererseits ist es die Menge der Verschiebungen von $U$.

Eigenschaften von Äquivalenzklassen angewendet auf Nebenklassen

Wir haben oben gesehen, dass Nebenklassen eines ein-dimensionalen Unterraums im ${ℝ}^2$ parallele Geraden sind. Das können wir auch durch die Charakterisierung der Nebenklassen als Äquivalenzklassen erklären: Zwei Äquivalenzklassen sind als Mengen entweder gleich oder disjunkt. Das heißt für uns, dass zwei Nebenklassen, also zwei Geraden entweder gleich sind oder dass sie keinen Schnittpunkt haben. Letzteres bedeutet, dass sie parallel sind.

Außerdem wissen wir über Äquivalenzklassen, dass sie den ganzen Raum überdecken, d.h. die Vereinigung aller Äquivalenzklassen ergibt die gesamte Menge. Daraus schließen wir, dass die Vereinigung aller Nebenklassen (in unserem Fall parallele Geraden) den ganzen ${ℝ}^2$ ergibt. Wir können den Vektorraum also in die Nebenklassen zerlegen. Diese Zerlegung nennt man auch Partition. Die Nebenklassen partitionieren also den Vektorraum. In unserem Beispiel heißt das, dass wir den ${ℝ}^2$ in Verschiebungen einer Ursprungsgeraden $U$ zerlegen können. Das veranschaulicht das folgende Bild:

V=\R ^2 partitioniert durch Geraden

Beide angesprochenen Punkte funktionieren auch allgemein (nicht nur im ${ℝ}^2$), da wir in keinem unserer Argumente eine Eigenschaft des ${ℝ}^2$ benutzt haben. Es gilt also für einen Vektorraum $V$ und einen Untervektorraum $U$: Vorlage:Important

Ausblick

Nebenklassen treten beim Lösen von linearen Gleichungssystemen auf: Die Lösungen des zugehörigen homogenen Gleichungssystems $U$ bilden einen Untervektorraum. Wenn das lineare Gleichungssystem eine Lösung hat, bilden die Lösung ein affiner Unterraum bezüglich $U$.

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}