Diferencia entre revisiones de «Codominio»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiqueta: editor de código 2017 |
m Agregué otros nombres con que es conocido el codominio (recorrido e 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]].
| |||