Hallo,
Ich hab eine Frage zu meiner Mathe Übung. Wir behandeln zur Zeit das Thema Relationen und sollen folgenden Beweis führen:
Sei M eine beliebige Menge mit
Zeigen Sie, dass wenn R gleichzeitig reflexiv, symmetrisch und antisymmetrisch ist, folgt:
Eigentlich hätte ich nun beide Richtungen zeigen wollen, wie ich es bis jetzt immer bei einem Äquivalenzbeweis gemacht hatte. Also: (1) zu Zeigen: (2) zu Zeigen:
Jedoch dachte ich mir, dass es auch bei der Aufgabe sicher einfacher ginge, da R alle Eigenschaften für die Identitätsrelation aufweist. Deswegen hätte ich nun gesagt:
für R gilt: | (a,a) R
Außerdem gilt: |nach Definition symmetrie | nach Definition antisymmetrie
das heißt, es gibt kein Tupel mit und R ist definiter durch:
Kann ich den Beweis so führen? oder ist er formal inkorrekt?
Vielen Dank im Voraus.
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
(1) Sei aus . Aus Symmetrie folgt: . Aus Antisymmetrie: => . Also . Damit . (2) Sei aus . Da reflexiv ist, => .
|