Biyectividad

Una función es biyectiva, cuando es inyectiva y sobreyectiva al mismo tiempo. Formalmente:

∀y∈Codf ∃!x∈Domf / f(x)=y

Es decir, para cualquier elemento y del codominio existe un único elemento x del dominio tal que y es la imagen de x por f.

en general, si nos piden demostrar o comprobar que una función es biyectiva, debemos primero ver si la función es inyectiva y sobreyectiva, si no cumple al menos 1 de las dos condiciones anteriores, la función no es biyectiva.