Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 6/latex
\setcounter{section}{6}
Bevor wir die Gruppentheorie weiter entwickeln und insbesondere die Restklassenbildung sinnvoll behandeln können ist es notwendig, einige grundlegende mengentheoretische Konzepte sich klar zu machen, insbesondere das Konzept der Äquivalenzrelation.
\zwischenueberschrift{Relationen auf einer Menge}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Relacion_binaria_11.svg} }
\end{center}
\bildtext {Ein Pfeildiagramm ist eine Möglichkeit, eine Relation darzustellen.} }
\bildlizenz { Relación binaria 11.svg } {} {HiTe} {Commons} {PD} {}
\inputdefinition
{}
{
Eine \definitionswort {Relation}{} $R$ auf einer Menge $M$ ist eine Teilmenge der Produktmenge
\mathl{M \times M}{,} also
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Wenn ein Paar
\mathl{(x,y)}{} zu $R$ gehört, so sagt man auch, dass $x$ und $y$ in der Relation $R$ stehen. Statt
\mathl{(x,y) \in R}{} verwendet man häufig suggestivere Schreibweisen wie
\mathl{xRy}{} oder $x \sim y$ oder $x \leq y$. Dabei werden manche Symbole nur verwendet, wenn die Relation gewisse zusätzliche Eigenschaften erfüllt. Die wichtigsten Eigenschaften fasst die folgende Definition zusammen.
\inputdefinition
{}
{
Es sei $M$ eine Menge und
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Relation}{}{}
auf $M$. Man nennt $R$
\auflistungvier{\definitionswort {reflexiv}{,} wenn
\mavergleichskette
{\vergleichskette
{(x,x)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{\definitionswort {transitiv}{,} wenn für beliebige
\mavergleichskette
{\vergleichskette
{x,y,z
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus
\mathkor {} {(x,y) \in R} {und aus} {(y,z) \in R} {}
stets
\mavergleichskette
{\vergleichskette
{(x,z)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}{\definitionswort {symmetrisch}{,} wenn für beliebige
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskette
{\vergleichskette
{(y,x)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}{\definitionswort {antisymmetrisch}{,} wenn für beliebige
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus
\mathkor {} {(x,y) \in R} {und} {(y,x) \in R} {}
die Gleichheit
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}
}
\zwischenueberschrift{Ordnungsrelationen}
Eine reflexive, transitive und antisymmetrische Relation nennt man eine Ordnung, wofür man häufig ein Symbol wie
\mathl{\geq, \leq,\preccurlyeq, \subseteq}{} verwendet.
\inputdefinition
{}
{
Eine
\definitionsverweis {Relation}{}{}
$\preccurlyeq$ auf einer Menge $I$ heißt \definitionswort {Ordnungsrelation}{} oder \definitionswort {Ordnung}{,} wenn folgende drei Bedingungen erfüllt sind.
\aufzaehlungdrei{Es ist
\mavergleichskette
{\vergleichskette
{i
}
{ \preccurlyeq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{i
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{i
}
{ \preccurlyeq }{j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{j
}
{ \preccurlyeq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt stets
\mavergleichskette
{\vergleichskette
{i
}
{ \preccurlyeq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{i
}
{ \preccurlyeq }{j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{j
}
{ \preccurlyeq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{i
}
{ = }{j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Eine Menge mit einer fixierten Ordnung darauf heißt \stichwort {geordnete Menge} {.} Wenn zusätzlich gilt, dass für je zwei Elemente \mathkor {} {x \leq y} {oder} {y \leq x} {} gilt, so spricht man von einer \stichwort {total geordneten Menge} {.}
\inputbeispiel{}
{
Die reellen Zahlen $\R$ \zusatzklammer {ebenso die rationalen Zahlen und die ganzen Zahlen} {} {} sind \definitionsverweis {total geordnet}{}{} durch die \stichwort {Größergleichrelation} {} $\geq$. Dies gehört zum Begriff des angeordneten Körpers, der nicht nur verlangt, dass eine totale Ordnung erklärt ist, sondern auch, dass diese mit den algebraischen Operationen verträglich ist. Die strikte \stichwort {Größerrelation} {} $>$ ist keine Ordnungsrelation, da sie nicht reflexiv ist. Der Körper der komplexen Zahlen ${\mathbb C}$ ist nicht angeordnet \zusatzklammer {und lässt sich auch nicht anordnen} {} {.}
}
\inputbeispiel{}
{
Wir betrachten die positiven ganzen Zahlen $\N_+$ zusammen mit der Teilbarkeitsbeziehung. Man sagt, dass eine Zahl $k$ die Zahl $n$ teilt, geschrieben
\mathdisp {k {{|}} n} { , }
wenn es eine weitere natürliche Zahl $m$ mit
\mavergleichskette
{\vergleichskette
{n
}
{ = }{km
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Die Bezeichnung ist nicht sonderlich glücklich gewählt, da ein symmetrisches Symbol für eine nichtsymmetrische Relation verwendet wird. Die Teilbarkeitsrelation ist in der Tat reflexiv, da stets
\mathl{n{{|}}n}{} ist, wie
\mavergleichskette
{\vergleichskette
{m
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigt. Die Transitivität sieht man so: sei
\mathkor {} {k {{|}} n} {und} {n{{|}}m} {}
mit
\mathkor {} {n =ak} {und} {m=bn} {.}
Dann ist
\mavergleichskette
{\vergleichskette
{m
}
{ = }{bn
}
{ = }{bak
}
{ }{
}
{ }{
}
}
{}{}{}
und daher $k{{|}}m$. Die Antisymmetrie folgt so: Aus
\mathkor {} {n=ak} {und} {k=bn} {}
folgt
\mavergleichskette
{\vergleichskette
{n
}
{ = }{(ab)n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da wir uns auf positive natürliche Zahlen beschränken, folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daraus
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{k
}
{ = }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Einfache Beispiele wie \mathkon { 2 } { und } { 3 }{ } zeigen, dass hier keine
\definitionsverweis {totale Ordnung}{}{}
vorliegt, da weder $2$ von $3$ noch umgekehrt geteilt wird.
}
\inputbeispiel{}
{
Es sei $M$ eine beliebige Menge und
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ \mathfrak {P} \, (M )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die
\definitionsverweis {Potenzmenge}{}{}
davon. Dann sind die Elemente aus
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ \mathfrak {P} \, ( M )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzgs {also die Teilmengen von $M$} {}
durch die Inklusionsbeziehung $\subseteq$
\definitionsverweis {geordnet}{}{.}
Die Reflexivität bedeutet einfach, dass eine jede Menge in sich selbst enthalten ist und die Transitivität bedeutet, dass aus
\mavergleichskette
{\vergleichskette
{T_1
}
{ \subseteq }{T_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{T_2
}
{ \subseteq }{T_3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Inklusion
\mavergleichskette
{\vergleichskette
{T_1
}
{ \subseteq }{T_3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Die Antisymmetrie ist dabei ein wichtiges Beweisprinzip für die Gleichheit von Mengen: Zwei Mengen
\mathl{T_1, T_2}{} sind genau dann gleich, wenn
\mathkor {} {T_1 \subseteq T_2} {und umgekehrt} {T_2 \subseteq T_1} {}
gilt.
}
\inputbeispiel{}
{
Es sei $X$ eine Menge
\zusatzklammer {beispielsweise ein reelles Intervall, oder ein topologischer Raum} {} {,}
so ist die Menge der
\zusatzklammer {stetigen} {} {}
Funktionen
\maabb {f} {X} { \R
} {}
geordnet, indem man
\mavergleichskette
{\vergleichskette
{f
}
{ \geq }{g
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
dadurch definiert, dass
\mavergleichskette
{\vergleichskette
{f(x)
}
{ \geq }{g(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jeden Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein muss. Dies ist offensichtlich keine totale Ordnung.
}
\zwischenueberschrift{Äquivalenzrelationen}
\inputdefinition
{}
{
Eine \definitionswort {Äquivalenzrelation}{} auf einer Menge $M$ ist eine
\definitionsverweis {Relation}{}{}
\mavergleichskette
{\vergleichskette
{ R
}
{ \subseteq }{ M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die die folgenden drei Eigenschaften besitzt
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{x,y,z
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
\aufzaehlungdrei{Es ist
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\definitionswort {reflexiv}{}} {} {.}
}{Aus
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{y
}
{ \sim }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\definitionswort {symmetrisch}{}} {} {.}
}{Aus
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{y
}
{ \sim }{z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\definitionswort {transitiv}{}} {} {.}
}
Dabei bedeutet
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dass das Paar
\mathl{(x,y)}{} zu $R$ gehört.
}
\inputbeispiel{}
{
Das Urbeispiel für eine \definitionsverweis {Äquivalenzrelation}{}{} ist die Gleichheit auf einer beliebigen Menge $M$. Unter der Gleichheit ist jedes Element nur mit sich selbst äquivalent.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Wildebeests_in_the_Masaai_Mara.jpg} }
\end{center}
\bildtext {Gnus bilden eine Äquivalenzklasse bezüglich der Äquivalenzrelation der Gleichartigkeit, ebenso Zebras.} }
\bildlizenz { Wildebeests in the Masaai Mara.jpg } {Demosch} {FlickreviewR} {Flickr} {cc-by-2.0} {Quelle:www.flickr.com/photos/44222307@N00/1191441866/}
\inputbeispiel{}
{
Häufig interessiert man sich gar nicht so genau für einzelne Objekte, sondern nur für bestimmte Eigenschaften davon. Objekte, die sich bezüglich einer bestimmten, genau definierten Eigenschaft gleich verhalten, kann man dann \zusatzklammer {bezüglich dieser Eigenschaft} {} {} als \definitionsverweis {äquivalent}{}{} betrachten. Offenbar handelt es sich dabei um eine Äquivalenzrelation. Wenn man sich beispielsweise nur für die Farbe von Objekten interessiert, so sind alle Objekte, die \zusatzklammer {exakt} {} {} gleichfarbig sind, zueinander äquivalent. Wenn man sich bei Tieren nicht für irgendwelche individuellen Eigenschaften interessiert, sondern nur für ihre Art, so sind gleichartige Tiere äquivalent, d.h. zwei Tiere sind genau dann äquivalent, wenn sie zur gleichen Art gehören. Studierende kann man als äquivalent ansehen, wenn sie die gleiche Fächerkombination studieren. Vektoren kann man als äquivalent ansehen, wenn sie zum Nullpunkt den gleichen Abstand besitzen, etc. Eine Äquivalenzrelation ist typischerweise ein bestimmter Blick auf bestimmte Objekte, der unter Bezug auf eine gewisse Eigenschaft gewisse Objekte als gleich ansieht.
}
Bei den zuletzt genannten \anfuehrung{alltäglichen}{} Beispielen muss man etwas vorsichtig sein, da im Allgemeinen die Eigenschaften nicht so genau definiert werden. Im Alltag spielt Ähnlichkeit eine wichtigere Rolle als Gleichheit hinsichtlich einer bestimmten Eigenschaft. Die Ähnlichkeit ist aber keine Äquivalenzrelation, da sie zwar reflexiv und symmetrisch ist, aber nicht transitiv. Wenn $A$ und $B$ zueinander \zusatzklammer {knapp} {} {} ähnlich sind und $B$ und $C$ ebenso, so kann $A$ und $C$ schon knapp unähnlich sein \zusatzklammer {ebenso: lebt in der Nachbarschaft von, ist verwandt mit, etc.} {} {.}
Die Gleichheit bezüglich einer Eigenschaft wird durch folgende mathematische Konstruktion präzisiert.
\inputbeispiel{}
{
Es seien
\mathkor {} {M} {und} {N} {}
Mengen und sei
\maabb {f} {M} {N
} {}
eine Abbildung. In einer solchen Situation hat man immer eine
\definitionsverweis {Äquivalenzrelation}{}{}
auf dem Definitionsbereich $M$ der Abbildung, und zwar erklärt man zwei Elemente
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als äquivalent, wenn sie unter $f$ auf das gleiche Element abgebildet werden, wenn also
\mavergleichskette
{\vergleichskette
{f(x)
}
{ = }{f(y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Wenn die Abbildung $f$ injektiv ist, so ist die durch $f$ auf $M$ definierte Äquivalenzrelation die Gleichheit. Wenn die Abbildung konstant ist, so sind unter der zugehörigen Äquivalenzrelation alle Elemente aus $M$ untereinander äquivalent.
}
Zu einer Abbildung
\mathl{f:M \rightarrow N}{} nennt man übrigens die Menge aller Punkte
\mathl{x \in M}{,} die auf einen bestimmten Punkt $z \in N$ abgebildet werden, die \stichwort {Faser} {} über $z$. Die Äquivalenzklassen (s.u.) sind dann also die Fasern.
\inputbeispiel{}
{
Wir betrachten die \stichwort {Gaußklammer} {}
\zusatzklammer {oder den \anfuehrung{floor}{}} {} {}
einer reellen Zahl, also die Abbildung
\maabbeledisp {\lfloor \,\, \rfloor} {\R} {\Z
} {t} {\lfloor t \rfloor
} {.}
Eine Zahl $t$ wird also auf die größte ganze Zahl abgebildet, die kleiner oder gleich $t$ ist
\zusatzklammer {die \anfuehrung{Vorkommazahl}{}} {} {.}
Dabei wird das gesamte ganzzahlige
\zusatzklammer {also mit ganzzahligen Intervallgrenzen} {} {}
rechtsseitig offene Intervall
\mathl{[n,n+1)}{} auf
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
abgebildet. Bezüglich dieser Abbildung sind also zwei reelle Zahlen genau dann äquivalent, wenn sie im gleichen ganzzahligen Intervall liegen.
Statt der Vorkommazahl kann man auch die \anfuehrung{Nachkommazahl}{} betrachten. Das ist die Abbildung \maabbeledisp {} {\R } { [0,1) } { t } { t-\lfloor t \rfloor } {.} Unter der durch diese Abbildung definierte Äquivalenzrelation sind zwei reelle Zahlen genau dann gleich, wenn sie die gleiche Nachkommazahl besitzen, und das ist genau dann der Fall, wenn ihre Differenz eine ganze Zahl ist.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Ostfriesische-Inseln_2.jpg} }
\end{center}
\bildtext {Unter der Äquivalenzrelation \anfuehrung{erreichbar auf dem Landweg}{} sind Inseln und Kontinente die Äquivalenzklassen.} }
\bildlizenz { Ostfriesische-Inseln 2.jpg } {} {Godewind} {Commons} {PD} {}
\inputbeispiel{}
{
Es sei eine Situation gegeben, wo gewisse Orte \zusatzklammer {oder Objekte} {} {} von gewissen anderen Orten aus erreichbar sind oder nicht. Die Erreichbarkeit kann dabei durch die Wahl eines Verkehrsmittels oder durch eine abstraktere \zusatzklammer {Bewegungs} {} {-}Vorschrift festgelegt sein. Solche Erreichbarkeitsrelationen liefern häufig eine Äquivalenzrelation. Dass ein Ort von sich selbst aus erreichbar ist, sichert die Reflexivität. Die Symmetrie der Erreichbarkeit besagt, dass wenn man von $A$ nach $B$ kommen kann, dass man dann auch von $B$ nach $A$ kommen kann. Das ist nicht für jede Erreichbarkeit selbstverständlich, für die meisten aber schon. Die Transitivität gilt immer dann, wenn man die Bewegungsvorgänge hintereinander ausführen kann, also zuerst von $A$ nach $B$ und dann von $B$ nach $C$.
Wenn erreichbar beispielsweise dadurch gegeben ist, dass man auf dem Landweg von einem Ort zu einem anderen kommen kann, so sind zwei Ortspunkte genau dann äquivalent, wenn sie auf der gleichen Insel \zusatzklammer {oder dem gleichen Kontinent} {} {} liegen. Inseln und Kontinente sind dann die \definitionsverweis {Äquivalenzklassen}{}{.} In der Topologie spielt der Begriff des \definitionsverweis {Wegzusammenhangs}{}{} eine wichtige Rolle: Zwei Punkte sind wegzusammenhängend, wenn man sie durch einen stetigen Weg verbinden kann. Oder: Auf den ganzen Zahlen lebe eine Kolonie von Flöhen, und jeder Flohsprung geht fünf Einheiten weit \zusatzklammer {in beide Richtungen} {} {.} Wie viele Flohpopulationen gibt es, welche Flöhe können sich begegnen?
}
\zwischenueberschrift{Äquivalenzklassen, Quotientenmenge, kanonische Abbildung}
Eine Äquivalenzrelation
\mathl{R\subseteq M\times M}{} auf einer Menge $M$ kann auch als Zerlegung der Menge $M$ aufgefasst werden. Hierzu ist der Begriff der \stichwort { Äquivalenzklasse} {} nützlich.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{ M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Äquivalenzrelation}{}{}
und
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ [x]
}
{ \defeq} { { \left\{ y \in M \mid (x,y) \in R \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Äquivalenzklasse}{} von $x$ bezüglich $R$.
}
In Worten: $[x]$ ist die Teilmenge aller Elemente von $M$, die zu $x$ äquivalent sind.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{ M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Äquivalenzrelation}{}{.}
Dann heißt
\mavergleichskettedisp
{\vergleichskette
{ M/R
}
{ \defeq} { { \left\{ [x] \mid x \in M \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Quotientenmenge}{} von $R$.
}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Äquivalenzrelation}{}{}
und $M/R$ die
\definitionsverweis {Quotientenmenge}{}{.}
Die Abbildung
\maabbeledisp {q_R} {M } {M/R
} {x} { [x]
} {,}
heißt \definitionswort {kanonische Projektion}{} von $R$.
}
\inputfaktbeweis
{Äquivalenzklassen/Partition/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $M$ eine Menge und $\sim$ eine
\definitionsverweis {Äquivalenzrelation}{}{}
auf $M$ mit den
\definitionsverweis {Äquivalenzklassen}{}{}
$[x]$ und der
\definitionsverweis {Quotientenmenge}{}{}
\mathl{M/\sim}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungfuenf{Es ist
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{ [x]
}
{ = }{ [y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, und dies gilt genau dann, wenn
\mavergleichskette
{\vergleichskette
{ [x] \cap [y]
}
{ \neq }{\emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \bigcup_{[x] \in M/\sim} [x]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist eine
\definitionsverweis {disjunkte Vereinigung}{}{.}
}{Die
\definitionsverweis {kanonische Projektion}{}{}
\maabbeledisp {q} {M} {M/\sim
} {x} { [x]
} {,}
ist
\definitionsverweis {surjektiv}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{q^{-1}([x])
}
{ = }{[x]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es sei
\maabb {\varphi} {M} {W
} {}
eine Abbildung mit
\mavergleichskette
{\vergleichskette
{ \varphi(x)
}
{ = }{\varphi(y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mathkor {} {x,y \in M} {mit} {x \sim y} {.}
Dann gibt es eine eindeutig bestimmte Abbildung
\maabb {\overline{\varphi}} {M/\sim \, \, } {W
} {}
mit
\mavergleichskette
{\vergleichskette
{ \varphi
}
{ = }{ \overline{\varphi} \circ q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungfuenf{Es seien
\mathkor {} {x} {und} {y} {}
äquivalent und
\mavergleichskette
{\vergleichskette
{u
}
{ \in }{[x]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und nach der Transitivität auch
\mavergleichskette
{\vergleichskette
{y
}
{ \sim }{u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{u
}
{ \in }{[y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit stimmen die Äquivalenzklassen überein. Die Implikation von der Mitte nach rechts ist klar, da wegen
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Äquivalenzklassen nicht leer sind. Es sei nun
\mavergleichskette
{\vergleichskette
{ [x] \cap [y]
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und sei $z$ ein Element im Durchschnitt. Dann ist
\mathkor {} {x \sim z} {und} {y \sim z} {}
und wegen der Transitivität ist
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Wegen der Reflexivität ist
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{[x]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \bigcup_{[x]\in M/\sim} [x]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen Teil (1) ist die Vereinigung disjunkt.
}{Die Surjektivität ist klar aufgrund der Definition der Quotientenmenge, und da $x$ auf die Klasse $[x]$ geschickt wird.
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{q^{-1}([x])
}
{ =} { { \left\{ y \in M \mid q(y) = [x] \right\} }
}
{ =} { { \left\{ y \in M \mid [y] = [x] \right\} }
}
{ =} { { \left\{ y \in M \mid y \sim x \right\} }
}
{ =} {[x]
}
}
{}{}{.}
}{Sei
\mavergleichskette
{\vergleichskette
{ [x]
}
{ \in }{ M/\sim
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Die einzige Möglichkeit für $\overline{\varphi}$ ist
\mavergleichskette
{\vergleichskette
{ \overline{\varphi}([x])
}
{ \defeq }{\varphi(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu setzen. Es muss aber gezeigt werden, dass diese Abbildung überhaupt wohldefiniert ist, also unabhängig von der Wahl des Repräsentanten ist. Es sei hierzu
\mavergleichskette
{\vergleichskette
{[x]
}
{ = }{[y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{x
}
{ \sim }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist nach der Voraussetzung an $\varphi$ aber
\mavergleichskette
{\vergleichskette
{ \varphi(x)
}
{ = }{ \varphi(y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \R^{n+1} \setminus \{0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der
\mathl{\R^{n+1}}{} ist ein reeller Vektorraum, wobei die Skalarmultiplikation von
\mavergleichskette
{\vergleichskette
{ \lambda
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R^{n+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{\lambda \cdot x}{} bezeichnet wird. Es sei weiter
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ R
}
{ =} { { \left\{ (x,y) \in M \times M \mid \text{ es gibt ein } \lambda \in \R \setminus \{0\} \text{ mit } \lambda \cdot x = y \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zwei Punkte werden also als äquivalent erklärt, wenn sie durch Skalarmultiplikation mit einem Skalar
\mavergleichskette
{\vergleichskette
{\lambda
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ineinander überführt werden können. Ebenso könnte man sagen, dass zwei Punkte als äquivalent gelten, wenn sie dieselbe Gerade durch den Nullpunkt definieren.
Dass wirklich eine
\definitionsverweis {Äquivalenzrelation}{}{}
vorliegt, sieht man so. Die Reflexivität folgt aus
\mavergleichskette
{\vergleichskette
{x
}
{ = }{1x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jedes
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zur Symmetrie sei
\mathl{xRy}{,} d.h. es gibt ein
\mavergleichskette
{\vergleichskette
{\lambda
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{\lambda x
}
{ = }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt aber auch
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ \lambda^{-1}x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da ja $\lambda$ ein Inverses besitzt. Zum Nachweis der Transitivität sei
\mathkor {} {xRy} {und} {yRz} {}
angenommen, d.h. es gibt
\mavergleichskette
{\vergleichskette
{ \lambda, \delta
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathkor {} {\lambda x=y} {und} {\delta y =z} {.}
Dann ist insgesamt
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ \delta y
}
{ = }{ (\delta \lambda) x
}
{ }{}
{ }{}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \delta \lambda
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die
\definitionsverweis {Äquivalenzklassen}{}{}
zu dieser Äquivalenzrelation sind die einzelnen Geraden durch den Nullpunkt
\zusatzklammer {aber ohne den Nullpunkt} {} {.}
Die
\definitionsverweis {Quotientenmenge}{}{}
heißt \stichwort { reell-projektiver Raum} {}
\zusatzklammer {der reellen Dimension $n$} {} {}
und wird mit ${\mathbb P}^{n}_{\R}$ bezeichnet.
}