Diferencia entre revisiones de «Codominio»

Contenido eliminado Contenido añadido
m Agregué otros nombres con que es conocido el codominio (recorrido e imagen).
"imagen" no, en el propio artículo se dice luego que no es lo mismo codominio que imagen.
Línea 1:
[[Image:Codomain.SVG|right|thumb|250px|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ática]]s, el '''codominio''' (también llamado '''contradominio''', '''recorrido''', '''imagen''', '''conjunto final''' o '''conjunto de llegada''') de una [[función matemática|función]] <math>f \colon X \to Y \,</math> es un conjunto <math>Y\,</math> al que pertenecen todos los [[Función matemática#Definición|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 <math>\operatorname{Cod}_f\,</math> es el codominio e <math>\operatorname{Im}_f\,</math> la [[imagen (matemática)|imagen]] de una función <math>f\,</math>, entonces <math>\operatorname{Im}_f\subseteq \operatorname{Cod}_f</math>. Si la imagen y el codominio sí coinciden, la función es una [[función sobreyectiva]].