Funcin inyectiva Ejemplo de funcin inyectiva.

En matemticas, una funcin cada valor del conjunto distinto en el conjunto es inyectiva si a

(dominio) le corresponde un valor (imagen) de . 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 se obtiene una funcin inyectiva. Definicin formal De manera ms precisa, una funcin dos afirmaciones equivalentes: Si x1,x2 son elementos de tales que f(x1) = f(x2), necesariamente se cumple x1 = x2. , necesariamente se cumple es inyectiva cuando se cumple alguna de las entonces s

Si x1,x2 son elementos diferentes de

Los siguientes diagramas corresponden a funcin inyectiva:

Cardinalidad e inyectividad Dados dos conjuntos que cumplen: y , entre los cuales existe una funcin inyectiva tienen cardinales

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

, entonces puede probarse que existe una

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) = x 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.
2

La funcin exponencial exp : R R definida por exp(x) = e 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) = x x no es inyectiva, ya que, por ejemplo, g(0) = g(1).
n

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.

EJERCICIOS:

FUNCIONES INYECTIVAS (UNO A UNO)

Una funcin es inyectiva si cada f(x) en el recorrido es la imagen de exactamente un nico elemento del dominio. En otras palabras, de todos los pares (x,y) pertenecientes a la funcin, las y no se repiten. Para determinar si una funcin es inyectiva, graficamos la funcin por medio de una tabla de pares ordenados. Luego trazamos lneas horizontales para determinar si las y (las ordenadas) se repiten o no. EJEMPLO A: Determinar si la siguiente funcin es o no inyectiva: f(x) = x2 2 Primero elaboramos una tabla de pares ordenados y luego graficamos.

x f(x)

2 2

1 1

0 2

1 1

2 2

EJEMPLO B: Determinar si la siguiente funcin es o no inyectiva: g(x) = 1 x . Primero elaboramos una tabla de pares ordenados y luego graficamos. x g(x) 2 9 1 2 0 1 1 0 2 7

Funcin sobreyectiva Ejemplo de funcin sobreyectiva.

En matemtica, una funcin es sobreyectiva (epiyectiva, supra

yectiva, suryectiva, exhaustiva o subyectiva), si est aplicada sobre todo el codominio, es decir, cuando la imagen , o en palabras ms sencillas, cuando

cada elemento de "Y" es la imagen de como mnimo un elemento de "X". Formalmente,

Los siguientes diagramas corresponden a funcin sobreyectiva: