¿Qué es Función Sobreyectiva?
Una función sobreyectiva (también llamada función suprayectiva, exhaustiva o suryectiva) es una función donde cada elemento del conjunto de llegada (el codominio) tiene al menos un elemento en el conjunto de partida (el dominio) que se corresponde con él. En otras palabras, la imagen de la función coincide con el codominio. Imagina que tienes dos conjuntos, A y B, y una función que los relaciona. Si cada elemento de B está 'cubierto' por al menos un elemento de A, entonces la función es sobreyectiva. No es necesario que cada elemento de A tenga una única 'pareja' en B, ni que todos los elementos de A estén relacionados con elementos de B. Lo importante es que nada quede 'sin pareja' en B. Formalmente, para una función f: A → B, se dice que f es sobreyectiva si para todo elemento b en B, existe al menos un elemento a en A tal que f(a) = b. Esto significa que el rango de la función (el conjunto de todos los valores que la función realmente toma) es igual al codominio.
Ejemplo Resuelto
Considera la función f(x) = x² que mapea los números reales (ℝ) en los números reales no negativos (ℝ⁺ ∪ {0}). Esta función es sobreyectiva porque cualquier número real no negativo tiene al menos una raíz cuadrada real (positiva o negativa). Por ejemplo, para el número 4 en el codominio, tenemos f(2) = 4 y f(-2) = 4 en el dominio. Sin embargo, si definimos la misma función f(x) = x² pero con el codominio siendo todos los números reales (ℝ), entonces la función NO es sobreyectiva, ya que no hay ningún número real x tal que f(x) = -1 (un número negativo).