Codominio

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 $f\colon X\to Y\,$ es el conjunto $Y\,$ que participa en esa función.

Sea $\operatorname {Cod} _{f}\,$ el codominio e $\operatorname {Im} _{f}\,$ la imagen de una función $f\,$, entonces $\operatorname {Im} _{f}\subseteq \operatorname {Cod} _{f}$.

Ejemplo

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 {\mathbb {R} }_{0}^{+}$; por ejemplo, el intervalo [0,∞).

Véase también

• Dominio de definición
• Imagen (matemática)

Enlaces externos

• Weisstein, Eric W. «Codomain». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

• Datos: Q199006