Funo (matemtica)

tos, 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
Funo f (x) = x2
contradomnio que so relacionados pela f a algum x do
domnio, o conjunto imagem ou chamado simplesmente
Funo um dos conceitos mais importantes da imagem.[4]
matemtica. Existem vrias denies, dependendo da
forma como so escolhidos os axiomas. Uma relao entre dois conjuntos, onde h uma relao entre cada um de
2 Denio formal
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 ma- Considere dois conjuntos: o conjunto X com elementos x
temticas, entre as principais temos: funo sobrejetora, e o conjunto Y com elementos y. Isto :
funo injetora, funo bijetora, funo trigonomtrica,
funo linear, funo modular, funo quadrtica, funo
exponencial, funo logartmica, funo polinomial, den- f : X Y
tre inmeras outras. Cada funo denida por leis ge- diz-se que a funo f de X em Y que relaciona cada eleneralizadas e propriedades especcas.[1][2]
mento x em X, um nico elemento y = f (x) em Y.[3]

Outra maneira de dizer isto armar que f uma relao

binria entre os dois conjuntos tal que:

Conceito

1. f unvoca: se y = f (x) e z = f (x), ento y = z;

As funes so denidas abstratamente 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 denidas 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 grco, diagramas representando os dois conjun-

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:

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

TIPOS DE FUNES

Considera-se o tempo como varivel independente, g : R R+ , g(x) = x2 , pois o contradomnio dipodendo-se denot-lo por x.
ferente.
Como o tamanho da populao de bactrias varia
como o tempo, ele pode ser considerado como uma
varivel dependente, e denotado por (x).

5 Grcos de funo

Dizemos ento que, o crescimento desta populao de As funes so comumente representadas em grcos. O
grco de uma funo f : D I o conjunto dos pares
bactrias est em funo do tempo.
ordenados em D x I da forma ( x , f (x) ), ou seja:

Elementos da funo

{(x, f (x)) : x D}
ou equivalentemente:

D
-3
-2
-1
0

CD
1

Funo x2 , denida para { 3,2,1,0 }. Observar o conjunto

domnio (D), contradomnio (CD) e imagem (delineado pela linha tracejada).

{(x, y) D I : x D e y = f (x)}
os termos deste par ordenado so chamados de abcissa e
ordenada, respectivamente.
Uma funo determinada pelo seu grco e pela especicao do conjunto de chegada. Assim, se duas funes
tm o mesmo grco, uma poder ser sobrejectiva e a
outra no. No entanto, a injectividade de uma funo
completamente determinada pelo grco.

6 Tipos de funes

Dependendo do tipo de regra que associa os elementos do

domnio aos elementos do contradomnio de uma funo,
Seja f : D CD uma funo. Toda funo consta de ela pode receber nomes especcos. Por exemplo,
trs partes:
Se a regra que associa o domnio ao contradomnio
um polinmio, ento a funo dita uma funo
A primeira o conjunto D, chamado de domnio da
[5]
polinomial. Exemplos de funes polinomiais so a
funo, o conjunto onde a funo denida , ou
funo linear e a funo quadrtica.[6]
seja, ele contm todos os elementos x para os quais
a funo deve ser denida.
Outra parte integrante da funo o contradomnio
(representado na gura por CD ), 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, dene-se o conjunto imagem como
o conjunto de valores que efetivamente f(x) assume.
O conjunto imagem , pois, sempre um subconjunto
do contradomnio.

Se a regra eleva o logaritmo neperiano pelos elementos do domnio, ento a funo dita exponencial.[6]
Os tipos de funes podem ser classicados 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 classicao mesmo e no como
classe de equivalncia.[6]

A terceira parte de uma funo a regra que permite associar, de modo bem determinado, a cada
elemento x D, um nico elemento f (x) CD, 6.1 Funes implcitas e explicitas
chamado o valor que a funo assume em x (ou no
ponto x).[5]
O tipo de funo mais comum aquele onde o argumento
e o valor da funo so ambos numricos, o relacionaA funo, portanto, se caracteriza pelo domnio, o con- mento entre os dois expresso por uma frmula e o valor
tradomnio, e pela lei de associao (regra). A fun- da funo obtido atravs da substituio direta dos aro f : R R, f (x) = x2 diferente da funo gumentos. Considere o exemplo:

3
sobrejetiva
f (x) = x2
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:

bijetiva
contnua
diferencivel, integrvel
linear, polinomial, racional

g(x, y) = xy,
recebe dois nmeros x e y e associa a eles o seu produto,
xy. De acordo com o modo como uma funo especicada, ela chamada de funo explcita (como acima)
ou de funo implcita, como em

algbrica, transcendental
trigonomtrica
fractal
par ou mpar
convexa, cncava montona, unimodal

xf (x) = 1,

holomorfa, meromorfa, inteira

que dene implicitamente a funo

vetorial
computvel

f (x) =

6.2

1
.
x

Composio de funes

So as funes em que o conjunto imagem de uma funo

f (x) serve de domnio para uma outra funo g(x), que
por sua vez gera um conjunto imagem A. A funo composta uma expresso que, dado um determinado nmero do domnio de f (x), nos leva diretamente ao conjunto imagem A.Por exemplo, dadas as funes que se
seguem:

8 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 especco.[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 foiuma funo composta pode ser:
se ampliando a denio de funes. Os matemticos
foram capazes de estudar estranhos objetos matemticos tais como funes que no so diferenciveis em
g(f (x)) = 2x + 2
qualquer de seus pontos. Tais funes, inicialmente tidas
como puramente imaginrias e chamadas genericamente
Observa-se que f(x) transforma-se em varivel de g(x). de monstros, foram j no nal do sculo XX, identiOu seja, g(x)= (x)1. Temos que, g(f(x)) = (2x+3)1. cadas como importantes para a construo de modelos
Logo g(f(x)) = 2x+2. Existem vrias maneiras de se criar fsicos de fenmenos tais como o movimento Browniano.
funes compostas. Podemos fazer f (g(x)), f (f (x)),
etc. Note que o conjunto imagem de uma funo serve Durante o Sculo XIX, os matemticos comearam a
formalizar todos os diferentes ramos da matemtica.
sempre de domnio para a outra.[6]
Weierstrass defendia que se construisse o clculo innitesimal sobre a Aritmtica ao invs de sobre a Geometria, o que favorecia a denio de Euler em relao de
7 Outras propriedades
Leibniz. Mais para o nal do sculo, os matemticos comearam a tentar formalizar toda a Matemtica usando
H muitas outras classes especiais de funes que so im- Teoria dos conjuntos, e eles conseguiram obter denies
portantes em reas ou aplicaes especcas da matem- de todos os objetos matemticos em termos do conceito
tica. Alguns desses tipos de funes so listados a seguir. de conjunto. Foi Dirichlet quem criou a denio formal de funo moderna. Na denio de Dirichlet, uma
injetiva
funo um caso especial de uma relao. Relao um
f (x) = 2x + 3 e g(x) = x 1

11 LIGAES EXTERNAS

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 denies moderna e de Euler so desprezveis.

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

10

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] STEWART, James. Clculo Vol. I - 4 edio. So Paulo:
Pioneira Thomson Learning, 2002.
[4] FRANK AYRES, Philip A. Schmidt. Matemtica para
Ensino Superior - 3 edio. So Paulo: Editora Artmed,
2003.
[5] LIMA, Elon Lages. Curso de anlise volume 1. 11 edio, 2004. pgina 13
[6] AUBYN, Antnio St.; FIGUEREDO, Maria C.;
LOURA, Lus de; RIBEIRO, Luisa; VIEGAS, Francisco. Funes.Lisboa, 2004.Dsponvel em < http:
//math.tecnico.ulisboa.pt/textos/ppgmutlfuncoes.pdf>.
[7] ARP, Robert; CAPLAN, Arthur. 1001 Ideas That Changed the Way We Think. Nova Iorque: Simon and Schuster, 2013. pp. 374.

10.1

Bibliograa

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.

11 Ligaes externas
Funes e Grcos: um curso introdutrio da
UFRGS
Relaes e Funes
Explicao de funes em 19 pginas pelo Grupo de
Matemtica da Universidade Tcnica de Lisboa

12
12.1

Fontes, contribuidores e licenas de texto e imagem

Texto

Funo (matemtica) Fonte: https://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_(matem%C3%A1tica)?oldid=43843888 Contribuidores: Jorge~ptwiki, Robbot, Manuel Anastcio, Harshmellow, Juli~ptwiki, Mschlindwein, Rui Silva, Marcelo Reis, Gaf.arq, E2m,
NH~ptwiki, E2mb0t, LeonardoRob0t, Sr X, Santana-freitas, Nuno Tavares, Getbot, RobotQuistnix, Rei-artur, Leslie, OS2Warp, FML,
Boromir~ptwiki, Chobot, Adailton, Osnimf, YurikBot, Ccero, Fernando S. Aldado, Gpvos, Bons, EDULAU, MalafayaBot, Chlewbot,
Salgueiro, Luizabpr, JCSantos, LijeBot, Retornaire, Jo Lorib, Joo Sousa, He7d3r, Reynaldo, Dante, the Wicked, FSogumo, Yanguas,
Thijs!bot, Rei-bot, GRS73, AlexSP, Biologo32, Castelobranco, JulioNather, Shelton7, JAnDbot, Alchimista, Soulbot, Kleiner, Bisbis,
Albmont, Timichal, Acscosta, Rjclaudio, Idioma-bot, EuTuga, Luckas Blade, TXiKiBoT, Tumnus, Gunnex, VolkovBot, SieBot, Francisco
Leandro, Lechatjaune, Jeferson, AlleborgoBot, GOE, Kaktus Kid, One People, Merrill, Kim richard, Arthemius x, Quiumen, Heiligenfeld,
Victor Bicalho, Vike~ptwiki, Juba 5, Alexandrepastre, BOTarate, Cafu05, BodhisattvaBot, Ebalter, SilvonenBot, Catuireal, Vitor Mazuco, Eloi Sartori, Louperibot, SpBot, NjardarBot, ChristianH, Numbo3-bot, Thrasherbermensch, Luckas-bot, WikiDreamer Bot, Salebot, ArthurBot, Dr.: Pedro Washington, Xqbot, JotaCartas, Gean, LucienBOT, RibotBOT, ThiagoRuiz, Faustino.F, CPauloF, Braswiki,
Dinamik-bot, Marcos Elias de Oliveira Jnior, HVL, Rafael Kenneth, Viniciusmc, Dega180, Aleph Bot, EmausBot, ZroBot, rico, Thaly
souza, Jbribeiro1, Nelson Teixeira, ChuispastonBot, Stuckkey, Danielluminatt, Colaborador Z, MerlIwBot, L'editeur, Antero de Quintal, Amorimcarlos, Gabriel Yuji, J. A. S. Ferreira, Shgr Datsgen, Zoldyick, Matheus Faria, Jml3, Dexbot, Prima.philosophia, Holdfz,
573PH4NY, Vicente trife e Annimo: 231

12.2

Imagens

Ficheiro:Bijection.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/a/a5/Bijection.svg Licena: Public domain Contribuidores: enwiki Artista original: en:User:Schapel
Ficheiro:Cubicpoly.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/3/33/Cubicpoly.svg Licena: CC-BY-SA-3.0 Contribuidores: Self-made using gnuplot and inkscape Artista original: Qualc1
Ficheiro:Disambig_grey.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/4/4a/Disambig_grey.svg Licena: Public domain
Contribuidores: Obra do prprio Artista original: Bubs
Ficheiro:Funcao_venn.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/e/ee/Funcao_venn.svg Licena: CC-BY-SA-3.0
Contribuidores: SVG source shown in description page of File:Funcao venn.png Artista original: User:Marcelo Reis
Ficheiro:Funcoes_x2.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/8/87/Funcoes_x2.svg Licena: Public domain Contribuidores: This le was derived from: Funcoes x2.png
Artista original: Marcelo Reis
Ficheiro:Funo_x\char"005E\relax{}2.png Fonte:
https://upload.wikimedia.org/wikipedia/commons/4/44/Fun%C3%A7%C3%
A3o_x%5E2.png Licena: Public domain Contribuidores: Obra do prprio Artista original: Alexson Scheppa Peisino
Ficheiro:Magnifying_glass_01.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/3/3a/Magnifying_glass_01.svg Licena:
CC0 Contribuidores: ? Artista original: ?
Ficheiro:Naofuncao1.png Fonte: https://upload.wikimedia.org/wikipedia/commons/6/60/Naofuncao1.png Licena: CC-BY-SA-3.0
Contribuidores: ? Artista original: ?
Ficheiro:Naofuncao2.png Fonte: https://upload.wikimedia.org/wikipedia/commons/4/46/Naofuncao2.png Licena: CC-BY-SA-3.0
Contribuidores: ? Artista original: ?
Ficheiro:NoFonti.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/b/b5/NoFonti.svg Licena: CC BY-SA 2.5 Contribuidores: Image:Emblem-important.svg Artista original: RaminusFalcon
Ficheiro:Nuvola_apps_edu_mathematics-p.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licena: GPL Contribuidores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Ficheiro:Surjection.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/6/6c/Surjection.svg Licena: Public domain Contribuidores: ? Artista original: ?
Ficheiro:Wikibooks-logo.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licena: CC BY-SA
3.0 Contribuidores: Obra do prprio Artista original: User:Bastique, User:Ramac et al.

12.3

Licena

Creative Commons Attribution-Share Alike 3.0