Codominio

De Wikipedia, la enciclopedia libre
Saltar a: navegación, 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 o contradominio (también denominado conjunto final, recorrido o conjunto de llegada) de una función f \colon X \to Y \, es el conjunto Y\, que participa en esa función, y se denota \operatorname{Cod}_f\, o C_f\, o \rm{codom}(f)\,.

Sea \operatorname{Im}_f\, la imagen de una función f\,, entonces \operatorname{Im}_f\subseteq C_f.

Ejemplo[editar]

Para una función

f\colon \mathbb{R}\rightarrow\mathbb{R}

definida como una función cuadrática:

f\colon\,x\mapsto x^2, o el equivalente f(x)\ =\ x^2,

el codominio de f es \textstyle \mathbb R, pero f(x) siempre toma un valor positivo. Por lo tanto, la imagen de f es el conjunto \textstyle {\R}^+_0; por ejemplo, el intervalo [0,∞).

Véase también[editar]

Enlaces externos[editar]