Capítulo 3 Relaciones M.Sc. Ing.

Juan Carlos Quispe Apaza

CAPITULO 3

RELACIONES

3.1 El producto cartesiano entre dos conjuntos

Sabemos que el número de elementos de un conjunto se indica mediante el cardinal de un
conjunto.

Ejemplo: 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 } → 𝑛(𝐴) = 6

3.2 Producto Cartesiano

El producto cartesiano de dos conjuntos se define como:

𝐴 × 𝐵 = {(𝒂, 𝒃) / 𝑎 ∈ 𝐴 ∧ 𝑏 ∈ 𝐵 }

Ejemplo: Sean los conjuntos 𝐴 = {𝑎, 𝑏, 𝑐 } y el conjunto 𝐵 = {1,2}

B
2
(a,2) (b,2) (c,2)
1
(a,1) (b,1) (c,1)

a b c A

𝐴 × 𝐵 = {(𝑎, 1); (𝑎, 2); (𝑏, 1); (𝑏, 2); (𝑐, 1); (𝑐, 2)}

Sus cardinales 𝑛(𝐴) = 3, 𝑛(𝐵 ) = 2, 𝑛(𝐴 × 𝐵 ) = 6

Propiedades:

P1. 𝐴 × 𝐵 ≠ 𝐵 × 𝐴

P2. 𝑛(𝐴 × 𝐵 ) = 𝑛(𝐴) ∙ 𝑛(𝐵)

3.3 Relación Binaria

Es un vínculo entre dos elementos de dos conjuntos, matemáticamente se indica que x está
relacionada con y mediante un par ordenado, (𝑥, 𝑦). Una relación entre 𝐴 𝑦 𝐵 se define de la
siguiente manera:

𝓡 = {(𝒙, 𝒚) ∈ 𝑨 × 𝑩/𝒙𝕽𝒚}

Debe notarse que: ℛ ⊆ 𝐴 × 𝐵

Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

A B


x y

Ejemplo:

Gabriel: 𝑦: 21 años

Juan Carlos: 𝑥: 36 años

Relación 1: 𝑥 = 𝑦 + 15

Relación 2: 𝑥 > 𝑦

ℛ1 = {(𝑥, 𝑦) ∈ 𝐴 × 𝐵/𝑥 = 𝑦 + 15} ; ℛ2 = {(𝑥, 𝑦) ∈ 𝐴 × 𝐵/ 𝑥 > 𝑦}

El vínculo que se emplea en matemática es de carácter simbólico como se puede apreciar,

empleando letras, símbolos, relaciones como la ecuación, las igualdades y desigualdades entre las
más comunes en matemática.

Ejemplo: Sean los conjuntos 𝑃 = {𝐿, 𝐺, 𝑁, 𝐷 } y 𝐻 = {𝐴, 𝑀, 𝑅, 𝐵 }, sea la relación ℛ definida de la

siguiente manera.

ℛ = {(𝑥, 𝑦) ∈ 𝑃 × 𝐻/ "x "𝑒𝑠 𝑝𝑎𝑑𝑟𝑒 𝑑𝑒 "𝑦"}

Padres Hijos

Luis Alex
Gabriel Martha
Nilo
René
Donato
Benito

𝑅 = {(𝐿, 𝐴), (𝐺, 𝐵 ), (𝑁, 𝑀), (𝑁, 𝑅)}

3.3.1 Dominio de la Relación

El domino de una Relación está formado por las primeras componentes del conjunto de pares
ordenados, en el ejemplo 𝐷𝑅 = {𝐿, 𝐺, 𝑁}
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

3.3.2 Imagen de la Relación

Está formada por las segundas componentes de los pares ordenados que participan en la
relación.

𝐼𝑅 = {𝐴, 𝐵, 𝑀, 𝑅 }

3.4 Relación Inversa

Es el conjunto de pares ordenados permutados de la relación original, en el anterior ejemplo:

𝑅 −1 = {(𝑦, 𝑥 )/(𝑥, 𝑦) ∈ ℛ }

𝐷𝑅 = {𝐿, 𝐺, 𝑁} , 𝐼𝑅 = {𝐴, 𝐵, 𝑀, 𝑅 } , 𝑅 −1 = {(𝐴, 𝐿), (𝐵, 𝐺 ), (𝑀, 𝑁), (𝑅, 𝑁)}

Propiedad: 𝐷𝑅 = 𝐼𝑅−1 , 𝐼𝑅 = 𝐷𝑅−1

3.5 Composición de Relaciones

Sean las relaciones: ℛ ⊆ 𝐴 × 𝐵 y 𝑆 ⊆ 𝐵 × 𝐶

Si la 𝐼𝑅 ∩ 𝐷𝑠 ≠ ∅ existe la composición 𝑆 ∘ 𝑅 que se define de la siguiente manera:

𝑆∘𝑅 ⊆ 𝐴×𝐶

𝑆 ∘ 𝑅: (se lee: S de R) ó (R en S) ó (R compuesta con S)

 S
A B C

S 

Propiedades de la composición

P1 𝑆 ∘ 𝑅 ≠ 𝑅 ∘ 𝑆

P2. (𝑆 ∘ 𝑅) ∘ 𝑇 = 𝑆 ∘ (𝑅 ∘ 𝑇)

P3. (𝑆 ∘ 𝑆 −1 )(𝒙) = 𝒙 , (𝑆 −1 ∘ 𝑆)(𝒙) = 𝒙

P4. (𝑆 ∘ 𝑅 )−1 = 𝑅 −1 ∘ 𝑆 −1
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

Problema 37
Sean los conjuntos: 𝐴 = {𝒙 ∈ ℤ/ (𝑥 2 − 2)2 = 𝑥 2 } y 𝐵 = {𝑦 ∈ ℕ/ 1 < 𝑦 ≤ 5} y
𝐶 = {𝑧 ∈ ℤ / −3 < 𝑧 < 3} y las relaciones:
ℛ ⊂ 𝐴 × 𝐵 definido por (𝑥, 𝑦) ∈ ℛ ↔ 𝑥 + 𝑦 𝑒𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 3
𝑆 ⊂ 𝐵 × 𝐶 definido por (𝑦, 𝑧) ∈ 𝑆 ↔ 𝑦 + 𝑧 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑒𝑛𝑡𝑟𝑒 5
a) Determine los conjuntos 𝐴, 𝐵, 𝐶, ℛ, 𝑆 por extensión
b) Verifique la propiedad: (𝑆 ∘ ℛ )−1 = ℛ −1 ∘ 𝑆 −1
Solución:

Para a)

(𝑥 2 − 2)2 = 𝑥 2 → (𝑥 2 − 2)2 − 𝑥 2 = 0 → (𝑥 2 − 2 + 𝑥 )(𝑥 2 − 2 − 𝑥 ) = 0

(𝑥 2 + 𝑥 − 2)(𝑥 2 − 𝑥 − 2) = 0 → (𝑥 + 2)(𝑥 − 1)(𝑥 − 2)(𝑥 + 1) = 0
→ 𝑥 = −2, 𝑥 = 1, 𝑥 = 2, 𝑥 = −1
𝐴 = {−2, −1,1,2}
𝐵 = {2,3,4,5}
𝐶 = {−2, −1,0,1,2}

Hallando 𝓡: ℛ = {(𝑥, 𝑦) ∈ 𝐴 × 𝐵 / 𝑥 + 𝑦 𝑒𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 3}

Múltiplos del 3: … , −9, −6, −3,0,3,6,9,12,15, … … , 𝟑𝒌, 𝑘∈ℤ

Nota: El cero es múltiplo de cualquier número en los enteros

𝐴 = {−2, −1,1,2}
𝐵 = {2,3,4,5}
𝓡 = {(−𝟐, 𝟐); (−𝟐, 𝟓); (−𝟏, 𝟒); (𝟏, 𝟐); (𝟏, 𝟓); (𝟐, 𝟒)}

Hallando 𝑺: 𝑆 = {(𝑦, 𝑧) ∈ 𝐵 × 𝐶 / 𝑦 + 𝑧 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑒𝑛𝑡𝑟𝑒 5}

Divisibles entre 5: . . . , −15, −10, −5,0,5,10,15,20,25, … . , 𝟓𝒌, 𝑘∈ℤ

𝐵 = {2,3,4,5}
𝐶 = {−2, −1,0,1,2}
𝑺 = {(𝟐, −𝟐); (𝟑, 𝟐); (𝟒, 𝟏); (𝟓, 𝟎)}

Para b) Verifique la propiedad: (𝑆 ∘ ℛ )−1 = ℛ −1 ∘ 𝑆 −1

Por partes Primero calculando 𝑆 ∘ ℛ

ℛ = {(−2,2); (−2,5); (−1,4); (1,2); (1,5); (2,4)}

𝑆 = {(2, −2); (3,2); (4,1); (5,0)}
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

𝑆 ∘ ℛ = {(−2, −2); (−2,0); (−1,1); (1, −2); (1,0); (2,1)}

(𝑆 ∘ ℛ )−1 = {(−2, −2); (0, −2); (1, −1); (−2,1); (0,1); (1,2)} …. (𝛼)

Para ℛ −1 ∘ 𝑆 −1

𝑆 −1 = {(−2,2); (2,3); (1,4); (0,5)}

ℛ −1 = {(2, −2); (5, −2); (4, −1); (2,1); (5,1); (4,2)}
ℛ −1 ∘ 𝑆 −1 = {(−2, −2); (−2,1); (1, −1); (1,2); (0, −2); (0,1)} …. (𝛽)

Comparando (𝛼 ) 𝑦 (𝛽) la propiedad se verifica

(𝑺 ∘ 𝓡)−𝟏 = 𝓡−𝟏 ∘ 𝑺−𝟏

Problema 38

Se consideran los siguientes conjuntos 𝐴 = {1,2,3,4,5}; 𝐵 = {1,4,6,16}; 𝐶 = {2,3,8,10} se tienen

las relaciones ℜ ⊆ 𝐴 × 𝐵 y 𝑆 ⊆ 𝐵 × 𝐶 definidas por:

(𝑥, 𝑦) ∈ ℜ ↔ 𝑦 = 𝑥2
𝑦
(𝑦, 𝑧) ∈ 𝑆 ↔𝑧=
2
a) Halle las relaciones ℜ y 𝑆 por extensión
b) Verifique la propiedad (𝑆 ∘ 𝑅 )−1 = 𝑅 −1 ∘ 𝑆 −1

Solución: inciso a)

ℜ = {(𝑥, 𝑦) ∈ 𝐴 × 𝐵 / 𝑦 = 𝑥 2 }
𝐴 = {1,2,3,4,5}
𝐵 = {1,4,6,16}
𝕽 = {(𝟏, 𝟏); (𝟐, 𝟒); (𝟒, 𝟏𝟔)}…. (𝜶)
𝑦
𝑆 = {(𝑦, 𝑧) ∈ 𝐵 × 𝐶 / 𝑧 = }
2
𝐵 = {1,4,6,16}
𝐶 = {2,3,8,10}
𝑺 = {(𝟒, 𝟐); (𝟔, 𝟑); (𝟏𝟔, 𝟖)} … .. (𝜷)

Inciso b) Primero calcularemos 𝑺 ∘ 𝑹

ℜ = {(1,1); (2,4); (4,16)}

𝑆 = {(4,2); (6,3); (16,8)}
𝑆 ∘ ℜ = {(2,2); (4,8)}
(𝑆 ∘ ℜ)−1 = {(2,2); (8,4)} … .. (𝐼)
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

Calculando 𝑅 −1 ∘ 𝑆 −1

𝑆 −1 = {(2,4); (3,6); (8,16)}

ℜ−1 = {(1,1); (4,2); (16,4)}
ℜ−1 ∘ 𝑆 −1 = {(2,2); (8,4)} … .. (𝐼𝐼 )

Comparando (I) y (II) la propiedad se verifica: (𝑺 ∘ 𝕽)−𝟏 = 𝕽−𝟏 ∘ 𝑺−𝟏

3.6 Relaciones definidas en un mismo conjunto

Habíamos visto relaciones binarias entre los elementos de dos conjuntos

𝑅 ⊂𝐴×𝐵

A B


x y

Es posible hallar otro conjunto mayor que contenga a los dos conjuntos 𝐴 y 𝐵, en tal caso la
relación será ya no entre dos conjuntos diferentes, sino una relación entre elementos de un mismo
conjunto, esas relaciones se denominan relaciones definidas en un mismo conjunto.

A B
 

x y x y

𝑅 ⊂𝐴×𝐴

Este tipo relaciones goza de ciertas propiedades:

Propiedades. 𝒑
⏟ → 𝒒
⏟
𝒂𝒏𝒕𝒆𝒄𝒆𝒏𝒅𝒆𝒏𝒕𝒆 𝒄𝒐𝒏𝒔𝒆𝒄𝒖𝒆𝒏𝒕𝒆

P1. Reflexiva: x  A  ( x, x)  R


Sea A  a,b, c, d    
  (a, a )(b,b)(c, d )(c, c)(d, d )
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

P2. No reflexiva:  x  A  ( x, x)  R


Sea A  a,b, c, d   
  (a, a )(b, d )(c, d )(b,b)(d, a ) 
P3. Arreflexiva: x  A  ( x, x)  R


Sea A  a,b, c, d   
  (a, c)(b, d )(c, d )(b, c)(d, a ) 
P4. Simétrica: x, y  A /( x, y)  R  ( y, x)  R


  (x , z ),(u, v ),(m, n ),(z, x ),(v, u ),(n, m ) 
P5. No simétrica: x, y  A / ( x, y)  R  ( y, x)  R


  (x , z ),(u, v ),(m, n ),(z, x ),(n, m) 
P6. Asimétrica: x, y  A /( x, y)  R  ( y, x)  R  
  (x , z ),(u, v ),(m, n )

P7. Transitiva: x, y, z  A /( x, y)  R  ( y, z)  R  ( x, z)  R


  (a, c),(c, d ),(d, b),(a, d ),(c, b),(a, b) 
P8. No transitiva: x, y, z  A / ( x, y)  R  ( y, z)  R  ( x, z)  R


  (a, c),(c, d ),(d, b),(a, d ),(a, b) 
P9. Atransitiva: x, y, z  A /( x, y)  R  ( y, z)  R  ( x, z)  R


  (a, c),(c, d ),(d, b),(a, b) 
P10. Antisimétrica: x, y  A /( x, y)  R  ( y, x)  R  x  y

Reflexiva A
Reflexiva: Si x  A  (x, x )  
x Simétrica: Si (y, z )    (z, y )  
z Transitiva: si (u, v )    (v, w )    (u, w )  
Simétrica y

u w
Transitiva v

3.7 Clasificación
Una relación definida en un mismo conjunto puede clasificarse de acuerdo al cumplimiento de las
propiedades antes presentadas, estas pueden ser de equivalencia y de orden, entre los órdenes
observamos al orden amplio y al orden estricto y en ambos casos se presentan los órdenes total
y parcial.
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

 reflexiva
 
 Equivalencia simétrica
 transitiva
 
  reflexiva
  
Relación   Amplio antisimétrica
  transitiva
 Orden  
  arreflexiva
  estricto asimétrica
 
  transitiva
 
3.7.1 Relación de Equivalencia
La palabra equivalencia se presenta en el cotidiano de varias formas, podemos mencionar los
siguientes ejemplos:

1 $𝑢𝑠 ≡ 6,98 𝐵𝑠

(un dólar es equivalente a 6,98 Bs) (Ojo se tiene cuidado de no emplear la palabra igual)

El peso del montón de frutas es equivalente al peso metálico.

Formalmente definimos a una relación de equivalencia cuando esta relación cumple 3 propiedades:

𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑖𝑑𝑎𝑑
𝑅𝑒𝑙𝑎𝑐𝑖𝑜𝑛 𝑑𝑒 𝐸𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑖𝑎 { 𝑠𝑖𝑚𝑒𝑡𝑟𝑖𝑎
𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑖𝑑𝑎𝑑
Simbología: La equivalencia " ≡ " Está relacionada con " = " también se usa frecuentemente el
símbolo " ∼ ", también se emplea el símbolo " ↔ "

𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞 ≡∼ 𝑞 →∼ 𝑝

3.7.1.1 Clases de Equivalencia

Siempre ha existido la necesidad de clasificar los elementos dentro de un sistema (conjunto),
ahora bien, la clasificación surge cuando los elementos de un conjunto tienden a agruparse entre
elementos afines y a separarse del resto con los cuales no comparten afinidad, las clases de
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

equivalencia producen una partición en el conjunto, se generan subconjuntos de 𝐴 precisamente

estos subconjuntos son las clases de equivalencia, que contienen a elementos equivalentes entre
sí según la ley que los vincula, formalmente la clase de equivalencia del elemento "𝑎" se define
como:

𝐾𝑎 = {𝑥 / 𝑥ℜ𝑎} ∼ 𝐾𝑎 = {𝑥 /(𝑥, 𝑎) ∈ ℜ}

Propiedades de las clases de equivalencia

P1. 𝐾1 ∪ 𝐾2 ∪ 𝐾3 ∪ … . .∪ 𝐾𝑛 = 𝐴 (la unión de todas las clases de equivalencia forma a A)

P2. 𝐾𝑖 ∩ 𝐾𝑗 = Φ , ∀𝑖, 𝑗 (la intersección entre clases de equivalencia es el vacío)

A
k1 k2

k3 kn

ka

Problema 39 Sea el conjunto 𝐴 = {𝑥 ∈ ℤ / |𝑥| ≤ 4} en el cual se define la relación:

𝑥ℜ𝑦 ↔ 𝑥 2 + 𝑦 = 𝑦 2 + 𝑥

Determine:

a) La relación por extensión

b) Demuestre que es de equivalencia

Solución: Empleamos la propiedad: |𝑥| ≤ 𝑏 ↔ −𝑏 ≤ 𝑥 ≤ 𝑏

|𝑥| ≤ 4 → −4 ≤ 𝑥 ≤ 4 → 𝐴 = {−4, −3, −2, −1,0,1,2,3,4}

Nota: 𝑥ℜ𝑦 ≡ (𝑥, 𝑦) ∈ ℜ

ℜ = {(𝑥, 𝑦) ∈ 𝐴 × 𝐴 / 𝑥 2 + 𝑦 = 𝑦 2 + 𝑥 }

Simplificando la condición de la relación

𝒙𝟐 + 𝒚 = 𝒚𝟐 + 𝒙 → 𝑥2 − 𝑦2 + 𝑦 − 𝑥 = 0 → (𝑥 − 𝑦)(𝑥 + 𝑦) − (𝑥 − 𝑦) = 0
(𝑥 − 𝑦)(𝑥 + 𝑦 − 1) = 0 → 𝒙= 𝒚 ∨ 𝒙+𝒚−𝟏 = 𝟎
ℜ = {(𝑥, 𝑦) ∈ 𝐴 × 𝐴 / 𝑥 = 𝑦 ∨ 𝑥 + 𝑦 = 1}
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

𝐴 = {−4, −3, −2, −1,0,1,2,3,4}

Inciso a)

ℜ = {(−4, −4); (−3, −3); (−3,4); (−2, −2); (−2,3); (−1, −1); (−1,2); (0,0); (0,1); (1,0); (1,1)
(2, −1); (2,2); (3, −2); (3,3); (4, −3); (4,4)}
𝕽 = {(−4, −4); (−3, −3); (−2, −2); (−1, −1); (0,0); (1,1); (2,2); (3,3); (4,4); (−3,4); (−2,3);
(−1,2); (0,1); (1,0); (2, −1); (3, −2); (4, −3)}

Inciso b)

i) Reflexiva: ∀ ⏟ (𝑥, 𝑥 ) ∈ ℜ
𝑥∈𝐴 →⏟
𝑝𝑟𝑒𝑚𝑖𝑠𝑎 𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛

−4 ∈ 𝐴 → (−4, −4) ∈ ℜ 𝑉 1 ∈ 𝐴 → (1,1) ∈ ℜ 𝑉

−3 ∈ 𝐴 → (−3, −3) ∈ ℜ 𝑉 2 ∈ 𝐴 → (2,2) ∈ ℜ 𝑉
−2 ∈ 𝐴 → (−2, −2) ∈ ℜ 𝑉 3 ∈ 𝐴 → (3,3) ∈ ℜ 𝑉
−1 ∈ 𝐴 → (−1, −1) ∈ ℜ 𝑉 4 ∈ 𝐴 → (4,4) ∈ ℜ 𝑉
0 ∈ 𝐴 → (0,0) ∈ ℜ 𝑉

Por lo tanto la relación 𝓡 es reflexiva

ii) Simétrica: ∀𝑥, 𝑦 ∈ 𝐴 / ⏟

(𝑥, 𝑦) ∈ ℜ → ⏟
(𝑦, 𝑥 ) ∈ ℜ
𝑝𝑟𝑒𝑚𝑖𝑠𝑎 𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛

(−4, −4) ∈ ℜ → (−4, −4) ∈ ℜ 𝑉 (0,1) ∈ ℜ → (1,0) ∈ ℜ 𝑉

…….. (1,0) ∈ ℜ → (0,1) ∈ ℜ 𝑉

(4,4) ∈ ℜ → (4,4) ∈ ℜ 𝑉 (2, −1) ∈ ℜ → (−1,2) ∈ ℜ 𝑉

(3, −2) ∈ ℜ → (−2,3) ∈ ℜ 𝑉
(−3,4) ∈ ℜ → (4, −3) ∈ ℜ 𝑉
(−2,3) ∈ ℜ → (3, −2) ∈ ℜ 𝑉 (4, −3) ∈ ℜ → (−3,4) ∈ ℜ 𝑉

(−1,2) ∈ ℜ → (2, −1) ∈ ℜ 𝑉

Por lo tanto la relación 𝓡 es simétrica

iii) Transitiva: ∀𝑥, 𝑦, 𝑧 ∈ 𝐴 / ⏟

(𝑥, 𝑦) ∈ ℜ ∧ (𝑦, 𝑧) ∈ ℜ → ⏟
(𝑥, 𝑧) ∈ ℜ
𝑝𝑟𝑒𝑚𝑖𝑠𝑎 𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛

𝕽 = {(−4, −4); (−3, −3); (−2, −2); (−1, −1); (0,0); (1,1); (2,2); (3,3); (4,4); (−3,4); (−2,3);
(−1,2); (0,1); (1,0); (2, −1); (3, −2); (4, −3)}
(−4, −4) ∈ ℜ ∧ (−4, −4) ∈ ℜ → (−4, −4) ∈ ℜ 𝑉

………

(4,4) ∈ ℜ ∧ (4,4) ∈ ℜ → (4,4) ∈ ℜ 𝑉

Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

(−3,4) ∈ ℜ ∧ (4, −3) ∈ ℜ → (−3, −3) ∈ ℜ 𝑉

(−2,3) ∈ ℜ ∧ (3, −2) ∈ ℜ → (−2, −2) ∈ ℜ 𝑉
(−1,2) ∈ ℜ ∧ (2, −1) ∈ ℜ → (−1, −1) ∈ ℜ 𝑉
(0,1) ∈ ℜ ∧ (1,0) ∈ ℜ → (0,0) ∈ ℜ 𝑉
(1,0) ∈ ℜ ∧ (0,1) ∈ ℜ → (1,1) ∈ ℜ 𝑉
(2, −1) ∈ ℜ ∧ (−1,2) ∈ ℜ → (2,2) ∈ ℜ 𝑉
(3, −2) ∈ ℜ ∧ (−2,3) ∈ ℜ → (3,3) ∈ ℜ 𝑉
(4, −3) ∈ ℜ ∧ (−3,4) ∈ ℜ → (4,4) ∈ ℜ 𝑉

Por lo tanto la relación 𝓡 es transitiva

∴ 𝓡 𝒆𝒔 𝒅𝒆 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒄𝒊𝒂

Las clases de equivalencia

4 1
0
4
3
2
3
1
2

𝐾1 = {−4} ; 𝐾2 = {−3,4} ; 𝐾3 = {−2,3} ; 𝐾4 = {2, −1} ; 𝐾5 = {1,0}

Conjunto Cociente:

𝐴
= {𝐾1 ; 𝐾2 ; 𝐾3 ; 𝐾4 ; 𝐾5 }
∼
Conjunto Índice

𝐼 = {1̅, 2̅, 3̅, 4̅, 5̅}

Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

Nota: Si se conocen las clases de equivalencia, es posible hallar la relación de equivalencia.

Ejemplo: A
𝐾1 = {𝑎, 𝑏, 𝑐 } , 𝐾2 = {𝑑, 𝑒} , 𝐾3 = {𝑓 }
c
a
𝐾1 = {𝑎, 𝑏, 𝑐 } →
b
(𝑎, 𝑎), (𝑏, 𝑏), (𝑐, 𝑐 ), (𝑎, 𝑏), (𝑏, 𝑎), (𝑎, 𝑐 ), (𝑐, 𝑎), (𝑏, 𝑐 ), (𝑐, 𝑏)
f
e
𝐾2 = {𝑑, 𝑒} → (𝑑, 𝑑 ), (𝑒, 𝑒), (𝑑, 𝑒), (𝑒, 𝑑) d
𝐾3 = {𝑓 } → (𝑓, 𝑓)

Por lo tanto, la relación de la que provienen estas clases de equivalencia debe ser:

𝓡 = {(𝒂, 𝒂), (𝒃, 𝒃), (𝒄, 𝒄), (𝒂, 𝒃), (𝒃, 𝒂), (𝒂, 𝒄), (𝒄, 𝒂), (𝒃, 𝒄), (𝒄, 𝒃), (𝒅, 𝒅), (𝒆, 𝒆), (𝒅, 𝒆), (𝒆, 𝒅), (𝒇, 𝒇)}

Incluso es posible hallar al conjunto, púes la unión de todas las clases no da el propio conjunto:

𝑨 = 𝑲𝟏 ∪ 𝑲𝟐 ∪ 𝑲𝟑 = {𝒂, 𝒃, 𝒄, 𝒅, 𝒆, 𝒇}

Problema 40

En el conjunto 𝐴 se definen las siguientes clases de equivalencia:

𝐾1 = {2, 5 ,8} , 𝐾2 = {1,3} , 𝐾3 = {4}.

a) Halle el conjunto A
b) Halle la relación por extensión
A
Solución:
5
a) 𝑨 = {𝟏, 𝟐, 𝟑, 𝟒, 𝟓, 𝟖} 2
b) La relación por extensión 8
4
𝐾1 = {2, 5 ,8} está asociada a: 3
1
(2,2), (5,5), (8,8), (2,5), (5,2), (5,8), (8,5), (2,8), (8,2)

𝐾2 = {1,3} → (1,1), (3,3), (1,3), (3,1)

𝐾3 = {4} → (4,4)
𝓡 = {(𝟏, 𝟏), (𝟐, 𝟐), (𝟑, 𝟑), (𝟒, 𝟒), (𝟓, 𝟓), (𝟖, 𝟖), (𝟐, 𝟓), (𝟓, 𝟐), (𝟓, 𝟖), (𝟖, 𝟓), (𝟐, 𝟖), (𝟖, 𝟐), (𝟏, 𝟑), (𝟑, 𝟏)}
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

Problema 41 En el conjunto A = {0,1,3,4,6,7,9} se define la relación:

R = {(𝑥, 𝑦) ∈ A × A / 𝑥 = 𝑦 ∨ 𝑥 + 𝑦 es multiplo de 7}

a) Demuestre que es de equivalencia

b) Halle las clases de equivalencia partición del conjunto

Solución:

ℛ = {(0,0), (1,1), (3,3), (4,4), (6,6), (7,7), (9,9), (0,7), (1,6), (3,4), (4,3), (6,1), (7,0)}
Reflexiva: 9 ∈ 𝐴 → (9,9) ∈ ℛ
Simétrica
0 ∈ 𝐴 → (0,0) ∈ ℛ
1 ∈ 𝐴 → (1,1) ∈ ℛ (0,7) ∈ ℛ → (7,0) ∈ ℛ
3 ∈ 𝐴 → (3,3) ∈ ℛ (1,6) ∈ ℛ → (6,1) ∈ ℛ
4 ∈ 𝐴 → (4,4) ∈ ℛ (3,4) ∈ ℛ → (4,3) ∈ ℛ
6 ∈ 𝐴 → (6,6) ∈ ℛ (6,1) ∈ ℛ → (1,6) ∈ ℛ
7 ∈ 𝐴 → (7,7) ∈ ℛ (7,0) ∈ ℛ → (0,7) ∈ ℛ
Transitiva

(0,7) ∈ ℛ ∧ (7,0) ∈ ℛ → (0,0) ∈ ℛ

(1,6) ∈ ℛ ∧ (6,1) ∈ ℛ → (1,1) ∈ ℛ
(3,4) ∈ ℛ ∧ (4,3) ∈ ℛ → (3,3) ∈ ℛ
(4,3) ∈ ℛ ∧ (3,4) ∈ ℛ → (4,4) ∈ ℛ
(6,1) ∈ ℛ ∧ (1,6) ∈ ℛ → (6,6) ∈ ℛ
(7,0) ∈ ℛ ∧ (0,7) ∈ ℛ → (7,7) ∈ ℛ
Propiedades: Reflexiva, Simétrica, Transitiva, ∴ 𝓡 es de Equivalencia

Clases de Equivalencia: 𝐾1 = {0,7} , 𝐾2 = {1,6} , 𝐾3 = {3,4} , 𝐾4 = {9}

Problema 42 En el conjunto de los enteros se define la siguiente relación:

𝑥ℜ𝑦 ↔ |𝑥 − 𝑦| es múltiplo de 4

a) Analice si es de equivalencia
b) Si es de Equivalencia halle la clase de equivalencia del 1

Solución: los múltiplos en los enteros de 4 tienen la forma 4𝑘 donde, 𝑘 ∈ ℤ

… … , −16, −12, −8, −4,0,4,8,12,16, … …

Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

i) Reflexiva: x x  x  x  4k  0k  k 0 reflexiva

ii) Simétrica: x y  y x , sabemos que la premisa es verdadera, entonces existe k 
tal que
x  y  4k  (1)(y  x )  4k  1 x  y  4k  x  y  4k  y  x simetrica
iii) Transitiva: x y  yz  x z , sean k1, k2  entonces se cumple:

x  y  4k1  y  z  4k2
x  y  4k1  y  z  4k2 sumando ambas, sea la suma de k1  k2  k3 
x  y  y  z   4(k1  k2 )  x  z  4k3  x  z transitiva
En consecuencia la relación:  es de equivalencia
Hallando la equivalencia del 1

𝑘1 = {𝑥 / 𝑥ℜ1}
𝑥ℜ1 → |𝑥 − 1| = 4𝑘 , 𝑘 ∈ ℤ → 𝑥 = 1 ± 4𝑘 → 𝑘1 = {𝑥 / 𝑥 = 1 ± 4𝑘 , 𝑘 ∈ ℤ}

Algunos elementos de esta clase:

𝑘1 = {1,5, −3,9, −7,13, −11, … … }

Problema 43

Dada la relación en , definida por: (u, v)(x, y)  u  v  x  y

Demuestre que es de equivalencia, halle algunos elementos de la clase: CL(3,1)

Solución: Verificando las propiedades

i) Reflexiva
(x , y )(x , y )  x  y  x  y

V
 es Reflexiva
ii) Simetría
(x, y )(u, v )  (u, v )(x, y )
x  y  u  v  u  v  x  y  (u, v )(x , y )

V
 es Simétrica
iii)Transitiva
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

(x, y )(u, v )  (u, v )(z, w )  (x, y )(z, w )

x  y  u  v  u  v  z  w  x  y  u  v  z  w  x  y  z  w  (x , y )(z , w )

V
 es Transitiva

Por lo tanto  es una relación de equivalencia


Clase de equivalencia: K a ,b   (x , y ) / (x , y ) (a, b)

K  3,1  (x , y ) / (x, y ) (3,1)   (x , y )(3,1)  x  y  3  1  y  4x


K  3,1  (x , y ) / y  4  x  Algunos elementos de esta clase: (0, 4);(1, 3);(1,5)

3.7.2 Relaciones de Orden

El objetivo de una relación de orden es "𝑜𝑟𝑑𝑒𝑛𝑎𝑟", ordenar los elementos del conjunto, en realidad
la noción de orden nos comunica que elementos preceden a otros y/o cuales se encuentran en
posiciones posteriores.

Orden ∼ jerarquía ∼ (organización de elementos establecer que elemento precede a otro o es el

siguiente de otro)

𝐴 = {2,5,8,1,3,4} → 𝐴 = {1,2,3,4,5,8}

Existen dos tipos de relaciones de orden:

 reflexiva
Amplio antisimetrica
 
 transitiva
Orden  
arreflexiva
 
Estricto asimétrica
 transitiva
 

Entre las leyes más comunes que poseen una propiedad de orden tenemos a la relaciones,
menor, mayor, menor igual, mayor igual, la inclusión de conjuntos, la relación divide.

< , > , ≤ , ≥, ⊂, |

Problema 44 En los ℕ se define la relación 𝑥𝑅𝑦 ↔ 𝑥 < 𝑦 clasifique la relación

Solución: Estudiando las propiedades

𝑅 = {(𝑥, 𝑦) ∈ ℕ × ℕ /𝑥 < 𝑦}
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

i) Reflexiva: 𝑥𝑅𝑥 𝑥 < 𝑥 𝐹 la relación es arreflexiva

ii) Simétrica: 𝑥𝑅𝑦
⏟ → 𝑦𝑅𝑥
⏟
𝑉 ?

𝑥<𝑦 →
⏟ 𝑦
⏟< 𝑥 la relación es asimétrica
𝑉 𝐹

iii) Transitiva: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 → 𝑥𝑅𝑧

𝑥
⏟< 𝑦 ∧ 𝑦
⏟< 𝑧 → 𝑥<𝑦<𝑧 → 𝑥<𝑧
1 2
La relación es transitiva

Por lo tanto 𝑹 es una relación de orden estricto total.

Problema 45 (II-2019) Dada la relación:

x y  3x  k  3y
Clasifique la relación en los siguientes casos:

a) k  x, y 
b) k  x, y 
Solución: Podemos reescribir la relación de la siguiente forma: x y  3x  3y  k

Para el primer caso a) Estudiando las propiedades, recordemos a   a0

i) Reflexiva: x x  3x  3x  k  0k  k 0 arreflexiva

ii) Simétrica: x y  y x , sabemos que la premisa es verdadera, entonces existe ki 
tal que

3x  3y  ki  3y  3x  ki pero  ki   y  x asimetrica

iii) Transitiva: x y  yz  x z , sean k1, k2  entonces se cumple:

3x  3y  k1  3y  3z  k2 sumando ambas, sea la suma de k1  k2  k3 

3x  3y  3y  3z  k1  k2  3x  3z  k3   x  z transitiva
En consecuencia la relación:  es de orden estricto total

Para el primer caso b) Estudiando las propiedades.

i) Reflexiva: x x  3x  3x  k  0k  k 0 reflexiva
ii) Simétrica: x y  y x , sabemos que la premisa es verdadera, entonces existe ki 
tal que
3x  3y  ki  3y  3x  ki pero  ki   y  x simetrica
iii) Transitiva: x y  yz  x z , sean k1, k2  entonces se cumple:
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

3x  3y  k1  3y  3z  k2 sumando ambas, sea la suma de k1  k2  k3 

3x  3y  3y  3z  k1  k2  3x  3z  k3   x  z transitiva
En consecuencia la relación:  es de equivalencia

Rpta. a) es de orden estricto total , b) es de equivalencia

Problema 46

 
Sea el conjunto A  a, b, c . Escriba por extensión una relación de orden estricto total en el
conjunto.
Solución:

Sea:   (a, b), (b, c), (a, c)

i) Arreflexiva

a  A  (a, a) 
b  A  (b, b) 
c  A  (c, c) 

ii) Asimétrica

(a, b)  A  (b, a) 
(b, c)  A  (c, b) 
(a, c)  A  (c, a) 

iii)Transitiva

(a, b)   (b, c)   (a, c) 

  es una relación de orden estricto total, pues todos los elementos son comparables entre sí

Problema 47 (II-2020)

En el plano se define la relación a b  a  b donde a y b son rectas en el plano y  significa

perpendicularidad, indique las propiedades de la relación.

Solución:
i) Reflexiva: a a  a  a F arreflexiva

ii) Simétrica: Si a b  ba  a  b  b  a V simetrica

iii) Transitiva: Si a b  bc  a c  a  b  b  c  a  c F atransitiva

Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

La relación no pertenece a ninguna clasificación en consecuencia solo se anotan sus propiedades.

∴ 𝒂𝒓𝒓𝒆𝒇𝒍𝒆𝒙𝒊𝒗𝒂, 𝒔𝒊𝒎𝒆𝒕𝒓𝒊𝒄𝒂, 𝒂𝒕𝒓𝒂𝒏𝒔𝒊𝒕𝒊𝒗𝒂

Nota: Podemos apreciar que las propiedades no corresponden a ninguna de las clasificaciones,
es decir que no es relación de equivalencia ni relación de orden, en tal situación si la relación no
tiene ninguna clasificación solo debe anotarse sus propiedades.

Problema 48 (I-2021)

En la figura ̅̅̅̅
𝐷𝐸 ∥ ̅̅̅̅
𝐹𝐶 , ̅̅̅̅
𝐵𝐷 = ̅̅̅̅
𝐸𝐹, además se tienen 6 triángulos:

 En triángulo "𝑎" de vértices 𝐴, 𝐷, 𝐸

 En triángulo "𝑏" de vértices 𝐴, 𝐵, 𝐶
 En triángulo "𝑐" de vértices 𝐷, 𝐸, 𝐹
 En triángulo "𝑑" de vértices 𝐶, 𝐸, 𝐺
 En triángulo "𝑒" de vértices 𝐶, 𝐸, 𝐹
 En triángulo “𝑓" de vértices 𝐵, 𝐷, 𝐹

D E G

B F C

En el conjunto 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 } se define la relación ℛ de la siguiente forma:

𝑥ℛ𝑦 ↔ "𝑥" es semejante a "𝑦"

a) Halle ℛ por extensión

b) Clasifique la relación
c) Halle las clases de equivalencia

Solución: Simbolizando a un triángulo con el símbolo Δ

Inciso a)

i) Reflexiva: ∀Δ𝑥 ∈ 𝐴 → Δ𝑥ℛΔ𝑥

Δ𝑥 ∼ Δ𝑥 𝑽
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

ii) Simétrica: ∀Δ𝑥, Δ𝑦 ∈ 𝐴/Δ𝑥ℛΔ𝑦 → Δ𝑦ℛΔ𝑥

Δ𝑥 ∼ Δ𝑦 → Δ𝑦 ∼ Δ𝑥 𝑽

iii) Transitiva: ∀Δ𝑥, Δ𝑦, Δ𝑧 ∈ 𝐴/Δ𝑥ℛΔ𝑦 ∧ Δ𝑦ℛΔ𝑧 → Δ𝑥ℛΔ𝑧

Δ𝑥 ∼ Δ𝑦 ∧ Δ𝑦 ∼ Δ𝑧 → Δ𝑥 ∼ Δ𝑧 𝑽

En consecuencia, la relación es de equivalencia

Inciso b)

ℛ = {(𝑎, 𝑎), (𝑏, 𝑏); (𝑐, 𝑐 ); (𝑑, 𝑑 ); (𝑒, 𝑒); (𝑓, 𝑓 ); (𝑎, 𝑏); (𝑏, 𝑎); (𝑎, 𝑒); (𝑒, 𝑎); (𝑏, 𝑒); (𝑒, 𝑏); (𝑐, 𝑓 ); (𝑓, 𝑐 )}

Inciso c)

𝐶𝑙1 = {𝑎, 𝑏, 𝑒} , 𝐶𝑙2 = {𝑐, 𝑓 } , 𝐶𝑙3 = {𝑑 }

Problema 49 (I-2018)
En el conjunto A  1, 2, 3, 4,12 , se define la relación  , como: x y  x | y
Clasifique la relación.

Nota. x | y (Es la relación divide, es decir " x " divide a " y " )

Solución:

 1,1 , 2, 2 ,  3, 3 ,  4, 4  , 12,12 , 1, 2  , 1, 3  , 1, 4  , 1,12  , 2, 4  , 2,12 ,  3,12 ,  4,12
i) Reflexiva:  x  A   x , x   
1x  A  x | x
x  kx con k  1 Es reflexiva
V

 
ii) Antisimétrica:  x , y  A / x , y    y , x    x  y  
x |y  y |x
y  k1x  x  k2y Es antisimetrica
con k1  k2  1  x y

   
ii) Transitiva:  x , y, z  A / x , y    y , z    x , z    
x |y  y |z
y  k1x  z  k2y
   k k  x
z  k2 k1x 2 1
Es transitiva

z  k 3x  x |z

 Es una relacion de orden amplio parcial

Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza

Existen elementos que no son comparables según la ley de orden, como ser: 2 y 3

Problema 50 Sean los conjuntos A, B, C  Z 2 , donde:

A x, y  / y  2x  1; B  x, y  / y  3x; C  x, y  / x  y  7; Hallar A  C

Solución: Empleando las propiedades de De Morgan en conjuntos

A  B  A C  A C

AC :

A C  x, y  y  2x  1  y  x  7
Luego: 2x  1  x  7  x  8; y  15

𝑨 ∩ 𝑪 = (−𝟖, −𝟏𝟓)

Problema 51 En los ℤ2 se define la relación ℛ de la siguiente manera:

2
(𝑎, 𝑐 )ℛ(𝑐, 𝑑 ) ↔ 𝑎 − 𝑐 = (𝑐 − 𝑑 )
3
a) Clasifique la relación
b) Halle la clase de Equivalencia del (0,0)

Solución: a) Estudiando las propiedades

i) Reflexiva:

(𝑥, 𝑦)ℛ(𝑥, 𝑦) → 𝑥 − 𝑥 = 23(𝑦 − 𝑦) → 0 = 0 𝓡 es reflexiva

ii) Simétrica:
(𝑥, 𝑦)ℛ(𝑢, 𝑣 ) → ⏟
⏟ (𝑢, 𝑣 )ℛ(𝑥, 𝑦)
𝑝𝑟𝑒𝑚𝑖𝑠𝑎 𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖𝑜𝑛?
𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎 𝑝𝑜𝑟 𝑑𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑟

2 2 2
𝑥 − 𝑢 = 3(𝑦 − 𝑣 ) → −(𝑢 − 𝑥 ) = −3(𝑣 − 𝑦) → (𝑢 − 𝑥 ) = 3(𝑣 − 𝑦) → (𝑢, 𝑣 )ℛ(𝑥, 𝑦)
𝓡 es simétrica
iii) Transitiva:
𝑝𝑟𝑒𝑚𝑖𝑠𝑎
⏞
(𝑥, 𝑦)ℛ(𝑢, 𝑣 ) ∧ → ⏟
⏟ (𝑢, 𝑣 )ℛ(𝑡, 𝑠) ⏟
(𝑥, 𝑦)ℛ(𝑡, 𝑠)
𝑝𝑟𝑒𝑚𝑖𝑠𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎 𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖𝑜𝑛?
𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎 𝑝𝑜𝑟 𝑑𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑟
Capítulo 3 Relaciones M.Sc. Ing. Juan Carlos Quispe Apaza
2 2
⏟− 𝑢 = 3(𝑦 − 𝑣 ) ∧ 𝑢
𝑥 ⏟− 𝑡 = 3(𝑣 − 𝑠)
1 2

Sumando miembro a miembro (1) y (2)

2 2 2
𝑥 − 𝑢 + 𝑢 − 𝑡 = 3(𝑦 − 𝑣 ) + 3(𝑣 − 𝑠) → 𝑥 − 𝑡 = 3(𝑦 − 𝑠) → (𝑥, 𝑦)ℛ(𝑡, 𝑠)

𝓡 es Transitiva
∴ 𝓡 es de Equivalencia
b) Clase de equivalencia del (0,0)
𝐶𝐿(0,0) = {(𝑥, 𝑦) ∈ ℤ2 / (𝑥, 𝑦)ℛ(0,0)}

(𝑥, 𝑦)ℛ(0,0) ↔ 𝑥 − 0 = 2(𝑦 − 0) →

3
𝑦 = 2𝑥
3

𝟑
𝑪𝑳(𝟎,𝟎) = {(𝒙, 𝒚) ∈ ℤ𝟐 / 𝒚 = 𝟐𝒙}

Algunos elementos de esta clase son:

𝑪𝑳(𝟎,𝟎) = {(0,0); (2,3); (4,6); (−2, −3); … … }

Bibliografía

1. Lazo Sebastián Álgebra Moderna

2. Rojo Armando Álgebra
3. Gutiérrez Pedro Álgebra I
4. Bayron Tomas Apuntes de Clases de Álgebra Mat-100
5. Arteaga Gonzalo Apuntes de Clases de Álgebra Mat-100
6. Amusquivar Wilma Apuntes de Clases de Álgebra Mat-100
7. Cordero Sonia Apuntes de Clases de Álgebra Mat-100
8. Plantel Docente de Álgebra Apuntes de Clases de Álgebra Mat-100
Facultad de Ingeniería UMSA