Citat:
Ursprungligen postat av
bigkjell85
Jag skulle behöva hjälp med följande uppgift.
"Låt n≥2 vara ett heltal och betrakta relationen R på mängen ℤ av alla heltal, som definieras av
xRy ⇔ x≡y+3 (mod n).
För vilka n är relationen reflexiv? Symmetrisk? Transitiv?"
Jag tänker såhär
x≡y+3 (mod n) kan skrivas n|x-(y+3)
Reflexiv : xRx, ∀x ∈ ℤ. Alltså n|x-(x+3) = n|-3. ⇔ Ej möjligt pga n≥2. ?
Symmetrisk: xRy ⇒ yRx ∀ x,y ∈ ℤ. xRy ⇔ n|x-(y+3) <≠> n|y-(x+3)⇔ yRx.
Icke symmetrisk. Eller är den symmetrisk då x=y?
Transitiv: xRy och yRz ⇒ xRz, ∀ x,y,z ∈ ℤ. Då finns k,l ∈ ℤ så att x-y-3=nk och y-z-3=nl. Då får vi att x-z-3 = (nk+y+3)+(nl-y+3)-3 = nl+nk+3 = n(l+k)+3.
Betyder detta att n|-3? Vilket ej var möjligt då n≥2
Reflexiv: x = x + 3 (mod n) ⇔ 0 = 3 (mod n). Alltså omm n = 3 så har vi reflexivitet.
Symmetrisk: x = y + 3 (mod n) ska implicera att y = x + 3 (mod n), för alla x, y.
Om båda är sanna så gäller det att y = x + 3 = (y + 3) + 3 = y + 6 (mod n). Alltså måste vi ha att 6 = 0 (mod n), detta är alltså nödvändigt att ha.
Så notera då om 6 = 0 (mod n) så får vi att
x = y + 3 (mod n) ⇒ x + 3 = y + 6 (mod n) ⇒ x + 3 = y (mod n).
Därmed är den symmetrisk omm n = 2, 3 eller 6.
Transitiv: Antag att x = y + 3 (mod n) och y = z + 3 (mod n). Då får man alltså att x = y + 3 = z + 6 (mod n). Om det nu ska gälla att x = z + 3 (mod n) så måste 6 = 3 (mod n) eller 3 = 0 (mod n), alltså n = 3.