Función biyectiva
De Wikipedia, la enciclopedia encyclopedia
En matemáticas, 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, dada una función :
La función es biyectiva si se cumple la siguiente condición:
- !\ x\in X\;/\quad f(x)=y}
Es decir, para todo de se cumple que existe un único de , tal que la función evaluada en es igual a .
Dados dos conjuntos finitos e , entonces existirá una biyección entre ambos si y solo si e tienen el mismo número de elementos.