Función inyectiva para Niños

Ejemplo de función inyectiva no suprayectiva.

\begin{align} f:X & \longrightarrow Y \\ x & \longmapsto f(x) \end{align}

es inyectiva, uno a uno, si a elementos distintos del conjunto $X$ (dominio) les corresponden elementos distintos en el conjunto $Y$ (codominio) de $f$ , es decir, cada elemento del conjunto $Y$ tiene a lo sumo una preimagen en $X$ , o, lo que es lo mismo, en el conjunto $X$ no puede haber dos o más elementos que tengan la misma imagen.

Por ejemplo, la función

\begin{align} f:\mathbb{R}&\to\mathbb{R} \\ x & \mapsto x^2 \end{align}

no es inyectiva pues el valor 4 puede obtenerse como $f(2)$ y $f(-2)$ pero si el dominio se restringe a los números reales positivos (obteniendo así una nueva función $g:\mathbb{R}^+\to\mathbb{R}^+$ ) entonces sí se obtiene una función inyectora se puede realizar un cálculo supremo.

Definición

Sea $f$ una función cuyo dominio es el conjunto $X$ , se dice que la función $f$ es inyectiva si para todo $a$ y $b$ en $X$ , si $f(a)=f(b)$ entonces $a=b$ , esto es $f(a)=f(b)$ implica $a=b$ . Equivalentemente, si $a\neq b$ entonces $f(a)\ne f(b)$ . Simbólicamente,

\forall \, a,b \in X, \ \ f(a)=f(b) \Longrightarrow a=b

que es equivalente a su contrarrecíproco

\forall \, a,b \in X, \ \ a \neq b \Longrightarrow f(a) \neq f(b)

Para probar que una función no es inyectiva, basta con hallar dos valores distintos del dominio, cuyas imágenes en el codominio son iguales.

Ejemplos

Para cualquier conjunto $X$ y subconjunto $S\subseteq X$ , el mapa de inclusión $S\to X$ (el cual envía cualquier elemento $s\in S$ a sí mismo) es inyectiva. En particular, la función identidad $X\to X$ es siempre inyectiva (y de hecho biyectiva).
La función $h:\mathbb{R}\to\mathbb{R}$ definida por $h(x)=x^3$ es inyectiva.
La función $f:\mathbb{R}\to\mathbb{R}$ definida por $f(x)=2x+1$ es inyectiva.
La función $g:\mathbb{R}\to\mathbb{R}$ definida por $g(x)=x^2$ no es inyectiva porque (por ejemplo) $g(1)=1=g(-1)$ . Sin embargo, si $g$ se redefine de manera tal que su dominio es el conjunto de los números reales no negativos $[0,+\infty)$ entonces $g$ es inyectiva.
La función exponencial $\exp:\mathbb{R}\to\mathbb{R}$ definida por $\exp(x)=e^x$ es inyectiva (pero no sobreyectiva, porque no genera números negativos, los cuales no tienen relación con ningún valor de x).
La función logaritmo natural $\ln:(0,+\infty)\to\mathbb{R}$ definida por $x\mapsto\ln x$ es inyectiva.
La función $g:\mathbb{R}\to\mathbb{R}$ definida por $g(x)=x^n-x$ no es inyectiva, ya que $g(0)=g(1)=0$ .

Si $X$ y $Y$ son subconjuntos de $\mathbb{R}$ , geométricamente, una función $f:X\to Y$ es inyectiva si su gráfica nunca es intersectada por una recta horizontal más de una vez. Este principio es conocido como la prueba de la línea horizontal.

Cardinalidad e inyectividad

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

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

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

Inyectividad en el espacio euclideo

Dada una función $\mathbf{f}:\Omega\subset\R^n\to \R^n$ diferenciable con continuidad sobre un dominio del espacio euclídeo n-dimensional, pueden establecerse condiciones necesarias y suficientes para decidir cuándo esta función es inyectiva. El teorema de la función inversa da una condición no suficiente para que una función diferenciable sea localmente inyectiva:

$\det D\mathbf{f} \ne 0$

donde:

D\mathbf{f}

es la matriz jacobiana de la función.

\det (\cdot)

es la función determinante.

Esta condición no es condición suficiente para garantizar la inyectividad de la función (de hecho tampoco es condición necesaria). Para encontrar condiciones suficientes se define el vector desplazamiento asociado a la función como el siguiente campo vectorial:

$\mathbf{u}(\mathbf{x})= \mathbf{f}(\mathbf{x})-\mathbf{x}\in \R^n$

Esta función se interpreta como la diferencia entre la posición inicial de un punto y la posición final de su imagen. Puede demostrarse que existe una constante $\scriptstyle c(\Omega)$ si se cumple:

$\max_{\mathbf{x}\in \bar{\Omega}} \|D\mathbf{u}(\mathbf{x})\| = \sup_{\mathbf{x}\in \Omega} \|D\mathbf{u}(\mathbf{x})\| < c(\Omega)\le 1$

Donde:

\bar{\Omega}

, es la clausura topológica del dominio

\Omega

Entonces la función es [globalmente] inyectiva, puede demostrarse que $\scriptstyle c(\Omega) = 1$ si el dominio $\scriptstyle \Omega$ es convexo, mientras que un dominio no convexo requiere $c(\Omega) < 1$ .

Véase también

En inglés: Injective function Facts for Kids

Función biyectiva
Función sobreyectiva
Correspondencia matemática
Pugs

Obtenido de «https://ninos.kiddle.co/index.php?title=Función_inyectiva&oldid=3850592»

Todo el contenido de los artículos de la Enciclopedia Kiddle (incluidas las imágenes) se puede utilizar libremente para fines personales y educativos bajo la licencia Atribución-CompartirIgual a menos que se indique lo contrario. Citar este artículo:

Función inyectiva para Niños. Enciclopedia Kiddle.

Función inyectiva para niños