Funo um dos conceitos mais importantes da matemtica.

Existem vrias definies,

dependendo da forma como so escolhidos os axiomas. Uma relao entre dois conjuntos,
onde h uma relao entre cada um de seus elementos. Tambm pode ser uma lei que
para cada valor x correspondido por um elemento y, tambm denotado por (x). Existem
inmeros tipos de funes matemticas, entre as principais temos: funo
sobrejetora, funo injetora, funo bijetora, funo trigonomtrica, funo linear, funo
modular, funo quadrtica, funo exponencial, funo logartmica, funo polinomial,
dentre inmeras outras. Cada funo definida por leis generalizadas e propriedades
especficas.[1] [2]
ndice
[esconder]

1Conceito

2Definio formal

3Exemplos

4Elementos da funo

5Grficos de funo

6Tipos de funes
o

6.1Funes implcitas e explicitas

6.2Composio de funes

7Outras propriedades

8Histria

9Ver tambm

10Referncias
o

10.1Bibliografia
11Ligaes externas

Conceito[editar | editar cdigo-fonte]

As funes so definidas por certas relaes. Por causa de sua generalidade, as funes
aparecem em muitos contextos matemticos e muitas reas da matemtica baseiam-se no
estudo de funes. Deve-se notar que as palavras "funo", "mapeamento", "mapa" e
"transformao" so geralmente usadas como termos equivalentes. Alm disso pode-se
ocasionalmente se referir a funes como "funes bem definidas" ou "funes totais".O

conceito de uma funo uma generalizao da noo comum de frmula matemtica.

As funes descrevem relaes matemticas especiais entre dois elementos.
Intuitivamente, uma funo uma maneira de associar a cada valor do argumento x (s
vezes denominado varivel independente) um nico valor da funo f(x) (tambm
conhecido como varivel dependente). Isto pode ser feito atravs de uma equao, um
relacionamento grfico, diagramas representando os dois conjuntos, uma regra de
associao, uma tabela de correspondncia. Cada par de elementos relacionados pela
funo determina um ponto nesta representao, a restrio de unicidade da imagem
implica um nico ponto da funo em cada linha de chamada do valor independente x.[3] [4]
Assim como a noo intuitiva de funes no se limita a clculos usando nmeros
individuais, a noo matemtica de funes no se limita a clculos e nem mesmo a
situaes que envolvam nmeros. Assim, uma funo liga um domnio (conjunto de
valores de entrada) com um segundo conjunto o contradomnio ou codomnio (conjunto
de valores de sada) de tal forma que a cada elemento do domnio est associado
exatamente um elemento do contradomnio. O conjunto dos elementos do contradomnio
que so relacionados pela f a algum x do domnio, o conjunto imagem ou chamado
simplesmente imagem.[4]

Definio formal[editar | editar cdigo-fonte]

Considere dois conjuntos: o conjunto X com elementos x e o conjunto Y com elementos y.
Isto :

diz-se que a funo f de X em Y que relaciona cada elemento x em X,

um nico elemento y = f (x) em Y.[3]
Outra maneira de dizer isto afirmar que f uma relao binria entre os dois
conjuntos tal que:
1. f unvoca: se y = f (x) e z = f (x), ento y = z;
2. f total: para todos x em X, existe um y em Y tal que y = f (x).
Se a segunda condio atendida, mas a primeira no, temos uma funo
multivalorada, o termo funo multvoca , por vezes utilizado na mesma acepo.
Se a primeira condio atendida, mas a segunda no, temos uma funo parcial.
Considere as trs funes seguintes:

Esta no uma funo, pois o elemento 3 em X

associado com dois elementos (d e c) em Y (a
correspondncia funcional). Apesar de no ser
uma funo, representa uma funo multivalorada.

Esta no uma funo, pois o elemento 1

em X no associado com um elemento em Y.
Apesar de no ser uma funo, representa
uma funo parcial.

Esta uma funo (no caso, uma funo discreta).

Ela pode ser definida explicitamente pela
expresso:

Exemplos[editar | editar cdigo-fonte]

Para modelar o crescimento de uma populao de bactrias de acordo com o tempo,
da seguinte forma:

Considera-se o tempo como varivel independente, podendo-se denot-lo por x.

Como o tamanho da populao de bactrias varia como o tempo, ele pode ser
considerado como uma varivel dependente, e denotado por (x).

Dizemos ento que, o crescimento desta populao de bactrias est em funo do

tempo.

Elementos da funo[editar | editar cdigo-fonte]

Ver artigo principal: Conjunto imagem

Funo x2, definida para { -3,-2,-1,0 }. Observar o conjunto domnio (D),contradomnio (CD)
e imagem (delineado pela linha tracejada).

Seja

uma funo. Toda funo consta de trs partes:

A primeira o conjunto

chamado de domnio da funo, o conjunto onde a

funo definida [5] , ou seja, ele contm todos os elementos x para os quais a
funo deve ser definida.

Outra parte integrante da funo o contradomnio (representado na figura

por

), que o conjunto que contm os elementos que podem ser

relacionados a elementos do domnio. Em outras palavras, o conjunto onde a

funo toma valores.[5] Dentro do contradomnio, define-se o
conjunto imagem como o conjunto de valores que efetivamente f(x) assume. O
conjunto imagem , pois, sempre um subconjunto do contradomnio.

A terceira parte de uma funo a regra que permite associar, de modo bem
determinado, a cada elemento

um nico elemento

chamado o valor que a funo assume em x (ou no ponto x).[5]

A funo, portanto, se caracteriza pelo domnio, o contradomnio, e pela lei de
associao (regra). A funo
funo

diferente da
pois o contradomnio diferente.

Grficos de funo[editar | editar cdigo-fonte]

Ver artigo principal: Grficos de funo
As funes so comumente representadas em grficos. O grfico de uma funo f : D
I o conjunto dos pares ordenados em D x I da forma ( x , f (x) ), ou seja:

ou equivalentemente:

os termos deste par ordenado so chamados de abcissa e ordenada,

respectivamente.
Uma funo determinada pelo seu grfico e pela especificao do conjunto
de chegada. Assim, se duas funes tm o mesmo grfico, uma poder
ser sobrejectiva e a outra no. No entanto, a injectividade de uma funo
completamente determinada pelo grfico.

Tipos de funes[editar | editar cdigo-fonte]

Dependendo do tipo de regra que associa os elementos do domnio aos
elementos do contradomnio de uma funo, ela pode receber nomes
especficos. Por exemplo,

Se a regra que associa o domnio ao contradomnio um polinmio, ento

a funo dita uma funo polinomial. Exemplos de funes polinomiais
so a funo linear e a funo quadrtica.[6]

Se a regra eleva o logaritmo neperiano pelos elementos do domnio, ento

a funo dita exponencial.[6]

Os tipos de funes podem ser classificados de acordo com o seu

comportamento com relao regra uma nica sada para cada entrada.
Como no foi dito nada sobre as entradas, ou se as sadas tem que ser nicas
temos que resolver estas ambiguidades. Ao fazer isto encontramos apenas
trs tipos de classes de funes, e classe empregado aqui como
classificao mesmo e no como classe de equivalncia.[6]

Admite
Tipo de

Caracterstic

funo

a da funo

funo

Conjunt
o

Explicao visual

Exemplo

imagem

inversa?

inversv
el?

Injetora

Cada

Pode

A funo

ou

elemento da

haver

injetiva

imagem est

elemento

por

mas

associado a

s do

, injetiva

sempre

apenas um

contrado

porque nmeros

admite

elemento do

mnio

distintos

inversa

domnio, isto

que no

possuem dobros

esquerda

dada

Nem
sempre,

, quando

no

pertena

domnio tem-

se

imagem

no

contradomni

distintos.

da
funo.

o.

A funo
dada
Todos os

por

Nem

elementos do conjunto

, no

Sobreje

contradomni

imagem

sobrejetiva, pois

tora ou

o esto

igual

o nmero-1

sobreje

associados a

ao

elemento do

tiva

algum

conjunto

contradomnio

elemento do

contrado

e no imagem

domnio.

mnio

de qualquer

sempre,
mas
sempre
admite
inversa
direita.

elemento do
domnio.

So ao
mesmo
tempo

Bijetora
ou
bijetiva

sobrejetoras

e injetoras,

conjunto

isto , cada

imagem

elemento do

igual

domnio est

ao

associado a

conjunto

um nico

contrado

elemento do

mnio

contradomni

A funo

Sim,

dada

sempre;
,

imagem

bijetiva porque

igual ao

sobrejetiva e

contrado

injetiva ao

mnio vira

mesmo tempo.

domnio

Exemplo: funo

e vice-

identidade

versa.

por

o e viceversa.

Funes implcitas e explicitas[editar | editar cdigo-fonte]

O tipo de funo mais comum aquele onde o argumento e o valor da funo

so ambos numricos, o relacionamento entre os dois expresso por uma
frmula e o valor da funo obtido atravs da substituio direta dos
argumentos. Considere o exemplo:

que associa a cada x o seu quadrado. Uma generalizao direta permitir

funes que dependam no s de um nico valor, mas de vrios. Por
exemplo:

recebe dois nmeros x e y e associa a eles o seu produto, xy. De

acordo com o modo como uma funo especificada, ela chamada
de funo explcita (como acima) ou de funo implcita, como em

que define implicitamente a funo

Composio de funes[editar | editar cdigofonte]

So as funes em que o conjunto imagem de uma
funo

serve de domnio para uma outra funo

que por sua vez gera um conjunto imagem A. A funo

composta uma expresso que, dado um determinado
nmero do domnio de

nos leva diretamente ao

conjunto imagem A.Por exemplo, dadas as funes que se

seguem:
e
uma funo composta pode ser:

Observa-se que f(x) transforma-se em varivel de

g(x). Ou seja, g(x)= (x)-1. Temos que, g(f(x)) =
(2x+3)-1. Logo g(f(x)) = 2x+2. Existem vrias
maneiras de se criar funes compostas. Podemos
fazer

etc. Note que o conjunto

imagem de uma funo serve sempre de domnio

para a outra.[6]

Outras propriedades[editar | editar

cdigo-fonte]
H muitas outras classes especiais de funes que
so importantes em reas ou aplicaes especficas
da matemtica. Alguns desses tipos de funes so
listados a seguir.

injetiva

sobrejetiva

bijetiva

contnua

diferencivel, integrvel

linear, polinomial, racional

algbrica, transcendental

trigonomtrica

fractal

par ou mpar

convexa, cncava montona, unimodal

holomorfa, meromorfa, inteira

vetorial

computvel

Histria[editar | editar cdigo-fonte]

O uso de "funo" como um termo matemtico foi
iniciado por Leibniz, em uma carta de 1673, para
designar uma quantidade relacionada a uma curva,
tal como a sua inclinao em um ponto especfico.
[7]

As funes que Leibniz considerou so atualmente

chamadas de funes diferenciveis. Em relao a

este tipo de funo, pode-se falar

em limites e derivadas. Estes conceitos so medidas

dos valores de sada ou de sua variao em relao
aos valores de entrada, e formam a base do clculo.
A palavra funo foi, posteriormente, usada
por Euler em meados do sculo XVIII para descrever
uma expresso envolvendo vrios argumentos. Com
o tempo foi-se ampliando a definio de funes. Os
matemticos foram capazes de estudar "estranhos"
objetos matemticos tais como funes que no so
diferenciveis em qualquer de seus pontos. Tais
funes, inicialmente tidas como puramente
imaginrias e chamadas genericamente de
"monstros", foram j no final do sculo XX,
identificadas como importantes para a construo de
modelos fsicos de fenmenos tais como
o movimento Browniano.
Durante o Sculo XIX, os matemticos comearam a
formalizar todos os diferentes ramos da
matemtica. Weierstrass defendia que se construisse
o clculo infinitesimal sobre a Aritmtica ao invs de
sobre a Geometria, o que favorecia a definio de
Euler em relao de Leibniz. Mais para o final do
sculo, os matemticos comearam a tentar
formalizar toda a Matemtica usando Teoria dos
conjuntos, e eles conseguiram obter definies de
todos os objetos matemticos em termos do conceito
de conjunto. FoiDirichlet quem criou a definio
"formal" de funo moderna. Na definio de
Dirichlet, uma funo um caso especial de
uma relao. Relao um conjunto de pares
ordenados, onde cada elemento do par pertence a
um dos conjuntos relacionados. Nas relaes no
existem restries quanto lei de correspondncia
entre os elementos dos conjuntos, j para as funes
costume introduzir restries. Na maioria dos casos
de interesse prtico, entretanto, as diferenas entre
as definies moderna e de Euler so desprezveis.