Definición de función sobreyectiva
Resumen inicial
Una función $f: A \to B$ es sobreyectiva (o epiyectiva) si su recorrido coincide exactamente con todo el conjunto de llegada o codominio $B$: $\text{Rec}(f) = B$.
Explicación en palabras simples
Una función es sobreyectiva (o epiyectiva) cuando no sobra ningún elemento en el conjunto de llegada $B$:
- Cada elemento $y$ del codominio tiene al menos una preimagen $x$ que le apunta.
- Todo el conjunto de llegada es alcanzado por la función (el Recorrido es igual al Codominio).
Por ejemplo, si el codominio declarado es $\mathbb{R}$, una función afín $f(x) = 2x + 1$ es sobreyectiva porque puede dar como resultado cualquier número real.
Explicación formal
Sea $f: A \to B$ una función entre conjuntos no vacíos. Se define formalmente que $f$ es sobreyectiva (o epiyectiva) si y solo si:
$$\forall y \in B, \; \exists x \in A \text{ tal que } f(x) = y \Longleftrightarrow \text{Rec}(f) = B$$
Aspectos formales fundamentales:
- Dependencia del codominio: La sobreyectividad no es una propiedad intrínseca de la fórmula algebraica, sino de la terna $(A, B, f)$.
- Ajuste de sobreyectividad: Toda función $f: A \to B$ se puede transformar en sobreyectiva redefiniendo su codominio como $B' = \text{Rec}(f)$.
La alternativa correcta es 'El recorrido de f es identico a todo el conjunto de llegada B (Rec(f) = B).'. Cobertura completa del codominio.
Definiciones clave
- Función sobreyectiva / epiyectiva: Función donde todo elemento del codominio es imagen de al menos una preimagen.
- Codominio ($B$) vs Recorrido ($\text{Rec}(f)$): El codominio es el conjunto de llegada declarado; el recorrido es el subconjunto de valores efectivamente alcanzados.
Propiedades y relaciones importantes
- Preimágenes no vacías: $\forall y \in B, \; f^{-1}(\{y\}) \neq \emptyset$.
- Composición sobreyectiva: Si $f: A \to B$ y $g: B \to C$ son sobreyectivas, su composición $g \circ f$ es sobreyectiva.
Ejemplo guiado
Determina si la función $f: \mathbb{R} \to \mathbb{R}$ con $f(x) = 3x - 5$ es sobreyectiva.
- Paso 1: Tomar un elemento arbitrario $y \in \mathbb{R}$ (del conjunto de llegada).
- Paso 2: Plantear la ecuación $f(x) = y \implies 3x - 5 = y$.
- Paso 3: Despejar la preimagen: $3x = y + 5 \implies x = \frac{y + 5}{3}$.
- Paso 4: Verificar que para todo $y \in \mathbb{R}$, el valor $x = \frac{y + 5}{3}$ es un número real perteneciente al dominio $\mathbb{R}$.
- Paso 5: Concluir que $\text{Rec}(f) = \mathbb{R} = B$, por lo que $f$ es sobreyectiva.
La alternativa correcta es 'Porque su recorrido es [0, +inf[ y no cubre los numeros reales negativos de B.'. Elementos como $y = -4$ no tienen preimagen real.
Procedimiento
- Paso 1: Identificar el conjunto de llegada o codominio $B$ fijado en la definición de la función.
- Paso 2: Igualar la regla a $y$ ($y = f(x)$) y despejar la variable $x$ en términos de $y$.
- Paso 3: Analizar si para todo $y \in B$ la expresión de $x$ existe y pertenece al dominio $A$.
- Paso 4: Concluir si $\text{Rec}(f) = B$ (sobreyectiva) o $\text{Rec}(f) \subset B$ (no sobreyectiva).
Errores frecuentes y cómo corregirlos
- Error común: Analizar la sobreyectividad sin fijarse en el conjunto de llegada $B$.
- Cómo corregirlo: La sobreyectividad siempre depende de $B$; por ejemplo, $f(x) = x^2$ es sobreyectiva si $B = [0, +\infty[$, pero no lo es si $B = \mathbb{R}$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Paso 1: $x = \frac{7 - y}{4} \in \mathbb{R}$ para todo $y \in \mathbb{R}$, luego es sobreyectiva.
- Paso 1: Un número negativo como $y = -5$ no tiene preimagen con $|x| = -5$.
- Paso 1: Al definir $B = [0, +\infty[$, $\text{Rec}(g) = B$, siendo sobreyectiva.
- Paso 1: La raíz cúbica de cualquier número real está bien definida en $\mathbb{R}$.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, analizar y comprobar la sobreyectividad de funciones en diversos dominios y codominios.
Calculando el recorrido efectivo de la función y verificando algebraicamente su coincidencia total con el conjunto de llegada 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.