Möchte die Eigenschaften einer Relation komplett verstehen?
Hallo zusammen,
ich habe soweit die Eigenschaften einer Relation verstanden, allerdings gibt es Fälle wo ich trotzdem nachdenken muss. Ich zähle also diese Fälle auf und wäre sehr dankbar, wenn mir die Jemand erklären könnte. Ich werde also für Reflexivität, Symmetrie, Antisymmetrie und Transitivität Fälle nennen:
Wir betrachten folgende Menge X={a,b,c}
Reflexive Relation:
reflexiv, wenn für alle x ∈ X gilt x ρ x,
R1 = { (a,a), (b,b), (a,c) }
Man sieht, dass (a,a),(b,b) in R1 liegen, aber (c,c) fehlt. Damit R1 reflexiv sein kann, muss jedes Element zu sich in Relation stehen?
Symmetrische Relation:
symmetrisch, wenn für alle x, y ∈ X mit x ρ y gilt y ρ x,
R2= { (a,b), (b,a), (b,c), (c,b) (a,c) }
Auch hier sieht es symetrisch aus, aber (c,a) fehlt. Reicht es also aus zu sagen, dass R2 nicht symmetrisch ist, weil (c,a) nicht in R2 liegt?
Antisymmetrische Relation:
antisymmetrisch, wenn für alle x, y ∈ X mit x ρ y und y ρ x gilt x = y,
R2= { (a,b), (b,a), (b,c), (c,b) (a,c) }
Auch hier habe ich bewusst (c,a) rausgelassen. In der Definition steht wenn für alle x, y ∈ X mit x ρ y und y ρ x gilt x = y. Damit ist doch nur diejenigen x,y gemeint die symmetrisch sind, es ist aber doch trotzdem "erlaubt" ein Paar zu haben, das nicht symmetrisch ist wie z.B (a,c)?
Und noch eine weitere Frage, wir haben ja Paare (a,b), (b,a), (b,c), (c,b) die Symmetrisch sind aber WOHER weiß ich ob a=b daraus folgt oder nicht? - Ich meine es ist doch nicht definiert um welche Relation es sich genau handelt handelt. Z.B wenn es um Parallelität gehen würde, dann wäre die Gerade a parallel zu b und umgekehrt, aber es heißt ja lange nicht dass a=b gilt. in R2 weiß man aber nichtmal um welche Relation es sich handelt.
Transitive Relation:
transitiv, wenn für alle x, y, z ∈ X mit x ρ y und y ρ z gilt x ρ z.
Angenommen wir haben eine Menge Y={ a, b, c, d }
R3={ (a,b), (b,c), (a,c), (b,d) }
Wir haben hier z.b (a,b), (b,c), (a,c) was transitiv ist, allerdings fehlt in der Menge Y das Paar (a,d). Bedeutet, dass diese Relation nicht transitiv ist, weil das einzige Paar (a,d) fehlt?
1 Antwort
Damit R1 reflexiv sein kann, muss jedes Element zu sich in Relation stehen?
Ja. Wie du selbst sagst, gilt reflexiv, wenn für alle x ∈ X gilt x ρ x. Also ist R1 nicht reflexiv.
Reicht es also aus zu sagen, dass R2 nicht symmetrisch ist, weil (c,a) nicht in R2 liegt?
Ja. Das genügt. Denn auch hier muss es für alle gelten.
Damit ist doch nur diejenigen x,y gemeint die symmetrisch sind, es ist aber doch trotzdem "erlaubt" ein Paar zu haben, das nicht symmetrisch ist wie z.B (a,c)?
Auch das hast du richtig verstanden, wenn a in Relation zu c steht, c aber nicht in Relation zu a, muss nicht gelten a=c. Das ist also kein Ausschlusskriterium.
Und noch eine weitere Frage, wir haben ja Paare (a,b), (b,a), (b,c), (c,b) die Symmetrisch sind aber WOHERweiß ich ob a=bdaraus folgt oder nicht?
Das müsste im Kontext klar werden. Falls du da eine Beispielaufgabe hast, können wir das gerne durchsprechen.
Bedeutet, dass diese Relation nicht transitiv ist, weil das einzige Paar (a,d) fehlt?
Ja. Und wieder: Die Bedingungen müssen für alle Elemente, jedes Mal und ohne Ausnahme gelten.
Hm, so allgemein haben wir Relationen nie durchgenommen, wir hatten immer konkrete Beispiele.
So kann man das eigentlich nicht sagen. Es sei denn ihr schließt von vorneherein aus, dass a=b gilt, aber das ergibt auch keinen Sinn.
Frage für den Tutor!
Das habe ich mal in einer Aufgabe irgendwo gesehen und jetzt ist es mir in den Sinn gekommen, wie die Aufgabe genau ging, kann ich mich nicht erinnern. Es gibt aber oft Aufgaben, wo man eine Menge gegeben hat und es wird gesagt, man solle die Relation untersuchen. Und was ist, wenn eine Aufgabe kommt, wo man eine Menge X= {a,b} hat und die Relation R={ (a,b), (b,a) } WIe kann man das dann sagen ob a=b ist oder nicht, das sieht nicht möglich aus?