As funes nada mais so que um tipo particular de relao que possuem uma propriedade

especfica.
Para iniciarmos o estudo das funes vamos comear analisando a relao
, cujo diagrama de flechas pode ser visto a baixo:

Observe que todos os elementos do conjunto A possuem uma flecha em direo a um
nico elemento do conjunto B.
Em outras palavras, no h no conjunto A qualquer elemento que no esteja associado a
um elemento do conjunto B e os elementos de A esto associados a apenas um elemento
de B.
Por possuir tal propriedade, dizemos que esta relao uma funo f de A em B
representada por:


Domnio da Funo
Ao conjunto A damos o nome de domnio da funo.
O domnio o conjunto de partida. Ele composto de todos os elementos do conjunto de
partida.
Neste nosso exemplo o domnio da funo f representado por D(f) = { -3, 0, 3 }, ou
seja, o domnio desta funo contm todos os elementos do conjunto A.
Como supracitado, para que tenhamos uma funo, todos os elementos do domnio
devem estar associados a um e somente um dos elementos de B.

Contradomnio da Funo
Ao conjunto B damos o nome de contradomnio da funo.
O contradomnio o conjunto de chegada. Ele composto de todos os elementos do
conjunto de chegada.
Em nosso exemplo o contradomnio da funo f representado por CD(f) = { 0, 9, 18 },
isto , o contradomnio desta funo contm todos os elementos do conjunto B.
Segundo o conceito de funo no necessrio que todos os elementos de B estejam
relacionados aos elementos do domnio. Note que no conjunto B o elemento 18 no
recebe nenhuma flecha, isto , no est relacionado a qualquer elemento de A.
Uma outra coisa que deve ser observada que em uma funo os elementos do
contradomnio podem receber mais de uma flechada, se associando, portanto, a mais de
um elemento do domnio. Como exemplo temos o elemento 9 que est associado aos
elementos do domnio -3 e 3.

Imagem da Funo
A imagem da funo dependendo do caso o prprio contradomnio, ou ento um
subconjunto seu.
Os elementos do conjunto imagem so todos os elementos do contradomnio que esto
associados a algum elemento do domnio. No exemplo que estamos utilizando o
conjunto imagem representado por Im(f) = { 0, 9 }, pois 0 e 9 so todos os elementos
do CD(f) que esto associados a algum elemento do D(f).
Em resumo para a funo de exemplo temos:
Domnio da Funo: D(f) = { -3, 0, 3 }
Contradomnio da Funo: CD(f) = { 0, 9, 18 }
Conjunto Imagem da Funo: Im(f) = { 0, 9 }
Nesta funo exemplo o conjunto imagem um subconjunto do contradomnio, pois o
elemento 18 de B no est contido no conjunto imagem, por no estar associado a
nenhum elemento do domnio.

Definio de uma Funo
Esta funo f de A em B, , definida como:

Ou ainda como:

Veja tambm que representamos f(x) ou y em funo de x. A varivel f(x) ou y
chamada de varivel dependente, pois depende de x, j a varivel x chamada de
varivel independente, pois independentemente de y, pode representar qualquer
elemento do domnio.
A definio da funo leva em conta tanto o domnio quanto do contradomnio,
relacionando-os. O conjunto imagem Im(f), depende no s da regra de associao, no
caso f(x) = x
2
, como tambm do D(f) e do CD(f).