Conjunto imagem

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou se(c)ção não cita fontes fiáveis e independentes (desde dezembro de 2009). Por favor, adicione referências e insira-as no texto ou no rodapé, conforme o livro de estilo. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros, acadêmico)Yahoo!Bing.
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]