Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.

NA 8
Notas de Aula 8 Extens oes do Conceito de
Limite de Funcao. Func oes Monotonas.
Introducao
Nestas Notas de Aula - NA, estudam-se algumas extens oes do conceito
limite de uma funcao. A saber, limites `a esquerda e `a direita, limites innitos
e no innito. Alem disso, estudam-se as funcoes monotonas e algumas de suas
propriedades relacionadas com a existencia de limites.
Limites Laterais
Denicao 8.1 Seja f : X R R uma fun cao.
(i) Seja x
0
R um ponto de acumulacao do conjunto X (x
0
, +) =
{x X : x > x
0
}. Diz-se que L R e limite `a direita de f em x
0
e
escreve-se
lim
xx
0
+
f = L ou lim
xx
0
+
f(x) = L
quando dado > 0 n umero real arbitrario, existe um = () > 0 tal
que para todo x X, se 0 < x x
0
< entao |f(x) f(x
0
)| < .
(ii) Seja x
0
R um ponto de acumulacao do conjunto X (, x
0
) =
{x X : x < x
0
}. Diz-se que L R e limite `a esquerda de f em x
0
e
escreve-se
lim
xx
0

f = L ou lim
xx
0

f(x) = L
quando, para qualquer n umero real > 0, existe um = () > 0 tal
que para todo x X, se 0 < x
0
x < entao |f(x) L| < .
Os limites lim
xx
0
+
f(x) e lim
xx
0

f(x) sao denominados limites unilaterais

ou simplesmente limites laterais de f em x
0
.
Como o limite lateral de uma funcao f num ponto de acumulacao lateral
(`a direita e/ou `a esquerda) x
0
de seu domnio X, nada mais e que o limite da
restri cao f|
X(x
0
,+)
da funcao f ao conjunto X(x
0
, +) no ponto x
0
, segue
que todas as propriedades e proposicoes validas para o limite usual de uma
fun cao valem tambem para os limites laterais, com as devidas adaptacoes.
Em particular, os limites laterais sao unicos e valem os resultados sobre
operacoes com limites, desigualdades, o criterio sequencial, etc.
1
CEDERJ
Elementos
de
An alise
Real
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
Por exemplo, o criterio sequencial para limite lateral ` a direita tem o
seguinte enunciado.
Teorema 8.1 Sejam f : X R R e x
0
R um ponto de acumulacao de
X (x
0
, +). Ent ao lim
xx
0
+
f(x) = L se, e somente se, para toda sequencia
(x
n
)
nN
em X (x
0
, +), se (x
n
)
nN
converge para x
0
entao a sequencia
(f(x
n
))
nN
converge para L.
Prova: Exerccio! Note que devem ser consideradas neste caso somente as
sequencias (x
n
)
nN
de pontos de X (estritamente) maiores que x
0
.
O pr oximo resultado, conhecido desde o curso de C alculo, relaciona
a existencia do limite de uma funcao num ponto `a existencia de ambos os
limites laterais. Sua prova e imediata a partir dos criterios sequenciais para
existencia dos limites envolvidos - ou, a partir das pr oprias deni coes, ` a
escolha. De todo modo, constitui-se num simples e excelente exerccio de
redacao e compreensao dos conceitos estudados.
Teorema 8.2 Sejam f : X R R e x
0
R um ponto de acumulacao de
ambos os conjuntos X (x
0
, +) e X (, x
0
). Entao lim
xx
0
f(x) = L se,
e somente se, lim
xx
0
+
f(x) = L e lim
xx
0

f(x) = L.
Prova: Exerccio!
Exemplo 8.1 (a) A fun cao f(x) := sgn(x) (veja Exemplo 7.8 (b)) e um
exemplo de fun cao que possui ambos os limites laterais em x
0
:= 0, mas
cujos valores sao distintos. Por este motivo nao existe o limite de f em
x
0
= 0 pois, como f|
(0,+)
1 e f|
(,0)
1, entao lim
x0+
f(x) = 1
e lim
x0
f(x) = 1. O fato de nao existir o limite da fun cao sgn em 0
ja foi visto tambem no Exemplo 7.8 (b).
(b) Considere a fun cao f(x) := e
1/x
, para x = 0, cujo graco pode ser visto
na Figura 8.1. Inicialmente, sera mostrado que a fun cao f nao tem
limite `a direita em x
0
= 0. ja que nao e limitada em nenhum intervalo
do tipo (0, ) com > 0. Para isto usa-se a desigualdade
0 < t < e
t
para todo real t > 0, ()
a qual sera provada mais tarde por meio do Teorema do Valor Medio
para derivadas.
CEDERJ
2
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
NA 8
x
1
Figura 8.1: f : x R

f(x) = e
1/x
.
De fato, segue de () que se x > 0 entao 0 < 1/x < e
1/x
. Logo,
tomando-se x
n
= 1/n para n N, tem-se que x
n
0 quando n ,
mas f(x
n
) = e
n
> n para todo n N; ou seja, existe sequencia em R

(0, +) que converge para 0 pela direita mas cuja sequencia de imagens
e ilimitada, e portanto, divergente. Isto mostra, pelo Teorema 8.1,
que lim
x0+
e
1/x
nao existe (note que pequena modicacao no raciocnio
acima permite concluir que f nao e limitada em nenhum intervalo do
tipo (0, ) com > 0, outra maneira de mostrar que f nao tem limite
lateral `a direita em x
0
= 0).
No entanto, lim
x0
e
1/x
= 0. De fato, seja x < 0 um n umero real ar-
bitrario; como 1/x > 0 pode-se usar () para obter 0 < 1/x < e
1/x
.
Da segue que 0 < e
1/x
< x. Conclui-se entao que para todo x < 0
vale 0 < e
1/x
< x. Logo pela Proposicao 7.6, tem-se lim
x0
e
1/x
= 0.
(c) Seja g(x) := 1/(e
1/x
+ 1) para x = 0. De () do item (b) tem-se que
0 < 1/x < e
1/x
para todo real x > 0 e consequentemente
0 <
1
e
1/x
+ 1
<
1
e
1/x
< x para todo x > 0 ,
o que implica que lim
x0+
g(x) = 0. Por outro lado, tambem do item (b)
tem-se que lim
x0
e
1/x
= 0. Segue entao do analogo do Teorema 7.3 para
limites laterais que
lim
x0

1
e
1/x
+ 1

=
1
lim
x0
e
1/x
+ 1
=
1
0 + 1
= 1.
3
CEDERJ
Elementos
de
An alise
Real
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
x
1
1
2
g : x R

g(x) = 1/(e
1/x
+ 1).
Ou seja, para esta fun cao g existem ambos os limites laterais em x
0
= 0,
mas seus valores sao distintos. Portanto, o limite de g em x
0
= 0 nao
existe.
Limites Innitos
Denicao 8.2 Sejam f : X R R e x
0
R um ponto de acumulacao
de X.
(i) Diz-se que f tende a + quando x x
0
e denota-se por
lim
xx
0
f(x) = +,
quando para todo n umero real M > 0, existe n umero real = (M) > 0
tal que, para todo x X, se 0 < |x x
0
| < entao f(x) > M.
(ii) Diz-se que f tende para quando x x
0
e escreve-se
lim
xx
0
f = ,
quando para todo M > 0 existe = (M) tal que para todo x X, se
0 < |x x
0
| < entao f(x) < M.
Exemplo 8.2 Para uma melhor compreensao, acompanhe os exemplos pelos
gracos das fun coes na gura abaixo:
(a) lim
x0
1
x
2
= +. De fato, para M > 0 tome := 1/

M. Segue que se
x R

e 0 < |x| < entao x

2
< 1/M, e assim 1/x
2
> M, o que prova
a arma cao.
CEDERJ
4
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
NA 8
g(x) =
1
x f(x) =
1
x
2
x
x
Figura 8.2: f : R

+
e g : R

.
(b) Seja g(x) := 1/x para x = 0. Chamando g
1
:= g|
(0,+)
e g
2
:= g|
(,0)
tem-se lim
x0
g
1
(x) = + e lim
x0
g
2
(x) = . Em particular, g nao
tende nem a +, nem a , e nem possui limite quando x 0. De
fato, que vale lim
x0
g
1
(x) = + e lim
x0
g
2
(x) = decorre dos seguin-
tes raciocnios (realizados para as duas situacoes simultaneamente, por
brevidade): para M > 0 xado, tomando-se := 1/M vem que, se
x (0, +) e 0 < x < entao g
1
(x) > M, e se x (, 0) e
< x < 0 entao g
2
(x) < M, o que prova que lim
x0
g
1
(x) = + e
lim
x0
g
2
(x) = , respectivamente.
O fato de + e nao serem n umeros reais faz com que a nocao de
limites innitos nao possa ser tratada da mesma forma que a nocao usual
de limite de uma funcao. Em particular, os resultados sobre operacoes com
limites e sobre desigualdades nao se estendem em geral aos limites innitos,
No entanto, alguns resultados podem ser provados quando hip oteses adicio-
nais, que evitam o surgimento de expressoes indeterminadas envolvendo os
smbolos , sao introduzidas.
A seguir, um resultado de comparacao para limites innitos.
Teorema 8.3 Sejam f, g : X R R e x
0
R um ponto de acumulacao
de X. Suponha que f(x) g(x) para todo x X com x = x
0
.
(i) Se lim
xx
0
f(x) = + entao lim
xx
0
g(x) = +.
(ii) Se lim
xx
0
g(x) = entao lim
xx
0
f(x) = .
Prova: (i) Se lim
xx
0
f(x) = + e M > 0 e dado entao existe = (M) > 0
tal que, se 0 < |xx
0
| < e x X entao f(x) > M. Mas como f(x) g(x)
5
CEDERJ
Elementos
de
An alise
Real
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
para todo x X com x = x
0
tem-se que, se 0 < |x x
0
| < e x X entao
g(x) > M. Logo, lim
xx
0
g = +.
(ii) Segue de modo inteiramente similar a (i).
No Exemplo 8.2 (b), viu-se que a funcao g(x) := 1/x nao tende nem a
+nem a quando x 0, porem as restri coes de g a (0, +) e (, 0)
tendem a + e , respectivamente, quando x 0. Ou seja, assim como
a existencia do limite nito esta condicionada `a existencia dos dois limites
laterais nitos, a ocorrencia de limite innito em um ponto de acumulacao do
domnio esta condicionada `a ocorrencia de limites innitos laterais do mesmo
tipo. Formalizam-se estas ideias a seguir.
Denicao 8.3 Sejam f : X R R e x
0
R um ponto de acumulacao
de X (x
0
, +). Diz-se que f tende a + (respectivamente, ) quando
x x
0
+, e denota-se
lim
xx
0
+
f(x) = + (respectivamente, lim
xx
0
+
f(x) = )
quando para todo M > 0 existe = (M) > 0 tal que para todo x X, se
0 < x x
0
< entao f(x) > M (respectivamente, f(x) < M).
Analogamente, se x
0
R e um ponto de acumulacao de X (, x
0
),
diz-se que f tende a +(respectivamente, ) quando x x
0
, e denota-
se
lim
xx
0

f(x) = + (respectivamente, lim

xx
0

f(x) = ),
quando para todo M > 0 existe = (M) > 0 tal que para todo x X, se
0 < x
0
x < entao f(x) > M (respectivamente, f(x) < M).
Exemplo 8.3 (a) Seja g(x) := 1/x para x = 0. Como ja visto no Exem-
plo 8.2 (b), g|
(0,+)
tende a + quando x 0 e g|
(,0)
tende a
quando x 0. Isso e equivalente a
lim
x0+
g(x) = lim
x0+
1
x
= + e lim
x0
g(x) = lim
x0
1
x
= .
(b) No Exemplo 8.1 (b), viu-se que a fun cao f(x) := e
1/x
para x = 0,
nao e limitada em nenhum intervalo da forma (0, ) com > 0. Em
particular, mostrou-se que o limite lateral de f(x) = e
1/x
quando x
0+, no sentido da Denicao 8.1, nao existe. Contudo, como
1
x
< e
1/x
para todo x > 0,
tem-se que lim
x0+
e
1/x
= + no sentido da Denicao 8.3 - para ver
isto, basta usar o item (a) anterior e o analogo do Teorema 8.3 para
CEDERJ
6
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
NA 8
limites laterais innitos (veja Exerccio 1). Reveja o Exemplo 8.1 para
convencer-se que o fato de nao existir o limite de uma fun c ao num
ponto no sentido da Denicao 8.1 nao implica necessariamente que se
tenha limite innito neste ponto - situacao em que se diz tambem que
o limite nao existe, visto que innito nao e n umero real).
Limites no Innito
Denicao 8.4 Seja f : X R R, onde X e conjunto ilimitado superior-
mente. Diz-se que L R e limite de f(x) quando x +, e denota-se
lim
x+
f(x) = L
quando, para qualquer n umero real > 0 existe n umero real K = K() > 0
tal que, para todo x X, se x > K entao |f(x) L| < .
Analogamente, se X e um conjunto ilimitado inferiormente, diz-se que
L R e limite de f quando x , e denota-se
lim
x
f(x) = L
quando, dado > 0 existe K = K() > 0 tal que, para todo x X, se
x < K entao |f(x) L| < .
Note que o limite de uma sequencia e um caso particular de limite
no innito para o caso de uma funcao denida em X = N. O limite de
uma funcao no innito possui todas as propriedades do limite de uma funcao
quando x tende a um ponto de acumulacao do seu domnio. Assim, valem a
unicidade dos limites lim
x+
f(x), lim
x
f(x), os resultados sobre as operacoes
com limites, desigualdades, etc.
Em particular, o criterio sequencial para limites no innito e dado pelo
Teorema 8.4 Sejam f : X R R e (a, +) X para algum a R.
Entao, L = lim
x+
f(x) se, somente se, para toda sequencia (x
n
)
n
em (a, +)
tal que limx
n
= + implicar que a sequencia (f(x
n
))
n
converge a L.
Prova: Exerccio! O enunciado e a prova do resultado para o limite quando
x seguem de forma analoga e cam como exerccio.
Exemplo 8.4 (a) lim
x+
1
x
= 0 = lim
x
1
x
. Com efeito, dado > 0, se
x > 1/ entao |1/x| = 1/x < . Isto prova que lim
x+
1
x
= 0. Por
outro lado, se x < 1/ entao |1/x| = 1/x < , o que prova que
7
CEDERJ
Elementos
de
An alise
Real
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
lim
x
1
x
= 0.
(b) lim
x+
1
x
2
= 0 = lim
x
1
x
2
. Com efeito, dado > 0, se x > 1/

entao |1/x
2
| = 1/x
2
< . Tambem, dado > 0, se x < 1/

entao
|1/x
2
| = 1/x
2
< . Estas arma coes estabelecem ambos os limites.
Tambem para o caso de limites em tem-se a deni cao de limites
innitos, analoga `a Denicao 8.2.
Denicao 8.5 Seja f : X R R onde X e um conjunto ilimitado
superiormente. Diz-se que f(x) tende a + (respectivamente, ) quando
x +, e escreve-se
lim
x+
f(x) = + (respectivamente, lim
x+
f(x) = )
quando dado M > 0 existe K = K(M) > 0 tal que, para todo x X, se
x > K entao f(x) > M (respectivamente, f(x) < M).
Analogamente, se X e conjunto ilimitado inferiormente, diz-se que f(x)
tende a + (respectivamente, tende a ) quando x , e escreve-se
lim
x
f(x) = + (respectivamente, lim
x
f(x) = )
quando, para qualquer que seja o n umero real M > 0, existe K = K(M) > 0
tal que, para todo x X, se x < K entao f(x) > M (respectivamente,
f(x) < M).
O resultado a seguir e um analogo do Teorema 5.9.
Teorema 8.5 Sejam f, g : (a, +) R R, onde a R e xo. Suponha
tambem que g(x) > 0 para todo x > a e que para algum L R com L = 0 se
tenha
lim
x+
f(x)
g(x)
= L.
(i) Se L > 0 entao lim
x+
f(x) = + se, e somente se, lim
x+
g(x) = +.
(ii) Se L < 0 entao lim
x+
f(x) = se, e somente se, lim
x+
g(x) = +.
Prova: (i) Sendo L > 0 entao L/2 > 0. Da, usando-se a Denicao 8.5 para
o caso particular de L/2, existe K > 0, tal que, para todo x (a, +), se
x > K entao (verique!)
0 <
1
2
L
f(x)
g(x)
<
3
2
L.
CEDERJ
8
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
NA 8
Portanto, como g(x) > 0 para todo x > a entao tem-se (
1
2
L)g(x) < f(x) <
(
3
2
L)g(x) para todo x > K, de onde segue a conclusao.
A prova de (ii) e semelhante.
Ha resultados analogos quando x ou quando x x
0
e x
0
e
um ponto de acumulacao de X, bem como resultados correspondentes para
limites laterais.
Exemplo 8.5 (a) lim
x+
x
n
= + para todo n N xo. De fato, dado
qualquer M > 0, se x > K := max{1, M} entao x
n
> x > M, o que
prova a arma cao.
(b) lim
x
x
n
= + se n N e n e par, e lim
x
x
n
= se n N e n e
mpar. De fato, considera-se o caso em que n e mpar. Entao pode-se
escrever n = 2k +1 para algum k N{0}. Dado M > 0, tome K :=
max{M, 1}. Tem-se K > 0. Se x R e x < K = min{1, M},
entao, em particular, x < 1. Da, como (x
2
)
k
> 1 e x < 0 tem-se
que x
n
= (x
2
)
k
x < x < M. Como M > 0 e arbitrario, segue que
lim
x
x
n
= , quando n N e mpar.
O caso em que n e par e mais simples e ca como exerccio.
Funcoes Monotonas
Denicao 8.6 Diz-se que f : X R R e nao-decrescente em X se
x
1
x
2
implica f(x
1
) f(x
2
) para x
1
, x
2
X. A fun cao f e dita crescente
em X se x
1
x
2
implica f(x
1
) < f(x
2
) para x
1
, x
2
X. Similarmente,
f : X R R e nao-crescente em X se x
1
x
2
implica f(x
1
) f(x
2
)
para x
1
, x
2
X. A fun cao f e dita decrescente em X se x
1
x
2
implica
f(x
1
) > f(x
2
) para x
1
, x
2
X.
Se f : X R R e nao-decrescente ou nao-crescente diz-se que ela
e monotona. Se f e crescente ou decrescente diz-se que ela e estritamente
monotona.
Exemplo 8.6 As fun cao f : R R e f : R R denidas por f(x) = x
3
e g(x) = x sao monotonas estritamente crescentes e as fun coes f e g
sao estritamente decrescentes. A fun cao h : R R tal que h(x) = x
2
nao
e monotona pois, por exemplo, x
1
= 3 x
2
= 2 mas h(x
1
) = 9 > 4 =
h(x
2
). Mas as restricoes h|
(0,+)
e h|
(,0])
sao, respectivamente, monotona
9
CEDERJ
Elementos
de
An alise
Real
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
decrescente e monotona crescente. As fun coes constantes sao monotonas
(nao crescentes e nao decrescentes).
Note que se f : X R e nao-decrescente entao g := f e nao-
crescente. Da mesma forma, se f : X R e nao-crescente entao g := f e
crescente. Portanto, a seguir, enunciam-se os resultados apenas para funcoes
nao-decrescentes.
O pr oximo resultado mostra que as funcoes monotonas, quando de-
nidas em intervalos, sempre possuem ambos os limites laterais (nitos) em
todos os pontos do seu domnio, que nao sejam os extremos do intervalo.
Nestes ultimos sempre existem os limites laterais correspondentes.
Proposicao 8.1 Sejam I R um intervalo e f : I R nao-decrescente
em I. Suponha que x
0
I nao e um extremo de I. Entao
(i) lim
xx
0

f(x) = sup{f(x) : x I, x > x

0
},
(ii) lim
xx
0
+
f(x) = inf{f(x) : x I, x < x
0
}.
No caso em que x
0
I e um extremo de I entao existe o limite lateral
correspondente: `a direita, se x
0
e um extremo `a esquerda, e `a esquerda, se
x
0
e um extremo `a direita.
Prova: (i) Por hipotese, se x I e x < x
0
entao f(x) f(x
0
). Portanto, o
conjunto A := {f(x) : x I, x < x
0
} e limitado superiormente por f(x
0
),
e nao-vazio ja que x
0
nao e um extremo (`a esquerda) de I. Logo, existe
L := sup{f(x) : x I, x > x
0
}. Resta mostrar que lim
xx
0

f(x) = L. De
fato, seja > 0 dado. Entao, por deni cao de supremo, L nao e cota
superior de A. Assim, existe x

I com x

< x
0
tal que L < f(x

) L.
Seja := x
0
x

. Se 0 < x
0
x < entao x

< x < x
0
. Da, como f e
nao-decrescente entao
L < f(x

) f(x) L.
Portanto, se 0 < x
0
x < entao |f(x) L| < . Logo, (i) e verdade.
A demonstracao de (ii) bem como a do caso em que x
0
e um extremo
de I sao inteiramente analogas.
Exerccios 8.1 1. Sejam f, g : X R R e x
0
R um ponto de
acumulacao de X (x
0
, +). Suponha que f(x) g(x) para todo
x X com x > x
0
. Mostre que:
CEDERJ
10
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
NA 8
(i) se lim
xx
0
+
f(x) = + entao lim
xx
0
+
g(x) = +.
(ii) se lim
xx
0
+
g(x) = entao lim
xx
0
+
f(x) = .
2. Enuncie e demonstre o analogo do Exerccio 1 para o caso do limite
lateral innito `a esquerda de um ponto de acumulacao `a esquerda do
domnio de uma fun cao.
3. Sejam f, g : X R, onde f e contnua em x
0
e x
0
e um ponto de acu-
mula cao de X(x
0
, +) e de X(, x
0
). Prove que lim
xx
0
+
(fg)(x) e
lim
xx
0

(fg)(x) existem se, e somente se, lim

xx
0
+
g(x) e lim
xx
0

g(x) existem
e, nesse caso,
lim
xx
0

(fg)(x) = f(x
0
) lim
xx
0

g(x).
4. Prove que se n e par, lim
x0+
1
x
n
= +, lim
x0
1
x
n
= +, e se n e mpar,
lim
x0+
1
x
n
= + e lim
x0
1
x
n
= .
5. Prove que lim
x0
|x|
1/n
= + para todo n N.
6. Diga se existem ou nao os limites abaixo e, em caso positivo, determine
seu valor:
(a) lim
x1+
x
x 1
(x = 0).
(b) lim
x0
(

x + 1)/x (x > 1).

(c) lim
x0+
(

x + 1)/x (x > 1).

(d) lim
x+

x/

x + 2 (x > 2).
(e) lim
x
(

|x| x)/(

|x| + x) (x < 0).

7. Mostre que lim
x1
x
2
x
2
1
= e lim
x1+
x
2
x
2
1
= +.
8. Suponha que f(x) e g(x) tem limites em R quando x + e que
f(x) g(x) para todo x (a, +), onde a R e xado. Prove que
lim
x+
f(x) lim
x+
g(x).
9. Mostre que se f : (a, +) R e tal que lim
x+
xf(x) = L, com L R,
entao lim
x+
f(x) = 0.
10. Sejam f e g denidas em (a, +) e suponha que lim
x+
f(x) = L e
lim
x+
g(x) = +. Prove que lim
x+
(f g)(x) = L.
11
CEDERJ
Elementos
de
An alise
Real
Extensoes do Conceito de Limite de Fun cao. Fun c oes Monotonas.
11. Se I := [a, b] e f : I R e uma fun cao nao-decrescente, entao o
ponto a (respectivamente, b) e um ponto de mnimo (respectivamente,
maximo) absoluto para f em I. Se f e crescente entao a (respecti-
vamente, b) e o unico ponto de mnimo (respectivamente, maximo)
absoluto.
12. Se f e g sao fun coes nao-decrescentes num intervalo I R, mostre
que f +g e uma fun cao nao-decrescente em I. Se f e g sao crescentes
em I entao f + g e crescente em I.
13. Verique que ambas as fun coes f(x) := x e g(x) := x1 sao crescentes
em [0, 1], mas seu produto fg nao e sequer uma fun cao monotona em
[0, 1].
14. Mostre que se f e g sao fun coes positivas e nao-decrescentes num in-
tervalo I, entao seu produto fg e nao-decrescente em I.
15. Sejam f, g fun coes nao-decrescentes num intervalo I R e seja f(x) >
g(x) para todo x I. Se y f(I) g(I), mostre que f
1
(y) < g
1
(y).
[Dica: Primeiro faca o esboco de uma representa cao graca para essa
situacao.]
16. Seja I := [0, 1] e seja f : I R denida por f(x) := x se x e racional,
e f(x) := 1 x se x e irracional. Mostre que f e injetiva em I e que
f(f(x)) = x para todo x I. Portanto, f e inversa de si mesma!.
Mostre que f e contnua somente em x
0
= 1/2.
CEDERJ
12