Äquivalenzrelation zeigen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Aufgabe | Zeigen Sie, dass jede reflexive Relation R [mm] \subseteq [/mm] AxA mit der Eigenschaft
[mm] \forall [/mm] a [mm] \in [/mm] A [mm] \forall [/mm] b [mm] \in [/mm] A [mm] \forall [/mm] c [mm] \in [/mm] A (aRB [mm] \wedge [/mm] cRb => cRa) eine Äquivalenzrelation ist. |
Hallo,
ich muss hier die Eigenschaften reflexiv, symmetrisch und transitiv zeigen.
Fangen wir mit der Symmetrie an, für Symmetrie gilt ja im Allgemeinen aRb => bRa
Ich weiß aber jetzt nicht, wie ich das auf die gegebene Relation anwenden soll.
Ein kleines Beispiel oder ein kleiner Denkanstoß wäre nett, damit ich sehe, wie ich das zeigen kann.
Vielen Dank im Voraus.
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 21:57 Fr 25.11.2016 | Autor: | leduart |
Hallo
da steht : jede REFLEXIVE Relation, d,h, das musst du nicht beweisen, transitiv steht da schon also nur noch symmetrisch!
genauer lesen!
Gruß leduart
|
|
|
|