Funciones inyectivas, sobreyectivas y biyectivas

La inyectividad, sobreyectividad y biyectividad dan informacin acerca de como se

relacionan los elementos del conjunto inicial X con el conjunto final Y.
Cabe recordar que una funcin f es una relacin que asigna a los elementos de un primer
conjunto (conjunto inicial X) un elemento de un segundo conjunto (conjunto final Y).

Funcin inyectiva
La funcin f es inyectiva si cada elemento del conjunto final Y tiene como mximo un
elemento del conjunto inicial X al que le corresponde. Es decir, no pueden haber ms de un
valor de X que tenga la misma imagen y.

En trminos matemticos, una funcin f es inyectiva si:

Ejemplo de funcin inyectiva

La funcin f(x) = 2x+1 es inyectiva.

Veamos que se cumple la condicin de inyectividad:

En efecto, si x y y tienen la misma imagen, necesariamente deben ser el mismo elemento.

Por lo tanto, f es inyectiva.

Funcin sobreyectiva
Una funcin f es sobreyectiva (o suprayectiva) si todo elemento del conjunto final Y tiene
al menos un elemento del conjunto inicial X al que le corresponde.

Es decir, una funcin es sobreyectiva si el recorrido de la funcin es el conjunto final Y. En

trminos matemticos, una funcin f es sobreyectiva si:

Ejemplo de funcin sobreyectiva

La funcin en los nmeros reales definida por f(x) = x+1 es sobreyectiva.

Esta funcin si que es sobreyectiva. Vamos a verlo demostrando que el recorrido de la funcin son
todos los nmeros reales.

El recorrido de la funcin es el mismo que el conjunto final Y, por lo que la f es

sobreyectiva.

Funcin biyectiva
Una funcin f es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. Es decir, si todo
elemento del conjunto final Y tiene un nico elemento del conjunto inicial X al que le corresponde
(condicin de funcin sobreyectiva) y todos los elementos del conjunto inicial X tiene una nica
imagen en el conjunto final Y (condicin de funcin inyectiva).

Tericamente, una funcin f es biyectiva si:

Ejemplo de funcin biyectiva

La funcin f(x) = 2x definida en los nmeros reales es biyectiva.

Para comprobarlo, veamos que f es inyectiva y sobreyectiva. Empezaremos por la

condicin de inyectividad:

Se cumple la condicin de inyectividad, por lo que ahora nos quedara demostrar la

sobreyectividad. Para ello, tenemos que demostrar que el recorrido de la funcin son todos
los
nmeros
reales.

La funcin tambin es sobreyectiva, por lo que f es biyectiva.

Inyectivo, sobreyectivo y biyectivo

"Inyectivo, sobreyectivo y biyectivo" te dan informacin sobre el comportamiento de una funcin.

Puedes entender una funcin como una manera de conectar elementos de un conjunto "A" a
los de otro conjunto "B":

"Inyectivo" significa que cada elemento de "B" tiene como mucho uno de "A" al que
corresponde (pero esto no nos dice que todos los elementos de "B" tengan alguno en "A").
"Sobreyectivo" significa que cada elemento de "B" tiene por lo menos uno de "A" (a lo
mejor ms de uno).
"Biyectivo" significa inyectivo y sobreyectivo a la vez. As que hay una correspondencia
perfecta "uno a uno" entre los elementos de los dos conjuntos.

Definiciones formales
Inyectivo

Una funcin f es inyectiva si, cuando f(x) = f(y), x = y.

Ejemplo: f(x) = x2 del conjunto de los nmeros naturales

es una funcin inyectiva.

(Pero f(x) = x2 no es inyectiva cuando es desde el conjunto de enteros

nmeros negativos) porque tienes por ejemplo

(esto incluye

f(2) = 4 y
f(-2) = 4)

Nota: inyectiva tambin se llama "uno a uno", pero esto se confunde porque suena un poco
como si fuera biyectiva.
Sobreyectivo (o tambin "epiyectivo")

Una funcin f (de un conjunto A a otro B) es sobreyectiva si para cada y en B, existe por lo
menos un x en A que cumple f(x) = y, en otras palabras f es sobreyectiva si y slo si f(A) =
B.

As que cada elemento de la imagen corresponde con un elemento del dominio por lo
menos.
Ejemplo: la funcin f(x) = 2x del conjunto de los nmeros naturales
pares no negativos es sobreyectiva.

al de los nmeros

Sin embargo, f(x) = 2x del conjunto de los nmeros naturales a no es sobreyectiva,

porque, por ejemplo, ningn elemento de va al 3 por esta funcin.
Biyectiva

Una funcin f (del conjunto A al B) es biyectiva si, para cada y en B, hay exactamente un x
en A que cumple que f(x) = y
Alternativamente, f es biyectiva si es a la vez inyectiva y sobreyectiva.
Ejemplo: La funcin f(x) = x2 del conjunto de nmeros reales positivos al mismo conjunto
es inyectiva y sobreyectiva. Por lo tanto es biyectiva.
(Pero no desde el conjunto de todos los nmeros reales porque podras tener por ejemplo

f(2)=4 y
f(-2)=4)