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 Xal 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.