Antes de profundizar sobre la composición de funciones, debemos estudiar primero las relaciones que una función establece entre los elementos de
y
. Consideremos entonces algunas funciones que establecen relaciones muy particulares entre los elementos de conjuntos.
También pudiera interesarte
Función Inyectiva
Sea una función, decimos que esta es una función inyectiva si esta establece una relación uno a uno entre los elementos de
y de
, es decir que cada elemento de
está correspondido con único elemento de
y cada elemento de
está correspondido con un único elemento de
.
Formalmente, decimos que la función es inyectiva si para todo
se cumple lo siguiente:
o su contrarrecíproco que es es equivalente a:
Ejemplos
Ejemplo 1: Función inyectiva
Si consideramos la función definida como
, esta función no es inyectiva, esto se debe a que al tomar de forma muy particular, los elementos
y
de su dominio, al ser estos dos elementos distintos de su dominio, también deberían ser distintas sus imágenes, pero sus imágenes son diferentes pues,
Sin embargo, podemos identificar gráficamente una función inyectiva porque cualquier recta horizontal que tracemos en el plano cartesiano, cortará a la función en un único punto. Es por esto que este tipo de ecuaciones también se conocen como Funciones 1-1 o Funciones 1 a 1. Veamos algunos ejemplos de funciones inyectivas para entender con más claridad este concepto.
Ejemplos
Ejemplo 2: Función inyectiva
Si consideramos la función definida como
,

Ella sí es inyectiva pues podemos notar que cualquier recta horizontal corta a la función en exactamente un sólo punto.
Ejemplo 3: Función no inyectiva
Si consideramos la función definida como
,

Ella no es inyectiva. Ya que al trazar una recta horizontal por el punto , notamos que esta corta a la función en dos puntos. Básicamente lo que estamos notando es que el punto 4 tiene dos preimágenes: 2 y -2.
Ejemplo 4: Función inyectiva
Si consideramos la función definida como
,

Ella sí es inyectiva pues podemos notar que cualquier recta horizontal corta a la función en exactamente un sólo punto.
Con este último ejemplo, notamos que al restringir el dominio de la función cuadrática ésta sí cumplió con las condiciones para ser inyectiva. Podemos concluir con toda confianza, que el hecho de que una función sea inyectiva o no, depende enteramente de la forma en que esté definido su dominio.
Función Sobreyectiva
Sea una función, entonces
es una función sobreyectiva si todo elemento de
tiene una preimagen, es decir que
. Formalmente,
es sobreyectiva si:
Identificamos gráficamente el rango de una función trazando rectas horizontales, diremos que un punto del Eje Y está en el rango de la función si la recta horizontal que pasa por dicho punto, corta a la función.
Veamos algunos ejemplos de funciones inyectivas para entender con más claridad este concepto.
Ejemplos
Ejemplo 5: Función sobreyectiva
Si consideramos la función definida como
,

Ella sí es sobreyectiva pues .
Ejemplo 6: Función no sobreyectiva
Si consideramos la función definida como
,

Ella no es sobreyectiva, ya que .
Ejemplo 7: Función sobreyectiva
Si consideramos la función definida como
,

Ella sí es sobreyectiva pues .
Con este último ejemplo, notamos que al restringir el conjunto de llegada de la función raíz cuadrada ésta sí cumplió con las condiciones para ser sobreyectiva. Podemos concluir con toda confianza, que el hecho de que una función sea sobreyectiva o no, depende enteramente de la forma en que esté definido su rango.
Función Biyectiva
Diremos que la función es biyectiva si esta es inyectiva y sobreyectiva al mismo tiempo.
Ejemplos
Ejemplo 8: Función inyectiva y sobreyectiva
Si consideramos la función definida como
,

Ella sí es inyectiva pues podemos notar que cualquier recta horizontal corta a la función en exactamente un solo punto y además, sí es sobreyectiva ya que , por lo tanto, concluimos que esta función sí es biyectiva.
Ejemplo 9: Función no inyectiva y no sobreyectiva
Si consideramos la función definida como

A partir del valor absoluto involucrado en la función, debemos notar que esta función está definida de la siguiente forma:
- Si
entonces
.
- Si
entonces
.
- Si
entonces
.
Esta función no es inyectiva, pues si consideramos dos elementos mayores que cero, digamos, y
, sus imágenes son iguales pues
y
. Además, esta función no es sobreyectiva, pues el conjunto de llegada es igual a
y su rango es igual a
.
Por lo tanto, concluimos que esta función no es biyectiva.
Esto se puede apreciar gráficamente:

[…] Funciones Inyectivas, Sobreyectivas y Biyectivas […]
Me gustaMe gusta