# Äquivalenzrelation/Faseraspekt/Erreichbarkeit/Textabschnitt
## Beispiel

Es sei $K$ ein Körper. Wir sagen, dass zwei Zahlen $x,y\in K$ „bis (eventuell) auf das Vorzeichen“ übereinstimmen, wenn $x=y$ oder $x=-y$ ist. Dafür schreiben wir kurz
    $x=\pm y\,.$
Dies ist eine Äquivalenzrelation. Dabei ist die Reflexivität unmittelbar klar, die Symmetrie erhält man, indem man die Gleichung $x=-y$ mit $-1$ multipliziert und $(-1)(-1)=1$ ausnutzt. Ähnlich wird auch die Transitivität begründet. Diese Äquivalenzrelation lässt sich auch einfach im Sinne von Fakt beschreiben. Es ist nämlich $x=\pm y$ genau dann, wenn $x^{2}=y^{2}$ gilt. Dabei ist die Hinrichtung klar. Für die Rückrichtung sei also $x^{2}=y^{2}$. Bei $x=0$ ist auch $y=0$ und die Aussage gilt, seien also die Zahlen von $0$ verschieden. Durch Division durch $y^{2}$ erhält man
    ${\left({\frac {x}{y}}\right)}^{2}=1\,.$
Wegen $u^{2}-1=(u-1)(u+1)$ und Fakt sind aber $1$ und $-1$ die einzigen Lösungen der Gleichung
    $u^{2}=1\,$
in einem Körper, und somit ist ${\frac {x}{y}}=\pm 1$ und $x=\pm y$. In einem angeordneten Körper gilt darüber hinaus auch $x=\pm y$ genau dann, wenn $\vert {x}\vert =\vert {y}\vert$ gilt. Es gibt also im Allgemeinen mehrere Funktionen, mit denen man eine Äquivalenzrelation erfassen kann.

## Beispiel

Es sei $K$ ein archimedisch angeordneter Körper. Wir betrachten die Gaußklammer auf $K$, also die Abbildung
    $\lfloor \,\,\rfloor \colon K\longrightarrow \mathbb {Z} ,\,t\longmapsto \lfloor t\rfloor .$
Eine Zahl $t$ wird also auf die größte ganze Zahl abgebildet, die kleiner oder gleich $t$ ist (die „Vorkommazahl“, falls die Zahl positiv ist). Dabei wird das gesamte ganzzahlige einseitig offene Intervall
    $[n,n+1)={\left\{x\in K\mid n\leq x<n+1\right\}}\,$
auf $n\in \mathbb {Z}$ abgebildet. Bezüglich dieser Abbildung sind also zwei Zahlen genau dann äquivalent, wenn sie im gleichen ganzzahligen Intervall liegen.
Statt dem ganzzahligen Anteil kann man auch den (nichtnegativen) Bruchanteil (bei positiven Zahlen die „Nachkommazahl“) betrachten. Das ist die Abbildung
    $K\longrightarrow [0,1),\,t\longmapsto t-\lfloor t\rfloor .$
Unter der durch diese Abbildung definierten Äquivalenzrelation sind zwei Zahlen genau dann gleich, wenn sie den gleichen Bruchanteil besitzen, und das ist genau dann der Fall, wenn ihre Differenz eine ganze Zahl ist.
Wenn man rationale Zahlen als gemischte Brüche schreibt, so geht es um die Frage, ob der ganzzahlige Anteil oder ob der Bruchanteil übereinstimmt.

## Beispiel

Es sei eine Situation gegeben, wo gewisse Orte (oder Objekte) von gewissen anderen Orten aus erreichbar sind oder nicht. Die Erreichbarkeit kann dabei durch die Wahl eines Verkehrsmittels oder durch eine abstraktere (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 (oder dem gleichen Kontinent) liegen.

## Beispiel

Es sei $d\in \mathbb {N}$ fixiert. Wir betrachten auf $\mathbb {Z}$ die Äquivalenzrelation $\sim$, bei der zwei Zahlen $a,b\in \mathbb {Z}$ als äquivalent betrachtet werden, wenn ihre Differenz $a-b$ ein Vielfaches von $d$ ist. Zwei Zahlen sind also zueinander äquivalent, wenn man von der einen Zahl zu der anderen durch Sprünge der Sprungweite $d$ gelangen kann. Unter Verwendung der Division mit Rest bedeutet dies, dass zwei Zahlen zueinander äquivalent sind, wenn sie bei Division durch $d$ den gleichen Rest ergeben.
Mit Hilfe der Abbildung $f\colon \mathbb {Z} \rightarrow \{0,1,\ldots ,d-1\}$, die jeder ganzen Zahl den Rest bei Division durch $d$ zuordnet, kann man das vorstehende Beispiel auch direkt mit Fakt erfassen.

## Beispiel

Wir betrachten die Produktmenge $M=\mathbb {N} \times \mathbb {N}$, die wir uns als ein Punktgitter vorstellen. Wir fixieren die Sprünge (man denke an Springmäuse, die alle diese Sprünge ausführen können)
    $\pm (2,0)\,\,{\text{ und }}\,\,\pm (3,3),$
und sagen, dass zwei Punkte $P=(a,b),\,Q=(c,d)\in M$ äquivalent sind, wenn man ausgehend von $P$ den Punkt $Q$ mit einer Folge von solchen Sprüngen erreichen kann. Dies ist eine Äquivalenzrelation (dafür ist entscheidend, dass bei den Sprüngen auch der entgegengesetzte Sprung dazu gehört). Typische Fragestellungen sind: Wie kann man äquivalente Felder charakterisieren, wie entscheiden, ob zwei Felder äquivalent sind oder nicht?

## Beispiel

Es sei $M$ die Menge aller Dreiecke (in der reellen Ebene). Zwei Dreiecke $D_{1}$ und $D_{2}$ heißen kongruent, wenn es eine (eventuell uneigentliche) Bewegung gibt, die das eine Dreieck in das andere Dreieck überführt. Eine Bewegung soll dabei die Längen und die Winkel erhalten. Eine solche Bewegung setzt sich zusammen aus einer Verschiebung, einer Achsenspiegelung und einer Drehung (in beliebiger Reihenfolge, beliebig oft angewendet). Die Kongruenz von Dreiecken ist eine Äquivalenzrelation. Ein Dreieck ist zu sich selbst kongruent, da es durch die identische Bewegung in sich überführt wird. Wenn $D_{1}$ durch eine bestimmte Bewegung $\beta$ in $D_{2}$ überführt wird, so wird durch die entgegengesetzte Bewegung, also $\beta ^{-1}$, das zweite Dreieck $D_{2}$ in $D_{1}$ überführt. Die Kongruenz ist also symmetrisch. Wenn drei Dreiecke $D_{1},D_{2},D_{3}$ gegeben sind, wobei $D_{1}$ zu $D_{2}$ und $D_{2}$ zu $D_{3}$ kongruent sind, so gibt es eine Bewegung $\beta$, die $D_{1}$ in $D_{2}$ überführt, und eine Bewegung $\gamma$, die $D_{2}$ in $D_{3}$ überführt. Dann hat die Gesamtbewegung $\gamma \circ \beta$ die Eigenschaft, dass sie insgesamt $D_{1}$ in $D_{3}$ überführt. Ebenso ist die eigentliche Kongruenz, bei der nur eigentliche Bewegungen (also keine Achsenspiegelungen) erlaubt sind, eine Äquivalenzrelation.
* ↑ Mit dieser Formulierung muss man bei negativen Zahlen vorsichtig sein. Die Zahl $-0,7=-1+0,3$ besitzt die Gaußklammer $-1$ und den Bruchanteil $0,3$.
* ↑ Diese Abbildungen sind aus der Schule bekannt.