En matemtica, una funcin

es biyectiva si es al mismo tiempo inyectiva y

sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen
distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le
corresponde un elemento del conjunto de salida.
Formalmente,

Una implicacin directa de lo anterior, es que en una funcin biyectiva la cardinalidad

del conjunto de salida o dominio, y el de llegada o codominio, son iguales. Esto tambin
se puede ver en el ejemplo, donde |X|=|Y|=4.

Contenido
[ocultar]
1 Teorema
o 1.1 Ejemplo
2 Vase tambin
3 Referencias

4 Enlaces externos

[editar] Teorema
Si es una funcin biyectiva, entonces su funcin inversa
biyectiva.

existe y tambin es

[editar] Ejemplo
La funcin:

es biyectiva.
Luego, su inversa:

tambin lo es.1
El siguiente diagrama se puede ver cuando la funcin es biyectiva:

Funciones

Inyectiva

No inyectiva

Sobreyectiva

Biyectiva

No sobreyectiva