Función inyectiva

De Wikipedia, la enciclopedia libre

Ejemplo de función inyectiva.

En matemáticas, una función $f \colon X \to Y \,$ es inyectiva o uno es a uno si cada valor en la imagen de $f\,$ corresponde un único origen en el dominio.

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.

[editar] 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 $x 1, x 2$ son elementos de $X\,$ tales que $f (x 1) = f (x 2)$ , necesariamente se cumple $x 1 = x 2$ .
Si $x 1, x 2$ son elementos diferentes de $X\,$ , necesariamente se cumple $f(x_1)\ne f(x_2)$