EJERCICIOS DE LA UNIDAD 5: RELACIONES

EJERCICIOS PROPUESTOS

I) RELACIONES

Ej.1) Sean A = { 1, 2, 3 } y B = { 2, 4, 6, 8 }
a) Indique la cantidad de pares del producto cartesiano, y la cantidad de relaciones
diferentes que se pueden definir de A en B.
b) Exprese cada una de las siguientes relaciones de A en B por extensión, indique
dominio, imagen, relación inversa y relación complementaria:
R1 = {(x;y)  A X B / 2 x  y } R2 = {(x;y)  A X B / x + y es par }
R3 = {(x;y)  A X B / y = x2 } R4 = {(x;y)  A X B / y  7 }

Ej.2) Dados los siguientes conjuntos:

A = { 1, 2, 3 } B = { x, y, z } C = { m, n } D = {a, b, c, d }
a) Indique si las siguientes relaciones son funciones. En caso afirmativo, clasifíquelas en
inyectivas, sobreyectivas o biyectivas:
R1 : A → B / R1 = { (1;x) , (2;x) , (3;y) }
R2 : A → B / R2 = { (1;z) , (2;x) , (3;y) }
R3 : A → B / R3 = { (1;x) , (1;y) , (2;x) , (3;z) }
R4 : A → C / R4 = { (1,m) , (2;n) }
R5 : A → C / R5 = { (1;n) , (2;n) , (3;n) }
R6 : A → C / R6 = { (1;m) , (2;m) , (3;n) }
R7 : A → D / R7 = { (1;a) , (2;b) , (3;c) }
R8 : A → D / R8 = { (1;a) , (2;b) , (3;c), (3;d) }

b) Complete: Para que exista una función biyectiva entre dos conjuntos finitos, sus cardinales
deben ser .......................

Ing. María Alicia Piñeiro Pág. 44

 Ej.3) Siendo R: A → B y S: A → B , indique valor de verdad, demuestre o justifique
según corresponda:
a) │R│=│R-1│
b) │R│=│R│
c) │R│ │R  S│
d) │R│> 0
e) Dom(R-1) = Im(R)
f) Dom(R) = A - dom(R)
g) ( R  S )-1 = R-1  S-1
h) R  S  S  R

Ej.4) Un grupo de enfermeras:{ Alicia, Beatriz, Candela, Dora } visitaron una aldea en
la que había dos enfermos que pueden padecer un virus muy raro. En la siguiente tabla se
muestra quien tuvo contacto directo con cada uno de los enfermos.
Alicia Beatriz Candela Dora
Enfermo 1 si si si no
Enfermo 2 no si no si

Luego las cuatro enfermeras se cruzaron en el camino con tres niños Juan, Luca y Facundo
y los saludaron con abrazos. Se muestran los abrazos que hubo:
Alicia Beatriz Candela Dora
Juan si no si no
Luca si si no no
Facundo no no no si

a) Represente mediante diagramas de Venn los tres conjuntos e indique con aristas los
contactos que hubo tanto entre los enfermos y enfermeras (R 1), como entre
enfermeras y niños (R2).
b) Halle la relación compuesta R2 o R1 para saber que niño puede contagiarse el virus de
cada enfermo.
c) Si se supiera con certeza que uno solo de los enfermos tiene el virus extraño, ¿cuál
niño podemos asegurar que también lo tiene?

Ing. María Alicia Piñeiro Pág. 45

II) MATRICES BOOLEANAS

1 0 0 1 1 1 0 0
   
Ej.5) Dadas las siguientes matrices booleanas: A =  0 0 1 1  y B =  0 0 0 1 
1 0 0 0 1 0 1 0
   
Halle: C = A  B , D = A  B , F = At , G =B

1 0
1 0 0 1  
  0 1
Ej.6) Dadas las siguientes matrices booleanas: M =  0 0 1 1  y P = 
1 1 0 0 0 0
   
1 0 

Halle el producto matricial M • P. ¿Es posible P • M? Justifique.

Ej.7) Sean A, B, C  {0,1}nxn Indique Verdadero o Falso, justificando:

a) A  ( B  C ) = ( A  B )  C
b) ( A  B )t = At  Bt
c) A • ( B • C ) = ( A • B ) • C

d) A  B = A  B
e) A  ( B  C ) = ( A  B )  ( A  C)
f) A  ( B • C ) = ( A  B ) • ( A  C )

III) RELACIONES BINARIAS. PROPIEDADES

Ej.8) Sean las siguientes relaciones R, S y T en los conjuntos indicados:

En A = { x, y, z, t } R = {(x;x),(x;y),(x;z),(y;y),(z;t),(z;z),(t;t)}
En B = { 2, 3, 4, 5, 6 } se define la relación S tal que: aSb  a+b = 8
En C = { 2, 3, 4, 5 } se define la relación T tal que: aTb  a  b+2
En D = { 1, 2, 3, 4 } se define la relación Y tal que: aYb  a2 = b2

a) Haga el dígrafo de cada relación.

b) Halle la matriz de cada relación.
c) Analice si cada una de las relaciones cumple las propiedades: reflexiva, a-reflexiva,
simétrica, a-simétrica, antisimétrica y transitiva.

Ing. María Alicia Piñeiro Pág. 46

 Ej.9) Sea el conjunto A= { 1, 2, 3, 4 } Haga el digrafo de una relación R , tal que:
a) sea antisimétrica, no a-simétrica y no transitiva.
b) sea simétrica, no reflexiva y transitiva.
c) tenga solo tres pares ordenados, sea simétrica y antisimétrica.

Ej.10) Considere las relaciones R y S definidas en A = { 1, 2, 3, 4, 5 } tales que:

xRyx2y x S y  (-1)x = (-1)y
a) Halle las matrices de las relaciones M(R) y M(S)

b) Halle operando matricialmente M(RS), M(RS), M(R-1), M( s ), M(SoR)

c) Analice a través de la matriz si R  S es asimétrica y si es transitiva.

Ej.11) Analice las propiedades de las siguientes relaciones:

a) En ℝ (conjunto de los reales): x R y  │x – y│ 4

b) En ℝ (conjunto de los reales): a R b  a(a-5) = b(b-5)

c) En ℤ (conjunto de los enteros): a R b  a + b es impar

d) En ℕ (conjunto de los naturales): x R y  m.c.d.(x,y) = 2

e) En ℤ X ℤ: (a;b) R (c;d)  a+d = b+c

f) En ℕ X ℕ: (x;y) R (z;t)  x=z  y  t

Ej.12) Analice si las siguientes relaciones definidas en el conjunto de funciones continuas

con dominio en ℝ son simétricas y si son antisimétricas:

a) f R g  f(0) = g(0) b) f S g  f(x)  g(x)  x  ℝ

Ej.13) En P(A) se define la relación: X R Y  │X  Y│= 1

a) Si A = {1,2} haga el dígrafo de la relación R y analice sus propiedades.
b) Si A = {a,b,c} indique la cantidad de pares de la relación. Justifique.

Ej.14) En P(A) con A = { a, b, c }, se define la relación R: X R Y  X = Y

Analice si R es reflexiva, simétrica, antisimétrica y transitiva. (Demuestre las que cumpla, y
justifique bien las que no cumple)

Ing. María Alicia Piñeiro Pág. 47

 Ej.15) Escriba la matriz de una relación definida en A={1,2,3,4,5} que tenga 8 o más
pares ordenados, sea antisimétrica, transitiva y no sea reflexiva.

Ej.16) Sea A = { 1, 2 , 3 , 4 , 5 } en el que se define la relación R : A → A tal que

xRyxy=4 siendo la operación  la que se da en la siguiente tabla:
 1 2 3 4 5
1 4 2 4 1 3
2 1 4 1 2 4
3 4 1 4 3 2
4 1 2 3 4 5
5 3 4 2 5 4

a) Halle la relación R por extensión y el dígrafo de R.

b) Escriba la matriz de R y analice si es una relación transitiva.

Ej.17) Indique el valor de verdad, justificando:

a) Si R: A → A es una relación antisimétrica entonces R-1 también es antisimétrica.
b) Si R: A → A es una relación transitiva entonces R-1 también es transitiva.
c) Si R: A → A es una relación a-reflexiva entonces R es reflexiva.
d) Si R: A → A es una relación a-simétrica entonces R es simétrica.
e) Si R: A → A y T: A → A son transitivas entonces R  T es transitiva.
f) Si R: A → A y T: A → A son simétricas  R  T es simétrica.

Ej.18) Sea A= { 1,2,3,4,5 } y R = { (1;2), (2;3), (3;1), (3;4), (4;2), (4;4) }

a) Haga el dígrafo de la relación R y halle la matriz de la relación.
b) Halle R2, R3, R4 y R por extensión sabiendo que representan los caminos de longitud
n en el dígrafo. Verifique calculando sus matrices.

Ej.19) En el conjunto A = { a, b, c, d } se define la relación R a través de su matriz:

0 1 0 0
 
1 1 0 0
M(R) = 
1 0 0 1
 
0 0 1 0 

a) Calcule M(R2), M(R3), M(R4) y luego M(R∞) = M(R)  M(R2)  M(R3)  M(R4)
b) Haga el dígrafo de R e interprete lo que significa la relación de conectividad R∞

Ing. María Alicia Piñeiro Pág. 48

IV) RELACIONES DE EQUIVALENCIA

Ej.20) Demuestre que cada una de las siguientes relaciones definidas en el conjunto A=
{ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 } es de equivalencia. Halle las clases de equivalencia y el
conjunto cociente.
a) a R b  a + b es par
b) a R b  3 │ (a-b)
c) a R b  los nombres de “a” y “b” tienen la misma
cantidad de letras (por ejemplo 3 R 6 ya que “tres” y
“seis” tienen 4 letras cada uno)

Ej.21) Sea el conjunto A = { 1, 2, 3, 4, 5, 6 }

Haga el digrafo y escriba la matriz de una relación R sabiendo que es de equivalencia,
hay 3 clases de equivalencia, 5  cl(6), y en total hay 14 pares ordenados en R.

Ej.22) En A= { 1, 2, 3, 4, 5 } se define la relación R tal que: x R y  x+y = 6

a) Halle la matriz de la relación R2 (R compuesta con R) y luego la matriz de S = R U R2.
b) Analice si S es de equivalencia, en caso afirmativo halle las clases y el conjunto cociente.
Si no lo es, justifique que propiedad no cumple.

Ej.23) Dada la siguiente matriz de una relación 1 0 0 1 1 0 0 0

 
definida en el conjunto A = { 1,2,3,4,5,6,7,8} 0 1 0 0 0 0 1 0
0 0 1 0 0 0 0 1
 
1 0 0 1 1 0 0 0
a) Indique el valor de k (0 o 1) para que R sea M(R) = 
1 0 0 1 1 k 0 0 
de equivalencia. Justifique.
0 0 0 0 k 1 0 0
b) Escriba la partición que produce en el  
0 1 0 0 0 0 1 0
conjunto. 0 0 1 0 0 0 0 1 


Ej.24) Sea A= {1, 2, 3, 4}, en P(A) se define la siguiente relación:

XRY  XB=YB con B = {2, 4}
a) Pruebe que R es de equivalencia.
b) Halle las clases de equivalencia.
c) Halle el conjunto cociente.

Ing. María Alicia Piñeiro Pág. 49

 Ej.25) En el conjunto de los reales se define: x S y  x - 1 = y - 1
Demuestre que S es de equivalencia, grafique la relación, halle clases y conjunto cociente.

Ej.26) En ℤ se define la relación R: x R y  5  (x – y)

a) Demuestre que R es de equivalencia

b) Halle las clases de equivalencia y el conjunto cociente.

Ej.27) En ℝ (conjunto de los números reales), se define: xRy  x–y ℤ

a) Demuestre que R es una relación de equivalencia.
b) Halle las clases de equivalencia y conjunto cociente.

Ej.28) En ℝ (conjunto de los números reales), se define la relación R:

x R y  f(x) = f(y) siendo f: ℝ→ℝ (función asociada a la relación R)

a) Demuestre que R es una relación de equivalencia, cualquiera sea la función f.

b) Considere f(x) =  x2 – 2 , grafique la función f y la relación R. Luego halle las clases

de equivalencia y conjunto cociente.

c) Demuestre que el conjunto de índices es un subconjunto en el cual la f sea biyectiva.

Ej.29) En ℝ + se define la relación R: x R y   log(x) =  log(y)

a) Demuestre que R es de equivalencia

b) Indique cual de los siguientes puede considerarse conjunto cociente (Justifique):
A = { cl(x) / x  [1, 2) } ; B = { cl(x) / x  (0 , 1] } ; C = { cl(x) / x  ( 1 ;+ ) } ;
D = { cl(x) / x  [10, + } }

Ej.30) Sean los conjuntos A y B donde están definidas dos relaciones de equivalencia
R1 y R2 respectivamente. Demuestre que en el conjunto AXB, la relación R definida:
(x;y) R (z;t)  x R1 z  y R2 t es una relación de equivalencia también.

Ej.31) Dada la siguiente relación de equivalencia definida en ℝ2 tal que:

(a;b) R (c;d)  ( a - b )2 = ( c - d )2
a) Halle la Cl((2;1)), Cl((3;3)) e interprete geométricamente.
b) Escriba el conjunto cociente.

Ing. María Alicia Piñeiro Pág. 50

 Ej.32) En ℤ X ℤ se define la relación de equivalencia: (x;y) R (z; t)  3(x-z)  y2 = t2
a) Halle las clases de equivalencia de (7;4) , (0;0) y del (3;8)
b) Defina correctamente el conjunto cociente.

Ej.33) En ℤ –{0} X ℤ –{0} se define: ( a; b ) R ( c; d )  a.d = b.c

Demuestre que es una relación de equivalencia, halle cl(1; 2), cl(-3; 1), generalice las clases
y dé la partición que determina.

Ej.34) Indique verdadero o falso, demostrando o justificando:

a) Si S es una relación de equivalencia definida en un conjunto A, entonces S -1 también es

de equivalencia.
b) Las clases de equivalencia determinadas por una relación R en un conjunto A son
disjuntas dos a dos.
c) Si R: A → A y S: A → A son de equivalencia entonces R  S es de equivalencia
d) Si R: A → A y S: A → A son de equivalencia entonces R  S es de equivalencia

Ej.35) Si se considera la relación de equivalencia definida en el conjunto P de parábolas

del plano con eje vertical:
p1 S p2  tienen el mismo vértice

a) Señale dos elementos de la clase de equivalencia de la parábola: p : y = 2.(x + 3)2 − 1

b) Halle las clases de equivalencia y el conjunto cociente correspondiente a la relación S

Ej.36) Sea el conjunto A = { 1, 2, 3, 4, 5, 6, 7 } Indique cuales de los siguientes

conjuntos son particiones de A, justificando. Para los que sean, haga el dígrafo de la relación
de equivalencia asociada:
a) P = { { 3, 4, 5 } , { 1, 7} , { 2 } }
b) P = { { 2, 4, 5 } , {1} , { 3,7 }, {6} }
c) P = { { 4, 6 } , { 1, 2, 3, 7} , { 2, 5 } }
d) P = { { x  A / x > 3 } , { x  A / x  3 } }
e) P = { { x  A / x  4 } , { x  A / x >4  x < 5},{ x  A / x  5 } }

Ing. María Alicia Piñeiro Pág. 51

RESPUESTAS UNIDAD 5 (RELACIONES)

PARTE I) RELACIONES

Ej.1) a) En el producto cartesiano hay 12 pares ordenados:

A X B = {(1;2),(1;4),(1;6),(1;8),(2;2),(2;4),(2;6),(2;8),(3;2),(3;4),(3;6),(3;8)}
La cantidad de relaciones diferentes que se pueden definir de A en B es la cantidad
de formas de elegir cualquier cantidad de pares ordenados de A X B, y da 2 12.
b) R1 = {(1;2),(1;4),(1;6),(1;8),(2;4),(2;6),(2;8),(3;6),(3;8)}
Dom(R1)={1, 2, 3} Im(R1)={2, 4, 6, 8}
R1-1 = {(2;1),(4;1),(6;1),(8;1),(4;2),(6;2),(8;2),(6;3),(8;3)}
R1 = {(2;2),(3;2),(3;4)}
R2 = {(2;2),(2;4),(2;6),(2;8)}
Dom(R2)={2} Im(R1)={2, 4, 6, 8} R2-1 = {(2;2),(4;2),(6;2),(8;2)}
R2 = {(1;2),(1;4),(1;6),(1;8),(3;2),(3;4),(3;6),(3;8)}
R3 = {(2;4)}
Dom(R3)={2} Im(R3)={4} R3-1 = {(4;2)}
R3 = {(1;2),(1;4),(1;6),(1;8),(2;2),(2;6),(2;8),(3;2),(3;4),(3;6),(3;8)}
R4 = {(1;8),(2;8),(3;8)}
Dom(R4)={1, 2, 3} Im(R4)={8} R4-1 = {(8;1),(8;2),(8;3)}
R4 = {(1;2),(1;4),(1;6),(2;2),(2;4),(2;6),(3;2),(3;4),(3;6)}

Ej.2) a) R1 es función no inyectiva y no sobreyectiva

R2 es función biyectiva
R3 no es función (no cumple unicidad)
R4 no es función (no cumple existencia)
R5 es función no inyectiva y no sobreyectiva
R6 es función no inyectiva pero si sobreyectiva
R7 es función inyectiva y no sobreyectiva
R8 no es función (no cumple unicidad)

b) Complete: Para que exista una función biyectiva entre dos conjuntos finitos, sus cardinales
deben ser IGUALES.

Ing. María Alicia Piñeiro Pág. 52

Ej.3)
a) VERDADERO, demostrar en forma genérica
b) FALSO, dar contraejemplo
c) VERDADERO, demostrar en forma genérica
d) FALSO, por ejemplo la relación vacía
e) VERDADERO, demostrar en forma genérica
f) FALSO, dar contraejemplo
g) VERDADERO, demostrar en forma genérica
h) VERDADERO, demostrar en forma genérica

Ej.4) a) R1 = { (E1;A), (E1;B), (E1;C), (E2;B), (E2;D)}

R2 = { (A;Juan), (A;Luca), (B;Luca), (C;Juan), (D;Facundo)}
Representación:

b) R2 o R1 = { (E1;Juan), (E1;Luca), (E2;Luca), (E2;Facundo)}

c) Si se supiera con certeza que uno solo de los enfermos tiene el virus extraño, podemos
asegurar que también lo tiene Luca, ya que es el único niño que tuvo contacto
transitivamente con los dos enfermos.

PARTE II) MATRICES BOOLEANAS

1 0 1
1 1 0 1 1 0 0 0   0 0 1 1
    0 0 0  
Ej.5) C =  0 0 1 1  D = 0 0 0 1 F=  G = 1 1 1 0
1 0 1 0 1 0 0 0 0 1 0 0 1 0 1
       
1 1 0 


Ing. María Alicia Piñeiro Pág. 53

 1 0
1 0 0 1   1 0 
  0 1  
Ej.6) M • P =  0 0 1 1  •  = 1 0 
1 1 0 0 0 0 1 1 
     
1 0 
No es posible calcular P • M porque la cantidad de columnas de P no coincide con la cantidad
de filas de M, lo cual es necesario para poder multiplicar.

Ej.7) Sean A, B, C  {0,1}nxn Indique Verdadero o Falso, justificando:

a) VERDADERO.
b) VERDADERO.
c) VERDADERO.
d) FALSO.
e) VERDADERO.
f) FALSO.

PARTE III) RELACIONES BINARIAS. PROPIEDADES

Ej.8) Relación R:

1 1 1 0
 
0 1 0 0
M(R) = 
0 0 1 1
 
0 0 0 1 


La relación R sólo cumple las propiedades: reflexiva, antisimétrica.

Relación S:

0 0 0 0 1
 
0 0 0 1 0
M(S) =  0 0 1 0 0
 
0 1 0 0 0
1 0 0 0 0 

La relación S sólo cumple la propiedad: simétrica.

Ing. María Alicia Piñeiro Pág. 54

Relación T:

0 0 0 0
 
0 0 0 0
M(T) = 
1 0 0 0
 
1 1 0 0 


La relación T sólo cumple las propiedades: a-reflexiva, a-simétrica, antisimétrica y

transitiva.

Relación Y:

1 0 0 0
 
0 1 0 0
M(Y) = 
0 0 1 0
 
0 0 0 1 


La relación Y cumple las propiedades: reflexiva, simétrica, antisimétrica y transitiva.

Ej.9) Hay varias formas de responder este ejercicio. Te proponemos que si tienes dudas
consultes a tus docentes.

0 0 0 0 0 1 0 1 0 1
   
1 0 0 0 0 0 1 0 1 0
Ej.10) a) M(R) =  1 0 0 0 0 M(S) =  1 0 1 0 1
   
1 1 0 0 0 0 1 0 1 0
1 1 0 0 0  1 0 1 0 1 
 
0 0 0 0 0 1 0 1 0 1
   
0 0 0 0 0 1 1 0 1 0
c) M(RS) =M(R)  M(S) =  1 0 0 0 0 M(RS) = M(R)  M(S) = 1 0 1 0 1
   
0 1 0 0 0 1 1 0 1 0
1 0 0 0 0  1 1 1 0 1 
 
0 1 1 1 1 0 1 0 1 0
   
0 0 0 1 1 1 0 1 0 1
M(R ) = [M(R)] =  0
-1 t
0 0 0 0 M( s ) = M(S) =  0 1 0 1 0
   
0 0 0 0 0 1 0 1 0 1
0 0 0 0 0  0 1 0 1 0 
 

Ing. María Alicia Piñeiro Pág. 55

 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0
     
1 0 0 0 0  0 1 0 1 0 1 0 1 0 1
M(SoR) = M(R) • M(S) =  1 0 0 0 0 • 1 0 1 0 1 = 1 0 1 0 1
     
1 1 0 0 0  0 1 0 1 0 1 1 1 1 1
1 1 0 0 0   1 0  1 1 1 1 1 
 1 0 1 

c) La relación R  S es asimétrica ya que M(R  S)  [M(R  S)]t = N (matriz nula)

y también R  S es transitiva ya que [M(R  S)]2  M(R  S)

Ej.11) Si bien hay que demostrar las verdaderas y justificar las falsas, te damos la lista de
propiedades que cumple cada relación. Si tienes duda consulta a tus docentes.
a) R es reflexiva y simétrica.
b) R es reflexiva, simétrica y transitiva.
c) R es a-reflexiva, simétrica y a-transitiva.
d) R es simétrica.
e) R es reflexiva, simétrica y transitiva.
f) R es reflexiva, antisimétrica y transitiva.

Ej.12) a) R es simétrica:
Dem)  f, g : f R g  f(0) = g(0)  g(0) = f(0)  g R f  R es simétrica
R no es antisimétrica:
f(x) = x2 + 1 y g(x) = ex Como ambas en cero valen 1, f R g  g R f pero f ≠ g
b) S no es simétrica:
f(x) = x2 + 4 y g(x) = sen(x) Como f(x)  g(x)  x  |R , entonces f S g pero g no
se relaciona con f
S es antisimétrica:
 f, g: f S g  g S f  f(x)  g(x)  x  |R  g(x)  f(x)  x  |R
 f(x) = g(x)  x  |R f=g

Ej.13) a) El dígrafo de R es:

Ing. María Alicia Piñeiro Pág. 56

R no es reflexiva, tampoco a-reflexiva, es simétrica, no es a-simétrica ni antisimétrica, no
es transitiva ni a-transitiva.

b) Si A = {a,b,c} , la cantidad de pares de la relación es 27

Explicación: hay 3 bucles (los de {a}, {b} y {c}), cada uno de ellos se relaciona también
con dos conjuntos de cardinal dos y con el de cardinal 3 (que también lo hacen
recíprocamente, por lo que hay que sumar 6 pares por cada uno, o sea 18). También los
conjuntos de cardinal 2 se relacionan entre ellos, son 6 pares más a considerar. Por eso en
total hay 27 pares ordenados.

Ej.14) En P(A) con A = { a, b, c }, se define la relación R: X R Y  X = Y

R no es reflexiva, ya que por ejemplo {a} no se relaciona con sí mismo, de hecho ninguno
se relaciona con sí mismo, por lo que R es a-reflexiva.
R es simétrica, ya que si X R Y  X =Y  Y =X  Y R X
R no es antisimétrica ya que por ejemplo: {a} R {b,c}  {b,c} R {a} pero {a} ≠ {b,c}
R no es transitiva ya que por ejemplo: {a} R {b,c}  {b,c} R {a} pero {a} no se relaciona
con sí mismo.

Ej.15) Puede haber más de una respuesta correcta en este ejercicio. Te mostramos una de
ellas, si has encontrado otra y no estás seguro, consulta a tus docentes:

0 1 1 0 1
 
0 1 1 0 0
M(R) =  0 0 1 0 0
 
0 0 0 1 1
0 0 0 0 1 


Ej.16) a) R = { (1;1), (1;3), (2;2), (2;5), (3;1), (3;3), (4;4), (5;2), (5;5) }
Dígrafo de R:

Ing. María Alicia Piñeiro Pág. 57

b) Matriz de R

1 0 1 0 0
 
0 1 0 0 1
M(R) =  1 0 1 0 0
 
0 0 0 1 0
0 1 0 0 1 

R es transitiva pues M(R) • M(R)  M(R)

Ej.17) Los valores de verdad son los siguientes, pero recuerda que debes justificar:
a) VERDADERO.
b) VERDADERO.
c) VERDADERO.
d) FALSO.
e) FALSO.
f) VERDADERO.

Ej.18)
a) El dígrafo de R es:
0 1 0 0
 
0 0 1 0
Y la matriz es: M(R) = 
1 0 0 1
 
0 1 0 1 


b) Observando en el dígrafo los caminos de longitud 2:

R2 = { (1;3), (2;1), (2;4), (3;2), (3;4), (4;2), (4;3), (4;4) }

0 0 1 0
 
1 0 0 1
Y si lo verificamos con la matriz: M(R2) = M(R) • M(R) = 
0 1 0 1
 
0 1 1 1 

Observando en el dígrafo los caminos de longitud 3:
R3 = { (1;1), (1;4), (2;2), (2;4), (3;2), (3;3), (3;4), (4;1), (4;2), (4;3), (4;4) }

1 0 0 1
 
0 1 0 1
Y si lo verificamos con la matriz: M(R3) = M(R2) • M(R) = 
0 1 1 1
 
1 1 1 1


Ing. María Alicia Piñeiro Pág. 58

 Observando en el dígrafo los caminos de longitud 4:
R4 = { (1;2),(1;4),(2;2),(2;3),(2;4),(3;1),(3;2),(3;3),(3;4),(4;1),(4;2),(4;3),(4;4) }

0 1 0 1
 
0 1 1 1
Y si lo verificamos con la matriz: M(R ) = M(R ) • M(R) = 
4 3
1 1 1 1
 
1 1 1 1

Para saber todos los caminos de cualquier longitud entre todo par de vértices:
R = R  R2  R3  R4  R = A X A (en este caso se puede de todos a todos)

1 1 1 1
 
1 1 1 1
Y su matriz: M(R ) = M(R)  M(R )  M(R )  M(R ) = 
 2 3 4
1 1 1 1
 
1 1 1 1


1 1 0 0 1 1 0 0 1 1 0 0
     
1 1 0 0 1 1 0 0 1 1 0 0
Ej.19) a) M(R2) =   , M(R3) =   , M(R4) = 
0 1 1 0 1 1 0 1 1 1 1 0
     
1 0 0 1  0 1 1 0  1 1 0 1 
  
1 1 0 0
 
1 1 0 0
M(R ) = M(R)  M(R2)  M(R3)  M(R4) = 
∞

1 1 1 1
 
1 1 1 1 


b) El dígrafo de R es:

Y la relación de conectividad R∞ nos indica la existencia de caminos de cualquier longitud

entre cada par de elementos en el dígrafo. En este caso desde c y d se puede acceder a
cualquier otro, pero de a y b solamente se puede ir a ellos dos.

Ing. María Alicia Piñeiro Pág. 59

 PARTE IV) RELACIONES DE EQUIVALENCIA

Ej.20) Dejamos a tu cargo las demostraciones, y te damos los conjuntos cocientes:

a) A/R = { {1,3,5,7,9}, {2,4,6,8,10} }
b) A/R = { {1,4,7,10} , {2,5,8} , {3,6,9} }
c) A/R = { {1,2} , {3,6,8,10}, {4}, {5,7,9} }

Ej.21) Si bien hay varias posibilidades, te mostramos una de ellas:

1 1 1 0 0 0
 
1 1 1 0 0 0
1 1 1 0 0 0
Y la matriz es:  
0 0 0 1 0 0
0 0 0 0 1 1 

0 0 0 0 1 1 


Ej.22)

0 0 0 0 1 1 0 0 0 0
   
0 0 0 1 0 0 1 0 0 0
a) M(R) =  0 0 1 0 0  M(R )=  0
2
0 1 0 0
   
0 1 0 0 0 0 0 0 1 0
1 0 0 0 0  0 0 0 0 1 
 

1 0 0 0 1
 
0 1 0 1 0
M(S) = M(R U R ) = M(R)  M(R ) =  0
2 2
0 1 0 0
 
0 1 0 1 0
1 0 0 0 1 

b) S es una relación de equivalencia (se puede demostrar con la matriz que es reflexiva pues
M(R)  I , simétrica pues M(R) = M(R)t y transitiva pues M(R) • M(R)  M(R))
Si calculamos las clases de equivalencia:
Cl(1) = { 1, 5 } Cl(2) = { 2, 4 } Cl(3) = { 3 }
Por lo tanto, el conjunto cociente es: A/S = { {1,5} , {2,4}, {3} }

Ing. María Alicia Piñeiro Pág. 60

 1 0 0 1 1 0 0 0
 
Ej.23) 0 1 0 0 0 0 1 0
0 0 1 0 0 0 0 1
a) El valor de k para que R sea de equivalencia  
es 0 (cero) ya que si fuera 1, 4R5  5R6 pero 1 0 0 1 1 0 0 0
M(R) = 
1 0 0 1 1 0 0 0 
4 no está relacionado con 6, o sea no sería
0 0 0 0 0 1 0 0
transitiva.  
0 1 0 0 0 0 1 0
b) La partición que produce en el conjunto es: 0
 0 1 0 0 0 0 1 
{ { 1,4,5}, {2,7}, {3,8}, {6} }

Ej.24) a) Para probar que es de equivalencia hay que demostrar las tres propiedades:
1. Reflexiva:  X  P(A): X  B = X  B  X R X
2. Simétrica:  X, Y  P(A): X R Y  X  B = Y  B YB=XBYRX
3. Transitiva:  X, Y, Z  P(A): X R Y  Y R Z  X  B = Y  B  YB=ZB
 XB=ZBXRZ
b) Las clases de equivalencia son:
Cl()={  , {1}, {3}, {1,3} }
Cl({2})={ {2} , {1,2}, {3,2}, {1,2,3} }
Cl({4})={ {4} , {1,4}, {3,4}, {1,3,4} }
Cl({2,4})={ {2,4} , {1,2,4}, {2,3,4}, {1,2,3,4} }
c) Por lo tanto el conjunto cociente es: P(A)/R = { Cl(), Cl({2}), Cl({4}), Cl({2,4}) }

Ej.25) Para probar que es de equivalencia hay que demostrar las tres propiedades:

1. Reflexiva:  x  ℝ:  x - 1 =  x - 1 x S x

2. Simétrica:  x, y  ℝ: x S y   x - 1 =  y - 1   y - 1 =  x - 1  y S x

3. Transitiva:  x, y, z  ℝ: x S Y  y S z   x - 1 =  y - 1   y - 1 =  z - 1
  x - 1 =  z - 1 x S z

Para graficar la relación, trabajamos con su expresión:

x S y   x - 1 =  y - 1 

 x -1 = y – 1  x – 1 = - y +1

 y=xy=2–x

Son dos rectas que se cortan en (1,1)

Ing. María Alicia Piñeiro Pág. 61

Las clases de equivalencia son: cl(x) = {x, 2-x} excepto cl(1) = {1}

Por ejemplo, cl(3) = { 3, -1}

Si elegimos de cada clase el mayor elemento, tomamos como conjunto de índices: [1;+∞)

Y el conjunto cociente queda: ℝ /S = { cl(x) / x  [1;+∞) }

Ej.26) x R y  5  (x – y)  x – y = 5 • k con k  ℤ
a) Para probar que es de equivalencia hay que demostrar las tres propiedades:

1. Reflexiva:  x  ℤ: x–x=0  0=5• 0  xRx

2. Simétrica:  x, y  ℤ: x R y  x – y = 5 • k con k  ℤ  -(x – y) = -5 • k 

 y – x = 5 • (-k)  -k  ℤ  yRx

3. Transitiva:  x, y, z  ℤ: x R Y  y R z  x – y = 5 • k  y – z = 5 • t con k,t  ℤ

 x–y+y–z=5•k +5•t  x – z = 5 • (k+t) con k+t  ℤxRz

b) Las clases de equivalencia son:

Cl(0) = { x = 5 • k / k  ℤ } = 0
Cl(1) = { x = 5 • k + 1 / k  ℤ } = 1
Cl(2) = { x = 5 • k + 2 / k  ℤ } = 2
Cl(3) = { x = 5 • k + 3 / k  ℤ } = 3
Cl(4) = { x = 5 • k + 4 / k  ℤ } = 4
y el conjunto cociente es: ℤ /R = {0, 1, 2, 3, 4 } = ℤ5 (se le da este nombre)

Ej.27) x R y  x – y  ℤ  mant(x) = mant(y)

[Recordar que la mantisa de un número real es la diferencia entre dicho número y su parte
entera. Por ejemplo mant(3.45)=0.45 , mant(-12.7)=0.3]
a) Se deben probar las tres propiedades: reflexiva, simétrica y transitiva. (Es un caso
particular de la relación del próximo ejercicio 28)
b) Las clases de equivalencia son: cl(x) = { y  R / mant(y)= x }

y el conjunto cociente: ℝ /R = { cl(x) / x  [0 ; 1) }

Ing. María Alicia Piñeiro Pág. 62

Ej.28) En ℝ (conjunto de los números reales), se define la relación R:
x R y  f(x) = f(y) siendo f: ℝ → ℝ (función asociada a la relación R)

a) Para probar que es de equivalencia hay que demostrar las tres propiedades:

1. Reflexiva:  x  ℝ: f(x) = f(x)  x R x

2. Simétrica:  x, y  ℝ: x R y  f(x) = f(y)  f(y) = f(x)  y R x

3. Transitiva:  x, y, z  ℝ: x R Y  y R z  f(x) = f(y)  f(y) = f(z) 

 f(x) = f(z)  xRz

c) Si f(x) =  x2 – 2 , graficamos la función f

Para graficar la relación R, trabajamos con su expresión: x R y   x2 – 2 = y2 – 2 

 x2 - 2 = y2 – 2  x2 - 2 = - y2 + 2
 x2 = y2  x2 + y2 = 4  y=x  y = -x  x2 + y 2 = 4
( Son 2 rectas y una circunferencia)

Eligiendo como representantes de clase a los mayores, las clases de equivalencia son:

Cl(x) = { x, -x }  x  (2, +∞) , Cl(2)= { 2, 0, -2 } , Cl( 2 )={ 2 ,- 2 }

Cl(x) = { x, -x, 4 − x2 , - 4 − x2 }  x  ( 2 ,2)

Conjunto cociente: ℝ /R = { cl(x) / x  [ 2 , + ∞ ) }

c) El conjunto de índices es un subconjunto en el cual la f sea biyectiva, porque debe
contener un único elemento preimagen de cada imagen, y deben estar todos.

Ing. María Alicia Piñeiro Pág. 63

Ej.29) a) La demostración es un caso particular del ejercicio anterior 28.

b) Puede considerarse conjunto cociente el B= { cl(x) / x  (0 , 1] } porque abarca todas

las clases de equivalencia nombrando un solo elemento de cada una de ellas.

Ej.30) Demostraremos que R es una relación de equivalencia

1. Reflexiva:  (x;y)  AXB: x  A  y  B  x R1 x  y R2 y  (x;y) R (x;y)

2. Simétrica:  (x;y), (z;t)  AXB: (x;y) R (z;t)  x R1 z  y R2 t  z R1 x  t R2 y
 (z;t) R (x;y)
3. Transitiva:  (x;y), (z;t), (a;b)  AXB: (x;y) R (z;t)  (z;t) R (a;b) 
 [ x R1 z  y R2 t ]  [ z R1 a  t R2 b ] 
 [ x R1 z  z R1 a ]  [ y R2 t  t R2 b ] 
 x R1 a  y R2 b  (x;y) R (a;b)

Ej.31)
a) Cl((2;1)) = { (x;y)  ℝ2 / ( x – y)2 = 1 } = { (x;y)  ℝ2 / y=x+1  y=x-1 }
Son dos rectas paralelas
Cl((3,3)) = { (x;y)  ℝ2 / ( x – y)2 = 0 } = { (x;y)  ℝ2 / y=x } es una recta
b) El conjunto cociente es: ℝ2 /R = { Cl((x;0)) / x  ℝ+0 }

Ej.32)
a) Cl((7;4)) = { (x;y)  ℤ2 / x = 3 • k + 1  ( y = 4  y = -4 ) }

Cl((0;0)) = { (x;y)  ℤ2 / x = 3 • k  y=0}

Cl((3;8)) = { (x;y)  ℤ2 / x = 3 • k  ( y = 8  y = -8 ) }

b) El conjunto cociente es: ℤ X ℤ /R = { Cl((a;b)) / a  {0,1,2}  b ℤ0+ }

Ej.33)
Se demuestra que es una relación de equivalencia de manera similar a los otros ejercicios.

Cl((1; 2)) = { (x;y)  ℤ –{0} / x = 1/2 • y }

Cl((-3; 1)) = { (x;y)  ℤ –{0} / x = -3 • y }

Las clases genéricas son: Cl((a; b)) = { (x;y)  ℤ –{0} / x = a/b • y }

La partición que determina es: ℤ –{0}X ℤ –{0} / R = { Cl((a;b)) / m.c.d.(a;b)=1 }

Ing. María Alicia Piñeiro Pág. 64

Ej.34)

a) VERDADERO. Se demuestra genéricamente.

b) VERDADERO. Se demuestra genéricamente.
c) VERDADERO. Se demuestra genéricamente.
d) FALSO. Se da un contraejemplo.

Ej.35)

a) El vértice de la parábola: p : y = 2.(x + 3)2 − 1 es V=(-3;-1) por lo tanto todas las

parábolas que se relacionen con ella deben tener el mismo vértice. Por ejemplo:
y = 3 (x+3)2 -1 o y = -4 (x+3)2 -1
b) Las clases de equivalencia son:

Cl(p: y = m(x-a)2+b) = { q: y = k (x-a)2+b / k  ℝ-{0} }

El conjunto cociente correspondiente a la relación S es:

P/S = { cl(p) / p: y = (x-a)2+b  a, b  ℝ}

Ej.36)
a) No es partición (no cumple que la unión de las celdas dé el conjunto)
b) Es partición (cumple las tres condiciones)
c) No es partición (no cumple que las celdas sean disjuntas dos a dos)
d) Es partición (cumple las tres condiciones)
e) No es partición (no cumple que todas las celdas no sean vacías)

Ing. María Alicia Piñeiro Pág. 65