Inyectiva, Sobreyectiva y Biyectiva

En una funcin inyectiva, cada elemento imagen tiene nica preimgen. Un funcin que
no sea inyectiva, tendr al menos dos elementos diferentes del dominio que tienen la
misma imagen.
En una funcin suprayectiva (sobreyectiva) cada elemento del codominio es imagen de
algn elemento del dominio. Una funcin no ser suprayectiva, cuando al menos un
elemento del codominio (conjunto final) no tenga una preimagen.
En el diagrama de enn 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 nmero de elementos que X cuando tratamos de compararlos.
Ejemplo
En el diagrama de la figura!
"odos los elementos de Y, que tienen origen, tienen un nico origen, esto #ace
que la aplicacin sea inyectiva.
El elemento d de Y, no tiene ningn origen por lo que esta aplicacin no es
sobreyectiva.
Segundo ejemplo
$artiendo del conjunto de pinceles con pintura de colores!
, ,
%obre el conjunto de caras pintadas!
, , ,
&sociando cada pincel con la cara correspondiente!
'ado que cada pincel tiene una cara y 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 inyectiva, y como la cara pintada de amarillo, no tiene ningn
pincel de este color, la aplicacin no es sobreyectiva.
Aplicacin no inyectiva y sobreyectiva
Una aplicacin no inyectiva tiene al menos un elemento imagen que tiene dos o ms
or(genes y una sobreyectiva todos los elementos del conjunto final tienen al menos un
elemento origen.
En el diagrama de enn 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.
$ara esta aplicacin el conjunto X #a de tener mayor nmero de elementos que Y, la
cardinalidad de X #a de ser mayor que la de Y.
Ejemplo
En el diagrama de la figura!
el elemento c de Y, tiene dos or(genes! el 3 y el , por lo que esta aplicacin no
es inyectiva.
todos los elementos de Y, tienen origen, esto #ace que la aplicacin sea
sobreyectiva.
Segundo ejemplo
)gual que en el ejemplo anterior partiremos del conjunto de pinceles con pintura de
colores!
, , ,
En este caso #ay 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, vemos que cada pincel tiene una
cara pintada de su color y 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 inyectiva, todas las
caras tiene un pincel con su color, luego la aplicacin es sobreyectiva.
Aplicacin inyectiva y sobreyectiva !biyectiva"
%i una aplicacin es inyectiva y sobreyectiva simultneamente, se denomina biyectiva.
$or 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 enn 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 interseccin de A y B.
Estas 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!
%i dados dos conjuntos podemos encontrar una aplicacin biyectiva 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 inyectiva
todos los elementos de Y, tienen origen, esto #ace que la aplicacin sea
sobreyectiva.
%i tomaremos por conjunto inicial el conjunto de los nmeros naturales!
y por conjunto final el de los nmeros naturales pares!
$odemos ver que la relacin
$or el que a cada nmero natural # de X, le asociamos un nmero par $# de Y, se
cumple!
-. %! es una aplicacin, dado que a cada uno de los valores # de X le corresponde un
nico valor $# de Y.
.. esta aplicacin es inyectiva dado que a cada nmero par $# de Y le corresponde
un nico valor # de X.
/. y es sobreyectiva porque todos los nmeros pares tienen un origen
Esto nos permite afirmar que #ay 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
"omando el conjunto de pinceles como conjunto inicial!
, , ,
y 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 y solo una cara de ese
color, la aplicacin 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 simultneamente esta aplicacin es biyectiva.
Una aplicacin biyectiva #ace corresponder los elementos del conjunto inicial con los
del conjunto final uno a uno, pudi0ndose decir que #ay el mismo nmero de elementos
en el conjunto inicial que en el final.
Aplicacin no inyectiva y no sobreyectiva
Una aplicacin no inyectiva tendr al menos un elemento imagen que tenga dos o ms
or(genes y una no sobreyectiva tendr al menos un elemento del conjunto final que no
tenga elemento origen. Este tipo de aplicaciones no tiene un nombre espec(fico y qui*
sean las que presenten, desde el punto de vista matemtico, un menor inter0s.
$ara esta aplicacin los conjuntos X e Y no son comparables, y no podemos plantear
ningn supuesto sobre su cardinalidad, partiendo de su comparacin, ni sobre su
nmero de elementos.
En el diagrama de enn corresponden a las aplicaciones que no pertenecen a A y no
pertenecen a B, esto es las que no pertenecen a la unin de A y B.
Ejemplo
en el diagrama de la figura!
el elemento b de Y, tiene dos or(genes! & y $, esto #ace que esta aplicacin no
sea inyectiva
el elemento a de Y, no tiene ningn origen por lo que esta aplicacin no es
sobreyectiva
el elemento se obtiene cuando dos funciones con el mismo numerador se conectan de
forma biyectiva y no se utili*a en ningn momento la sobreyectiva por medidas de
aseguracion la funcin se emplea de forma rotativa y no se representa en las grficas
Segundo ejemplo
%i tomamos como conjunto inicial el de pinceles de colores!
, , ,
y como conjunto final el de caras coloreadas!
, , ,
emos que todos los pinceles tiene una cara y solo una cara de su mismo color, luego
esta correspondencia es una aplicacin matemtica.
+omo la cara a*ul tiene dos pinceles de su color la aplicacin no es inyectiva, y como la
cara amarilla no tiene ningn pincel de ese color no es sobreyectiva, luego esta
aplicacin es no inyectiva y no sobreyectiva.
'esumen
%obreyectiva, no inyectiva )nyectiva, no sobreyectiva 1iyectiva 2o sobreyectiva, no inyectiva