Codominio

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Imagen de una función f de dominio X y codominio Y. El óvalo pequeño dentro del codominio es la imagen (o rango) de f.

En matemáticas, el codominio (también llamado contradominio, conjunto final o conjunto de llegada) de una función es un conjunto al que pertenecen todos los valores de salida de la función.

El codominio se distingue de la imagen en que todos los elementos de la imagen son valores de salida de la función, mientras que el codominio puede contener otros elementos que no son valores de salida. Es decir: si es el codominio e la imagen de una función , entonces . Si la imagen y el codominio sí coinciden, la función es una función sobreyectiva.

Por ejemplo, para la función "multiplicar por 2" sobre el dominio de los números naturales, el codominio son los números naturales, mientras que la imagen son solo los números pares (ya que no hay números impares que sean el doble de un número natural).

Ejemplo[editar]

Para una función

definida como una función cuadrática:

, o el equivalente ,

el codominio de es , pero siempre toma un valor positivo. Por lo tanto, la imagen (o rango) de es el conjunto ; por ejemplo, el intervalo [0,∞).

Véase también[editar]

Enlaces externos[editar]