viernes, 1 de julio de 2011

función biyectiva

una función f \colon X \to Y \, 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,
\forall y\in Y : \exists !\ x\in X,\ f(x) = y
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