De Wikipedia, la enciclopedia libre
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
:
X
→
Y
{\displaystyle f\colon X\to Y\,}
es el conjunto
Y
{\displaystyle Y\,}
que participa en esa función, y se denota
Cod
f
{\displaystyle \operatorname {Cod} _{f}\,}
o
C
f
{\displaystyle C_{f}\,}
o
c
o
d
o
m
(
f
)
{\displaystyle {\rm {{codom}(f)\,}}}
.
Sea
Im
f
{\displaystyle \operatorname {Im} _{f}\,}
la imagen de una función
f
{\displaystyle f\,}
, entonces
Im
f
⊆
C
f
{\displaystyle \operatorname {Im} _{f}\subseteq C_{f}}
.
Ejemplo
Para una función
f
:
R
→
R
{\displaystyle f\colon \mathbb {R} \rightarrow \mathbb {R} }
definida como una función cuadrática :
f
:
x
↦
x
2
{\displaystyle f\colon \,x\mapsto x^{2}}
, o el equivalente
f
(
x
)
=
x
2
{\displaystyle f(x)\ =\ x^{2}}
,
el codominio de
f
{\displaystyle f}
es
R
{\displaystyle \textstyle \mathbb {R} }
, pero
f
(
x
)
{\displaystyle f(x)}
siempre toma un valor positivo.
Por lo tanto, la imagen de
f
{\displaystyle f}
es el conjunto
R
0
+
{\displaystyle \textstyle {\mathbb {R} }_{0}^{+}}
; por ejemplo, el intervalo [0,∞).
Véase también
Enlaces externos