RELACIONES BINARIAS FIDEL VERA OBESO

ACTIVIDAD N° 02

Resuelva a continuación los siguientes

EJERCICIOS SOBRE RELACIONES BINARIAS

1. Sea Q = 5,10,15, 20, 25,30 . Defina cinco relaciones binarias

en Q , especificando su dominio y rango.

2. Si T = 50,100, 200 , defina cuatro relaciones binarias en T

sus dominios y rangos.
3. Sean S = 3,6,9 y P = 6,3 . Identifique las relaciones
binarias:
R1 = ( 3,3) , ( 6,6 ) y R1 = ( 3,6 ) , ( 9,3)

como:
a) de S a P
b) de P a S

1
RELACIONES BINARIAS FIDEL VERA OBESO

c) en P
d) en S
4. Sea D = 1, 2,3, 4,5 y P ( D ) es el conjunto potencia de D

Verifique que R = ( A, B )  P ( D )  P ( D ) / A  B es una

relación binaria en P ( D ) .

5. Determine las imágenes de  y 1, 4 bajo la relación

binaria R del ejercicio (4).

6. Represente gráficamente las relaciones del ejercicio (3).
7. ¿Es el conjunto vacío una relación binaria?
8. Ilustre gráficamente la relación binaria:
R = ( A, B )  P ( D )  P ( D ) / A  B = 

donde D = 2, 4,6,8 y P ( D ) es el conjunto potencia de D

9. Determine las relaciones binarias inversas de las
relaciones de los ejercicios (3), (4) y (8).
10. Proporcione ejemplos de relaciones binarias con las
siguientes características:
a) Su rango es subconjunto de su dominio
b) Su dominio es subconjunto de su rango
c) Su dominio es una relación binaria
d) Su rango es una relación binaria
e) Su dominio y rango son relaciones binarias

2
RELACIONES BINARIAS FIDEL VERA OBESO

11. Indique las propiedades de la relación R sobre el

conjunto A . Si es una relación de equivalencia forme su
conjunto cociente.
a) R = ( a, a ) , ( b, a ) , ( a, b ) , ( b, b ) A = a, b

b) R = ( a, a ) , ( b, a ) , ( a, b ) A = a, b, c

c) R = ( 2, 2 ) , ( 3,3) , ( 4, 4 ) , (3, 4 ) , ( 4,3) A = 2,3, 4

d) R = ( 0,0 ) , ( 0,1) , (1,1) , (1,0 ) , ( 2,1) , ( 2, 2 ) , (7, 2 ) A = 0,1, 2

e) R = ( x, y )  A2 / x 2 = y 2  A = 0,1, −1

f) R= A= 
g) R = ( x, y )  A2 / x − y es divisible por 3 A = 1, 2,3,...,100

h) R = ( x, y )  A2 / x − y es divisible por 5 A = 1, 2,3,...,100

i) xRy  x es hermano de y A = x / x es persona

j) xRy  x tiene la misma edad que y A = x / x es persona

k) xRy  x es más alto que y A = x / x es persona

l) xRy  x es menos alto o igual que y A = x / x es persona

m) xRy  x es menos alto que y A = x / x es persona

n) xRy  x es ancestro de y A = x / x es persona

o) xRy  x vive en la misma ciudad que y A = x / x es persona

p) xRy  x juega el mismo deporte que y A =  x / x es persona

3
RELACIONES BINARIAS FIDEL VERA OBESO

q) xRy  x es amigo de y A = x / x es persona

r) xRy  x pertenece al mismo c lub que y A =  x / x es persona

12. Proporcione un ejemplo de una relación reflexiva, pero no

simétrica ni transitiva.
13. Proporcione un ejemplo de una relación simétrica, pero
no reflexiva ni transitiva.
14. Proporcione un ejemplo de una relación transitiva, pero
no reflexiva ni simétrica.
15. Proporcione un ejemplo de una relación antisimétrica y
una no total.
16. Pruebe que si R y Q son relaciones simétricas en un

conjunto A, entonces R  Q, R  Q, R − Q son

simétricas en A .
17. Verifique si son verdaderas o falsas cada una de las
siguientes proposiciones. Justifique su respuesta.

Si R es una relación de equivalencia en A y R2  R ,

entonces:

a) R2 es reflexiva (sobre A )

b) R2 es simétrica

c) R2 es transitiva

4
RELACIONES BINARIAS FIDEL VERA OBESO

18. Pruebe que si R es una relación total simétrica y

antisimétrica en un conjunto A , entonces A tiene a lo
más un elemento. ¿Qué puede concluirse si R no es total?
19. Pruebe que si R es una relación total en un conjunto A
entonces la relación es reflexiva
20. Verifique si son verdaderas o falsas cada una de las
siguientes proposiciones.
Si R es una relación antisimétrica y total en A,
entonces:
a) todo subconjunto de R es antisimétrico sobre A
b) todo subconjunto de R es total en A
21. Dada la relación binaria

R= ( x, y )  2
/ ( xy ) es un número par
2

¿Es R una relación de equivalencia?
22. Dadas las relaciones binarias

R = ( x, y )  2
/ 3x − y − 6 = 0
S = ( x, y )  2
/ x + 3 y = 9

Se define una relación T del modo siguiente:

R = ( x, y )  2
/ ( x, y )  T  a  / ( x, a )  R  ( a, y )  S

Halle la relación T .

5
RELACIONES BINARIAS FIDEL VERA OBESO

23. Dadas las siguientes relaciones binarias. Halle sus

correspondientes relaciones inversas. Así mismo indique
sus dominio y rangos.

a) R1 = ( x, y )  2
/ y = 3x − 1  − 1  x  3

 1 
= ( x, y )  / y = x+  1  x  4
2
b) R2
 x 

c) R3 = ( x, 2 x − 3)  2
/1  x  6

24. Dado el conjunto P = 0, 2,3 escribir:

a) Todas sus particiones
b) Tres relaciones de equivalencia
c) Las clases de equivalencia de (b)
d) Los conjuntos cociente de (c)