Conjunto imagem

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou secção não cita nenhuma fonte ou referência, o que compromete sua credibilidade (desde dezembro de 2009).
Por favor, melhore este artigo providenciando fontes fiáveis e independentes, inserindo-as no corpo do texto por meio de notas de rodapé. Encontre fontes: Googlenotícias, livros, acadêmicoScirusBing. Veja como referenciar e citar as fontes.
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[editar | editar código-fonte]