Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 38/latex
\setcounter{section}{38}
\zwischenueberschrift{Äquivalenzrelationen}
In der Mathematik sind Formulierungen, dass mathematische Objekte \anfuehrung{äquivalent}{} sind, allgegenwärtig. Zumeist geht es um Situationen, wo Objekte zwar nicht gleich, aber doch in gewisser Hinsicht, unter einem bestimmten Gesichtspunkt, als gleichwertig zu betrachten sind. In solchen Kontexten darf man Objekte durch gleichwertige Objekte ersetzen, um eine Situation zu vereinfachen. Es gibt keine allgemeine Definition von \anfuehrung{äquivalent}{,} da es im Allgemeinen eine Vielzahl von konkurrierenden Gesichtspunkten gibt, unter denen man Objekte als äquivalent ansehen möchte oder nicht. Man kann aber strukturelle Bedingungen herausarbeiten, die zueinander äquivalente Objekte stets erfüllen. Insofern ist Äquivalenz eine spezielle Art einer Relation auf einer Menge.
\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.
}
\inputbeispiel{}
{
Auf jeder Menge $M$ gibt es die \definitionsverweis {Äquivalenzrelation}{}{,} unter der alle Elemente zueinander in Relation stehen.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Wildebeests_in_the_Masaai_Mara.jpg} }
\end{center}
\bildtext {Gnus bilden eine Äquivalenzklasse
\zusatzklammer {eine vollständige Menge aus zueinander äquivalenten Elemente, siehe die nächste Vorlesung für die Definition} {} {}
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.} {} {.}
\inputbeispiel{}
{
In der Wohnung liegt eine große Menge von Wäsche herum, die gewaschen werden soll. Natürlich kann nicht alles in den gleichen Waschgang, sondern nur Sachen, die sowohl gleichfarbig sind als auch die gleiche Waschtemperatur vertragen. Dies definiert insgesamt die Äquivalenzrelation der
\betonung{Waschgangverträglichkeit}{.} Man kann jetzt die Wäsche dadurch sortieren, dass man waschgangverträgliche Sachen jeweils zu einem Haufen zusammenfasst. So entstehen verschiedene Haufen, die jeweils aus untereinander waschgangverträglichen Sachen bestehen, und zwei Sachen landen genau dann auf dem gleichen Haufen, wenn sie waschgangverträglich sind. Eine wichtige Beobachtung dabei ist, dass die Haufen nicht anhand einer vorgegebenen Liste von möglichen Waschkombinationen entstehen, sondern allein durch die Verträglichkeitsüberprüfung der Objekte untereinander.
}
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Example of a set.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Example of a set.svg } {} {Stephan Kulla} {Commons} {CC-by-sa 1.0} {}
Es sei eine Menge von geometrischen Objekten, beispielsweise eine Menge von $n$-Ecken, gegeben, die sortiert werden sollen. Die Sortierung soll vollständig sein und jedem Objekt genau einen Typ zuweisen. Objekte, die den gleichen Typ repräsentieren, heißen äquivalent \zusatzklammer {im Sinne der Sortierung} {} {.} Dafür gibt es verschiedene Möglichkeiten, die mehr oder weniger natürlich sind. Eine naheliegende Möglichkeit bei den $n$-Ecken ist es, sie nach der Anzahl der Ecken zu sortieren. Zwei Objekte sind genau dann äquivalent, wenn sie die gleiche Anzahl an Ecken besitzen. Man kann sie aber auch nach der Farbe oder gemäß der Person, die die Figur gemalt hat, oder nach dem Flächeninhalt sortieren.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Six Quadrilaterals.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Six Quadrilaterals.svg } {} {Jim.belk} {Commons} {gemeinfrei} {}
Oder man kann eine Menge von gegebenen Vierecken gemäß gewisser \zusatzklammer {geometrisch relevanter} {} {} Eigenschaften sortieren. Wenn man sich nur auf eine Eigenschaft konzentriert, beispielsweise, ob ein Viereck ein Rechteck ist oder nicht, so gibt es nur zwei Typen bzw. Klassen. Man kann natürlich auch eine feinere Einteilung vornehmen. Man beachte dabei allerdings, dass die mathematischen Begriffe inklusiv sind \zusatzklammer {ein Quadrat ist insbesondere ein Rechteck} {} {,} eine vollständige Aufteilung ergibt sich also nur dann, wenn man Konzepte wie Quadrat, Rechteck, aber kein Quadrat, Parallelogramm, aber kein Rechteck, etc. verwendet. Es gibt keine natürliche optimale Aufteilung der Menge aller Vierecke. Ein typisches Phänomen bei solchen Klassifikationen ist, dass es einen großen Rest von Objekten gibt, der außerhalb jedes Regularitätskonzeptes liegt.
}
\inputbeispiel{}
{
Es sei $M$ eine Menge von Aussagen. Dann ist die Äquivalenz, also die logische Gleichwertigkeit, von Aussagen eine Äquivalenzrelation auf dieser Menge. Beispielsweise ist die Aussage
\mathl{\alpha \rightarrow \beta}{} aufgrund des Kontrapositionsprinzips äquivalent zu
\mathl{\neg \beta \rightarrow \neg \alpha}{,} oder die Aussage \anfuehrung{
\mathl{5}{} ist ein Teiler von $x$}{} ist äquivalent zu \anfuehrung{$x$ ist ein Vielfaches von $5$}{} oder zu \anfuehrung{
\mathl{x \in \Z 5}{} }{.}
}
\inputbeispiel{}
{
Es sei $M$ eine Menge von Termen. Zwei Terme sind nur dann gleich, wenn sie Zeichen für Zeichen gleich sind. Wenn man allerdings einen mathematischen Kontext zugrunde legt, wie, dass sich alle Terme auf einen \definitionsverweis {kommutativen Halbring}{}{} beziehen sollen, so ergibt sich auf der Menge der Terme eine Äquivalenzrelation dadurch, dass man Terme als äquivalent \zusatzklammer {gleichwertig} {} {} ansieht, wenn sie bei jeder \zusatzklammer {oder einer bestimmten} {} {} Interpretation in einem kommutativen Halbring das gleiche Element liefern. In diesem Sinne sind \mathkor {} {a + b} {und} {b +a} {} oder \mathkor {} {(a+b)^2} {und} {a^2+2ab +b^2} {} gleichwertige Terme. Ebenso sind die Bruchterme \mathkor {} {{ \frac{ 5 }{ 7 } }} {und} {{ \frac{ 10 }{ 14 } }} {} als Terme verschieden, ihr Zahlwert in $\Q$ ist aber gleich.
}
\inputbeispiel{}
{
Es sei ein
\definitionsverweis {Körper}{}{}
$K$ und eine Variablenmenge
\mathl{X_1 , \ldots , X_n}{} fixiert. Wir betrachten die Menge der
\zusatzklammer {endlichen} {} {}
\definitionsverweis {linearen Gleichungssysteme}{}{}
in diesen Variablen über diesem Körper. Die
\definitionsverweis {Äquivalenz}{}{}
von linearen Gleichungssystemen, also die Übereinstimmung der Lösungsmengen
\zusatzklammer {als Teilmengen im $K^n$} {} {,}
ist dann offenbar eine Äquivalenzrelation auf dieser Menge.
}
Die Gleichheit bezüglich einer Eigenschaft wird durch folgende mathematische Konstruktion präzisiert.
{Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {M} {und} {N} {}
Mengen und sei
\maabb {f} {M} {N
} {}
eine
\definitionsverweis {Abbildung}{}{.}}
\faktfolgerung {Dann wird durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \sim} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wenn
\mavergleichskettedisp
{\vergleichskette
{ f(x)
}
{ =} { f(y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
eine
\definitionsverweis {Äquivalenzrelation}{}{}
auf $M$ definiert.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 38.9. }
Prinzipiell kann man jede Äquivalenzrelation mit Hilfe einer Abbildung beschreiben, siehe die nächste Vorlesung. 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.
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Wir sagen, dass zwei Zahlen
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\anfuehrung{bis (eventuell) auf das Vorzeichen}{} übereinstimmen, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dafür schreiben wir kurz
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { \pm y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist eine
\definitionsverweis {Äquivalenzrelation}{}{.}
Dabei ist die Reflexivität unmittelbar klar, die Symmetrie erhält man, indem man die Gleichung
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit $-1$ multipliziert und
\mavergleichskette
{\vergleichskette
{(-1)(-1)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausnutzt. Ähnlich wird auch die Transitivität begründet. Diese Äquivalenzrelation lässt sich auch einfach im Sinne von
Lemma 38.10
beschreiben. Es ist nämlich
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ \pm y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{x^2
}
{ = }{y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Dabei ist die Hinrichtung klar. Für die Rückrichtung sei also
\mavergleichskette
{\vergleichskette
{x^2
}
{ = }{y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Aussage gilt, seien also die Zahlen von $0$ verschieden. Durch Division durch $y^2$ erhält man
\mavergleichskettedisp
{\vergleichskette
{ { \left( { \frac{ x }{ y } } \right) }^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{u^2 - 1
}
{ = }{(u-1) (u+1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
Lemma 23.11
sind aber
\mathkor {} {1} {und} {-1} {}
die einzigen Lösungen der Gleichung
\mavergleichskettedisp
{\vergleichskette
{u^2
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in einem Körper, und somit ist
\mavergleichskette
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ = }{ \pm 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ \pm y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In einem
\definitionsverweis {angeordneten Körper}{}{}
gilt darüber hinaus auch
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ \pm y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{ \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Es gibt also im Allgemeinen mehrere Funktionen, mit denen man eine Äquivalenzrelation erfassen kann.
}
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {archimedisch angeordneter Körper}{}{.}
Wir betrachten die
\definitionsverweis {Gaußklammer}{}{}
auf $K$, also die Abbildung
\maabbeledisp {\lfloor \,\, \rfloor} {K} {\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}{,} falls die Zahl positiv ist\zusatzfussnote {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$.} {} {}} {} {.}
Dabei wird das gesamte ganzzahlige einseitig offene Intervall
\mavergleichskettedisp
{\vergleichskette
{ [n,n+1)
}
{ =} { { \left\{ x \in K \mid n \leq x < n+1 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\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 \zusatzklammer {nichtnegativen} {} {} Bruchanteil \zusatzklammer {bei positiven Zahlen die \anfuehrung{Nachkommazahl}{}} {} {} betrachten. Das ist die Abbildung \maabbeledisp {} {K} {[0,1) } {t} {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 \definitionsverweis {rationale Zahlen}{}{} als \definitionsverweis {gemischte Brüche}{}{} schreibt, so geht es um die Frage, ob der ganzzahlige Anteil oder ob der Bruchanteil übereinstimmt.
}
\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.
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{d
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Wir betrachten auf $\Z$ die
\definitionsverweis {Äquivalenzrelation}{}{}
$\sim$, bei der zwei Zahlen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als äquivalent betrachtet werden, wenn ihre Differenz
\mathl{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
\definitionsverweis {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 \maabb {f} {\Z} { \{0,1 , \ldots , d-1\} } {,} die jeder ganzen Zahl den Rest bei Division durch $ d $ zuordnet, kann man das vorstehende Beispiel auch direkt mit Lemma 38.10 erfassen.
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Visualisierung_bspl_2-10.gif} }
\end{center}
\bildtext {Visualisierung des Beispiels. Die Äquivalenzklassen bekommen verschiedene Farben.} }
\bildlizenz { Visualisierung bspl 2-10.gif } {} {TiloW} {Commons} {CC-by-sa 3.0} {}
Wir betrachten die
\definitionsverweis {Produktmenge}{}{}
\mavergleichskette
{\vergleichskette
{M
}
{ = }{\N \times \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die wir uns als ein Punktgitter vorstellen. Wir fixieren die Sprünge
\zusatzklammer {man denke an Springmäuse, die alle diese Sprünge ausführen können} {} {}
\mathdisp {\pm (2,0) \text{ und } \pm (3,3)} { , }
und sagen, dass zwei Punkte
\mathl{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
\definitionsverweis {Äquivalenzrelation}{}{}
\zusatzklammer {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?
}
\inputbeispiel{}
{
Es sei $M$ die Menge aller \stichwort {Dreiecke} {} \zusatzklammer {in der reellen Ebene} {} {.} Zwei Dreiecke \mathkor {} {D_1} {und} {D_2} {} heißen \stichwort {kongruent} {,} wenn es eine \zusatzklammer {eventuell uneigentliche} {} {} \stichwort {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\zusatzfussnote {Diese Abbildungen sind aus der Schule bekannt} {.} {} \zusatzklammer {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 \stichwort {eigentliche Kongruenz} {,} bei der nur eigentliche Bewegungen \zusatzklammer {also keine Achsenspiegelungen} {} {} erlaubt sind, eine Äquivalenzrelation.
}