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 - 1, para x

=O
< 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 definio os pontos a expresso ~ntido. Assim, expresses algbricas J(x) = Yx(x - 1) onde e g(x) = Vx - 1 conduzem a as funes diferentes. pois para a primeira
{x
E 1Qi(f)

Vi

{x

E IR: x

O ou

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

IR: x 2: I}.

2.1

FUNES REAIS

49

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 x
I I I

Fig.2.1

Fig.2.2

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---' (- 2, 3/2) ,c----------, I I I , ,

(1. 2)

-4

-3

-2

-1 ,
I I I I
, I

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

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

I I

:
I

I
I I I

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

-3

-2
I I

-1

1 ----~ I I
J

I 2

: I I

-------{)-1

(vi

ii)

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

I I I I I I

I
I
I I

-2

-3

(ix)

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).

-1 Xl -2 3 2 O1 4 4 9 9

(v) 2

-3

3 1 -1 -3 2 O

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:

v-;.

v-;

7 1 2 4 8 9 5 3 6 3 O

v7

g.2.6

1 2

(vi)

52

FUNES REAIS

CAP.2

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

x na 1 /x 1 1/3 1/4 -1 traar ox grfico mostrado -1 -2 -3 -4 l 1/2 -1/3 -1/4 -1/2 I/x 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

na Fig. 2.7.

.:1,

indicada

2.2.

Limites Laterais de uma Funo

--io

Consideremos uma funo real f: A nmeros reas.

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

LIMITES LATERAIS DE UMA FUNO

53

(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) (ii) (iv) (v) Para a funo (i), temos f(O+) Para a funo Para a funo Para a funo (ii), lim f(x)
",-+0

= f(O-) = O e,

portanto,

",-+0

lim f(x)

= O.

no existe, apesar de f(O+) para

existir.

(iv), f(l

+)

(v), temos
Ix2
-

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

Ix

= 1.

41

+ 211x
dado

21
E

< 5\x

- 21
E

para
o

O < Ix - 2 I

< <

1.

Portanto,

> O,

com

< 5,

tomemos

= E/5.
(viii) (ix) (x) Para a funo (viii), f(O+) (ix), f(3+) (x), f(O+)

=1
=

e f(O-)

= = 2.

1, enquanto

f(O)

= O

Para a funo Para a funo

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

LIMITES LATERAIS DE UMA FUNO

55

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. <E

Enuncie e prove um resultado

0:>.

anlogo para limite de f(x),

quando

1
Exemplo

2. f(x)

+x

para x > -

1.

Temos If(x) E

OI

=
1

---< 1 +x
ji() x = O.
1 e que

para x
Exemplo

>

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

L ogo, l'1m

3. f(x)

= --- x

+1

",-++ '"

para x >

O.

Neste caso, If(x) -

I = -, x

usando um argumento semelhante ao do exemplo anterior, mostramos 1. lim f(x)

.,-++",

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>

>O

tal que f(x)

> M,

",-++ '"

para x

> N,

dizemos

Exemplo

5. f(x)
X.

=-

x3

Como no exemplo anterior, lim f(x)

",-++",

no existe,
O

pois f(x)
f(x)

<-

<-

M, para x

Acontece, entretanto, que dado M > O existe N > > N. Neste caso, dizemos que lim f(x) 0:>.
",-++",

=-

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."
:e---+c

Isto

x-+c

4.

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

IR

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

1.

S. Sejaf: A -

C A para algum

c'

<

c e algum d

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,

2.3

OPERAOES COM LIMITE DE FUNOES

57

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. x->+'"

I<E
E

para

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

> O,

pudermos determinar N tal que If(x) - f(y) I 2.3. Operaes com Limites de Funes

<E

para x, y ~ N.

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 s(x) para todo x E A, chamada a

=f(x) + g(x),
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

uma funo

real. A funo

= If(i)

I,

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

I/f(x),

duas funes reais definidas em

58

FUNES REAIS

CAPo 2

(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) (2) (3) lim [f(x)

+ g,

x~c+

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

=z--+c+ lim f(x)
:z:--tc+

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

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

x---*c+

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

lim If(x) I

=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 (4) (5) (6) lim [f(x)
X---+c

g, fg e If I

+ g(x)] =

lim f(x)
x---+c

lim g(x)
x--J>c

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

x---+c

= z--+c lim
I=

f(x)

. lim g(x)
x--+C

lim If(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
x--+c+

lim f(x)

(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
x->c

limf(x)

2.3

OPERAES

COM LIMITE DE FUNES

59

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 CXl).

5. Prove que Um f(x)

x---tc

=r
x ....c

e lim g(x)
x--tc

=+

CXl

implicam

lim [f(x)

+ g(x)] = +
>
O

CXl

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

x ...c

CXl,

conforme r

ou r

< 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

IR

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

x---t+oo

> O para todo

x ~ a.

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

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 n razes complexas

Obsen'oo,

O "Teorema

fundamental

9. 10.

Se I(x) ~ Mostre

e lim/(x)
x~c

= r,

mostre

que lim

x--+c

vi I(x) =

Vi.

que

(i) lim ------.,-+()

Vlh-~
X

=
1
3

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

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

(a, b), [a, b), (a, b], Uma funo real

I(c) =/(c+)

= I(c-).

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-).

I --.

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)

= l/x
=O =

para x ~ O

(xii) f(x) f(x)

l/x para x

> O

=x

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). pelo Teorema 2.4, f(xm) ~ f(c). ~cesso ~~n) (Xn)\C -7 f(e). (Ver pois f(xnj) I"'. {e} conExerc. 12, Se. 1.7.)EReciprocamente, se para qualquer 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

seguinte.

Teorema 2.8. Seja f: I ~ IR uma funo contnua em c E I se, e s se, para qualquer x E

definida em um intervalo I. Ento, > O dado, existir um > O tal que

E.

I,

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

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 o f tem limite no ponto c e <pseja contnua no ponto m. Ento, a funo composta <p

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-

IR e g:

--+

IR defi-

Teorema 2.11. O produto de duas funes contnuas f:

finidas em um intervalo

I contnua.

I --i

IR e g:

I -;.IR de-

2.5

OPERAES

COM FUNES CONTNUAS

63

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. Demonstrao.

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

contnuas

Corolrio 2.2. A diferena (f - g) de duas funes g : 1-+ [R em um interralo I contnua.

f:

--Jo

[R e

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

Portanto,

Teorema 2.12. Se f: I

--Jo

IR

r!

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

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

r!

Corolrio

2.3.

Se

f: I

--Jo

IR

g: I

--Jo

IR

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

so funes contnuas em um intervalo gjf contnua em r.

Demonstrao.

Direta a partir do~ Teoremas 2.11 e 2.12.

Teorema 2.13. Se
a funo If I tambm

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, lim tp(f(x

temos que
x->c

= tp(f(c,

o que mostra que EXERCCIOS

1.

tp

contnua em c.

tervalo

I.

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

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

CAPo2

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

= f(x)

para todo

IR e todo

3.

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

= O, se

x for irracional.

Se x for raonde q

cional, tome a representao defina f(x) racionais.

de x por uma frao irredutivel que

L, q

> O,
nos

-l. q

Mostre

contnua

nos irracionais de Dirichlet,

e descontnua ver Se. 1.1).

(Compare

essa funo

com a funo

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

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.

f: I -->

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

I.

f(x)
co

<

= x2,
X

<

co,

definida em Ix I ::::;17, lipschitziana, no . D outros exemplos de fun-

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+

X-+l-

Se. 2.2, devidamente

adaptado

para limites laterais.)

2.6

FUNES CONTINUAS

EM INTERVALOS

FECHADAS

65

2.6. Funes Contnuas em Intervalos Fechados

superiormente

Uma funo f: A ~ IR definida em um subconjunto A dos reais li"Jitada se existir um nmero real M tal que
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). mitada inferiormente

Analogamente, uma funo f: A ---+ IR definida em um conjunto A se existir um nmero real N tal que
f(x) ~ N, para todo x E A.

C IR

li-

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;

f=-

(ii) inf (iii) inf (v) inf (vii) inf

f =O
f =O

e sup e

f = 1. sup f = 2.
f =+
O)

f =O
f =O

e sup e sup

f=+

-"\1
j

O)

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. [a. b]. Ento,
Lema 2.1.

f limitada.

Seja

f: [a, b]

--+ 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)

< f(r) +
f(xn)

1. nj.

Isto, porm, contradiz o fato de que

>

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

FUNES MONTONAS

67

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.

>

d. Ento,

Demonstrao.

Aplique o Lema 2.2 funo

g(x)

=-

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\

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.

f.

) ~

2.7.

Funes Montonas

Seja I: definies:

-c>

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

68

FUNES REAIS

CAPo2

f crescente se f(XI) f decrescente se f(XI) f no-decrescente f no-crescente

< f(X2),

para

Xl

<
Xl

X2 em I;

> f(X2), para

< X2
Xl

em I; em I;

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

?::

< X2

f(X2), para

Xl

< 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. Teorema 2.17. Uma funo no-decrescente f: I ~ tem limites laterais em todos os pontos de r.

valo

iR definida

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).

I,

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-)
s-;

acima que, se f no-decrescente

e c um

f(c) ~ f(c+)
IR,

Corolrio 2.4. Toda funo no crescente f: I --? tem limites laterais nos pontos de L

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,

3. Seja f: --+ IR uma funo real montona definida em um intervalo Mostre que o conjunto dos pontos de descontinuidade da enumervel ou fnito.

I.

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).

+ E] C 1.

2)

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

> O, tal que [c - E, a imagem do intervalo

70

FUNES REAIS

CAP.2

f crescente, segue-se que f(c -

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)

Teorema 2.18. Seja

I. Ento, a funo

f: I ---... IR uma funo contnua crescente em um intervalo IR tambm continua. inversa f-l: f(1) ---...

Primeiramente observamos que a funo inversa f-l :f(l) --+ IR Demonstrao. tambm crescente. Para provar o teorema, basta demonstrar as duas assertivas seguintes:
f(l),

(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(d).

j-l(yn)

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

rI: f(l)

uma funo contnua decrescente --+ IR tambm continua.

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

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

f: I

--J- IR

uma funo

contnua e injetiva definida em um

2.9

FUNES INJETlVAS DA RETA

71

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

< b.
(1.ii)

Sendo f injetiva, segue-se

(l.i)

f(a) <f(b);
E

f(a)

> f(b).

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

(2.i) f(a)

I, com a

<b<

e.

Provemos que um dos dois casos

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

Provemos que um dos dois

<f(d);

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

CAPo 2

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

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

> f(b).

2.10.

Funes Lineares Sejam a e b dois nmeros reais dados. A funo f: R -;. R, definida por

(1)

f(x)

= ax + b,

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
x;

= O.

Neste caso, j{x)

O,

e o grfico de

simplesmente o eixo

=f(XI),
(2)

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

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

FUNES LINEARES

73

Portanto, os pontos (x, y) do grfico de f(x) = ax so precisamente uma reta passando pela origem, cuja equao y = (IX, (/ > O.
3.a

os pontos

de

= ax
g(x)

< O.

uma reta passando

Como no caso anterior, podemos provar que o grfico de fex) pela origem, cuja equao y = (IX, com a < O.

Para o caso geral, f(x) = ax por b, no sentido

= ax + b,
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

contnua

tal que

+y) = f(x)

+ f(y),
da forma ax.

para todos x e y em

IR.

Prove que f linear, ou mais precisamente,

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 f

forma ax, o que em particular

implica que

f contnua.
ser infinito.

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

I~

I que pode

+ (1 -

)b) ~ f(a)

+ (l

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

CAP.2

4. Seja f: (a, b)

-)o

IR uma funo convexa.

f(c) - f(x)

Demonstre que

c-x

< f(d) - f(c) - d-c '

<c<
d.
-)o

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

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

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)?

I I