Die Fragestellung:
$$ c \in \mathbb{Z} $$
Zeige, dass durch a ~ w
w = a + c * 1
eine Äquivalenzrelation auf R gilt.
Meine Frage: Ist diese Schlussfolgerung richtig, dass c = 0 sein muss, damit es eine Äquivalenzrelation sein kann, weil sie sonst nicht reflexiv sein würde?
Und ist der Beweis ausreichend?
Lösungsansatz:
Es kann nur eine Äquivalenzrelation sein wenn c = 0 ist
Refelxivität:
a ~ a
a = a + 0 *1
-> Daraus folgt, das die Relation Reflexiv ist
Symmetrie:
a ~ w , w ~ a
w = a + 0*1 -> dann gilt auch a = w + 0*1
-> Somit ist die Relation auch Symmetrisch
Transitiv:
a ~ w , w ~ z , a ~ z
Wenn w = a ist und z = w ist dann ist auch z = a
-> Damit ist die Abbildung auch transitiv.