6. Codominio e imagen

El codominio describe los valores de salida permitidos para una función. La imagen describe los valores que la función realmente produce al evaluar su dominio.

6.1 Introducción

En el tema anterior vimos que el dominio indica qué valores de entrada puede recibir una función. Ahora veremos dos conceptos relacionados con la salida: el codominio y la imagen.

Estos conceptos ayudan a responder dos preguntas distintas: qué valores de salida se consideran posibles y qué valores de salida aparecen realmente al aplicar la función.

6.2 Qué es el codominio

El codominio es el conjunto donde deben estar las salidas de la función. Forma parte de la definición de la función y representa el conjunto de valores de llegada.

f: A → B

En esta notación, A es el dominio y B es el codominio. La función toma elementos de A y devuelve valores dentro de B.

6.3 Qué es la imagen

La imagen es el conjunto de valores que la función realmente produce cuando se evalúan todos los elementos del dominio.

imagen = salidas efectivamente obtenidas

La imagen siempre está contenida dentro del codominio, pero no necesariamente coincide con él.

6.4 Ejemplo simple

Supongamos una función definida de números reales a números reales:

f: R → R f(x) = x²

El codominio indicado es el conjunto de los números reales. Sin embargo, la función nunca produce valores negativos. Su imagen es el conjunto de los números reales mayores o iguales que cero.

imagen = { y ∈ R / y ≥ 0 }

6.5 Diferencia entre codominio e imagen

Concepto Qué describe Ejemplo con f(x) = x²
Dominio Entradas permitidas Todos los números reales
Codominio Conjunto de llegada declarado Todos los números reales
Imagen Salidas que realmente se obtienen Números reales mayores o iguales que cero

6.6 Imagen en un dominio finito

Cuando el dominio tiene pocos valores, podemos calcular la imagen evaluando la función para cada entrada.

dominio = {-2, -1, 0, 1, 2} f(x) = x²
x f(x)
-2 4
-1 1
0 0
1 1
2 4

La imagen es {0, 1, 4}. Aunque se evaluaron cinco entradas, solo aparecen tres salidas distintas.

6.7 Calcular la imagen con JavaScript

Podemos usar un arreglo para representar el dominio y un conjunto para guardar las salidas sin repetir valores.

function cuadrado(x) {
  return x * x;
}

const dominio = [-2, -1, 0, 1, 2];
const imagen = new Set();

for (const x of dominio) {
  imagen.add(cuadrado(x));
}

console.log([...imagen]);

El objeto Set evita valores repetidos. Por eso la imagen calculada contiene solo las salidas diferentes.

6.8 Codominio en programación

En programación, el codominio puede pensarse como el tipo o conjunto de salidas esperadas. Por ejemplo, una función puede estar diseñada para devolver números, textos, booleanos, objetos o valores dentro de un rango.

Función Codominio esperado Ejemplo de salida
calcularPrecioFinal(precio) Número no negativo 850
esMayorDeEdad(edad) Booleano true
obtenerInicial(nombre) Texto "D"
clasificarNota(nota) Categoría "aprobado"

6.9 Imagen y valores realmente producidos

Una función puede tener un codominio amplio, pero producir solo algunos valores. Esto ocurre con funciones que clasifican, redondean o agrupan resultados.

function clasificarNota(nota) {
  if (nota >= 7) {
    return "aprobado";
  }

  return "desaprobado";
}

const notas = [2, 4, 6, 7, 8, 10];
const imagen = new Set(notas.map(clasificarNota));

console.log([...imagen]);

Aunque las entradas son varias notas numéricas, las salidas reales son solo dos textos: aprobado y desaprobado.

6.10 Imagen en funciones continuas

Cuando una función trabaja con infinitos valores de entrada, no podemos listar toda la imagen con una tabla. En esos casos se analiza la fórmula, el gráfico o el comportamiento de la función.

f(x) = x² dominio = R imagen = [0, ∞)

El valor mínimo de es 0, y a partir de allí la función puede producir cualquier valor real no negativo.

6.11 Errores comunes

  • Confundir codominio con imagen.
  • Creer que el codominio siempre coincide con las salidas reales.
  • Olvidar que la imagen está contenida dentro del codominio.
  • No considerar valores repetidos al calcular la imagen de un dominio finito.
  • No definir claramente qué tipo de salida debe devolver una función en código.

6.12 Qué debes recordar de este tema

  • El codominio es el conjunto de valores de salida declarado o esperado.
  • La imagen es el conjunto de valores que la función realmente produce.
  • La imagen siempre está contenida dentro del codominio.
  • En dominios finitos, la imagen puede calcularse evaluando todas las entradas.
  • En programación, el codominio puede relacionarse con tipos de retorno o rangos esperados.
  • Identificar la imagen ayuda a comprender el comportamiento real de una función.

6.13 Conclusión

Codominio e imagen describen la salida de una función desde dos puntos de vista distintos. El codominio indica dónde deberían estar las salidas, mientras que la imagen muestra cuáles aparecen realmente.

En el próximo tema veremos la notación funcional, una forma compacta y precisa de escribir funciones y evaluarlas.