Las funciones trabajan como “asociadores” entre 2 conjuntos. Toman objetos de un conjunto de “partida” y lo asocian a alg煤n objeto de un conjunto de “llegada”. Para realizar esta asociaci贸n, la funci贸n sigue ciertas reglas.
- Cada objeto del conjunto de partida est谩 asociada a 1y s贸lo 1 del conjunto de llegada, pero no es as铆 al contrario.
- Los objetos del conjunto de llegada pueden estar asociadas a m谩s de uno o a ning煤n objeto del conjunto de partida.
- Algunos pueden no estar asociados a ninguno, otros a uno s贸lo, otros a dos, tres, etc. hasta el infinito(literalmente).
Si ning煤n objeto del conjunto de llegada est谩 asociado a m谩s de uno del conjunto de “partida”, entonces es una funci贸n Inyectiva
Si todos los objetos del conjunto de llegada est谩n asociadas a al menos un objeto del de “partida”, entonces es una funci贸n Sobreyectiva
Si se dan ambos casos anteriores, entonces TODOS los objetos de conjunto de llegada est谩n asociados a 1 y s贸lo 1 del conjunto de partida. En este caso la funci贸n es Biyectiva
Como cada objeto del conjunto de partida est谩 asociado a uno y s贸lo uno de los del conjunto de llegada, si la funci贸n es biyectiva, entonces hay una asociaci贸n de uno a uno entre los objetos de los 2 conjuntos, por lo tanto podemos ver un “camino de vuelta” desde los objetos de llegada hasta los de partida. Este “camino de vuelta” es la llamada funci贸n Inversa,y por esta relaci贸n 1 a 1 en las funciones biyectivas es que la existencia de la funci贸n inversa est谩 garantizada cuando la funci贸n es biyectiva
