Función inyectiva

Función inyectiva
Ejemplo de función inyectiva.

En matemáticas, una función f \colon X \to Y \, es inyectiva si a cada valor del conjunto X\, (dominio) le corresponde un valor distinto en el conjunto Y\, (imagen) de f\,. Es decir, a cada elemento del conjunto Y le corresponde un solo valor de X tal que, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.

Así, por ejemplo, la función de números reales f:\mathbb{R}\to\mathbb{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 números positivos, obteniendo así una nueva función g:\mathbb{R}^+\to\mathbb{R}^+ entonces sí se obtiene una función inyectiva.

Contenido

Definición formal

De manera más precisa, una función f:X\to Y\, es inyectiva cuando se cumple alguna de las dos afirmaciones equivalentes:

  • Si x1,x2 son elementos de X\, tales que f(x1) = f(x2), necesariamente se cumple x1 = x2.
  • Si x1,x2 son elementos diferentes de X\,, necesariamente se cumple f(x_1)\ne f(x_2)

Los siguientes diagramas corresponden a función inyectiva:

Correspon 1402.svg
Correspon 1602.svg

Cardinalidad e inyectividad

Dados dos conjuntos \scriptstyle A y \scriptstyle B, entre los cuales existe una función inyectiva \scriptstyle f:A \to B tienen cardinales que cumplen:

\mbox{card}(A) \le \mbox{card}(B)

Si además existe otra aplicación inyectiva \scriptstyle g:B \to A, entonces puede probarse que existe una aplicación biyectiva entre A y B.

Ejemplos

  • Para cualquier conjunto X y subconjunto S de X el mapa de la inclusión SX (el cual envía cualquier elemento s de S para si mismo) es inyectiva. En particular, la función identidad XX es siempre inyectiva (y de hecho biyectiva).
  • La función f : R → R definida por f(x) = 2x + 1 es inyectiva.
  • La función 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 números reales no negativos [0,+∞), entonces g es inyectiva.
  • La función exponencial exp : RR definida por exp(x) = ex es inyectiva (pero no sobreyectiva, porque no genera números negativos, los cuales no tienen relación con ningún valor de x).
  • El logaritmo natural En la función ln : (0, ∞) → R definida por x ↦ ln x es inyectiva.
  • La función g : R → R definida por g(x) = xnx no es inyectiva, ya que, por ejemplo, g(0) = g(1).

En términos más generales, cuando X e Y están ambos en la recta real R, a continuación, una función inyectiva f : R → R es aquella cuya gráfica nunca es cruzada por una línea horizontal más de una vez. Este principio se conoce como la prueba de línea horizontal.

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Función inyectiva — Una función es inyectiva cuando las imágenes en el conjunto de llegada se corresponden con elementos diferentes del conjunto de partida. Es decir, no existe una misma imagen que tenga asociados elementos distintos del conjunto de partida.… …   Enciclopedia Universal

  • Función matemática — En la imagen se muestra una función entre un conjunto de polígonos y un conjunto de números. A cada polígono le corresponde su número de lados. En matemáticas, se dice que una magnitud o cantidad es función de otra si el valor de la primera… …   Wikipedia Español

  • Función biyectiva — Ejemplo de función biyectiva. En matemática, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento… …   Wikipedia Español

  • Función sobreyectiva — Ejemplo de función sobreyectiva. En matemática, una función es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiva o subyectiva), si está aplicada sobre todo el codominio, es decir, cuando la imagen , o en palabras más sencillas, cu …   Wikipedia Español

  • Función hash — En informática, una función hash o algoritmo hash es una función para sumarizar o identificar probabilísticamente un gran conjunto de información (dominio), dando como resultado un conjunto imagen finito generalmente menor (un subconjunto de los… …   Enciclopedia Universal

  • Función recíproca — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Función biyectiva — Dícese de una función que es inyectiva y sobreyectiva. Es decir, todos los elementos del conjunto de partida tienen una imagen (distinta, por ser inyectiva) en el conjunto de llegada. Además, el recorrido es igual al conjunto de llegada (por ser… …   Enciclopedia Universal

  • Función real — Una función real es una función matemática cuyo dominio y codominio están contenidos en , es decir, es una función: En general se trata de funciones continuas, o bien discontinuas cuando están representadas por tramos, a diferencia de las… …   Wikipedia Español

  • Función W de Lambert — Gráfica de W0(x) para −1/e ≤ x ≤ 4. En matemáticas, la función W de Lambert, denominada así en honor a Johann Heinrich Lambert, si bien también se conoce como función Omega o log producto, es la función inversa de f(w) = wew donde ew es …   Wikipedia Español

  • Función holomorfa — Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen sobre un subconjunto abierto del plano complejo C y con valores en C, que además son complejo diferenciables en cada punto. Esta… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”