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\colon X\to Y$ é um subconjunto do contradomínio formado pelos valores que uma função pode chegar a tomar. É representado por $f(X),$ ${\mbox{Im}}(f),$ ${\mbox{Im}}_{f}$ ou ${\mbox{I}}_{f}$ e é definida por:

${\mbox{Im}}_{f}=\{\,y\in Y\,|\,y=f(x){\text{ para algum }}x\in X\,\}$

Em uma função qualquer, se o seu contradomínio é igual ao seu conjunto imagem, diz-se que esta função é sobrejetora.

Ver também

• Contra-domínio
• Domínio
• Função
• Imagem inversa