EJERCICIOS SOBRE RELACIONES

1. Cada uno de los gráficos siguientes determina una relación en el conjunto

ℤ de los números enteros. Diga, para cada uno si la relación determinada
es: reflexiva, simétrica, transitiva o antisimétrica. Determine cúales de las
relaciones son de equivalencia o cuáles son de orden probando su
respuesta en cada caso.
(a) G = {( x, y ) x + y ≤ 2}
(b) G = {( x, y ) x es dividor de y}

(c) G = {( x, y )x = y + 1}
(d) G = {( x, y )x = y + 2k para algún k ∈ ℤ}
(e) G = {( x, y ) x ≤ y}

2. Sea R = ( A, G ) una relación en el conjunto A con gráfico G. Probar que si R

es una relación de equivalencia en A entonces G G = G .
3. Sea Ri = ( A, Gi ) con i ∈ I una familia de relaciones de equivalencia en A ,
Consideremos su familia de gráficos {Gi }i∈I , Demuestre que el gráfico ∩G i
i∈I

determina una relación de equivalencia.

4. Sea ℤ el conjunto de los números enteros y p un entero positivo. Se
define la relación de congruencia módulo p mediante :

m ≡ nmod p ⇔ ∃k ∈ ℤ tal que m = n + kp

(a) Demuestre que esta relación es de equivalencia en el conjunto de los
números enteros..
(b) Encuentre las clases de equivalencia determinadas sobre los enteros
para p = 5
5. Sea ℕ el conjunto de los números naturales, se define la relación siguiente
en ℕ × ℕ :
( m, n) ∼ ( r, s) ⇔m+ s = n+r.

(a) Demuestre que esta es una relación de equivalencia en ℕ × ℕ

(b) Halle las clases de equivalencia para (1,0 ) y ( 0,1) .
6. Sea ℤ el conjunto de los números enteros, en ℤ × ( ℤ − {0}) se define la
relación
( p, q ) ≃ ( r , s ) ⇔ ps = qr
(a) Demuestre que esta es una relación de equivalencia en ℤ × ( ℤ − {0})
(b) Dado el par ( m, n ) ∈ ℤ × ( ℤ − {0} ) determine la clase de equivalencia [ m, n]
módulo ≃ para dicho par.
(c) Halle la clase de equivalencia [1, 2] correspondiente al par ordenado
(1, 2 ) y la clase de equivalencia del par ordenado ( 2,1) .
(d) ¿Es la clase de equivalencia [ 2,5] igual a la clase [ 4,10] ?
(e) Pruebe que [ −m, n] = [ m, −n ] y que [ −m, −n ] = [ m, n ] .
7. Sea ℤ el conjunto de los números enteros. En ℤ se define la relación
siguiente
a ≤ b ⇔ ∃c ∈ ℤ + ∪ {0} tal que a + c = b ,
donde ℤ+ es el conjunto de los enteros positivos.
Demuestre que esta relación es una relación de orden en ℤ .
8. Sea f : A → B un función, se define la relación R en A por
xRy ⇔ f ( x ) = f ( y ) .
Demuestre que R es una relación de equivalencia en A.

9. Dado el conjunto A = {2,3,4,5,6,7,8,9,10} , se define la siguiente relación en A

xRy ⇔ x es divisor de y .
(a) Halle el gráfico de la relación.
 (b) Pruebe que es una relación de orden.
(c) Puede decirse que dados dos elementos cualesquiera de E ellos son
comparables por la relación R, es decir podemos asegurar que
o xRy o yRx ?
10. En el conjunto ℤ de los números enteros se define la relación siguiente
x | y ⇔ x es divisor de y .
Demuéstrese que esta relación es de orden en los números enteros.