MATEMÁTICA I

Relaciones - Ejercicios:

1. Sean: A = {2,4,6,8}, B = {a, b, c}, C = {1,3,6}. Se pide:

a) Defina dos relaciones distintas de A en B R1 A->B = {(2,a);(2,b)} | R2 A->B = {(6,b);(8,c)}
b) Defina una relación de B en C B -> C = {(a,1);(c,6)}
c) Defina una relación de C en B y otra de C en A R1: C -> B = {(1,a)} | R2: C -> A = {(1,2)}
d) Dé el dominio y el rango de cada una de las relaciones definidas
antes. D= R1a:{2} D= R2a:{6,8} D= R1b:{a,c} D= R1c:{1} D= R2c:{1}
R= R1a:{a,b} R= R2a:{b,c} R= R1b:{1,6} R= R1c:{a} R= R2c:{2}
si: x=-2
2. Sea R la relación de ℤ en ℕ definida por: xRy ↔ y = │x│+ 3 y= |x|+3
Se pide: y= |-2|+3
y=2+3=5
a) Dar por lo menos tres elementos de esa relación
a. R1:{(-2,5); (7,10); (-3,6)}
b) Dar dominio y rango de R. b. D={-2,7,-3}
R={5,10,6}
3. a) Calcular la relación inversa de cada una de las relaciones definidas en
el ejercicio 1. R1-1:{(a,2);(b,2)} R2-1:{(b,6);(c,8)}
b) Dar el dominio y rango de la relación. R1-D:{a,b} R2-D:{b,c}
R1-R:{2} R2-R:{6,8}

4. Sean A = {1, 2, 3, 4} B = {𝛼, 𝛽, 𝛾} C={∗, ↑} y sean las relaciones:

D-R
R1 = {(1,*),(2, ↑),(4,*)} R1-1: {(*,1);(↑,2);(*,4)}

R2 = {(∗, 𝛼), (∗, 𝛽), (∗, 𝛾)} R2-1: {(α,*);(β,*);(γ,*)}

R3 = {(1, 𝛼), (1, 𝛽), (3, 𝛾)}

R4-1:{(*,β);(↑,γ);(↑,α)}
R4 = {(𝛽,∗), (𝛾, ↑), (𝛼, ↑)}

a. Completar los siguientes enunciados

1. R1 es una relación de …en A …
C es decir R1⊆ AxC

2. R2 es una relación de … en….es C B decir R2 ⊆ CxB

3. R3 es una relación de … A en….esB decir R3 ⊆ AxB
4. R4 es una relación de … B en …esC decir R4 ⊆ BxC rango con dominio
b. En caso de ser posible, calcular las composiciones que se piden, en
caso contrario explicar por qué no se puede efectuarse el cálculo
D-R
1. 𝑅1 ∘𝑅1 −1 ={(1,1);(1,4);(2,2);(4,4);(4,1)}
2. 𝑅1 ∘𝑅2 = {(1,α);(1,β);(1,γ);(4,α);(4,β);(4,γ)}
3. 𝑅2 ∘𝑅1 El Rango de R2 no coincide con el Dominio de R1
4. (𝑅2 ∘𝑅4 )∘𝑅2 ={(*,↑);(*,*)} o {(∗, 𝛼), (∗, 𝛽), (∗, 𝛾)} = {(*,α);(*,β);(*,γ)}
5. 𝑅3 ∘𝑅2 −1 = {(1,*);(3,*)}
6. 𝑅1 ∘(𝑅4 −1 ∘ 𝑅2 −1 ) ={(*,*);(↑,*)} ={(1,*);(4,*);(2,*)}

5. Dadas R y S dos relaciones de ℝ en ℝ definidas por:

x R y ↔ y = 5x R={(x,y)/y=5x} S={(y,z)/z=y+2}
y=5x
x S y ↔ y = x + 2. Hallar R∘S y S∘R.
x=1: y=5 y=x+2
x=2: y=10 (1,7); (2;12) x=1: y=3
x=2: y=4 (1,15); (2,20)
TECNICATURA UNIVERSITARIA EN DESARROLLO DE SOFTWARE
RoS { (x, 5x+2) / x, 5x+2 ∈ IR x IR }} SoR { (x, 5x+10) / x, 5x+10 ∈ IR x IR }}
1
 MATEMÁTICA I

Esta al final resuelto

6. Para cada uno de los siguientes casos se pide:

1. Verificar las propiedades que cumple la relación R

2. Verificar si define o no un orden parcial o total sobre el conjunto en

cuestión.

a. E= {1, 2, 3} R =E x E

b. A = {𝑎1 , 𝑎2 , 𝑎3 }, R ={<𝑎1 ,𝑎1 > , < 𝑎2 , 𝑎2 >, < 𝑎3 , 𝑎3 >, < 𝑎1 , 𝑎2 >, <
𝑎2 , 𝑎1 >, < 𝑎3 , 𝑎1 >, < 𝑎3 , 𝑎2 >}

c. B = {1, 2, 3, 4} R ⊆ B x B definido por s R b ↔ s es múltiplo de b

d. B = {x∈ ℤ/ |x|≤ 3}, R ⊆ 𝐵 𝑥 𝐵 definida por: x R y ↔ x < y

e. R ⊆ ℕ x ℕ definido por: x R y ↔ x + y = 10
f. R ⊆ ℤ x ℤ definida por: x R y ↔ x – y es par

7. Sea A = {1,2,3,4} y R = {<1, 1>, <2, 2>, <1, 2>, <3, 4>, <2, 3>, <1, 4>}
agregar los pares necesarios para que sea reflexiva y simétrica.-
Reflexiva: (3,3) y (4,4) Simetrica: (2,1);(4,3);(3,2);(4,1)
8. Sea E = {a, b} y S = {<a, b>, <b, a>, <b, b>} quitar los pares necesarios
para que sea irreflexiva y antisimétrica.
Irreflexiva: quitar (b,b) Antisimetrico: quitar (b,a) o (a,b) cualquiera de los 2
9. Sea A = {a, b, c, d} y R = {<a, a>, <a, b>, <b, c>, <c, d>, <a, c>, <d, d>}
agregar los pares necesarios para que R sea reflexiva y completa.
Reflexiva: agregar (b,b) y (c,c) Completa: agregar (a,d); (b,d)
10. Sea B = {1, 2, 3, 4}, determinar si las siguientes relaciones son reflexivas
simétricas o transitivas.
No reflexiva | No simetrica |
𝑅1 = {< 1,2 >, < 4,3 >, < 2,2 >, < 2,1 >, < 3,1 >} No Transitiva

𝑅2 = {< 2,2 >, < 2,3 >, < 3,2 >} No reflexiva |No transitiva | Si simetrica

𝑅3 = {< 1,3 >} No reflexiva | No simetrica | No transitiva

11. Encontrar

a. Una relación que sea simétrica y transitiva pero no reflexiva R={(2,2),(2,3),(3,2)}.

b. Una relación que sea reflexiva y transitiva pero no simétrica R={(1,1),(2,2),(3,3),(1,2),(2,3)}

c. Una relación que sea reflexiva y simétrica pero no transitiva. R={(1,1),(2,2),(3,3),(1,2),(2,1)}

12. Probar

a. Si R es una relación reflexiva definida sobre un conjunto A entonces

𝑅 −1 es reflexiva.

TECNICATURA UNIVERSITARIA EN DESARROLLO DE SOFTWARE

2
 MATEMÁTICA I

b. Si R es una relación definida sobre un conjunto A, R es simétrica si y

solo si R=𝑅 −1.

c. Sea R una relación sobre un conjunto A. Si R es transitiva entonces

𝑅 −1también lo es.-

13. Sea A = {1, 2, 3} definimos sobre A la siguiente relación

x R y ↔ x = y 𝑉 x + y =4

a. Definir R por extensión.

b. Probar que es de equivalencia
c. Hallar la partición asociada a R.

14. Sea R la relación definida sobre ℤ por x R y ↔ x≠ y

ya que los pares ordenados
¿La relación es de equivalencia? Si la respuesta es afirmativa,con el mismo componente no
pueden formar parte de la
demostrarlo y dar la partición que induce R sobre ℤ
relacion, la misma no puede
cumplir la propiedad de
15. Sea R la relación definida sobre ℤ x ℤ de la siguiente manera: reflexiva, entonces no es
equivalencia
R = {<<a, b>,<c, d>> / a + d = b + c}

¿Es una relación de equivalencia?

16. Sea R una relación definida sobre ℕ x ℕ por <a, b> R <c, d> ↔ a d = b c

Probar que R es una relación de equivalencia.

Encontrar la clase del <2, 5>

17. Sea A = {a, b, c, d, e} y R

b. no es necesario agregar anda

R1={((a,a);(b,b);(c,c);(a,c);(a,b);(b,a);(b,c);(c,a);(c,b)}
R2={(d,e);(e,d);(e,e);(d,d)}

18. Sea A = {a1, a2, a3} R={ <a1, a1>, <a1, a2>, <a2, a1>, <a2, a2>, <a3,
a2>, <a3, a1>, <a3, a3>}
Se cumple:
a1 - Reflexiva
a) Representar R gráficamente. - Transitiva
b) Investigar qué propiedades cumple. a2 a3
- No simetrica

19. Sea A = {1, 2, 3, 4} y R ⊆ 𝐴 𝑥 𝐴

a R b ↔ a es múltiplo de b RAxA={(1,1);(2,2);(3,3);(4,4);(1,2);(1,3);(1,4);(2,4);(4,2)}

a) Escribir R por extensión

b) Representar R gráficamente 1

2 3
TECNICATURA UNIVERSITARIA EN DESARROLLO DE SOFTWARE

4
3
 MATEMÁTICA
c) OrdenI Parcial:
Es Reflexiva: porque tiene (1,1) etc.
Es Antisimetrica: porque tenemos (1,2) pero no (2,1) por ejemplo
Es Transitiva: porque tenemos (1,2);(2,4)y(1,4)

c) Define R un orden parcial sobre A d) Orden Total:

No es orden total porque hay pares que no estan relacionados entre si
d) Define R un orden total sobre A

20. Dadas las relaciones.

a) Agregar los arcos necesarios para que R sea reflexiva y simétrica

b) Quitar los arcos necesarios para que S sea irreflexiva y antisimétrica
c) Agregar los arcos necesarios para que T sea reflexiva y completa
d) Construir gráficamente una relación para que no cumpla ninguna
propiedad.-

21. Sea R una relación reflexiva sobre A. Probar:

a) S⊆ RS para cualquier relación S.

b) Si S es reflexiva entonces RS también lo es.
c) R es transitiva ↔ 𝑅 2 ⊆R.-

22. Sea A{1,2,3,4,5} y sea la relación <x,y> ∈ R ↔ |x -1| = |y-1|.

Probar que R es de equivalencia.

TECNICATURA UNIVERSITARIA EN DESARROLLO DE SOFTWARE

4
6.a) R={(1,1);(1,2);(1,3);(2,1);(2,2);(2,3);(3,1);(3,2);(3,3)}

1- ES:
• Reflexiva: tengo (1,1); (2,2); (3,3)
• Simétrica: tengo (1,2) y (2,1); (1,3) y (3,1)
• Transitiva: tengo (1,2); (2,3) y (1,3)
2- No es completa y No es de orden parcial (porque es simétrica).

6.b) R= {<𝑎1,𝑎1 > , < 𝑎2, 𝑎2 >, < 𝑎3, 𝑎3 >, < 𝑎1, 𝑎2 >, < 𝑎2, 𝑎1 >, < 𝑎3, 𝑎1 >, < 𝑎3, 𝑎2 >}

1- ES:
• Reflexiva: tengo (a1,a1); (a2,a2); (a3,a3)
• No-Simetrica: falta: (a1,a3) y (a2,a3)
• Transitiva: tengo (a3,a1); (a1,a2) y (a3,a2)
2- No es completa y No es de orden parcial (porque es simétrica).

6.c)
B = {1, 2, 3, 4} R⊆ BxB definido por sRb ↔ s es múltiplo de b
{(1,1);(1,2);(1,3);(1,4);(2,1);(2,2);(2,3);(2,4);(3,1);(3,2);(3,3);(3,4);(4,1);(4,2);(4,3);(4,4)}
R = {(1,1), (2,2), (4,2), (3,3),(3,1),(4,1),(2,1),(4,4)}

1- ES:
• Reflexiva: tengo (1,1);(2,2);(3,3) y (4,4)
• Anti-Simetrica:
• Transitiva:
2- Es de orden parcial (porque es reflexiva, antisimétrica y transitiva), y no es de Orden Total
(porque no tengo (3,4) y (4,2).

6.d)
B = {x∈ ℤ/ |x|≤ 3}, R ⊆ 𝐵 𝑥 𝐵 definida por: x R y ↔ x < y
B= {-3,-2,-1,0,1,2,3}
BxB={(-3,-3)(−3,−2),(−3,−1),(−3,0),(−3,1),(−3,2),(−3,3),(-2,-3),(-2,-
2),(−2,−1),(−2,0),(−2,1),(−2,2),(−2,3),(-1,-3),(-1,-2),(-1,-1),(−1,0),(−1,1),(−1,2),(−1,3),(0,-3),(0,-
2),(0,-1),(0,0),(0,1),(0,2),(0,3),(1,-3),(1,-2),(1,-1),(1,1),(1,2),(1,3),(2,-3),(2,-2),(2,-
1),(2,0),(2,1),(2,2),(2,3),(3,-3),(3,-2),(3,-1),(3,0),(3,1),(3,2),(3,3)}

1- ES:
• No es Reflexiva: falta (−3,−3),(−2,−2), etc.
• Anti-Simetrica:
• Transitiva: x<y: R={(-3,-1)(-3,-2)(-3,0)(-3,1)(-3,2)(-3,3)(-2,-1)(-2,0)(-2,1)(-2,2)(-2,3)(-1,0)(-1,1)(-1,2)(-1,3)(0,1)(0,2)(0,3)(1,2)(1,3)(2,3)}

2- No es de orden parcial (porque es no es reflexiva), y es completa.