Funes
Reais
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)
= 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.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
3
T---'
(1. 2)
(- 2, 3/2) ,c----------,
I
I
I
,
,
-4
-3
-2
-1,
I
I
I
I
,
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
-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
g.2.6
v-;
v-;.
v7
46
89537 1O23
21
(vi)
52
FUNES REAIS
CAP.2
1
~/2
1/3
!/4
--_:_====:::J::~!
,
I
(Xl
Fig.2.7
.:1,
indicada
na Fig. 2.7.
2.2.
--io
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
(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+
= (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-
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
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
<
(~}
54
FUNES REAIS
CAPo2
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)
Para a funo
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,
= 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
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)
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.-
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
",-++ '"
ji()
x = O.
1
I = -,
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).
>O
> M,
",-++ '"
para x
> N,
dizemos
o>
Exemplo
pois f(x)
<-
f(x)
M, para x
<-
=-
5. f(x)
x3
no existe,
X.
",-++",
=-
tal que
:e---+c
4.
S. Sejaf: A -
C A para algum
Isto
c'
IR
<
Mostre que",-++
lim '" [~;
1.
c e algum d
2.3
57
Seja f:
IR --lo IR.
I<E
<E
para
> O,
para x, y ~ N.
=f(x) + g(x),
s(x)
para todo x E A, chamada a
S011Ul
= f(x)
g(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
58
FUNES REAIS
lim [f(x)
x~c+
(2)
+ g(x)] = x-4c+
lim f(x) +
=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+
(4)
X---+c
(5)
+ g(x)] =
= 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+
(7)
1.1m -- 1
x->c+ f(x)
1
lim f(x)
x--+c+
-=1
f(x)
1
limf(x)
x->c
2.3
OPERAES
59
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
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
=r
x--tc
lim [f(x)
x ....c
CXl,
=+
e lim g(x)
CXl
+ g(x)] = +
conforme r
>
ou r
CXl).
implicam
CXl
< O.
CXl)
->
00
IR
x ~ a.
x---t+oo
bux'"
CXl
CXl.
60
FUNES REAIS
Obsen'oo,
O "Teorema
CAPo2
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-~
.,-+()
~-l
(ii) .,->0
Um -----
1
3
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+)
= I(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).
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
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.
-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
I,
seguinte.
E.
62
FUNES REAIS
CAPo 2
= <p(f(x))
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.
contnuas f:
I-
I contnua.
IR e g:
I --i
IR e g:
--+
IR defi-
I -;.IR de-
2.5
OPERAES
63
Demonstrao.
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,
r!
Corolrio
2.3.
f: I
Se
IR
--Jo
g: I
--Jo
IR
Demonstrao.
Teorema 2.13. Se
If I tambm
a funo
f: I
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
= tp(f(c.
temos que
lim tp(f(x
x->c
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)]
64
FUNES REAIS
= f(x)
3.
= O, se
-l.
q
defina f(x)
racionais.
(Compare
Mostre
para todo
x for irracional.
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
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
f(x)
co
<
= x2,
X
<
I.
co,
11. Seja
em I.
Mostre
Io
adaptado
X-+l-
2.6
FUNES CONTINUAS
EM INTERVALOS
65
FECHADAS
superiormente
(I)
C IR
li-
mitada inferiormente
o nfimo
de f, que se designa por inff, definido como sendo o nfimo do conjunto fl.A).
(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.
Seja
f: [a, b]
f limitada.
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.
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).
I. Suponha que,
O
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
Demonstrao.
g(x)
=-
>
d. Ento,
f(x).
EXERCCIOS
1. Seja f:
para qualquer
[O, 1] ---?
E [O, 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>
)
~
68
FUNES REAIS
f crescente se f(XI)
< f(X2),
f no-crescente
<
Xl
f decrescente se f(XI)
f no-decrescente
para
X2 em I;
< X2
Xl
?::
f(X2), para
CAPo2
Xl
Xl
em I;
< X2
em I;
< X2 em
I.
valo
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).
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-;
e c um
f(c) ~ f(c+)
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.
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.
Sugesto.
Funes como f(x)
para todo x E IR, podem ajudar.
=-
l/x
para
x>
O,
e g(x) ~1/(I
+ x2),
Seja
Seja agora c um ponto do interior de I.
Pela primeira parte deste teorema, j provada,
+ E] C 1.
70
FUNES REAIS
CAP.2
E, C
+ E)
Ento, a funo
f(l),
j-l(yn)
--+ f-l(d).
Ento, a funo
f: I -+ IR
inversa
rI: f(l)
em um inter-
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.
f: I
--J- IR
uma funo
2.9
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.
(1.ii)
I, com a
<b<
f(a)
> f(b).
e.
(2.ii)
f(a)
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
<f(d);
f(a)
f(a)
(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),
<
72
FUNES REAIS
CAPo2
2.10.
> f(b).
Funes Lineares
Sejam a e b dois nmeros reais dados.
(1)
= 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.
O,
e o grfico de
simplesmente o eixo
x;
=f(XI),
(2)
p
Fig.2.9
2.10
73
FUNES LINEARES
3.a
= ax
g(x)
< O.
os pontos
de
= 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
para todos x e y em
contnua
+y) = f(x)
tal que
+ f(y),
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
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
c-x
CAP.2
Demonstre que
d.
-)o
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)?