Symmetrische und transitive Relation, aber keine reflexive |
27.10.2009, 16:21 | Marianne84 | Auf diesen Beitrag antworten » | ||
Symmetrische und transitive Relation, aber keine reflexive ich habe ein Problem bei einer Fragestellung. Ich habe schon in den anderen Threads geguckt, konnte jedoch nichts finden was mich weiterbringen könnte. Kann mir jemand ein Beispiel für eine Äquivalenzrelation nenne, die symmetrisch und transitiv ist, jedoch nicht reflexsiv? Vielen Dank im vorraus. Liebe Grüße Marianne |
||||
27.10.2009, 16:23 | Dunkit | Auf diesen Beitrag antworten » | ||
Naja eine Äquivalenzrelation ist es dann ja nichtmehr Ein Beispiel wäre (mit zB . Das ist transitiv und symmetrisch, aber nicht reflexiv |
||||
27.10.2009, 16:34 | Marianne84 | Auf diesen Beitrag antworten » | ||
Hi Dunkit, vielen dank für die schnelle Antwort Hab mich jedoch leider etwas vertan. Die Aufgabenstellung lautet: Sei R eine symmetrische und transitive partielle Relation auf einer Menge A. Dann gilt offensichtlich xRy => yRx wegen der Symmetrie von R. Weiter folgt hierraus mit der Transitivität von R, dass xRx gilt. Die Frage ist, ob dass jetzt schon eine Äquivalenzrelation ist. Ich habe erst vor kurzem mit Relationen angefangen und bin mir da absolut nicht sicher. Ich glaube es ist eine Äquivalenzrelation, aber ich kann es nicht begründen. Und die zweite Fragen war, dass wir eine partielle Relation angeben sollten, die symmetrisch und transitiv ist, jedoch nicht reflexiv. Ich weiss einfach beim besten Willen nicht wie ich es in der Korrekten Notation schreiben soll |
||||
27.10.2009, 16:35 | Dunkit | Auf diesen Beitrag antworten » | ||
Ähm sorry, da bin ich raus, was ist eine partielle Relation? |
||||
27.10.2009, 16:38 | Mazze | Auf diesen Beitrag antworten » | ||
Mit partieller Relation meint Sie wohl das nicht alle Elemente der Grundmenge in Relation stehen.
Für die Reflexivität gilt : Sprich, es muss für alle Elemente der Grundmenge gelten. Sieh dir zum Beispiel mal das hier an : Das Ding ist symmetrisch und transitiv, aber nicht reflexiv da (3,3) gar nicht drin ist. |
||||
27.10.2009, 16:46 | Marianne84 | Auf diesen Beitrag antworten » | ||
Ja, dass leuchtet ein Ich hatte vorhin gelesen, dass eine nicht reflexive Relation auch als (R Teilmenge von M echte Teilmenge von M) geschrieben werden kann (Sorry, ich hab noch nicht ganz rausgefunden wie man diese schicke Mathematische Notation hier einfügen kann^^) |
||||
Anzeige | ||||
|
||||
27.10.2009, 16:52 | Mazze | Auf diesen Beitrag antworten » | ||
Auch reflexive Relationen können echte Teilmengen des kartesischen Produktes sein. Was die Notation angeht, es gibt hier einen Formeleditor (rechts) der einige Grundfunktionen bietet. |
||||
27.10.2009, 20:14 | kiste | Auf diesen Beitrag antworten » | ||
x=5,y=6,z=5 nicht transitiv |
||||
24.11.2016, 11:16 | Mathabc | Auf diesen Beitrag antworten » | ||
Die Relation ist aber noch nicht einmal transitiv. Zum beispiel gilt 3 != 4 !=3 . Jetzt müsste deiner Aussage nach 3 !=3 folgen. Das stimmt offensichtlicherweise nicht. |
||||
09.10.2021, 19:42 | Späte Antwort | Auf diesen Beitrag antworten » | ||
Habe den Thread via Google gefunden, daher sry für das Aufwärmen. Für Andere die hierauf stoßen: Ich denke die einzig transitiv, symmetrisch und nicht reflexive Relation ist die leere Relation. Da für beliebige x, y in einer symmetrischen Relation xRy impliziert, dass yRx gilt muss über die Transitivität auch xRx gelten. aRb und bRc impliziert aRc, hier a=x, b=y und c=x. Daher darf die Relation keine Elemente enthalten und muss entsprechend die leere Menge sein. |
||||
09.10.2021, 21:44 | Elvis | Auf diesen Beitrag antworten » | ||
Das stimmt nicht. Gegenbeispiel : M={1, 2},R={(1,1)}. R ist symmetrisch und transitiv aber nicht reflexiv. |
||||
12.01.2022, 21:41 | aiacopino | Auf diesen Beitrag antworten » | ||
relationen das verstehe ich nicht. kannst du das allgemeiner formulieren? ich habe eine aufgabe bekommen, wo ein beweis ähnlich dem in dem beitrag, den du dementierst, steht. ich soll den fehler in dem beweis finden, hier der genaue wortlaut: (jede symm und transitive rel. R auf einer menge X ist auch reflexiv) sei x in X. sei y in X sodass xRy gilt. wegen symmetrie der rel. gilt also auch yRx. folglich und unter verwendung d. transitivität gilt xRy und yRx impliziert xRx. qed. definitionen, zur vollständigkeit: reflexivität: für alle x in X gilt xRx symmetrie: für alle x,y in X gilt xRy impliziert yRx transitivität: für alle x,y,z in X gilt: xRy und yRz impliziert xRz danke schon im voraus |
||||
12.01.2022, 21:51 | Leopold | Auf diesen Beitrag antworten » | ||
RE: relationen
Wischiwaschi-Formulierung "sei". Wieso sollte es solch ein y geben? |
||||
13.01.2022, 09:30 | Elvis | Auf diesen Beitrag antworten » | ||
@aiacopino In meinem Beispiel gibt es zu x=2 kein y mit xRy, und damit bricht dein Beweis zusammen. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |