Está en la página 1de 2

Matematica 2

Demuestre que la relación R definida en Z :


x R y si y solo si x-y es múltiplo de 4 es una relación de equivalencia en Z

Esta relación se llama “ relación de congruencia módulo 4 “


Decir que x – y es múltiplo de 4 es equivalente a decir que existe k ε Z tal que x-y = 4 k

Demostración

a) Reflexividad : ∀ x ε Z , x R x
∀ x ε Z , x – x = 0 y 0 es múltiplo de 4 ( 0 = 4.0) → x –x es múltiplo de 4 ↔ x R x

b) Simetría : ∀ x, y ε Z , x R y → y R x
∀ x, y ε Z , x R y ↔ x-y = 4k , k ε Z
Multiplicando ambos miembros por -1 , -x + y = - 4 k o sea y-x = 4.(-k) , -k ε Z (opuesto de k
entero)
Por lo tanto y –x es múltiplo de 4 ↔ y R x

c) Transitividad : ∀ x, y , z ε Z , x R y ^ y R z → x R z

∀ x, y , z ε Z, x R y ↔ x-y = 4k , k ε Z
y R z ↔ y-z = 4q , q ε Z sumando miembro a miembro las 2 igualdades
x - z = 4 ( k + q) La suma de enteros es un numero entero k+q = l ε Z
Por lo tanto x – z = 4 l ↔ x R z

Clases de equivalencia
Sea a ε Z , Clase del a : Ca = { x / x ε Z ^ x R a }
x R a ↔ x-a = 4k , k ε Z → x = a + 4k

Sea a= 0 C0 = { ….,-8,-4.0, 4,8,12,….. }


Sea a= 1 C1 = { ….,-7,-3.1, 5,9,13,….. }
Sea a= 0 C2 = { ….,-6,-2.2, 6,10,14,….. }
Sea a= 0 C3 = { ….,-5,-1.3, 7,11,15,….. }
No es posible obtener otras clases distintas de estas .Los subíndices de las clases de equivalencia son
los posibles restos de la división de un entero por 4 , es decir : 0, 1 , 2 , 3

C11 = { x / x ε Z ^ x R 11 }
x - 11 = 4 k → x = 4k +11 = 4k + 8 +3 = 4(k+2)+3 = 4 k’ +3 k´= k+2 ε Z
por lo tanto C11 = C3

C-10 = { x / x ε Z ^ x R -10 }
x – (-10) = 4 k → x = 4k - 10 = 4k -10 -2 +2 = 4 (k- 3) +2 = 4 k’ +2 k´= k- 3 ε Z
por lo tanto C-10 = C2
Demuestre que la divisibilidad es una relación de orden en N:
∀ x, y ε N , x R y ↔ x/y
Decir que x /y ( x divide a y ) es equivalente a decir que existe k ε N tal que y = k x
∀ x, y ε N , x R y ↔ y = kx , k ε N

a) Reflexividad : ∀ x ε N , x R x
∀ x ε N , x R x ↔ x = kx , se cumple para k=1 ε N

b) Antisimetría : ∀ x, y ε N , x R y ^ y R x → x = y
∀ x, y ε N , x R y ↔ y = kx , k ε N (1)
y R x ↔ x = k’y , k´ ε N (2)
Reemplazando (2) en (1) nos queda : y = k.k´y → k.k´=1 por lo tanto k= k´=1 (pues k,k´ ε N)
Reemplazando k´ en (2) se llega a x = y ( Pensar que ocurre si trabajamos en Z)

c) Transitividad : ∀ x, y , z ε N , x R y ^ y R z → x R z
∀ x, y , z ε Z, x R y ↔ y = kx , k ε N (1)
y R z ↔ z = q.y , q ε N (2)
Reemplazando (1) en (2) : z= (q.k).x , l= q.k ε N
Por lo tanto z= l.x ↔ x R z

Orden Total y Parcial


Una relación de orden en un conjunto A es de orden total si :
∀ x, y ε A , x R y o y R x
Una relación de orden en un conjunto A es de orden parcial si :
∃ x , y ε A, x R y ^ y R x

La divisibilidad es de orden parcial pues por ejemplo:


3,5εN,3R5 ^ 5R3