06/05/12

Funo Wikipdia, a enciclopdia livre

Funo
Origem: Wikipdia, a enciclopdia livre.

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
1 Conceito
2 Definio formal
3 Exemplos
4 Elementos da funo
5 Grficos de funo
6 Tipos de funes
7 Funes implcitas e explicitas
8 Composio de funes
9 Outras propriedades
10 Histria
11 Ver tambm
12 Referncias
12.1 Bibliografia
13 Ligaes externas

Funo

Conceito
As funes so definidas abstractamente 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
pt.wikipedia.org/wiki/Funo

1/7

06/05/12

Funo Wikipdia, a enciclopdia livre

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
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:

pt.wikipedia.org/wiki/Funo

2/7

06/05/12

Funo Wikipdia, a enciclopdia livre

Exemplos
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
Seja
partes:

uma funo. Toda funo consta de trs

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,
Funo x2, definida para { -3,-2,-1,0 }.
Observar o conjunto domnio (D),
define-se o conjunto imagem como o conjunto de valores
contradomnio (CD) e imagem (delineado
que efetivamente f(x) assume. O conjunto imagem , pois,
pela linha tracejada).
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
diferente da funo
, pois o contradomnio
diferente.

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.

pt.wikipedia.org/wiki/Funo

3/7

06/05/12

Funo Wikipdia, a enciclopdia livre

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
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]

Tipo de
funo

Caracterstica
da funo

Cada elemento
da imagem est
associado a
apenas um
elemento do
Injetora ou domnio, isto ,
injetiva
quando
no domnio
tem-se

no
contradomnio.

Conjunto
imagem

Explicao visual

Admite
funo
inversa?
inversvel?

Exemplo

A funo
Pode haver
elementos do
contradomnio
que no
pertenam
imagem da
funo.

dada por
,
injetiva
porque
nmeros
distintos
possuem
dobros
distintos.

No sempre,
mas sempre
admite inversa
esquerda.

A funo
dada por
,
Todos os
elementos do
Sobrejetora contradomnio
ou
esto
sobrejetiva associados a
algum elemento
do domnio.

pt.wikipedia.org/wiki/Funo

O conjunto
imagem
igual ao
conjunto
contradomnio

no
sobrejetiva,
pois o nmero
-1 elemento
do
contradomnio
e no
imagem de
qualquer
elemento do

No sempre,
mas sempre
admite inversa
direita.

4/7

06/05/12

Funo Wikipdia, a enciclopdia livre

domnio.
A funo
So ao mesmo
tempo
sobrejetoras e
injetoras, isto ,
cada elemento
Bijetora ou
do domnio
bijetiva
est associado
a um nico
elemento do
contradomnio
e vice-versa.

dada por
,
O conjunto
imagem
igual ao
conjunto
contradomnio

bijetiva
porque
sobrejetiva e
injetiva ao
mesmo
tempo.
Exemplo:
funo
identidade

Sim, sempre;
imagem igual
ao
contradomnio
vira domnio e
vice-versa.

Funes implcitas e explicitas

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
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:
e
uma funo composta pode ser:

pt.wikipedia.org/wiki/Funo

5/7

06/05/12

Funo Wikipdia, a enciclopdia livre

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
,
[6]
, etc. Note que o conjunto imagem de uma funo serve sempre de domnio para a outra.

Outras propriedades
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
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. As funes que
Leibniz considerou so 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. Foi
Dirichlet 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
pt.wikipedia.org/wiki/Funo

6/7

06/05/12

Funo Wikipdia, a enciclopdia livre

prtico, entretanto, as diferenas entre as definies moderna e de Euler so desprezveis.

Ver tambm
Funo implcita
Funcional
Composio de funes
Programao funcional
Funtor
Anexo:Lista de funes matemticas
Equao paramtrica
Funo generalizada

Referncias
1. STEWART, James. Clculo Vol. I - 4 edio. So Paulo: Pioneira Thomson Learning, 2002. Pgina 12.
2. FRANK AYRES, Philip A. Schmidt. Matemtica para Ensino Superior - 3 edio. So Paulo: Editora Artmed,
2003. Pgina 16.
3. a b STEWART, James. Clculo Vol. I - 4 edio. So Paulo: Pioneira Thomson Learning, 2002.
4. a b FRANK AYRES, Philip A. Schmidt. Matemtica para Ensino Superior - 3 edio. So Paulo: Editora
Artmed, 2003.
5. a b c LIMA, Elon Lages. Curso de anlise volume 1. 11 edio, 2004. pgina 13
6. a b c d AUBYN, Antnio St.; FIGUEREDO, Maria C.; LAURA, Lus de; RIBEIRO, Luisa; VIEGAS,
Francisco. Funes.Lisboa, 2004.Dsponvel em <http://preprint.math.ist.utl.pt/files/ppgmutlfuncoes.pdf>.

Bibliografia
vila, Geraldo Severo de Souza. (2005). Anlise matemtica para licenciatura. So Paulo. Edgard
Blcher. ISBN 85-212-0371-3.
Barboni, Ayrton; Paulette, Walter. (2007). Fundamentos de Matemtica: Clculo e Anlise. Editora
LTC. ISBN 978-85-216-1546-0.

Ligaes externas
Funes e Grficos: um curso introdutrio da UFRGS
(http://penta.ufrgs.br/edu/telelab/mundo_mat/cfuncao/fun_graf.htm)
Relaes e Funes (http://www.matematica.pucminas.br/profs/web_walter/oficinas/Oficina022005.pdf)
Explicao de funes em 19 pginas pelo Grupo de Matemtica da Universidade Tcnica de Lisboa
(http://preprint.math.ist.utl.pt/files/ppgmutlfuncoes.pdf)
Obtida de "http://pt.wikipedia.org/w/index.php?title=Funo&oldid=29942829"
Categorias: Teoria dos conjuntos Funes matemticas
Esta pgina foi modificada pela ltima vez (s) 21h23min de 3 de maio de 2012.
Este texto disponibilizado nos termos da licena Atribuio-Partilha nos Mesmos Termos 3.0 no
Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Consulte as condies de uso
para mais detalhes.

pt.wikipedia.org/wiki/Funo

7/7