Función biyectiva

Una función biyectiva es aquella que cumple con la doble condición de ser inyectiva y
sobreyectiva. Es decir, que todos los elementos del dominio tienen una única imagen
en el codominio, y a su vez el codominio es igual al rango de la función ( Rf ).
cómo hacer una función biyectiva:
Para responder a esto es necesario tener claros los conceptos referentes a
Inyectividad y Sobreyectividad de una función, además de los criterios para
condicionar funciones en pro de adaptarlas a los requerimientos

Inyectividad de una función: Una función es inyectiva cuando cada uno de los
elementos de su dominio, está relacionado con un único elemento del codominio. Un
elemento del codominio solo podrá ser imagen de un único elemento del dominio, de
esta forma los valores de la variable dependiente no pueden repetirse.

Para considerar inyectiva a una función se debe cumplir lo siguiente:

∀ x1 ≠ x2 ⇒ F( x1 ) ≠ F( x2 )
Sobreyectividad de una función: una función es sobreyectiva, si cada elemento de su
codominio es imagen de al menos un elemento del dominio. Para considerar
sobreyectiva a una función se debe cumplir lo siguiente:

Sea F : Df → Cf
∀ b ℮ Cf E a ℮ Df /F(a)=b

Esta es la manera algebraica para establecer que para todo “b” que pertenece a Cf
existe un “a” que pertenece a Df tal que, la función evaluada en “a” es igual a “b”.

Condicionamiento de funciones
En ocasiones una función que no es biyectiva, puede someterse a ciertos
condicionamientos. Estás nuevas condiciones pueden convertirla en una función
biyectiva. Son válidos todo tipo de modificaciones al dominio y codominio de la
función, donde el objetico es cumplir las propiedades de inyectividad y sobreyectividad
en la relación correspondiente.
 Ejemplo:

Función Biyectiva y no biyectiva

cómo podemos observar a la izquierda, tenemos una función biyectiva. Observemos que
cada elemento del recorrido recibe una (y solo una) flecha, con lo que el número de
elementos del dominio debe coincidir con el número de elementos del recorrido. En la
ilustración superior derecha, una función que no es inyectiva, y por tanto tampoco
biyectiva. En la ilustración inferior derecha, una función que no es sobreyectiva, y por
tanto tampoco biyectiva.