Identificación del codominio de una función
Distinguir el codominio de una función como el conjunto de llegada declarado, diferenciándolo del recorrido.
Introducción
El codominio es el conjunto donde "podrían" caer las imágenes; el recorrido es el conjunto de las imágenes que "realmente" caen ahí. No siempre coinciden.
Explicación
Definición formal
Dada una función $f\colon A \to B$, el codominio es el conjunto $B$ fijado en la definición de la función, independiente de si cada uno de sus elementos es o no efectivamente alcanzado como imagen. Se cumple $\text{Rec}(f) \subseteq B$, con igualdad si y solo si $f$ es sobreyectiva.
Desarrollo didáctico
Imagina que $B$ = "todos los casilleros disponibles en un edificio" y el recorrido = "los casilleros que realmente tienen algo guardado". El codominio es la totalidad de casilleros; el recorrido es solo los ocupados.
Por ejemplo, si se declara $f\colon \mathbb{R} \to \mathbb{R}$ con $f(x) = x^2$, el codominio es $\mathbb{R}$ completo, aunque las imágenes reales nunca sean negativas (el recorrido es $[0, +\infty[$).
Cómo hacerlo paso a paso
- Paso 1: Busca en la definición o el enunciado cuál es el conjunto de llegada declarado.
- Paso 2: Ese conjunto declarado es el codominio, sin necesidad de calcular las imágenes.
- Paso 3: No confundas este paso con calcular el recorrido, que requiere hallar las imágenes efectivas.
Ejemplos
1 Si $f\colon \mathbb{R} \to \mathbb{R}^+_0$ con $f(x) = x^2$, indica el codominio.
- El codominio es el conjunto de llegada declarado en la notación de la función.
- Codominio: $\mathbb{R}^+_0$ (reales no negativos).
2 Si $f\colon \mathbb{R} \to \mathbb{R}$ con $f(x) = x^2$, ¿el codominio incluye números negativos aunque nunca sean imagen?
- Sí, porque el codominio es el conjunto de llegada completo, no solo los valores efectivamente alcanzados.
- Los negativos pertenecen al codominio $\mathbb{R}$ pero no al recorrido de $f$.
3 ¿El codominio y el recorrido son siempre el mismo conjunto?
- Solo coinciden cuando la función es sobreyectiva; en general el recorrido es un subconjunto del codominio.
4 ¿El codominio se determina calculando todas las imágenes de la función?
- El codominio se fija por definición como conjunto de llegada; calcular las imágenes da el recorrido, no el codominio.
Ejemplos Verdadero/Falso
"Confundir codominio con recorrido, calculando las imágenes cuando solo se pide el conjunto de llegada declarado."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Asumir que el codominio siempre es $\mathbb{R}$ sin revisar si el enunciado lo restringe."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que todo elemento del codominio necesariamente es imagen de algún elemento del dominio."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No distinguir la notación $f\colon A \to B$ (que declara codominio $B$) de la fórmula $f(x)$ (que no lo declara)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
El **codominio** de una función $f\colon A \to B$ es el conjunto $B$ declarado como conjunto de llegada; contiene al recorrido de $f$, pero puede incluir además elementos que nunca son imagen de ningún valor del dominio.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
El codominio de una función $f: A \to B$ es:
El codominio es el conjunto de llegada fijado en la definición, sin importar si todos sus elementos son alcanzados.
Respuesta: B) El conjunto $B$ declarado como conjunto de llegada.
-
El recorrido siempre está contenido en el codominio.
Por definición, toda imagen efectiva pertenece al conjunto de llegada declarado.
Respuesta: Verdadero
-
Si $f: \mathbb{R} \to \mathbb{R}$ con $f(x)=x^2$, ¿los números negativos pertenecen al codominio?
El codominio se declara como conjunto de llegada completo, independiente de qué valores sean realmente alcanzados.
Respuesta: A) Sí, porque el codominio es todo $\mathbb{R}$ aunque nunca sean imagen.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Determinar el codominio de una función requiere calcular todas sus imágenes.
El codominio se lee directamente de la notación f: A -> B; calcular las imágenes da el recorrido, no el codominio.
Respuesta: Falso
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Si no se declara explícitamente el codominio de una función dada por fórmula, suele asumirse $\mathbb{R}$.
Es la convención habitual cuando no se especifica un conjunto de llegada distinto.
Respuesta: Verdadero
-
Si $f: \mathbb{Z} \to \mathbb{N}$, ¿cuál es el codominio de $f$?
El codominio es el segundo conjunto declarado en la notación f: A -> B, en este caso los naturales.
Respuesta: B) $\mathbb{N}$
-
Si $g: \mathbb{R} \to [0, +\infty[$ con $g(x) = |x|$, ¿cuál es el codominio y coincide con el recorrido?
El codominio declarado es [0,+infinito[; como el valor absoluto alcanza todos los no negativos, el recorrido coincide con el codominio (la función es sobreyectiva).
Respuesta: A) Codominio $[0,+\infty[$, y sí coincide con el recorrido.
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Si el codominio declarado de una función es $\mathbb{R}$ y su recorrido resulta ser $[0,+\infty[$, la función no es sobreyectiva.
La sobreyectividad exige que recorrido y codominio coincidan; aquí el recorrido es un subconjunto propio del codominio.
Respuesta: Verdadero
-
Al definir una función de temperatura $T: [0,24] \to \mathbb{R}$, ¿por qué se declara $\mathbb{R}$ como codominio en vez de un intervalo más ajustado?
Declarar un codominio amplio como R evita tener que ajustar la definición si el rango real de temperaturas varía; el recorrido efectivo puede ser un subconjunto más acotado.
Respuesta: B) Porque puede resultar más práctico no acotar de antemano el rango de valores posibles.
-
Un sistema declara que la función 'nota final' asigna a cada estudiante un valor en el codominio $[1,0;\ 7,0]$. ¿Qué significa esto?
El codominio fija el rango posible de llegada; no garantiza que cada valor del rango sea efectivamente alcanzado por algún estudiante.
Respuesta: B) Que las notas asignadas nunca podrán salir de ese rango, aunque no todos los valores se usen.