Captulo

Funes

Reais

2.1. .Funes Reais

Na Se. 1.1, definimos o conceito geral de funo. Ne~ta, porm, estamos
interessados em um tipo especial de funes - as funes reais. Dizemos que
uma funo real, se seu campo de definio o conjunto IR ou um subconjunto
dele, e seu contradomnio o conjunto IR. Usamos a notao [))(f) para designar
o campo de definio da funo

Exemplos:

(i) f(x)
(ii) f(x)
(iii) f(x)
(iv) f(x)
(v) f(x)
(vi) f(x)
(vii) f(x)
(viii) f(x)

= x para todo x E IR. Aqui [))(f) = IR.

= x para x E [0,1]. [))(f) = [0,1].
= x + 1 para x E (0,1)
= O para x = O. [))(f) = [0,1).
= 2x - 1 para x E (1,2]. [))(f) = (1,2].
= x2 para x E IR. [))(f) = IR.
= v~,para x ~ O. [))(f) = [O,+ co).
= Ix I, para todo x E IR. [))(f) = IR.

= 1, para

>O

O, para x

=O

- 1, para x

< O.

[))(f)

= IR.

(ix) f(x) = [x], para todo x E IR, onde [x] designa o maior inteiro menor
ou igual a x. [))(f) = IR.
(x) f(x) = l/x, para x ~ O. [))(f) o conjunto IR menos o ponto x = O.
Chamamos ateno para o fato de que uma expresso algbrica to-somente
no define uma funo. E necessrio explicitar seu campo de definio. Entretanto,
comum dar uma expresso algbrica e tomar (implicitamente) como campo de

Vi

definio
os pontos
Assim,a as
expresses
algbricas
J(x)
= Yx(x
- 1) onde
e g(x)a expresso
=
Vx~ntido.
- 1 conduzem
funes
diferentes.
pois
para a primeira
{x

1Qi(f)

IR: x 2: I}.

{x

E IR: x

O ou

2: I} e para a segunda D(g)

2.1

49

FUNES REAIS

Um modo de interpretar geometricamente wna funo traar seu grfico. Para isso,
tomamos wn sistema cartesiano de coordenadas, isto , wn par de retas perpendiculares onde
marcamos o O e o 1, como indicamos na Figura 2.1.

y ------.,P
I

I
I
I

I
I
x

Fig.2.2

Fig.2.1

Assim, como j se viu na Se. 1.4, cada ponto da reta RI representvel

por um real, o mesmo acontecendo com os pontos da reta R2' Vemos, ento,
que dado um ponto P do plano, podemos determinar um nmero real x como
4

3
T---'

(1. 2)

(- 2, 3/2) ,c----------,
I
I
I
,
,

-4

-3

-2

-1,
I
I
I
I

-1- ---- - - - - - - - - -'

,
I

I
,
,
I

(3, -1)

-2
_

-3

-4
Fig.2.3
a interseo da reta RI com a reta perpendicular
a RI e passando por P. Um
outro real, y, tambm determinado como a interseo da reta R2 com a reta
perpendicular
a R2 passando por P.

50

FUNES REAIS

CAPo2

Com esse procedimento, associamos a cada ponto P do plano um par (x, y)

de reais, que so chamados as coordenadas de P. Reciprocamente, dado um par
(x, y) de reais, determinaremos um ponto P como interseo da reta perpendicular
a Rh passando por x, com a reta perpendicular a R2 passando por y. (Ver os
exemplos da Fig.2.3.)
Pelo que acabamos de expor, vemos que h uma correspondncia biunvoca
entre os pontos do plano e os pares (x, y) de reais. A primeira coordenada, x,
sempre marcada sobre a reta Rh que chamada o eixo dos x. A segunda coordenada, y, marcada sobre a reta R2, que chamada o eixo dos y.
Voltemos questo da interpretao grfica de uma funo. O grfico de
uma funo f o subconjunto do plano formado pelos pontos (x,f(x)), quando x
percorre o campo de detinio da funo. Tracemos o grfico de algumas das funes definidas acima. (Ver Fig. 2.4.)

-1

(O

(vii)

2 ---------~

10-------

------0:.-------.
O

I
2

I
I

-3

-2

-1

I
I

1 ----~ I
I
J

-------{)-1

(vi

ii)

I
I
I
II
I

I
I

I
I

~--I
~-----J.----Fig.2.4

-2

-3

(ix)

I
I

:
I
I

2.1

FUNES REAIS

51

Para traar os grficos das funes (v), (vi) e (x) (Figs. 2.5, 2.6 e 2.7), conveniente, como na maior parte dos casos, fazer uma tabela. Na primeira coluna,
colocamos alguns nmeros do domnio da funo e, na segunda coluna, escrevemos os valores correspondentes da funo. O nmero de pontos que consideramos na tabela depende da preciso que desejamos para o grfico. Vejamos o
Ex. (v).

(v)
2

Xl
-2
3-12
49
94O1

-3

-1213O
-3

Antes de traarmos o grfico de uma funo, vale a pena analis-Ia por um

momento, a fim de tentarmos descobrir alguma simetria ou algum fato que simplifique o trabalho. P. ex., a funo f(x) = x2 tem uma simetria com relao ao
eixo dos y, pois (x, Xl) e (- X, x2) so pontos do grfico. Logo, basta computar os pontos do
grfico para x 2: O.
O grfico de f(x) =
o conjunto dos pontos (x, y) do plano tais que x ~
~ O e y =
Observamos, primeiramente, que y2 = x, de onde uma tabela
V-; seria obtida a partir de uma tabela para a funo x2 (tomando
para f(x)
somente os reais x ~ O), trocando as colunas. Assim usando a tabela acima obtemos:

g.2.6

v-;

v-;.

v7

46
89537 1O23

21

(vi)

52

FUNES REAIS

CAP.2

Finalmente, vejamos o exemplo (x). Com as tabelas a seguir,

1lI/x
/x 11/2
1/3
1/4
-1 traar ox grfico mostrado
-1
-2
-3
-4x na
-1/3
-1/4
-1/2
Fig.2.7

1
~/2
1/3

!/4

--_:_====:::J::~!
,
I

(Xl

Fig.2.7

No difcil ver que o grfico de l/x simtrico em relao diagonal

.:1,

indicada

na Fig. 2.7.

2.2.

Limites Laterais de uma Funo

Consideremos uma funo real f: A

nmeros reas.

--io

IR definida em um subconjunto A dos

Definio 1. Seja c um nmero real tal que, para algum d > c, o intervalo
aberto (c, d) esteja contido em A. Esta situao ocorreria, p. ex., se A
(a, b]
e c fosse um ponto do interior do intervalo (a, b] ou se c
a. A funo f: A -- IR
tem limite direita no ponto c se existir um real r tal que, para qualquer sucesso

2.2

53

LIMITES LATERAIS DE UMA FUNO

(Xn)
contida em A, com Xn > c, e convergindo para c, tenhamos que a sucesso
(f(Xn converge para r, i.e., limf(xn)
r. Tal nmero r chamado o limite
direita de f no ponto c, o qual geralmente designado pelas notaes f(e+) ou
lim f(x).
Observe que a funo no precisa estar definida no ponto c para o

,,->c+

limite direita existir, pois c podia ser igual a a no caso A

acima.

= (a, b]

exemplificado

Definio 2. Seja agora c um real tal que, para algum c' < c, o intervalo
aberto (c', c) esteja contido em A. Por exemplo, A = [a, b) e c um ponto interior
do intervalo A ou c = b. A funo
A -> R tem limite esquerda no ponto c se
existir um real s tal que, para qualquer sucesso (xn) contida em A, com Xn < c,
e convergindo para c, tenhamos lim f(xn) = s. Tal nmero s chamado o limite
esquerda de f no ponto c, o qual geralmente. designado por f(c -) ou limf(x).

f:

x-+c-

Como no caso do limite direita, a existncia do limite esquerda

tem a ver com a funo estar ou no definida no ponto c.

no ponto c nada

Definio 3. Seja, agora, c um real tal que existam intervalos abertos (c', c)
(c, d) contidos em A. Por exemplo, isso seria o caso se A contivesse um intervalo
I e c fosse um ponto do interior de I; ou ainda, se A fosse composto de dois intervalos consecutivos, como [O, 1) e (1,2) e c = 1. Vemos, no primeiro exemplo,
que c pertence a A e, no segundo, que c no pertence a A. A funo f: A --? R
tem limite em um tal ponto c se existem os limites direita e esquerda, f(c+) e
f(c-),
e so iguais. Esse valor comum chamado o limite de f no ponto c. e
designado por lim f(x).
x-+c

As definies dos limites laterais de uma funo

no ponto c, usando sucesses (xn) convergindo para c, foram preferidas, no presente trabalho, por dois motivos: (l) parece-nos mais fcil entender tais limites relacionando-os
diretamente
com os limites de sucesses j estudados; (2) as demonstraes dos teoremas e dos
exerccios da Se. 2.3 so mais simples usando essas definies.
Entretanto, o
problema de provar que certo nmero o limite lateral de uma funo dada mais
facilmente resolvido, usando os resultados abaixo, os quais do condies necessrias e suficientes para um nmero ser limite lateral.
Em alguns textos, essas
condies so as prprias definies dos limites laterais.
Teoremll 2.1. Seja f: A -;. IR uma funo real e c um ponto tal que o intervalo
(c, d) C A para algum d > c. Ento, a condio necessria e suficiente para que
r seja o limite direita de f no ponto c que, dado I: > O, exista > O ( dependendo
.
de 1:) tal que jf(x) - r I < I: para c < x < c

Demonstrao.
1) A condio suficiente. Dada (xn) tal que Xn E (c, d)
~
c, queremos provar que !(xn) ~
r. Isto , queremos provar que dado
E > O, existe no E N tal que I!(xn) - ri < E para n 2: no' Pela hiptese, sabemos
que, dado E > O, existe > O tal que I!(xn) - ri < E, se c < Xn < C + 8.
Portanto; como xn ~ c, basta escolher no de modo que c < Xri < C + para
n 2: no. 2) A condio necessria. Suponha, por contradio, que exista Eo > O
tal que para todo 8 > O se tenha lfixn) - r I > Eo, para algum x tal que c <
e

Xn

<

8. Tomando para 8 os termos da sucesso

(~}

obtemos uma sucesso

54

FUNES REAIS

CAPo2

(Xn) tal que xn ~

c e If(xn) - r I > O. Mas isso contradiz o fato de r ser o
limite lateral direita de f no ponto c. Assim, fica estabelecida a necessidade da
condio do teorema.
De modo anlogo, demonstramos os resultados a seguir.

Teorema 2.2. Seja f: A --.,. IR uma funo real e c um ponto tal que o intervalo
(c', c) C A para algum c' < c. Ento, a condio necessria e suficiente para que
r seja o limite lateral esquerda de f no ponto c que, dado E > O, existe > O tal
que If(x) - r I < E para c - < x < C.
Teorema 2.3. Seja f: A --7 IR uma funo real e c um ponto tal que os intervalos (c', c) e (c, d) estejam contidos em A para algum c' < c e algum d > c. Ento,
a condio necessria e suficiente para que r seja o limite de f no ponto c que, dado
E > O, exista
> O tal que If(x) - r I < E para O < Ix - c I < .
Usando esses teoremas, podemos estudar eficientemente
os limites laterais
das funes exemplificadas na Se. 2.1.
(i)

Para a funo (i), temos f(O+)

(ii)

Para a funo

(ii), lim f(x)

",-+0

Para a funo

(iv), f(l

(v)

Para a funo

(v), temos
Ix2

para
o

+)

(iv)

O < Ix - 2 I

< <

1.

= f(O-) = O e,

no existe, apesar de f(O+)

= I, e f no definida
lim f(x) = 4, pois
",-+2
Ix

+ 211x

Portanto,

dado

41

portanto,

21
E

< 5\x

> O,

para

lim f(x)

",-+0

= O.

existir.

= 1.

- 21

com

< 5,

tomemos

= E/5.
(viii)

Para

a funo

=1

(viii), f(O+)

(ix)

Para a funo

(ix), f(3+)

(x)

Para a funo

(x), f(O+)

e f(O-)

1, enquanto

f(O)

= O

= 2.

3 e f(3-)

e f(O-)

= -

no existem.

o leitor pode facilm::mte ver que, para os Exs. (ii), (iii) e (iv), as funes tm
limite direita em certos pontos, mas no limite esquerda, ou vice-versa.
O Ex. (x) de uma funo para a qual f(O+) e f(O-) no existem.
Neste
caso, a no-existncia desses limites decorre do fato de que a funo se torna ilimitada
nas proximidades de O. Nas circunstncias do Ex. (x), comum dizer que o limite
lateral
00 ou
- 00, conforme o caso. O leitor deve, porm, compreender
que isso um], conveno e que de nenhum modo essa situao est incorporada
na definio.
(De fato, + 00 e - 00 no so nmeros I). Daremos, agora, um
exemplo de uma funo cujos limites laterais em um ponto no existem, apesar
de a fun.o se manter limitada:

f(x)

= sen

-,

para x

r6-

O.

Para esta funo, f{O + ) e f{O -) no existem. A funo de Dirichlet definida na Seo 1.1
no possui limites Iatrais em .nenhum ponto x E IR.

2.2

55

LIMITES LATERAIS DE UMA FUNO

carter local do limite. Nas trs definies anteriores pediu-se a existncia de

intervalos adjacentes ao Ronto c onde a funo fosse definida e uma certa propriedade fosse vlida. fcil ver que, no caso da Definio 1, poderamos
tomar, em vez do intervalo (c, d), qualquer intervalo (c, di), com c < di < d. Em
outras palavras, f(c+) existe se, e somente se, existir um real r tal que, para qualquer d' com c < d' ~ d, temos que: dada uma sucesso (Xn), com Xn E (c, di) e
convergindo para c, ento f(xn) converge para r. Isso mostra que a questo da
existncia dos limites em um ponto depende to-somente do comportamento da
funo "perto" daquele ponto.

Teorema 2.4. Seja f: A -;. IR uma funo real, e suponhanos que c seja um
real tal que existam intervalos (c', c) e (c, d) contidos em A. Ento, f tem limite
no ponto c se, e s se, existir um nmero real r, tal que f(xn) -;. r, para qualquer sucesso (xn), contida nos intervalos (c', c) e (c, d), e convergindo para c.
Observao.
Como antes, no se requer que c pertena a A. As sucesses
no esto necessariamente em um mesmo intervalo (c', c) ou (c, d); elas podem
oscilar de um lado e outro de c.
(xn)

Deixamo-Ia ao leitor. Como sugesto, lembramos que h

Demonstrao.
trs possibilidades quanto localizao dos termos Xn: 1) existe um no tal que, para
todo n ~ no, Xn E (c', c); 2) existe no tal que, para todo n ~ no, Xn E (c, d);
3) Xn se compe de duas subsucesses (xni) e (xm) satisfazendo, respectivamente,
s condies postas nas Definies 1 e 2.
Observao.
O que estabelecemos a seguir tem o mrito de simplificar a verificao de que um certo nmero r limite lateral (ou limite) de uma funo fnum ponto
c. Na Definio 1, vimos que devamos tomar todas as sucesses (Xn) contidas
em A convergindo para c e com Xn > c e provar que f(xn) --? r. Uma pergunta
natural a seguinte: ser necessrio verificar isso para todas as sucesses?
tambm natural esperarmos que baste considerar as sucesses decrescentes.
isso que provamos a seguir. Suponha, ento, que para toda sucesso decrescente
(Xn) contida em A, convergindo para c, tenhamos f(xn) -;. r. Seja agora (Yn) uma
sucesso arbitrria contida em A com Yn > c e Yn --? c; suponhamos, por contradio, que fCYn) no convirja para r. Logo, existe d > O e uma subsucesso (yn)
de (yn) tal que: (*) If(Yn) - r I > d. Como (Yn.) converge para c e Ynj > c, segue-se que existe uma subsucesso (Ym) de (Yn),J a qual decrescente e converge
para c. (Prove isso!) Ento, pela hiptese, temos que f(Ym) -;. r, o que contradiz a desigualdade (*) acima. De modo anlogo, podemos provar que, na Definio 2, basta tomar sucesses (xj que sejam crescentes.
Limites quando x -;. ro. Ao tentar traar o grfico de uma funo f: A --+ IR
definida em um conjunto A que contm um intervalo infinito (p. ex., A ~ [a, + ro ,
vemos que extremamente importante saber qual seu comportamento para valores arbitrariamente grandes de x, ou, como comum dizer-se, quando x tende
ro. Uma resposta adequada a esse problema ser conseguida atravs
para
da introduo do limite de f(x), quando x -;. + ro, e do limite de f(x), quando
x -;. - ro, o que faremos a seguir.
Seja A um subconjunto de IR que contm um intervalo da forma [a, + ro)
para algum nmero real a. Uma funo f: A -;. IR tem limite quando x -;. + ro

56

FUNES REAIS

CAPo2

se existir um nmero real r tal que, para qualquer sucesso (x,,) contida em A e
tal que x" - + 0:>, temos que f(x,,) - r. O nmero r chamado o limite de f(x),
quando x - + 0:>, e usamos a notao r = lim f(x).
",-++",

Exemplo 1. f(x)
sen x, para todo x real. Apesar de no havermos introduzido ainda as funes trigonomtricas, imaginamos que o leitor esteja familiarizado com as mesmas, e queremos dar este exemplo para mostrar que o limite de
f(x), quando x - + 0:>, pode no existir.
De modo anlogo, podemos definir o limite de f(x), quando x - - 0:>, para
funes f' A - IR, cujo campo de definio A contenha intervalos da forma
(-

0:>,

a].

EXERCCIOS
1. Seja f: A - IR uma funo definida em um conjunto A, o qual contm
um intervalo da forma [a, + 0:. Prove que r o limite def(x), quando x- + (1),
se, e s se, dado E > O, existir um real N (o qual pode depender de E) tal que
If(x) - ri < E para todo x;::: N.

x- 2.-

Enuncie e prove um resultado

anlogo para limite de f(x),

1
para x

2. f(x)

Exemplo

<E

quando

0:>.

>

Exemplo

+x

para x > -

1.

N , on d e N' e um mtelro
..
.
maIOr
que -1 -. 1
X

+1

= --- x

3. f(x)

para x >

O.

OI

Temos If(x) -

---<
1 +x

L ogo, l'1m

",-++ '"

Neste caso, If(x) -

ji()
x = O.
1

I = -,
x

usando um argumento semelhante ao do exemplo anterior, mostramos

1.
lim f(x)

.,-++",

e
que

Exemplo 4. f(x) = x2 para todo real. Neste caso,f(x) > x se x> 1, o que
Como,
implica que no pode existir nenhum nmero real r > O que seja lim f(x).

para qualquer M > O dado, existe N

que lim f(x) = + 0:>.
",-++

>O

tal que f(x)

> M,

",-++ '"

para x

> N,

dizemos

o>

Exemplo

pois f(x)

<-

f(x)

M, para x

<-

=-

5. f(x)

x3

Como no exemplo anterior, lim f(x)

",-++",

no existe,

Acontece, entretanto, que dado M > O existe N >

> N. Neste caso, dizemos que lim f(x)
0:>.

X.

",-++",

=-

tal que

3. Mostre que o limite de no ponto c determinac~ univocamente.

, se lim f(x) = r e lim f(x) = s, ento r = s."
x-+c

:e---+c

4.

Seja [x] o maior inteiro menor o igual a x.

S. Sejaf: A -

C A para algum

Isto

c'

IR

<

Mostre que",-++
lim '" [~;

1.

uma funo real e c um ponto tal que (e', c) C A e (c, d) C

> e. Mostre que o limite de em c existe se,

c e algum d

2.3

57

OPERAOES COM LIMITE DE FUNOES

e s se, dado E > 0, pudermos determinar tal que lJ(x) - f(y)

O < Ix - c I < e O < Iy - c I < .
6.

Seja f:

IR --lo IR.

Mostre lim f(x) existe, se, e somente se, dado

x->+'"

pudermos determinar N tal que If(x) - f(y) I

2.3.

I<E

<E

para

> O,

para x, y ~ N.

Operaes com Limites de Funes

Podemos definir operaes de adio e multiplicao de funes reais do seguinte

modo:
Definio de adio. Sejam f: A --lo IR e g: A --lo IR duas funes reais com
os mesmos campos de defimo. A funo s: A --lo1R, definida por

=f(x) + g(x),

s(x)
para todo x E A, chamada a

S011Ul

das funes f e g, e designada por f + g.

Definio de multiplicao. Sejam f: A --lo1R e g: A --j.1R duas funes reais

com os mesmos campos de detinio. A funo p: A ~ IR definida por
p(x)

= f(x)

g(x),

para todo x E A, chamada o produto das funes f e g, e designada por fg.

Observao. O leitor pode ver facilmente que as duas operaes, acima, definidas no conjunto das funes reais do tipo f: A --7 IR, satisfazem s leis comutativa, associativa e distributiva. Isso decorre do fato de serem os reais um corpo
(cf. Se. 1.4).
Um caso particular da multiplicao aquele em que g(x) uma funo consa para todo x E A. Portanto, af, onde a nmero real, a
tante, i.e., g(x)
funo real definida por (af) (x) = af(x).

I.f

I:

Definio da funo li
A --7 IR definida por

I. Seja f: A
Ifl (x)

--7

IR

= If(i)

uma funo

real. A funo

I,

para todo x E A.
Definio da funo l/f. Seja f: A --7 IR uma funo real tal que f(x) ~ O,
para todo x E A. A funo IIf: A ---..IR definida por
(I/f) (x)

I/f(x),

para todo x E A.
Agora, enunciamos algumas propriedades do limite de funes em um ponto.
Teorema 2.5. Sejam f: A --lo1R e g: A
umsubconjunto A de IR. Ento,

--lo1R

duas funes reais definidas em

58

FUNES REAIS

(a) Se os limites direita de f e g no ponto c existem, ento as funes

fg e If I tm limite direita no ponto c e:
(1)

lim [f(x)

x~c+

(2)

+ g(x)] = x-4c+
lim f(x) +

lim [f(x) . g(x)]

x---*c+

=z--+c+
lim f(x)
lim If(x) I

(3)

:z:--tc+

CAPo 2

+ g,

lim g(x)
x---+c+

. lim g(x)
z---+c+

=I

lim f(x) I
x----tc+

(b) Enunciado anlogo para os limites esquerda.

(c) Se os limites de f e g no ponto c existem, ento as funes f
tm limite no ponto c e
lim [f(x)

(4)

X---+c

(5)

+ g(x)] =

lim [f(x) . g(x)]

x---+c

= z--+c
lim

lim If(x)

(6)

x---+c

lim f(x)
x---+c

I=

f(x)

g, fg e If I

lim g(x)
x--J>c

. lim g(x)
x--+C

Ilim f(x)l.
:Z:--+c

Demonstrao.
Para ilustrar, demonstremos
a relao (I); as relaes (2),
(3) e as anlogas para o limite esquerda tm demonstraes semelhantes.
Seja
(Xn) uma sucesso decrescente contida em A e convergindo
para c. Como
e g
tm limite direita no ponto c, temos que (f(xn converge para f(c+) e (g(Xn
converge para g(c+). Ento, a sucesso (f(Xn)
g(xn converge para f(c+)
g(c+), em virtude da Propriedade 1 para limites de sucesses.
Logo, o limite
direita de
g, no ponto c, existe e satisfaz a relao (1).
A parte (c) do
teorema conseqncia imediata das partes (a) e (b).

f+

Teorema 2.6. Seja f: A -l- IR uma funo real definida em um subconjunto

A de IR. Suponha que f(x) ;6. O para x E A. Ento:
(a) Se o limite direita de f no ponto c existe e diferente de zero, ento o limite direita de l/f no ponto c existe, e

(7)

1.1m -- 1
x->c+ f(x)

1
lim f(x)

x--+c+

(b) Enunciado anlogo para o limite esquerda.

(c) Se o limite de f no ponto c existe e diferente de O, ento o limite de l/f
existe, e
I.1m
x->c

-=1
f(x)

1
limf(x)

x->c

2.3

OPERAES

59

COM LIMITE DE FUNES

Demonstrao de (a). Seja (Xn) uma sucesso decrescente contida em A e

convergindo para c. Ento, em virtude da Propriedade 1, para limites de sucesses, a sucesso (I/f(xn)) converge para I/lim f(xn).
Mas, a existncia do limite
direita de f, no ponto c, implica que I/limf(xn) = I/f(c+). Logo, a funo I/f
tem limite direita no ponto c, o qual satisfaz a relao (7). A parte (b) tem uma
demonstrao anloga. A parte (c) uma conseqncia das partes (a) e (b).

EXERCCIOS
1.
Sejam f: A -Jo IR e g: A -Jo IR duas funes reais definidas em um certo
subconjunto A dos reais, tais que f(x) .:::;g(x) para todo x E A. Se f e g tiverem
limite em um certo ponto c, mostre que Iimf(x) .:::;lim g(x).
:z;--tc

x---'Joc

2. Se no exerccio anterior tivermos f(x) < g(x) para todo x E A, d um

contra-exemplo para mostrar que, em geral, no se tem limf(x) < lim g(x), admitindo a existncia dos dois limites.
x ....c
x ....c
3. Sejam f, g e h funes reais definidas em um conjunto A C IR. Se f(x) .:::;
.:::;g(x) .:::;h(x) para todo x E A e se os limites de f e h existirem e forem iguais
em um ponto c, prove que g tambm ter limite em c e limf(x) = lim g(x) =
= Um h(x).
x ....c
x ....x
x ....c

4. Enuncie e demonstre resultados anlogos aos dos Teorema 2.5 e 2.6 para
o caso dos limites de f(x) e g(x), quando x -Jo +
(ou X -Jo CXl

5. Prove que Um f(x)

x---tc

=r

x--tc

lim [f(x)

x ....c

e lim [f(x) . g(x)]

x ...c

CXl,

=+

e lim g(x)

CXl

+ g(x)] = +

conforme r

>

ou r

CXl).

implicam

CXl

< O.

6. D exemplos para provar que a ltima relao do Exerc. 5 no se verifica,

em geral, no caso de r = O.
7. Seja f: [a, +
Prove que lim f(x) =
x---t+w

CXl)

->
00

uma funo positiva, i.e., f(x)

se, e s se, lim [l/f(x)] = O.

IR

> O para todo

x ~ a.

x---t+oo

8. Considere dois polinmios P(x) = aux" + alxn-1 +

+ a" e Q(x) =
+ b1x"'-1 + ...+ bm, cujos coeficientes ao, ... , a", bo, , bm so nmeros
reais e ao ;;'" O e bo ;;'" O. Os inteiros n e 112 so os graus de P e Q, respectivamente.
Um polinmio de grau n tem, no mximo, n razes reais, i.e., a equao P(x) = O
tem no mximo n solues reais (no necessariamente diferentes). Portanto, para
todo x real, diferente das razes de Q(x), podemos definir uma funo pela expresso f(x) = P(x)/Q(x).
Calcule os limites de f(x), quando x -> +
e quando
x ~. Considere' os diferentes casos: n > 112, n = 112 e n < m.
,=

bux'"

CXl

CXl.

60

FUNES REAIS

Obsen'oo,

O "Teorema

CAPo2

da lgebra" diz que um polinmio

(no necessariamente diferentes).
Observe que o conjunto dos nmeros complexos inclui o conjunto dos nmeros
reais; portanto, algumas das razes (ou mesmo todas, dependendo do polinmio)
de P(x) podem ser reais. Uma demonstrao do Teorerna fundamental da lgebra
pode ser encontrada na referncia [10].
P(x) de grau n tem exatamente

9.
10.

Se I(x) ~
Mostre

fundamental

n razes complexas

= r,

e lim/(x)
x~c

mostre

que lim

x--+c

vi I(x) =

Vi.

que

Vlh-~

(i) lim -------

.,-+()

~-l
(ii) .,->0
Um -----

1
3

2.4. Funes Contnuas

Seja
um intervalo de qualquer um dos tipos seguintes:
[a,b], (a, 0:, (- o:>,b], [a, 00), (- 00, b), (- 00,0:.
f : ---+ IR se diz contnua em um ponto c do interior de se

I(c) =/(c+)

(a, b), [a, b), (a, b],

Uma funo real

= I(c-).

I --.

Se o intervalo contm a extremidade a, ento a funo I:

IR contnua em a
contm a extremidade b, ento a funo I: ---+ IR
se I(a) = I(a+). Se o intervalo
se diz contnua em b se I(b) = I(b-).
Uma funo I:
---+ IR se diz contnua no
intervalo I, se ela for contnua em todos os pontos de I. Ser til para referncias
futuras introduzir as terminologias: I contnua direita em c se I(c) = I(c+) e I
contnua esquerda em c se I(c) =/(c-).

Exemplos da Se. 2.1. fcil ver que as funes (i), (v) e (vii) so contnuas
em IR. A funo (ii) contnua no intervalo [O, 1]. A funo (iii) no contnua para x = O. A funo (iv) contnua em (1,2]. A funo (vi) contnua e
[O, + 0:. A funo (viii) no contnua em x = O. A funo (ix) no cont' ua
para x E 7L. As restries da funo (x) s semi-retas (- 00, O) e (O,
o:>
so
contnuas.
A funo (x) no est definida em x = O; o leitor pode ver facil ente
que no possvel defini-Ia a, de modo que a funo resultante seja contnuei; de
fato, j observamos que 1(0+) e 1(0-) no existem para a funo (x).

Os pontos onde uma funo I: ---+ IR no contnua so chamados pontos

de descontinuidade.
Costuma-se dizer que a funo tem uma descontinuidade em
tal ponto.
A descontinuidade de primeira espcie se os limites direita e esquerda existirem, mas forem diferentes.
Qualquer outro tipo de descontinuidade

chamado de segunda espcie. Nos Exs. (viii) e (ix) da Se. 2.1, as descontinuidades so de primeira espcie. No Ex. (x), O um ponto onde
tem uma descontinuidade de segunda espcie. A funo I(x) = sen (l/x) apresentada na Se. 2.2

2.4

FUNeS

CONTNUAS

61

tem uma descontinuidade

de segunda espcie em x = O. As seguintes
tm tambm descontinuidades
de segunda espcie em x
O.

funes

Exemplos:
(xi) f(x)
f(O)

(xii) f(x)
f(x)

= l/x

para x ~ O

=O
=

l/x para x

=x

> O

para x ~ o.

Em um ponto e, onde uma funo tiver os limites direita e esquerda. deftnimos

o salto de como sendo J{e+) - J{c-). Se uma funo contnua, o salto igual
a O. A recproca no verdadeira: o salto pode ser O sem que a funo seja contnua
O e J{O) = l.
naquele ponto. Exemplo: J{x) = x para x
Nos pontos de descontinuidade de primeira espcie, o salto est sempre deftnido e
um nmero real positivo, negativo, ou mesmo nulo, como acabamos de exempliftcar.

A seguinte caracterizao de continuidade

es de vrios teoremas mais adiante.

ser de grande valia em demonstra-

Teorema 2.7. Uma funo f: I ~ IR definida em um intervalo I contnua

em um ponto c E I se, e s se, para toda sucesso (xn) em I, tivermos que
xn

-7

C ~

f(xJ

-7 f(e).

Demonstrao.
Suponhamos que f seja contnua em c. Ento f tem limite
no ponto c, e limf(x) =f(c).
Se (Xn) uma sucesso convergindo para , tal que
x->c

para n ~ no, temos Xn E 1""-... {c}, ento pelo Teorema 2.4, seguir-se- que f(xn) ~ f(e).
Se no existir tal no, ento (xn) formada de duas subsucesJes (xnj), tal que Xnj =
= c para todo j, e (Xm,), tal que xmj E 1""-... {c} para todo j. E claro quef(xn) ~ f(e) ,

= f(c).1.7.)EReciprocamente,
pelo Teorema 2.4,
f(xm)qualquer
~ f(c). ~cesso
~~n) (Xn)\C-7I"'.
f(e).{e} con(Ver
pois
Exerc.f(xnj)
12, Se.
se para
vergindo para c, tivermos que f(xn) -7 f(c), ento p~Jo Teorema 2.4 seguir-se-
que lim f(x) = f(c).
Isto prova a continuidade
de fem
c.
x->c

Deixamos

ao leitor

a demonstrao

do teorema

Teorema 2.8. Seja f: I ~ IR uma funo

contnua em c E I se, e s se, para qualquer
x E

I,

seguinte.

definida em um intervalo I. Ento,

> O dado, existir um > O tal que

Ix ~ c I < =? If(x) - f(c) I <

E.

62

FUNES REAIS

CAPo 2

Deimio da funo composta. Sejam f: A ----+ IR e <p: B --+ IR duas funes

reais tais que a imagem f(A) est contida em B. A funo h: A ----+ IR definida por
h(x)

= <p(f(x))

para todo x E A chamada a funo composta de f e <p,e se designa por <po

Fig.2.8

Teorema 2.9. Sejam f: A ---l. IR e <p:B -+ IR duas funes reais, tais que f(A) C
B. Suponha que f tenha limite em um ponto c, e seja m tal limite. Suponha que
<pseja contnua no ponto m. Ento, a funo composta <po f tem limite no ponto c e

lim <p(f(x))
x->c

= <p(m).

Demonstrao.
Seja (x,,) uma sucesso contida em A"" {c} convergindo para C.
Pela hiptese sobre f, segue-se que f(xn) ----+ m. Como <p contnua, usamos o
Teorena 2.7 para obter <p(f(Xn)) --+ <p(m). Ora, isso verdade para toda sucesso
(Xn) C A"" {c} convergindo para C. Logo, pelo Teorema 2.4, o resultado se segue.

2.5. Operaes com Funes Contnuas

Usando as propriedades de limites de funo, obtemos facilmente os resultados que seguem. Algumas das demonstraes ficam a cargo do leitor.
Teorema 2.10. A soma de duas funes
contnua.
nidas em um mesmo intervalo

contnuas f:

I-

Teorema 2.11. O produto de duas funes contnuas f:

finidas em um intervalo

I contnua.

IR e g:

I --i

IR e g:

--+

IR defi-

I -;.IR de-

2.5

OPERAES

63

COM FUNES CONTNUAS

Corolrio 2.1. Se f: I --Jo [R uma funo contnua em um intervalo I, e a

um nmero real, ento a funo af contnua.

Use o Teorema 2.11 com a funo g constante e igual a a.

Demonstrao.

Corolrio 2.2. A diferena (f - g) de duas funes

g : 1-+ [R em um interralo I contnua.

contnuas

Demonstrao.
Do Corolrio 2.1 segue-se que - g contnua.
o resultado se segue pela aplicao do Teorema 2.10 a f e - g.

Teorema 2.12. Se f: I

r!

IR

--Jo

f:

--Jo

[R e

Portanto,

uma funo contnua em um intervalo I e f(x)

em L

r!

O, para todo x em I, ento a funo 1/f conrnu([

Corolrio

2.3.

f: I

Se

IR

--Jo

g: I

--Jo

IR

I e f(x) ,r! O para todo x E I, ento a funo

Direta a partir do~ Teoremas 2.11 e 2.12.

Demonstrao.

Teorema 2.13. Se
If I tambm

a funo

so funes contnuas em um intervalo

gjf contnua em r.

f: I

--Jo IR uma funo

contnua em um intervalo I, ento
contnua em r.

Teorema 2.14. Sejam f: I -+ IR e tp: J --Jo IR duas funes contnuas em intervalos I e J, e tais que a imagem f(I) esteja contida em J. Ento a funo composta
tp o f contnua em r.
Demonstrao.
Provemos a continuidade em um ponto c. Como f contnua em c,temos que limf(x) = f(c). E, como a funo tp contnua em f(c), temos
x->c

que lim tp(y)

y->f(c)

= tp(f(c.

Pelo Teorema 2.9 sobre limites de funes compostas,

temos que
lim tp(f(x

x->c

o que mostra que

tp

= tp(f(c,

contnua em c.

EXERCCIOS
1.

tervalo

Sejam f:
-+ IR e g: -+ IR duas funes contnuas definidas em um InMostre que as funes

I.

h(x)
k(x)

= max[f(x),
= min[f(x),

g(x)]
g(x)]

so contnuas em I. (Observe como as funes h e k so definidas: dado x E I,

considere os dois nmeros reais f(x) e g(x), e defina h(x) como sendo o maior dos
dois, e k(x) como o menor.)

64

FUNES REAIS

= f(x)

2. Seja 1: IR --> IR uma funo tal que f(x)

IR. Mostre que
continua.

3.

= O, se

Seja f: IR --> IR definida assim: f(x)

cional, tome a representao

-l.
q

defina f(x)

racionais.

(Compare

Mostre

para todo

x for irracional.

de x por uma frao irredutivel

que

contnua

essa funo

nos irracionais

com a funo

de Dirichlet,

L,
q

CAPo2

IR e todo

Se x for raonde

e descontnua

> O,
nos

ver Se. 1.1).

4. Seja I um intervalo qualquer dado; uma funo f: I ~ IR lipschitziana

se existe M> O tal que If(x) - f(y) I ~ M Ix - y I, p&ra todos x,y em I. Mostre
contnua em I.
que

f: I -->

5. Seja I um intervalo;
tais que If(x) - f(y) I ::::;M Ix tante de Hlder e a o expoente
vao. a = 1 o caso do Exerc.
da Se. 3.6.)
6. Mostre que a funo
mas f(x) = x2, definida em es lipschitzianas.

se existirem a > O e M
M chamado a consde Hlder.
Mostre que contnua em I. (Obser4. Se a > 1, prova-se quef constante, cf. Exerc. 2
IR Hlder-contnua

y Ia, para todos x, y em

f(x)
co

<

= x2,
X

<

I.

definida em Ix I ::::;17, lipschitziana,

no . D outros exemplos de fun-

co,

7. Mostre que a funo f(x) = xl/Z, definida para x ?': O, no lipschitziana

em nenhum intervalo contendo a origem.
Entretanto,
I UilJcf-contnua com
expoente 1/2 em x
O.

8. Sejam um intervalo e f: --> IR e g: --> IR funes lipschitzianas.

Mostre
que f
g lipschitziana.
Se for limitado, mostre que fg lipschitziana.
Mostre,
atravs de exemplos, que no caso do produto de funes o resultado falso se
no for limitado.

9. Uma funo f: IR --> IR localmente lipschitziana se, para qualquer Xo E IR,

existirem E > O eM>
O, ambos dependendo de xo, tais que If(x) - f(y) I :::;
::::;Mlx - yl, para I x - Xo I < E e Iy - Xo I <E. Mostre que f contnua
em IR. D exemplos de funes localmente lipschitzianas
que no so lipschitzianas.
10. Uma funo f: IR --> IR localmente hlderiana (ou localmente Hlder-contnua) se, para qualquer xo, existirem E > O, M > O e a > O, tais que If(x) Mostre que f con- f(y) I ~ M Ix - y Ia, para Ix - Xo I < E e Iy- yo I < E.
tnua em IR. (Se a = 1, temos o caso do Exerc. 9 e se a > 1, ento
constante
(cf. Exerc. 2, da Se. 3.6).

11. Seja
em I.

Mostre

Io

intervalo aberto (0,1) e f:

-7 IR uma funo Hlder-contnua
que lim f(x) e lim f(x) existem. (Sugesto.
Use o Exerc. 5, da
,1;-+0+

Se. 2.2, devidamente

adaptado

X-+l-

para limites laterais.)

2.6

FUNES CONTINUAS

EM INTERVALOS

65

FECHADAS

2.6. Funes Contnuas em Intervalos Fechados

Uma funo f: A ~ IR definida em um subconjunto A dos reais li"Jitada
se existir um nmero real M tal que

superiormente

f(x) ~ M, para todo x E A.

(I)

Em outras palavras, usando a terminologia introduzida na Se. 1.3: limitada

superiormente, se a imagem f(A) tem uma cota superior. Portanto. o M da relao (I) pode ser qualquer cota superior. Pelo Postulado de Dedekind. o conjunto
f(A), no caso de uma funo limitada superiormente, tem um supremo. Definimos, ento, o supremo da funo f (em smbolos sup f) como sendo o supremo do
conjunto f(A).

Analogamente, uma funo f: A ---+ IR definida em um conjunto A

se existir um nmero real N tal que

C IR

li-

mitada inferiormente

f(x) ~ N, para todo x E A.

o nfimo

de f, que se designa por inff, definido como sendo o nfimo do conjunto fl.A).

As funes (i), (ix) e (x), definidas na Se. 2.1. no tm nem suExemplos.

premo nem nfimo. comum dizermos que o supremo de + co, quando tal
supremo no existir. Analogamente, usamos a conveno inf
O) se o nfimo no existir. Para algumas das outras funes definidas na Se. 2.1, temoS;

(ii) inf

f =O

e sup

(iii) inf

f =O

(v) inf

f =O

e sup

f =+

O)

(vii) inf

f =O

e sup

f=+

O)

f=-

f = 1.
sup f = 2.
-"\1
j

Uma funo f: A ---+ IR definida em um conjunto A C IR \1inJjJgdfr~fOr limitada superiormente e limitada inferiormente. As funes dos Exs. (ii), (iii), (iv)
e (viii) so limitadas. claro que uma funo limitada se, e s se, existir K > O
tal que If(x) I ~ K para todo x E A.
Dada uma funo limitada superiormente, pode existir ou no um ponto
Xo E A tal que f(xo) = sup
Para a funo (iii) no existe um tal xo, enquanto
que para a funo (iv) existe. Diz-se que a funo assume mximo em A, quando
existir um tal Xo, e o nmero sup f ser chamado de mximo de
Consideraes
anlogas para o nfimo: quando existir Xo E A tal que f(xo) = inf
ento o inf f
ser chamado o mnimo de f e diremos que a funo assume mnimo em A.

f,

Teorema 2.15. Seja f: [a, b] --+ IR uma funo real contnua definida em um
intervalo fechado [a, b]. Ento, f assume mximo e mnimo em [a, b].

66

FUNES REAIS

CAPo2

Observao.
A existncia de um tal ponto parece bvia, a partir do exame
uo grtico da funo contnua! Entretanto, no devemos basear nossas demonstraes em
argumentos geomtricos com os grfiCs,pois, em certos casos, o grfico pode ser complicado e difcil de visualizar. Como, p. ex., o grfico da funo de Dirichlet definida na Se.
1.1.

Para a demonstrao do Teorema 2.15 necessitaremos do lema a seguir.

Lema 2.1.

[a. b]. Ento,

Seja

f: [a, b]

f limitada.

--+ IR uma funo

contnua em um intervalo fechado

Demonstrao.
Vamos mostrar que f limitada superiormente. De modo
limitada inferiormente. Suponhamos, por
anlogo, demonstraramos que
contradio, que no fosse limitada superiormente. Logo, dado n E N, existe
x" E [a, b] tal que f(x,,) > n. Pelo Teorema de Bolzano-Weierstrass (Se. 1.10),
(XII) contm uma subsucesso (Xnj) convergente, seja r o seu limite, o qual pertence
ao intervalo [a,b]. Pela continuidade da f, segue-se (feorema 2.7) queAxn.) --+ Ar).
Portanto, a partir de um certo nj temos
1

f(xn)

Isto, porm, contradiz o fato de que

< f(r) +
f(xn)

>

1.
nj.

O lema est provado.

Demonstrao do Teorema 2.1 S. Seja Mo sup de f em [a, b] o qual existe,

em virtude do Lema 2.1. Dado n E N, existe Xn E [a, b] tal que M - f(x,J <
< l/no Pois, se no existisse, ento M - f(x) ;;:::l/n para todo x E [a, b] e da
M - l/n ;;:::f(x), o que contradiz o fato de M ser o sup de
Construmos deste
modo uma sucesso (xn). Pelo Teorema de Bolzano-Weierstrass, segue-se que
(x,,) contm uma subsucesso convergente (x"J)' e seja r seu limite. Pela continuidade de
segue-se (Teorema 2.7) que f(x"J) --'f(r).
Como M - f(x"5) < l/ni.
conclumos por propriedades de limites de sucesses (Propriedade 6, Se. 1.7) que
M f(r), como queramos provar.
Outro resultado que tambm parece razovel, a partir da anlise do grfico
de uma funo contnua, o seguinte teorema, conhecido como Teorema do Valor
Intermedirio.

f.

f,

Teorema 2.16. Seja f: [a, b] --+ IR uma funo contnua definida no intervalo fechado [a, b]. Ento, afuno f assume todos os valores entre f(a) e f(b). Em outras
palavras, a imagem f([a, b]) contm o intervalo fechado com extremidades f(a) e f(b).

A demonstrao utiliza os seguintes lemas.

Lema 2.2. Seja f: I --+ IR uma funo contnua num intervalo

para um ponto Xo E I, se tenha f(xo) < c. Ento, existe um E >
< c para todo x E I tal que Ix - Xo I ~ E.

I. Suponha que,
O

tal que f(x)

2.7

67

FUNES MONTONAS

Demonstrao
por contradio.
Suponha que, qualquer que seja n, exista
E tal que Ix" - Xo I < l/n e f(x,,) ;:::: c. A sucesso (x,,) assim construda
converge para xo. Pela continuidade de f, segue-se (Teorema 2.7) que f(x,,) --->
-c> f(xo).
Da decorreria f(xo) ;:::: c, o que contradiz a hiptese f(xo) < c. .
x"

existe

Lema 2.3. f COI/W no Lema 2.1. Suponha que, para Xo E I, f(xo)

E > O tal que f(x)
> d para todo x E I e Ix - xol :::; E.

Demonstrao.

Aplique o Lema 2.2 funo

g(x)

=-

>

d. Ento,

f(x).

2.16 Para fixar as idias, suponhamos que f(a) <

intervalo (f(a),f(b)).
Queremos provar que existe
= Seja A = {x E [a, b] f(x) ::;; c}. O conjunto A
no-vazio, e b uma cota superior para ele. Logo, o supremo de A existe; seja
Xl tal sup. claro que Xl ::;; b. Alm disso, Xl < b. De fato, sendo f(b) > c,
segue-se, pelo Lema 2.3, que existe um E > O tal que, para todo x E [b - E, b]
temos f(x) > c. Logo, os x desse intervalo so cotas superiores do conjunto A
e, portanto, b no pode ser o supremo de A. Agora, provemos que f(xl) = c.
Suponhamos que I(xl) < c; ento, pelo Lema 2.2, segue-se que existe E > O tal
que f(x) < c para todo x E [Xl - E, Xl + E], o que contradiz o fato de Xl ser o
sup de A. A outra possibilidade, I(xl) > c, tambm no ocorre, pois, usando o
Lema 2.3, teramos um E > O tal que f(x) > c para todo x E [Xl - E, Xl + E],
o que mostra que Xl - E cota superior para o conjunto A; isso contradiz o fato
deve ser igual a c, o que prova o teorema.
de Xl ser o supremo de A. Logo,/(xl)
Demonstrao
do Teorema
<f(b),
e seja c um ponto do
Xo E [a, b] tal que f(xo)
c.

EXERCCIOS
1. Seja f:
para qualquer

[O, 1] ---?
E [O, 1]

IR uma funo real contnua. Suponha que I(x) E Q

e que 1(0) = 1. Mostre que 1 =: 1.

2. Seja I: [O, 1] -c> [O, 1] uma funo contnua, cujos domnio e conyadomnio so o intervalo fechado [O, 1]. Mostre que existe Xo E [O, 1] tal (que
I(xo)

= Xo.

1\

f.

Ob,maa.
O ponto x. ohamado nm panta fixo da funo
Um re~
tado semelhante vlido para funes de vrias variveis, mas a demonstrao
no to simples; nesse caso o resultado toma o nome do Teorema de Brouwer
e uma das poderosas armas da Anlise nas investigaes em campos da Matemtica e em suas aplicaes.

2.7.

Funes Montonas

Seja I:
definies:

-c>

IR uma funo definida em um intervalo 1. Damos as seguintes

)
~

68

FUNES REAIS

f crescente se f(XI)

< f(X2),

f no-crescente

<

Xl

> f(X2), para

f decrescente se f(XI)
f no-decrescente

para

X2 em I;

< X2

Xl

se f(XI) ~ f(X2), para

se f(XI)

?::

f(X2), para

CAPo2

Xl

Xl

em I;

< X2

em I;

< X2 em

I.

claro que toda funo crescente no-decrescente, e toda funo decrescente

no-crescente.
Obviamente, esses conceitos sobre a variao de uma funo
nada tm a ver com continuidade (cf. Exs. (viii) e (ix) da Se. 2.1.). Usa-se a expresso montona para qualquer um dos quatro tipos de funes acima definidas.

valo

Teorema 2.17. Uma funo no-decrescente f: I ~

tem limites laterais em todos os pontos de r.

iR definida

I,

em um inter-

Observao.
claro que se c E uma extremidade de
ento s existe
um dos limites laterais.
Se uma das extremidades do intervalo
no pertencer
a I, ento o limite lateral em c pode no existir (cf. Exs. (x) da Se. 2.1).

Demonstrao do Teorema 2.17.

1) Seja c um ponto do interior de
ou a
extremidade direita, no caso de esta pertencer ao intervalo I. Provemos que o limite esquerda de f, no ponto c, existe. Considere o conjunto A dos f(x) para
x < C. Como f(c) uma cota superior para A, segue-se, pelo Postulado de Dedekind, que A tem supremo, que designamos por m. Seja agora (xn) uma sucese convergindo para c. Como
no-decrescente,
so crescente contida em
(f(xn)) uma sucesso no-decrescente e, portanto, converge, e seja d o seu limite.
claro que d ~ m. Se d < m, ento existe X < c tal que: (*) d <f(x).
Como
Xn ~ c, segue-se que existe n tal que X < Xn e da f(x) ~ f(xn).
Esta desigualdade
juntamente com (*) d d < f(xn), o que contradiz o fato de a sucesso no-decrescente (f(xn)) convergir para d. Logo, (f(xn)) converge para m, qualquer que seja
a sucesso (Xn) crescente, contida em
e convergindo para C. Isso mostra que
f(c-) existe e igual a ln.

2) Se c um ponto interior ou a extremidade esquerda, no caso de esta pertencer ao intervalo, ento f(c+) existe. De modo anlogo ao procedimento
da
primeira parte, provamos que f(c+) o nfimo do conjunto dos f(x) para X > C.
Nota. Decorre da demonstrao
ponto interior do intervalo I, ento
(I)

f(c-)

acima que, se f no-decrescente

s-;

e c um

f(c) ~ f(c+)

Corolrio 2.4. Toda funo no crescente f: I --?

tem limites laterais nos pontos de L

IR,

onde I um interl'alo,

Demonstrao.
A funo - f no-decrescente.
Pelo Teorema 2.17, - f
tem os limites laterais.
Pelas propriedades dos limites laterais de funes (cf.
Se. 2.3), segue-se que
tambm tem os limites laterais nos pontos de I.

2.8 FUNES INVERSA

69

EXERCCIOS
1. Seja I um intervalo. Diz-se que uma funo f: I ---j. IR satisfaz a propriedade do valor intermedirio se dados p,q E fel), ento os pontos entre p e q pertencem a f(I).
Mostre que, se f satisfaz a propriedade do valor intermedirio e
montona, entof contnua. Mostre que existem funes no-contnuas que satisfazem a
propriedade do valor intermedirio.

2. Uma funo f' ---j. IR localmente montona no-decrescente se, para qualquer Xo
existir E> O tal quefseja montona no-decrescente em (Xo - fE, Xo + E). Demonstre
que uma tal montona no-decrescente em I.

E I,

I.

3. Seja f: --+ IR uma funo real montona definida em um intervalo

Mostre que o conjunto dos pontos de descontinuidade da enumervel ou fnito.

2.8. Funo Inversa

Seja f: A ---j. B uma funo injetiva definida em um conjunto A e tomando
valores em um conjunto B. Relembremos que f injetiva significa f(XI) ~ f(X2)
para Xl ~ X2 em A (cf. Se. 1.1). Para uma tal f, podemos definir a funo inver--+ A, que tem por domnio a imagemf(A)
e por contradominio o consaf-1:f(A)
junto A, do seguinte modo: para Y E f(A) temos f-1(y) = X, onde X E A o elemento (nico, por ser f injetiva) tal que f(x) = y.
Obviamente, toda funo crescente
Observe que f-1 :f(A) ---j. A sobrejetiva.
(ou decrescente) injetiva.
Para funes contnuas vale uma recproca deste fato:
Isso
"toda funo f: ---+ IR injetiva contnua ou crescente ou decrescente."
ser provado na Se. 2.9.

Lema 2.4. Seja f: I ---j. IR unUlfuno contnua e crescente em um intervalo I.

Ento, a imagem f(I) um intervalo. Alm disso, se c pertence ao interior de I, ento
f(c) pertence ao interior de f(I).
Observao. Esse lema nos diz, ento, que se I for um intervalo aberto (a, b),
ento f(l) tambm um intervalo aberto (c, d), no qual uma ou ambas as extremiJ:la~es
bm ~
podem ser infinitas. Se I um intervalo fechado [a, b] ento f(I)
intervalo fechado. Intervalos do tipo [a, b) so transformados em inte alos do tipo
[c, d), onde d pode ser + 00. D exemplos das vrias possibilida es.
i

Sugesto.
Funes como f(x)
para todo x E IR, podem ajudar.

=-

l/x

para

x>

O,

e g(x) ~1/(I

+ x2),

Demonstrao do Lema 2.4. 1) Para mostrar que f(I) um intervalo, o que

devemos fazer provar que, se.yl e Y2, YI < Y2 pertencerem a f(1), ento o intervalo [Yi, Y2] estar contido emf(/).
Sejam Xl e X2 os pontos de I s que f(XI) = YI
Isto, porm, dee f(X2) = Y2. Logo, devemos provar que [f(XI),j(X2)] CfCl).
corre do teorema do valor intermedirio
(cf. Teorema 2.16).
2)

Seja
Seja agora c um ponto do interior de I.
Pela primeira parte deste teorema, j provada,

+ E] C 1.

> O, tal que [c - E,

a imagem do intervalo

70

FUNES REAIS

CAP.2

um intervalo J, cujas extremidades so f(c - E) e f(c + E). Sendo

E) < f(c) < f(c + E), o que mostra que f(c) um
ponto do intervalo J e, a /ortiori, de f{l).
(c -

E, C

+ E)

f crescente, segue-se que f(c -

f: I ---...IR uma funo contnua crescente em um intervalo

IR tambm
continua.
inversa f-l: f(1) ---...

Teorema 2.18. Seja

I.

Ento, a funo

Primeiramente observamos que a funo inversa f-l :f(l) --+ IR

Demonstrao.
tambm crescente. Para provar o teorema, basta demonstrar as duas assertivas
seguintes:
(i) Seja d um ponto do interior de fel) ou a extremidade direita do intervalo
caso essa pertena a f(l).
Ento, para toda sucesso crescente (Yn), Yn --+ d,
tem-se que f-l(yn) ---l- f-l(t!).
(ii) d pertence ao interior de f(1) ou a extremidade esquerda, caso essa
pertena a f(1).
Ento, para toda sucesso decrescente (Yn), Yn -+ d, temos

f(l),

j-l(yn)

--+ f-l(d).

Demonstramos (i) e deixamos ao leitor a demonstrao (anloga) de (ii). Sejam

e c os pontos (nicos) de I tais que j(xj=Yn e j(c)=d. fcil de ver que a
sucesso (xj crescente e limitada superiormente por c. Logo, pelo Teorema 1.4,
existe a tal que Xn --+ a. Usando a continuidade de f, atravs do Teorema 2.7, obtemos
j(xj --+ j(a). Isso, juntamente com Yn = .f{xn) --+ d, implica j(a) =d. E como / crescente
(portanto injetiva), temos que a = c. Logo, xn --+ c, como queramos.
Xn

Corolrio 2.5. Seja

valo r.

Ento, a funo

f: I -+ IR
inversa

uma funo contnua decrescente

--+ IR tambm continua.

rI: f(l)

em um inter-

A funo g = - f crescente. Por conseguinte, pelo teorema

Demonstrao.
anterior g-l: g(I) --+ IR contnua. Ora, g(1) = - fel) e f-I(y) = g-I( - y) para
todo y E [(I). A continuidade de f-1, segue-se usando o Teorema 2.14, pois a
funo f-l a composta da funo contnua g-I e da funo contnua

h:
definida por h(x)

=-

IR --+ IR,

x, para todo x E

IR.

Observao. O Teorema 2.18 no verdadeiro se f for apenas no-decrescente, pois nesse caso f-l nem definida.

Exerccio. Considere o plano R2, munido do sistema de coordenadas usual

Seja B a reta bissetriz do primeiro e terceiro quactrantes, i.e., a reta Y = x.
Dado um subconjunto A de R2, definimos o refletido A' de A com relao a B,
como sendo o conjunto A' = {(a, b) E R2: (b, a) E A}. Seja f' I --+ R uma funo
contnua crescente e g: j(l) --+ R sua inversa. Mostre que o grfico de g o refletido
com relao a B do grfico de
(x, y).

2.9. Funes Injetivas da Reta

Teorema 2.19. Seja
intervalo

f: I

--J- IR

uma funo

contnua e injetiva definida em um

I. Ento, f uma funo crescente ou uma funo decrescente.

2.9

FUNES INJETlVAS DA RETA

71

Demonstrao.
(1) Sejam a, b E I, com a
que um dos dois casos deve ocorrer:

(l.i)

f(a) <f(b);

(2) Sejam a, b, e
deve ocorrer:
(2.i)

f(a)

< b.

Sendo f injetiva, segue-se

(1.ii)

I, com a

<b<

f(a)

> f(b).

Provemos que um dos dois casos

e.

< f(b) < f(e);

(2.ii)

f(a)

> f(b) > f(e)

Suponhamos, em vista da parte (1) acima, que f(a) < f(e). (A outra possibilidade poder ser tratada com um raciocnio anlogo.) Devemos provar que o
caso (2.i) ocorre. Suponhamos, por contradio, que f(a) > f(b). Seja r um
nmero real comum aos intervalos (f(b),f(a e (f(b),f(e.
Pelo teorema do valor
intermedirio, existem pontos Xl E (a, b) e X2 E (b, e) tais que f(Xl) = r e f(X2) = r.
Isso, porm, contradiz a injetividade da funo
De modo inteiramente
anlogo, provamos que f(b) > f(e) no pode ocorrer.

(3) Sejam a, b, e, d
casos deve ocorrer:
(3.i)

f(a) <f(b)

<f(e)

I, com a

< b < e < d.

(3.ii)

<f(d);

Provemos que um dos dois

f(a)

> f(b) > f(e) > fed)o

Suponhamos, em vista da parte (2) acima, que

(*)

f(a)

< f(b) < f(e).

(A outra possibilidade, i.e., (2.ii), poder ser tratada de modo anlogo.) Devemos provar que, feita esta hiptese, i.e., desigualdade (*), o caso (3.i) ocorre. Consideremos os pontos b, e, d. Aplicando a parte (2) novamente, conclum~,

"

(**)

f(b) <f(e)

<f(d),

pois a outra possibilidade est descartada em virtude de j sabermos que f(b)

< f(e). As desigualdades (*) e (**) do (3.i).

<

(4) Provemos, finalmente, que crescente ou decrescente. Fixemos dois

pontos a, b E I, a < b. Em vista da parte (1), temos f(a) < f(b) ou f(a) > f(b).
Provaremos que, no primeiro caso, a funo crescente e que, no segundo, ela
decrescente. Consideremos o primeiro caso. Sejam x e y pontos quaisquer de
I com x < y, e provemos que f(x) < f(y).
O que devemos fazer ver a localizao
dos pontos x e y em relao a a e b. No entanto, em qualquer caso decorrer a
desigualdade procurnela. Por exemplo. se x < y < a < b, decorre, em vista da parte
Deixamos
(3) e de j sabermos que f(a) <f(b), que f(x) <f(y) <f(a) <f(b).

72

FUNES REAIS

CAPo2

ao leitor a considerao (inteiramente anloga) dos demais casos das posies de

x e y, bem como o caso f(a)

2.10.

> f(b).

Funes Lineares
Sejam a e b dois nmeros reais dados.

(1)

A funo f: R -;. R, definida por

= ax + b,

f(x)

para todo x E IR, chamada uma funo linear. O nome linear provm de que,
como analisaremos abaixO, o grfico de f uma reta. A continuidade de imediata.
O grfico de f(x). Para x = O, temos f(x) = b. Logo, o grfico de f passa
pelo ponto (O, b). Se b = O, o grfico da f correspondente, f(x) = ax, passa pela
origem. Consideremos esse caso primeiro. H trs possibilidades:

1.a a
dos

= O.

Neste caso, j{x)

O,

e o grfico de

simplesmente o eixo

x;

2.a a > O. Sejam Xl e X2 dois reais diferentes de zero e designemos: YI

Y2 = f(X2)'
Como YI = aXI e Y2 = aX2, temos

=f(XI),

(2)

Observe que para (x, y), no grfico, os nmeros x e Y tm o mesmo sinal.

Logo, se so negativos, temos y/x = Iy 1/ Ix I. vista disso, a relao (2) implica
que os tringulos OPXI e OQX2 das figuras abaixo so semelhantes.

p
Fig.2.9

2.10

73

FUNES LINEARES

Portanto, os pontos (x, y) do grfico de f(x) = ax so precisamente

uma reta passando pela origem, cuja equao y = (IX, (/ > O.
a

3.a

= ax
g(x)

< O.

os pontos

de

Como no caso anterior, podemos provar que o grfico de fex)

pela origem, cuja equao y = (IX, com a < O.

uma reta passando

= ax + b,

Para o caso geral, f(x)

= ax por b, no sentido

vertical.

o grfico o transladado
do grfico de
Logo, a reta cuja equao y = (IX + b.

Reciprocamente,
dada urna reta R em um plano coordenado (x, y), ela o
grfico de uma funo linear, se R no for paralela ao eixo dos y. De fato, dada
a reta y = ax + b, a funo linear correspondente ser j{x) = ax + b.

EXERCCIOS
1.

Seja f:

IR ---J. IR

uma funo
f(x

para todos x e y em

contnua

+y) = f(x)

tal que

+ f(y),

Prove que f linear, ou mais precisamente,

IR.

da forma ax.

Observao.
Existem funes que satisfazem a relao acima mas no so
da forma ax. Decorre do Exerc. 1 que tais funes no so contnuas.
A demonstrao da existncia de tais [unes uma pea matemtica difcil, mas particularmente bonita e elegante.
Ela usa o Lema de Zorn, base de Hamel '" Curioso?
Consulte a referncia [6].
2.

Seja f:

IR --J. IR

uma funo
f(x

tal que

+ y) = f(x) + f(y)

e
f(x) ~ O, para x ~ O.
Prove que

f da

forma ax, o que em particular

implica que

I~

3. Sejaf:
IR uma funo definida em um intervalo
chamada convexa se
A funo

f(a

+ (1 -

)b) ~ f(a)

+ (l

f contnua.

I que pode

ser infinito.

- )f(b),

para todo E [O, 1] e todo par a, b em 1. Mostre que ser convexa significa que
o segmento de reta ligando os pontos (a,f(a e (b,f(b est acima do grfico
da funo y = f(x). Verifique que as funes y = x, y = x2 so convexas.
D
outros exemplos.

74

FUNES REAIS

4. Seja f: (a, b)

-)o

IR uma funo convexa.

f(c) - f(x)

c-x

CAP.2

Demonstre que

< f(d) - f(c)

- d-c
'
<c<

d.

5. Demonstre que toda funo convexa f: (a, b)

valo aberto (a, b), contnua.

-)o

para x, c, d no intervalo (a, b) e tais que x

IR, definida em um inter-

6. D um exemplo para mostrar que uma funo convexa em um intervalo

no necessariamente contnua.

7. Uma funo f:1R -)o IRsatisfaz a propriedade do valor mdio se, para qual[f(xo
r)
f(xo - r)]. Se uma funo f
quer Xo E IR e r> O, temos f(xo)
satisfizer a propriedade do valor mdio e for contnua, ento ela ser linear.

=t

+ +

8. Sejam f: -)o IR e g: J -)o IR duas funes convexas, com f(l) C J e f crescente. Mostre que a funo composta f o g convexa.

9. Sejam f: -)o IR e g: -)o IR duas funes convexas, definidas em um mesmo intervalo I. Mostre que a funo mx (f, g) convexa. E a funo min Cf, g)?