ich als Informatiker suche einen Mathematiker, der mir erklären kann, warum die Kleiner Relation in unten genannten Beispiel antisymmetrisch sein soll, genauer gesagt benötige ich einen Beweis da die Behauptung nicht belegt ist.
Die Relation R ist eine Teilmenge des katesischen Produktes aus der Menge zweiter natürlicher Zahlen (inklusive 0). xRy genau dann, wenn x < y.
Gemäß meiner Definition tritt Antisymmetrie nur dann auf, wenn die Tuple (x,y) und (y,x) ein Element der Relation R sind und x dann gleich y ist.
Alle Unds sind für mich als Informatiker logische Unds, spricht alle 3 Bedingungen müssen erfüllt sein, um sagen zu können, dass die Antisymmetrie erfüllt ist.
Das ist scheinbar nicht der Fall, nur finde ich meinen Denkfehler nicht.
Mein Gegenbeweis, dass oben genannten Beispiel nicht antisymmetrisch ist:
(3,5) trifft zu (true), (5,3) jedoch nicht -> logische Schlussfolgerung: nicht antisymmetrisch.
Auch finde ich kein Beispiel-Tuple, bei dem die ersten beiden Bedingungen erfüllt sind.
PS: Seit wann ist 0 eine natürliche Zahl?