Cómo demostrar que una función es uno a uno a partir de su ecuación.
Detectar la inyectividad es una técnica fundamental para resolver ecuaciones funcionales, especialmente en el nivel de Olimpiada. Decimos que una función $f$ es inyectiva (o uno a uno) si entradas distintas dan resultados distintos. En el contexto de las ecuaciones funcionales, demostrar la inyectividad suele ser un paso intermedio clave. Una vez que pruebas que una función es inyectiva, puedes "quitar" la función de afuera de una ecuación; o sea, te permite simplificar $f(A) = f(B) \implies A = B$. Esta reducción suele transformar una relación funcional compleja en una algebraica más simple.
Para detectar la inyectividad, normalmente buscas pistas estructurales específicas dentro de la ecuación. El indicador más común es que aparezca una "variable libre" fuera del argumento de la función en un lado de la ecuación, mientras que aparece dentro de la función en el otro. Por ejemplo, en una ecuación como $f(f(x) + y) = f(x) + y$, la variable $y$ aparece "desnuda" o "libre" en el lado derecho. Esto sugiere que si los resultados del lado derecho son iguales, las entradas $y$ deben ser iguales, lo que implica inyectividad.
Otro método poderoso para detectar la inyectividad es identificar una inversa por la izquierda o una retracción. Si puedes deducir una relación de la forma $g(f(x)) = x$ para alguna función $g$, entonces $f$ tiene que ser inyectiva. Esto se ve seguido en ecuaciones donde aplicar la función varias veces te regresa la variable original (por ejemplo, $f(f(x)) = x$ o $f(x+f(y)) = y + f(x)$). Reconocer estos patrones te permite demostrar formalmente la inyectividad, lo cual sirve como palanca para resolver el resto del problema.
1. Definición de Inyectividad Una función $f: X \to Y$ es inyectiva si y solo si: $$ \forall a, b \in X, \quad f(a) = f(b) \implies a = b $$ De forma equivalente, usando la contrapositiva: $$ a \neq b \implies f(a) \neq f(b) $$
2. La Propiedad de la Inversa por la Izquierda (Retracción) Si existe una función $g: Y \to X$ tal que: $$ g(f(x)) = x \quad \forall x \in X $$ Entonces $f$ es inyectiva. (Nota: $g$ es necesariamente suprayectiva).
3. Pistas Estructurales Comunes En ecuaciones funcionales sobre $\mathbb{R}$, las siguientes estructuras suelen implicar que $f$ es inyectiva:
Aquí verás la demostración del Lema de la Inversa por la Izquierda, que es la justificación teórica para la mayoría de los argumentos de detección de inyectividad (incluyendo el truco de la "variable libre").
Teorema: Sean $f: X \to Y$ y $g: Y \to X$ funciones. Si $g(f(x)) = x$ para todo $x \in X$, entonces $f$ es inyectiva.
Demostración: Para demostrar que $f$ es inyectiva, hay que mostrar que para cualesquiera $a, b \in X$, el suponer que $f(a) = f(b)$ implica lógicamente que $a = b$.
Suposición: Supón que para algunos $a, b \in X$ arbitrarios, los resultados de la función son idénticos: $$ f(a) = f(b) $$
Aplicación de $g$: Como $f(a)$ y $f(b)$ representan el mismo elemento en el codominio $Y$, al aplicar la función $g$ en ambos lados se mantiene la igualdad: $$ g(f(a)) = g(f(b)) $$
Uso de la Hipótesis: Tienes la hipótesis de que $g(f(x)) = x$ para todo $x \in X$. Aplica esta propiedad a ambos lados de la ecuación:
Sustitución: Al sustituir estos resultados de vuelta en la ecuación del Paso 2, obtienes: $$ a = b $$
Conclusión: Ya mostraste que $f(a) = f(b)$ implica $a = b$. Por lo tanto, por definición, $f$ es inyectiva.
$\square$
Nota de aplicación: En una ecuación funcional como $f(x + f(y)) = f(x) + y$, puedes ver el lado derecho como una función $G(y)$ (para una $x$ fija) que te regresa $y$ más una constante. Si supones que $f(a) = f(b)$, los valores del lado derecho para $y=a$ y $y=b$ serían distintos a menos que $a=b$, usando básicamente la misma lógica de arriba donde la estructura de la ecuación actúa como el mecanismo de "inversa".