Relationseigenschaften nachweisen |
03.11.2009, 10:10 | RS | Auf diesen Beitrag antworten » | ||||||||
Relationseigenschaften nachweisen Sei X Menge und ~ Relation auf X Eine Relation ~r wie folgt: . Zeigen Sie: ~r ist reflexiv. Eine Relation ~s wie folgt: Zeigen sie ~s ist symmetrisch. Eine Relation ~t wie folgt: Zeigen Sie: ~t ist transitiv. zu 1. Sei x aus X, dann folgt und daraus . zu 2. Seien x,y aus X. Die Aussagen für lassen sich auch vertauschen, sodass folgt: . Daraus folgt zu 3. Seien x,y,z aus X Aus x~y folgt: Aus y~z folgt: . Alles soweit richtig? |
||||||||||
03.11.2009, 10:28 | Jacques | Auf diesen Beitrag antworten » | ||||||||
Hallo, Inhaltlich ist es richtig, aber die Lösung zu 3. ist (zumindest formal) nicht korrekt: Du darfst im zweiten Fall nicht wieder die Variable n nehmen, denn die hast Du schon bei x als Variable für „eine beliebige natürliche Zahl“ genommen. Und Du müsstest bei x1, x2, ... und y1, y2 noch ein „existiert“ davorschreiben, denn das sind ja keine konkret bestimmten Folgenglieder, sondern eine Anzahl von gewissen Elementen. |
||||||||||
03.11.2009, 11:35 | RS | Auf diesen Beitrag antworten » | ||||||||
Also zu 3. Seien x,y,z aus X Aus x~y und folgt: Aus y~z folgt: . |
||||||||||
03.11.2009, 12:46 | Jacques | Auf diesen Beitrag antworten » | ||||||||
OK. |
||||||||||
03.11.2009, 13:05 | RS | Auf diesen Beitrag antworten » | ||||||||
danke... Sry dass ich hier so banale dinge einstelle, aber nach den letzten übungsserien, konnte ich iwie nicht glauben, dass auch mal so "einfache" dinge dabei sind^^. Sicher ist sicher... |
||||||||||
04.11.2009, 18:43 | RS | Auf diesen Beitrag antworten » | ||||||||
hab dazu noch ne zweite teilaufgabe wo ich ne idee habe aber nicht weiß wie ichs mathematisch darstelle. Seien die den eben definierten rel. zugrundeliegenden teilmengen von X x X. z.Z. ist: Die Menge Rr ist die kleinste Teilmenge von X x X, die R enthält und eine refl. Relation ist. Die Menge Rs ist die kleinste Teilmenge von X x X, die R enth¨alt und eine symmetrische Relation ist. Die Menge Rt ist die kleinste Teilmenge von X x X, die R enthält und eine transitive Relation ist. "kleinste" ist auf die Inklusion bezogen. muss ich jeweils zeigen ,dass die anderen beiden Teilmengen (relationen) nicht reflexiv bzw. symmetrisch bzw. transitiv sind? wo liegt hier der ansatz? |
||||||||||
Anzeige | ||||||||||
|
||||||||||
04.11.2009, 21:16 | ankasztaj | Auf diesen Beitrag antworten » | ||||||||
RE: Relationseigenschaften nachweisen ich habe so angefangen: man denkt sich eine menge M aus, die in X*X enthalten ist, die R enthält und die Rr, Rs und Rt enthält. natürlich alles nacheinander. wenn du gezeigt hast dass es so ne menge gibt wo z.b. Rr die teilmenge ist, dann muss Rr die kleinste teilmenge von X*X sein. |
||||||||||
04.11.2009, 22:39 | RS | Auf diesen Beitrag antworten » | ||||||||
aber ist R nicht eigentlich schon so eine gesuchte menge? ist teilmenge X x X und enthält alle Ri (und sich selbst natürlich auch)... Selbst wenn ich jetzt mal deinen ansatz weiterführe, so hab ich doch letztlich nur weil Rr ne teilmenge ist, nicht bewiesen dass es die kleinste ist. ?! |
||||||||||
05.11.2009, 07:17 | ankasztaj | Auf diesen Beitrag antworten » | ||||||||
R ist nicht die gesuchte Menge. Die gesuchte Menge muss doch R enthalten, in X*X sein und reflexiv sein. DIe Idee lautet grundsätzlich so: Wir suchen eine Menge M mit den eigenschaften, Teilmenge von X*X, R ist drin enthalten und M ist reflektiv. Dann schauen wir ob Rr drin enthalten ist. Wenn Rr noch Teilmenge von M sein sollte dann muss Rr dann die kleinste Menge mit den Eigenschaften sein. Ich kann es schwer erklären |
||||||||||
05.11.2009, 08:33 | Mazze | Auf diesen Beitrag antworten » | ||||||||
Das was ankasztaj hingeschrieben hat ist die richtige Idee. Wenn man bei Mengen "das Kleinste" meint dann ist das folgender Sachverhalt, am Beispiel Rr. Rr ist die kleinste reflexive Relation wenn gilt : Zum Verständnis: Man kann eine partielle Ordnungsrelation auf Mengen wie folgt definieren. Seien dazu A und B zwei Mengen, dann ist A kleiner als B wenn gilt. Hast Du nun das kartesische Produkt dann ist die kleinste reflexive Relation gerade die reflexive Relation, die eine Teilmenge aller reflexiven Relationen ist. Zum Beweis nimmst Du dir also eine bel. Reflexive Relation R her, und zeigst das gilt. |
||||||||||
05.11.2009, 08:54 | RS | Auf diesen Beitrag antworten » | ||||||||
Jetzt mal ohne zu überprüfen welche von Rs Rt reflexiv ist. ich muss also zeigen dass Rr ne echte teilmenge von Rs bzw Rt ist? |
||||||||||
05.11.2009, 09:09 | Mazze | Auf diesen Beitrag antworten » | ||||||||
Naja, Du musst das natürlich auf deine Aufgabe anpassen. Du hast zwei Sachen zu zeigen : (trivial) Und Du musst zeigen dass wenn eine reflexive Relation ist und gilt, dass dann auch ist. Analog für die anderen beiden Fälle. |
||||||||||
05.11.2009, 09:19 | RS | Auf diesen Beitrag antworten » | ||||||||
Aber nur weil ich zeige Rr ist eine echte Teilmenge von R' (was bitte ist R', eine neu definierte Relation?),Rs eine echte Teilmenge von R', usw. habe ich doch nicht gezeigt, dass beispielsweise Rs nicht die kleinere reflexive teilmenge als Rr ist... Verstehe nicht was R' in der Aufgabe soll. Warum reicht es nicht zu zeigen, dass Rr eine echte Teilmenge von Rs und Rt ist. Weil R ja letztlich durch diese 3 Teilmengen definiert ist...? |
||||||||||
05.11.2009, 09:28 | Mazze | Auf diesen Beitrag antworten » | ||||||||
Ist sie doch garnicht. R ist irgend eine Relation. Mit Hilfe dieser Relation R definieren wir eine Relation , nämlich : . In Worten heisst die Relation : (x,y) ist Element der Relation wenn (x,y) in der Relation R enthalten ist, oder wenn x = y ist. Das heisst, nicht , sondern . Dieses R' ist eine allgemeine reflexive Relation die R enthält. Du stolperst hier vielleicht über die Formulierung. Wenn man den Satz hat : "Die Menge A ist diejenige Menge die B enthält", dann heisst das . Du sagts ja auch bei "Das ist das Glas welches Wasser enthält", das dass Wasser im Glas ist und nicht das Glas im Wasser. |
||||||||||
05.11.2009, 10:05 | RS | Auf diesen Beitrag antworten » | ||||||||
ok aufgaben missverständnis^^ R ist echte Teilmenge von Rr, da es (x,y)€ Rr gibt sodass (x,y) nicht in R, nämlich für x=y oder. Alle anderen tupel sind aufgrund x~y element beider R. oder? Sei R' eine reflexive Relation und R echte Teilmenge von R'. Wie zeige ich jetzt genau dass Rr auch Teilmenge von R' ist? |
||||||||||
05.11.2009, 13:32 | RS | Auf diesen Beitrag antworten » | ||||||||
Ich fass das jetzt nochmal zusammen was zu tun ist (bzw. wie ich es verstanden habe^^). Insgesamt zu Zeigen: Für gibt es kein R' mit: R' ist reflexiv, R' ist Obermenge von R, und R' ist Teilmenge von Rr. Zuerst zu zeigen: D.h., zu zeigen: Aus folgt: . Daraus folgt (a,a) und (b,b) in Rr, aber nicht in R. Sei Zu zeigen: . Sprich zu zeigen, dass . So ist das bis hierhin richtig? Aus der Refl. von R' folgt, dass , aus folgt, und damit So, dass ist ja nun genau die Menge aller Tupel die auch in Rr enthalten sind. Sprich es gibt nur die Möglichkeit R'=Rr oder halt . (wenn noch weitere Tupel zu R' hinzukämen.) Das widerlegt
wie schauts aus^^? |
||||||||||
05.11.2009, 14:18 | Mazze | Auf diesen Beitrag antworten » | ||||||||
Wow . Anstatt den einfachen Weg zu gehen und zu zeigen das für alle reflexiven mit gilt ...
Naja, das ist falsch. Wenn Du zeigen willst das gilt, dann zeigst Du einfach Das ist ein Einzeiler : Sei dann ist nach Definition . Damit ist . Fertig. Das könnte man glatt unter "offensichtlich" laufen lassen. Zweitens :
Daraus folgt nicht das das kleinste ist. Daraus folgt nur das die Teilmengenbeziehung nicht gilt. Das heisst aber noch lange nicht das dann auch ist. Nein, du zeigst genau das was ich dir gesagt habe :
Sei also R' reflexiv und . Dann ist zu zeigen das auch ist. Sei also ... |
||||||||||
05.11.2009, 14:41 | RS | Auf diesen Beitrag antworten » | ||||||||
Ich muss also zeigen . Sei , dann gilt: . Aus folgt Und aus der Reflx. von R' und der Eigenschaft von Rr folgt wenn x=y so richtig? |
||||||||||
05.11.2009, 14:54 | Mazze | Auf diesen Beitrag antworten » | ||||||||
Ganz genau!
Das seh ich ein. Ansonsten wirds wieder etwas undurchsichtig. Es gibt zwei Fälle zu betrachten x = y : Wir haben also x = y, dann ist da reflexiv ist. Wir wissen aber auch das reflexiv ist, also ist auch . Das ist der erste Teil, der zweite ist : x != y : Sei also und x ungleich y. Dann ist nach Definition von also . Nun ist aber R' gerade so gewählt das gilt. Damit ist natürlich sofort Und damit ist die Teilmengenbeziehung gezeigt. Die andern 2 Relationen sollten ganz ähnlich funktionieren. |
||||||||||
05.11.2009, 14:58 | RS | Auf diesen Beitrag antworten » | ||||||||
Sprich aus folgt (den anderen Fall jetzt mal weggelassen). . Ist vielleicht ungünstig aufgeschrieben aber ich meine, dass aus der Inklusion RcR' folgt, dass eben (x,y)€R --> ...R' und noch ne frage:
|
||||||||||
05.11.2009, 15:14 | Mazze | Auf diesen Beitrag antworten » | ||||||||
Das ist in der Tat ungünstig aufgeschrieben. Dies ist zwar richtig, aber Du hättest ruhig sagen können das Du die Definition von benutzt hast. Vollständig hätte es heissen müssen : Aus und der Definition von folgt .
Die Sache ist doch die. Wir nehmen an und wollen zeigen das dann auch ist. Jetzt schauen wir uns die Definition von an. Wenn (x,y) da drin liegt ist entweder oder . Das gibt uns zwei Fälle die zu untersuchen sind . |
||||||||||
05.11.2009, 15:16 | RS | Auf diesen Beitrag antworten » | ||||||||
Ja das ist mir schon klar... Geht nur um ne kleinigkeit, aber ist im prinzip egal... Danke dir erstmal! |
||||||||||
05.11.2009, 17:41 | Grüner | Auf diesen Beitrag antworten » | ||||||||
Würde es nicht reichen zu sagen, dass man annimmt, dass nicht die KLEINSTE Teilmenge ist die reflexiv ist und R enthält. Man könnte also ein Zahlentupel herausnehmen und hätte eine kleinere. Dies wäre aber ein Widerspruch, da das Tupel entweder aus R ist (womit R nicht mehr vollständig enthalten wäre) oder ein Tupel der Form (x,x) womit allerdings nicht mehr reflexiv wäre. also ist kleinste reflexive Teilmenge von X x X die R enthält?! Dass reflexiv ist und R enthält wurde ja schon in der ersten Aufgabe gezeigt. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |