Funcin inyectiva

X
1
2
3
Y
D
B
C
A
Ejemplo de funcin inyectiva.
En matemticas, una funcin f : X Y es inyecti-
va si a elementos distintos del conjunto X (dominio)
les corresponden elementos distintos en el conjunto Y
(codominio) de f . Es decir, cada elemento del conjun-
to Y tiene a lo sumo una antiimagen en X, o, lo que es
lo mismo, en el conjunto X no puede haber dos o ms
elementos que tengan la misma imagen.
As, por ejemplo, la funcin de nmeros reales f : R
R , dada por f(x) = x
2
no es inyectiva, puesto que el
valor 4 puede obtenerse como f(2) y f(2) . Pero si el
dominio se restringe a los nmeros positivos, obtenien-
do as una nueva funcin g : R
+
R
+
entonces s se
obtiene una funcin inyectiva.
1 Denicin formal
De manera ms precisa, una funcin f : X Y es
inyectiva cuando se cumple alguna de las dos armaciones
equivalentes:
Si a, b son elementos de X tales que f(a) = f(b) ,
necesariamente se cumple a = b .
Si a, b son elementos diferentes de X , necesaria-
mente se cumple f(a) = f(b)
Simblicamente,
a, b X, f(a) = f(b) a = b
que es equivalente a su contrarrecproco
a, b X, a = b f(a) = f(b)
2 Cardinalidad e inyectividad
Dados dos conjuntos A y B , entre los cuales existe una
funcin inyectiva f:AB tienen cardinales que cumplen:
card(A) card(B)
Si adems existe otra aplicacin inyectiva g:BA , en-
tonces puede probarse que existe una aplicacin biyectiva
entre A y B.
3 Ejemplos
Para cualquier conjunto X y subconjunto S de X el
mapa de inclusin S X (el cual enva cualquier
elemento s de S para si mismo) es inyectiva. En par-
ticular, la funcin identidad X X es siempre in-
yectiva (y de hecho biyectiva).
La funcin f : R R denida por f(x) = 2x + 1 es
inyectiva.
La funcin g : R R denida por g(x) = x
2
no es
inyectiva, porque (por ejemplo) g(1) = 1 = g(1). No
obstante, si g se redene de manera que su dominio
es los nmeros reales no negativos [0,+), entonces
g es inyectiva.
La funcin exponencial exp : R R denida por
exp(x) = e
x
es inyectiva (pero no sobreyectiva, por-
que no genera nmeros negativos, los cuales no tie-
nen relacin con ningn valor de x).
El logaritmo natural En la funcin ln : (0, ) R
denida por x ln x es inyectiva.
La funcin g : R R denida por g(x) = x
n
x no
es inyectiva, ya que, por ejemplo, g(0) = g(1).
1
2 5 VASE TAMBIN
En trminos ms generales, cuando X e Y estn ambos en
la recta real R, a continuacin, una funcin inyectiva f :
R R es aquella cuya grca nunca es cruzada por una
lnea horizontal ms de una vez. Este principio se conoce
como la prueba de lnea horizontal.
4 Inyectividad en el espacio eucl-
deo
Dada una funcin f:R
n
R
n
diferenciable con con-
tinuidad sobre un dominio del espacio eucldeo n-
dimensional, pueden establecerse condiciones necesarias
y sucientes para decidir cuando esta funcin es inyec-
tiva. El teorema de la funcin inversa da una condi-
cin no suciente para que una funcin diferenciable sea
localmente inyectiva:
det Df = 0
donde:
Df es la matriz jacobiana de la funcin.
det() es la funcin determinante.
Esta condicin no es condicin suciente para garanti-
zar la inyectividad de la funcin (de hecho tampoco es
condicin necesaria). Para encontrar condiciones su-
cientes se dene el vector desplazamiento asociado a la
funcin como el siguiente campo vectorial:
u(x) = f(x) x R
n
Esta funcin se interpreta como la diferencia entre la po-
sicin inicial de un punto y la posicin nal de su ima-
gen. Puede demostrarse que existe una constante c() si
se cumple:
max
x

Du(x) = sup
x
Du(x) <
c() 1
Donde:

, es la clausura topolgica del dominio .

Entonces la funcin es [globalmente] inyectiva, puede de-
mostrarse que c()=1 si el dominio es convexo, mientras
que un dominio no convexo requiere c()<1
5 Vase tambin
Funcin biyectiva
Funcin sobreyectiva
Correspondencia matemtica
3
6 Text and image sources, contributors, and licenses
6.1 Text
Funcin inyectiva Fuente: http://es.wikipedia.org/wiki/Funcin_inyectiva?oldid=77689023 Colaboradores: Zuirdj, Moriel, Zorosandro,
Rosarino, Dodo, Sms, Tano4595, Domaniom, Edupedro, Renabot, Airunp, Rembiapo pohyiete (bot), Magister Mathematicae, Chobot,
Yrbot, .Sergio, Wewe, Wilfredor, CHV, SMP, Er Komandante, Juan Marquez, BOTpolicia, CEM-bot, Baiji, Davius, Hichokei, Thijs!bot,
Ilnuska, Xoacas, Bernard, Mpeinadopa, Maria angelica, SITOMON, HiTe, Plux, VolkovBot, Matdrodes, House, BlackBeast, Allebor-
goBot, Muro Bot, Edmenb, SieBot, Cobalttempest, WikiBotas, Mafores, Javierito92, Dnu72, HUB, Farisori, Alexbot, Juan Mayordomo,
Raulshc, Dailosc, AVBOT, Ellinik, MastiBot, Tanhabot, Diegusjaimes, Andreasmperu, Luckas-bot, Nallimbot, Ptbotgourou, Xqbot, Jkbw,
Ricardogpn, Botarel, BOTirithel, Oxilium, Jerowiki, Anggg, BraisGabin, Miss Manzana, EmausBot, TuHan-Bot, ChuispastonBot, Khiari,
WikitanvirBot, Acratta, Minsbot, Addbot, JacobRodrigues, Oscar davi, Mcallara y Annimos: 117
6.2 Images
Archivo:Injection.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/02/Injection.svg Licencia: Public domain Colaborado-
res: ? Artista original: ?
6.3 Content license
Creative Commons Attribution-Share Alike 3.0