En matematicas, una funcion 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
:
![f](http://upload.wikimedia.org/math/8/f/a/8fa14cdd754f91cc6554c9e71929cce7.png)
La función es biyectiva si se cumple la siguiente condición:
Es decir, si para todo
de
se cumple que existe un único
de
, tal que la función evaluada en
es igual a
.
![y](http://upload.wikimedia.org/math/4/1/5/415290769594460e2e485922904f345d.png)
![Y](http://upload.wikimedia.org/math/5/7/c/57cec4137b614c87cb4e24a3d003a3e0.png)
![x](http://upload.wikimedia.org/math/9/d/d/9dd4e461268c8034f5c8564e155c67a6.png)
![X](http://upload.wikimedia.org/math/0/2/1/02129bb861061d1a052c592e2dc6b383.png)
![x](http://upload.wikimedia.org/math/9/d/d/9dd4e461268c8034f5c8564e155c67a6.png)
![y](http://upload.wikimedia.org/math/4/1/5/415290769594460e2e485922904f345d.png)
Dados dos conjuntos
e
finitos, entonces existirá una biyección entre ambos si y sólo si
e
tienen el mismo número de elementos.
![X](http://upload.wikimedia.org/math/0/2/1/02129bb861061d1a052c592e2dc6b383.png)
![Y](http://upload.wikimedia.org/math/5/7/c/57cec4137b614c87cb4e24a3d003a3e0.png)
![X](http://upload.wikimedia.org/math/0/2/1/02129bb861061d1a052c592e2dc6b383.png)
![Y](http://upload.wikimedia.org/math/5/7/c/57cec4137b614c87cb4e24a3d003a3e0.png)
7 Agosto 2013, Creado con GeoGebra |
7 Agosto 2013, Creado con GeoGebra |
No hay comentarios:
Publicar un comentario