# Äquivalenzrelation/Quotientenmenge/Einführung/Textabschnitt
## Beispiel

Wir knüpfen an Beispiel und Beispiel an. Die Wäsche liegt in verschiedenen waschgangverträglichen Haufen vor. Für den weiteren Ablauf (beispielsweise in welcher Reihenfolge gewaschen wird) kommt es auf die Einzelsachen nicht mehr an, sondern nur noch auf die einzelnen Haufen. Es ist daher sinnvoll, die entstandene Situation dadurch zu erfassen, dass man die Menge der Haufen bildet. Jeder Haufen wird zu genau einem Element in dieser Haufenmenge. Das Sortieren kann man dann auffassen als eine Abbildung von der Wäschemenge in die Haufenmenge, wobei jedem Wäschestück der zugehörige Haufen zugeordnet wird. Bei diesem Übergang werden waschgangverträgliche Sachen miteinander identifiziert. Dies ist die Grundidee der Quotientenmenge und der kanonischen Abbildung.

## Definition

Es sei $R\subseteq M\times M$ eine Äquivalenzrelation. Dann heißt
    $M/R:={\left\{[x]\mid x\in M\right\}}\,$
die Quotientenmenge von $R$.
Die Quotientenmenge ist also einfach die Menge der Äquivalenzklassen. Wenn man die Äquivalenzrelation mit $\sim$ bezeichnet, so schreibt man $M/\sim$ für die Quotientenmenge. Das Konzept Quotientenmenge ist nicht einfach, allein schon deshalb, da es nach Definition eine Menge von Mengen, nämlich der Äquivalenzklassen ist. Von der Handhabung und der Vorstellung her betrachtet man aber diese Äquivalenzklassen eher als neue „Punkte“ in einer neuen Menge, die eben erst durch die Konstruktion entsteht. Auch die Beziehung zu einem Repräsentantensystem ist nicht ganz einfach. Wenn man ein Repräsentantensystem $T\subseteq M$ für eine Äquivalenzrelation hat, so ergibt sich eine bijektive Abbildung $T\rightarrow Q$ zwischen dem Repräsentantensystem und der Quotientenmenge. Diese kann zu Verwechslungen führen. Wichtig ist, dass ein Repräsentantensystem von einer Wahl abhängt und nur selten kanonisch ist, während die Quotientenmenge nicht von Wahlen abhängt. Wenn es allerdings ein besonders einfaches Repräsentantensystem gibt, so übernimmt man die Bezeichnungen für die Elemente wiederum auch als Bezeichnungen für die Elemente der Quotientenmenge.
Man muss aber auch sagen, dass die Abstraktion, die in der Quotientenmenge zum Ausdruck kommt, in vielen Kontexten anzutreffen ist. Beispielsweise gibt es die Menge der Tiere und die Menge der Tierarten. Hinter Tierart steckt doch eine andere Idee als die Menge der zu unter diese Tierart fallenden Einzeltiere oder die Idee, aus jeder Tierart einen Vertreter auszuwählen. Die Menge aller geraden und die Menge aller ungeraden Zahlen wird durch das Eigenschaftspaar gerade oder ungerade deutlicher gemacht. Entsprechend führt die Parallelität zur Idee der „Richtung“ einer Geraden, u.s.w.
Im oben angeführten Beispiel besteht die Quotientenmenge aus den Restklassen $[0],[1],\ldots ,[d-1]$, wobei die Bezeichnungen des einfachsten Repräsentantensystems übernommen werden. Die konzentrischen Kreise um den Punkt $M$ aus Beispiel kann man mit ihrem Radius identifizieren, d.h. die Quotientenmenge steht in einer natürlichen Korrespondenz zu $\mathbb {R} _{\geq 0}$. Auch dies ist eine wichtige Beobachtung, dass die Quotientenmenge häufig eine neue Struktur besitzt oder in einer natürlichen Beziehung zu einem anderen mathematischen Gebilde steht, was von der Ausgangsmenge her nicht unmittelbar ersichtlich ist. So kann man auch die Menge der Geraden durch einen Punkt $M$, die ein Repräsentantensystem für die Parallelität ist, in einem weiteren Schritt mit den Punkten auf einem halboffenen Halbkreis um $M$ identifizieren, um eine geometrische gehaltvolle Interpretation der Quotientenmenge zu erhalten. Die Quotientenmenge zur Äquivalenzrelation des Läufers besteht nur aus den Feldfarben weiß und schwarz.

## Definition

Es sei $R\subseteq M\times M$ eine Äquivalenzrelation und $M/R$ die Quotientenmenge. Die Abbildung
    $q_{R}\colon M\longrightarrow M/R,\,x\longmapsto [x],$
heißt kanonische Projektion von $R$.
Man spricht auch von der Identifizierungsabbildung, da unter dieser Abbildung äquivalente Elemente auf das gleiche Element, ihre Klasse, abgebildet werden.

## Lemma

Es sei $M$ eine Menge und $\sim$ eine Äquivalenzrelation auf $M$ mit den Äquivalenzklassen $[x]$ und der Quotientenmenge $M/\sim$. Dann gelten folgende Aussagen.

### Beweis

* Seien $x$ und $y$ äquivalent und $u\in [x]$. Dann ist $x\sim u$ und nach der Transitivität auch $y\sim u$, also $u\in [y]$. Damit stimmen die Äquivalenzklassen überein. Die Implikation von der Mitte nach rechts ist klar, da wegen $x\sim x$ Äquivalenzklassen nicht leer sind. Es sei nun $[x]\cap [y]\neq \emptyset$, und sei $z$ ein Element im Durchschnitt. Dann ist $x\sim z$ und $y\sim z$ und wegen der Transitivität ist $x\sim y$.
* Wegen der Reflexivität ist $x\in [x]$ und daher ist $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
    $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]\,.$
$\Box$
Bei der Eigenschaft (2) sagt man auch, dass die Äquivalenzrelation eine Partition der Menge bewirkt. Die Eigenschaft (4) bedeutet insbesondere, dass man zu jeder Äquivalenzrelation eine Abbildung, nämlich die kanonische Abbildung in die Quotientenmenge, angeben kann, derart, dass Elemente genau dann äquivalent sind, wenn sie unter der Abbildung den gleichen Wert besitzen. Damit ist gezeigt, dass man jede Äquivalenzrelation als eine Äquivalenzrelation zu einer Abbildung im Sinne von Fakt erhalten kann.
Die folgende Aussage beschreibt die universelle Eigenschaft der Quotientenmenge.

## Lemma

Es sei $M$ eine Menge und $\sim$ eine Äquivalenzrelation auf $M$ mit der Quotientenmenge $M/\sim$. Es sei $\varphi \colon M\rightarrow W$ eine Abbildung mit $\varphi (x)=\varphi (y)$ für alle $x,y\in M$ mit $x\sim y$.
Dann gibt es eine eindeutig bestimmte Abbildung ${\overline {\varphi }}\colon M/\sim \,\,\rightarrow W$ mit $\varphi ={\overline {\varphi }}\circ q$.

### Beweis

Es sei $[x]\in M/\sim$ gegeben. Die einzige Möglichkeit für ${\overline {\varphi }}$ ist ${\overline {\varphi }}([x]):=\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 $[x]=[y]$, also $x\sim y$. Dann ist nach der Voraussetzung an $\varphi$ aber $\varphi (x)=\varphi (y)$.
$\Box$

## Bemerkung

Zu einer Abbildung $f\colon M\rightarrow N$ und der zugehörigen Äquivalenzrelation $\sim$ im Sinne von Fakt gibt es nach Fakt eine eindeutig bestimmte Abbildung
    $\psi \colon M/\sim \longrightarrow N$
mit
    $f=\psi \circ q\,.$
Diese ist sogar injektiv.

## Beispiel

Es sei $n\in \mathbb {N}$ und $K$ ein Körper. Wir setzen $M=K^{n+1}\setminus \{0\}$. Der $K^{n+1}$ ist ein Vektorraum, wobei die Skalarmultiplikation von $\lambda \in K$ und $x\in K^{n+1}$ mit $\lambda \cdot x$ bezeichnet wird. Es sei weiter
    $R={\left\{(x,y)\in M\times M\mid {\text{ es gibt ein }}\lambda \in K\setminus \{0\}{\text{ mit }}\lambda \cdot x=y\right\}}\,.$
Zwei Punkte werden also als äquivalent erklärt, wenn sie durch Skalarmultiplikation mit einem Skalar $\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 Äquivalenzrelation vorliegt, sieht man so. Die Reflexivität folgt aus $x=1x$ für jedes $x\in M$. Zum Nachweis der Symmetrie sei $xRy$, d.h. es gibt ein $\lambda \neq 0$ mit $\lambda x=y$. Dann gilt aber auch $y=\lambda ^{-1}x$, da ja $\lambda$ ein Inverses besitzt. Zum Nachweis der Transitivität sei $xRy$ und $yRz$ angenommen, d.h. es gibt $\lambda ,\delta \neq 0$ mit $\lambda x=y$ und $\delta y=z$. Dann ist insgesamt $z=\delta y=(\delta \lambda )x$ mit $\delta \lambda \neq 0$. Die Äquivalenzklassen zu dieser Äquivalenzrelation sind die einzelnen Geraden durch den Nullpunkt (aber ohne den Nullpunkt). Die Quotientenmenge heißt projektiver Raum über $K$ (der Dimension $n$) und wird mit ${\mathbb {P} }_{K}^{n}$ bezeichnet.