Instituto Superior del Profesorado

“Dr. Joaquín V. González”

Álgebra I 1ro. “D”

Guía de trabajo N°3: Relaciones

1. Sean A= { a, b , c } y B={ 1,2 }. Determine AxB y BxA. Represente ambos conjuntos en un sis-
tema de ejes cartesiano.

2. Siendo A={ 1,-1}. Determine: A2 y A3

3. Sea A= {1, 2} y B= {a, b, c} y C={c, d}. Halle (AxB)  (AxC) y A x (B  C). Compare los conjun-
tos obtenidos.

4. Siendo A= { a,b } ; B={1,2} ; C= {2,3}. Halle (AxB)U(AxC) y A x(BUC) compare los conjuntos
obtenidos.

5. Probar o refutar el valor de verdad de cada una de las siguientes proposiciones sabiendo que A,
B, C están incluidos en un mismo conjunto universal U.
a. Ax( B UC) = (AxB ) U (AxC)
b. (A ∩ B ) x C = (AxC) ∩ (BxC)
c. (AxA) – (BxB) = (A-B) x ( A- B )
d. (A UB) x(AUB) ⊆ (AxB) U (BxA)
e. Ax(B-C) = (AxB) – (AxC)

6. Para el conjunto finito A = { a,z }, se pide:

a) Explicitar: El cardinal de: A2 ; P(A) ; P(A2)
b) Contestar las mismas cuestiones para el conjunto vacío
c) Contestar las mismas cuestiones para un conjunto finito A de cardinal n.

7. Sean A y B dos conjuntos , probar o refutar cada una de las siguientes afirmaciones:
a) A x B =   A =   B = 
b) A x B = B x A  A = B
c) P(A) x P(B) = P(A x B)

1
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

8. Sean A = { 1, 2, 3 } y B = { 2, 4, 6, 8 } . Escribir por extensión cada una de las siguientes relacio-

nes de A en B. Graficarlas.
a) R1 = { (x, y)  AxB / 2x ≤ y } c) R3 = { (x, y)  AxB / x2 - y ≤ 0 }
b) R2 = { (x, y)  AxB / x + y es impar } d) R4 = { (x, y)  AxB / y ≤ 7 }

9. Las siguientes relaciones están definidas en  x  , donde  representa el conjunto de los

números naturales. Escriba por extensión cada relación.
R1 = { (x,y) / x +3y = 13}
R2 = { (x,y) / 3x +y = 13}
R3 = { (x, y) / 2x + 4y = 17 }
R4 = { (x, y) / x2 + y2 = 25 }

10. Determine, dominio, conjunto imagen y la relación inversa de las relaciones de los ejercicios 8 y
9.

11. Escriba, por extensión las relaciones complementarias, dominio e imagen de R y S del ejercicio 8

12. Sean A y B dos conjuntos y R  A × B,S  A × B , probar la validez de las siguientes afirmacio-
nes:

a)R  S  R-1  S-1 c) DR-1 = ImgR f) (RUS) -1 = R-1 U S-1

b)R  S  S  R e) ( R∩S)-1 = R-1 ∩ S-1

13. Escriba las matrices de las relaciones del ejercicio 8. Idem para las del ejercicio 11. Realice el
diágrafo de cada relación

1 0 0 1
0 0 0 0
14. En el conjunto F = { 2, 9, 16, 23 } se define la relación R dada por su matriz :   Se pi-
 0 1 1 1

1 0 1 0 

de:
a) La relación R por extensión. Dominio y conjunto imagen.
b) Las matrices de las relaciones recíproca y complementaria
c) El diágrafo de la relación R y de su inversa.

2
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

15. En el conjunto A= { a, b, c, d} se definen las relaciones R= { (a,a) , (a,b) , (a, d) , (b,b) , (b, d) ,
(b, c) , (c, a) , ( d,c) } y S = {(a,a), (b,b) , (c,c) , (a, c ) , (b, d) , (c, a) , ( c, d) }. Se pide:
a) El dígrafo para cada relación
b) Los dígrafos para las relaciones RUS y R ∩ S, escribir ambas relaciones por extensión.
c) Los dígrafos para las relaciones R - S , R – S , S - R-1 . Escriba cada relación por extensión.

16. Demuestre que la composición de relaciones cumple con la propiedad asociativa. Identifique
hipótesis y tesis para la demostración.

17. Sea A= { 1, 2, 3} . Analice las propiedades que cumple cada una de las siguientes relaciones
definidas en A2. Justifique.
R1 = {(1,1), (1,2), (1,3), (3,3)} R4 = {(1,1), (2,2), (3,3)}
R2 = {(1,1), (1,2), (2,1), (2,2),(3,3)} R5 = 
R3 = {(1,1), (1,2), (2,2),(2,3)} R6 = AxA

18. Sobre el conjunto A = { a, b, c, d } dar un ejemplo de:

a) Una relación reflexiva y simétrica pero no transitiva
b) Una relación reflexiva y transitiva pero no simétrica
c) Una relación simétrica y transitiva pero no reflexiva
d) Una relación simétrica y antisimétrica

19. Estudiar las propiedades de cada una de las siguientes relaciones definidas en el conjunto indi-
cado en cada caso:
a) En el conjunto de los números naturales aRb sii “a divide exactamente a b”
b) Idem ejercicio ítem anterior, pero en el conjunto de los números enteros.
c) En el conjunto de los números enteros, aRb sii a+b es par.

d) En el conjunto de los números reales, aRb sii a - b  6

e) En P(A) se define la relación R, donde X R Y sii X  Y = 1, siendo A = { 2, 4 }

d) En P(A) se define la relación R, donde XRY sii X = Y , donde A = { -1, 0, 1}

3
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

20. Sean R y S relaciones definidas sobre A  , probar o refutar cada una de las siguientes afir-

maciones:
a) R es antisimétrica, entonces R-1 también es antisimétrica.
b) R es transitiva, entonces R-1 también es transitiva.
c) S es arreflexiva, entonces S es reflexiva.

d) R y S son transitivas, entonces RUS es transitiva.

e) R y S es simétrica, entonces RS es simétrica.
21. Sea R una relación definida sobre un conjunto A   que es simétrica y transitiva pero no es

reflexiva. Para la relación complementaria R , dar el valor de verdad de las siguientes proposi-
ciones, justificar adecuadamente.

a) R es reflexiva
b) R es simétrica
c) R no es antisimétrica
d) R es transitiva

22. Analizar cuáles de las siguientes relaciones son de equivalencia y en caso afirmativo describir las
clases de equivalencia correspondientes. Cuando corresponda, halle el conjunto cociente.
a) En A = {1, 2, 3 }, se define la relación R = { (2, 2) , (2,3) , (2,3), (3,3), (1,1) }
b) En el plano, la relación de perpendicularidad.
c) En el plano, la relación de paralelismo.
d) En el conjunto P, de personas, se define la relación “es pariente de sangre”.
e) En el conjunto A = { x/x es un mes del año}, se define la relación R donde xRy sii “x empieza
con la misma letra que y”.
 1 1 2 3 3
f) En A=  - 3, - 2 , - , , , ,3 ,  xRy sii x2.(y-1) = y2.(x-1)
 2 3 3 2 4
g) En  : m R n si y solamente si m - n es par.
h) En  : a Rb si y solamente a < b.
i) En  : x R y sii y -2 = 2-x

j) En  x R y sii existe un número n, n  , tal que x = y.2n

23. Sea A = { 1, 2, 3, 4 }, en P(A) se define la siguiente relación: XRY sii X  B = Y  B con B= { 2,

3}. Probar que es de equivalencia; hallar las clases de equivalencia y el conjunto cociente.

4
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

24. Teniendo el ejercicio número 17 encuentre, cuando corresponda, la relación de equivalencia aso-
ciada a la partición.

25. En el conjunto de los números naturales con el cero, se define la relación de equivalencia: xRy sii
x3 + y2 es par. Halle la cantidad de clases de equivalencia que determina. Fundamente su res-
puesta.

26. Sea A un conjunto en el que están definidas las relaciones de equivalencia R y S. Probar que
RS es una relación de equivalencia.

27. Sea la relación de equivalencia R definida en el conjunto de las funciones con dominio y codomi-
nio en el conjunto de los números reales, donde f R g sii Img(f) = Img(g) .
Halle tres elementos de la clase de f(x) = x2 -4

28. Las siguientes relaciones están definidas en A = { a, b, c, d, e}. Probar si son de orden. Cuando
corresponda, indicar si es un orden total y /o un buen orden y hacer el diagrama de Hasse. Justi-
fique.
a) R1= { (a, b), (a, c) , (a, e) , (b, c) , (b, e) , (d, c) , ( d, e) } U A
b) R2= A U { (e, a) , (e, b) , (e, d) , (a, d) , (b, d) , (c, d) }
c) R3 = A U { (c, d) , (b, c) , (a, e) , (d, e) , (b, e) , (b, a) }

29. Demuestre que las siguientes relaciones son de orden.

a) En  x R y sii x divide exactamente a y.
b) En  : x R y sii c ( c   0 ) / y = x + c

c) En  x R y sii x  y
d) En P(A) : XRY sii XY = X

30. Indique si las siguientes afirmaciones son verdaderas o falsas. Justifique.

Nota: R y S son dos relaciones de orden definidas en A
a) R-1 es de orden en A.
b) RS es de orden en A.
c) RUS es de orden en A.
d) Si R  S y S es orden total, entonces R es orden total.
5
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

e) Si R  S y S es orden parcial, entonces R es orden parcial.

31. Sea la relación R definida en el conjunto de funciones tal que f R g sii f(0)  g(0)
a) Analice si la relación R es de orden en el conjunto de todas las funciones. Fundamente su
respuesta.

b) Considere B = { f(x) = x2 , g(x) = cosx , h(x) = 6.ex , m(x) = 2x-3 , s(x) = x + 4 } , un conjunto

de funciones definidas de reales en reales. Analice si en dicho conjunto la relación R es de or-

den. En caso afirmativo haga el diagrama de Hasse e indique de qué orden se trata.

32. Si A = { a, b, c, d, e, u, w, x, y, z }, considere una relación de orden definida en A cuyo diagrama

de Hasse se da a continuación .
z

x w y

c b d

Encuentre:

Ínf { b,c} Ínf{ e,x} Sup{ d,x} Sup{ a,v}

Ínf{ b,w} Sup{ c,b} Sup{ c,e} Sup e Ínf { v,e}

33. Sea el conjunto A = { a, b, c, d, e, f, g } con el orden dado por el diagrama de Hasse.

g

f e

c d

a b

a) Hallar maximales y minimales.

Para: B = { c, d, e} ; C = {a, b} ; D = {f, b} , E = { c, d }, dar cotas superiores e inferiores.

6
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

34. Repetir las cuestiones anteriores pero con el orden recíproco.

35. Indicar en cada uno de los casos anteriores si hay máximo y/o mínimo.

36. Hallar el conjunto de maximales, minimales, cotas superiores, cotas inferiores, indicar si hay
máximo y / o mínimo para B en el siguiente caso:
En A ={1,2,3,9,4,8,16,25,32,64,27,81} ordenado por: a R b  "b es múltiplo de a”, considerar B
={2,3,4,16}.

37. Sea A un conjunto y sea C = Pi / Pi es una partición de A . En C se define la relación

R : Pi R Pj si y sólo sí cada elemento de Pi está incluido en algún elemento de Pj . Se pide pro-

bar que la relación definida es una relación de orden. Indicar si el conjunto de las particiones
queda totalmente ordenado por R. Trazar el diagrama de Hasse para el conjunto
A  1 , 2 , 3, 4, 5  y las siguientes particiones:

P    1,2 , 3,4,5  , P   1, 2 , 3,4,5 , P   1,2 , 3,4 , 5  ,

1 2 3
P    1 , 2 , 3 , 4 , 5  
4

38. Sea A = { 1, 2, 3, 4, 5, 6} . Haga el diagrama de Hasse de una relación definida en A sabiendo

que 2 es el primer elemento, las cotas superiores de { 3, 5, 6 } son {5,4}, hay un único maximal, y
las cotas inferiores de {3,6} son {1,2} .

39. En P(A) se define la relación R: XRY sii X  Y = 

a) Probar que es de orden.

b) Siendo A = { 1, 2, 3, 4}, halle el supremo y el ínfimo del subconjunto B = { {1,3}, {1,3, 4}, {3,4} }.

40. Sean ( A, R1 ) y (B, R2 ) dos conjuntos parcialmente ordenados. En AxB defina la relación R co-
mo (a, b) R (c, d) sii aR1c y bR2d . Demuestre que R es un orden parcial.

41. Determine en cada caso si las relaciones siguientes corresponde o no a una función con dominio
y codominio en: A = {1, 2, 3, 4}. Justifique.
a) R1 = {(1,1) , (2,1) , (3,1) , (4,1) , (3,3)}
b) R2 = {(1,2) , (2,3) , (4,2)}
c) R3 = {(1,1) , (2,1) , (3,1) , (4,1)}

7
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

d) R4 = {(1,4) , (2,3) , (3,2), (4,1)}

42. Idem ejercicio 41.

a) R1 = {(x,y) / y=x2-7}  2

b) R2 = {(x,y) / y2=x}  2

c) R3 = {(x,y) / 3y= 2x +5}  2

d) R4 = {(x,y) / y2 + x2 = 4}  2

Bibliografía de consulta
Grimaldi Ralph P., Matemáticas Discreta y combinatoria una introducción con aplicaciones, Pe-
arson Prentice Hall
Lipschutz Seymour, Teoría de Conjuntos y Temas Afines, Mc Graw-Hill
Lipschutz Seymour y Marc Lipson, 2000 problemas resueltos de Matemática Discreta, Mc
Graw-Hill
Rabuffetti Hebe T., Temas de álgebra Funciones, El Ateneo
Rojo Armando, Álgebra I, El Ateneo.
T. Veerarajan, Matemáticas Discretas con teoría de gráficas y combinatoria, Mc Graw-Hill

8
 Instituto Superior del Profesorado
“Dr. Joaquín V. González”
Álgebra I 1ro. “D”

Ejercicios de repaso. En cada caso marcar la única opción correcta.

1. Si A = { a, b} , B = { 2, 3 } , C = { 3, 4 }. Entonces se puede asegurar que:

(A U B ) x C = (A xB )  (A x C ) =
A x B = A x (B  C) B x A C x A
(AUC) x B {(a,3), (b, 3) }

2. Si A es un conjunto con tres elementos entonces en A se pueden definir:

128 relaciones 256 relaciones 512 relaciones 1024 relaciones

3. Si R es una relación definida en el conjunto de los números naturales, dada por la ecuación
x2 + 2y =100. Entonces el dominio de R es:
infinito { 2, 4, 6, 8 } { 2, 4, 6, 8, 10 } vacío

4. Sean R y S dos relaciones definidas en un mismo conjunto, tal que R  S y R es antisimétri-

ca, entonces
No se puede clasi-
S es reflexiva S es antisimétrica S es transitiva
ficar a S

5. La cantidad de ordenes parciales que se pueden definir en A = {1, 2, 3 }, que tienen a 3 como
elemento minimal son:
3 6 8 27

6. En un conjunto totalmente ordenado:

Cada elemento Hay elementos in- El diagrama de No hay primer
tiene ínfimo y supremo comparables Hasse no es lineal elemento

7. Es posible definir en A = {1, 2, 3, 4, 5} una relación de equivalencia formada por:

10 pares ordenados 13 pares ordenados 15 pares ordenados 19 pares ordenados

8. Dada la relación de equivalencia x 2 - 8 = y 2 - 8 , definida en el conjunto de los números reales,

entonces No es posible hallar clase de equivalencia de:

1 elemento 2 elementos 3 elementos 4 elementos