0 Daumen
495 Aufrufe

Aufgabe:

Gegeben ist  M={1,2,3,4,5}

Untersuchen Sie die folgenden Relationen auf Transivität.


1. {(5,2),(3,3),(5,5),(5,1),(4,2)}

2. {(1,3),(1,1),(2,5),(1,4),(4,1)}

3. {(1,3),(3,2),(4,1),(4,5),(5,2)}

4. {(4,2),(3,5),(5,5),(3,4),(2,2)}


Problem/Ansatz:

Nun ist die Transivität gegeben, wenn aus a→b und b→c ⟹ a→c gefolgert werden kann.

Jetzt versteh ich nur nicht, wann ich das so folgern kann und wann, augrund von anderen Beziehungen, nicht.


Zu 1.

(5,2) und (4,2) würde ich mal als a→c und b→c bezeichnen. Das bedeutet ja noch nicht, dass auch a→b gilt? Aber es könnte gelten und damit wäre transitiv noch nicht ausgeschlossen.

Jetzt besteht aber auch noch (5,1), also a→d, woraus man ja eventuell d→c  schließen müsste?

An dem Punkt weiß ich dann nicht, wie ich herausfinden kann, ob die Beziehungen so gelten können oder nicht...


Zu 2.

(1,4) und (4,1) seien a→b und b→a, sowie (1,3) dann a→c. Kann ich hieraus nun b→c folgern oder spricht b→a dagegen und hat (1,1), also a→a irgendeine Auswirkung auf die Transivität?


Zu 3.

(4,1), (1,3) und (3,2) kann ich durch a→b, b→c, c→d darstellen. Schon hier hab ich das Problem herauszufinden, ob a→c gefolgert werden kann oder auch b→d oder widerspricht sich das vielleicht?

Hinzu kommt dann noch das auch aus (4,5), (5,2) a→e,e→d eventuell a→d zu folgern ist.

Damit die Transivität erfüllt ist müssten, wenn ich es richtig verstanden habe, alle diese Beziehungen gefolgert werden können. Wie kann ich das jetzt prüfen?


Zu 4.

(3,4), (4,2) seien a→b, b→c und (3,5) a→d. Stört nun a→d die Folgerung von a→c und muss ich daraus auch nochmal b→d folgern können?

Hier ebenfalls die Frage. Haben (5,5) und (2,2) irgendeine Auswirkung?


Zu erwähnen ist vielleicht noch, dass ich die Reflexivität, Symmetrie und Antisymmetrie verstanden habe. Es hängt nur noch an der Transivität.


Ihr seht, ich bin hier noch ziemlich verwirrt. Ich hoffe mir kann jemand helfen endlich klarzustellen, wie ich korrekt vorgehen kann, um die Transitivität zu bestimmen.

Vielen Dank.

Avatar von

2 Antworten

0 Daumen
 
Beste Antwort
wenn aus a→b und b→c ⟹ a→c gefolgert werden kann
  1. Bilde alle Tripel (a,b,c)
  2. Für jedes Tripel:
    1. Prüfe ob (a,b) in der Relation ist. Falls nein, dann verwerfe das Tripel und prüfe das nächste Tripel.
    2. Prüfe ob (b,c) in der Relation ist. Falls nein, dann verwerfe das Tripel und prüfe das nächste Tripel.
    3. Prüfe ob (a,c) in der Relation ist. Falls nein, dann ist die Relation nicht transitiv.

Wenn du alle Tripel geprüft hast, und nicht festgestellt hast, dass die Relation nicht trabnsitiv ist, dann ist sie transitiv.

Avatar von 107 k 🚀
0 Daumen

Zu 1.
(5,2) und (4,2) würde ich mal als (a,c) und (b,c) bezeichnen. Würden (a,c) und (c,b) Elemente der Relation sein, dann müsste auch (a,b) zur Relation gehören. Da die Aussage hinter 'wenn' nicht erfüllt ist, gibt es keinen Widerspuch zu Transitivität.

Zu 2.
Mit (1,4) und (4,1) muss bei Transitivität auch (1,1) Element der Relation sein. Was ja auch der Fall ist.

Grundsatzlch muss geprüft werden ob mit (a,c) und (c,b) auch (a,b) zur Relation gehört. So lange dies in keinem Falle widerlegt wird, ist der Relation transitiv.

Avatar von 123 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community