Citat:
Ursprungligen postat av siggzor
Halloj, har fått ett problem (inom diskret matematik) som jag inte lyckas förstå, någon som kan förklara varför denna relation inte är transitiv:
R1 = {(x,y) : x<y+1} på mängden R (reella talen)
Exempel som visar att R1 inte är transitiv:
x = 0.5
y = 0
z = -0.5
x = 0.5 < 1 = 0 + 1 = y + 1, så x R2 y
y = 0 < 0.5 = -0.5 + 1 = z + 1, så y R2 z
men det gäller
inte att x = 0.5 < 0.5 = -0.5 + 1 = z + 1, så x R2 z gäller inte.
Citat:
Ursprungligen postat av siggzor
medan denna är det:
R2 = {(x,y) : x<y+1} på mängden Z (hela talen)
Mitt tankesätt: x = {2}, y = {4} z = {3}, då är x < y men y !< z, så x !< z
Då är alltså R2 inte alls transitiv, men någonstans måste jag tydligen tänka fel.
För att visa att ett relation R inte är transitiv måste du hitta x, y och z sådana att x R y och y R z, men inte x R z.
I ditt fall gäller...
x R2 y, eftersom x = 2 < 5 = 4 + 1 = y + 1,
x R2 z, eftersom x = 2 < 4 = 3 + 1 = z + 1,
men inte
y R2 z, eftersom det inte gäller att y = 4 < 4 = 3 + 1 = z + 1.
Bevis av att R2 är transitiv:
På Z gäller att m < n om och endast om m + 1 <= n.
Därför gäller x R y, dvs x < y + 1, om och endast om (x) + 1 <= (y + 1), dvs om och endast om x <= y.
Vi vet att x <= y är transitiv (på såväl Z som R).
Alltså är R2 transitiv.