Funes

Grupo de Matemtica da Universidade Tcnica de Lisboa:

Antnio St. Aubyn, Maria Carlos Figueiredo,
Lus de Loura, Lusa Ribeiro, Francisco Viegas
Lisboa, Maro de 2004

O documento presente foi obtido directamente do cdigo TeX fornecido pelos autores com alteraes de formatao e alguma reviso editorial. A
verso corrente de 23 de Fevereiro de 2006. A reviso deste texto do ponto de vista grfico ainda no est completa. Novas verses podero ficar
disponveis no futuro a partir de http://preprint.math.ist.utl.pt/files/ppgmutlfuncoes.pdf . O DMIST agradece ao Grupo de Matemtica da UTL a
possibilidade de facultar o texto aos alunos das disciplinas introdutrias de Matemtica do IST.

Na mesma srie:
Lgica matemtica.
Conjuntos.
Nmeros reais.
Sucesses.
Funes.
Funes reais de varivel real.
Funes trigonomtricas.
Funo exponencial.
Continuidade.
Derivadas.

Funes
Na vida corrente usual estabelecermos correspondncias, muitas vezes de
forma to natural que nem tomamos conscincia desse facto. Por exemplo,
quando uma criana pequena se refere ao seu urso verde e ao coelho
amarelo, est a estabelecer uma correspondncia
Boneco Cor
urso 7 verde
coelho 7 amarelo
Este tipo de procedimento fundamental em qualquer cincia. A Matemtica pretende tornar esta ideia rigorosa (definindo funo) de modo a
eliminar qualquer ambiguidade.
Consideremos a seguinte situao comum: numa turma de quatro alunos, o professor faz a chamada
Antnio
Joana
Maria
Pedro

Sousa
Silva
S
Sarmento

Temos dois conjuntos

A = {Antnio, Joana, Maria, Pedro},
B = {S, Sarmento, Silva, Sousa},
e uma correspondncia de A em B, que a cada elemento de A associa o
respectivo apelido, elemento de B. Por outras palavras, dado um x em A a
expresso apelido de x identifica um (e um s) elemento de B.
Imaginemos agora que, aos mesmos alunos, o professor pergunta onde
passaram as frias grandes, obtendo as respostas
Antnio
Joana
Maria
Pedro

campo
praia
campo
praia e campo

Grupo de Matemtica da UTL

Tomando o conjunto C = {campo, praia}, temos acima uma correspondncia de A em C. H, no entanto, uma diferena fundamental: dado
x A, a expresso local onde se passou as frias grandes no identifica
um elemento nico de C, visto que o Pedro passou frias no campo e na
praia.
Esta ambiguidade na imagem no aceitvel em Matemtica: no primeiro caso, a correspondncia uma funo de A em B enquanto que, no
segundo caso, a correspondncia no uma funo de A em C.
Com rigor diremos que:
Definio 1. Dados dois conjuntos1 A e B, uma funo (ou aplicao) de A em
B uma correspondncia que a cada elemento x A associa um e um s elemento
y B.
Recordando as notaes habituais:
Definio 2. Se f uma funo de A em B escrevemos f : A B; ao conjunto
A chamamos domnio de f e ao conjunto B conjunto de chegada de f .
Uma funo est bem definida se conhecermos o seu domnio, o seu
conjunto de chegada e a regra que permite determinar a imagem de
qualquer elemento do seu domnio.
Suponhamos que algum nos diz: seja uma funo f de domnio N1 , e
com valores em N1 , tal que
f (1) = 1, f (2) = 2, f (3) = 3,
f (4) = 3, f (5) = 5, f (6) = 5,
f (7) = 7, f (8) = 7,

Ora, de acordo com a informao disponvel, sabemos que 16 elemento do domnio de f , mas no temos ideia de qual ser o valor de f (16):
a funo f no est bem definida.
No entanto, se em alternativa nos disserem o seguinte: seja f : N1 N1
a funo que a cada natural positivo n associa o maior nmero primo
inferior ou igual a n (isto , do-nos a regra), ento a funo f est bem
definida; em particular sabemos que f (16) = 13.
frequente o uso de diagramas de Venn para, de forma sugestiva, representar uma funo. Por exemplo, uma funo F : A B, ser representada
como na figura 1.
1

Para simplificar, vamos sempre supor que os conjuntos referidos so no vazios.

Funes

x
F(x)
F
B

Figura 1: Diagrama de Venn de uma funo F.

Consideremos agora alguns exemplos de funes:

Exemplo 1.
A = {Ins, Antnio, Maria, Gil}
B = {S, Sarmento, Silva, Sousa}
:AB

(Ins) = Silva
(Antnio) = Sousa
(Maria) = S
(Gil) = Sarmento
ou,
Exemplo 2.

(x) = apelido de x x A.

B, o conjunto do exemplo 1
C = {Rua da Rosa, Rua do Malmequer, Rua do Lrio, Rua do Cravo}
:BC

(S) = Rua da Rosa

(Sarmento) = Rua do Cravo
(Silva) = Rua da Rosa
(Sousa) = Rua do Malmequer
ou,
(x) = rua onde x mora
5

x B.

Grupo de Matemtica da UTL

Exemplo 3.
D = {(1, 1), (2, 3), (3, 6)}
h:DR
h((1, 1)) = 2
h((2, 3)) = 5
h((3, 6)) = 9

ou,
h((x, y)) = x + y
Exemplo 4.

(x, y) D.

f :NN
f (x) = 2x + 1 x N.
Exemplo 5.
g:RR
g(x) = 2x + 1 x R.
Observemos que as funes dos exemplos 4 e 5 so diferentes, uma
vez que tm domnios distintos. No entanto, a expresso designatria que
as define a mesma; alm disso, o domnio de f um subconjunto do
domnio de g. Por esta razo, dizemos que f a restrio de g ao conjunto
N. Mais geralmente,
Definio 3. Dada uma funo : A B e um conjunto C tal que C A,
chamamos restrio de a C funo definida por
:CB
(x) = (x) x C
e denotamos = |C .
Nas condies da definio, diremos tambm que um prolongamento
de ao conjunto A.
No entanto, se bem que restrio de a C uma afirmao precisa,
prolongamento de a A no o .
Com efeito, dada uma funo : A B e o conjunto C A, a restrio
de ao conjunto C uma funo C B, nica.
Por outro lado, dada uma funo : C B e um conjunto A C, em
geral, podemos prolongar a A de diversas maneiras, isto , o prolongamento no nico. Mais precisamente, fcil provar que o prolongamento
6

Funes
de a A nico sse A = C (caso em que o prolongamento de a A coincide
com a prpria ) ou B um conjunto singular (caso em que o prolongamento de a A uma funo constante).
Assim, a funo
F:RR

x N
2x + 1
F(x) =

1
x R \ N

tem, como restrio a N, a funo f do exemplo 4, logo F um prolongamento de f a R. Mas g (no exemplo 5) tambm um prolongamento de f
a R e as funes F e g so distintas.
No que se segue, continuamos a fazer consideraes sobre os cinco
exemplos atrs, que nos iro sugerir novas definies importantes.
Notemos agora o seguinte:
No exemplo 1, todo o elemento do conjunto B imagem por de algum
elemento de A. Pelo contrrio, no exemplo 2, nenhum elemento de B mora
na Rua do Lrio. Do mesmo modo, no exemplo 3, apenas os nmeros
reais 2, 5 e 9 so imagem por h de elementos de D. Conclumos que o
conjunto das imagens de uma dada funo pode ser distinto do conjunto
de chegada. Assim comeamos por definir:
Definio 4. Dada uma funo f : A B chamamos contradomnio de f ao
subconjunto de B dado por
{y B; x A

y = f (x)} = { f (x); x A}.

Como vimos, h funes para as quais o contradomnio coincide com o

conjunto de chegada e outras para as quais isto no acontece. Esta diferena
sugere a definio seguinte:
Definio 5. Uma funo f : A B sobrejectiva sse o contradomnio de f
coincide com B. Simbolicamente, f sobrejectiva sse
y B x A

y = f (x).

Caso a funo f de A em B seja sobrejectiva, muitas vezes dizemos que

f funo de A sobre B.
Assim, a funo do exemplo 1 sobrejectiva, enquanto que nem
(exemplo 2) nem h (exemplo 3) o .
7

Grupo de Matemtica da UTL

No exemplo 4, o ponto 0 no est no contradomnio, logo f no
sobrejectiva. J no exemplo 5, g sobrejectiva: dado um qualquer nmero
real a,
a1
b=
2
um nmero real e tem-se que g(b) = a; isto ,
a R b R :

2b + 1 = a.

A propsito da noo de contradomnio, introduzimos agora uma noo muito til e sugestiva:
Definio 6. Seja f : A B e C um conjunto qualquer; designamos por imagem
de C por f , f (C), o subconjunto de B constitudo pelas imagens por f de todos os
elementos de C, isto ,
f (C) = { f (x); x C A}.
Nestas condies, se C A = , tem-se f (C) = ; se C A , , ento
f (C) o contradomnio da restrio de f ao conjunto C A e, em particular,
com C = A, f (A) designa o contradomnio da funo f . Com esta notao,
f : A B sobrejectiva sse f (A) = B.
z

x
A
f
y

f (x)
f (A)

f (y)

Figura 2: Diagrama de Venn para uma funo no sobrejectiva.

Uma outra propriedade importante pode ser tambm motivada pelos

exemplos anteriores:
No exemplo 2, S e Silva moram na mesma rua, ou seja,
(S) = (Silva) = Rua da Rosa.
Pelo contrrio, em qualquer um dos outros exemplos, a funo faz
corresponder imagens diferentes a objectos diferentes; uma funo nestas
condies diz-se injectiva. Assim,
8

Funes
Definio 7. Uma funo f : A B diz-se injectiva sse elementos distintos de
A tm imagens distintas.
De forma equivalente, f injectiva sse
x, y A

x , y f (x) , f (y),

x, y A

f (x) = f (y) x = y.

ou, ainda, sse

x
f (x) = f (y)
y

f (z)

Figura 3: Diagrama de Venn para uma funo no injectiva.

Ento, a funo do exemplo 2 no injectiva.

Reunindo as duas noes, de sobrejectividade e de injectividade,
Definio 8. Uma funo f : A B diz-se bijectiva sse sobrejectiva e injectiva.
Em linguagem simblica, f : A B bijectiva sse
y B 1 x A :

f (x) = f (y).

As funes do exemplo 1 e g do exemplo 5 so bijectivas.

no bijectiva porque no injectiva nem sobrejectiva.
As funes h do exemplo 3 e f do exemplo 4 no so bijectivas porque,
embora sejam ambas injectivas, no so sobrejectivas.
Exemplo 6.
F:RR

F(x) = (x 1)2 + 2 x R.
A funo F no injectiva porque, por exemplo,
F(0) = F(2).
9

Grupo de Matemtica da UTL

F tambm no sobrejectiva, uma vez que se tem
x R

F(x) 2,

logo, por exemplo, y = 1 no pertence ao contradomnio de F.

Exemplo 7. Seja A um conjunto. funo i (dependente do conjunto A)
definida por
i:AA
i(x) = x x A
chamamos funo identidade em A. evidente que se trata de uma funo
bijectiva.
Retomemos a funo do exemplo 1; como dissemos, trata-se de uma
funo bijectiva. Podemos, de forma natural, estabelecer a correspondncia inversa, agora de B em A e dada por
Sousa
Silva
S
Sarmento

Antnio
Ins
Maria
Gil

Deste modo, definimos uma nova funo.

Ao aplicarmos o mesmo tipo de procedimento funo do exemplo 2,
obtemos:

S
Rua da Rosa

Silva
Rua do Cravo Sarmento
Rua do Malmequer Sousa
Rua do Lrio (no tem imagem)
Ora, intuitivamente, no faz muito sentido falar de uma correspondncia definida no conjunto C e depois, haver elementos de C sem imagem.
Ser mais natural, portanto, comear por considerar o contradomnio de
, (B), e depois definir a correspondncia de (B) em B seguinte

S
Rua da Rosa

Silva
Rua do Cravo Sarmento
Rua do Malmequer Sousa
No entanto, esta correspondncia no uma funo!
10

Funes
J no caso do exemplo 3, podemos definir uma funo de h(D) = {2, 5, 9}
em D por
2 7 (1, 1)
5 7 (2, 3)
9 7 (3, 6)
As consideraes anteriores tornam evidente que o facto da correspondncia inversa ser uma funo est relacionado com a injectividade da
funo inicial. Mais precisamente, a correspondncia inversa de uma
dada funo f uma funo sse f injectiva. Assim
Definio 9. Seja f : A B uma funo injectiva. funo de f (A) em A que
a cada x f (A) faz corresponder o (nico) y A tal que f (y) = x, damos o nome
de funo inversa de f e designamo-la por f 1 .
De forma equivalente tem-se
x f (A)

f 1 : f (A) A

f 1 (x) = y f (y) = x.

Utilizando diagramas de Venn tem-se, de forma sugestiva,

f
x = f 1 (y)

y = f (x)

f 1

f (A)

Figura 4: Diagrama de Venn de funo inversa.

Observe-se que, nas condies da definio, f 1 uma funo bijectiva

definida em f (A) com valores em A.
Exemplo 8. A funo (no exemplo 4)
f :NN
f (x) = 2x + 1 x N
11

Grupo de Matemtica da UTL

injectiva, logo invertvel.
O seu contradomnio f (N) constitudo pelos nmeros naturais mpares, isto ,
f (N) = {x N; m N x = 2m + 1}.
A sua funo inversa , portanto, definida por

f 1 : f (N) N
x1
x f (N).
f 1 (x) =
2
Analogamente, no exemplo 5, a funo g tambm invertvel e tem-se
g1 : R R
x1
x R.
g1 (x) =
2
(Note-se que g funo sobrejectiva, pois g(R) = R).
Exemplo 9. Consideremos a funo
:RR

(x) = x2

x R

Trata-se de uma funo no sobrejectiva, visto que (R) = R+0 = [0, +[.
Alm disso, e este o problema, no injectiva, logo no invertvel.
No entanto, j injectiva a restrio de ao conjunto R+0 ; designemos
esta restrio por :
: R+0 R

(x) = x2

A inversa 1 a funo definida por

x R+0

x 0.

1 : R+0 R+0

1 (x) = y y2 = x y 0.

Como sabe, dado um real x R+0 , o nico y R+0 tal que y2 = x , por

definio, designado por x. Neste sentido, tem-se

1 (x) = x x R+0 .

Mas tambm a restrio de ao conjunto R0 = ], 0] funo injectiva

com contradomnio R+0 ; designemo-la por :
: R0 R

(x) = x2

12

x 0.

Funes
Como (R0 ) = R+0 , logo a inversa 1 a funo definida por
1 : R+0 R0

1 (x) = x x 0.
Em seguida, propomo-nos recordar um processo muito comum de gerar novas funes: o mtodo da composio.
De um ponto de vista intuitivo, a origem do processo da composio
reside numa ideia muito simples, ilustrada pelo seguinte exemplo: uma
pessoa sai de Lisboa, vai de carro at Coimbra, a toma o comboio para
o Porto, onde, finalmente, apanha o barco para a Rgua. Omitindo os
pormenores da viagem, a pessoa viajou de Lisboa at Rgua!
Exemplo 10. Consideremos, de novo, as funes e dos dois primeiros
exemplos. Em linguagem corrente, tomando um aluno do conjunto A, a
funo comea por lhe associar o respectivo apelido e, em seguida, a
funo associa ao apelido, a rua onde mora. Tem-se, por exemplo,

Ins 7 Silva 7 Rua da Rosa.

Seguindo este processo, a cada aluno acabamos por lhe associar a rua
onde mora; mais precisamente, estamos a considerar uma (nova) funo
de A em C tal que
A x 7 rua onde x mora,
ou, usando a notao acima,

A x 7 ((x)) C.
A esta funo damos o nome de composta por e designamo-la
por . Resumindo,
:AC
(x) = ((x)) x A.
Observe-se que, neste caso, no tem sentido considerar a composio de
com , .
Exemplo 11. Vejamos ainda mais um exemplo, tomando a funo no exemplo 6,
f :RR

f (x) = (x 1)2 + 2 x R.
Partindo de um nmero real x e at chegarmos ao nmero real f (x),
seguimos o seguinte itinerrio:
13

Grupo de Matemtica da UTL

A x comeamos por associar o nmero real x 1; por outras palavras,
consideramos a funo
g:RR
g(x) = x 1 x R.
Em seguida, ao real x 1 associamos-lhe o seu quadrado (x 1)2 ;
estamos pois a considerar a funo
h:RR

h(y) = y2

y R.

Finalmente, ao nmero real (x 1)2 adicionamos-lhe o nmero 2:

j:RR
j(z) = z + 2 z R.
Resumindo, dado um nmero real x,
g

x 7 x 1 7 (x 1)2 7 (x 1)2 + 2,
isto ,
f (x) = j(h(g(x)))
ou ainda,

x R,

f = j h g.

Em termos gerais, a situao pois a seguinte: so dadas funes

f : A B e g : C D tais que o contradomnio de f um subconjunto do
domnio de g, f (A) C. De acordo com esta condio, qualquer que seja o
x A, a sua imagem f (x) est no domnio de g e, consequentemente, existe
g( f (x)) D.
Deste modo, podemos considerar a cadeia
A f (A) C
D
x 7
f (x)
7 g( f (x))
o que define uma nova funo de A com valores em D.
Definio 10. Damos o nome de g composta com f , e designamos por g f ,
funo definida por
g f :AD
(g f )(x) = g( f (x)) x A.
14

Funes

x
A

g
C

f (x)
f (A)

g(z)
D
g( f (x))

g f
Figura 5: Diagrama de Venn de uma funo composta.

Alm disso, se supusermos que g(C) A, podemos ento definir uma

funo de C em B, notada por f g e dada por
f g:CB
( f g)(x) = f (g(x)) x C.

Exemplo 12. Consideremos

f : R+0 R

f (x) = x 1 x R+0

g : R \ {0} R
1
x , 0.
g(x) =
x
Ao pretendermos definir g f , surge imediatamente um problema:
f (1) = 0 e 0 < R \ {0}, isto , o contradomnio de f no um subconjunto
do domnio de g.
Como se tem
{x R+0 : f (x) = 0} = {1}
apenas podemos definir g composta com a restrio de f ao conjunto
R+0 \ {1}, ou seja,
g ( f |R+0 \{1} ) : R+0 \ {1} R

1
.
x 7 g( x 1) =
x1
15

Grupo de Matemtica da UTL

A notao , no entanto, bastante pesada, o que indesejvel. Por isso,
referir-nos-emos funo g f , mas no esquecendo que esta funo tem
por domnio o conjunto
{x R; x D f f (x) D g }

= {x R; x 0 x 1 , 0}
= {x R; x 0 x , 1}
onde D f e D g designam o domnio de f e o de g, respectivamente.
Temos, por fim
g f : R+0 \ {1} R
1
(g f )(x) =
x R+0 \ {1}.
x1
De forma anloga, designamos por f g a funo que tem por domnio
o conjunto

n
o 
1
x R; x D g g(x) D f = x R; x , 0 0
x
+
= {x R; x , 0 x > 0} = R = ]0, +[ .
Alm disso
  r
1
1
1
x > 0 ( f g)(x) = f
1 = 1.
=
x
x
x
Ento, tem-se
f g : ]0, +[ R,
1
( f g)(x) = 1 x > 0.
x
Observemos que f g , g f .

O senso comum sugere-nos que, dada uma funo f injectiva, compondo f com a sua inversa f 1 obtemos a funo identidade. O que
verdade se mantivermos esta impreciso. O ponto de vista matemtico,
no entanto, impe-nos rigor pelo que:
Exemplo 13. Seja h : A B uma funo injectiva; nestas condies, h1 a
funo definida no conjunto h(A) B por
x h(A)

h1 (x) = y h(y) = x.
16

Funes
A funo composta h h1 est, portanto, definida em
{x B; x Dh1 h1 (x) Dh } = {x B; x h(A) h1 (x) A} = h(A)
e tem-se
x h(A)

(h h1 )(x) = h(h1 (x)) = x.

Concluindo, h h1 a funo identidade em h(A).

Por outro lado h1 h tem por domnio
{x A; h(x) Dh1 } = {x A; h(x) h(A)} = A
e tem-se
x A (h1 h)(x) = h1 (h(x)) = x
e h1 h a funo identidade em A.
Note-se que, em geral, as funes hh1 e h1 h tm domnios diferentes,
logo so funes distintas. Mais precisamente, tem-se
h h1 = h1 h

A = h(A).

Para terminar, faremos ainda referncia a uma noo j conhecida. Ento, excepo dos exemplos 1 e 2, em todos os outros, o conjunto de
chegada da funo respectiva um subconjunto de R; por outras palavras,
cada uma dessas funes tem nmeros reais por imagens ou, abreviadamente, uma funo real.
Nos exemplos anteriores, agora excepo de 1, 2 e 3, tambm o respectivo domnio um subconjunto de R, razo pela qual diremos que
qualquer uma destas funes tem varivel real.
Formalizando,
Definio 11. Seja uma funo f : A B.
A funo f real sse B R.
A funo f de varivel real sse A R.
Podemos ento dizer que:
As funes e dos exemplos 1 e 2, no so reais nem so de varivel
real.
A funo h do exemplo 3 real, mas no de varivel real.
Todos os restantes exemplos so de funes reais de varivel real.
17

Nomenclatura
composio de funes, 13
f (C) imagem de um conjunto por uma funo, 8
f 1

funo inversa, 11

f |C

restrio de uma funo a um conjunto, 6

18

ndice remissivo
aplicao, ver funo
composio, 13
conjunto de chegada, 4
contradomnio, 7
diagrama de Venn, 4, 5, 8, 9, 11
domnio, 4
funo, 3, 4
bijectiva, 9
composta, 15
de varivel real, 17
identidade, 10
injectiva, 8, 9
inversa, 10, 11
real, 17
sobrejectiva, 7
imagem
de um conjunto por uma funo,
8
prolongamento, 6
restrio, 6

19