Funcin inyectiva

Ejemplo de funcin inyectiva.

En matemticas, una funcin

es inyectiva si a cada valor del conjunto (imagen) de

(dominio)

le corresponde un valor distinto en el conjunto

. Es decir, a cada elemento del

conjunto X le corresponde un solo valor de Y tal que, en el conjunto X no puede haber dos o ms elementos que tengan la misma imagen. As, por ejemplo, la funcin de nmeros reales , dada por 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, obteniendo as una nueva funcin una funcin inyectiva. entonces s se obtiene

Definicin formal
De manera ms precisa, una funcin dos afirmaciones equivalentes: es inyectiva cuando se cumple alguna de las

Si x1,x2 son elementos de

tales que f(x1) = f(x2), necesariamente se cumple x1 = x2. , necesariamente se cumple

Si x1,x2 son elementos diferentes de

Los siguientes diagramas corresponden a funcin inyectiva:

Cardinalidad e inyectividad

Dados dos conjuntos que cumplen:

, entre los cuales existe una funcin inyectiva

tienen cardinales

Si adems existe otra aplicacin inyectiva aplicacin biyectiva entre A y B.

, entonces puede probarse que existe una

Ejemplos

Para cualquier conjunto X y subconjunto S de X el mapa de la inclusin S X (el cual

enva cualquier elemento s de S para si mismo) es inyectiva. En particular, la funcin identidad X X es siempre inyectiva (y de hecho biyectiva).

La funcin f : R R definida por f(x) = 2x + 1 es inyectiva. La funcin g : R R definida por g(x) = x2 no es inyectiva, porque (por ejemplo) g(1) =

1 = g(1). No obstante, si g se redefine de manera que su dominio es los nmeros reales no negativos [0,+), entonces g es inyectiva.

La funcin exponencial exp : R R definida por exp(x) = ex es inyectiva (pero

no sobreyectiva, porque no genera nmeros negativos, los cuales no tienen relacin con ningn valor de x).

El logaritmo natural En la funcin ln : (0, ) R definida por x ln x es inyectiva. La funcin g : R R definida por g(x) = xn x no es inyectiva, ya que, por ejemplo, g(0)

= g(1). 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 grfica nunca es cruzada por una lnea horizontal ms de una vez. Este principio se conoce como la prueba de lnea horizontal.

Inyectivo, sobreyectivo y biyectivo

"Inyectivo, sobreyectivo y biyectivo" te dan informacin sobre el comportamiento de unafuncin. Puedes entender una funcin como una manera de conectar elementos de un conjunto "A" a los de otro conjunto "B":

"Injectivo" significa que cada elemento de "B" tiene como mucho uno de "A" al que corresponde (pero esto no nos dice que todos los elementos de "B" tengan alguno en "A"). "Sobreyectivo" significa que cada elemento de "B" tiene por lo menos uno de "A" (a lo mejor ms de uno). "Biyectivo" significa inyectivo y sobreyectivo a la vez. As que hay una correspondencia perfecta "uno a uno" entre los elementos de los dos conjuntos.

Definiciones formales
Inyectivo
Una funcin f es inyectiva si, cuando f(x) = f(y), x = y. Ejemplo: f(x) = x2 del conjunto de los nmeros naturales a es una funcin inyectiva. (Pero f(x) = x2 no es inyectiva cuando es desde el conjunto de enteros (esto incluye nmeros negativos) porque tienes por ejemplo f(2) = 4 y f(-2) = 4) Nota: inyectiva tambin se llama "uno a uno", pero esto se confunde porque suena un poco como si fuera biyectiva.

Sobreyectivo (o tambin "epiyectivo")

Una funcin f (de un conjunto A a otro B) es sobreyectiva si para cada y en B, existe por lo menos un x en A que cumple f(x) = y, en otras palabras f es sobreyectiva si y slo si f(A) = B. As que cada elemento de la imagen corresponde con un elemento del dominio por lo menos. Ejemplo: la funcin f(x) = 2x del conjunto de los nmeros naturales al de los nmeros pares no negativos es sobreyectiva. Sin embargo, f(x) = 2x del conjunto de los nmeros naturales a no es sobreyectiva, porque, por ejemplo, ningn elemento de va al 3 por esta funcin.

Biyectiva
Una funcin f (del conjunto A al B) es biyectiva si, para cada y en B, hay exactamente un x enA que cumple que f(x) = y Alternativamente, f es biyectiva si es a la vez inyectiva y sobreyectiva. Ejemplo: La funcin f(x) = x2 del conjunto de nmeros reales positivos al mismo conjunto es inyectiva y sobreyectiva. Por lo tanto es biyectiva. (Pero no desde el conjunto de todos los nmeros reales porque podras tener por ejemplo f(2)=4 y f(-2)=4)