Detección de Suprayectividad

Teoría

Detectar la suprayectividad es una técnica fundamental para resolver ecuaciones funcionales, especialmente en el nivel de olimpiada. Una función $f: A \to B$ es suprayectiva (o sobre) si su imagen es igual a su codominio; es decir, para cada elemento en el conjunto de llegada $B$, hay al menos un elemento en el dominio $A$ que llega a él. En el contexto de las ecuaciones funcionales (normalmente sobre $\mathbb{R}$), demostrar la suprayectividad suele ser un paso intermedio crucial. Te permite establecer la existencia de valores específicos (como ceros o puntos fijos) y justifica sustituciones de variables, como reemplazar $f(x)$ por una variable genérica $y$.

El método más común para detectar la suprayectividad es identificar una "variable libre" en la ecuación. Si puedes manipular una ecuación funcional para que un lado contenga un término que pueda recorrer todo el codominio (por ejemplo, un término $y$ lineal aislado) mientras el otro lado está dentro de la función $f$, esto implica que el resultado de $f$ también debe recorrer todo el codominio. Por ejemplo, en una ecuación como $f(x + f(y)) = f(x) + y$, el término $+y$ en el lado derecho sugiere que la expresión $f(x) + y$ puede tomar cualquier valor real, lo que obliga al lado izquierdo $f(\dots)$ a tomar cualquier valor real.