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 inicialX) 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.