Ein einfacher konzeptioneller Zweifel in Bezug auf Mengen und Beziehungen

Ich habe Zweifel an einer Art von Beziehungen auf einer Menge

Angenommen, wir haben eine A = { 1 , 2 , 3 } und wir definieren einige Beziehungen wie folgt:

R 1 = { ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) }

R 2 = { ( 1 , 1 ) , ( 2 , 2 ) }

R 3 = { ( 1 , 2 ) , ( 1 , 3 ) , ( 2 , 3 ) , ( 2 , 1 ) , ( 3 , 1 ) , ( 3 , 2 ) }

R 4 = { ( 1 , 2 ) , ( 2 , 1 ) }

R 5 = { ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) , ( 1 , 2 ) , ( 1 , 3 ) , ( 2 , 3 ) , ( 2 , 1 ) , ( 3 , 1 ) , ( 3 , 2 ) }

R 6 = { ( 1 , 2 ) , ( 2 , 3 ) , ( 1 , 3 ) }

Nun, das weiß ich R 1 wird reflektierend sein, R 3 wird symmetrisch sein und R 5 wird transitiv sein. Aber wird R 2 , R 4 Und R 6 reflektiv, symmetrisch und transitiv sein?

Kurz gesagt : Ist es notwendig, dass eine Relation alle Elemente des Sets abdeckt, damit es eines davon sein kann?

Auch wird R 7 = { ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) , ( 1 , 2 ) , ( 2 , 1 ) } eine äquivalente Beziehung sein?

Danke

Antworten (1)

Über Reflexivität: eine Beziehung am Set A ist reflektierend genau dann, wenn es die Diagonale enthält A := { A , A A A } als Teilmenge.

In Ihrer Frage haben wir A = R 1 und offensichtlich R 2 , R 4 , R 6 sind nicht reflexiv (enthalten nicht R 1 als Teilmenge).

Eine reflexive Relation „umfasst alle Elemente von A ".

Um symmetrisch oder transitiv zu sein, ist es nicht notwendig, „alle Elemente von abzudecken A ." Tatsächlich ist die leere Relation transitiv und symmetrisch.

Um herauszufinden, ob R 7 eine Äquivalenzrelation ist, prüfen Sie einfach, ob sie reflexiv, symmetrisch und transitiv ist. Das kannst du machen...

danke, jetzt habe ich es. Auf diese Weise ist R7 also eine Äquivalenzrelation.
Gern geschehen.