Relaciones y el concepto de función

María Ángela Flores -P.

 Relaciones Binarias.
Sean A y B dos conjuntos. Una relación (binaria) R de A en B es un
subconjunto de 𝐴 𝑥 𝐵: 𝑅 𝐴 𝑥 𝐵 = (𝑎, 𝑏)/𝑎 ∈ 𝐴; 𝑏 ∈ 𝐵
Escribiremos 𝑎𝑅𝑏 para indicar que (𝑎, 𝑏) ∈ 𝑅 y 𝑎𝑅𝑏
/ para expresar que
(a; b) ∉R. Si 𝑎𝑅𝑏 diremos que a está relacionado con b.
Si 𝑅 es una relación de 𝐴 en sí mismo, por ejemplo, 𝑅𝐴𝑥𝐴, diremos que
es una relación en A.

2
 Ejemplo
Sea 𝐴 = {ℎ𝑢𝑒𝑣𝑜𝑠, 𝑙𝑒𝑐ℎ𝑒, 𝑚𝑎í𝑧} y 𝐵 = {𝑣𝑎𝑐𝑎𝑠, 𝑐𝑎𝑏𝑟𝑎𝑠, 𝑔𝑎𝑙𝑙𝑖𝑛𝑎𝑠}. Escribir la
relación 𝑅 de 𝐴 a 𝐵 definida por:
𝑎, 𝑏 ∈ 𝑅 ↔ 𝑎 𝑒𝑠 𝑝𝑟𝑜𝑑𝑢𝑐𝑖𝑑𝑜 𝑝𝑜𝑟 𝑏
Solución
La relación sería:
𝑅 = {(ℎ𝑢𝑒𝑣𝑜𝑠, 𝑔𝑎𝑙𝑙𝑖𝑛𝑎𝑠), (𝑙𝑒𝑐ℎ𝑒, 𝑣𝑎𝑐𝑎𝑠), (𝑙𝑒𝑐ℎ𝑒, 𝑐𝑎𝑏𝑟𝑎𝑠)}

3
 Ejemplo
Sea R la relación “es un múltiplo de” en el conjunto de los enteros
positivos.

Entonces, 4𝑅2 pero 2𝑅4.

/ Más generalmente, 𝑥𝑅𝑦 si, y sólo si 𝑥 = 𝑘𝑦,
+
para algún k∈ 𝑍 . Así para todo 𝑥, 𝑥𝑅1. Si 𝑝 > 1, entonces p es primo si
𝑥𝑅𝑝 implica que 𝑥 = 1 o 𝑥 = 𝑝. Un número 𝑥 es impar si 𝑥𝑅2. /

4
 Ejercicio propuesto

Indica los pares ordenados de la relación 𝑅 de 𝐴 = {0, 1, 2, 3, 4, 5} en

𝐵 = {0, 1, 2,3} donde (𝑎, 𝑏) ∈ 𝑅 si, y sólo si, se verifica que:

1. 𝑎 = 𝑏

2. 𝑎 + 𝑏 = 4

3. 𝑎 > 𝑏

Realiza el gráfico de la Relación

5
 Dominio, Rango y relación Inversa
Definición. En toda relación binaria entre los conjuntos A y B, el dominio de R es el
conjunto formado por todos aquellos elementos de 𝐴, que admiten imagen en 𝐵.
Simbólicamente: 𝐷𝑜𝑚𝑅 = 𝑥 ∈ 𝐴 / 𝑥, 𝑦 ∈ 𝑹

Definición. El Rango de R es la totalidad de los elementos de 𝐵, que admiten un

antecedente o preimagen en 𝐴. Simbólicamente, 𝑅𝑔𝑜𝑅 = 𝑦 ∈ 𝐵 / 𝑥, 𝑦 ∈ 𝑹

Definición. La relación inversa de R es el subconjunto de 𝐵 × 𝐴, definido por

𝑹−1 = 𝑦, 𝑥 / 𝑥, 𝑦 ∈ 𝑹

6
 Propiedades de las relaciones

Sea 𝑹 una relación en un conjunto 𝐴

 La relación 𝑹 es reflexiva si ∀𝑎 ∈ 𝐴, 𝑎𝑹𝑎

 La relación 𝑹 es simétrica si ∀𝑎, 𝑏 ∈ 𝐴, 𝑎𝑹𝑏  𝑏𝑹𝑎

 La relación 𝑹 es antisimétrica si ∀𝑎, 𝑏 ∈ 𝐴, 𝑎𝑹𝑏 𝑏𝑹𝑎 𝑎 = 𝑏

 La relación 𝑹 es transitiva si ∀𝑎, 𝑏, 𝑐 ∈ 𝐴, 𝑎𝑹𝑏 𝑏𝑹𝑐 𝑎𝑹𝑐

7
 El concepto de función como relación.

El concepto de funciones es uno de los más importantes en matemática, sobre

el se edifica todo el andamiaje del cálculo.

Definición. Una relación 𝑹 entre dos conjuntos 𝐴 y 𝐵 se dice que es una función
de A en B si satisface la siguiente condición

∀𝑎 ∈ 𝐴, ∃𝑏 ∈ 𝐵/ 𝑎𝑹𝑏

8
 El concepto de función como relación.

De tal manera que para cada elemento del conjunto de salida o Dominio, existe
uno y solamente un elemento del conjunto de llegada o rango.
Esto significa que para que la relación en estudio sea una función, es necesario
que la relación cumpla con dos condiciones de la definición:

◦ Para cada elemento de 𝑎 ∈ 𝐴 existe un elemento 𝑏 ∈ 𝐵 tal que (𝑎, 𝑏) ∈ 𝑅.

◦ El elemento 𝑏 cumpla con la condición de ser único, a tiene un relacionado
único.

9
Ejercicios

10
 Ejercicios

Recorrido: rango

11
 Referencias
http://www.luiszegarra.cl/moodle/mod/resource/view.php?id=24
Uzcátegui, Carlos. (2010) Elementos de Matemática II. Facultad de Ciencias Universidad de los
Andes
González, Francisco (2004) Apuntes de Matemática Discreta. Escuela Superior de Ingeniería.
Universidad de Cádiz

12