Función inyectiva, suprayectiva y
biyectiva
Función inyectiva
Una función inyectiva es la que dos elementos diferentes de un primer conjunto les
corresponden otros dos elementos diferentes de un segundo conjunto.
En las funciones inyectivas se cumple el uno a uno, es decir, si a elementos distintos del
conjunto de salida o del dominio les corresponden elementos distintos en el conjunto de
llegada o codominio, expresado de otra manera, en el conjunto de salida (dominio) no
puede haber dos o más elementos que tengan la misma imagen de llegada.
Definición formal de función inyectiva
La definición formal de función inyectiva es:
La función inyectiva es la siguiente: f: X -> Y es inyectiva solamente si para los
elementos del conjunto X a y b se cumple que f(a) es igual a f(b) cuando a es igual
a b.
Prueba de la recta horizontal
En el estudio de funciones se denomina prueba de la recta horizontal al
procedimiento aplicado en la comprobación si una función es o no inyectiva. La
prueba consiste en dibujar una recta horizontal paralela al eje de abscisas y ver en
cuantos puntos corta dicha recta a la gráfica, donde corte en un máximo de un
punto, la función es inyectiva.
por definición:
La función f es biyectiva si y solo si cualquier línea horizontal se cruza con el gráfico
exactamente una vez.
Cardinalidad
Se entiende por cardinalidad a la medida del número de elementos en el conjunto.
Si tenemos dos conjuntos entre los que hay una función inyectiva se habla
de cardinalidad cuando para los elementos del primero son menores o iguales a
sus imágenes.
Función suprayectiva
También es llamada función sobreyectiva, se caracteriza porque el conjunto de
llegada coincide con el rango, es decir, una función cuya imagen es igual a su
codominio,
Definición formal de suprayectiva ó sobreyectiva
Se define función sobreyectiva como:
Una función F con dominio X y codominio Y es sobreyectiva si para cada
elemento en Y existe al menos un elemento en X tal que f(x)=y.
Representación gráfica de una función sobreyectiva
Gráficamente también se puede determinar si una función es sobreyectiva
observando su comportamiento en el sistema de coordenadas, por ejemplos:
f(x)=4x^3
si graficamos la función sería;
para esta función el dominio, el codominio y el recorrido son todos los números
reales, por lo tanto, como el recorrido es igual al codominio es una función
sobreyectiva.
Si vemos la función f(x)=3x^2+2
para esta función el dominio y el codominio son todos los números reales, y el
recorrido son
todos los números reales mayores a 2, pon tanto la función no es sobreyectiva.
Función biyectiva
Es inyectiva y suprayectiva, es decir, cuando todas las imágenes tienen una sola
pre-imagen y no existen elementos del codominio que no tengan una pre.imagen.
Es de recalcar que una función f de A en B es biyectiva si se cumple que, siendo x e
y elementos de A
Ejemplo de función biyectiva
Si tenemos f(x)=4x-3, comprobamos si la función es inyectiva para lo cual decimos
que;
f(x)=f(y)
4x-3=4y-3
si despejamos las variables;
4x=4y-3+3
4x=4y
x=y
como podemos ver se cumple con la afirmación anterior, donde, si dos imagen son
iguales las preimagenes son iguales por tanto la función es inyectiva;
Graficamos la función;
como se puede observar, el dominio, codominio y su recorrido corresponde a los
números reales, por tanto cumple con la condición de sobreyectiva o suprayectiva;
concluyendo que la función por ser inyectiva y sobreyectiva, la función f(x)=4x-3 es
biyectiva.