En
matemática, una
función 
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 implicación directa de lo anterior, es que en una función biyectiva la cardinalidad del conjunto de salida o
dominio, y el de llegada o
codominio, son iguales. Esto también se puede ver en el ejemplo, donde |X|=|Y|=4.
No hay comentarios:
Publicar un comentario