Dados dos conjuntos X, Y, consideremos a todas las posibles aplicaciones (funciones) que pueden formarse entre estos dos conjuntos. Podemos diferenciar los siguientes casos:
Si a cada imagen le corresponde una única preimagen, inyectiva.
Si la imagen de la función es igual al codominio, sobreyectiva o suprayectiva.
Una función que sea inyectiva y sobreyectiva simultáneamente, se denomina biyectiva .
Puede haber funciones que sean biyectivas, inyectivas pero no suprayectivas, supreyectiva pero no inyectiva o que no se cumple ninguna de esas condiciones, en cuyo caso no tiene un nombre especifico.
La función es inyectiva si, y 'solo si, la ecuación tiene a lo más una solución.
la función es biyectiva cuando, y sólo cuando, es inyectiva y suprayectiva a la vez.
En una función inyectiva, cada elemento imagen tiene única preimágen. Un función que no sea inyectiva, tendrá al menos dos elementos diferentes del dominio que tienen la misma imagen.
En una función suprayectiva (sobreyectiva) cada elemento del codominio es imagen de algún elemento del dominio. Una función no será suprayectiva, cuando al menos un elemento del codominio (conjunto final) no tenga una preimagen.
En el diagrama de Venn corresponden a las aplicaciones que pertenecen a A y no pertenecen a B, esto es las que pertenecen a la diferencia de A y B: A-B.
En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto Y tendrá mayor número de elementos que X cuando tratamos de compararlos.
Gráficas de Funciones Logaritmicas
View another webinar from Marcos Fatela
Una aplicación no inyectiva tiene al menos un elemento imagen que tiene dos o más orígenes y una sobreyectiva todos los elementos del conjunto final tienen al menos un elemento origen.
En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y si pertenecen a B, esto es las que pertenecen a la diferencia de B y A: B-A.
Para esta aplicación el conjunto X ha de tener mayor número de elementos que Y, la cardinalidad de X ha de ser mayor que la de Y.
Aplicación inyectiva y sobreyectiva (biyectiva)
Si una aplicación es inyectiva y sobreyectiva simultáneamente, se denomina biyectiva. Por ser inyectiva los elementos que tienen origen tienen un único origen y por ser sobreyectiva todos los elementos del conjunto final tienen origen.
En el diagrama de Venn el conjunto A es el de las aplicaciones inyectiva y el conjunto B el de las aplicaciones sobreyectiva, las aplicaciones biyectiva, que son inyectiva y sobreyectiva, será la intersección de A y B.
Estas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo número de elementos, la cardinalidad de X es la misma que la de Y, esto tiene una gran importancia cuando se pretende comparar dos conjuntos:
Si dados dos conjuntos podemos encontrar una aplicación biyectiva entre ellos, podemos afirmar, que los dos conjuntos tienen el mismo número de elementos. La cardinalidad de X es igual a la de Y.
La correspondencia que asocia cada pincel con la cara de su mismo color es una aplicación porque todos los pinceles tienen una cara con su color y solo una cara de ese color, la aplicación es inyectiva porque un pincel corresponde con una sola cara, y es sobreyectiva porque todas las caras tiene un pincel de su color, al ser inyectiva y sobreyectiva simultáneamente esta aplicación es biyectiva.
Una aplicación biyectiva hace corresponder los elementos del conjunto inicial con los del conjunto final uno a uno, pudiéndose decir que hay el mismo número de elementos en el conjunto inicial que en el final.