Ebene/Abstand zum Nullpunkt/Äquivalenzklassen/Beispiel
In der Ebene sei ein bestimmter Punkt markiert. Wir betrachten die Äquivalenzrelation, bei der zwei Punkte und als äquivalent gelten, wenn sie zu den gleichen Abstand besitzen. Dies wird durch
ausgedrückt. Dies ist eine Äquivalenzrelation, wie man direkt überprüfen kann und was auch aus Fakt folgt, da man ja die Situation mittels der Abbildung
interpretieren kann. Die Äquivalenzklasse zu einem Punkt besteht aus allen Punkten der Ebene, die in ihrem Abstand zu mit übereinstimmen. Dies ist genau der Kreis mit Mittelpunkt durch den Punkt . Die Äquivalenzklassen sind also die konzentrischen Kreise um den Mittelpunkt , wobei man hier den Punkt als Kreis mit Radius mitzählen muss (man kann sich darüber streiten, ob das ein Kreis ist, jedenfalls ist diese einpunktige Menge hier eine Äquivalenzklasse).