Definición de función sobreyectiva
Comprender la sobreyectividad como la propiedad de que todo elemento del codominio es alcanzado como imagen.
Introducción
En algunas funciones, ningún elemento del conjunto de llegada queda "sin visita": todos son imagen de algo. Esa propiedad se llama sobreyectividad.
Explicación
Definición formal
Una función $f\colon A \to B$ es sobreyectiva si para todo $y \in B$ existe al menos un $x \in A$ tal que $f(x)=y$. Esta condición es equivalente a que el recorrido de $f$ coincida exactamente con el codominio declarado, $\text{Rec}(f)=B$.
Desarrollo didáctico
La sobreyectividad depende crucialmente del codominio declarado: la misma fórmula puede ser sobreyectiva o no, según qué conjunto de llegada se elija.
Si $f\colon \mathbb{R} \to \mathbb{R}$ con $f(x)=x^2$, no es sobreyectiva (los negativos del codominio nunca son imagen). Pero si se redefine como $f\colon \mathbb{R} \to [0,+\infty[$, la misma fórmula sí es sobreyectiva, porque ahora el codominio coincide exactamente con el recorrido.
Cómo hacerlo paso a paso
- Paso 1: Determina el recorrido real de la función analizando su comportamiento.
- Paso 2: Identifica el codominio declarado en la definición de la función.
- Paso 3: Compara ambos conjuntos - si coinciden, la función es sobreyectiva.
Ejemplos
1 Determina si $f\colon \mathbb{R} \to \mathbb{R}$, $f(x)=3x-1$, es sobreyectiva.
- El recorrido de una función lineal no constante es todo $\mathbb{R}$.
- El codominio declarado también es $\mathbb{R}$.
- Son iguales, por lo que es sobreyectiva.
2 Determina si $f\colon \mathbb{R} \to \mathbb{R}$, $f(x)=x^2$, es sobreyectiva.
- El recorrido de $f$ es $[0,+\infty[$.
- El codominio declarado es $\mathbb{R}$, más amplio que el recorrido.
- No es sobreyectiva.
3 ¿La sobreyectividad depende del codominio elegido?
- Cambiar el codominio declarado puede convertir una función no sobreyectiva en sobreyectiva, sin cambiar su fórmula.
4 ¿La sobreyectividad exige que $\text{Rec}(f)=B$?
- Esa igualdad es exactamente la condición formal de sobreyectividad.
Ejemplos Verdadero/Falso
"Confundir sobreyectividad con inyectividad."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No especificar el codominio al analizar la sobreyectividad, asumiendo siempre $\mathbb{R}$."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que toda función con recorrido infinito es automáticamente sobreyectiva."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir el recorrido con el codominio al verificar la igualdad requerida."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Una función $f\colon A \to B$ es **sobreyectiva** (o epiyectiva) si todo elemento de $B$ es imagen de al menos un elemento de $A$; equivalentemente, si $\text{Rec}(f) = B$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
Una función es sobreyectiva si:
Esa es la definición de sobreyectividad, Rec(f)=B.
Respuesta: A) Todo elemento del codominio es imagen de algún elemento del dominio.
-
La sobreyectividad depende del codominio elegido.
Cambiar el codominio puede convertir una función no sobreyectiva en sobreyectiva.
Respuesta: Verdadero
-
¿Qué igualdad de conjuntos exige la sobreyectividad?
El recorrido debe coincidir exactamente con el codominio.
Respuesta: A) $\text{Rec}(f) = B$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Toda función con recorrido infinito es automáticamente sobreyectiva.
Depende de si ese recorrido coincide exactamente con el codominio declarado.
Respuesta: Falso
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es $f: \mathbb{R} \to \mathbb{R}$, $f(x)=6x+2$, sobreyectiva?
El recorrido de una función lineal no constante es todo R, igual al codominio.
Respuesta: A) Sí, su recorrido es todo $\mathbb{R}$.
-
$f: \mathbb{R} \to \mathbb{R}$, $f(x)=x^2$, es sobreyectiva.
El recorrido es [0,+infinito[, distinto del codominio R.
Respuesta: Falso
-
¿Es $f: \mathbb{R} \to [0,+\infty[$, $f(x)=|x|$, sobreyectiva?
El recorrido de |x| es exactamente [0,+infinito[, igual al codominio declarado.
Respuesta: A) Sí, porque el recorrido coincide con el codominio.
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Si un codominio declarado es más amplio que el recorrido real de una función, esa función no es sobreyectiva.
La sobreyectividad exige igualdad exacta entre recorrido y codominio.
Respuesta: Verdadero
-
Un sistema de asignación de cupos garantiza que todo cupo disponible sea asignado a algún postulante. ¿Qué propiedad describe esto?
Que todo elemento del codominio (cupos) sea alcanzado corresponde a la sobreyectividad.
Respuesta: A) Sobreyectividad.
-
Si se redefine el codominio de $f(x)=x^2$ de $\mathbb{R}$ a $[0,+\infty[$, ¿qué cambia respecto a la sobreyectividad?
Al restringir el codominio exactamente al recorrido real, la función se vuelve sobreyectiva sin cambiar su fórmula.
Respuesta: A) La función pasa a ser sobreyectiva.