Função

Conceito

As funções são definidas abstractamente por certas relações. Por causa de sua generalidade, as funções aparecem em muitos contextos matemáticos e muitas áreas da matemática baseiam-se no estudo de funções. Deve-se notar que as palavras "função", "mapeamento", "mapa" e "transformação" são geralmente usadas como termos equivalentes. Além disso pode-se ocasionalmente se referir a funções como "funções bem definidas" ou "funções totais". O conceito de uma função é uma generalização da noção comum de fórmula matemática. As funções descrevem relações matemáticas especiais entre dois elementos. Intuitivamente, uma função é uma maneira de associar a cada valor do argumento x (às vezes denominado variável independente) um único valor da função f(x) (também conhecido como variável dependente). Isto pode ser feito através de uma equação, um relacionamento gráfico, diagramas representando os dois conjuntos, uma regra de associação, uma tabela de correspondência. Cada par de elementos relacionados pela função determina um ponto nesta representação, a restrição de unicidade da imagem implica um único ponto da função em cada linha de chamada do valor independente x.
Assim como a noção intuitiva de funções não se limita a cálculos usando números individuais, a noção matemática de funções não se limita a cálculos e nem mesmo a situações que envolvam números. Assim, uma função liga um domínio (conjunto de valores de entrada) com um segundo conjunto o contradomínio ou codomínio (conjunto de valores de saída) de tal forma que a cada elemento do domínio está associado exatamente um elemento do contradomínio. O conjunto dos elementos do contradomínio que são relacionados pela f a algum x do domínio, é o conjunto imagem ou chamado simplesmente imagem

TIPOS DE FUNÇAO
Função sobrejetora: uma função é sobrejetora se, e somente se, o seu conjunto imagem for especificadamente igual ao contradomínio, Im = B. Por exemplo, se temos uma função f : Z→Z definida por y = x +1