Aplicacin inyectiva y no sobreyectiva

En una funcin inyectiva, cada elemento imagen tiene nica preimgen. Una 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 Ay no
pertenecen a B, esto es las que pertenecen a la diferencia de Ay B! A-B.
En estas aplicaciones la cardinalidad de Xes siempre menor que la de Y, esto es el
conjunto Ytendr mayor nmero de elementos queXcuando tratamos de compararlos.
Ejemplito.
"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 $ y si
pertenecen a ', esto es las que pertenecen a la diferencia de ' y $! '($.
"ara esta aplicacin el conjunto ) *a de tener mayor nmero de elementos que +, la
cardinalidad de ) *a de ser mayor que la de +.
Ejemplito.
,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 $ es el de las
aplicaciones inyectiva y el conjunto ' el de las
aplicaciones sobreyectiva, las aplicaciones biyectiva,
que son inyectiva y sobreyectiva, ser la interseccin de
$ y '.
Estas dos circunstancias dan lugar a que el conjunto ) e + tengan el mismo nmero de
elementos, la cardinalidad de ) es la misma que la de +, 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 )
es igual a la de +.
Ejemplito.
0omando 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, pudi1ndose 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 inter1s.
"ara esta aplicacin los conjuntos ) e + 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 $ y no
pertenecen a ', esto es las que no pertenecen a la unin de $ y '.
Ejemplito.
#i tomamos como conjunto inicial el de pinceles de colores!
, , ,
y como conjunto final el de caras coloreadas!
, , ,
emos que todos los pinceles tienen 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.
0ambi1n, se pueden clasificar las funciones de la siguiente manera!
1. Funciones algebraica.
En las funciones algebraicas las operaciones que *ay que efectuar con la variable
independiente son! la adicin, sustraccin, multiplicacin, divisin, potenciacin y
radicacin.
/as funciones algebraicas pueden ser!
Funciones explcitas
#i se pueden obtener las imgenes de 2 por simple sustitucin.
f(2) 3 42 5 6
Funcin identidad
f(2) 3 2
#u grfica es la bisectri- del primer y tercer cuadrante.
Funcin cuadrtica
#on funciones polinmicas es de segundo grado, siendo su grfica una parbola.
f(2) 3 a27 8 b2 8c
Funciones definidas a trozos
#on funciones definidas por distintos criterios, segn los intervalos que se consideren.
El dominio lo forman todos los nmeros reales menos el 9.
Funciones logar!tmicas
/a funcin logar&tmicaen base a es la funcin inversa de la e2ponencialen base a.
"
1/8 -3
1/4 -2
1/2 -1
1 0
2 1
4 2
8 3
Funcioncitas trigonom#tricas
a. Funcin seno
f(x) = sen x
%ominio!
:ecorrido! ;<=, =>
"er&odo!
.ontinuidad! .ontinua en
,mpar! sen(<2) 3 <sen 2