Clasificacin de las funciones

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 funcin es igual al codominio, sobreyectiva o suprayectiva.
Una funcin que sea inecti!a sobreecti!a simult"neamente, se denomina biyectiva .
Puede #aber funciones que sean biecti!as, inecti!as pero no supraecti!as, supreecti!a pero no
inecti!a o que no se cumple ninguna de esas condiciones, en cuo caso no tiene un nombre especifico.
$Definiciones alternas: sea dada sea b un elemento cualquiera del codominio Y.
%onsideremos la ecuacin
.
la funcin es supraecti!a o sobreecti!a si, slo si, la ecuacin siempre tiene al menos una
solucin.
la funcin es inecti!a si, $solo si, la ecuacin (&) tiene a lo m"s una solucin.
la funcin es biecti!a cuando, slo cuando, es inecti!a supraecti!a a la !e'.
(amos a ilustrar esos diferentes tipos de funciones (aplicaciones) en un Diagrama de (enn, el conjunto
uni!ersal U, representado por un rect"ngulo, es el conjunto de todas las posibles aplicaciones, el
conjunto A es aquel de las aplicaciones inecti!as, el conjunto B aquel de las sobreecti!as, esto nos
permite !er los distintos tipos de aplicaciones de un modo gr"fico.
Aplicacin inyectiva y no sobreyectiva
)n una funcin inecti!a, cada elemento imagen tiene nica preim"gen. Un funcin que no sea
inecti!a, tendr" al menos dos elementos diferentes del dominio que tienen la misma imagen.
)n una funcin supraecti!a (sobreecti!a) cada elemento del codominio es imagen de algn elemento
del dominio. Una funcin no ser" supraecti!a, cuando al menos un elemento del codominio (conjunto
final) no tenga una preimagen.
)n el diagrama de (enn corresponden a las aplicaciones que pertenecen a A no pertenecen a B, esto
es las que pertenecen a la diferencia de A B: A-B.
)n estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto Y tendr"
maor nmero de elementos que X cuando tratamos de compararlos.
Ejemplo
en el diagrama de la figura:
todos los elementos de Y, que tienen origen, tienen un nico origen, esto #ace que la aplicacin
sea inecti!a
el elemento d de Y, no tiene ningn origen por lo que esta aplicacin no es sobreecti!a.
Segundo ejemplo
Partiendo del conjunto de pinceles con pintura de colores:
, ,
Sobre el conjunto de caras pintadas:
, , ,
*sociando cada pincel con la cara correspondiente:

Dado que cada pincel tiene una cara solo una cara de su color esta correspondencia es una aplicacin,
como las caras que tiene pincel de su color, tienen un solo pincel de su color, la aplicacin es inecti!a,
como la cara pintada de amarillo, no tiene ningn pincel de este color, la aplicacin no es
sobreecti!a.
Aplicacin no inyectiva y sobreyectiva
Una aplicacin no inecti!a tiene al menos un elemento imagen que tiene dos o m"s or+genes una
sobreecti!a todos los elementos del conjunto final tienen al menos un elemento origen.
)n el diagrama de (enn corresponden a las aplicaciones que no pertenecen a A si pertenecen a B,
esto es las que pertenecen a la diferencia de B A: B-A.
Para esta aplicacin el conjunto X #a de tener maor nmero de elementos que Y, la cardinalidad de X
#a de ser maor que la de Y.
Ejemplo
en el diagrama de la figura:
el elemento c de Y, tiene dos or+genes: el el !, por lo que esta aplicacin no es inecti!a.
todos los elementos de Y, tienen origen, esto #ace que la aplicacin sea sobreecti!a.
Segundo ejemplo
,gual que en el ejemplo anterior partiremos del conjunto de pinceles con pintura de colores:
, , ,
)n este caso #a dos pinceles con pintura a'ul, pero a pasar de tener el mismo color de pintura son dos
pinceles distintos.
%omo conjunto final tenemos el conjunto de caras pintadas:
, ,
*sociando cada pincel con la cara del mismo color, !emos que cada pincel tiene una cara pintada de su
color solo una, esto #ace que la correspondencia sea una aplicacin, la cara a'ul tiene dos pinceles de
su mismo color, por lo que no es inecti!a, todas las caras tiene un pincel con su color, luego la
aplicacin es sobreecti!a.
Aplicacin inyectiva y sobreyectiva "biyectiva#
Si una aplicacin es inecti!a sobreecti!a simult"neamente, se denomina biecti!a. Por ser
inecti!a los elementos que tienen origen tienen un nico origen por ser sobreecti!a todos los
elementos del conjunto final tienen origen.
)n el diagrama de (enn el conjunto A es el de las aplicaciones inecti!a el conjunto B el de las
aplicaciones sobreecti!a, las aplicaciones biecti!a, que son inecti!a sobreecti!a, ser" la
interseccin de A B.
)stas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo nmero 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 aplicacin biecti!a entre ellos, podemos
afirmar, que los dos conjuntos tienen el mismo nmero de elementos. -a cardinalidad de X es
igual a la de Y.
Ejemplo
en el diagrama de la figura:
todos los elementos de Y, que tienen origen, tienen un nico origen, esto #ace que la aplicacin
sea inecti!a
todos los elementos de Y, tienen origen, esto #ace que la aplicacin sea sobreecti!a.
Si tomaremos por conjunto inicial el conjunto de los nmeros naturales:

por conjunto final el de los nmeros naturales pares:

Podemos !er que la relacin


Por el que a cada nmero natural $ de X, le asociamos un nmero par %$ de Y, se cumple:
.. f: es una aplicacin, dado que a cada uno de los !alores $ de X le corresponde un nico !alor %$
de Y.
/. esta aplicacin es inecti!a dado que a cada nmero par %$ de Y le corresponde un nico !alor
$ de X.
0. es sobreecti!a porque todos los nmeros pares tienen un origen
)sto nos permite afirmar que #a el mismo nmero de nmeros naturales que de nmeros naturales
pares, se da la paradoja de que los nmeros naturales pares en un subconjunto propio de los nmeros
naturales, esta circunstancia solo se da con los conjuntos infinitos.
Segundo ejemplo
1omando el conjunto de pinceles como conjunto inicial:
, , ,
el de caras como conjunto final:
, , ,
-a correspondencia que asocia cada pincel con la cara de su mismo color es una aplicacin porque
todos los pinceles tienen una cara con su color solo una cara de ese color, la aplicacin es inecti!a
porque un pincel corresponde con una sola cara, es sobreecti!a porque todas las caras tiene un
pincel de su color, al ser inecti!a sobreecti!a simult"neamente esta aplicacin es biecti!a.
Una aplicacin biecti!a #ace corresponder los elementos del conjunto inicial con los del conjunto
final uno a uno, pudi2ndose decir que #a el mismo nmero de elementos en el conjunto inicial que en
el final.
Aplicacin no inyectiva y no sobreyectiva
Una aplicacin no inecti!a tendr" al menos un elemento imagen que tenga dos o m"s or+genes una
no sobreecti!a tendr" al menos un elemento del conjunto final que no tenga elemento origen. )ste tipo
de aplicaciones no tiene un nombre especifico qui'" sean las que presenten, desde el punto de !ista
matem"tico, un menor inter2s.
Para esta aplicacin los conjuntos X e Y no son comparables, no podemos plantear ningn supuesto
sobre su cardinalidad, partiendo de su comparacin, ni sobre su nmero de elementos.
)n el diagrama de (enn corresponden a las aplicaciones que no pertenecen a A no pertenecen a B,
esto es las que no pertenecen a la unin de A B.
Ejemplo
en el diagrama de la figura:
el elemento b de Y, tiene dos or+genes: & %, esto #ace que esta aplicacin no sea inecti!a
el elemento a de Y, no tiene ningn origen por lo que esta aplicacin no es sobreecti!a
el elemento se obtiene cuando dos funciones con el mismo numerador se conectan de forma biecti!a
no se utili'a en ningn momento la sobreecti!a por medidas de aseguracion la funcin se emplea de
forma rotati!a no se representa en las gr"ficas
Segundo ejemplo
Si tomamos como conjunto inicial el de pinceles de colores:
, , ,
como conjunto final el de caras coloreadas:
, , ,
(emos que todos los pinceles tiene una cara solo una cara de su mismo color, luego esta
correspondencia es una aplicacin matem"tica.
%omo la cara a'ul tiene dos pinceles de su color la aplicacin no es inecti!a, como la cara amarilla
no tiene ningn pincel de ese color no es sobreecti!a, luego esta aplicacin es no inecti!a no
sobreecti!a.
'esumen

Sobreecti!a, no inecti!a

,necti!a, no sobreecti!a
3iecti!a 4o inecti!a no supraecti!a