Conjunto imagem: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Erskw (discussão | contribs)
Texto reescrito com mais clareza; adicionados exemplo e fonte fiável; marcado como mínimo
Linha 1:
{{sem-fontes|data=dezembro de 2009}}
[[Imagem:Injection.svg|frame|direita|A imagem do [[conjunto]] X é o conjunto {A,B,D} que é [[subconjunto]] de Y.]]
 
[[Imagem:Surjection.svg|frame|direita|[[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 (matemática)|função]] <math>f \colon: X \to Y</math> é umo [[subconjuntoconjunto]] dode [[contradomínio]]todos formadoos peloselementos valoresde {{mvar|Y}} que umasão ''imagem'' funçãode podealgum chegarelemento ade tomarA.<ref>NETO, ÉAref representadoAntar por <math>f(Xet al.). ''Conjuntos e funções: 2º grau''. Fortaleza: Ed. Vestseller,</math> <math>\mbox{Im}2009. (f'''Noções de Matemática; v.1'''),</math>. <math>\mbox{Im}_f</math> ouISBN <math>\mbox{I}_f978-85-60653-04-1</mathref> e é definida por:
Costuma ser representado por <math>I(f)</math> ou <math>Im(f)</math>. Por definição, o conjunto imagem é um subconjunto do [[contradomínio]]: <math>I(f) \subseteq Y</math>.
: <math>\mbox{Im}_f = \{ \, y \in Y \, | \, y = f(x) \text{ para algum } x \in X \, \}</math>
 
A ''imagem'' de um dado elemento <math>x</math> do [[domínio]] é o único <math>y</math> do contradomínio associado a ele pela função <math>f</math>. É representada por <math>f(x)</math>. Portanto, temos:
Em uma função qualquer, se o seu [[contradomínio]] é igual ao seu conjunto imagem, diz-se que esta função é [[Função sobrejetora|sobrejetora]].
: <math>\mbox{Im}_fI(f) = \{ \, y \in Y \, | \, y = f(x) \text{ para algum } x \in X \, \}</math>
 
== Exemplo ==
 
Seja a função <math>g : \R \rightarrow \R</math>, definida por <math>g(x) = x^2</math>. A imagem de 2 pela função <math>g</math> é <math>g(2) = 2^2 = 4</math>. De maneira análoga, diz-se que as imagens de 6, -6 e 7 pela função <math>g</math> são 36, 36 e 49, respectivamente, o que pode ser representado matematicamente por <math>g(6) = 36</math>, <math>g(-6) = 36</math> e <math>g(7) = 49</math>. O conjunto imagem de <math>g</math> é o conjunto de todos os valores assumidos por <math>g(x)</math>, para todo <math>x \in \R</math>. Portanto, <math> I(g) = \R_+ </math>.
 
== Referências ==
<references />
 
== Ver também ==
* [[funçãoFunção (matemática)|Função]]
* [[Contra-domínio]]
* [[Contradomínio]]
* [[Domínio (matemática)|Domínio]]
* [[função (matemática)|Função]]
* [[Imagem inversa]]
 
{{mínimo sobre|matemática}}
 
[[Categoria:Teoria dos conjuntos]]