![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Bijection.svg/langes-640px-Bijection.svg.png&w=640&q=50)
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.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Bijection.svg/200px-Bijection.svg.png)
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.