Conjunto imagem

A imagem do conjunto X é o conjunto {A,B,D} que é subconjunto de Y.

Função sobrejetora: Neste caso, a imagem do conjunto X é o conjunto Y, porque todos seus valores estão associados a algum elemento do conjunto X.

Em matemática, o conjunto imagem (conhecido também como campo de valores) de uma função $f:X\to Y$ é o conjunto de todos os elementos de $Y$ que são imagem de algum elemento de X.^[1] Costuma ser representado por $\operatorname {I} (f)$ ou $\operatorname {Im} (f).$ Por definição, o conjunto imagem é um subconjunto do contradomínio: $\operatorname {I} (f)\subseteq Y.$

A imagem de um dado elemento $x$ do domínio é o único $y$ do contradomínio associado a ele pela função $f.$ É representada por $f(x).$ Portanto, temos: $\operatorname {I} (f)=\{\,y\in Y\,|\,y=f(x){\text{ para algum }}x\in X\,\}.$

Exemplo

Seja a função $g:\mathbb {R} \rightarrow \mathbb {R} ,$ definida por $g(x)=x^{2}.$ A imagem de 2 pela função $g$ é $g(2)=2^{2}=4.$ De maneira análoga, diz-se que as imagens de 6, -6 e 7 pela função $g$ são 36, 36 e 49, respectivamente, o que pode ser representado matematicamente por $g(6)=36,$ $g(-6)=36$ e $g(7)=49.$ O conjunto imagem de $g$ é o conjunto de todos os valores assumidos por $g(x),$ para todo $x\in \mathbb {R} .$ Portanto, $I(g)=\mathbb {R} _{ }.$