Redaçãos

1 - Definição
Dados dois conjuntos A e B não vazios , chama-se função (ou aplicação) de A em B, representada por f : A ® B ; y = f(x) , a qualquer relação binária que associa a cada elemento de A , um único elemento de B .
Veja o capítulo Relações Binárias nesta página clicando AQUI[->0].
Portanto, para que uma relação de A em B seja uma função , exige-se que a cada x Î A esteja associado um único y Î B , podendo entretanto existir y Î B que não esteja associado a nenhum elemento pertencente ao conjunto A.
[->1][->2]
Obs : na notação y = f(x) , entendemos que y é imagem de x pela função f, ou seja: y está associado a x através da função f.
Exemplos:

f(x) = 4x+3 ; então f(2) = 4.2 + 3 = 11 e portanto , 11 é imagem de 2 pela função f ; f(5) = 4.5 + 3 = 23 , portanto 23 é imagem de 5 pela função f , f(0) = 4.0 + 3 = 3, etc.
Para definir uma função , necessitamos de dois conjuntos (Domínio e Contradomínio ) e de uma fórmula ou uma lei que relacione cada elemento do domínio a um e somente um elemento do contradomínio .
Quando D(f) (domínio) Ì R e CD(f)(contradomínio) Ì R , sendo R o conjunto dos números reais , dizemos que a função f é uma função real de variável real . Na prática , costumamos considerar uma função real de variável real como sendo apenas a lei y = f(x) que a define , sendo o conjunto dos valores possíveis para x , chamado de domínio e o conjunto dos valores possíveis para y , chamado de conjunto imagem da função . Assim, por exemplo, para a função definida por y = 1/x , temos que o seu domínio é D(f) = R* , ou seja o conjunto dos reais diferentes de zero (lembre-se que não existe divisão por zero) , e o seu conjunto imagem é também R* , já que se y = 1/x , então x = 1/y e portanto y também não pode ser zero.

Nota: o símbolo Ì significa “contido em”.
Dada uma função f : A ® B definida por y = f(x), podemos representar os pares ordenados (x,y) Î f onde x Î A e y Î B ,num sistema de coordenadas cartesianas .
O gráfico