Citat:
Ursprungligen postat av Rawyon
A =-8,-7,-7....6,7,8)
xRy omm 5|(x+4y)
Vissa att detta är en ekvivalentrelation
Citat:
Ursprungligen postat av Rawyon
reflexiv
xRx =>5|(x+4x)=5|5(x)
Var noga med hur du sätter implikationspilar. Du säger nu "om vänsterledet gäller så gäller högerledet". Men det är ju vänsterledet du skall visa.
xRx omm 5 | x+4x = 5x, vilket är sant. Alltså gäller xRx.
Citat:
Ursprungligen postat av Rawyon
Hur visar jag symmetrin
Antag att xRy gäller, dvs 5 | x+4y. Vi skall då visa att yRx gäller, dvs 5 | y+4x.
Nu gäller y+4x = (5x+5y) - (x+4y), och då båda termerna i högerledet delas av 5 delas även vänsterledet av 5.
Alltså gäller yRx och R är således symmetrisk.
Citat:
Ursprungligen postat av Rawyon
och transiviteten?
Antag att xRy och yRz gäller. Vi skall visa att xRz gäller.
Antag alltså att 5 | x+4y och 5 | y+4z.
Då gäller 5 | (x+4y) + (y+4z) = x+5y+4z.
Eftersom 5 | 5y gäller även 5 | x+4z.
Alltså gäller xRz och R är således transitiv.