Unidad 1 / Escenario 2

Lectura fundamental

Relaciones y funciones

Contenido

1 Relación (binaria)

2 Funciones

3 Ejercicios

f r ncias

Palabras claves:
elación de equivalencia, relación de orden, función.
 Introducción

Establecer conexiones entre un conjunto de datos es una tarea común en áreas como data science, IA o minería de
datos. Existen diversas formas de crear una relación entre los datos, en esta lectura se presentan las de mayor uso.
1

1. Relación (binaria)

En muchas situaciones cotidianas se establecen relaciones entre diferentes objetos, por ejemplo, cuando se asocia
cada persona con su número de identificación, se asocia un estudiante con los módulos que cursa o los aspirantes
a un cargo con el puntaje obtenido durante la entrevista. Cada una de estas relaciones puede ser modelada
matemáticamente a través de parejas ordenadas (o n-tuplas) tomadas del producto cartesiano entre conjuntos.

En esta sección se desarrolla el concepto de relación y se establecen sus principales características.

Definición 1 (Relación). Dados dos conjuntos A y B, una relación de A a B es un subconjunto R de

A ⇥ B. Si B es igual al conjunto A, se dice que R es una relación en A. A R A = R(A)

Ejemplo 1.

No todos están allí

• Si A = {2, 4, 6, 8} y B = {X, Y, Z, W } entonces una relación de A a B es el conjunto R = {(2, Y ), (6, X), (8, Y ), (6, Z)}

• Si A = {False, True} entonces una relación sobre A es R = {(False, True), (True, False), (True, True)}

• Si A = Q y B = R entonces una relación R de A a B es el conjunto {(x, y) : x = y2}

Una pareja donde el primero sea la raíz del
• Si A = Z entonces una relación en A es R = {(x, y) : x + y = 1} segundo
Una pareja de reales dónde la suma sea igual a uno
• Si A = R entonces una relación en A es R = {(x, y) : x  y}
x relacionado con todos los reales mayores o iguales
• Si A corresponde al conjunto de personas en el mundo, B el conjunto de ciudades en el planeta tierra,
entonces una relación R sería el conjunto de parejas ordenadas (x, y) donde x es una persona y y es la ciudad
donde reside la persona, actualmente. Relaciones en una base de datos.

En los ejemplos anteriores, el lector debe verificar que el conjunto R efectivamente es un subconjunto de A ⇥ B (o
⇥ A, si es el caso). Note que si los conjuntos A y B son finitos, entonces existen 2|A|·|B| relaciones de A a B.
Calcular la cardinalidad
Aunque la definición de relación presentada anteriormente parece distante de la idea intuitiva que se puede tener, se
evidenciará a través de esta lectura la pertinencia de la interpretación matemática del concepto.

POLITÉCNICO GRANCOLOMBIANO 1
 Cuando l a r elación Restá conformada por una l ista “pequeña” de parejas ordenadas es posible construir una des-
cripción visual de esta a través de un diagrama. Por ejemplo, como l a r elación R={(2, Y ) , ( 6, X), ( 8, Y ) , ( 6, Z)} se
puede r epresentar ası́:

X Y Z

2 6 8

Donde cada nodo es un elemento de l as parejas ordenadas en Ry cada arista dirigida “ !” i ndica l a r elación.
Por ejemplo, como l a pareja ( 2, Y ) 2 R, entonces existe una arista desde el nodo 2 al nodo Y .

Notación: dada una relación R, si (x, z) pertenece a R, entonces se dice que x está relacionado con z, a través
de R, y se denota por:
xRz
En caso contrario, se dice que x no está relacionado con z, a través de R y se denota por:

xRz

Ejemplo 2. Si R = {(2, 4), (3, 6), (5, 10), (7, 14)} entonces es correcto afirmar que: 2 R 4, 5 R 10, 3 R 8 y 14 R 7.

Dos relaciones distíntas

Observación: dadas dos relaciones R1 y R2 del conjunto A al conjunto B, también son relaciones entre A y B
los conjuntos: R1 [ R2, R1 \ R2, R1 R2, Rc1.
Unión, intersección, diferencia, complemento.

1.1. Propiedades de una relación

Existen caracterı́sticas deseables en una relación R, dado que expresan la forma en que se asocian los elementos.
Reconocer si se tiene o incumple alguna de estas propiedades, permite identificar la conexión entre los datos.

Las propiedades se describen a través de la siguiente definición:

Definición 2 (Propiedades de una relación). Si R es una relación binaria, sobre A entonces se dice que:

• R es una relación transitiva si siempre que x R z y z R w entonces x R w.

• R es una relación reflexiva si para todo a 2 A se tiene que a R a con sí mismo

• R es una relación simétrica si siempre que x R z entonces z R x al derecho y al revés

• R es una relación antisimétrica si para todo x, z 2 A se tiene que x R z y z R x implica que x = z

Lo opuesto de arriba

El siguiente ejemplo ilustra cada tipo de características.

POLITÉCNICO GRANCOLOMBIANO 2
 Ejemplo 3.

• Si R = {(1, b), (b, 2), (1, 2), (2, 1), (1, 1)}, entonces R es una relación transitiva, dado que si x R z y z R
w, entonces x R w. Por ejemplo, 1 R b y b R 2, con lo cual se debe tener que 1 R 2, lo que efectivamente
ocurre.

• Si R = {(1, b), (b, 2), (1, 2), (2, 1), (1, 1)} sobre A = {1, 2, b}, entonces R no es una relación reflexiva, dado que
(2, 2) o (b, b) no están en la relación. El que un solo elemento se repita no la hace reflexiva.

• Si R = {(a, a), (a, b), (b, a), (b, b)}, entonces R es una relación simétrica, dado que si una pareja (x, z) está en
R, entonces el par (z, x) también lo está.

• Si R = {(1, 1), (2, 4), (3, 6), (4, 8), (2, 8)} es una relación antisimétrica, dado que la única forma para que
un par ordenado (x, z) y (z, x) estén simultanemente en R es cuando x = z.

Revisar si una relación satisface alguna de las propiedades, requiere tener claridad sobre los elementos de la
relación, por ejemplo, si R = {(x, y) : x < y} es una relación definida sobre Z, entonces es correcto afirmar que R es
transitiva, no es reflexiva, no es simétrica, pero si antisimétrica.

Si R={(x, y) : x divide a y} es una r elación s obre Z, entonces Res una r elación que es transitiva y r eflexiva, pero no
es s imétrica ( por ejemplo: 4 R8 pero 8 R 4), ni antisimétrica ( por ejemplo: 1 R 1 y 1 R1 pero 1 6 = 1).

Dependiendo de las propiedades que satisfacen una relación, se puede establecer una clasificación de la misma. A
continuación se exponen las principales categorías.
3

1.2. Relación de equivalencia

Definición 3 ( Relación de equivalencia). Sea R una r elación s obre un conjunto A, s i Res una r elación
transitiva, r eflexiva y s imétrica, entonces s e dice que Res una r elación de equivalencia

Ejemplo 4. Sea R = {(x, z) : x2 = z 2 } una relación sobre R, entonces R es una relación de equivalencia.

Justificación:

• R es transitiva: si x R z y z R w, entonces x2 = z2 y z2 = w2, luego x2 = w2, con lo cual x R

w.

• R es reflexiva: si x 2 R entonces, x2 = x2, por lo tanto, x R x para todo x 2 R.

• R es simétrica: si x R z entonces, x2 = z2, or lo tanto, z2 = x2, ası́ que z R x.

Ejemplo 5. Si R = {(x, z) : x es hermano de z} es la relación definida sobre el conjunto de personas, entonces R
es una relación de equivalencia.

Justificación: antes de comprobar que R es una relación de equivalencia, se aclara que el concepto de hermano hace
referencia a ser hijos de los mismos padres.

POLITÉCNICO GRANCOLOMBIANO 3
 • R es transitiva: si x R z y z R w, entonces x es hermano de z y z es hermano de w, luego x es hermano de
w, con lo cual x R w.

• R es simétrica: si x R z, entonces x es hermano de z, por lo tanto, z es hermano de x, con lo cual z R x.

• R es r eflexiva: si x es una persona, entonces x es hermano de s í mismo, por l o tanto, x Rx para toda persona
x.

Ejemplo 6. Si R = {(x, z) : x ⌘ z(mod 2)} es una relación definida sobre Z, entonces R es una relación de
equivalencia.

Justificación:

• R es transitiva: si x R z y z R w entonces x ⌘ z(mod 2) y z ⌘ w(mod 2), es decir 2 divide a (x z) y 2

divide a (z w), por lo tanto 2 divide a (x z) + (z w) = (x w) con lo cual x R w.

• R es simétrica: si x R z entonces x ⌘ z(mod 2), con lo cual 2 divide a (x z). Por lo tanto, 2 divide a z x,
es decir z R x

• R es reflexiva: si x 2 Z entonces x x = 0, luego 2 divide a x x. Por lo tanto, x R x.

Una relación de equivalencia R “divide” al conjunto sobre el cual está dada la relación, en subconjuntos denomi-
nados clases de equivalencia. Estos subconjuntos satisfacen propiedades interesantes.

Definición 4. Sea R una relación de equivalencia sobre A, z 2 A. Entonces, la clase de equivalencia del
elemento z corresponde al conjunto:
{x : x R z, x 2 A}
El cual se denota por [z]R (o simplemente [z]).

El conjunto de los números que acompañan al primer número

Es decir, la clase de equivalencia de z corresponde al conjunto de elementos de A que están relacionados con él.

Ejemplo 7. Si R = {(1, 1), (2, 2), (3, 3), (2, 3), (3, 2)} es una relación sobre A = {1, 2, 3} entonces:

• [1]R = {1}

• [2]R = {2, 3} = [3]R

Tienen el mismo reciduo cuando se dividen entre dos
Ejemplo 8. Si R = {(x, z) : x ⌘ z(mod 2)} es una relación definida sobre Z, entonces:

• [1]R = {. . . , 3, 1, 1, 3, 5, . . .} = [ 1]R = [3]R = · · ·

• [0]R = {. . . , 4, 2, 0, 2, 4, 6, . . .} = [2]R = [4]R = · · ·

Por lo tanto, en este caso solo existen solo dos clases de equivalencia distintas: [0]R y [1]R

POLITÉCNICO GRANCOLOMBIANO 4
 Las clases de equivalencia satisfacen lo siguiente. La demostración se propone como ejercicio.

Teorema 1. Si R es una relación de equivalencia sobre un conjunto A; a, b 2 A. Entonces:

1. a 2 [a] a es la segunda pareja de a

2. Si a R b entonces [a] = [b]. Clases de equivalencia iguales si están relacionados

3. Si a R b entonces [a] \ [b] = ;. Si no están relacionados sus clases de equivalencia no tendrán nada en común

Las relaciones de equivalencia son escenciales cuando se desea construir conexiones de similitud entre un conjunto
de datos. Cada clase de equivalencia representa un grupo de datos que son “equivalentes” entre sí y que cualquier
hecho1 sobre alguno de sus elementos es válido en cualquier otro de la clase.

Ahora, s e presenta otro tipo de r elación que es útil en procesos de clasificación de datos:
4

1.3. Relaciones de orden

Definición 5 (Relación de Orden). Una relación R sobre un conjunto A se denomian relación de orden
parcial si cumple lo siguiente:

• R es una relación transitiva.

• R es una relación reflexiva.

• R es una relación antisimétrica.

Si una relación R es transitiva y reflexiva se denomina un preorden.

Como lo indica su nombre, las relaciones de orden establecen una organización sobre los elementos de A. Por tal raz
ón, si R es un orden parcial, entonces el hecho que x R y se interpreta como “x es menor o igual a y” y se denota por x
R y.

Ejemplo 9.

• Si R = {(1, 1), (2, 2), (3, 3), (3, 2), (1, 3), (1, 2)}, entonces R es una relación de orden parcial sobre A = {1, 2,
3} y se tiene que 3 R 2 (o 3 R 2).

• Si R = {(x, y) : x divide a y}, entonces R es una relación de orden sobre Z y se tiene que 3 R 15, 10 R 0 pero 2
⇥R 3.

• R = {(x, y) : x  y} es una relación de orden parcial sobre R.

• Si A = P(C) para algún conjunto C, entonces R = {(x, y) : x ◆ y} es una relación de orden sobre A y C R ;

1
ue sea preservado por la relación de equivalencia

POLITÉCNICO GRANCOLOMBIANO 5
Si R es una relación de orden parcial sobre un conjunto A, se dice que dos elementos x, z 2 A son compa-rables si x R
z o z R x, en caso contrario, se dice que son incomparables. Por ejemplo, para la relación R = {(1, 1), (2, 2), (3, 3), (3,
2)} sobre {1, 2, 3} se tiene que los elementos 2 y 3 son comparables, pero los elementos 1 y 2 son incomparables.

Cuando s e tiene un orden s obre un conjunto, es posible que s e necesite establecer s i existe un elemento que s ea mayor
a todos l os demás , s i existe un elemento menor a todos, o si no existe un elemento menor a un elemento dado. Estas
ideas se vinculan con la siguiente definición.

Definición 6. Sea R una relación de orden parcial sobre un conjunto A y B ✓ A:

En otras palabras, b es el elemento más pequeño (o igual) en B según la relación de orden.
• b 2 B se denomina el mı́nimo de B si para todo elemento z 2 B se tiene que b R z
En resumen, b es el elemento más pequeño en B, y no hay ningún otro elemento más pequeño que b.
• b 2 B se denomina elemento mı́nimal de B si no existe z 2 B tal que z 6= b y z R b.
Es decir, b es el elemento más grande (o igual) en A según la relación de orden.
• b 2 B se denomina el máximo de B si para todo elemento z 2 B se tiene que z R b
En resumen, b es el elemento más grande en B, y no hay ningún otro elemento más grande que b.
• b 2 B se denomina elemento máximal de B si no existe z 2 B tal que z 6= b y b R z.

Es decir, b 2 Bes un elemento mínimo s i b es comparable con todo elemento z 2 By él es el menor de todos. Mientras
que b 2 Bes mínimal s i no existe z 2 B, distinto a b, que s ea menor a él.

En l a definición de elemento ini al, no es necesario que el elemento s e pueda comparar con l os demás miembros del
conjunto B, s olo s e necesita que no haya otro elemento en Bque s ea nor a él.

Ejemplo 10.

• Sea R = {(1, 1), (2, 2), (3, 3), (3, 2), (1, 3), (1, 2)} una relación de orden parcial sobre A = {1, 2, 3}; B = {2, 3},
entonces 3 es el elemento mı́nimo de B.

• Sea R = {(1, 1), (2, 2), (3, 3), (3, 2)} una relación de orden parcial sobre A = {1, 2, 3}; B = {1, 2, 3}, entonces 1
es el elemento mı́nimal de B al igual que 3. Note que 1 y 3 no son comparables.

• Sea R = {(x, y) : x divide a y} la relación de orden sobre Z, entonces para B = {1, 2, 3, 4, 6} se tiene que 1 es el
elemento mı́nimo. Pero si B = {2, 3, 4, 6}, entonces no existe elemento mı́nimo (dado que no hay nadie que se
pueda comparar con todos), pero 2 y 3 son elementos mı́nimales.

• Sea R = {(x, y) : x divide a y} la relación de orden sobre Z, entonces para B = {2, 3, 4, 12} se tiene que 12
es el máximo de B. Pero si B = {2, 3, 4, 12, 15}, entonces 15 es un elemento máximal de B y no es máximo.

Si A=R, ordenado de l a f orma usual, y B={x : x 2 R, 0 <x <2}, entonces Bno tiene elementos máximales, mínimales, ni
máximo, ni mínimo. Pero s í existe un elemento en Aque es mayor a todos l os elementos de B, por
ejemplo 3, lo que brinda una cota del conjunto.

POLITÉCNICO GRANCOLOMBIANO 6
 Definición 7. Sea R una relación de orden parcial sobre un conjunto A y B ✓ A:

• z 2 A se denomina cota superior de B si para todo elemento b 2 B se tiene que b R z

• z 2 A se denomina el supremo de B si es el mı́nimo de las cotas superiores de B.

• z 2 A se denomina cota inferior de B si para todo elemento b 2 B se tiene que z R b

• z 2 A se denomina el ı́nfimo de B si es el máximo de las cotas inferiores de B.

Se recomienda revisar con detalle los siguientes ejemplos, para comprender la definición anterior.

Ejemplo 11.

• Si A = R, ordenado de la forma usual, y B = {x : x 2 R, 0 < x < 2}, entonces son ejemplo de cotas superiores de
B: 2, 2.001, 2.01, 2.1, 3, 4, . . . dado que cualquiera de estos elementos es mayor a todo elemento de B.

• Si A = R, ordenado de la forma usual, y B = {x : x 2 R, 0 < x < 2}, entonces el supremo de B es 2, dado que es
el mı́nimo de la cotas superiores.

Observación: ara ser cota superior (o inferior) es necesario ser comparable con todos los elementos del conjunto
B.
Ejemplo 12.

• Sea R = {(x, y) : x divide a y} la relación de orden sobre Z, entonces para B = {2, 3, 4, 15} se tiene que
60, 120, 180, . . . son cotas superiores de B y que el supremo de B es 60.

• R = {(x, y) : x divide a y} la relación de orden sobre Z, entonces para B = {4, 14, 24} el ı́nfimo es 2.

• R = {(x, y) : x divide a y} la relación de orden sobre Z, entonces para B = {x : x 2 Z, x es un número primo}

el supremo es 0 y el ı́nfimo es 1.

En los ejercicios podrá explorar las nociones hasta aquı́ construidas y observar lo ideales que son para resolver
ciertos interrogantes.

Para finalizar esta lectura, se presentará una noción que aparece en diferentes áreas de conocimiento.
5

2. Funciones

Una función es de aquellos conceptos que principalmente se estudia en los cursos de matemámticas, pero que
aparecen con frecuencia en programación. Es el recurso ideal para representar la transformación de un objeto en
otro, o para describir la dependencia entre dos variables. En esta sección revisamos esta noción desde un punto
más amplio.

POLITÉCNICO GRANCOLOMBIANO 7
 Definición 8. Sea f una relación de un conjunto A a un conjunto B, es decir, f ✓ A ⇥ B, se dice que f es una
función de A a B si:

• Para todo a 2 Aexiste un b 2 Btal que ( a, b) 2 f.

• Si ( a, b) 2 f y ( a, c) 2 f, entonces b =c.

se denota por:
f :A !B

Es decir, una relación es una función f ✓ A ⇥ B si todo elemento de A está relacionado con un elemento de B de
forma única.

Un ejemplo de una relación entre dos conjuntos que es una función, es la relación entre las personas de aula de
clase y las edades de cada individuo. En este caso, cada persona se relaciona con un número natural (su edad) de
forma única.

Un ejemplo de una relación que no es función, es la relación entre las personas de un aula de clase y los
cursos que se encuentran tomando. En esta situación, puede existir que una persona esté desarrollando
dos asignaturas diferentes, por lo tanto estará relacionado con dos elementos distintos del conjunto de asignaturas.

Notación: si f es una función de A en B, ntonces el hecho que (a, b) 2 f se simboliza como f (a) = b y se lee “f
de a es igual a b”.

Ejemplo 13.

• Si A = { 1, 1, 2, 3} y B = {1, 4, 9}, entonces f = {( 1, 1), (1, 1), ( 2, 4), (3, 9)} es una función de A en B y
se tiene que f ( 2) = 4, por ejemplo.

• Si A = {1, 4, 9} y B = { 1, 1, 2, 3}, entonces f = {(1, 1), (1, 1), (4, 2), (9, 3)} no es una función de A en B,
por ejemplo, 1 está relacionado con 1 y 1.

• Si A = R y B = Z, entonces f = {(x, bxc) : x 2 A}2 es una función y f ( 3.5) = 4, f (5.7) = 5 por ejemplo.
n⇣ p ⌘ o p q
• Si A = R y B = R, entonces f x, x2 + 1 : x 2 A es una función y f (1) = 2, f 1
2 = 5
4,
= f (0) = 1, por ejemplo.

A la noción d f nción s i n n asociados los siguientes conceptos:

Definición 9. Sea f : A ! B una función, n onc s

• El dominio de f es el conjunto A, que se denota por dom(f ).

• El codominio de f es el conjunto B, que se denota por codom(f ).

• El rango de f es el conjunto {y : y 2 B ^ 9x 2 A[f (x) = y]}, que se denota por rang(f ).

2
bxc es el mayor entero, que es menor o igual a x.

POLITÉCNICO GRANCOLOMBIANO 8
 Ejemplo 14.

• Si f = {( 1, 1), (1, 1), ( 2, 4), (3, 9)} es una función de A en B = Z, entonces dom(f ) = { 1, 1, 2, 4}, es
decir, el conjunto de las primeras coordenadas de f .

• Si f = {( 1, 1), (1, 1), ( 2, 4), (3, 9)} es una función de A en B = Z, entonces codom(f ) = Z.

• Si f = {( 1, 1), (1, 1), ( 2, 4), (3, 9)} es una función de A en B = Z, entonces rang(f ) = {1, 4, 9}.
n⇣ p ⌘ o
• Sea f : R ! R la función que corresponde al conjunto f = x, x2 + 1 : x 2 R entonces, dom(f ) = R,
codom(f ) = R y rang(f ) = {y : y 2 R ^ y 1} = [1, 1).

Debe notar que rang(f) ✓ codom(f). Si se piensa que una función es un intrumento que transforma objetos, entonces
el dominio de f corresponde al conjunto de los objetos que se des an transformar, el codominio de f es el
conjunto que describe a qué tipo de objeto se desea convertir a través de f, y el rango corresponde a los objetos
se obtienen al aplicar la función.

Definición 10. Sean f : A ! B, g : ! D dos funciones. Entonces, se dice que f es igual a g y se denota
por f = g si se cumple que:
f (x) = g(x) 8x 2 A

Ejemplo 15. Si f : Z ! Z es l a f unción dada por l a r elación {(x, x2) : x 2 Z} y g : Z ! Qdada por l a r elación {(x,
x2) : x 2 Z}, entonces f =g, d bido a que para todo elemento del dominio de f y g s e tiene que f(x) =g(x).
6

2.1. Función inyectiva y sobreyectiva

Con el objetivo de caracterizar diferentes tipos de función, se presenta la siguiente definición:

Definición 11. Sea f : A ! B una función, ntonces:

• Se dice que f es inyectiva si elementos distintos del dominio de f se relacionan con elementos distintos
de B. De manera formal:
8x, y 2 A(x 6= y ) f (x) 6= f (y)

• Se dice que f es sobreyectiva si todo elemento del codominio de f está relacionado con algún elemento
de A. De manera formal:
8b 2 B9x 2 A(f (x) = b)

• Se dice que f es biyectiva si f es inyectiva y sobreyectiva.

Ejemplo 16.

• Sea f : Z ! R la función que corresponde a la relación {(x, x + 1) : x 2 Z , ntonces, f es una función inyectiva,
dado que para dos elementos x, y distintos del dominio de f se tiene que f (x) = x+1 6= f (y) = y+1.

POLITÉCNICO GRANCOLOMBIANO 9
 • Sea f : R ! R la función que corresponde a la relación {(x, x3 x) : x 2 R}, entonces f es una función
sobreyectiva, dado que para todo elemento z del codominio existe un elemento x del dominio de f , tal que (x, z)
2 f.

• Sea f : R ! R la función que corresponde a la relación {(x, 3x 1) : x 2 R} es una función biyectiva.

Note además que:

Ejemplo 17.

• Si f : Z ! R es la función que c responde

or
p a la relación {(x, x + 1) : x 2 Z}, ntonces, f n es unaofunción
p
sobreyectiva, dado que para z = 2 no existe un elemento del dominio de f, tal que f (x) = 2

• Si f : R ! R es la función que corresponde a la relación {(x, x3 x) : x 2 R}, entonces f no es una función

inyectiva, dado que para x = 1 y w = 1, se tiene que f (x) = 0 = f (w) y x 6= w.

En otras palabras, una función es inyectiva si al aplicar la función f a dos objetos diferentes el resultado será
siempre diferente. Una función es sobreyectiva si para todo objeto del codominio de f existe al menos un elemento
que al aplicar la función su resultado será el objeto deseado.
7

2.2. Composición de funciones

Una forma de establecer nuevas funciones es a través del concepto de composición de funciones.

Definición 12. Sean f : A ! B, g : B ! C funciones, ntonces la composición de f y g es la función h : A !

C, dada por la relación {(a, c) : a 2 A, c 2 C ^ 9b 2 B[f (a) = b y g(b) = c]}, la función h también se denota por g
f.

Ejemplo 18.

• Si f = {(a, 1), (b, 1), (c, 2)} y g = {(1, z), (2, w), (3, a)} son funciones, entonces g f es la función dada por la
relación {(a, z), (b, z), (c, w)}

• Si f = {(x, x2 ) : x 2 R}, g = {(x, x + 1) : x 2 R} son funciones, entonces g f es la función dada por la

relación {(x, x2 + 1) : x 2 R}

La composición de funciones se puede pensar intuitivamente como el resultado de colocar dos procesos en secuencia,
f g
A ! B ! C, donde el resultado del primer proceso es el insumo del segundo. Por lo tanto, si lo que se obtiene en
el primer proceso no está en el dominio de la segunda función, entonces no se puede establecer la composición.
p
Ejemplo 19. Si f = {(x, x + 1) : x 2 Z} y g = {(x, x) : x 2 R ^ x 0} son funciones, note que g f no es
posible, dado que al aplicar f al valor 5 se obtiene f ( 5) = 4, pero 4 no está en el dominio de g.

POLITÉCNICO GRANCOLOMBIANO 10
8

2.3. Inversa de una función

Cuando se piensa en una función como un elemento que transforma objetos, es natural pensar en qué situaciones
existe otra función que “devuelva” el objeto transformado a su estado inicial. En esta última sección de la lectura
se abordará esta cuestión.

Antes de establecer las condiciones para que exista una función que realice la operación “contraria” a una función
dada, es necesario introducir unas definiciones.

Definición 13 (Función identidad). Si A es un conjunto, entonces la función iA = {(x, x) : x 2 A} se denomina la

función identidad del conjunto A.

Ejemplo 20. Si A = {a, b, c, d}, entonces iA corresponde a la función {(a, a), (b, b), (c, c), (d, d)}

Definición 14 (Relación inversa). Si R es una relación sobre un conjunto A, entonces la relación inversa R 1

corresponde al conjunto {(y, x) : (x, y) 2 R}

Es decir, la relación inversa contiene las parejas de la relación R al “revés”.

Ejemplo 21. Si R ={(x, x, +1) : x 2 R}, entonces R 1 corresponde a {(x +1, x) : x 2 R}

Note que si f es una función, entonces no necesariamente se tiene que la relación f 1 sea una función, por ejemplo,
analice la situación f = {(x, x2 ) : x 2 R}. Por lo tanto, se tiene la siguiente definición:

Definición 15 (Función inversa). Si f : A ! B es una función, entonces se dice que f es invertible si la relaci
ón f 1 es una función de B a A.

Note las dos condiciones que son necesarias para que una función sea invertible:

• f 1 debe ser una función.

• El dominio de f 1 debe ser B.

El s iguiente teorema estable condiciones necesarias y s uficientes para que una f unción s ea i nvertible, s in necesidad
de construir l a r elación f 1y verificar s i esta es una f unción.
Teorema 2. f : A!Bes una f unción i nvertible s í y s olo s í f es una f unción biyectiva.

A continuación se expone la relación entre la función identidad y la función inversa.

Teorema 3. f : A ! B es una función invertible, entonces f 1 f = iA y f f 1= iB .

Ejemplo 22. Si f : Z ! Z es la función definida por la relación {(x, x + 1) : x 2 Z}, entonces f 1= {(y, y 1) : y 2
Z} es la función inversa y f 1 f = iZ.

POLITÉCNICO GRANCOLOMBIANO 11
9

3. Ejercicios
Los sig i n s rcicios i n n co o ob i o afianc los conc os r s n ados n la l c ra. o s d b n
n r gar al or d l ód lo.
1. Si A = {1, 2} y B = {X, Y } liste todas las relaciones (binarias) posibles de A a B.

2. Si R = {(x, y) : x divide a y} la relación sobre A = {1, 2, 3, 4, 9, 6}. Construya la representación gráfica de la

relación.

3. Sea R la siguiente relación de equivalencia en el conjunto A = {1, 2, 3, 4, 5, 6}:

R = {(1, 1), (1, 5), (2, 2), (2, 3), (2, 6), (3, 2), (3, 3), (3, 6), (4, 4), (5, 1), (5, 5), (6, 2), (6, 3), (6, 6)}

la cantidad de clases de equivalencia distintas en A/R es

a) 6 d) 7
b) 14
c) 3 e) 2

. Construya una relación R tal que sea transitiva pero no reflexiva.

. Determine qué propiedades ( transitiva, r eflexi a, s imétrica o antisimétrica o ninguna) s atisface cada una de
las s iguientes r elaciones s obre Q:
1
a) xRy si x ⇤ y = 1 c) xRy si x ⇤ y =1
b) xRy si x y = z 2 para algún z 2 Q d ) xRy si x + y = 1

6. Dado el conjunto A = {a, b, c, d} y R = {(a, a), (b, b), (c, c), (d, d), (a, b), (a, c), (a, d), (c, d)} una relación de
orden sobre A. Entonces, determine:

a) El elemento mı́nimo de B = {c, d}. d ) Un elemento máximal de B = {b, c, d}

b) El elemento máximo de B = {a, c, d}.
c) Un elemento mı́nimal de B = {b, c, d} e) El ı́nfimo de B = {b, d}

7. Dada la relación R = {(x3, x2) : x 2 R}, determine si esta es una función de R a R.

8. Si f : A ! B es una función dada por la relación {(x, x21+1 ) : x 2 R}, determine el dominio, codominio y
rango de f .

9. Verifique que la función f = {(x, sin(x)) : x 2 [ ⇡/2, ⇡/2]} es una función biyectiva.

10. Determine la función inversa de f = {(x, 3x + 1) : x 2 R}

POLITÉCNICO GRANCOLOMBIANO 12