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