CAPÍTULO 2.

RELACIONES Y FUNCIONES

RELACIÓN. Se denomina relación al conjunto de pares ordenados, subconjunto de un producto

cartesiano, cuyas componentes están relacionadas entre sí bajo alguna regla de correspondencia.

NOTACIÓN. Toda relación dada por pares ordenados (x,y) se denotan por:

𝑥𝑅𝑦
(𝑥, 𝑦) ∈ 𝑅

Ejm) Sean 𝐴 = {5,7,14,23}; 𝐵 = {8,24,45}

𝑅 ∈𝐴×𝐵
(𝑥, 𝑦) ∈ 𝑅 ⇔ 𝑥 + 𝑦 𝑒𝑠 𝑝𝑟𝑖𝑚𝑜

Analizando el producto cartesiano para identificar los pares que corresonden a la relación:

𝐴 × 𝐵 = {(5,8), (5,24), (5,45), (7,8), (7,24), (7,45), (14,8), (14,24), (14,45), (23,8), (23,24), (23,45)}
Los pares ordenados que satisfacen la relación serán

𝑅 = {(5,8), (5,24), (7,24), (14,45), (23,8), (23,24)}

REPRESENTACIÓN.

A través de Diagramas de Venn

A través de esquemas cartesianos

Por matrices:

A/B 8 24 45
5 1 1 0
7 0 1 0
14 0 0 1
23 1 1 0

Donde se utiliza: 1 ∈ 𝑅; 0 ∉ 𝑅

DOOMINIO DE UNA RELACIÓN.

𝐷𝑅 = {𝑥/(𝑥, 𝑦) ∈ 𝑅}
IMAGEN DE UNA RELACIÓN.

𝐼𝑅 = {𝑦/(𝑥, 𝑦) ∈ 𝑅}

Del ejemplo:

𝐷𝑅 = {5,7,14,23}
𝐼𝑅 = {8,24,45}
RELACIÓN INVERSA.

Denotada por 𝑅 −1

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

Del ejemplo:

𝑅 = {(5,8), (5,24), (7,24), (14,45), (23,8), (23,24)}

𝑅 −1 = {(8,5), (24,5), (24,7), (45,14), (8,23), (24,23)}

COMPOSICIÓN DE RELACIONES.

Dadas dos relaciones: 𝑅 ∈ 𝐴 × 𝐵; 𝑆 ∈ 𝐵 × 𝐶, al componer ambas relaciones:

𝑆∘𝑅 ∈𝐴×𝐶

𝑆 ∘ 𝑅: 𝐴 → 𝐶
Ejm) Dadas las relaciones:

𝑅 = {(3,5), (7,2), (4,1), (2,5), (2,3)}

𝑆 = {(1,2), (3,1), (8,4), (3,3)}
Al componer 𝑆 ∘ 𝑅: 𝐴 → 𝐶:

𝑆 ∘ 𝑅 = {(4,2), (2,1), (2,3)}

Pero 𝑅 ∘ 𝑆: 𝐶 → 𝐴

𝑅 ∘ 𝑆 = {(1,5), (1,3), (8,1), (3,5)}

PROPIEDADES:

1) 𝑆 ∘ 𝑅 ≠ 𝑅 ∘ 𝑆
2) 𝑅 ∘ 𝑆 ∘ 𝑇 = (𝑅 ∘ 𝑆) ∘ 𝑇 = 𝑅 ∘ (𝑆 ∘ 𝑇)
3) (𝑅 ∘ 𝑆)−1 = 𝑆 −1 ∘ 𝑅 −1
Del ejemplo:

𝑅 = {(3,5), (7,2), (4,1), (2,5), (2,3)}

𝑆 = {(1,2), (3,1), (8,4), (3,3)}
Sus inversas:

𝑅 −1 = {(5,3), (2,7), (1,4), (5,2), (3,2)}

𝑆 −1 = {(2,1), (1,3), (4,8), (3,3)}
Al componer:

𝑆 −1 ∘ 𝑅 −1 = {(5,3), (1,8), (5,1), (3,1)}

Para demostrar:

(𝑅 ∘ 𝑆)−1 = 𝑆 −1 ∘ 𝑅 −1

𝑅 ∘ 𝑆 = {(1,5), (1,3), (8,1), (3,5)}

(𝑅 ∘ 𝑆)−1 = {(5,1), (3,1), (1,8), (5,3)}

Comparando:

(𝑅 ∘ 𝑆)−1 = 𝑆 −1 ∘ 𝑅 −1
{(5,1), (3,1), (1,8), (5,3)} = {(5,3), (1,8), (5,1), (3,1)}

Se verifica

RELACIONES DEFINIDAS EN UN CONJUNTO.

Donde 𝑅 ∈ 𝐴 × 𝐴
Ejm) Sea:

𝐴 = {3,7,15,27}
Donde 𝑅 ∈ 𝐴 × 𝐴 y está definida por:

(𝑥, 𝑦) ∈ 𝑅 ⇔ 𝑥|(𝑥 + 𝑦)
𝐴 × 𝐴 = {(3,3), (3,7), (3,15), (3,27), (7,3), (7,7), (7,15), (7,27), (15,3), (15,7), (15,15), (15,27), (27,3), (27,7), (27,15), (27,27)}

𝑅 = {(3,3), (3,15), (3,27), (7,7), (15,15), (27,27)}

PROPIEDADES. Dada una relación 𝑅 ⊂ 𝐴 × 𝐴:

1) REFLEXIVIDAD
𝑅 𝑒𝑠 𝑅𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴: 𝑥𝑅𝑥

𝑅 𝑒𝑠 𝑁𝑜 𝑅𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⟺ ∃𝑥 ∈ 𝐴/𝑥𝑅𝑥

𝑅 𝑒𝑠 𝐴𝑟𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴: 𝑥𝑅𝑥

2) SIMETRÍA
𝑅 𝑒𝑠 𝑆𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥

𝑅 𝑒𝑠 𝑁𝑜 𝑆𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∃𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐴/𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥

𝑅 𝑒𝑠 𝐴𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥

𝑅 𝑒𝑠 𝐴𝑛𝑡𝑖𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥 ⟺ 𝑥 = 𝑦

3) TRANSITIVIDAD
𝑅 𝑒𝑠 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴, ∀𝑧 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 ⟹ 𝑥𝑅𝑧

𝑅 𝑒𝑠 𝑁𝑜 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⟺ ∃𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐴, ∃𝑧 ∈ 𝐴/𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 ⟹ 𝑥𝑅𝑧

𝑅 𝑒𝑠 𝐴𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴, ∀𝑧 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 ⟹ 𝑥𝑅𝑧

 Del ejemplo:

𝐴 = {3,7,15,27}
𝑥𝑅𝑦 ⇔ 𝑥|(𝑥 + 𝑦)
𝑥+𝑦
𝑥|(𝑥 + 𝑦) ⟹ = 𝐾; 𝐾 ∈ ℤ
𝑥
𝑅 = {(3,3), (3,15), (3,27), (7,7), (15,15), (27,27)}

a) Reflexividad:
𝑥𝑅𝑥:

En los pares ordenados que contiene R están todos los elementos de A relacionados consigo
mismos, por lo tanto la relación R es reflexiva.

(3,3), (7,7), (15,15), (27,27) ∈ 𝑅

b) Simetría: (la idea es partir de 𝑥𝑅𝑦 y llegar a 𝑦𝑅𝑥)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℤ
𝑥

𝑥+𝑦
=𝐾
𝑥

𝑥 + 𝑦 = 𝐾𝑥

𝑦 + 𝑥 = 𝐾𝑥

𝑦+𝑥 𝑥
=𝐾
𝑦 𝑦
⏟
∈ℤ??

En general “y dividiría a x” y “x dividiría a y” solo si son iguales en valor absoluto, pero en el

ejemplo el conjunto A tiene pocos elementos, para los cuales se cumple que “y divide a x”
solamente si 𝑦 = 𝑥
Por lo tanto la relación es ANTISIMÉTRICA

c) Transitividad: (La idea es partir de 𝑥𝑅𝑦 y 𝑦𝑅𝑧 para llegar a 𝑥𝑅𝑧)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾1 ; 𝐾1 ∈ ℤ
𝑥
𝑦𝑅𝑧:
 𝑦+𝑧
= 𝐾2 ; 𝐾2 ∈ ℤ
𝑦
Para llegar a 𝑥𝑅𝑧 se debería obtener:
𝑥+𝑧
= 𝐾3 ; 𝐾3 ∈ ℤ
𝑥
El conjunto de análisis A contiene muy pocos elementos, los cuales no permiten visualizar
claramente la condición para llegar a 𝑥𝑅𝑧, pero con los pares ordenados que existen se puede
afirmar que la relación es TRANSITIVA.

Ejm2) Si el conjunto de análisis es mayor, se tiene 𝑅 ⊂ ℤ × ℤ y está definida por:

𝑥𝑅𝑦 ⇔ 𝑥|(𝑥 + 𝑦)
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℤ
𝑥

a) Reflexividad:
𝑥𝑅𝑥:
𝑥 + 𝑥 2𝑥
= = 2; 2 ∈ ℤ
𝑥 𝑥
R es reflexiva

b) Simetría: (la idea es partir de 𝑥𝑅𝑦 y llegar a 𝑦𝑅𝑥)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℤ
𝑥
𝑥+𝑦 𝑦
= 1 + = 𝐾; 𝐾 ∈ ℤ
𝑥 ⏟
𝑥
𝜖ℤ

La condición es que x es divisor de y

𝑥+𝑦
=𝐾
𝑥

𝑥 + 𝑦 = 𝐾𝑥

𝑦 + 𝑥 = 𝐾𝑥

𝑦+𝑥 𝑥
=𝐾
𝑦 𝑦
⏟
∈ℤ??

Solo en algunas ocasiones se cumple que “y divide a x”, pero se debe cumplir también la
condición inicial que “x divide a y”, lo que sucede solamente cuando 𝑥 = 𝑦 ∧ 𝑥 = −𝑦
 Por lo tanto la relación es NO SIMÉTRICA.

c) Transitividad: (La idea es partir de 𝑥𝑅𝑦 y 𝑦𝑅𝑧 para llegar a 𝑥𝑅𝑧)

𝑥𝑅𝑦:
𝑥+𝑦 𝑦 𝑦
= 1 + = 𝐾1 ; 𝐾1 ∈ ℤ ⟹ = 𝐾1 − 1
𝑥 𝑥 𝑥
𝑦𝑅𝑧:
𝑦+𝑧 𝑧 𝑧
= 1 + = 𝐾2 ; 𝐾2 ∈ ℤ ⟹ = 𝐾2 − 1
𝑦 𝑦 𝑦
Multiplicando:
𝑦𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥𝑦

𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑧
1+ = 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
= 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
(𝐾1 − 1) ⏟
=1+⏟ (𝐾2 − 1)
𝑥
𝜖ℤ 𝜖ℤ

Por lo tanto 𝑥𝑅𝑧 y la relación es TRANSITIVA

𝑅 = {(4,16), (16,48), (4,48), (5, −5), (−5,5) … . . }

Ejm3) Si el conjunto de análisis es más restringido: 𝑅 ⊂ ℕ × ℕ y está definida por:

𝑥𝑅𝑦 ⇔ 𝑥|(𝑥 + 𝑦)
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℕ
𝑥

a) Reflexividad:
𝑥𝑅𝑥:
 𝑥 + 𝑥 2𝑥
= = 2; 2 ∈ ℕ
𝑥 𝑥
R es reflexiva

b) Simetría: (la idea es partir de 𝑥𝑅𝑦 y llegar a 𝑦𝑅𝑥)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℕ
𝑥
𝑥+𝑦 𝑦
= 1 + = 𝐾; 𝐾 ∈ ℕ
𝑥 ⏟
𝑥
𝜖ℤ

La condición es que x es divisor de y

𝑥+𝑦
=𝐾
𝑥

𝑥 + 𝑦 = 𝐾𝑥

𝑦 + 𝑥 = 𝐾𝑥

𝑦+𝑥 𝑥
=𝐾
𝑦 𝑦
⏟
∈ℤ??

Solo en algunas ocasiones se cumple que “y divide a x”, pero se debe cumplir también la
condición inicial que “x divide a y”, lo que sucede solamente cuando 𝑥 = 𝑦
Por lo tanto la relación es ANTISIMÉTRICA.

c) Transitividad: (La idea es partir de 𝑥𝑅𝑦 y 𝑦𝑅𝑧 para llegar a 𝑥𝑅𝑧)

𝑥𝑅𝑦:
𝑥+𝑦 𝑦 𝑦
= 1 + = 𝐾1 ; 𝐾1 ∈ ℤ ⟹ = 𝐾1 − 1
𝑥 𝑥 𝑥
𝑦𝑅𝑧:
𝑦+𝑧 𝑧 𝑧
= 1 + = 𝐾2 ; 𝐾2 ∈ ℤ ⟹ = 𝐾2 − 1
𝑦 𝑦 𝑦
Multiplicando:
𝑦𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥𝑦

𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥
 𝑧
1+ = 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
= 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
= 1 + (𝐾
⏟ 1 − 1) (𝐾
⏟ 2 − 1)
𝑥
𝜖ℤ 𝜖ℤ

Por lo tanto 𝑥𝑅𝑧 y la relación es TRANSITIVA

Ejm4) Dada la relación 𝑅 ⊂ ℤ × ℤ

𝑥𝑅𝑦 ⟺ 3|𝑥 − 𝑦 (Relación congruencia módulo 3)

Lo que significa:
𝑥−𝑦
= 𝐾; 𝐾 ∈ ℤ
3
a) Reflexividad:
𝑥𝑅𝑥:
𝑥−𝑥
= 0; 0 ∈ ℤ
3
R es reflexiva
b) Simetría:

𝑥𝑅𝑦:
𝑥−𝑦
= 𝐾; 𝐾 ∈ ℤ
3

−(𝑦 − 𝑥)
= 𝐾; 𝐾 ∈ ℤ
3

𝑦−𝑥
= −𝐾; −𝐾 ∈ ℤ ⟹ 𝑦𝑅𝑥
3
R es simétrica

c) Transitividad:
 𝑥𝑅𝑦:
𝑥−𝑦
= 𝐾1 ; 𝐾1 ∈ ℤ
3
𝑦𝑅𝑧:
𝑦−𝑧
= 𝐾2 ; 𝐾2 ∈ ℤ
3
Sumando ambas:
𝑥−𝑦 𝑦−𝑧
+ = 𝐾1 + 𝐾2
3 3

𝑥−𝑧
=⏟
𝐾1 + 𝐾2 ⟹ 𝑥𝑅𝑧
3
𝜖ℤ

R es Transitiva

RELACION DE EQUIVALENCIA ~
- Reflexiva
- Simétrica
- Transitiva

Si 𝑥𝑅𝑦 ⟹ 𝑥~𝑦

CLASES DE EQUIVALENCIA.
A
.... Dada 𝑅 ⊂ 𝐴 × 𝐴 de equivalencia, sus clases de equivalencia particionan el conjunto A
K1
... 𝐾𝑎 = {𝑥/𝑥 ~𝑎}
Lo que significa (𝑥, 𝑎) ∈ 𝑅

Ejm) Del ejemplo anterior:

𝑅 ⊂ℤ×ℤ
𝑥𝑅𝑦 ⟺ 3|𝑥 − 𝑦 (Relación congruencia módulo 3)

Lo que significa:
𝑥−𝑦
= 𝐾; 𝐾 ∈ ℤ
3
Que es de equivalencia.

Sus clases de equivalencia:

𝐾𝑎 = {𝑥/𝑥 ~𝑎}
 𝑥~𝑎:
𝑥−𝑎
= 𝐾; 𝐾 ∈ ℤ
3
𝑥 = 𝑎 + 3𝐾
𝑎 = 0:

𝐾0 = {… … . , −6, −3,0,3,6,9, … . . }
𝑎 = 1:

𝐾1 = {… … . . , −8, −5, −2,1,4,7,10, … . }

𝑎 = 2:

𝐾2 = {… … … , −7, −4, −1,2,5,8,11, … . }

𝑎 = 3:

𝐾3 = {… … . −6, −3,0,3,6,9, … . . } = 𝐾0

CONJUNTO DE INDICES.

𝐼 = {𝑎/𝑎 𝑒𝑠 𝐾𝑎 }
Del ejemplo:

𝐼 = {0,1,2}
CONJUNTO COCIENTE.
𝐴
= {𝐾𝑎 /𝐾𝑎 𝑒𝑠 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑖𝑎}
~
Del ejemplo:
ℤ
= {𝐾0 , 𝐾1 , 𝐾2 }
~

RELACION DE ORDEN AMPLIO

- Reflexiva
- Antisimétrica
- Transitiva

RELACION DE ORDEN ESTRICTO

- Arreflexiva
- Asimétrica
- Transitivia

Las relaciones de orden pueden ser de orden total o de orden parcial

Ejm) Dada 𝑅 ⊂ ℝ × ℝ definida por:

𝑥𝑅𝑦 ⟺ 𝑥 2 − 𝑥 = 𝑦 2 − 𝑦
a) Reflexividad:
𝑥𝑅𝑥:

𝑥2 − 𝑥 = 𝑥2 − 𝑥
R es reflexiva

b) Simetría:
𝑥𝑅𝑦:

𝑥2 − 𝑥 = 𝑦2 − 𝑦

𝑦2 − 𝑦 = 𝑥2 − 𝑥
𝑦𝑅𝑥
R es simétrica

c) Transitividad:

𝑥𝑅𝑦:

𝑥2 − 𝑥 = 𝑦2 − 𝑦
𝑦𝑅𝑧:

𝑦2 − 𝑦 = 𝑧2 − 𝑧
Sumando ambos:

𝑥2 − 𝑥 + 𝑦2 − 𝑦 = 𝑦2 − 𝑦 + 𝑧2 − 𝑧

𝑥2 − 𝑥 = 𝑧2 − 𝑧
𝑥𝑅𝑧
R es transitiva

Luego R es de equivalencia

Las clases de equivalencia:

𝐾𝑎 = {𝑥/𝑥 ~𝑎}
𝑥~𝑎:

𝑥𝑅𝑎 ⟺ 𝑥 2 − 𝑥 = 𝑎2 − 𝑎
𝑥 2 − 𝑥 − 𝑎2 + 𝑎 = 0

1 ± √1 − 4(−𝑎2 + 𝑎)
𝑥=
2

1 ± √1 − 4𝑎 + 4𝑎2
𝑥=
2

1 ± √(1 − 2𝑎)2
𝑥=
2

1 ± (1 − 2𝑎)
𝑥=
2
𝑥1 = 1 − 𝑎 ; 𝑥2 = 𝑎
Luego:

𝐾𝑎 = {1 − 𝑎, 𝑎}

𝑎 = 0:

𝐾0 = {1,0}
𝑎 = 1:

𝐾1 = {0,1} = 𝐾0
𝑎 = 2:

𝐾2 = {−1,2}
𝑎 = −1:
 𝐾−1 = {2, −1} = 𝐾2
Las clases de equivalencia empiezan a repetirse desde el momento que ambos elementos
de la clase son iguales:
1
1−𝑎 =𝑎 ⟹𝑎 =
2
1
𝑎 = 2:

1 1 1
𝐾1 = { , } ⟹ 𝐾1 = { }
2 2 2 2 2
1
Luego las clases de equivalencia son conjuntos diferentes desde el momento en que 𝑎 =
2

Por lo tanto las clases de equivalencia:

1
𝐾𝑎 = {1 − 𝑎, 𝑎}; ∀𝑥 ∈ [ , ∞[
2
Conjunto de índices:
1
𝐼 = [ , ∞[
2
Conjunto cociente:
ℝ 1
= {𝐾𝑎 /𝑎 ∈ [ , ∞[}
~ 2