FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

F2 - Blatt 2 Aufgabe 2.1 ii

F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 20:33
KeinPlan
Stelle mich gerade etwas blöde an kann mir das vielleicht einer Erklären was das mit der Äquivalenzrelation aufsich hat verstehe das nicht bzw kann mir das jemand mal erklären wann es eine ist und wann nich an einem Bsp wäre echt nett

Edit: Ein F2, etc… in der Überschrift dazu.

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 20:40
UncleOwen
Also eine Relation ist genau dann eine Aequivalenzrelation, wenn sie reflexiv, symmetrisch und transitiv ist. So ist z.B. die Gleichheit eine Aequivalenzrelation, "groesser als" ist keine.

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 20:47
jr
Eine Relation ist eine Aequivalenzrelation, wenn sie reflexiv, symetrisch und transitiv ist (steht auch im Skript auf Seite 16f).

Als Beispiel die Relation <= (kleiner gleich) auf die Natuerlichen Zahlen:

ist reflexiv (es gibt ein (a, a) fuer alle a)
ist nicht symetrisch (aus a<=b folgt nur b<=a wenn a==b)
ist transitiv (a<=b und b<=c dann folgt a<=c

Damit ist <= keine Aequivalenzrelation, da sie nicht symetrisch ist…

/jr

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 20:48
jr
Da weiss ich mal was und bin dann zu langsam

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 21:21
KeinPlan
Vielen Dank für eure Hilfe komme aber immer noch nicht klat mit dem scheiss . Müsste ja nur beweissen das ein nicht darauf zutriff wie bei M1 nur wie ? Naja überlege noch
Thx für eure Hilfe

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 21:23
TriPhoenix
Müsste ja nur beweissen das ein nicht darauf zutriff wie bei M1 nur wie ? Naja überlege noch

Wenn es keine Ä-relation ist ja. Ansonsten musst du beweisen, dass es für jeden gilt.

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 21:29
KeinPlan
Ich hoffe mal ich liege richtig

Kann ich nicht c als nachfolger von y wählen , d.h c=y+1
So müsste ja dann laut Formel [x/2] = [(y+1+1)/2 gelten
und das gilt nur wenn c=y daher nicht transetiv is das Korrekt bzw ausreichend?

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 21:45
Craigy
watttttt???

Re: F2 - Blatt 2 Aufgabe 2.1 ii 2003-04-20 21:48
UncleOwen
watttttt???
frag ich mich auch gerade…