1

Soluc oes dos Exerccios

Captulo 1
1.1-
a) Suponha que x +y / QR. Entao x +y R ou y = r x. Da, y Q, pois
r x Q, o que contradiz a hipotese de que y QR.
b) Suponha que xy / R Q. Entao xy = r Q ou y =
r
x
. Da, y Q, pois
r
x
Q o que condradiz a hipotese de que y QR.
c) Temos:
y = y 1 = y x
1
x
= xy
1
x
= 0
1
x
= 0 y = 0
d) Temos:
(

y)
2
0, x 0 e y 0
Logo:
(

y)
2
= x 2

y +y = x +y 2

y 0
x +y 2

xy

xy
x +y
2
e) Temos:
[a b[ = [a + (b)[ [a[ +[ b[ = [a[ +[ 1 b[ = [a[ +[ 1[[b[ = [a[ +[b[
[a b[ [a[ +[b[, a, b R
f ) Temos:
[a[ = [a b +b[ [a b[ +[b[
[a[ [b[ [a b[ (1)
Por outro lado,
[b[ = [ 1[[b[ = [ b[ = [ a +a b[ = [a b a[ [a b[ +[a[
[a b[ [a[ [b[ (2)
Por (1) e (2) segue que:
[a b[ [a[ [b[ [a b[
ou equivalentemente:
[[a[ [b[[ [a b[, a, b R
2
g) Temos:
[a[ = [a +b b[ [a +b[ +[b[ [a[ [b[ [a +b[
[a +b[ [a[ [b[, a, b R
h) Basta mostrar que:
[a[
1 +[b[
+
[b[
1 +[b[

[a +b[
1 +[a +b[
0, a, b R
De fato,
[a[
1 +[b[
+
[b[
1 +[b[

[a +b[
1 +[a +b[
=
=
[a[(1 +[b[)(1 +[a +b[) +[b[(1 +[a[)(1 +[a +b[) [a +b[(1 +[a[)(1 +[b[)
(1 +[a[)(1 +[b[)(1 +[a +b[)
Note que,
[a[(1 +[b[)(1 +[a +b[) +[b[(1 +[a[)(1 +[a +b[) [a +b[(1 +[a[)(1 +[b[) =
= [a[ +[a[[a +b[ +[a[[b[ +[a[[b[[a +b[ +[b[ +[b[[a +b[ +[a[[b[ +[a[[b[[a +b[
[a +b[ [b[[a +b[ [a[[a +b[ [a[[b[[a +b[
= [a[ +[b[ + 2[a[[b[ +[a[[b[[a +b[ [a +b[
Da,
[a[
1 +[b[
+
[b[
1 +[b[

[a +b[
1 +[a +b[
=
[a[ +[b[ + 2[a[[b[ +[a[[b[[a +b[ [a +b[
(1 +[a[)(1 +[b[)(1 +[a +b[)

[a[ +[b[ + 2[a[[b[ +[a[[b[[a +b[ [a[ [b[

(1 +[a[)(1 +[b[)(1 +[a +b[)
=
=
2[a[[b[ +[a[[b[[a +b[
(1 +[a[)(1 +[b[)(1 +[a +b[)
0

[a[
1 +[b[
+
[b[
1 +[b[

[a +b[
1 +[a +b[
0 a, b R
1.2-
a) Se a < b entao, maxa, b = b. Logo:
a < b a b < 0 [a b[ = (a b) = b a [a b[ = b a +b b
[a b[ +a +b = 2b b =
1
2
a +b +[a b[
Se a > b entao, maxa, b = a. Logo:
a > b a b > 0 [a b[ = a b [a b[ = a b +a a
[a b[ +a +b = 2a a =
1
2
a +b +[a b[
3
Se a = b entao, maxa, b = c, com c = a = b. Logo:
a = b a b = 0 [a b[ = a b [a b[ = a b +a a
[a b[ +a +b = 2a a =
1
2
a +b +[a b[ c =
1
2
a +b +[a b[
Portanto maxa, b =
1
2
a +b +[a b[.
b) Analoga.
1.3- i) Se n = 2, pela desigualdade triangular, temos:
[a
1
+a
2
[ [a
1
[ +[a
2
[, a
1
, a
2
R
ii) Agora, suponha que
[a
1
+a
2
+. . . +a
n
[ [a
1
[ +[a
2
[ +. . . +[a
n
[ (3)
e verdadeira para n, e mostremos que a mesma e satisfeita para n + 1. De fato,
[a
1
+a
2
+. . . +a
n
+a
n+1
[ = [(a
1
+a
2
+. . . +a
n
)+a
n+1
[ [a
1
+a
2
+. . . +a
n
[ +[a
n+1
[
Pela hipotese de inducao temos:
[a
1
+a
2
+. . . +a
n
+a
n+1
[ [a
1
[ +[a
2
[ +. . . +[a
n
[ +[a
n+1
[
Portanto, (3) e valida para todo n N.
1.4- i) Se n = 1 temos:
(1 +x)
1
= 1 +x 1 + 1x
ii) Agora admitamos que
(1 +x)
n
1 +nx (4)
e verdadeira para n. Multiplicando ambos os lados de (4) por 1 +x, teremos:
(1 +x)
n+1
(1 +x)(1 +nx) = 1 +nx +x +nx
2
=
= 1 + (n + 1)x +nx
2
1 + (n + 1)x, pois nx
2
0
Portanto, pelo Princpio de Inducao (1 +x)
n
1 +nx, n N, x 1.
1.5- i) Para n = 1 temos:
(1 +x)
1
= 1 +x 1 + 1 x + 0 x
2
= 1 + 1 x +
1(1 1)
2
x
2
4
ii) Agora, suponha que
(1 +x)
n
1 +nx +
n(n 1)
2
x
2
(5)
e verdadeira para n e mostremos que a mesma vale para n + 1. De fato,
(1 +x)
n+1
= (1 +x)
n
(1 +x)
Pela hipotese de inducao temos:
(1 +x)
n+1

_
1 +nx +
n(n 1)
2
x
2
_
(1 +x) =
= 1 +x +nx +nx
2
+
n(n 1)
2
x
2
+
n(n 1)
2
x
3
=
= 1 + (n + 1)x +
_
n +
n(n 1)
2
_
x
2
+
n(n 1)
2
x
3
=
= 1 + (n + 1)x +
_
n +n
2
2
_
x
2
+
n(n 1)
2
x
3
=
= 1 + (n + 1)x +
(n + 1)n
2
x
2
+
n(n 1)
2
x
3
=
= 1 + (n + 1)x +
(n + 1)(n + 1 1)
2
x
2
+
n(n 1)
2
x
3

1 + (n + 1)x +
(n + 1)(n + 1 1)
2
x
2
Portanto, (5) e valida para todo n N.
1.6- De fato, pela propriedade arquimediana de R temos que: dado > 0 em R,
existe N N tal que
N > 1 >
1
N

1
N
<
1.7- Suponha que nao existisse x S tal que y > x m
0
para cada y > m
0
.
Entao teramos y x x S, isto e, y seria uma cota inferior para S. Mas
y > m
0
, o que contradiz o fato de m
0
ser o nmo de S. Portanto, para cada
y > m
0
, existe x S tal que y > x m
0
.
1.8- a) (Existencia) Temos:
b = b 1 = b
a
a
= a
b
a
a
b
a
= b
Logo, x =
b
a
satisfaz ax = b, e esta provada a existencia.
5
(Unicidade) Suponha que exista y R tal que ay = b. Entao:
y = 1 y =
a
a
y =
1
a
ay =
1
a
b =
b
a
y =
b
a
Logo ax = b possui solucao unica em R.
b) Analoga.
1.9- i) Se n = 1 temos x y = x y.
ii) Adimitamos que
x
n
y
n
= (x y)(x
n1
+x
n2
y +. . . +x
nj
y
j1
+. . . +xy
n2
+y
n1
)
e verdade para n e mostremos a igualdade para n + 1. De fato,
x
n+1
y
n+1
= x
n
x y
n
y = x
n
x x
n
y +x
n
y y
n
y
= x
n
(x y) + (x
n
y
n
)y
Agora, utilizando a hipotese de inducao, temos
x
n+1
y
n+1
= x
n
(x y) + (x y)(x
n1
+x
n2
y +. . . +xy
n2
+y
n1
)y
= (x y)x
n
+ (x y)(x
n1
y +x
n2
y
2
+. . . +xy
n1
+y
n
)
= (x y)(x
n
+x
n1
y +. . . +xy
n1
+y
n
)
= (x y)(x
(n+1)1
+x
(n+1)2
y +. . . +xy
(n+1)2
+y
(n+1)1
)
Assim, vale a igualdade n N, pelo Princpio de Inducao Matematica.
1.10- De fato, temos:
_
n
k
_
+
_
n
k + 1
_
=
=
n(n 1)(n 2) . . . (n k + 1)
1.2 . . . k
+
n(n 1)(n 2) . . . (n k + 1)(n k)
1.2 . . . k(k + 1)
=
n(n 1) . . . (n k + 1)(k + 1) +n(n 1) . . . (n k + 1)(n k)
1.2 . . . k(k + 1)
=
=
n(n 1)(n 2) . . . (n k + 1)[k + 1 +n k]
1.2 . . . k(k + 1)
=
=
(n + 1)n(n 1)(n 2) . . . (n k + 1)
1.2 . . . k(k + 1)
=
_
n + 1
k + 1
_
1.11- i) Se n = 1 temos:
(x +y)
1
=
1

k=1
_
1
k
_
x
1k
y
k
=
_
1
0
_
x
10
y
0
+
_
1
1
_
x
11
y
1
= x +y
6
ii) Suponha que:
(x +y)
m
=
m

k=0
_
m
k
_
x
mk
y
k
(6)
e provemos (6) para m + 1. Temos
(x +y)
m+1
= (x +y)
m
(x +y) = (x +y)
m

k=0
_
m
k
_
x
mk
y
k
=
m

k=0
_
m
k
_
x
mk+1
+
m

k=0
_
m
k
_
x
mk
y
k+1
=
_
m
0
_
x
m+1
+
_
m
1
_
x
m
y +. . . +
_
m
k 1
_
x
mk+2
y
k1
+
+
_
m
k
_
x
mk+1
y
k
+. . . +
_
m
m
_
xy
m
+
_
m
0
_
x
m
y +
+
_
m
1
_
x
m1
y
2
+. . . +
_
m
k 1
_
x
m1+k
y
k
+
+
_
m
k
_
x
mk
y
k+1
+. . . +
_
m
m
_
y
m+1
=
_
m
0
_
x
m+1
+
__
m
0
_
+
_
m
1
__
x
m
y +. . . +
+
__
m
k 1
_
+
_
m
k
__
x
mk+1
y
k
+. . . +
+
__
m
m1
_
+
_
m
m
__
xy
m
+
_
m
m
_
y
m+1
=
m+1

k=0
_
m + 1
k
_
x
m+1k
y
k
onde foi usada a relacao:
_
m
k 1
_
+
_
m
k
_
=
_
m + 1
k
_
Portanto, pelo Princpio de Inducao Finita, (6) vale para todo n N.
1.12- Sejam x
1
, x
2
, . . ., x
n
e y
1
, y
2
, . . ., y
n
n umeros reais e considere, f : R R
tal que:
f(t) =
n

i=1
(x
i
+ty
i
)
2
, t R
Entao:
f(t) =
n

i=1
(x
i
+ty
i
)
2
=
n

i=1
x
2
i
+ 2t
n

i=1
x
i
y
i
+t
2
n

i=1
y
2
i
0
7
Fazendo A =
n

i=1
y
2
i
, B =
n

i=1
x
i
y
i
e C =
n

i=1
x
2
i
temos:
f(t) = At
2
+ 2Bt +C 0, t R
Logo:
= (2B)
2
4AC 0 4B
2
4AC 0 4(B
2
AC) B
2
AC 0
B
2
AC
e substituindo os valores de A, B e C concluimos que:
_
n

i=1
x
i
y
i
_
2

_
n

i=1
x
2
i
__
n

i=1
y
2
i
_
1.13- (Existencia) Consideremos o conjunto:
/ = x Q; x
2
> a, x > 0
e mostremos que b = inf / satisfaz b
2
= a. Basta mostrarmos que b
2
< a e b
2
> a
n ao sao verdadeiras.
Suponha que b
2
< a. Como
_
b +
1
n
_
2
= b
2
+
2b
n
+
1
n
2
b
2
+
2b + 1
n
e b
2
+
2b + 1
n
< a se n >
2b + 1
a b
2
, teremos
_
b +
1
n
_
2
< a se n >
2b + 1
a b
2
Isto mostra que b +
1
n
e uma cota inferior de /, o que e uma contradicao.
Suponha entao, que b
2
> a. Como
_
b
1
n
_
2
= b
2

2b
n
+
1
n
2
b
2

2b
n
e b
2

2b
n
> a se n >
2b
b
2
a
entao temos:
_
b
1
n
_
2
> a se n >
2b
b
2
a
8
Desde que, b
1
n
< b entao existe r Q tal que,
b
1
n
< r < b a <
_
b
1
n
_
2
< r
2
Logo, existe r / tal que r < b, que e uma contradicao.
(Unicidade) Sejam x
1
e x
2
solucoes reais positivas de x
2
= a. Entao
x
2
1
= a e x
2
2
= a x
2
1
= x
2
2
x
2
1
x
2
2
= 0 (x
1
+x
2
)(x
1
x
2
) = 0
Como x
1
+x
2
> 0 entao:
x
1
x
2
= 0 x
1
= x
2
Exerccio Complementar 1- Sejam a, b n umeros irracionais tais que a
2
b
2
seja um racional nao nulo. Entao a +b e a b sao n umeros irracionais.
Solucao: Temos, a
2
b
2
= (a +b)(a b). Se pelo menos um dos fatores (a +b)
ou (a b) fosse racional, teramos que a +b e a b seriam racionais, pois:
a +b =
a
2
b
2
a b
e
a b =
a
2
b
2
a +b
Logo,
a =
a +b +a b
2
e
b =
a +b (a b)
2
seriam racionais, o que contradiz nossa hipotese.
1.14-
c) Suponha que 2 +

3 seja um n umero racional. Entao existem a, b Z, com

mdca, b = 1, tais que 2 +

3 =
a
b
. Logo:
2 +

3 =
a
b
2b +b

3 = a b

3 = a 2b

3 =
a 2b
b
Como a 2b Z e b Z, faca m = a 2b e n = b e teremos:

3 =
m
n
, m, n Z
9
que e uma contradicao, uma vez que

3 e irracional.
d) Segue do exerccio complementar 1.
1.15- Suponhamos que m = inf S. Entao m e uma cota superior para S, e
portanto satisfaz a). Agora, se existisse
0
> 0 tal que x m+
0
, x S, entao
m+
0
que e estritamente maior que m, seria cota inferior de S, o que contradiz
a maximalidade de m. Portanto > 0, x S tal que x < m+.
Reciprocamente, suponha que m satisfaz a) e b) e seja p uma outra cota inferior
de S. Se fosse m < p tomaramos = p m > 0 e por b) existiria x S com
x < m + p m. Isto e, x < p, o que contradiz o fato de p ser cota inferior de S.
Portanto m p, donde segue que inf S = m.
1.16- Seja m uma cota inferior para S. Entao:
m x, x S
Portanto
m x, x S
Logo, o conjunto S e limitado superiormente. Pelo Teorema 1.2, S possui
supremo, e seja M = sup(S). Entao:
i) x M, x S
ii) > 0, x
0
S tal que M < x
0
o que implica em
iii) M x, x S
iv) > 0, x
0
S tal que M + > x
0
ou seja, M = inf S e portanto:
inf S = M = sup(S)
1.17-
a) Temos que:
d(x, y) = [x y[ 0 d(x, y) 0, x, y R
Temos ainda:
d(x, y) = 0 [x y[ = 0 x y = 0 x = y
b) Temos:
d(x, y) = [x y[ = [ (y x)[ = [ 1[[y x[ = d(y, x), x, y R
10
c) Temos:
d(x, y) = [xy[ = [xz+zy[ [xz[+[zy[ = d(x, y)+d(y, z), x, y, z R
1.18- Temos que,
1
n
> 0, n N, ou seja, 0 e cota inferior para A. Vamos
mostrar que nenhum c > 0 e cota inferior para A. De fato, se c > 0 fosse cota
inferior para A, entao teramos:
1
n
> c, n N
Mas, pelo Exerccio 1.6, dado c > 0, n
0
tal que
1
n
0
< c, o que contradiz o fato
de c ser cota inferior para A. Logo inf A = 0.
1.19- Seja p N primo e suponha que

p / R Q. Entao:

p =
a
b
, a, b Z, b ,= 0 e mdc(a, b) = 1
Logo,
p =
a
2
b
2
a
2
= pb
2
p [ a
2
p [ a a p [ a ou p [ a a = kp, k Z
Da,
(kp)
2
= pb
2
k
2
p
2
= pb
2
b
2
= pk
2
p [ b
2
p [ b b = k

p
ou seja, a = kp e b = k

p o que contradiz o fato de a e b serem irredutveis. Logo

p R Q.
1.20- Sejam p, q N primos tal que p ,= q. Suponha que

pq / R Q. Entao:

pq =
a
b
, a, b Z, b ,= 0 e mdc(a, b) = 1
Logo,
pq =
a
2
b
2
b
2
pq = a
2
pq [ a
2
pq [ a a = k(pq), k Z
Da,
b
2
pq = (k(pq)
2
) = k
2
p
2
q
2
b
2
= k
2
pq pq [ b b = k

(pq), k

Z
Mas isto contradiz o fato de a e b serem irredutveis. Portanto:

pq R Q.
11
1.21- No Exerccio 1.8, vimos que nenhum a > 0 satisfaz
a <
1
n
, n N
Como neste caso temos a 0, entao: a = 0, pois se A =
_
1
n
; n N
_
, inf A = 0.
1.22-
a) Temos que, existe x
0
S ax
o
aS aS ,= . Alem disso,
a +x
0
a +S a +S ,= . Se y aS entao:
y = ax x S [y[ = [ax[ = [a[[x[ [a[ k k R
onde [x[ k x S uma vez que S e limitado. Agora,
y a +S y = a +x [y[ = [a +x[ [a[ +[x[ [a[ +k, y a +S
donde segue que a +S e limitada.
b) Se a = 0 as igualdades sao imediatas. Sejam entao a > 0 e = sup S. Temos:
i) x , x S
ii) > 0, x
0
S tal que

a
< x
0
Multiplicando cada desigualdade acima por a, obtemos:
iii) ax a, x S
iv) > 0, x
0
S tal que a < ax
0
Logo, sup(aS) = a = a sup S.
Agora seja, = inf S. Entao:
v) x, x S
vi) > 0, x
0
S tal que x
0
< +

a
Multiplicando cada desigualdade acima por a, obtemos:
vii) a ax, x S
viii) > 0, x
0
S tal que ax
0
< a +
Logo, inf(aS) = a = a inf S.
c) Ja vimos que: sup(S) = inf S. Sendo a < 0 entao: a = k, onde k > 0.
Logo
sup(aS) = sup(kS) = inf(kS) = k inf S = a inf S
12
Agora, note que, se S = S, entao:
sup(S) = inf S sup S = inf(S)
sup S = inf(S)
Da, sendo a < 0 temos: a = , onde > 0. Logo:
inf(aS) = inf(S) = sup(S) = sup S = a sup S
d) Seja = sup S. Entao, temos:
i) x , x S
ii) > 0, x
0
S tal que < x
0
e somando a as duas desigualdades acima, obtemos:
iii) a +x a +, x S
iv) > 0, x
0
S tal que a + < a +x
0
Logo, sup(a +S) = a + = a + sup S.
Agora seja = inf S. Entao:
v) x, x S
vi) > 0, x
0
S tal que x
0
< +
e somando a as duas desigualdades acima, obtemos:
vii) a + a +x, x S
vii) > 0, x
0
S tal que a +x
0
< a + +
Logo, inf(a +S) = a + = a + inf S.
1.23- Por denicao temos que, se A e B sao limitados superiormente entao:
x sup A, x A e y sup B, y B.
Considerando o conjunto A + B = x + y; x A e x B e somando as duas
desigualdades acima obtemos:
x +y sup A + sup B, x +y A +B
isto e, sup A+sup B e uma cota superior de A+B, e portanto, A+B e limitado
superiormente. Agora para mostrar que esta cota superior e o supremo, tomemos
> 0. Logo, pela denicao sabemos que existe x A e y B tal que:
x > sup A

2
e y > sup B

2
13
Somando estas duas desigualdades conclumos:
x +y > sup A + sup B
isto e, > 0 existe z = x + y F tal que a ultima desigualdade ocorre, e
portanto: sup(A +B) = sup A + sup B.
1.24- Seja f : A B sobrejetiva. Entao existe x A tal que f(x) = y, y B,
donde segue que f
1
(B) A e nao vazio. Logo, para cada y B, escolha x A
tal que f(x) = y e ponhamos g(y) = x, o que dene uma funcao
g : B A
tal que f(g(y)) = y. Note que I
B
: B B e dada por I
B
(y) = y. Portanto:
(f g)(y) = y f g = I
B
1.25- Seja f : A B injetiva. Entao:
f(x
1
) = f(x
2
) x
1
= x
2
, x
1
, x
2
A, y
1
= f(x
1
) e y
2
= f(x
2
)
o que e equivalente a dizer que y f(A) existe um unico x A tal que f(x) = y.
Escrevamos x = h(y), o que dene a funcao,
h : f(A) A
tal que h(f(x)) = x, x A. Completemos a denicao de h, pondo h(y) = x
0
(x
0
xo em A) para y B f(A). Obtemos assim h : B A tal que
(h f)(x) = x h f = I
A
.
1.26- Considere f : A B, g : B C bijecoes e seja g f : A C tal que
(g f)(x) = g(f(x)). Mostremos que g f e injetiva. De fato, dados x
1
, x
2
A
temos:
(g f)(x
1
) = (g f)(x
2
) g(f(x
1
)) = g(f(x
2
)) f(x
1
) = f(x
2
) x
1
= x
2
Agora, mostremos que g f e sobrejetiva. De fato, como g e bijetiva, e portanto
sobrejetiva, y B tal que g(y) = w, w C. Mas do fato de f ser bijetiva,
e portanto, sobrejetiva, x A tal que f(x) = y, y B. Segue entao que:
g(y) = g(f(x)) = w, ou seja: existe x A tal que (g f)(x) = w, w C. Logo
g f e sobrejetiva.
Portanto g f e bijetiva, como queramos.
1.27- Suponhamos que a > b a b > 0. Logo, existe n
0
N tal que
1
n
o
< a b
14
o que contradiz o fato de
1
n
> a b n N. Logo: a b.
1.28- i) Para n = 2 temos:
2
21
= 2 2! = 2 1 (7)
ii) Agora suponha que
2
n1
n!
e verdadeira para n e mostremos que a mesma vale para n + 1. De fato,
2
(n+1)1
= 2
n
= 2
n1
2
Por hipotese de inducao, 2
n1
2 n! 2, donde segue que:
2
(n+1)1
n! 2
Agora, e facil ver que 2 n + 1, n N. Logo:
2
(n+1)1
n! 2 n!(n + 1) = (n + 1)!
Portanto (7) e valida para todo n N.
1.29- Primeiro mostremos, por absurdo, que o Princpio da Boa Ordenacao
implica o Primeiro Princpio de Inducao. Para isto considere N o conjunto dos
n umeros naturais e suponha que uma certa armativa A(n), n N e falsa.
Queremos demonstrar que N e vazio. Vamos supor, entao, que exista algum
elemento em N. Pelo Princpio da Boa Ordenacao, existe um menor elemento,
n
0
N. Por hipotese, n
0
,= 1, e entao n
0
> 1. Como n
0
e o menor elemento de
N, segue-se que n
0
1 nao esta em N; em outras palavras, a armativa A(n
0
1)
e verdadeira. Mas, pelo Primeiro Princpio de Inducao, conclumos que A(n
0
) e
tambem verdadeira, pois
n
0
= (n
0
1) + 1
Mas isso e uma contradicao, como queramos.
Reciprocamente, mostremos, tambem por absurdo, que o Primeiro Princpio de
Inducao implica o Princpio da Boa Ordenacao. Para isto, suponha que A e um
subconjunto nao vazio de N e que A nao possui um menor elemento e mostremos
que isto leva-nos a uma contradicao. De fato, dena M N por
M = x N; x < a a A
Pelo princpio da tricotomia M A = . Agora 1 / A; caso contrario 1
seguramente seria o menor elemento de A. Conseq uentemente 1 < a para todo
a A, e assim 1 M. Seja agora p M; entao p < a para todo a A. Se
p+1 A entao p+1, que e o primeiro n umero natural maior que p, seria o menor
15
elemento de A, em contradicao com nossa suposicao de que A nao possui menor
elemento. Assim p +1 / A, e assim p +1 < a para todo a A. Entao p +1 M
e por inducao M = N. Mas M A = , e assim A = , que e uma contradicao.
Entao A deve ter um menor elemento.
Portanto o Primeiro Princpio de Inducao e o Princpio da Boa Ordenacao sao
equivalentes em N.
1.30- Se B e nito nao ha o que demonstrar. Agora se B nao for nito, considere
f : A B sobrejetiva. Pelo exerccio 1.24, existe g : B A tal que f g = I
B
.
Em particular vimos que g e injetiva. Como A e enumeravel, usando a proposicao
1.6, segue que B tambem e enumeravel.
1.31- Por denicao temos que, se A e B sao limitados inferiormente entao:
x inf A, x A e y inf B, y B.
Considerando o conjunto A + B = x + y; x A e x B e somando as duas
desigualdades acima obtemos:
x +y inf A + inf B, x +y A +B
isto e, inf A + inf B e uma cota inferior de A + B, e portanto, A + B e limitado
inferiormente. Agora para mostrar que esta cota inferior e o nmo, tomemos
> 0. Logo, pela denicao sabemos que existe x A e y B tal que:
x < inf A

2
e y < sup B

2
Somando estas duas desigualdades conclumos:
x +y < inf A + inf B
isto e, > 0 existe z = x + y F tal que a ultima desigualdade ocorre, e
portanto: inf(A +B) = inf A + inf B.
1.32- Como D = C A C, segue pelo corolario da proposicao 1.6 que
D = C A e contavel. Pelo Exerccio 1.38, A contem um subconjunto innito
contavel E. Desde que E D e contavel (proposicao 1.7) e innito, temos que,
existem as bijecoes
f : E D N e g : N D
Como g f e uma bijecao de E D em D, segue que E D D. Entao
A C = A (C A) = A D = (A E) (E D) (A E) E = A
16
isto e, A C A.
Agora, como C e enumeravel, segue que BC e contavel. Mas B e nao enumeravel
e BC = B(BC). Como B nao e contavel, e innito. Em particular BC
e innito. Entao
B C (B C) (B C) = B B C B
1.33-
a) Sejam a, b R e
f : (0, 1) (a, b)
x f(x) = a + (b a)x
Temos que f e injetiva, pois
f(x
1
) = f(x
2
) a + (b a)x
1
= a + (b a)x
2
x
1
= x
2
quaisquer que sejam x
1
, x
2
(0, 1)x.
Agora, por denicao, o conjunto A = y = a+(b a)x; 0 < x < 1 e o segmento
de reta cujas extremidades sao a e b. Mas, A = (a, b) = 1m(f), ou seja, f e
sobrejetiva, donde segue que f e bijetiva. Portanto (0, 1) (a, b), donde conclui-
se que todos os intervalos abertos limitados de R sao equipotentes.
b) Seja a R e f : (0, 1) (a, ) denida por f(x)a =
1
x
1.

E facil ver que
f e injetiva e que 1m(f) = (a, ), ou seja, que f e sobrejetiva. Segue entao que
f e bijetiva, e portanto (0, 1) (a, ). Claramente (, a) (a, ) (basta
considerar g(x) = x). Temos ainda (1, 1) (, ). Basta considerarmos
h : (1, 1) (, ) denida por f(x) =
x
1 +[x[
, que claramente e uma
bijecao. Segue portanto, que todos os intervalos abertos de R sao equipotentes.
c) Por a) segue imediatamente que (a, b) (a, b], (a, b] [a, b), etc.
1.34- Primeiro mostremos que
X

AC
A =
_
AC
(X A)
De fato, seja x X

AC
A. Entao x X mas x /

AC
A, ou seja, x X mas
x / A qualquer que seja A (. Da, segue que x X A qualquer que seja
A (, donde conclui-se que
x
_
AC
(X A) X

AC
A
_
AC
(X A)
17
Agora seja x
_
AC
(X A). Entao x X A para algum A (, ou seja, x X
mas x / A para algum A (. Logo x X mas x /

AC
A, donde segue que
x X

AC
A
_
AC
(X A) X

AC
A
Portanto,
X

AC
A =
_
AC
(X A)
Mostremos agora que
X
_
AC
A =

AC
(X A)
De fato, seja x X
_
AC
A. Entao x X mas x /
_
AC
A, ou seja, x X mas
x / A, qualquer que seja A (. Logo x (X A) qualquer que seja A (,
donde segue que
x

AC
(X A) X
_
AC
A

AC
(X A)
Agora seja x

AC
(X A). Entao x X A qualquer que seja A (, ou seja,
x X mas x / A qualquer que seja A (. Logo, x X mas x /
_
AC
A, donde
segue que
x X
_
AC
A

AC
(X A) X
_
AC
A
Portanto,
X
_
AC
A =

AC
(X A)
1.35- Temos que A B, B A e A B sao dois a dois disjuntos e
A = (A B) (A B), B = (B A) (A B),
A B = (A B) (B A) (A B).
Entao, #A = #(A B) + #(A B), #B = #(B A) + #(A B) e
#(A B) = #(A B) + #(B A) + #(A B). Logo
#A+#B = #(AB)+#(AB)+#(BA)+#(AB) = #(AB)+#(AB)
1.36-
18
a) Temos: y f(
_
AC
A) x
_
AC
A tal que y = f(x) y f(A) para algum
A ( y
_
AC
f(A). Portanto, f(
_
AC
A) =
_
AC
f(A).
b) Temos: y f(

AC
A) x

AC
A tal que y = f(x) y f(A) para todo
A ( y

AC
f(A). Portanto, f(

AC
A)

AC
f(A).
c) An aloga a b).
d) An aloga a b).
e) Se f e injetiva, y = f(x) para no maximo um x X. Entao y f(A) para
todo A (. Da temos que x

AC
A tal que y = f(x).
f ) Suponha que f nao fosse injetiva. Entao existiriam x, x

X distintos talque
f(x) = f(x

) = y. Tome A = x, e B = x

. Da f(A B) = f() = , onde

f(A) f(B) = y, que e um absurdo. Portanto f e injetiva.
1.37-
a) Temos: x f
1
_
_
BC
B
_
f(x)
_
BC
B f(x) B, para algum
B ( x f
1
(B), para algum B ( x
_
BC
f
1
(B). Logo
f
1
_
_
BC
B
_
=
_
BC
f
1
(B)
b) Temos: x f
1
_

BC
B
_
f(x)

BC
B f(x) B, para cada
B ( x f
1
(B) para cada B ( x

BC
f
1
(B). Logo
f
1
_

BC
B
_
=

BC
f
1
(B)
c) Temos: x f
1
(C D) f(x) C D f(x) C, mas f(x) / D x
f
1
(C), mas x / f
1
(D) x f
1
(C) f
1
(D). Logo
f
1
(C D) = f
1
(C) f
1
(D)
d) Temos: x A f(x) f(A) x f
1
(f(A)). Logo
f
1
(f(A)) A
19
e) Se f e injetiva, entao f(x) f(A) x A. Assim f
1
(f(A)) = A.
Reciprocamente, se f nao e injetiva, existem x, x

A distintos, tais que

f(x) = f(x

) = y. Tome A = x. Entao f
1
(f(A)) = f
1
(y) x, x

,
de modo que f
1
(f(A)) A ,= , que e um absurdo. Logo f e injetiva.
f ) Temos: y f(f
1
(B)) x f
1
(B) tal que y = f(x) x tal que
f(x) B e y = f(x) y B. Logo
f(f
1
(B)) B
g) Se f e sobrejetiva, entao y B x tal que y = f(x). Assim, f(f
1
(B)) = B.
Reciprocamente, suponha que f nao e sobrejetiva, ou seja, Y f(X) ,= . Tome
B = Y f(X). Entao f(f
1
(B)) = f() = , que e um absurdo. Logo f e
sobrejetiva.
1.38- Seja A um conjunto innito e considere a
1
A. Entao A a
1
e nao
vazio. Seja a
2
Aa
1
. Entao, Aa
1
, a
2
e nao vazio. Prosseguido com este
procedimento, na n-esima etapa teremos que o conjunto,
A a
1
, a
2
, . . . , a
n1

e nao vazio, pois Ae innito. Prosseguindo indenidamente, segue que o conjunto

a
1
, a
2
, . . . , , e um subconjunto innito e contavel de A.
1.39- Seja A um conjunto innito e seja S = a
1
, a
2
, . . . um subconjunto innito
contavel de A. Considere a funcao f : A A a
1
denida por:
f(x) =
_
a
n+1
, se x = a
n
(n = 1, 2, . . .)
x, se x A S

E facil ver que f e bijetiva, donde segue que A A a

1
.
1.40- Se ( e uma colecao innita de conjuntos enumeraveis, entao ela e da forma
A
1
, A
2
, . . .. Logo, A
n
[n 1, n); seja f
n
uma bijecao de A
n
em [n 1, n);
Entao f :

_
n=1
A
n
[0, ) dada por
f(x) = f
n
(x) se x A
n
e uma bijecao. Argumento semelhante quando ( e nito.
20
1.41- Se A e B sao nitos, nada temos a demonstrar. Considere entao, A e B
enumeraveis, e seja x A. Entao:
x B B
Como B e enumeravel entao, xB tambem e enumeravel. Portanto segue pela
Proposicao 1.7 que,
A B =
_
xA
(x B)
e enumeravel.
1.42- i) Para n = 2, A
1
A
2
e contavel, pois A
1
e A
2
sao contaveis.
ii) Agora, suponha que para n, o conjunto
A
1
A
2
. . . A
n
e contavel, e mostremos que A
1
A
2
. . .A
n
A
n+1
tambem e contavel. De fato,
sejam A
1
, A
2
, . . ., A
n
, A
n+1
, conjuntos contaveis. Fazendo B = A
1
A
2
. . . A
n
temos:
A
1
A
2
. . . A
n
A
n+1
= B A
n+1
Mas, por hipotese de inducao, B = A
1
A
2
. . . A
n
e contavel e como A
n+1
e
contavel, segue que B A
n+1
e contavel, e portanto:
A
1
A
2
. . . A
n
A
n+1
e contavel.
Portanto, pelo Prncipio de Inducao, segue que A
1
A
2
. . . A
n
e contavel,
n N.
1.44- Seja / a colecao de todos os intervalos abertos dois a dois disjuntos de R.
Escolha em cada intervalo 1 / um n umero racional r
I
. Como os intervalos
sao dois a dois disjuntos entao, a correspondencia 1 r
I
e injetiva e como Q
e contavel segue que / e contavel.
Exerccio Complementar 2- Dado n N, prove que nao existe x N tal que
n < x < n + 1.
Solucao: Suponha que existe x N tal que n < x < n + 1. Logo, existem
p, q N tais que
n +p = x e x +q = n + 1
Portanto, n +p +q = n +1. Pela lei do cancelamento em N temos p +q = 1 que
e uma contradicao.
21
Exerccio Complementar 3- Mostre que se X e Y sao subconjuntos de R
limitados superiormente entao sup(X Y ) = maxsup X, sup Y .
Solucao: Seja c X Y entao, ou c X ou c Y . Ou ainda, ou c sup X ou
c sup Y . Portanto,
sup(X Y ) maxsup X, sup Y (8)
Por outro lado,
sup X sup(X Y )
e
sup Y sup(X Y )
Portanto
maxsup X, sup Y sup(X Y ) (9)
De (8) e (9) segue o resultado.
22
Captulo 2
2.1-
a) Temos:
lim
n
3n
2
+ 4n 2
2n
2
+ 1
= lim
n
3 +
4
n

2
n
2
2 +
1
n
2
=
lim
n
_
3 +
4
n

2
n
2
_
lim
n
_
2 +
1
n
2
_
=
lim
n
3 + lim
n
4
n
lim
n
2
n
2
lim
n
2 + lim
n
1
n
2
=
3 + 0 0
2 + 0
=
3
2
b) Temos,
lim
n
(

3 +n +

n) = lim
n
_
(

3 +n +

n)

3 +n

3 +n

n
_
= lim
n
n + 3 n

3 +n +

n
= lim
n
3

3 +n +

n
= 0
c) Temos
lim
n
n
_
_
1 +
1
n
1
_
= lim
n
_

_
n
_
_
1 +
1
n
1
_

__
1 +
1
n
+ 1
_
__
1 +
1
n
+ 1
_
_

_
=
= lim
n
n
_
_
1 +
1
n
1
_
1 +
1
n
+ 1
_
_
= lim
n
_
_
1
_
1 +
1
n
+ 1
_
_
=
=
lim
n
1
_
lim
n
1 + lim
n
1
n
+ lim
n
1
=
1

1 + 0 + 1
=
1
2
d) Temos
lim
n
_
1
n
2
+
2
n
2
+. . . +
n
n
2
_
= lim
n
_
1 + 2 +. . . +n
n
2
_
= lim
n
_
n(n + 1)
2

1
n
2
_
=
= lim
n
_
n + 1
2n
_
= lim
n
_
1 +
1
n
2
_
=
=
1
2
lim
n
_
1 +
1
n
_
=
1
2
e) Temos
0

sin n
n

=
[ sin n[
n

1
n
23
pois [ sin n[ < 1, n N. Logo
lim
n
sin n
n
= 0
2.2- Temos
1
n(n + 1)
=
1
n

1
n + 1
Logo
a
n
= 1+
1
1 2
+. . .+
1
n(n + 1)
= 1
1
2
+
1
2

1
3
+
1
3

1
4
+. . .+
1
n

1
n + 1
= 1
1
n + 1
e portanto
lim
n
a
n
= lim
n
1
n(n + 1)
= lim
n
_
1
1
n + 1
_
= 1 0 = 1
2.3- Pela desigualdade de Bernoulli temos:
2
n
= (1 + 1)
n
1 +n > n
1
2
n
<
1
n
Logo, > 0, tome N N tal que
1
N
< e teremos

1
2
n
0

1
2
n

<
1
n

1
N
< n N
ou seja: lim
1
2
n
= 0.
2.4- Sim, pois
[x
n
[ =

(1)
n
sin(n)
3

=
[(1)
n
[ [ sin(n)[
3
=
[ sin(n)[
3

1
3
, n N
ou seja, (x
n
) e limitada, e pelo Teorema de Bolzano-Weierstrass (x
n
) possui uma
subseq uencia convergente.
2.5- Como M = sup S entao:
i) x M, x S;
ii) > 0, x S tal que M < x.
24
Logo, n N existe x
n
S tal que M
1
n
< x
n
M, donde segue pelo Teorema
do Confronto que:
lim
_
M
1
n
_
limx
n
limM limx
n
= M
2.6- Como a
n
a e b
n
b entao: a
n
+ b
n
a + b e a
n
b
n
a b.
Donde, [a
n
b
n
[ [a
n
b
n
[. Assim,
maxa
n
, b
n
=
1
2
a
n
+b
n
+[a
n
b
n
[
1
2
a +b +[a b[ = maxa, b
2.7- Temos que: [a
n
[ a
n
[a
n
[, n N. Tomando o limite nesta
desigualdade obtemos:
lim[a
n
[ lima
n
lim[a
n
[ 0 lima
n
0
e pelo Teorema do Confronto segue que lima
n
= 0.
2.8- Como (b
n
) e limitada entao existe c > 0 tal que [b
n
[ c, n N. Alem
disso, desde que, lima
n
= 0, entao: > 0 existe N N tal que:
[a
n
[ <

c
, n N
Logo,
n N [a
n
b
n
0[ = [a
n
b
n
[ = [a
n
[[b
n
[ c[a
n
[ < lima
n
b
n
= 0
2.9- Temos que:
a
1
=

2
a
2
=

2a
1
a
3
=

2a
2
.
.
.
a
n+1
=

2a
n
, n N
Da, mostremos que a
n
< 2, n N. Se n = 1 temos:
a
1
=

2 < 2
25
Admitamos que a
n
< 2 e provemos que a
n+1
< 2. Temos,
a
n
< 2 2a
n
< 4

2a
n
< 2 a
n+1
< 2
Logo, pelo princpio de inducao, a
n
< 2, n N.
Temos tambem que (a
n
) e extritamente crescente, ou seja, a
n
< a
n+1
, n N.
De fato, para n = 1 temos:
a
1
=

2 <
_
2

2 = a
2
pois 1 <

2 2 < 2

2 <
_
2

2.
e mais:
a
n1
< a
n
2a
n1
< 2a
n

_
2a
n1
<

2a
n
a
n
< a
n+1
e pelo princpio de inducao, segue que a
n
< a
n+1
, n N.
Logo (a
n
) e monotona e limitada e portanto convergente. Assim, seja L = lima
n
e teremos
lima
n+1
= lim

2a
n
L =

2L L
2
= 2L L
2
2L = 0 L = 2
2.10- Considerando x
n
=
n

a 1 temos: x
n
> 0 e 1 + x
n
=

a. Utilizando o
binomio de Newton:
a = (1 +x
n
)
n
= 1 +nx +
n(n 1)
2
x
n
+. . . +x
n
n
> nx
n
Logo
a > nx
n
nx
n
< a 0 < nx
n
< a 0 < x
n
<
a
n
Tomando o limite temos:
lim
n
0 lim
n
x
n
lim
n
a
n
Como lim
n
0 = lim
n
a
n
= 0, entao pelo Teorema do Confronto, lim
n
x
n
= 0. Logo:
lim
n
n

a = lim
n
(1 +x
n
) = lim
n
1 + lim
n
x
n
= 1 + 0 = 1
Se a = 1 temos:
n

a = 1, n 2.
Agora, se 0 < a < 1, entao,
1
a
> 1. Logo:
n

a =
1
1
n

a
=
1
n

1
n

a
=
1
n
_
1
a
26
Assim temos:
lim
n
n

a = lim
n
1
n
_
1
a
=
1
1
lim
n
n

a
=
1
1
1
= 1
Portanto lim
n
n

a = 1 se a > 0.
2.11- Temos:
n

n > 1 se n 2. Logo podemos escrever:

n

n = 1 +h
n
, h
n
> 0
Portanto,
n = (1 +h
n
)
n
= 1 +nh
n
+
n(n 1)
2
h
2
n
+. . . +h
n
n
>
n(n 1)
2
h
2
n
Logo,
1 >
n 1
2
h
2
n

2
n 1
>
2
n 1

n 1
2
h
2
n
ou seja,
2
n 1
> h
2
n
ou 0 < h
2
n
<
2
n 1
0 < h
n
<
_
2
n 1
Tomando o limite obtem-se:
lim
n
0 lim
n
h
n
lim
n
_
2
n 1
Mas, lim
n
_
2
n 1
=
_
lim
n
2
n 1
=

0 = 0. Da, pelo Teorema do Confronto

conclui-se que:
lim
n
h
n
= 0
Portanto:
lim
n
n

n = lim
n
(1 +h
n
) = 1 + lim
n
h
n
= 1 + 0 = 1
2.12- Seja c R tal que a < c < 1. Como lim
n
x
n+1
x
n
= a < c entao
x
n+1
x
n
< c,
n grande. Logo,
x
n+1
=
x
n+1
x
n
x
n
< cx
n
< x
n
, n grande
Assim a seq uencia (x
n
) e monotona e limitada pois,
0 < . . . < x
n+1
< . . . < x
n
< x
n1
< . . . < x
2
< x
1
27
Portanto (x
n
) converge. Seja b = lim
n
x
n
e mostremos que b = 0. Suponha que
b ,= 0. Entao de
lim
n
x
n+1
x
n
= a < 1
temos
lim
n
x
n+1
lim
n
x
n
= a < 1
ou seja,
b
b
= a < 1 1 = a < 1
que e um absurdo. Logo b = 0.
2.13- Seja x
n
=
n!
n
n
. Entao:
lim
x
n+1
x
n
= lim
_
(n + 1)!
(n + 1)
n+1

n
n
n!
_
= lim
_
(n + 1)n!
(n + 1)(n + 1)
n

n
n
n!
_
= lim
_
n
n
(n + 1)
n
_
= lim
_
1
(n+1)
n
_
n
= lim
1
n
_
1 +
1
n
_
n
= lim
1
_
1 +
1
n
_
n
=
1
e
< 1
Portanto
lim
n!
n
n
= 0
2.14- Suponha que limz
n
= a. Como (y
n
) e (x
n
) sao subseq uencias de (z
n
),
ja que z
2n1
= y
n
e z
2n
= x
n
entao, pela proposicao 2.7, segue que (x
n
) e (y
n
)
convergem e
limx
n
= limy
n
= a
Reciprocamente, suponha que limx
n
= limy
n
= a. Entao, dado > 0, existem
N
1
, N
2
N tais que:
n N
1
[x
n
a[ <
e
n N
2
[y
n
a[ <
Logo tome N
0
= max2N
1
, 2N
2
1. Entao
i) Se n = 2k temos:
n > N
0
n > 2N
1
2k > 2N
1
k > N
1
[z
n
a[ = [z
2k
a[ = [x
k
a[ < [z
n
a[ <
28
ii) Se n = 2k 1 temos:
n > N
0
2k 1 > 2N
2
1 k > N
2
[z
n
a[ = [z
2k1
a[ = [y
k
a[ < [z
n
a[ <
Portanto, em qualquer caso temos: limz
n
= a.
2.15- Se x
n
n
2
entao:
n

x
n

n

n
2
. Tomando o limite, temos:
lim
n

lim
n

x
n
lim
n

n
2
= lim(
n

n
n

n)
Como
n

1, quando n e
n

n 1 quando n temos:
1 lim
n

x
n
1
e pelo Teorema do Confronto, segue que, lim
n

x
n
= 1.
2.16- Se limx
n
= a entao, dado > 0, N N, tal que
[x
n
a[ <

2
, n N ()
Agora temos:
x
1
+. . . +x
n
n
a =
x
1
+. . . +x
n
na
n
=
x
1
a
n
+. . . +
x
n
a
n
Para n N temos:
x
1
+. . . +x
n
n
a =
x
1
a
n
+. . . +
x
N1
a
n
+
x
N
a
n
+. . . +
x
n
a
n

x
1
+. . . +x
n
n
a

[x
1
a[
n
+. . . +
[x
N1
a[
n
+
[x
N
a[
n
+. . . +
[x
n
a[
n
Desde que N esta xo, podemos escolher n grande tal que
[x
1
a[
n
+. . . +
[x
N1
a[
n
<

2
e por () segue que
[x
N
a[
n
+. . . +
[x
n
a[
n
< [n (N 1)]

2
n
=
n N + 1
n


2
<

2
Logo

x
1
+. . . +x
n
n
a

< , n N grande
ou seja:
x
1
+. . . +x
n
n
a quando n .
29
A recproca nao e verdadeira. Considere, por exemplo, a seq uencia x
n
= (1)
n
.
Temos:
a
1
=
x
1
1
= 1
a
2
=
x
1
+x
2
2
=
1 + 1
2
= 0
a
3
=
x
1
+x
2
+x
3
3
=
1
3
a
4
=
x
1
+x
2
+x
3
+x
4
4
= 0
a
5
=
x
1
+x
2
+x
3
+x
4
+x
5
5
=
1
5
.
.
.
Assim, pelo exerccio 2.14, a
2n
= 0 0 e a
2n1
=
1
2n 1
0. Portanto,
a
n
0, mas, (a
n
) nao converge.
2.17- Seja a = limx
n
. Entao, > 0, N N tal que:
n N [x
n
a[ <
Se 1 n < N, considere k N tal que n + kp > N, e portanto, [x
n+kp
a[ < .
Mas, x
n+kp
= x
n+(k1)p+p
= x
n+(k1)p
= x
n+(k2)p+p
= x
n+(k2)p
= . . . = x
n+2p
=
x
n+p
= x
n
. Logo,
[x
n
a[ = [x
n+kp
a[ < , se 1 n < N
Assim, [x
n
a[ < [, n N e > 0, ou seja
0 [x
n
a[ < > 0 x
n
a = 0, n N x
n
= a, n N
2.18- Seja (x
n
) monotona e (x
i
n
) uma subseq uencia convergente de (x
n
) e
portanto limitada. Suponha que x
n
x
n+1
, n N e mostremos que (x
n
) e
limitada. De fato, se (x
n
) nao e limitada, entao M > 0, existe n
0
N tal que
x
n
0
> M. Mas, como i
n
0
n
0
entao, x
i
n
0
x
n
0
> M, ou seja, x
i
n
0
> M, donde
segue que (x
i
n
) nao e limitada, o que e um absurdo.
Suponha agora que x
n
x
n+1
, n N, e mostremos que (x
n
) ainda e limitada,
ou seja, M > 0 tal que M x
n
M, n N. De fato, se (x
n
) nao e limitada,
entao M > 0, existe n
0
N tal que x
n
0
> M. Mas,
i
n
0
n
0
x
i
n
0
x
n
0
x
i
n
0
x
n
0
> M x
i
n
0
> M
30
Da, temos que (x
i
n
) nao e limitada, o que contradiz o fato de (x
i
n
) ser
convergente.
Portanto, em qualquer caso, concluimos que (x
n
) e limitada, e como (x
n
) e
monotona, segue que ela tambem e convergente, como queramos.
2.19- Temos
x
n+1
=

x
n
y
n

x
n
+y
n
2
= y
n+1
x
n+1
y
n+1
Logo:
x
n+1
=

x
n
y
n

x
n
x
n
= x
n
x
n
x
n+1
, n N
e
y
n+1
=
x
n
+y
n
2

y
n
+y
n
2
= y
n
y
n
y
n+1
, n N
ou seja, (x
n
) e nao decrescente e (y
n
) e nao crescente. Agora mostremos que (x
n
)
e (y
n
) sao limitadas, isto e,
a x
1
x
2
. . . x
n
x
n+1
. . . y
n+1
y
n
. . . y
2
y
1
b
De fato, suponha a < b. Entao:
b a > 0 a(b a) > 0 ab a
2
> 0 a
2
< ab a <

ab = x
1
Por outro lado, como a < b entao
a +b
2
b y
1
b. Logo (x
n
) e (y
n
)
convergem. Da, sejam
x = limx
n
e y = limy
n
Tomando o limite em y
n+1
=
x
n
+y
n
2
temos:
limy
n+1
= lim
x
n
+y
n
2
y =
x +y
2
2y = x +y x = y
ou seja, (x
n
) e (y
n
) convergem para o mesmo limite.
2.20- Fixemos N N e sejam p, n N. Entao,
[x
n+p
x
n
[ = [x
n+p
x
n+p1
+x
n+p1
x
n+p2
+. . . +x
n+1
x
n
[
[x
n+p
x
n+p1
[ +[x
n+p1
x
n+p2
[ +. . . +[x
n+1
x
n
[ <
< r
n+p1
+r
n+p2
+. . . +r
n+2
+r
n+1
+r
n
=
= r
n
(r
p1
+r
p2
+. . . +r
2
+r + 1), p N
Mas, se 0 < r < 1 entao (r
n
) converge e limr
n
= 0. Assim
lim[r
n
(r
p1
+r
p2
+. . . +r
2
+r +1)] = (r
p1
+r
p2
+. . . +r
2
+r +1) limr
n
= 0
31
Logo, dado > 0, N N tal que
n N r
n
(r
p1
+r
p2
+. . . +r
2
+r + 1) <
Da, conclumos que, dado > 0, N N tal que
n N [x
n+p
x
n
[ < , p N
e portanto (x
n
) e de Cauchy.
2.21- Seja a = maxa, b. Entao b < a. Logo:
a = (a
n
)
1
n
< (a
n
+b
n
)
1
n
< (a
n
+a
n
)
1
n
= (2a
n
)
1
n
= 2
1
n
a
Tomando o limite temos:
lima lim(a
n
+b
n
)
1
n
lim2
1
n
a
Mas, lim2
1
n
= lim
n

2 = 1, pois 2 > 0. Logo lim2

1
n
a = a e pelo Teorema do
Confronto segue que lim(a
n
+b
n
)
1
n
= a = maxa, b.
Se maxa, b = b, o processo e analogo.
2.22- Basta mostrar que (x
n
) nao e uma seq uencia de Cauchy. Para isto, suponha
que (x
n
) seja de Cauchy. Entao, dado > 0, N N tal que
n N [x
n+p
x
n
[ < , p N
Pela denicao de (x
n
), temos tambem
[x
n+p
x
n
[ =

1 +
1
2
+. . . +
1
n
+
1
n + 1
+. . . +
1
n +p
1
1
2
. . .
1
n

=
1
n + 1
+
1
n + 2
+. . . +
1
n +p
Se p = n temos
[x
2n
x
n
[ =
1
n + 1
+
1
n + 2
+. . . +
1
2n
>
1
2n
+
1
2n
+. . . +
1
2n
= n
1
2n
=
1
2
, n N
Logo, se =
1
2
temos
[x
2n
x
n
[ > n N
que e um absurdo. Portanto, (x
n
) nao e uma seq uencia de Cauchy, donde segue
que (x
n
) e divergente.
32
2.23- Mostremos que (x
n
) e extritamente crescente. De fato, para n = 1 temos:
a
1
= 1 <

2 =

1 + 1 =

1 +a
1
= a
2
Suponha agora, que a
n1
< a
n
mostremos que esta desigualdade e satisfeita para
n + 1. De fato,
a
n1
< a
n
1 +a
n1
< 1 +a
n

_
1 +a
n1
<

1 +a
n
a
n
< a
n+1
Logo, pelo princpio de inducao, a
n1
< a
n
, n N.
Armamos ainda, que x
n
< 2, n N. De fato, para n = 2 temos:
a
2
=

2 < 2
Suponha entao, que a
n
< 2 e mostremos que esta desigualdade e satisfeita para
n + 1. De fato,
a
n
< 2 < 3 1 +a
n
< 4

1 +a
n
< 2 a
n+1
< 2
Logo, pelo princpio de inducao, a
n
< 2, n N.
Das duas armativas feitas acima, obtem-se
a
1
< a
2
< a
3
< . . . < a
n
< a
n+1
< . . . < 2
ou seja, (x
n
) e monotona e limitada, e portanto converge. Seja L = lim
n
x
n
.
Entao de a
n
=

1 +a
n1
, temos:
lim
n
a
n
= lim
n
_
1 +a
n1
L =

1 +L L
2
L 1 = 0 L =
1 +

5
2
2.24- Seja m = infa
n
; n N. Entao, como (a
n
) e nao crescente, temos:
m a
n
a
n1
. . . a
3
a
2
a
1
ou seja, (a
n
) e monotona e limitada. Logo converge. Agora, pela denicao de
nmo, temos:
i) m a
n
, n N;
ii) > 0, a
n
tal que a
n
< +m.
Logo, para todo n N, existe a
n
tal que:
m a
n

1
n
+m
Como lim
n
m = m e lim
n
_
1
n
+m
_
= m, segue pelo Teorema do Confronto, que
lim
n
a
n
= m.
33
2.26- Seja (x
n
k
) uma subseq uencia de uma seq uencia de Cauchy (x
n
), tal que
lim
k
x
n
k
= a. Entao, dado > 0, k
0
N tal que
[x
n
k
a[ <

2
, k k
0
Como (x
n
) e de Cauchy, existe m
1
tal que
[x
n
x
m
[ <

2
, m, n m
1
Tomemos N = maxk
0
, m
1
e xemos um k N natural com n
k
N, isto e,
xemos um termo x
n
k
de (x
n
k
) com n
k
N. Entao, para n N temos:
[x
n
a[ [x
n
x
n
k
[ +[x
n
k
a[ <

2
+

2
=
Portanto, limx
n
= a.
2.29- Seja x
n
= 1 + 1 +
1
2!
+
1
3!
+. . . +
1
n!
e seja p N. Entao
[x
n+p
x
n
[ =

1
(n + 1)!
+. . . +
1
(n +p)!

1
(n + 1)!
+. . . +
1
(n +p)!

1
2
n
+. . . +
1
2
n+p1
, p N
Mas, lim
n
1
2
n
= 0 lim
n
1
2
n
_
1 +
1
2
+. . . +
1
2
p1
_
= 0. Logo, dado > 0,
N N tal que
1
2
n
+. . . +
1
2
n+p1
< , n N
Da,
n N [x
n+p
x
n
[ < , p N
donde segue que, (x
n
) e de Cauchy e portanto convergente.
2.30- Basta mostrar que (x
n
) e de Cauchy. Para isto, temos:
[x
n+p
x
n
[ = [x
n+p
x
n+p1
+x
n+p1
x
n+p2
+. . . +x
n+1
x
n
[
[x
n+p
x
n+p1
[ +[x
n+p1
x
n+p2
[ +. . . +[x
n+1
x
n
[
[x
n+p
x
n+p1
[ +[x
n+p1
x
n+p2
[ +. . . +[x
n+1
x
n
[ +
+[x
n+1
x
n
[ +[x
n
x
n1
[ +. . . +[x
3
x
2
[ +[x
2
x
1
[
c
n+p1
+c
n+p2
+. . . +c
n
+c
n1
+. . . +c
2
+c
1
=
=
n+p1

k=1
c
k
= (s
n+p1
), p N
34
Mas, como (s
n+p1
) e convergente entao ela e limitada. Logo, M > 0 tal que
n+p1

k=1
c
k
M, n, p N. Agora, pela propriedade arquimediana, N N tal que
Nr > M, r > 0. Da, dado > 0, tome r =

N
e teremos:
n N [x
n+p
x
n
[
n+p1

k=1
c
k
M < Nr = N

N
= , p N
Logo (x
n
) e de Cauchy e portanto convergente.
2.31- Como (x
n
) e converge, (x
n
) e de Cauchy. Logo dado > 0, N N tal
que
m, n N [x
m
x
n
[ <
Da, tome m = n +p, qualquer que seja p N, e teremos:
n N [x
n+p
x
n
[ <
donde segue que lim
n
(x
n+p
x
n
) = 0.
2.32- Armamos que (x
n
) = (1, 1, 1, . . .). De fato, para n = 2 temos:
x
2
= 2
1
x
1
= 2 1 = 1
Agora suponha que
x
n
= 2
1
x
n1
= 1
e verdadeira, e mostremos que ela vale para n + 1. De fato,
x
n+1
= 2
1
x
n
= 2 1 = 1
Portanto, pelo Princpio de Inducao, x
n
= 1, n N.
Agora, (x
n
) e monotona e limitada, pois
1 = [1[ = [x
n
[ 1, n N
e
1 1 1 1 . . .
Portanto (x
n
) converge, e e evidente que limx
n
= 1.
35
2.33- Devemos mostrar que (r
2k
) e decrescente e limitada inferiormente e (r
2k1
) e
crescente e limitada superiormente. Para isto mostremos primeiro que 1 r
n
2,
n N. Para n = 1, r
1
= 1 e 1 1 2. Suponha agora que 1 r
k
2. Entao
r
k+1
=
r
k+1
r
k
=
r
k
+r
k1
r
k
= 1 +
r
k1
r
k
= 1 +
1
r
k
Conseq uentemente 1 < 1+
1
2
1+
1
r
k
= r
k+1
1+
1
1
= 2, e assim, pelo princpio
de inducao, 1 r
n
2, n N. Agora, se n 3, temos
r
n
= 1 +
1
r
n1
= 1 +
1
1 +
1
r
n2
= 1 +
r
n2
1 +r
n2
Assim
r
n+2
r
n
=
_
1 +
r
n
1 +r
n
_

_
1 +
r
n2
1 +r
n2
_
=
r
n
r
n2
(1 +r
n
)(1 +r
n2
)
A ultima equacao implica que r
n+2
r
n
tem o mesmo sinal que r
n
r
n2
.
Agora, r
3
r
1
=
3
2
1 > 0, e assim r
2k+1
r
2k1
> 0, k N. Segue que (r
2k1
)
e crescente. Semelhantemente r
4
r
2
=
5
3
2 < 0, e assim r
2k+2
r
2k
< 0,
k N. Entao (r
2k
) e decrescente. Portanto, (r
2k1
) e (r
2k
) convergem. Seja

1
= lim
k
r
2k1
e
2
= lim
k
r
2k
. Como foi dito acima, r
n
= 1 + r
n2
/(1 + r
n2
),
para n 3. Entao

1
= lim
k
r
2k1
= lim
k
_
1 +
r
2k3
1 +r
2k3
_
= 1 +

1
1 +
1
e

2
= lim
k
r
2k
= lim
k
_
1 +
r
2k2
1 +r
2k2
_
= 1 +

2
1 +
2
Assim, tanto
1
quanto
2
satisfazem a equacao
2
1 = 0, cujas solucoes
s ao =
1

5
2
. Recorde que 1 r
n
2, n N, e assim
1
,
2
> 0.
Conseq uentemente,
1
=
1 +

5
2
=
2
, e portanto
lim
n
r
n
=
1 +

5
2
Exerccio Complementar 1- Mostre que dado qualquer x
0
R existe uma
seq uencia (x
n
) em Q com x
n
,= x
0
n N tal que x
n
x
0
.
Solucao: Como Q e denso em R entao, para qualquer intervalo (a, b) aberto de
R, temos Q (a, b) ,= . Portanto, Q
_
x
0
, x
0
+
1
n
_
,= , n N.
Assim, para cada n, existe (x
n
) em Q com x
0
< x
n
< x
0
+
1
n
. Logo, (x
n
) esta em
Q, x
n
,= x
0
n N e limx
n
= x
0
.
36
Captulo 3
3.1- Ja foi visto que lim
n
a
n
= 0. Assim, temos:
lim
n
b
n
= lim
n
_
ln
_
1 +
1
n
__
= ln 1 = 0
Agora,
s
1
=

2 1
s
2
=

2 1 +

2
s
3
=

2 1 +

2 +

3
.
.
.
s
n
=

2 1 +

2 +

3 +. . . +

n + 1

n =

n + 1 1
donde segue que, lim
n
= lim
n
(

n + 1 1) = . Agora, como
ln
_
1 +
1
n
_
= ln
_
n + 1
n
_
= ln(n + 1) ln n
temos:
t
1
= ln 2
t
2
= ln 2 + ln 3 ln 2
t
3
= ln 2 + ln 3 ln 2 + ln 4 ln 3
.
.
.
t
n
= ln 2 + ln 3 ln 2 + ln 4 ln 3 +. . . + ln(n + 1) ln n = ln(n + 1)
donde segue que lim
n
t
n
= lim
n
(ln(n + 1)) = +. Portanto

n=1
a
n
e

n=1
b
n
sao
divergentes.
3.2-
a) Seja a
n
=
n
5
5
n
. Entao:
n
_
[a
n
[ =
n
_
n
5
5
n
lim
n
n
_
[a
n
[ = lim
n
n

n
5
5
=
1
5
lim
n

n n n n n =
1
5
1 =
1
5
< 1
Logo

n=1
n
5
5
n
converge, pelo Testa da Raz.
37
b) Seja a
n
= (
n

n 1)
n
. Entao:
lim
n
n
_
[
n

n 1[ = lim
n
[
n

n 1[ = [ lim
n
(
n

n 1)[ = [ lim
n
n

n lim
n
1[ =
= [1 1[ = 0 < 1
Logo, pelo Teste da raz,

n=1
(
n

n 1)
n
converge.
c) Seja a
n
=
_
n
3n + 1
_
n
. Entao:
n
_
[a
n
[ =
n

n
3n + 1

n
=
n

n
3n + 1

n
=
n
3n + 1
Da
lim
n
n
_
[a
n
[ = lim
n
n
3n + 1
= lim
n
1
3 + 1/n
=
1
3
< 1
Logo

n=1
a
n
converge.
3.3-
a) Seja a
n
=
_
2
n
_
n
n!. Entao
lim
n
[a
n+1
[
[a
n
[
= lim
n

_
2
n + 1
_
n+1
(n + 1)!

_
2
n
_
n
n!

= lim
n

2
n + 1

n+1
(n + 1)!

2
n

n
n!
= lim
n
_
2
n + 1
_
n+1
(n + 1)
_
2
n
_
n
= lim
n
2
_
2
n + 1
_
n
_
2
n
_
n
=
= lim
n
2
_
2
n + 1

n
2
_
= lim
n
2
_
n
n + 1
_
n
= 2 lim
n
_
n
n + 1
_
n
Ta errado. Depois eu faco!
38
b) Seja a
n
=
(1)
n
2
n
n!
. Entao:
lim
n
[a
n+1
[
[a
n
[
= lim
n

(1)
n+1
2
n+1
(n + 1)!

(1)
n
2
n
n!

= lim
n
2
n+1
(n + 1)!

n!
2
n
=
= lim
n
2
n + 1
= 2 lim
n
1
n + 1
= 0 < 1
Portanto, pelo Teste da razao, segue que

n=1
(1)
n
2
n
n!
converge.
c) Seja a
n
=
(1)
n
n(n + 2)
. Entao faze-la pelo Teste de Leibniz!! Depois eu faco!!
3.4- Temos, [a
n
x
n
[ = [a
n
[[x
n
[ a
n
1 = a
n
, n N, pois [x[ 1 [x[
n
=
[x
n
[ 1, n N. Logo, pelo Criterio da Comparacao,

n=1
[a
n
x
n
[ converge, ou
seja,

n=1
a
n
x
n
converge absolutamente.
Agora temos: [a
n
sin(nx)[ = [a
n
[[ sin(nx)[ a
n
1 = a
n
n N, pois
[ sin(nx)[ 1, n N. Logo, pelo Criterio da Comparacao

n=1
[a
n
sin(nz)[
converge, ou seja,

i=1
a
n
x
n
converge absolutamente.
3.5- Como

n=1
[a
n
[ converge, entao lim
n
[a
n
[ = 0. Logo, K > 0 tal que [a
n
[ K,
n N, e portanto:
[a
n
[ [a
n
[ K[a
n
[, n N
Mas entao:
[a
n
[
2
K[a
n
[
ou ainda,
a
2
n
K[a
n
[, n N
Logo pelo Criterio da Comparacao

n=1
a
2
n
converge.
3.6- Temos:
a
n
b
n

a
2
n
2
+
b
2
n
2
, n N
39
Como

n=1
a
2
n
e

n=1
b
2
n
convergem, entao

n=1
a
2
n
2
e

n=1
b
2
n
2
convergem, e portanto,

n=1
_
a
2
n
2
+
b
2
n
2
_
converge. Logo, pelo Criterio da Comparacao conclumos que

n=1
a
n
b
n
converge.
3.7- Como

n=1
a
2
n
e

n=1
b
2
n
convergem, segue pelo exerccio anterior que

n=1
a
n
b
n
converge. Conseq uentemente

n=1
2a
n
b
n
converge e portanto:

n=1
(a
2
n
+2a
n
b
n
+b
2
n
)
converge, isto e,

n=1
(a
n
+b
n
)
2
converge.
3.8- Pela desigualdade de Cauchy-Schwarz temos:
_
k

n=1
a
n
b
n
_
2

_
k

n=1
a
2
n
__
k

n=1
b
2
n
_
Como

n=1
a
2
n
e

n=1
b
2
n
convergem, entao:
_
k

n=1
a
n
b
n
_
2

n=1
a
2
n
__
k

n=1
b
2
n
_

n=1
a
2
n
__

n=1
b
2
n
_
e como

n=1
a
n
b
n
converge (exerccio 3.6) conclumos que
_

n=1
a
n
b
n
_
2

n=1
a
2
n
__

n=1
b
2
n
_
3.9- Temos:
a
n
cos(nx) [a
n
cos(nx)[ = [a
n
[[ cos(nx)[ [a
n
[
e
b
n
sin(nx) [b
n
sin(nx)[ = [b
n
[[ sin(nx)[ [b
n
[
Como

n=1
[a
n
[ e

n=1
[b
n
[ convergem, segue pelo Criterio da Comparacao que

n=1
a
n
cos(nx) e

n=1
b
n
sin(nx) convergem e portanto,

n=1
(a
n
cos(nx)+b
n
sin(nx))
40
converge.
3.10- Como (a
n
) e decrescente temos: n + n n + 1 a
2n
a
n+1
, n N,
donde segue que: a
2n
a
n+2
, . . . , a
2n
a
2n
. Logo:
na
2n
a
n+1
+a
n+2
+. . . +a
2n
a
n+1
+a
n+2
+. . . = s s
n
onde s =

n=1
a
n
(pois esta serie e convergente por hipotese), s
n
= a
1
+a
2
+. . .+a
n
e s
2n
= a
1
+a
2
+. . . +a
n
+a
n+1
+ +a
2n1
+a
2n
. Da, lim
n
(s s
n
) = 0, isto
e, lim
n
na
2n
= 0. Portanto lim
n
(2n)a
2n
= 0.
Temos tambem que n +n n + 1 2n 1 n a
2n1
a
n
, n N, ou seja,
a
2n1
a
n+1
, . . . , a
2n1
a
2n1
. Logo:
na
2n1
a
n
+a
n+1
+. . . +a
2n1
a
n
+a
n+1
+. . . = s = s
n1
Como lim
n
(ss
n1
) = 0 entao lim
n
na
2n1
= 0, e portanto lim
n
(2n1)a
2n1
= 0
Concluimos assim que lim
n
na
n
= 0.
3.11- Seja a serie

n=1
a
n
absolutamente convergente. Entao

n=1
[a
n
[ converge,
donde segue tambem que

n=1
a
n
converge. Segue da que,

n=1
(a
n
+[a
n
[) converge,
e como
[a
n
[ a
n
a
n
+[a
n
[ 0, n N
esta ultima serie e de termos nao negativos. Logo como

n=1
[a
n
[ converge temos:

n=1
a
n
=

n=1
(a
n
+[a
n
[ [a
n
[) =

n=1
(a
n
+[a
n
[)

n=1
[a
n
[
Reciprocamente, seja a
n
= b
n
c
n
. Entao:
[a
n
[ = [b
n
c
n
[ [b
n
[ +[c
n
[
Como b
n
e c
n
sao positivos, segue que [a
n
[ b
n
+ c
n
e como

n=1
b
n
e

n=1
c
n
convergem, entao

n=1
(b
n
+ c
n
) converge. Logo, pelo Criterio da Comparacao

n=1
[a
n
[ converge. Conseq uentemente

n=1
a
n
converge absolutamente.
41
3.12- Suponha que

n=1
a
n
seja convergente. Entao, a seq uencia (s
n
) de suas
somas parciais e convergente e portanto limitada.
Reciprocamente, suponha que (s
n
) seja limitada. Entao,
s
n+1
= s
n
+a
n+1
e como a
n
0, n N temos que s
n+1
s
n
, n N, isto e, (s
n
) e monotona
crescente. Logo (s
n
) e convergente, e portanto

n=1
a
n
converge.
3.13- Seja a
n
=
x
n
n
2
e
L = lim
n
[a
n+1
[
[a
n
[
= lim
n
[x[
n+1
(n + 1)
2
[x[
n
n
2
= lim
n
_
[x[
n+1
(n + 1)
2

n
2
[x[
n
_
=
= lim
n
_
[x[
n
2
(n + 1)
2
_
= [x[ lim
n
_
n
n + 1
_
2
=
= [x[ lim
n
_
1
1 + 1/n
_
lim
n
_
1
1 + 1/n
_
= [x[ 1 = [x[
Pelo teste da razao

n=1
x
n
n
2
converse se [x[ < 1, ou equivalentemente, se 1 < x <
1.
Mas, se for x = 1, temos a serie,

n=1
1
n
2
, que converge, e se for x = 1, temos a
serie

n=1
(1)
n
n
2
que converge absolutamente e portanto converge.
Portanto,

n=1
x
n
n
2
converge para 1 x 1.
Seja agora a
n
=
x
n
n
n
. Temos:
L = lim
n
n
_
[a
n
[ = lim
n
n
_
[x
n
[
n
n
= lim
n
n
_
[x[
n
n

n
n
= lim
n
[x[
n
= [x[ lim
n
1
n
= 0
Logo

n=1
x
n
n
n
converge x R.
42
3.14- Considere a serie

n=1
(1)
n
n
, que converge pelo Criterio de Leibniz e seja
x
n
= (1)
n
que e limitada. Temos:

n=1
a
n
x
n
=

n=1
(1)
n
(1)
n

1
n
=

n=1
1
n
que diverge.
3.15- Usando o exerccio 3.12 e a desigualdade de Cauchy-Schwarz temos:
0 s
n
=
n

i=1
1
i

a
i

_

i=1
_
1
i
_
2
_1
2
_

i=1
(

a
i
)
2
_1
2
=
=
_

i=1
1
i
2
_1
2
_

i=1
a
i
_1
2

1
2

1
2
= c
isto e,

n=1

a
n
n
converge.
Outra resolucao: Temos que a
n
0 e

n=1
a
n
converge. Logo:

a
n

1
n

(a
n
)
2
2
+
_
1
n
_
2
2

a
n
n

a
n
2
+
1
2n
2
Como, por hipotese,

n=1
a
n
converge, entao

n=1
a
n
2
converge

n=1
1
2n
2
converge.
Conseq uentemente

n=1
_
a
n
2
+
1
2n
2
_
converge, e pelo Criterio da Comparacao

n=1

a
n
n
converge.
3.16- Para cada n N, temos
a
n+1
f(x) a
n
x [n, n + 1]
Portanto,
a
n+1

_
n+1
n
f(x)dx a
n
n N
Se n 2 temos
k1

n=1
a
n+1

k1

n=1
_
n+1
n
f(x)dx
k1

n=1
a
n
43
e portanto,
s
k
a
1

_
k
1
f(x)dx s
k1
(10)
Suponhamos que,

n=1
a
k
converge. Entao (s
k1
) converge. Logo, (s
k1
) e
limitada, donde por (10) temos que
__
k
1
f(x)dx
_
e tambem limitada, e como ela e crescente, segue que
__
k
1
f(x)dx
_
converge.
Reciprocamente, suponha que
__
k
1
f(x)dx
_
converge. Entao ela e limitada e
por (10) segue que (s
k
) e limitada e como ela e crescente segue que ela converge.
Logo, a serie

n=1
a
k
converge.
3.17- Como lim
n
a
n
b
n
= 0, entao para = 1, N N tal que
n N

a
n
b
n
0

< 1
a
n
b
n
< 1 0 a
n
< b
n
, n N
Como

n=1
b
n
converge entao:

n=N
b
n
tambem converge, donde segue que

n=N
a
n
converge, o que e equivalente a dizer que

n=1
a
n
converge.
3.18- Por (b) temos que (b
n
) converge para um limite, digamos k. Da, seja
b
n
= k + c
n
tal que (c
n
) e monotona e lim
n
c
n
= 0. Por (a)

n=1
ka
n
converge e a
seq uencia (s
n
), onde s
n
= a
1
+ a
2
+ . . . + a
n
e limitada. Logo, pelo Criterio de
Dirichlet,

n=1
a
n
c
n
converge. Sendo s =

n=1
a
n
c
n
obtem-se:
s =

n=1
a
n
(b
n
k) =

n=1
(a
n
b
n
ka
n
) =

n=1
a
n
b
n

n=1
ka
n

n=1
a
n
b
n
= s+

n=1
ka
n
donde conclui-se que

n=1
a
n
b
n
converge.
44
3.19- Temos:

n=2
1
nln n
=
1
2 ln 2
+
1
3 ln 3
+
1
4 ln 4
+
1
5 ln 5
+. . . +
1
8 ln 8
+. . . =
=
1
2 ln 2
+
_
1
3 ln 3
+
1
4 ln 4
_
+
_
1
5 ln 5
+. . . +
1
8 ln 8
_
+. . . >
>
1
2 ln 2
+
_
1
4 ln 4
+
1
4 ln 4
_
+
_
1
8 ln 8
+. . . +
1
8 ln 8
_
+. . . =
=
1
2 ln 2
+
2
4 ln 4
+
4
8 ln 8
+. . . =
1
2 ln 2
+
2
8 ln 2
+
4
24 ln 2
+. . . =
=
1
2 ln 2
+
1
4 ln 2
+
1
6 ln 2
+. . . =
1
2 ln 2
_
1 +
1
2
+
1
3
+. . .
_
=
=
1
2 ln 2

n=1
1
n
Como

n=1
1
n
diverge, entao:

n=1
1
nln n
diverge.
3.20- Temos:

n=2
1
n(ln n)
r
=
1
2(ln 2)
r
+
1
3(ln 3)
r
+
1
4(ln 4)
r
+. . . +
1
7(ln 7)
r
+. . . =
=
_
1
2(ln 2)
r
+
1
3(ln 3)
r
_
+
_
1
4(ln 4)
r
+. . . +
1
7(ln 7)
r
_
+. . . <
<
_
1
2(ln 2)
r
+
1
2(ln 2)
r
_
+
_
1
4(ln 4)
r
+. . . +
1
4(ln 4)
r
_
+. . . =
=
2
2(ln 2)
r
+
4
4(ln 4)
r
+
8
8(ln 8)
r
+. . . =
=
1
(ln 2)
r
+
1
(ln 4)
r
+
1
(ln 8)
r
+. . . =
=
1
(ln 2)
r
+
1
2
r
(ln 2)
r
+
1
3
r
(ln 2)
r
+. . . =
=
1
(ln 2)
r
_
1 +
1
2
r
+
1
3
r
+. . .
_
=
=
1
(ln 2)
r

n=1
1
n
r
Como

n=1
1
n
r
converge se r > 1 e diverge se r 1, entao:

n=1
1
n(ln n)
r
converge
se r > 1 e diverge se r 1.
45
3.21- Seja = lim
n
a
n
b
n
. Entao, para =

2
, n N tal que
n N

a
n
b
n

<

2

2
<
a
n
b
n
<

2


2
<
a
n
b
n
<
3
2
Logo:

2
b
n
< a
n
<
3
2
b
n
, n N
Portanto, pelo Criterio da Comparacao temos:

n=1
a
n
converge

n=1
b
n
converge
ou

n=1
a
n
diverge

n=1
b
n
diverge
3.22- Considere as series:

n=1
1
_
n(n + 1)
e

n=1
1
n
Temos:
lim
n
1
_
n(n + 1)
1
n
= lim
n
1
_
n(n + 1)
n = lim
n

n + 1
= lim
n
_
n
n + 1
=
= lim
n

1
1 + 1/n
=

lim
n
1
1 + 1/n
=

1 = 1
Como

n=1
1
n
diverge, segue pelo Exerccio 3.21 que

n=1
1
_
n(n + 1)
tambem
diverge.
3.23- Como

n=1
a
n
converge, seja s =

n=1
a
n
. Como (s
n
), onde s
n
= a
1
+ a
2
+
. . . + a
n
e a seq uencias das somas parciais da serie

n=1
a
n
, temos que s
n
s,
quando n . Portanto, segue pelo exerccio 2.16, que
s
1
+s
2
+. . . +s
n
n
s
46
como queramos.
3.24- Suponha que

n=1
(a
n
+b
n
) fosse convergente. Como

n=1
a
n
converge temos
que

n=1
(a
n
) tambem converge. Logo teramos que

n=1
(a
n
+b
n
a
n
) =

n=1
b
n
seria convergente, que e um absurdo.
3.25- Temos:

n=1
_
(1)
n+1
+
(1)
n
n + 1
_
=

n=1
(n + 1)(1)
n+1
+ (1)
n
n + 1
=
=

n=1
(1)
n
(n 1 + 1)
n + 1
=
=

n=1
(1)
n
n
n + 1
Como

n=1
(1)
n
diverge e

n=1
(1)
n
n + 1
converge pelo Criterio de Leibniz, segue pelo
exerccio 3.25 que

n=1
(1)
n
n
n + 1
diverge.
3.26- Seja a
n
=
x
n
n
x
. Entao:
L = lim
n
[a
n+1
[
[a
n
[
= lim
n
[x[
n+1
(n + 1)
x
[x[
n
n
x
= lim
n
[x[
n+1
(n + 1)
x

n
x
[x[
n
=
= [x[ lim
n
_
n
n + 1
_
x
= [x[ lim
n
1
_
1 +
1
n
_
x
= [x[
Logo, pelo teste da razao

n=1
x
n
n
x
converge se [x[ < 1, ou seja, se 1 < x < 1.
Agora, se x = 1 temos:

n=1
x
n
n
x
=

n=1
1
n
47
que diverge, e se x = 1 temos:

n=1
x
n
n
x
=

n=1
(1)
n
n
que tambem diverge.
Logo,

n=1
x
n
n
x
converge para [x[ < 1.
3.27- Basta mostrar que a seq uencia das somas pariais e limitada. Sejam
s
n
= a
1
+a
2
+. . . +a
n
,
t
k
= a
1
+ 2a
2
+. . . + 2
k
a
2
k
Para n < 2
k
,
s
n
a
1
+ (a
2
+a
3
) +. . . + (a
2
k +. . . +a
2
k+1
1
)
de modo que
s
n
t
k
(11)
Por outro lado, se n > 2
k
,
s
n
a
1
+ (a
2
+a
3
) +. . . + (a
2
k +. . . +a
2
k)

1
2
a
1
+a
2
+ 2a
4
+. . . + 2
k1
a
2
k =
1
2
t
k
de modo que
2s
n
t
k
(12)
Por (11) e (12), as seq uencias sao ambas limitadas ou ambas ilimitadas, o que
demonstra o resultado.
3.28- Sejam
A
n
=
n

k=0
a
k
, B
n
=
n

k=0
b
k
, C
n
=
n

k=0
c
k
,
n
= B
n
B
Entao,
C
n
= a
0
b
0
+ (a
0
b
1
+a
1
b
0
) +. . . + (a
0
b
n
+a
1
b
n1
+. . . +a
n
b
0
)
= a
0
B
n
+a
1
B
n1
+. . . +a
n
B
0
= a
0
(B +
n
) +a
1
(B +
n1
) +. . . +a
n
(B +
0
)
= A
n
B +a
0

n
+a
1

n1
+. . . +a
n

0
Seja

n
= a
0

n
+a
1

n1
+. . . +a
n

0
48
Queremos mostrar que C
n
AB. Como A
n
B AB, basta mostrar que
lim
n

n
= 0 (13)
Seja
=

n=0
[a
n
[
Dado > 0, como

n=0
b
n
= B,
n
0. Podemos, pois, escolher N tal que
[
n
[ para n N. Logo
[
n
[ [
0
a
n
+. . . +
N
a
nN
[ +[
N+1
a
nN1
+. . . +
n
a
0
[
[
0
a
n
+. . . +
N
a
nN
[ +
Mantendo N xo e fazendo k , obtemos
lim
n
sup [
n
[ ,
visto que a
k
0 quando k . Sendo arbitrario, (13) esta demonstrado.
3.29- Dena:
a
+
n
=
1
2
([a
n
[ +a
n
) e a

n
=
1
2
([a
n
[ +a
n
)
Entao:
a
+
n
a

n
=
[a
n
[
2
+
a
n
2

[a
n
[
2
+
a
n
2
= a
n
e
a
+
n
+a

n
=
[a
n
[
2
+
a
n
2
+
[a
n
[
2

a
n
2
= [a
n
[
donde 0 a
+
n
[a
n
[ e 0 a

n
[a
n
[. Como

n=1
a
n
e absolutamente convergente,
entao segue pelo Criterio da Comparacao, que

n=1
a
+
n
e

n=1
a

n
sao convergentes.
Logo, para qualquer permutacao : N N temos:

n=1
a
+
n
=

n=1
a
+
(n)
e

n=1
a

n
=

n=1
a

(n)
e portanto,

n=1
(a
+
n
a

n
) =

n=1
(a
+
(n)
a

n=1
a
n
=

n=1
a
(n)
49
Exerccio Complementar 1- A serie

n=1
(1)
n
(
n

a 1), a > 1 e convergente

ou divergente? Justique sua resposta.
Solucao:

E convergente. De fato, mostremos primeiro que a
n
=
n

a 1 e
decrescente. Com efeito, mostra-se facilmente por inducao que
n+1

a <
n

a,
n N, donde segue que:
n+1

a 1 <
n

a 1, n N a
n+1
< a
n
, n N
Logo (a
n
) e decrescente, e como a > 1 temos:
n

a > 1
n

a 1 > 0 a
n
> 0
ou seja, (a
n
) e uma seq uencia de termos positivos. Temos ainda que:
lim
n
a
n
= lim
n
(
n

a 1) = lim
n
n

a lim
n
1 = 1 1 = 0
Portanto, pelo Criterio de Leibniz

n=1
(1)
n
(
n

a 1)
e convergente.
50
Captulo 4
4.2- Sejam (x
n
) = (x
1
, x
2
, . . .) e (y
n
) = (y
1
, y
2
, . . .) seq uencias limitadas tais que
x
n
y
n
, n N e considere os conjuntos
A
n
= x
n
, x
n+1
, . . . e B
n
= y
n
, y
n+1
, . . .
que evidentemente sao limitados. Temos:
inf
rn
x
r
x
s
y
s
, s n
ou ainda,
inf
rn
inf
sn
y
s
Tomando o limite nesta ultima desigualdade, quando n conclumos que:
lim
n
inf A
n
lim
n
inf B
n
liminf x
n
liminf y
n
Do mesmo modo temos:
x
s
y
s
sup
rn
y
r
, s n
ou seja,
sup
sn
x
s
sup
rn
y
r
Tomando o limite quando n obtemos:
lim
n
sup A
n
lim
n
sup B
n
limsup x
n
limsup y
n
4.3-
a) Seja = liminf x
n
. Entao (x
n
k
) tal que lim
n
x
n
k
= . Logo x
n
k
c c,
quando k . Agora se x
r
s
c , (x
r
s
) sendo uma subseq uencia qualquer de
(x
n
), entao, desde que c > 0,
x
r
s
=
x
r
s
c
c


c
Mas,

c
c. Logo uma subseq uencia qualquer de (cx
n
) nao possui um
limite menor que c. Portanto,
liminf(cx
n
) = c = c liminf x
n
Agora seja = limsup x
n
. Entao (x
n
k
) tal que lim
n
x
n
k
= . Logo cx
n
k
c,
quando k . Se x
r
s
c L, qualquer que seja (x
r
s
), entao, como c > 0 temos:
x
r
s
=
x
r
s
c
c

L
c
51
Mas,
L
c
L c. Portanto limsup(cx
n
) = c = c limsup x
n
.
Obs: Em ambos os casos, se for c = 0 entao x
n
k
0 = 0 ou 0.
b) Seja c < 0. Entao c = M, onde M > 0. Note que:
inf
rn
(x
r
) = sup
rn
(x
r
) liminf(x
r
) = limsup x
n
Logo:
liminf(cx
n
) = liminf(Mx
n
) = limsup(Mx
n
) = M limsup x
n
= c limsup x
n
e
limsup(cx
n
) = limsup(Mx
n
) = liminf(Mx
n
) = M liminf x
n
= c liminf x
n
4.4- Temos:
inf
rn
x
r
+ inf
rn
y
r
x
s
+y
s
, s n inf x
r
+ inf y
r
inf(x
s
+y
s
)
Tomando o limite quando n obtemos:
liminf x
n
+ liminf y
n
liminf(x
n
+y
n
)
Agora:
x
s
+y
s
sup
rn
x
r
+ sup
rn
y
r
, s n sup(x
s
+y
s
) sup
rn
x
r
+ sup
rn
y
r
Tomando o limite quando n conclui-se:
limsup(x
n
+y
n
) limsup x
n
+ limsup y
n
4.6- Seja X = x
1
, x
2
, . . . , x
n
um conjunto nito de R. Podemos admitir que a
enumeracao foi feita de modo que x
1
< x
2
< . . . < x
n
. Entao
R X = (, x
1
) (x
1
, x
2
) . . . (x
n1
, x
n
) (x
n
, +)
donde segue que R X e aberto. Portanto X e fechado.
4.18-
a) Seja (A

)
L
, onde L e um conjunto de ndices, uma famlia qualquer de
conjuntos fechados de R. Mostremos que

L
A

e um conjunto fechado. Temos

pelo exerccio 1.34 que
R

L
A

=
_
L
(R A

)
52
Como dada A

e fechado entao cada R A

e aberto, e assim,
_
L
(R A

)
tambem e aberto. Logo R

L
A

e aberto, donde segue que

L
A

e fechado.
b) Seja A

1
, A

2
, . . ., A

n
uma colecao nita de conjuntos fechados de R.
Mostremos que
n
_
i=1
A

i
e um conjunto fechado de R. Temos pelo exerccio 1.34
que
R
n
_
i=1
A

i
=
n

i=1
(R A

i
)
Como dada A

i
, i = 1, . . . , n e fechado, entao R A

i
, i = 1, . . . , n e aberto, e
assim,

i=1
(RA

i
) e aberto. Logo R
n
_
i=1
A

i
e aberto, donde segue que

_
i=1
A

i
e fechado.
4.8- Temos, A R, R = int(A) int(R A) A, uniao disjunta.
Suponha que A e aberto. Entao A = int(A). Logo A A = int(A) A = .
Reciprocamente, suponha que A nao e aberto. Entao x A, tal que x nao
e ponto interior de A. Logo, > 0, V

(x) contem pontos de R A, ou seja,

x A A ,= o que e um absurdo.
4.9- Mostremos que S = S S. De fato, suponha que x S, mas x / S (o
caso em que x S e evidente). Como x S, entao toda vizinhanca de x contem
ao menos um ponto de S e como x / S, entao x RS. Logo, toda vizinhanca
de x contem um ponto de S e um ponto de R S, a saber, o proprio x. Assim,
x S, donde segue que x S S, isto e, S S S.
Mostremos agora que SS S. De fato, se x SS, entao x S ou x S.
Se x S, entao x S. Se x S, entao toda vizinhanca de x contem pontos de
S e de R S, e portanto, x S. Dai conclumo-se a igualdade.
Conseq uentemente S e fechado S = S S = S S S S.
4.10- Temos que X X Y e Y X Y , donde segue que X X Y e
Y X Y . Logo X Y X Y .
Reciprocamente, se a X Y , entao a = limz
n
, com z
n
X Y . Para innitos
valores de n, z
n
esta em X (donde a X) ou z
n
esta em Y (donde a Y ). Logo
a X Y , e portanto X Y X Y , donde segue a igualdade.
Alem disso, XY X e XY Y , donde segue que X Y X e X Y Y .
Logo X Y X Y .
Considere agora X = [0, 1) e Y = (1, 2]. Entao X Y = . Logo, = X Y
X Y = [0, 1] [1, 2] = 1.
53
4.11- Se x n ao e ponto de acumulacao de S, entao existe um intervalo aberto I
contendo x, tal que I S x. Nenhum elemento de I e ponto de acumulacao
de S. Logo R S

e aberto e portanto S

e fechado.
4.12- As inclusoes [a
n+1
, b
n+1
] [a
n
, b
n
] signicam que
a
1
a
2
. . . a
n
. . . b
n
. . . b
2
b
1
Assim o comjunto A = a
n
; n N e limitado superiormente. Seja x
0
= sup A.
Entao a
n
x
0
, n N e como cada b
n
e cota superior para A temos que x
0
b
n
,
n N. Portanto x
0
[a
n
, b
n
], n N, ou seja,

nN
F
n
,= . Seja agora y
0
outro
n umero real tal que a
n
y
0
b
n
, n N. Entao temos:
a
n
x
0
b
n
, n N
a
n
y
0
b
n
, n N
ou ainda
a
n
x
0
b
n
, n N
b
n
y
0
a
n
, n N
donde segue que:
(b
n
a
n
) x
0
y
0
b
n
a
n
, n N
o que e equivalente a
[x
0
y
0
[ b
n
a
n
, n N
Logo, se b
n
a
n
0, temos que x
0
= y
0
, como queramos.
4.13-
a) Suponha que

nN
I
n
,= . Entao existe x R tal que x

nN
I
n
. Logo,
x I
n
=
_
0,
1
n
_
, n N, isto e: 0 < x <
1
n
, n N, o que e impossvel. Logo

nN
I
n
= .
b) Suponha que

nN

n
,= . Entao existe x R tal que x

nN

n
. Logo
x
n
= (n, +), n N, isto e: n x, n N. Mas entao x e cota superior
de N, ou seja, N seria limitado superiormente o que e um absurdo.
54
4.14- Se C e denso em D entao:
C D C
e se D e denso em E entao:
D E D
Logo:
C D E D C = C C E C
e porntanto C e denso em E.
4.15- Suponha que S

,= . Entao S possui algum ponto de acumulacao. Seja

a R um ponto de acumulacao de S. Pelo exerccio 4.16, toda vizinhanca de a
contem innitos pontos de S. Mas entao S nao e nito, o que e um absurdo.
4.16- Suponha que x
0
e ponto de acumulacao de S. Entao n N, podemos
encontrar um ponto x
n
S, x
n
,= x
0
na vizinhanca
_
x
0

1
n
, x
0
+
1
n
_
. Logo,
limx
n
= x
0
, o que mostra que x
0
e limite de uma seq uencia de pontos x
n

S x
0
. Da, dado > 0, N N tal que
[x
n
x
0
[ < , n N x
n
(x
0
, x
0
+), n N
ou seja, toda vizinhanca de x
0
contem um innidade de pontos de S.
Reciprocamente, suponha que toda vizinhanca de x
0
contem uma innidade de
pontos de S. Entao toda vizinhanca de x
0
contem algum ponto de S diferente de
x
0
, donde segue que x
0
S

.
4.17- Sejam A
1
e A
2
conjuntos abertos. Se x A
1
A
2
, entao x A
1
e x A
2
.
Como A
1
e A
2
sao abertos, existem
1
e
2
positivos tais que (x
1
, x+
2
) A
1
e (x
2
, x +
2
) A
2
. Seja = min
1
,
2
. Entao (x , x + ) A
1
e
(x , x +) A
2
, ou seja, (x , x +) A
1
A
2
, donde segue que x e ponto
interior de A
1
A
2
, e portanto, A
1
A
2
e aberto.
Considere agora A
1
, A
2
, . . ., A
n
, uma colecao nita de conjuntos abertos. Temos
que A
1
A
2
e aberto. Logo, (A
1
A
2
) A
3
tambem e aberto e prosseguindo de
tal forma concluimos indutivamente que A
1
A
2
. . . A
n
e aberto.
Agora seja (A

)
L
uma famlia qualquer de conjuntos abertos. Se x A =
_
L
A

, entao x A

para algum L. Como A

e aberto, existe > 0 tal

que (x , x + ) A

A. Logo todo ponto x A e interior, e portanto, A e

aberto.
55
4.7- Seja K
1
, K
2
, . . . , K
n
uma colecao nita de subconjuntos compactos de R.
Mostremos que

_
i=1
K
i
e compacto. Para isto msotremos primeiro que

_
i=1
K
i
e
limitado. De fato, como cada K
i
, i = 1, 2, . . . , n e limitado, entao existem
i
e
i
tais que, K
i
[
i
,
i
]. Sejam
= min
1
,
2
, . . . ,
n
e = max
1
,
2
, . . . ,
n

Entao, K
i
[
i
,
i
] [, ], donde segue que,

_
i=1
K
i
[, ]. Logo,

_
i=1
K
i
e
limitado.
Armamos que

_
i=1
K
i
e fechado. De fato, como cada K
i
, i = 1, 2, . . . , n e
compacto entao cada K
i
e fechado. Mas a uniao nita de conjuntos fechados
tambem e fechada, donde conclui-se que

_
i=1
K
i
e fechado. Portanto

_
i=1
K
i
e
compacto.
Seja agora K

uma colecao qualquer de subconjuntos compactos de R.

Mostremos que

e compacto. Para isto mostremos primeiro que

e limitado. De fato, como cada K

e compacto, qualquer que seja , temos

que K

e limitado. Logo existem a, b R tais que: K

[a, b]. Mas,

[a, b]

[a, b]
donde segue que

e limitado.
Armamos que

e fechado. De fato, seja . Temos que K

e compacto,
e portanto fechado. Mas, como a intersecao qualquer de conjuntos fechados e
fechado, conclui-se que

e fechado. Portanto

e compacto.
4.19- Seja a R. Temos que a e fechado, pois
R a = (, a) (a, +)
e aberto. Da, considere todos os elementos pertencentes ao intervalo (a, b),
a, b R. Note que a uniao desses elementos e igual a (a, b), e cada elemento
e um conjunto unitario fechado. Mas a uniao desses conjuntos e (a, b) que e
aberto.
56
4.20- Considere a famlia (A
n
)
nN
onde,
A
n
=
_

1
n
,
1
n
_
Vamos mostrar que

n=1
A
n
= 0 (note que 0 nao e aberto).
Obviamente, 0

n=1
A
n
, pois 0
_

1
n
,
1
n
_
, n N.
Seja x
_

1
n
,
1
n
_
. Entao x A
n
, n N, ou seja, x
_

1
n
,
1
n
_
, n. Logo
[x[ <
1
n
, n N
ou ainda,
0 [x[ <
1
n
, n N
donde segue que x = 0.
57
Captulo 5
5.1-
i) Dado > 0 devemos determinar > 0 tal que 0 < [x 1[ < implique
[x
3
1[ < . Para isto restringiremo-nos aos pontos x tais que [x 1[ < 1. Neste
caso temos
[x[ = [x 1 + 1[ [x 1[ + 1 < 2 [x
2
[ < 4
Logo
[f(x) 1[ = [x
3
1[ = [(x 1)(x
2
+x + 1)[ = [x 1[[x
2
+x + 1[
([x
2
[ +[x[ + 1)[x 1[ < 7[x 1[
Assim, tome = min1, /7 e temos
0 < [x 1[ < [x
3
1[ < 7 [x
3
1[ <
ii) Temos:
x
2
1
x 1
=
(x + 1)(x 1)
x 1
= x + 1
Logo, queremos mostrar que lim
x1
(x + 1) = 2. De fato, dado > 0, tome = e
teremos:
0 < [x 1[ < [f(x) 2[ = [x + 1 2[ = [x 1[ < =
iii) De fato, dado > 0 tome =

2
e teremos que se 0 < [x 2[ < , entao:
[f(x) 3[ = [2x 1 3[ = [2x 4[ = 2[x 2[ < 2

2
=
iv) De fato, dado > 0, tome = e temos que, se 0 < [x a[ < entao:
[f(x) cos a[ = [ cos x cos a[ < [x a[ <
5.2- Como lim
xa
f(x) = L, entao dado > 0, > 0 tal que
0 < [x a[ < [f(x) L[ <
Em particular, para = 1 temos:
0 < [x a[ < [f(x) L[ < 1 [f(x) L[ +[L[ < 1 +[L[
[f(x) L +L[ < 1 +[L[ [f(x)[ < 1 +[L[
Como 1 +[L[ > 0, faca c = 1 +[L[ e teremos
[f(x)[ < c, x (a , a +)
58
Portanto, existe uma vizinhanca, a saber (a , a +) na qual f e limitada.
5.3- Como lim
xa
f(x) = L entao, pela proposicao 5.2, para toda seq uencia (x
n
) S,
com x
n
,= a, n N e limx
n
= a, tem-se limf(x
n
) = L. Logo, lim
_
f(x
n
) =

L
e novamente utilizando a proposicao 5.2, segue que, lim
xa
_
f(x) =

L.
5.4-
a) Temos que g(x) = sin x e limitada, pois [ sin x[ 1, x R. Agora seja
h(x) = 1 +x
2
. Temos:
[x[
2
0 [x
2
[ + 1 1 [1 +x
2
[ 1, x S
Logo, = 1 > 0 e tal que [h(x)[ , x S e pela proposicao 5.1, g/h e
limitada, isto e,
f(x) =
sin x
1 +x
2
e limitada.
b) Temos:
[f(x)[ =
[ sin x[

x

1

x
1, x [1, +)
Agora, se x (0, 1), temos:
f(x) =
sin x

x
=

x
sin x
x
e [ sin x[ [x[, x (0, 1)
Logo,
[f(x)[ =

x
[ sin x[
[x[

x <

1 = 1
c)
d)
5.6- Suponha que f + g e limitada em A. Como f e limitada em A, entao f
tambem e limitada em A. Logo (f +g) f e limitada, isto e, g e limitada em A,
o que e um absurdo. Portanto f +g e limitada em A.
5.7- Sejam f(x) =
1
x
e g(x) = x denidas no intervalo A = (0, ). Temos que f
e g sao ambas ilimitadas, mas f(x) g(x) = 1 que e limitada.
59
5.8- Temos que: [f(x)[ f(x) [f(x)[, x V

(a). Logo, como

lim
xa
([f(x)[) = lim
xa
[f(x)[ = 0, segue pelo Teorema do Confronto que lim
xa
f(x) =
0.
5.9-
a) Temos:
lim
x0

x + 1 1
x
= lim
x0
_
(

x + 1 1)
x
(

x + 1 + 1)
(

x + 1 + 1)
_
=
= lim
x0
_
x + 1 1
x(

x + 1 + 1)
_
= lim
x0
1

x + 1 + 1
=
1
2
b) Temos:
lim
x
(

x + 1

x) = lim
x
_
(

x + 1

x)
(

x + 1 +

x)
(

x + 1 +

x)
_
=
= lim
x
_
x + 1 x

x + 1 +

x
_
= lim
x
_
1

x + 1 +

x
_
= 0
5.10-
a) Sejam A = f(S) = f(x); x S, B = g(S) = g(x); x S e
C = (f + g)(S) = f(x) + g(x); x S. Temos que C A + B, donde
segue que sup C = sup(f +g) sup(A +B) = sup f + sup g.
b) Segue imediatamente que inf(f +g) inf f + inf g.
c) Temos que sup(cf) = supc f(x); x S = sup(cA) = c sup A = c sup f, se
c 0. Analogamente, inf(cf) = c inf f se c 0.
d) Analoga a c).
5.12- Como lim
xa
f(x) = + entao para cada M > 0, > 0 tal que:
0 < [x a[ < f(x) > M
Mas, f(x) g(x), x V

(a) g(x) > M. Logo, para cada M > 0, > 0 tal

que
0 < [x a[ < g(x) > M
ou seja, lim
xa
g(x) = +.
5.13-
60
a) Como lim
xa
f(x) = +, entao dado M > 0, > 0 tal que
0 < [x a[ < f(x) > M
Logo, dado =
1
M
> 0, > 0 tal que
0 < [x a[ <
1
f(x)
<
1
M
Portanto lim
xa
1
f(x)
= 0.
b) Como lim
xa
f(x) = 0, entao dado M > 0, > 0 tal que
0 < [x a[ < [f(x)[ < M
Logo, dado =
1
M
, > 0 tal que
0 < [x a[ <
1
[f(x)[
>
1
M

1
f(x)

>
1
M
=
Portanto, lim
xa
1
f(x)
= .
5.14- Como lim
x
f(x) = L entao para = 1, existe a > 0 tal que [f(x) L[ < 1,
se x a, ou seja, existe a R, a > 0 tal que [f(x)[ [L[ [f(x) L[ < 1,
x a. Portanto, [f(x)[ < 1 +[L[ = M, x [a, +).
5.19- Dado > 0 seja q
0
um n umero inteiro tal que
1
q
0
< . Considere o conjunto
Q
0
=
_
p
q
Q; q < q
0
_
. Note que, em algum intervalo nito existe apenas um
n umero nito de elementos de Q
0
. Entao, existe um > 0 tal que os intervalos
(a , a) e (a, a +) nao contem elementos de Q
0
. Logo, segue que
0 <

a
p
q

< 0 f
_
p
q
_
=
1
q

1
q
0
<
e portanto lim
xa
f(x) = 0.
61
Captulo 6
6.1- Seja x
0
,= 0 um n umero real. Entao existem seq uencias (x
n
) em Q, com
x
n
> x
0
, n N e tal que x
n
x
0
e ( x) em RQ, com x > x
0
, n N e tal que
x x
0
. Logo, f(x
n
) = x
n
e f( x
n
) = 0, o que implica limf(x
n
) = limx
n
= x
0
e limf( x
n
) = lim0 = 0. Como x
0
,= 0, entao, lim
xx
+
0
f(x) nao existe.
Analogamente, mostra-se que lim
xx

0
f(x) nao existe e portanto, as descon-
tinuidades de f(x) em cada x
0
,= 0 sao de 2
a
especie.
Agora, seja (x
n
) uma seq uencia qualquer em R, tal que x
n
0. Entao (x
n
) Q
ou (x
n
) R Q. Se (x
n
) Q entao: f(x
n
) = x
n
0. Se (x
n
) R Q entao
f(x
n
) = 0 0. Logo, em qualquer caso tem-se:
x
n
0 f(x
n
) 0
Portanto lim
x0
f(x) = 0 = f(0), donde conclumos que f e contnua em 0.
6.2- Seja (x
n
) uma seq uencia de n umeros reais qualquer tal que x
n
x
0
.
Como f e contnua em x
0
temos que f(x
n
) f(x
0
). Por outro lado como
f(x
n
) 0, n N, segue pelo exerccio 5.3 que,
_
f(x
n
)
_
f(x
0
), ou seja,
h(x
n
) h(x
0
), donde conclumos que h e contnua em x
0
.
6.3- Como Q e denso em R, entao dado x R existe uma seq uencia (x
n
) em Q
tal que x
n
x. Agora como (x
n
) esta em Q, entao f(x
n
) = 0, n N. Sendo
f contnua em R, temos que f(x) = limf(x
n
) = lim0 = 0, ou seja, f(x) = 0,
x R.
6.4- Vamos mostrar que x
n
x f(x
n
) f(x). De fato, seja (x
n
) uma
seq uencia em R tal que x
n
x. Entao x
n
x 0 e como f e contnua
em x
0
= 0 entao f(x
n
x) f(0), ou seja, f(x
n
x) 0, ou ainda,
f(x
n
) f(x) 0, e portanto, f(x
n
) f(x). Logo f e contnua em R, como
queramos.
6.5- Em particular, f(0) = 0, pois [f(0)[ [g(0)[ = 0. Seja (x
n
) uma seq uencia
qualquer de n umeros reais, tal que x
n
0. Correspondente ao > 0 da hipotese
n
0
N, tal que, [x
n
[ < , n n
0
, ou seja, x
n
V

(0), n n
0
. Logo,
[f(x
n
)[ [g(x
n
)[, n ,= n
0
()
Como g e contnua em x
0
= 0, temos, g(x
n
) g(0) = 0. De () temos que:
f(x
n
) 0 = f(0)
62
ou seja, f e contnua em x
0
= 0.
6.6- Dena a funcao:

f(x) =
_

_
f(x) se x (a, b)
lim
xa
+
f(x) se x = a
lim
xb

f(x) se x = b
Temos que

f e contnua em [a, b]. Logo

f e limitada em [a, b] e portanto f =

f[
(a,b)
e limitada em (a, b).
6.7- Suponha f(a) < f(b) e vamos mostrar que f e extritamente crescente. Se
f nao fosse extritamente crescente existiriam x, y [a, b] com x < y, porem
f(x) > f(y). Ha duas possibilidades:
i) f(a) < f(y) ou
ii) f(a) > f(y)
Se f(a) < f(y), entao f(a) < f(y) < f(x). Como f e contnua, entao pelo
Teorema do Valor Intermediario, existe x
0
(a, x) tal que f(x
0
) = f(y). Mas
x
0
,= y, pois, x < y. Logo f nao e injetiva, que e um absurdo.
Se f(a) > f(y), entao temos f(y) < f(a) < f(b). Como f e contnua, entao pelo
Teorema de Valor Intermediario, existe x
0
(y, b) tal que f(y
0
) = f(a). Mas,
y
0
,= a, pois a < y
0
. Logo f nao e injetiva, que e um absurdo.
6.8- Colocando a
n
x
n
em evidencia em p(x) temos:
p(x) = a
n
x
n
_
a
0
a
n

1
x
n
+
a
1
a
n

1
x
n1
+. . . +
a
n1
a
n

1
x
+ 1
_
onde r(x) =
a
0
a
n

1
x
n
+
a
1
a
n

1
x
n1
+. . . +
a
n1
a
n

1
x
+ 1.

E evidente que lim

x+
r(x) = 1 lim
x
r(x). Agora lim
x+
(a
n
x
n
) = + e
lim
x
(a
n
x
n
) = , em virtude de ser n mpar. Logo:
lim
x+
p(x) = + e lim
x
p(x) =
Estes limites mostram que p(R) e ilimitado nos dois sentidos, ou seja, p(R) = R.
Logo p : R R e sobrejetiva, donde segue que existe c R tal que p(c) = 0,
como queramos.
63
6.13- Temos:
maxf(x), g(x) =
1
2
f(x) +g(x) +[f(x) g(x)[
Como f e g s ao contnuas, segue que
1
2
f(x) +g(x) +[f(x) g(x)[ e contnua,
ou seja, h(x) e contnua. Do mesmo modo segue que k(x) = minf(x), g(x) =
1
2
f(x) +g(x) [f(x) g(x)[ e contnua.
6.14- Seja f : I R lipschitziana, isto e, existe > 0 tal que:
[f(x) f(y)[ [x y[, x, y I
Dado > 0, tome =

e teremos:
[x y[ < [f(x) f(y)[ [x y[ <

=
Portanto f e contnua em I.
6.15- Temos:
f(x) f(y) = x
3
y
3
= (x y)(x
2
+xy +y
2
)
Logo:
[f(x) f(y)[ = [x
3
y
3
[ = [x y[[x
2
+xy +y
2
[ [x y[([x[
2
+[x[[y[ +[y[
2
)
Como x [, ] e y [, ] temos: [x[ e [y[ . Portanto:
[f(x) f(y)[ [x y[(
2
+
2
+
2
) = 3
2
[x y[, x, y [, ]
e fazendo = 3
2
> 0 conclumos que:
[f(x) f(y)[ [x y[, x, y [, ]
como queramos.
6.16- Como toda funcao da forma x, R e contnua, basta mostrar que
f(x) = x, x R e R. De fato, como x = 1 x, x R, temos:
f(x) = f(1 x) = x f(1)
Fazendo = f(1) conclumos que f(x) = x.
64
6.17- Dado > 0 seja q
0
N tal que
1
q
0
< . Agora, considere o conjunto
Q
0
=
_
p
q
, com q < q
0
_
. Note que, em qualquer intervalo limitado de R, existe
somente um n umero nito de elementos de Q
0
, pois, quando q q
0
tem-se
p
q
/ Q
0
.
Considere [a, b] R e seja c [a, b] entao e possvel exibir uma vizinhanca de
c que nao contem nenhum ponto de Q
0
, isto e, existe > 0 tal que (c , c) e
(c, c +) nao contem elementos de Q
0
. Logo,
0 <

c
p
q

<

f
_
p
q
_
0

=
1
q

1
q
0
< lim
xc
f(x) = 0 se c Q
Obviamente, lim
xc
f(x) = 0 se c R Q. Agora, dado c R ou c Q ou
c R Q. Se c Q entao:
lim
xc
f(x) = 0 ,=
1
q
= f(c)
Se c RQ entao: lim
xc
f(x) = 0 = f(c). Logo, f e contnua apenas nos n umeros
irracionais.
6.18- Temos:
f(0) = f(0 + 0) = f(0) +f(0) f(0) = 0
f(n) = f(n 1) = f(1 +. . . + 1) = f(1) +. . . +f(1) = nf(1), n N
f(1) = f(1 + 1 1) = f(1) +f(1) +f(1) 0 = f(1) +f(1)
f(1) = 1 f(1)
Se k Z, k < 0, entao k = n, com n N
f(k) = f(n) = f(n (1)) = f(1) +. . . +f(1) = 1f(1) . . . 1f(1)
= 1 (f(1) +. . . +f(1)) = 1 nf(1) =
= n f(1) = k f(1), k Z, k < 0
Sejam p, q Z, q ,= 0 e mdc(p, q) = 1. Entao:
pf(1) = f(p 1) = f
_
p
q
p
_
= f
_
p
q
+. . . +
p
q
_
= f
_
p
q
_
+. . . +f
_
p
q
_
= qf
_
p
q
_
f
_
p
q
_
=
p
q
f(1)
Se = f(1) entao: f
_
p
q
_
=
p
q
.
65
Seja x R. Entao existe uma seq uencia (x
n
) em Q tal que x
n
x. Como f e
contnua em R, entao
f(x) = limf(x
n
) = limx
n
= limx
n
= x f(x) = x, x R
6.20- Dena g : R R tal que
g(x) =
_
_
_
f(x) se x [a, b]
f(a) se x < a
f(b) se x > b
Note que g(x) = f(x), x [a, b] e g e contnua em R.
6.21- Como lim
x
f(x) = 0, entao dado > 0, k > 0 tal que
[x[ > k [f(x)[ <
Agora em [k, k], como f e contnua entao e limitada, ou seja, > 0 tal que
[f(x)[ , x [k, k]. Seja C = max, entao: [f(x)[ C, x R.
6.25- Como T e limitado, entao existe C > 0 tal que

f(x) f(y)
x y

C, x, y I, x ,= y
ou ainda [f(x) f(y)[ C[x y[, x, y I, x ,= y. Logo, dado > 0, tome
=

C
e teremos:
[x y[ < [f(x) f(y)[ C[x y[ < C

C
=
donde segue que f e uniformemente contnua em I.
6.26- Como g(x) = x
2
e contnua, entao f(x) =

x tambem e contnua (pois e
a inversa de g) e portanto f e uniformemente contnua.
66
Captulo 7
7.1- Se x 0 entao:
f

(x) = (x
3
)

= 3x
2
e f

(x) = 6(x), x R
Agora se x < 0 entao:
f

(x) = [(x)
3
]

= 3x
2
e f

(x) = 6x, x R
Mostremos que f

nao e derivavel em x = 0. De fato,

lim
h0
+
f

(0 +h) f

(0)
h
= lim
h0
+
6h
h
= 6
e
lim
h0

(0 +h) f

(0)
h
= lim
h0
+
6h
h
= 6
Como f

d
(0) = 6 ,= 6 = f

e
(0), segue que f

nao e derivavel em x = 0.
7.2- Temos:
f

d
(x) = a e f

e
(x) = 3x
2
donde temos: f

d
(1) = a e f

e
(1) = 3. Logo para que f seja derivavel em x
0
= 1
devemos ter: f

d
(1) = a = f

e
(1) = 3 a = 3. Devemos ter tambem:
1
3
= 3 1 +b b = 2
7.3- Temos, para x ,= 0, e pela proposicao 7.3 que f e derivavel e
f

(x) = 2x sin
_
1
x
2
_
+x
2
_

2
x
3
_
cos
_
1
x
2
_
= 2x sin
_
1
x
2
_

2
x
cos
_
1
x
2
_
Para x
0
= 0 temos:
f(x) f(x
0
)
x x
0
=
x
2
sin
_
1
x
2
_
x
= x sin
_
1
x
2
_
Como
lim
x0
_
x sin
_
1
x
2
__
= 0
segue que f e derivavel em x
0
= 0 e f

(0) = 0.
7.4- Mostremos que f nao e derivavel em x
0
= 1. De fato,
f(x) f(x
0
)
x x
0
=
1 [1 x[ 1
x 1
=
[1 x[
1 x
67
Note que: [1 x[ = 1 x, se 1 x 0 x 1 ou [1 x[ = (1 x) = x 1
se 1 x < 0 x > 1. Logo:
lim
x1
+
f(x) f(x
0
)
x x
0
= lim
x1
+
(1 x)
1 x
= lim
x1
+
(1) = 1
e
lim
x1

f(x) f(x
0
)
x x
0
= lim
x1

1 x
1 x
= lim
x1

1 = 1
donde segue que f

(x
0
) nao existe e portanto f nao e derivavel em (a, b), nao
satisfazendo assim o Teorema de Rolle.
7.6- Temos:
f
_
a +
h
2
_
f
_
a
h
2
_
h
=
1
2
_
f
_
a +
h
2
_
f(a)
h
2
_
+
1
2
_
f(a) f
_
a
h
2
_
h
2
_
=
1
2
_
f
_
a +
h
2
_
f(a)
h
2
_

1
2
_
f
_
a
h
2
_
f(a)
h
2
_
=
1
2
_
f
_
a +
h
2
_
f(a)
h
2
_
+
1
2
_
f
_
a
h
2
_
f(a)

_
h
2
_
_
=
1
2
_
f
_
a +
h
2
_
f(a)
h
2
_
+
1
2
_
f
_
a +
_

h
2
__
f(a)
_

h
2
_
_
Agora, tomando o limite quando h 0 temos:
lim
h0
f
_
a +
h
2
_
f
_
a
h
2
_
h
=
1
2
lim
h0
_
f
_
a +
h
2
_
f(a)
h
2
_
+
+
1
2
lim
h0
_
f
_
a +
_

h
2
__
f(a)
_

h
2
_
_
=
1
2
f

(a) +
1
2
f

(a) = f(a)
7.7- Vamos aplicar a formula de Taylor `a funcao f no intervalo [ah, a+h] com
h > 0. Temos que:
f(a +h) = f(a) +f

(a) h +
f

() h
2
2
(14)
onde [a, a +h] e
f(a h) = f(a) +f

(a) (h) +
f

() (h)
2
2
(15)
68
onde [a h, a].
Somando (14) e (15) membro a membro temos:
f(a +h) +f(a h) = 2f(a) +
f

() +f

()
2
h
2

f(a +h) +f(a h) 2f(a)

h
2
=
1
2
(f

() +f

())
Mas, f

e contnua em x = a de modo que quando h 0 entao: a e

a, e isto acarreta que f

() f

(a) e f

() f

(a). Assim temos:

lim
h0
f(a +h) +f(a h) 2f(a)
h
2
=
1
2
[f

(a) +f

(a)] = f

(a)
7.8- Fixemos x
0
= y R e seja x R qualquer. Entao
[f(x) f(x
0
)[ (x x
0
)
2
= [x x
0
[
2

[f(x) f(x
0
)[
[x x
0
[
[x x
0
[, se x ,= x
0
Logo:
0 = lim
xx
0

f(x) f(x
0
)
x x
0

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

(x
0
) = 0, x
0
R
Portanto f e constante.
7.9- Considere a funcao F : [0, 1] R tal que
F(x) = c
0
x +
c
1
2
x
2
+. . . +
c
n1
n
x
n
+
c
n
n + 1
x
n+1
Temos:
F(0) = 0 e F(1) = c
0
+
c
1
2
+. . . +
c
n1
n
+
c
n
n + 1
Como F esta nas condicoes do Teorema de Rolle, existe x
0
(0, 1) tal que
F

(x
0
) = 0. Mas
F

(x) = c
0
+c
1
x +. . . +c
n1
x
n1
+c
n
x
n
ou seja, existe x
0
(0, 1) tal que
c
0
+c
1
x +. . . +c
n1
x
n1
+c
n
x
n
= 0
7.10- Seja x > 0 e apliquemos o Teorema do Valor Medio a f no intervalo
[x, x + 1], ou seja, existe x
0
(x, x + 1) tal que:
f

(x
0
) = f(x + 1) f(x) = g(x)
69
Portanto
0 = lim
x+
f(x
0
) = lim
x+
(f(x + 1) f(x)) = lim
x+
g(x) lim
x+
g(x) = 0
7.11- Basta mostrar que g

(x) > 0, x > 0. Temos:

g

(x) =
xf

(x) f(x)
x
2
Usando o Teorema do Valor Medio para f no intervalo [0, x] temos que (0, x)
tal que
f

() =
f(x) f(0)
x 0
xf

() = f(x)
Como f

e monotona crescente temos:

< x f

() < f

(x)
f(x)
x
< f

(x) f(x) < xf

(x) xf

(x) f(x) > 0

Portanto, g

(x) > 0, x > 0.

7.12- Seja h > 0 tal que x
0
+ h [x
0
, b). Entao f e contnua em x
0
, x
0
+ h] e
derivavel em (x
0
, x
0
+ h). Usando o Teorema do Valor Medio, temos que existe
x (x
0
, x
0
+h) tal que:
f

(x) =
f(x
0
+h) f(x
0
)
h
(16)
Note que, quando h 0
+
entao x x
+
0
. Da, tomando o limite em (16)
quando h 0
+
temos:
lim
h0
+
f(x
0
+h) f(x
0
)
h
= lim
xx
+
0
f

(x)
Como lim
xx
+
0
f

(x) existe, por hipotese, entao f

d
(x
0
) tambem existe e f

d
(x
0
) =
lim
xx
+
0
f

(x).
7.13- Suponha que f

d
(a) < k < f

e
(b). Dena a funcao g(x) = f(x) kx,
x [a, b]. Entao g e derivavel em [a, b] e g

(x) = f

(x) k, x (a, b). Alem

disso, g

d
(a) = f

d
(a) k < 0 e g

e
(b) = f

e
(b) k > 0. Logo, para h > 0
sucientemente pequeno temos
g(a +h) g(a)
h
< 0 g(a +h) g(a) < 0 g(a +h) < g(a) (17)
70
Semelhantemente, para h < 0 sucientemente pequeno temos:
g(b +h) g(b)
h
> 0 g(b +h) g(b) < 0 g(b +h) < g(b) (18)
Agora, sendo g contnua em [a, b] entao g assume seu mnimo em [a, b]. Mas, as
desigualdades (17) e (18) mostram que este mnimo nao e atingido em em a nem
em b. Portanto, existe c (a, b) tal que
f(x) f(c), x [a, b]
Como g

(c) existe entao g

(c) = 0, ou seja, f

(c) = k.
7.18- Dena a funcao (x) = g(x) f(x), x [a, b]. Note que (a) = 0 e

(x) = g

(x) f

(x) 0, x [a, b]. Logo e crescente em [a, b]. Como

(a) = 0 entao (a) (x), x [a, b] (x) 0, x [a, b]. Portanto:
g(x) f(x), x [a, b].
7.19- Sejam f(x) = n(x1) e g(x) = x
n
1, ambas denidas em [1, +). Temos
que g(1) = 1
n
1 = 0 = n(1 1) = f(1) e mais:
x 1 x
n1
1 nx
n1
n g

(x) f

(x), n 1
Logo, pelo exerccio 7.18 concluimos que g(x) f(x), x 1, ou seja,
x
n
1 n(x 1), x 1 e n N.
71
Captulo 8
8.1- Vimos que:
_
b
a
f(x)dx = limS(f; P; ) = lim
n

i=1
f(
i
)(x
i
x
i1
)
onde
i
[x
i1
, x
i
]. Escolha
i
= x
i
, entao:
n

i=1
f(
i
)x
i
=
n

i=1
f(x
i
)x
i
=
f(x
1
)
n
+
f(x
2
)
n
+. . . +
f(x
n
)
n
=
=
1
n
3
+
2
2
n
3
+. . . +
n
2
n
3
=
1
2
+ 2
2
+. . . +n
2
n
3
=
=
1
6n
2
(n + 1)(2n + 1) =
1
6
_
2 +
3
n
+
1
n
2
_
Logo,
_
1
0
x
2
dx = lim
n
1
6
_
2 +
3
n
+
1
n
2
_
=
2
6
=
1
3
8.3- Para qualquer particao P de [0, 1] temos L(P, f) = 0 e portanto,
_
f = 0.
Agora, seja P
n
uma particao de [0, 1] com n subintervalos todos de comprimento
x
i
=
1
n
. Logo, temos
U(P
n
, f) =
n

i=1
M
i
x
i
=
n

i=1
x
i
1
n
=
1
n
n

i=1
x
i
=
1
n
n

i=1
i
n
=
1
n
2
n

i=1
i =
=
1
n
2

n(n + 1)
2
=
1
n
2
_
n
2
+n
2
_
=
1
2
+
1
2n
Desde que,
_
f U(P, f) para qualquer particao P, segue que:
_
f
1
2
+
1
2n
n N
Portanto,
_
f
1
2
(19)
Mas, sabemos que > 0 existe um > 0 tal que: U(P, f) <
_
f + se [[P[[ < .
Assim, para n sucientemente grande temos:
U(P
n
, f) <
_
f +
72
e portanto,
1
2
+
1
2n
<
_
f + n N
Assim,
1
2
<
_
f + > 0
Desde que, > 0 e qualquer, temos
1
2

_
f (20)
De (19) e (20) temos
_
f =
1
2
Conseq uentemente temos,
_
f ,=
_
f
o que implica que f nao e integravel.
8.4- Suponha que existe x
0
[a, b] tal que f(x
0
) > 0. Como f e contnua em x
0
existe > 0 tal que:
x (x
0
, x
0
+) [a, b] tem-se f(x) >
1
2
f(x
0
) > 0
Logo,
_
b
a
f(x)dx =
_
x
0

a
f(x)dx +
_
x
0
+
x
0

f(x)dx +
_
b
x
0
+
f(x)dx

_
x
0
+
x
0

1
2
f(x
0
)dx =
1
2
f(x
0
)
_
x
0
+
x
0

dx =
1
2
f(x
0
)2 = f(x
0
) > 0
8.5- Considere a funcao denida no intervalo [0, 1]:
f(x) =
_
1 se x Q
1 se x R Q
Essa funcao e limitada mas nao e integravel. Porem [f[ = 1 e integravel.
73
8.6- Como 0 m f(x) M entao: m
2
f
2
(x) M
2
x [a, b], o que
implica
_
b
a
m
2
dx
_
b
a
f
2
(x)dx
_
b
a
M
2
dx
m
2
(b a)
_
b
a
f
2
(x)dx M
2
(b a)
m
2

1
b a
_
b
a
f
2
(x)dxdx M
2
m
_
1
ba
_
b
a
f
2
(x)dx
_
1
2
M
8.7- Como f e contnua em [a, b] entao f
2
tambem e. Usando o primeiro teorema
da Media temos que existe c [a, b] tal que
_
b
a
f
2
(x)dx = f
2
(c)[b a]
Logo
f
2
(c) =
1
b a
_
b
a
f
2
(x)dx f(c) =
_
1
b a
_
b
a
f
2
(x)dx
_
1
2
8.8- A integrabilidade das funcoes e decorre das seguintes identidades:
(x) = max[f(x), g(x)] =
1
2
f(x) +g(x) +[f(x) g(x)[
e
(x) = min[f(x), g(x)] =
1
2
f(x) +g(x) [f(x) g(x)[
8.9- Temos,
(x) =
_
b
x
f(t)dy =
_
x
b
f(t)dy
Logo,

(x) = f(x).
8.10- Dena F(y) =
_
y
a
f(t)dy, o que implica F

(y) = f(y). Mas,

F(v(x)) =
_
v(x)
a
f(t)dt = G(x)
74
Logo, G

(x) = (F v)

(x) = F

(v(x)) v

(x) = f(v(x)) v

(x).
8.12- Seja F : [a, b] R tal que
F(x) =
_
x
c
f(t)dy, a c b
Entao: F

(x) = f(x) x [a, b]. Temos:

(x) =
_
c
(x)
f(t)dy +
_
(x)
c
f(t)dy =
=
_
(x)
c
f(t)dy +
_
(x)
c
f(t)dt = F((x)) +F((x)).
Como F, e sao derivaveis entao e derivavel e

(x) = F

((x))

(x) +F

((x))

(x) = f((x))

(x) f((x))

(x)
8.14- Temos,
_
x+p
a+p
f(t)dt
Seja t = u + p entao: dt = du e a + p = u + p u = a, x + p = u + p u = x.
Logo,
_
x+p
a+p
f(t)dt =
_
x
a
f(u +p)du =
_
x
a
f(u)du =
_
x
a
f(t)dt
8.15- Como f : [a + , b] R e limitada e integravel, entao para todo
0 < < b a existe uma particao T

, digamos, a + = x
1
< x
2
< . . . <
x
n
= b tal que S(f; T

) s(f; T

) < . Se considerarmos a particao T, onde

a = x
0
< x
1
< x
2
< . . . < x
n
= b temos:
S(f; T) s(f; T) = M
0
(x
1
x
0
) +S(f; T

) m
0
(x
1
x
0
) s(f; T

)
< + (M
0
m
0
)(x
1
x
0
) = + (M
0
m
0
) =

Portanto f e integravel em [a, b] e

_
b
a
f(x)dx existe.
8.16- Vamos mostrar inicialmente o seguinte fato: se f e limitada em [a, b] e
_
b
a+
f(x)dx existe para todo 0 < < b a entao:
_
b
a
f(x)dx existe. Desde que
f e integravel em [a +, b] existe um particao P

de [a +, b], digamos
a + = x
1
< x
2
< . . . < x
n
= b
75
tal que:
S(P

, f) s(P

, f) <
Sejam m e M e nmo e supremo de f em [a, b]. Se P e a particao a = x
0
< x
1
<
. . . < x
n
= b de [a, b] entao:
S(P, f) s(P, f) < (M m) +
Logo, f e integravel em [a, b]. Vamos utilizar este fato para resolver o nosso
problema da seguinte forma: Divida o intervalo [a, b] em um n umero nito de
subintervalos [a
k
, b
k
] tal que f e contnua em [a
k
, b
k
] exceto em um dos pontos
nais, digamos no extremo inferior a
k
.
Entao: f e contnua em [a
k+
, b
k
] para k = 1, 2, . . . , n e portanto e a integravel.
Usando o fato que demonstramos, temos que f e integravel em [a
k
, b
k
], k =
1, 2, . . . n.
Mas, f sendo integravel em cada subintervalo [a
k
, b
k
], k = 1, 2, . . . , n entao: f e
integravel em [a, b].
8.17- Vamos mostrar que f(x) = 0 exceto no ponto a e seja = f() > 0. Temos
que, para qualquer particao P

de [a, b] s(P

, f) = 0 e S(P

, f) = (x
1
x
0
).
Considere uma particao P de [a, b] tal que x
1
x
0
<

, > 0. Neste caso,

temos, S(P, f) s(P, f) < . Logo, f e integravel em [a, b]. Como
_
b
a
f = 0
entao:
_
b
a
f =
_
b
a
f =
_
b
a
f = 0
8.18- Como
_
b
a
f(x)g(x)dx = 0 g : [a, b] R contnua entao, em particular,
_
b
a
f
2
(x)dx = 0
Vamos mostrar que, f 0. Suponha o contrario, entao: [a, b] tal que
f() = ,= 0. Por continuidade, temos f
2
(x) >
1
2

2
> 0 para x . Entao:
_
b
a
f
2
(x)dx
_

f
2
(x)dx >
1
2

2
( ) > 0
que contradiz a hipotese.
76
8.19- Considere o trinomio p() =
_
b
a
(f(x) +g(x))
2
dx. Temos:
p() =
_
b
a
f(x)
2
dx + 2
_
b
a
f(x)g(x)dx +
2
_
b
a
g(x)
2
dx 0
Sendo C =
_
b
a
f(x)
2
dx, B =
_
b
a
f(x)g(x)dx e A =
_
b
a
g(x)
2
dx obtemos:
p() = A
2
+ 2B +C 0. Logo, 0, ou seja:
= (2B)
2
4AC 0 4B
2
4AC 0 B
2
AC
o que implica
__
b
a
f(x)g(x)dx
_
2

_
b
a
f(x)
2
dx
_
b
a
g(x)
2
dx
8.20- Se f ,= 0 entao: M > 0. Agora, > 0 existe um intervalo [, ] [a, b]
no qual f(x) > M . Portanto,
(M )
n
< f
n
(x) x [, ]
Por outro lado, f
n
(x) M
n
x [a, b]. Logo,
(M )
n
( ) <
_

f
n
dx
_
b
a
f
n
dx M
n
(b a)
(M )( )
1
n
<
__
b
a
f
n
dx
_
1
n
M(b a)
1
n
Mas, ( )
1
n
1 e (b a)
1
n
1 se n . Logo, > 0 temos
M lim
n
__
b
a
f
n
(x)dx
_
1
n
M
M lim
n
__
b
a
f
n
(x)dx
_
1
n
M
lim
n
__
b
a
f
n
(x)dx
_
1
n
= M
8.22- Seja X = x
1
, . . . , x
n
um conjunto nito. Para todo > 0 considere a
seguinte colecao nita de intervalos abertos:
I
i
=
_
x
i

2
i+1
, x
i
+

2
i
_
, i = 1, . . . , n
77

E evidente que X
n
_
i=1
I
i
. Alem disso temos:
n

i=1
[I
i
[ =
n

i=1

2
i
<
Portanto X tem conte udo nulo.
8.24- Seja E um conjunto com conte udo nulo, isto e, dado > 0 existe uma
colecao nita de intervalos abertos (a
n
, b
n
) tais que
E
k
_
n=1
(a
n
, b
n
) e
k

n=1
(b
n
a
n
) <
Entao, temos:
E
k
_
n=1
(a
n
, b
n
)

_
n=1
(a
n
, b
n
)
Alem disso, para =
1
k
, k N temos:
0 <
k

n=1
(b
n
a
n
) <
1
k
e quando k obtemos:

n=1
(b
n
a
n
) <
para todo > 0. Portanto E tem medida nula. A recproca nao e verdadeira.
Por exemplo, E = N tem medida nula, mas nao tem conte udo nulo.
8.25- Seja X = x
1
, . . . , x
i
, . . . enumeravel. Entao X tem medida nula. De fato,
dado > 0, seja
I
i
=
_
x
i

2
i+1
, x
i
+

2
i+1
_
, i = 1, 2, . . .
Entao X

I
i
e

[I
i
[ =

2
< .
8.26- Dado > 0, existe um n umero nito de intervalos abertos (a
i
, b
i
),
i = 1, . . . , n, dois a dois disjuntos, tais que
E
n
_
i=1
(a
i
, b
i
) = G e
n

i=1
(b
i
a
i
) <
78
A funcao f e contnua em
H = [a, b] G = [a, b] G

e, desde ue H e limitado e fechado, f e uniformemente contnua em H. Logo,

existe > 0 tal que [f(x) f(y)[ < sempre que x, y H e [x y[ < .
Agora seja T uma particao de [a, b] que contem todos os pontos extremos (em
[a, b]) de I
1
, . . . , I
n
e todos os subintervalos em H, cujos comprimentos sao
menores que . Se os subintervalos de T sao [x
i1
, x
i
] (i = 1, . . . , n) entao:
S(f; T) s(f; T) =
n

i=1
(M
i
m
i
)(x
i
x
i1
)
= (
G
+
H
)(M
i
m
i
)(x
i
x
i1
)
onde
G
e
H
se estendem sobre os subintervalos em G e H, respectivamente.
Claramente

G
(M
i
m
i
)(x
i
x
i1
)
G
(M m)(x
i
x
i1
) < (M m)
e

H
(M
i
m
i
)(x
i
x
i1
)
H
(x
i
x
i1
) (b a)
Portanto:
S(f; T) s(f; T) < (M m +b a) =

8.27- Dado > 0, existem intervalos abertos I

1
, . . . , I
k
, . . . tais que D

I
k
e

[I
k
[ < /2K, onde K = M m. Para cada x [a, b] E, seja J
x
um
intervalo aberto de centro x no qual a oscilacao de f e menor do que /2(b a).
Pelo Teorema de Borel-Lebesgue, a cobertura aberta [a, b] (

k
I
k
) (

x
J
x
)
possui uma subcobertura nita [a, b] I
1
. . . I
m
J
x
1
. . . J
x
n
. Seja
T a particao de [a, b] formada pelos pontos a, b e os extremos desses m + n
intervalos que pertencam a [a, b]. Indiquemos com [t
1
, t

] os intervalos de
T que estao contidos em algum I
k
e com [t
1
, t

] os demais intervalos de T.
Entao

(t

t
1
) < /2K e a oscilacao de f em cada intervalo [t
1
, t

] e

< /2(b a). Logo

S(f; T) s(f; T) =

(t

t
1
) +

(t

t
1
)
<

Kt

t
1
+

(t

t
1
)
2(b a)
<
K
2K
+
(b a)
2(b a)
=
Logo f e integravel.
79
8.28- Mostremos que f e contnua apenas em R Q. De fato, dado > 0 seja
q
0
N tal que
1
q
0
< . Agora, considere o conjunto Q
0
= p/q, com q < q
0
.
Note que, em qualquer intervalo limitado de R, existe somente um n umero nito
de elementos de Q
0
, pois, quando q q
0
tem-se p/q / Q
0
.
Considere [a, b] R e seja c [a, b], entao e possvel exibir uma vizinhanca
de c que nao contem nenhum ponto de Q
0
, isto e, existe > 0 tal que
(c , c) e (c, c + ) nao contem elementos de Q
0
. Logo, se 0 < [c p/q[ <
entao:

f
_
p
q
_
0

=
1
q

1
q
0
< lim
xc
f(x) = 0, se c Q
Obviamente, lim
xc
f(x) = 0 se c R Q. Agora, dado c R ou c Q ou
c R Q. Se c Q entao:
lim
xc
f(x) = 0 ,=
1
q
= f(c)
Se c R Q entao:
lim
xc
f(x) = 0 = f(c)
Logo, f e contnua apenas nos n umeros irracionais e como Q tem medida nula f
e integravel em [a, b].
Considere agora T = t
0
, t
1
, . . . , t
n
uma particao qualquer de [a, b]. Temos que
todo intervalo da forma [t
i1
, t
i
] contem n umeros irracionais. Logo, m
i
= 0,
i = 1, . . . , n, ou seja, s(f; T) = 0, donde segue que
_
b
a
f(x)dx = 0. Como f e
integravel, devemos ter
_
b
a
f(x)dx = 0.
8.29- Seja K R um conjunto compacto com medida nula, ou seja, dado > 0
existe uma colecao enumeravel de intervalos abertos I
i
= (a
i
, b
i
) tais que
K

_
i=1
I
i
e

i=1
[b
i
a
i
[ <
Como K e compacto, adimite subcobertura nita. Logo:
K
n
_
k=1
I
i
k
e
n

k=1
[b
i
k
a
i
k
[ <

i=1
[b
i
k
a
i
k
[ <
Portanto K possui conte udo nulo.
8.30- Temos que c = inf
[a,b]
g, d = sup
[a,b]
g, g(a) = e g(b) = , donde segue que
, [c, d]. Dena F em [c, d] e G em [a, b] pondo
F(x) =
_
x

f(x)dx e G = F g
80
Entao:
_
b
a
(f g)g

=
_
b
a
G

= G(b) G(a) = F(b) F(a) =

_

f
ou seja:
_

f(y)dy =
_
b
a
f(g(x))g

(x)dx
81
Captulo 9
9.1- Se [x[ < 1 entao: x
n
0. Logo,
lim
n
f
n
(x) = lim
n
x
n
1 +x
n
= 0
Se [x[ > 1 entao:
1
[x[
< 1. Logo,
lim
n
f
n
(x) = lim
n
1
_
1
x
_
n
+ 1
= 1
Se x = 1, temos:
lim
n
f(x) =
1
2
9.2- Basta mostrar que

n=1
n
2
x(1 x)
n
converge em [0, 1]. De fato, temos:
lim

a
n+1
a
n

= lim

(n + 1)
2
x(1 x)
n+1
n
2
x(1 x)
n

= lim
_
n + 1
n
_
2
[1 x[
= [1 x[ lim
_
1 +
1
n
_
2
= [1 x[ < 1
pois 0 x 1 [x1[ < 1. Portanto,

n=1
n
2
x(1x)
n
converge em [0, 1], donde
segue que f
n
(x) = n
2
x(1x)
n
converge pontualmente para a funcao identicamente
nula em [0, 1].
9.3- Basta mostrar que

n=1
nxe
nx
2
converge em R. De fato, temos:
lim

a
n+1
a
n

= lim
(n + 1)[x[e
(n+1)x
2
n[x[e
nx
2
= lim
n + 1
n
e
x
2
= e
x
2
lim
_
1 +
1
n
_
= e
x
2
< 1 x R 0
Quando x = 0, f
n
(x) = 0. Portanto,

n=1
nxe
nx
2
converge em R, donde segue
que f
n
(x) = nxe
nx
2
converge pontualmente para a funcao identicamente nula
em R.
82
9.4- Temos que:
f(0) = 0 0 e f(1) = 0 0
Considerando o intervalo 0 < x < 1, segue que:
lim
n
f
n
(x) = 0
pelo teste da razao em

n=1
f
n
(x) e pelo teste do limite do termo geral, isto e, (f
n
)
coverge pontualmente a 0 no intervalo 0 x 1.
Agora f
n
(x) nao converge uniformemente no intervalo 0 x 1.
De fato, seja B
n
= sup
0x1
[nx(1 x)
n
[ = max
0x1
[nx(1 x)
n
[. Entao:
f

n
(x) = n(1 x)
n
+nx[n(1 x)
n1
] = n(1 x)
n
n
2
x(1 x)
n1
Logo,
f

n
(x) = 0 n(1 x)
n
n
2
x(1 x)
n1
= 0
n(1 x)
n
= n
2
x(1 x)
n1
(1 x)
n
= nx(1 x)
n1
1 x = nx nx +x = 1 x(n + 1) = 1
x =
1
n + 1
(ponto crtico)
Temos ainda que:
f

n
(x) = n
2
(1 x)
n1
[n
2
(1 x)
n1
n
2
x(n 1)(1 x)
n2
]
= n
2
(1 x)
n1
n
2
(1 x)
n1
+n
2
x(n 1)(1 x)
n2
= 2n
2
(1 x)
n1
+n
2
(n 1)x(1 x)
n2
Da,
f

n
_
1
n + 1
_
= 2n
2
_
1
1
n + 1
_
n1
+n
2
(n 1)
1
n + 1
_
1
1
n + 1
_
n2
= 2n
2
_
n
n + 1
_
n1
+n
2
(n 1)
1
n + 1
_
n
n + 1
_
n2
= 2n
2
_
n
n + 1
_
n
_
n
n + 1
_
1
+
+n
2
(n 1)
1
n + 1
_
n
n + 1
_
n
_
n
n + 1
_
2
= 2n
2
n + 1
n
_
n
n + 1
_
n
+n
2
(n 1)
1
n + 1
(n + 1)
2
n
2
_
n
n + 1
_
n
= 2n(n + 1)
_
n
n + 1
_
n
+ (n
2
1)
_
n
n + 1
_
n
= [2n(n + 1) + (n
2
1)]
_
n
n + 1
_
n
= [n
2
2n 1]
_
n
n + 1
_
n
< 0
83
Logo f
n
(x) possui um maximo em x =
1
n + 1
. Como B
n
= max
0x1
[nx(1 x)
n
[,
temos:
B
n
= f
n
_
1
n + 1
_
= n
1
n + 1

_
1
1
n + 1
_
n
=
n
n + 1
_
n
n + 1
_
n
=
_
n
n + 1
_
n+1
e portanto,
lim
n
B
n
= lim
n
_
n
n + 1
_
n+1
= lim
n
_
1
1
n + 1
_
n+1
= e ,= 0
9.5- Temos que, f
n
: [0, 1] R, f
n
(x) = x
n
, converge pontualmente para a
funcao descontnua f : [0, 1] R, f(x) = 0 se 0 x < 1, f(1) = 1. Decorre do
teorema de Dini a convergencia uniforme em todo intervalo da forma [0, 1 ],
0 < < 1. Porem a convergencia nao e uniforme em [0, 1]. De fato, tomando
= 1/2, armamos que, seja qual for n
0
N, existem pontos x [0, 1) tais que
[f
n
0
(x) f(x)[ 1/2, ou seja, x
n
0
1/2. Basta observar que lim
x1

x
n
0
= 1. Logo
existe > 0 tal que 1 < x < 1 x
n
0
> 1/2. Isto mostra que f
n
nao converge
uniformemente para f no intervalo [0, 1].
9.6- Consideremos f
n
(x) = x
n
(1 x
n
) no intervalo [0, 1]. Temos que:
0 < x < 1 0 < x
n
(1 x
n
) < x
n
Como x
n
0 pontualmente em (0, 1) segue que, f
n
(x) = x
n
(1 x
n
) 0
pontualmente no mesmo intervalo (note tambem que: f
n
(0) = f
n
(1) = 0 e assim
f
n
0 pontualmente em [0, 1]). Porem essa convergencia nao e uniforme. De
fato, seja B
n
= sup
0x1
[x
n
(1 x
n
)[ = max
0x1
[x
n
(1 x
n
)[. Entao:
f

n
(x) = [x
n
(1 x
n
)]

= nx
n1
2nx
2n1
=
nx
n
2nx
2n
x
= 0, x ,= 0
Da tem-se:
f

n
(x) = 0 x =
n
_
1
2
(ponto crtico)
Temos ainda:
f

n
(x) = [nx
n1
2nx
2n1
]

= n(n 1)x
n2
2n(2n 1)x
2n2
=
n(n 1)x
n
2n(2n 1)x
2n
x
2
84
donde segue que:
f

(
n
_
1/2) =
n(n 1)
1
2
2n(2n 1)
1
4
(1/2)
2
n
=
n
2
(1/2)
2
n
< 0
ou seja, f possui um maximo em x =
n
_
1/2. Logo:
B
n
= f(
n
_
1/2) =
1
4
0
e portanto a convergencia nao e uniforme em [0, 1]. Porem, se nos restringirmos
ao intervalo [0, 1 ], 0 < < 1, f
n
0 uniformemente, pois x
n
0
uniformemente nesse intervalo e 0 x
n
(1 x
n
) x
n
.
Considere agora g
n
(x) = nxe
nx
2
. Pelo exerccio 9.3 esta seq uencia converge
pontualmente para 0 em R e portanto converge para 0 no intervalo [0, 1].
Tomando = e
1
, temos que para todo n N, os pontos 1/n (0, 1] satisfazem
a seguinte desigualdade:
[g
n
(1/n)[ = e
1/n
e
1
=
donde segue que g
n
nao converge uniformemente em [0, 1].
9.7- Seja f
n
(x) = x
n
(1 x) no intervalo [0, 1]. Armamos que f
n
0
uniformemente em [0, 1]. De fato,
f

n
(x) = nx
n1
(1 x) x
n
=
nx
n
(1 x) x
n+1
x
, x ,= 0
ou seja:
f

n
(x) = 0 nx
n
(1 x) x
n+1
= 0 x
n
[n(1 x) x] = 0 x =
n
n + 1
Temos ainda:
f

n
(x) = n
2
x
n2
(1 x) nx
n2
(1 x) 2nx
n1
donde segue que:
f

n
(n/(n + 1)) = n
_
n
n + 1
_
n2
< 0
ou seja, f
n
possui um maximo em n/(n + 1). Logo:
sup
0x1
[x
n
(1 x)[ = max
0x1
[x
n
(1 x)[ = f
n
_
n
n + 1
_
=
_
n
n + 1
_
1
n + 1
0
85
Portanto, f
n
0 uniformemente em [0, 1] (em particular a convergencia
tambem e pontual).
9.8- Sejam M(A) = sup
xA
[f
n
(x) f(x)[ e M(B) = sup
xB
[f
n
(x) f(x)[. Temos que
M(A) 0 e M(B) 0. Mostremos que M(AB) = sup
xAB
[f
n
(x)f(x)[
0. De fato, se x A B, entao x A ou x B, donde segue que
M(A B) = maxM(A), M(B)
Logo, M(A B) = M(A) 0, ou M(A B) = M(B) 0, ou ainda,
M(AB) = M(A) = M(B) 0, donde conclui-se que sup
xAB
[f
n
(x)f(x)[
0, isto e, f
n
converge uniformemente para f em A B.
9.9-

E analogo a demonstracao para seq uencias numericas. Agora, f
n
g
n
fg
uniformemente, se (f
n
) e (g
n
) forem uniformemente limitadas, isto e, se existe
K > 0 tal que [f
n
(x)[ K e [g
n
(x)[ K, n N e x I. De fato, dado > 0
existem n
1
(), n
2
() N tais que
n n
1
[f
n
f[ <

2K
e n n
2
[g
n
g[ <

2K
Sendo n maxn
1
, n
2
= N segue que:
n N [fg f
n
g
n
[ [f[[g
n
g[ +[g
n
[[f
n
f[ < K

2K
+K

2K
=
Se (f
n
) e (g
n
) nao forem uniformemente limitadas, nao podemos armar que
a convergencia e uniforme. Por exemplo, se f
n
(x) = g
n
(x) = x +
1
n
temos:
f
n
g
n
= x
2
+
2x
n
+
1
n
2
x
2
= fg pontualmente.
9.10- Seja
n
(x) =
n

k=0
x
k
(1 x). Entao se [x[ < 1, temos:
lim
n
=

n=0
x
n
(1 x) = (1 x)(1 +x +x
2
+. . .) = (1 x)
1
1 x
= 1
Se x = 1 entao,

x
n
(1 x) = 0, ou seja,

x
n
(1 x) converge pontualmente
para
f(x) =
_
1, se [x[ < 1
0, se x = 1
9.13- Temos que:

sin(nx)
n
2

1
n
2
e

cos(nx)
n
3

1
n
3
86
Como

1
n
2
e

1
n
3
convergem, segue pelo criterio de Weierstrass que

n=1
sin(nx)
n
2
e

n=1
cos(nx)
n
3
convergem uniformemente em R.
Exerccio Complementar 1- Seja f : R R satisfazendo `as seguintes
condicoes:
i) M > 0 tal que [f(x)[ M, x R;
ii) c > 0 tal que [f(x) f(y)[ c[x y[ x, y R.
Para cada n N seja x
n
: [0, 1] R solucao da equacao funcional x

= f(x)(*).
Se x
n
(0) converge, mostre que existe uma subseq uencia (x
n
k
) de (x
n
) que converge
uniformemente para uma solucao de (*). Note que, x
n
C
1
.
Solucao: Temos que, x

n
= f(x
n
). Ingrando de 0 ate t, 0 < t 1 e usando o
Teorema Fundamental do Calulo, temos:
x
n
(t) x
n
(0) =
_
t
0
f(x
n
(s))ds ()
Agora usando i) e a desigualdade [a b[ [a[ [b[, temos?
[x
n
(t)[ [x
n
(0)[
_
t
0
Mds = Mt M
pois, t 1.
Como (x
n
(0)) converge entao > 0 tal que [x
n
(0)[ n N.
Logo, [x
n
(t)[ M + n N. Isto signica que, (x
n
) e uniformemente limitada.
Vamos mostrar agora que, (x
n
) e equicontnua. Sejam t, t

[0, 1] entao temos:

x
n
(t) x
n
(t

) =
_
t
0
f(x
n
(s))ds
_
t

0
f(x
n
(s))ds =
=
_
0
t

f(x
n
(s))ds +
_
t
0
f(x
n
(s))ds =
_
t
t

f(x
n
(s))ds
donde temos:
[x
n
(t) x
n
(t

)[

_
t
t

[f(x
n
(s))[ds

_
t
t

Mds

= M[t t

[, n N e t, t

[0, 1]
Pelo Teorema de Ascoli-Arzela, a seq uencia (x
n
) possui uma subseq uencia (x
n
k
)
uniformemente convergente. Seja o limite uniforme de (x
n
k
). Pela condicao ii)
temos que: f(x
n
k
) f() uniformemente em [0, 1]. De (**) temos que,
x
n
k
(t) x
n
k
(0) =
_
t
0
f(x
n
k
(s))ds
87
Fazendo n
k
nesta igualdade temos:
(t) (0) =
_
t
0
f((s))ds
Finalmente, pelo Teorema de Fundamental do Calculo, temos

= f()