Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
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
1
~/2 1/3
!/4
--_:_====:::J::~! ,
I
(Xl
Fig.2.7
.:1,
indicada
2.2.
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-
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
<
(~}
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.
existir.
(iv), f(l
+)
(v), temos
Ix2
-
= 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
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
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
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
>
L ogo, l'1m
3. f(x)
= --- x
+1
",-++ '"
para x >
O.
I = -, 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).
>O
> M,
",-++ '"
para x
> N,
dizemos
Exemplo
5. f(x)
X.
=-
x3
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.
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
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
> 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
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:
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),
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+
lim 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
= 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
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).
=r
x ....c
e lim g(x)
x--tc
=+
CXl
implicam
lim [f(x)
+ g(x)] = +
>
O
CXl
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
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
Vlh-~
X
=
1
3
~-l
(ii) .,->0 Um -----
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
= l/x
=O =
para x ~ O
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.
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
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))
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-
I contnua.
I --i
IR e g:
I -;.IR de-
2.5
OPERAES
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.
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!
r!
Corolrio
2.3.
Se
f: I
--Jo
IR
g: I
--Jo
IR
Demonstrao.
Teorema 2.13. Se
a funo If I tambm
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
x->c
= tp(f(c,
tp
contnua em c.
tervalo
I.
= 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.
= O, se
x for irracional.
Se x for raonde q
L, q
> O,
nos
-l. q
Mostre
contnua
(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,
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-
adaptado
2.6
FUNES CONTINUAS
EM INTERVALOS
FECHADAS
65
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=-
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]
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.
>
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).
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
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.
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.
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>
68
FUNES REAIS
CAPo2
< f(X2),
para
Xl
<
Xl
X2 em I;
< X2
Xl
em I; em I;
< 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-;
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.
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.
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
=-
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,
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: 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
f: I -+ IR
inversa
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).
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:
< b.
(1.ii)
(l.i)
f(a) <f(b);
E
f(a)
> f(b).
I, com a
<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.
I, com a
<f(d);
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),
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
> 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.
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.
Como no caso anterior, podemos provar que o grfico de fex) pela origem, cuja equao y = (IX, com a < O.
= ax + b,
vertical.
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
contnua
tal que
+y) = f(x)
+ f(y),
da forma ax.
para todos x e y em
IR.
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
tal que
+ y) = f(x) + f(y)
f da f
implica que
f contnua.
ser infinito.
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
Demonstre que
c-x
5. Demonstre que toda funo convexa f: (a, b) valo aberto (a, b), contnua.
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