Texto de Análise PDF

Universidade Federal de Campina Grande
Centro de Formao de Professores

Unidade Acadmica de Cincias Exatas e da Natureza
Anlise Matemtica
por
Gilberto Fernandes Vieira
Cajazeiras
2016
Sumrio
1 Conjuntos Finitos e Infinitos

1.1 Numeros Naturais . . . . . .
1.2 Conjuntos Finitos . . . . . .
1.3 Conjuntos Infinitos . . . . .
1.4 Conjuntos Enumerveis . . .
1.5 Exerccios Resolvidos . . . .
1.6 Exerccios Propostos . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Nmeros Reais
2.1 R um Corpo . . . . . . . . . . . .
2.2 R um Corpo Ordenado . . . . . .
2.3 R um Corpo Ordenado Completo
2.4 Exerccios Resolvidos . . . . . . . .
2.5 Exerccios Propostos . . . . . . . .
3 Sequncias de Nmeros Reais
3.1 Limites de uma Sequncia .
3.2 Limites e Desigualdades . .
3.3 Operaes com Limites . . .
3.4 Limites Infinitos . . . . . . .
3.5 Exerccios Resolvidos . . . .
3.6 Exerccios Propostos . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
5
7
8
10
14
.
.
.
.
.
16
16
17
21
24
27
.
.
.
.
.
.
32
32
36
37
41
43
45
4 Noes de Topologia
48
4.1 Conjuntos abertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.2 Conjuntos fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3 Pontos de acumulao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
ii
4.4
Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5 Trabalho
55
Captulo
1
Conjuntos Finitos e Infinitos
Neste captulo, ser estabelecida com preciso a diferena entre conjunto finito e
conjunto infinito. Ser feita tambm a distino entre conjunto enumervel e conjunto
no-enumervel. O ponto de partida o conjunto dos nmeros naturais.
1.1 Numeros Naturais

Definio 1.1. O conjunto N dos nmeros naturais caracterizado pelos seguintes fatos:
1. Existe uma funo injetiva s : N N. A imagem s(n) de cada nmero natural
n N chama-se o sucessor de n.
Em outras palavras, todo nmero natural tem um sucessor, que ainda um nmero
natural; nmeros diferentes tm sucessores diferentes.
2. Existe um nico nmero natural 1 N tal que 1 6= s(n) para todo n N.
Em outros termos, existe um nico nmero natural 1 que no sucessor de nenhum
outro.
3. Se um conjunto X N tal que 1 X e s(X) X (isto , n X s(n) X)
ento X = N.
Dito de outra forma, se um conjunto de nmeros naturais contm o nmero 1 e
contm tambm o sucessor de cada um dos seus elementos, ento esse conjunto
contm todos os nmeros naturais.
As propriedades 1, 2, 3 acima chamam-se os axiomas de Peano.
Observao 1.2. O axioma 3 conhecido como o princpio da induo.

Indutivamente, ele significa que todo nmero natural n pode ser obtido a partir de
1, tomando-se seu sucessor s(1), o sucessor deste, s(s(1)), e assim por diante, com
um nmero finito de etapas. (Evidentemente nmero finito uma expresso que,
neste momento, no tem ainda significado. A formulao do axioma 3 uma maneira
extremamente hbil de evitar a petio de princpio at que a noo de conjunto finito
seja esclarecida.)
O princpio da induo serve de base para um mtodo de demonstrao de teoremas
sobre nmeros naturais, conhecido como mtodo de induo (ou recorrncia), o qual
funciona assim:se uma propriedade P vlida para o nmero 1 e se, supondo P vlida
para o nmero n da resultar que P vlida tambm para seu sucessor s(n), ento P
vlida para todos os nmeros naturais.
Exemplo 1.3 (Demonstrao por induo). Para todo n N, tem-se s(n) 6= n. Esta
afirmao verdadeira para n = 1 porque, pelo axioma 2, tem-se 1 6= s(n) para todo
n N, logo, em particular, 1 6= s(1). Supondo-a verdadeira para um certo n N, vale
n 6= s(n). Como a funo s injetiva, da resulta s(n) 6= s(s(n)), isto , a afirmao
verdadeira para s(n).
No conjunto N dos nmeros naturais so definidas duas operaes fundamentais: a
adio, que associa a cada par de nmeros (m, n) sua soma m + n, e a multiplicao,
que faz corresponder ao par (m, n) seu produto m n. Essas operaes so caracterizadas
pelas seguintes igualdades, que lhes servem de definio:
m + 1 = s(m);
m + s(n) = s(m + n), isto , m + (n + 1) = (m + n) + 1;
m 1 = m;
m (n + 1) = m n + m.
Noutros termos:
somar 1 a m significa tomar o sucessor de m;
se conhecemos a soma m + n, conheceremos m + (n + 1), que o sucessor de m + n;
multiplicar por 1 no altera o nmero;
se conhecemos o produto m n, conheceremos m (n + 1) = m n + m.
Observao 1.4. As duas primeiras igualdades significam que a soma de dois nmeros
naturais o sucessor de um nmero natural, pois, conforme o axioma 2, dado n N,
tem-se que n = 1 (neste caso, usamos a primeira igualdade) ou n = s(m) (neste caso,
usamos a segunda igualdade).
A demonstrao da existncia das operaes + e com as propriedades acima, bem
como sua unicidade, se faz por induo. Para tal, consulte o Curso de Anlise, Vol.
1, ou suas referncias bibliogrficas, onde so demonstradas (por induo) as seguintes
propriedades da adio e multiplicao:
associatividade: (m + n) + p = m + (n + p),
(m n) p = m (n p);
distributividade: m (n + p) = m n + m p);
comutatividade: m + n = n + m,
m n = n m;
lei do corte: m + n = p + n m = p,
m n = p n m = p.
Prova da lei do corte: Usaremos induo em n. Ela vale para n = 1, pois m + 1 = p + 1
significa s(m) = s(p), logo m = p pela injetividade de s. Admitindo-a vlida para n (i.e.
que m + n = p + n m = p), ento, supondo que m + (n + 1) = p + (n + 1), e usando
a associatividade, obtemos (m + n) + 1 = (p + n) + 1 que, pela injetividade de s, implica
m + n = p + n. Logo m = p pela hiptese de induo.
Definio 1.5. Dados os nmeros naturais m, n, escreve-se m < n quando existe p N
tal que n = m + p. Diz-se ento que m menor do que n. A notao m n significa
que m < n ou m = n.
Exemplo 1.6. Prove
1. Transitividade: m < n, n < p m < p
2. Tricotomia: dados m, n N quaisquer, vale apenas uma das trs alternativas:
m = n, m < n ou n < m, isto : ou m = n, ou existe p N tal que m = n + p, ou
existe q N tal que n = m + q.
1. Como m < n e n < p, existem r, s N tais que n = m + r e p = n + s. Assim,
p = m + r + s = m + (r + s), logo m < p, pois r + s N.
2. Seja m N e seja
X = {n N : n e m satisfazem a propriedade de tricotomia}.
1 X. De fato, ou m = 1 ou m 6= 1 e, neste caso, m o sucessor de algum
nmero n0 N, ou seja, existe n0 N tal que
1 + n0 = n0 + 1 = s(n0 ) = m.
Seja n X. Ento, ou n = m, ou existe p N tal que n = m + p, ou existe

q N tal que m = n + q.
Vamos provar que s(n) X.
De fato,
se n = m, ento s(n) = s(m) = m + 1.
se n = m + p, ento s(n) = s(m + p) = (m + p) + 1 = m + (p + 1).
se m = n + q, ou q = 1 ou q 6= 1. Se q = 1, m = n + 1, ou seja, s(n) = m. Se
q 6= 1, existe q0 N tal que q0 + 1 = q.
Logo,
m = n + q = n + (q0 + 1) = n + (1 + q0 ) = (n + 1) + q0 = s(n) + q0 .
Em qualquer caso, provamos que ou s(n) = m, ou existe r N tal que s(n) = m + r,
ou existe l N tal que m = s(n) + l.
Logo, X = N, ou seja, dados m, n N temos que, ou m = n, ou existe p N tal
que m = n + p, ou existe q N tal que n = m + q.
Para provar que vale exatamente uma das trs alternativas, devemos verificar a
seguinte afirmao: n + p 6= n, n, p N. De fato, se n = n + p para alguns
n, p N, ento n + 1 = (n + p) + 1 = n + (p + 1) 1 = p + 1, que um absurdo,
pois 1 no sucessor de nenhum nmero natural, enquanto que a soma de dois
naturais sempre um sucessor.
Agora, provemos a exclusividade de cada uma das trs alternativas.
Se valem n = m e n = m + p, ento n = n + p, que contraria a afirmao.
Analogamente, verifica-se que no pode ocorrer n = m e m = n + q (basta utilizar
a comutatividade).
Se valem n = m + p e m = n + q, ento n = n + (q + p), que contraria, novamente,
a afirmao.
Exemplo 1.7. A lei do corte pode ser utilizada para provar um fato sempre admitido
e raramente demonstrado, que o seguinte: para qualquer n N, no existe p N tal
que n < p < n + 1. Suponhamos por absurdo que um tal p N exista. Ento teremos
p = n + r e n + 1 = p + s, com r, s N. Da resulta que p + 1 = n + 1 + r = p + s + r
e (cortando p) 1 = r + s. Isto um absurdo pois, pela definio de adio (Observao
1.2 Conjuntos Finitos
1.4), a soma de dois nmeros naturais sempre um sucessor de algum nmero, logo no
pode ser 1, pelo axioma 2.
Este resultado usado na demonstrao de uma das principais propriedades da relao
de ordem m < n entre os nmeros naturais, que o Princpio da Boa-Ordenao
(PBO), abaixo enunciado e provado.
Proposio 1.8 (Princpio da Boa-Ordenao). Todo subconjunto no vazio A N
possui um menor elemento, isto , um elemento n0 A tal que n0 n para todo n A.
Demonstrao. Temos dois casos a considerar: (a) Se 1 A ento 1 ser o menor
elemento de A (pois 1 o nico nmero natural que no sucessor de outro). (b) Se,
porm, 1 6 A, ento consideremos o conjunto
X = {n N : n < a, a A},
Como 1 6 A, vemos que 1 X. Por outro lado, como A no vazio, conclumos que
X 6= N. Logo, a concluso do axioma 3 no vlida. Segue-se que deve existir n X tal
que n + 1 6 X, logo existe a A tal que n < a n + 1. Como no existe nmero natural
entre n e n + 1 (Cf. Exemplo 1.7) segue que a = n + 1 A o menor elemento de A,
pois qualquer nmero natural n pertence a X.

Definio 1.9. Um conjunto X diz-se finito quando vazio ou ento existem n N e
uma bijeo f : In X. Escrevendo x1 = f (1), x2 = f (2), . . . , xn = f (n) temos ento
X = {x1 , x2 , . . . , xn }.
A bijeo chama-se uma contagem dos elementos de X e o nmero n chama-se o
nmero de elementos, ou nmero cardinal do conjunto finito X.
O Corolrio abaixo prova que o nmero cardinal est bem definido, isto , no depende
da particular contagem f .
Lema 1.10. Se existe uma bijeo f : X Y ento, dados a X e b Y , existe
tambm uma bijeo g : X Y tal que g(a) = b.
Demonstrao. Seja b0 = f (a). Como f sobrejetora, existe a0 X tal que f (a0 ) = b.
Definamos g : X Y pondo g(a) = b, g(a0 ) = b0 e g(x) = f (x) se x X {a, a0 }. fcil
ver que g uma bijeo.
Teorema 1.11. Se A um subconjunto prprio de In , no pode existir uma bijeo

f : A In .
Demonstrao. Suponha, por absurdo, que o teorema seja falso e considere n0 N,
o menor nmero natural para o qual existem um subconjunto prprio A In0 e uma
bijeo f : A In0 . Se n0 A ento, pelo Lema 1.10, existe uma bijeo g : A In0
com g(n0 ) = n0 . Neste caso, a restrio de g a A {n0 } uma bijeo do subconjunto
prprio A {n0 } sobre In0 1 , o que contraria a minimalidade de n0 . Se, ao contrrio,
tivermos n0 6 A, ento tomamos a A com f (a) = n0 e a restrio de f ao subconjunto
prprio A {a} In0 1 ser uma bijeo sobre In0 1 , o que novamente vai contrariar a
minimalidade de n0 .

Corolrio 1.12. Se f : Im X e g : In X so bijees, ento m = n.
Demonstrao. Com efeito, se fosse m < n ento Im seria um subconjunto prprio de
In , o que violaria o Teorema 1.11, pois g 1 f : Im In uma bijeo. Analogamente
se mostra que no possvel n < m. Logo m = n.

Corolrio 1.13. Seja X um conjunto finito. Uma aplicao f : X X injetiva se, e
somente se, sobrejetiva.
Demonstrao. Com efeito, existe uma bijeo : In X. A aplicao f : X X
injetiva ou sobrejetiva se, e somente se, 1 f : In In o . Logo podemos considerar
f : In In . Se f for injetiva, ento pondo A = f (In ), teremos uma bijeo f 1 : A In .
Pelo Teorema 1.11, A = In e f sobrejetiva.
Reciprocamente, se f for sobrejetiva, formemos um conjunto A In escolhendo, para
cada y In , um elemento x In tal que f (x) = y. Ento a restrio f : A In uma
bijeo. Pelo Teorema 1.11, temos A = In . Isto significa que, para cada y In , nico o
x tal que f (x) = y, ou seja, f injetiva.

Corolrio 1.14. No pode existir uma bijeo entre um conjunto finito e uma sua parte
prpria.
Demonstrao. Com efeito, sejam X finito e Y X uma parte prpria. Existem n N
e uma bijeo : In X. Ento o conjunto A = 1 (Y ) uma parte prpria de In .
Chamemos de A : A Y a bijeo obtida por restrio de a A. Se existisse uma
bijeo f : Y X, a composta g = 1 f A : A In seria tambm uma bijeo,
contrariando o Teorema 1.11.

Observao 1.15. O Corolrio 1.14 uma mera reformulao do Teorema 1.11.
1.3 Conjuntos Infinitos
Teorema 1.16. Todo subconjunto de um conjunto finito finito.

Demonstrao. Provaremos inicialmente o seguinte caso particular: se X finito e
a X ento X {a} finito. Com efeito, existe uma bijeo f : In X a qual, pelo
Lema 1.10, podemos supor que cumpre f (n) = a. Se n = 1 ento X {a} = finito.
Se n > 1, a restrio de f a In1 uma bijeo sobre X {a}, logo X {a} finito e
tem n 1 elementos. O caso geral se prova por induo no nmero n de elementos de X.
Ele evidente quando X = ou n = 1. Supondo o Teorema verdadeiro para conjuntos
com n elementos, sejam X um conjunto com n + 1 elementos e Y um subconjunto de X.
Se Y = X, nada h o que provar. Caso contrrio, existe a X com a 6 Y . Ento, na
realidade, Y X {a}. Como X {a} tem n elementos, segue-se que Y finito.

Corolrio 1.17. Dada f : X Y , se Y finito e f injetiva ento X finito; se X
finito e f sobrejetiva ento Y finito.
Demonstrao. Com efeito, se f injetiva ento ela uma bijeo de X sobre um
subconjunto f (X) do conjunto finito Y . Por outro lado, se f sobrejetiva e X finito
ento, para cada y Y podemos escolher um x = g(y) X tal que f (x) = y. Isto define
uma aplicao g : Y X tal que f (g(y)) = y para todo y Y . Segue-se que g injetiva
logo, pelo que acabamos de provar, Y finito.

Definio 1.18. Um subconjunto X N diz-se limitado quando existe p N tal que
x p para todo x X.
Corolrio 1.19. Um sobconjunto X N finito se, e somente se, limitado.
Demonstrao. Com efeito, se X = {x1 , . . . , xn } N finito, pondo p = x1 + + xn
vemos que x X x p logo X limitado. Reciprocamente, se X N limitado
ento X Ip para algum p N, segue-se pois do Teorema 1.16 que X finito.
1.3 Conjuntos Infinitos

Definio 1.20. Diz-se que um conjunto infinito quando no finito. Assim, X
infinito quando X 6= e nem existe, seja qual for n N, uma bijeo f : In X.
Exemplo 1.21. N infinito em virtude do Corolrio 1.19 do Teorema 1.16.
Teorema 1.22. Se X um conjunto infinito, ento existe uma aplicao injetiva
f : N X.
1.4 Conjuntos Enumerveis
Demonstrao. Para cada subconjunto no vazio A X, escolhemos um elemento

xA A. Em seguida, definimos f : N X indutivamente. Pomos f (1) = xX e, supondo
j definidos f (1), . . . , f (n), escrevemos An = X {f (1), . . . , f (n)}. Como X infinito, An
no vazio. Definimos ento f (n + 1) = xAn . Isto completa a definio de f . Para provar
que f injetiva, sejam m, n N, digamos com m < n. Ento f (m) {f (1), . . . , f (n1)}
enquanto f (n) X {f (1), . . . , f (n 1)}. Logo, f (m) 6= f (n).

Corolrio 1.23. Um conjunto X infinito se, e somente se, existe uma bijeo : X
Y sobre um subconjunto prprio Y X.
Demonstrao. Com efeito, sejam X infinito e f : N X uma aplicao injetiva.
Escrevamos, para cada n N, f (n) = xn . Consideremos o subconjunto prprio
Y = X {x1 }. Definamos a bijeo : X Y pondo (x) = x se x no um
dos xn e (xn ) = xn+1 (n N).
Reciprocamente, se existe uma bijeo de X sobre um seu subconjunto prprio ento
X infinito, em virtude do Corolrio 1.14 do Teorema 1.11.

Note que se N1 = N {1}, ento a funo : N N1 , (n) = n + 1 uma bijeo.
Mais geralmente, fixando p N podemos considerar Np = {p + 1, p + 2, . . .} e definir a
bijeo : N Np , (n) = n + p.
Fenmenos desse tipo j tinham sido observados por Galileu, que foi o primeiro
a notar que h tantos nmeros pares quantos nmeros naturais, mostrando que se
P = {2, 4, 6, . . .} o conjunto dos nmeros pares, ento : N P , dada por (n) = 2n,
uma bijeo. Evidentemente, se I = {1, 3, 5, . . .} o conjunto dos nmeros mpares, ento
: N I, com (n) = 2n 1, tambm uma bijeo. Nestes dois ltimos exemplos,
N P = I e N I = P so infinitos, enquanto N Np = {1, 2, . . . , p} finito.

Definio 1.24. Um conjunto X diz-se enumervel quando finito ou quando existe
uma bijeo f : N X.
A funo f chama-se uma enumerao dos elementos de X. Escrevendo f (1) =
x1 , f (2) = x2 , . . . , f (n) = xn , . . . tem-se ento X = {x1 , x2 , . . . , xn . . .}.
Exemplo 1.25. O conjunto Z = {. . . , 2, 1, 0, 1, 2, . . .} enumervel.
De fato, uma bijeo f : N Z pode ser definida pondo
(
f (n) =
(n 1)/2 para n mpar

n/2
para n par.
Teorema 1.26. Todo subconjunto X N enumervel.

Demonstrao. Se X finito, nada h o que demonstrar. Caso contrrio, enumeramos
os elementos de X pondo x1 = menor elemento de X, e supondo definidos x1 < x2 <
. . . < xn , escrevemos An = X {x1 , x2 , . . . , xn }. Observando que An 6= , pois X
infinito, definimos xn+1 = menor elemento de An . Ento X = {x1 , x2 , . . . , xn , . . .}. Com
efeito, se existisse algum elemento x X diferente de todos os xn , teramos x An para
todo n N, logo x seria um nmero natural maior do que todos os elementos do conjunto
infinito {x1 , x2 , . . . , xn , . . .}, contrariando o Corolrio 1.19 do Teorema 1.16.

Corolrio 1.27. Seja f : X Y injetiva. Se Y enumervel, ento X tambm . Em
particular, todo subconjunto de um conjunto enumervel enumervel.
Demonstrao. Exerccio!
Corolrio 1.28. Seja f : X Y sobrejetiva. Se X enumervel, ento Y tambm .

Corolrio 1.29. O produto cartesiano de dois conjuntos enumerveis um conjunto

enumervel.
Demonstrao. Se X e Y so enumerveis ento existem bijees f : N X e
g : N Y , logo : NN X Y , dada por (m, n) = (f (m), f (n)) sobrejetiva. Tendo
em vista o Corolrio 1.28, basta provar que N N enumervel. Para isto, consideremos
a aplicao : N N N, dada por (m, n) = 2m 3n . Pela unicidade da decomposio
de um nmero em fatores primos, injetiva. Segue-se, pelo Corolrio 1.27, que N N
enumervel.

Corolrio 1.30. A reunio de uma famlia enumervel de conjuntos enumerveis um
conjunto enumervel.
Demonstrao. Dados X1 , X2 , . . . , Xn , . . . enumerveis, existem sobrejees f1 : N
S
X1 , f2 : N X2 , . . . , fn : N Xn , . . .. Tomando X =
n=1 Xn , definimos a sobrejeo
f : N N X pondo f (m, n) = fn (m). O caso de uma reunio finita X = X1 Xn
reduz-se ao anterior porque, ento, X = X1 Xn .

O Teorema 1.22 acima significa que o enumervel o menor dos infinitos, isto Todo
conjunto infinito contm um subconjunto infinito enumervel.
1.5 Exerccios Resolvidos
10
Exemplo 1.31. O conjunto Q = {m/n : m, n Z, n 6= 0} dos nmeros racionais

enumervel. De fato, escrevendo Z = Z {0}, podemos definir uma funo sobrejetiva
f : Z Z Q pondo f (m, n) = m/n.
Exemplo 1.32 (Um conjunto no-enumervel). Seja S o conjunto de todas as sequncias
infinitas, como s = (01100010 . . .), formadas com os smbolos 0 e 1. Noutras palavras, S
o conjunto de todas as funes s : N {0, 1}. Para cada n N, o valor s(n), igual a 0
ou 1, o n-simo termo da sequncia s. Afirmamos que nenhum subconjunto enumervel
X = {s1 , s2 , . . . , sn . . .} S igual a S. Com efeito, dado X, indiquemos com snm o
n-simo tero da sequncia sm X. Formamos uma nova sequncia s S tomando o
n-simo termo de s igual a 0 se for snn = 1, ou igual a 1 se for snn = 0. A sequncia s
no pertence ao conjunto X porque seu n-simo termo diferente do n-simo termo de
sn . Este raciocnio, devido a G. Cantor, conhecido como mtodod da diagonal

Seo 1: Nmeros Naturais
1. Usando induo, prove:
(a) 1 + 2 + + n = n(n + 1)/2.
(b) 1 + 3 + 5 + + 2n 1 = n2 .
2. Dados m, n N com n > m, prove que n mltiplo de m ou existem q, r N tais que
n = mq + r e r < m. Prove que q e r so nicos com esta propriedade.
3. Seja X N um subconjunto no-vazio tal que m, n X m, m + n X. Prove que
existe k N tal que X o conjunto dos mltiplos de k
4. Prove que, no segundo axioma de Peano, a palavra nico redundante (admitindo-se,
naturalmente, os demais axiomas).
Soluo: Supondo a 6= 1 no possuindo sucessor, considere o conjunto X = N {a} no
Axioma 3 para chegar a uma contradio.
5. Prove o princpio de induo como uma consequncia do Princpio da Boa Ordenao.
6. Prove a lei do corte para a multiplicao: mp = np m = n.
Seo 2: Conjuntos Finitos
1. Indicando com card X o nmero de elementos do conjunto finito X, prove:
(a) Se X finito e Y X, ento card Y card X.
11
(b) Se X e Y so finitos, ento X Y finito e

card (X Y ) = card X + card Y card (X Y ).
(c) Se X e Y so finitos, ento X Y finito e
card (X Y ) = card X card Y.
Soluo: (a) Sendo card X = n e card Y = m, existem bijees f : Im Y e g : X In .
Como Y X, ento g| Y : Y g(Y ) In bijeo. Assim, temos a bijeo composta
g| Y f : Im g(Y ) In . Ento, pelo Teorema 1.11, no podemos ter m > n (pois neste
caso, teramos g(Y ) In ( Im ). Portanto, m n. Observe que podemos ter m < n (no
caso em que g(Y ) ( In ).
(b) Inicialmente devemos provar que se X e Y so finitos e disjuntos, ento card (X
Y ) = card X + card Y . De fato, como X e Y so finitos, existem bijees f : Im X e
g : In Y , com m = card X e n = card Y . Agora, definamos a funo : Im+n X Y
pondo
(x) = f (x), se 1 x m
(1.1)
(m + x) = g(x), se 1 x n.
Como X Y = , segue que a funo bijetiva.
Agora, observemos que
X Y = X [Y (X Y )],
onde a segunda reunio disjunta. Ento, usando (1.1) segue que
card (X Y ) = card X + card [Y (X Y )]
Novamente, como a reunio Y = [Y (X Y )] (X Y ) disjunta, (1.1) implica que
card Y = card [Y (X Y )] + card (X Y ), ou seja,
card [Y (X Y )] = card Y card (X Y ).
Portanto
card (X Y ) = card X + card Y card (X Y ),
como queramos demonstrar.
Observao 1.33. Aplicando-se este exerccio sucessivamente, obtm-se o resultado para
12
uma quantidade finita de conjuntos dois a dois disjuntos.

(c) Dados X e Y finitos, com m e n elementos, respectivamente, escrevamos Y =
{y1 , . . . , yn }. Ento, vale a reunio disjunta
X Y = X1 X2 Xn ,
onde Xi = X {yi }, i = 1, . . . , n. Como os Xi so dois a dois disjuntos e possuem o
mesmo nmero de elementos de X, a saber, m, ento, pela observao do item anterior,
conclumos que
card (X Y ) = m + m + + m = n m = card X card Y.
2. Seja P(X) o conjunto cujos elementos so os subconjuntos de X. Prove por induo

que se X finito ento card P(X) = 2card X .
3. Seja F(X; Y ) o conjunto das funes f : X Y . Se card X = m e card Y = n, prove
que card F(X; Y ) = nm .
4. Prove que todo conjunto finito no-vazio X de nmeros naturais contm um elemento
mximo (isto , existe x0 X tal que x x0 , x X).
Soluo: Seja a o menor elemento de X (pelo P.B.O.). Como X finito, A =
N (X Ia ) 6= , onde Ia = {p N : p a}. Seja, ento, b o menor elemento de
A. Ento, b 1 X Ia .
Afirmao: x0 = b 1.
De fato, qualquer nmero natural maior do que b1 pertence a A. Logo, tudo o que temos
de provar que b 1 X. Se b 1 Ia , isto , b 1 a, temos que, ou b 1 = a X, e
a prova termina; ou b 1 < a, que implica a existncia de p N tal que (b 1) + p = a.
Da b = (b 1) + 1 (b 1) + p = a b Ia . Mas isto contradiz b A. Portanto,
b 1 X, e a Afirmao est mostrada.

Soluo:2 Como X finito, ento limitado, isto , existe p N tal que p > x para todo
x X. Considere o conjunto A = {p N : p > x, x X} 6= . Pelo P.B.O., A possui
um menor elemento, digamos, p0 ; ento p0 1 X. Agora, basta tomar x0 = p0 1.
5. Prove o Princpio das Casas de Pombo: se m > n no existe funo injetiva f : Im In .
(quando m > n, para alojar m pombos em n casas preciso que pelo menos uma casa
abrigue mais de um pombo).
Seo 3: Conjuntos Infinitos
1. Dada f : X Y , prove:
13
(a) Se X infinito e f injetiva, ento Y infinito.

(a) Se Y infinito e f sobrejetiva, ento X infinito.
2. Sejam X um conjunto finito e Y um conjunto infinito. Prove que existe uma funo
injetiva f : X Y e uma funo sobrejetiva g : Y X.
3. Prove que o conjunto P dos nmeros primos infinito.
4. D exemplo de uma sequncia decrescente X1 X2 Xn de conjuntos
T
infinitos cuja interceso
n=1 Xn seja vazia.
Seo 4: Conjuntos Enumerveis
1. Defina f : N N N pondo f (1, n) = 2n 1 e f (m + 1, n) = 2m (2n 1). Prove que
f uma bijeo.
Soluo: Sendo k N um nmero natural qualquer, podemos escrever esse nmero como
produto dos seus fatores primos
k=
r
Y
i=1
pi i
=2
r
Y
pi i ,
i N {0}.
i=2
Sobrejetividade: Como os primos maiores que 2 so mpares e o produto de mpares

um nmero mpar, ento k = 21 (2n 1). Se 1 = 0, temos k = 2n 1; se 1 1, tome
1 = m; e da, k = 2m (2n 1). Assim, f sobrejetiva.
Injetividade: Se f (1, n) = f (1, q), ou seja, se 2n 1 = 2q 1, ento n = q (1, n) =
(1, q). Ora, f (1, n) 6= f (m + 1, q), pois o primeiro mpar e o segundo par. Ento,
seja f (m + 1, n) = f (p + 1, q), isto , 2m (2n 1) = 2p (2q 1). Como 2n 1 mpar,
temos, pela unicidade da decomposio em fatores primos, que 2m = 2p e, da, m = p.
Consequentemente, temos 2n 1 = 2q 1, logo n = q. Assim, (m + 1, n) = (p + 1, q), e
f injetiva.

1
2. Prove que existe g : N N sobrejetiva tal que g (n) infinito, para cada n N.
3. Exprima N = N1 N2 . . . Nn . . . como unio infinita de subconjuntos infinitos,
dois a dois disjuntos.
4. Para cada n N, seja Pn = {X N : cardX = n}. Prove que Pn enumervel.
Conclua que o conjunto Pf dos subconjuntos finitos de N enumervel.
5. Prove que o conjunto P(N) de todos os subconjuntos de N no enumervel.
6. Sejam Y enumervel e f : X Y tal que, para cada y Y , f 1 (y) enumervel.
Prove que X enumervel.
1.6 Exerccios Propostos
14

1. (a) Defina: Conjunto finito, conjunto infinito e conjunto enumervel;
(b) Se X R um conjunto limitado, defina o supremo de X e o nfimo de X.
2. Considere os seguintes resultados vistos em sala de aula:
(i) Se X um conjunto infinito, ento existe uma aplicao injetiva f : N X.
(ii) Seja f : X Y injetiva. Se Y finito, ento X tambm o .
(iii) Seja f : X Y sobrejetiva. Se X enumervel, ento Y tambm o .
Use estes resultados para concluir que Todo conjunto infinito possui um
subconjunto infinito enumervel. Isto : o enumervel o menor dos infinitos.
3. (a) Use o item (iii) da questo 3 acima, e
(iv) O produto cartesiano de dois conjuntos enumerveis um conjunto
enumervel.
para mostrar que o conjunto Q dos nmeros racionais enumervel.
(b) Prove que se um conjunto infinito no enumervel A a unio de dois outros
B e C, ento pelo menos um destes no enumervel.
(c) Sabendo que o conjunto R dos nmeros reais no-enumervel, conclua que o
conjunto I dos nmeros irracionais tambm no-enumervel.
4. (a) Dados os conjuntos A e B, seja X um conjunto com as seguintes propriedades:
1.a X A e X B,
2.a Se Y A e Y B, ento Y X.
Prove que X = A B.
(b) Enuncie e demonstre um resultado anlogo ao anterior, caracterizando A B.
5. Construa uma bijeo entre o conjunto N e o conjunto dos nmeros mpares
positivos.
6. Construa uma bijeo entre o conjunto N e o conjunto dos nmeros quadrados
perfeitos.
7. Construa uma bijeo entre o conjunto N e seu subconjunto {n, n + 1, n + 2, . . .}.
8. Use induo para demonstrar os seguintes fatos:
15
(a) 1 + 3 + 5 + . . . + (2n + 1) = (n + 1)2 ;

n2 + n
.
(b) 1 + 2 + 3 + 4 + . . . + n =
2
(c) n 4 n! > 2n
9. Responda se so verdadeiras ou falsas as afirmaes abaixo (se verdadeira, d uma
justificativa breve; se falso, d um contra-exemplo).
(t) ( ) Se X N limitado, ento X finito. E reciprocamente.
(u) ( ) Se X N, ento X enumervel.
(v) ( ) Se X enumervel, ento X N.
(w) ( ) Se X finito, ento X enumervel.
(x) ( ) Se X enumervel, ento X finito.
(y) ( ) Se X R limitado, ento X finito.
Captulo
2
Nmeros Reais
O conjunto dos nmeros reais ser indicado por R. Faremos aqui uma descrio de
suas propriedades que, juntamente com suas consequncias, sero utilizadas nos captulos
seguintes.
2.1 R um Corpo
Definio 2.1. Dizer que R um corpo significa que esto definidas em R duas operaes,
chamadas adio e multiplicao, que cumprem certas condies, abaixo especificadas.
A adio faz corresponder a cada par de elementos x, y R, sua soma x + y R,
enquanto a multiplicao associa a esses elementos o seu produto x y R.
Os axiomas a que essas operaes obedecem so as seguintes.
Para quaisquer x, y, z R, tem-se:
1. (Associatividade) (x + y) + z = x + (y + z)
2. (Comutatividade) x + y = y + x
(xy)z = x(yz);
xy = yx;
3. (Elementos Neutros) existem em R dois elementos distintos 0 e 1 tais que x + 0 = x

e x 1 = x;
4. (Inversos) todo x R possui um inverso aditivo x R tal que x + (x) = 0 e, se
x 6= 0, existe tambm um inverso multiplicativo x1 R tal que x x1 = 1;
5. (Distributividade) x(y + z) = xy + xz;
2.2 R um Corpo Ordenado
17
Dos axiomas acima resultam todas as regras familiares de manipulao com os nmeros
reais.
1. Da comutatividade resulta que 0 + x = x e x + x = 0 para todo x R.
Analogamente 1 x = x e x1 x = 1 quando x 6= 0.
2. A soma x+(y) ser indicada por xy e chamada a diferena entre x e y. Se y 6= 0,
o produto x y 1 ser representado tambm por x/y e chamado o quociente de x
por y. As operaes (x, y) 7 x y e (x, y) 7 x/y chamam-se, respectivamente,
subtrao e diviso.
3. Da distributividade segue-se que, para todo x R, vale x 0 + x = x 0 + x 1 =
x(0 + 1) = x 1 = x. Somando x a ambos os membros da igualdade x 0 + x = x,
obtemos x 0 = 0
4. Por outro lado, de xy = 0 podemos concluir que x = 0 ou y = 0. Com efeito, se
for y 6= 0 ento podemos multiplicar ambos os membros desta igualdade por y 1 e
obtemos xy y 1 = 0 y 1 , donde x = 0.
5. Da distributividade resultam tambm as regras de sinais: x(y) = (xy), (x)y =
(xy) e (x)(y) = xy. Em particular, (1) (1) = 1. Com efeito,
x(y) + xy = x(y + y) = x 0 = 0, ou seja, x(y) + xy = 0. Somando
(xy) a ambos os membros dessa igualdade, vem x(y) = (xy). Analogamente,
(x)y = (xy). Agora, mostremos a terceira igualdade. Do que j fizemos, temos,
(x)(y) = [x(y)] = [(xy)]. Por outro lado, somando z a ambos os membros
da igualdade (z) + (z) = 0, obtemos (z) = z. Logo, (x)(y) = xy.
6. Se dois nmeros reais x, y tm quadrados iguais, ento x = y. Com efeito, de
x2 = y 2 decorre que 0 = x2 y 2 = (x + y)(x y) e, da regra 4 acima, obtemos
x = y.

Definio 2.2. Dizer que R um Corpo Ordenado significa que existe um subconjunto
R+ R, chamado o conjunto dos nmeros reais positivos, que cumprem as seguintes
condies
(P 1) A soma e o produto de nmeros reais positivos so positivos. Ou seja, x, y R+
x + y R+ e xy R+ ;
18
(P 2) Dado x R, exatamente uma das trs alternativas seguintes ocorre: ou x = 0, ou

x R+ ou x R+ .
Observao 2.3. Considerando o conjunto R := {x : x R+ }, a condio (P 2) diz
que R = R+ R {0}, com unio disjunta. Os nmeros y R chamam-se negativos.
Todo nmero real x 6= 0 tem quadrado positivo. Com efeito, se x R+ ento
x2 = x x R+ por (P 1). Se x 6 R+ ento (como x 6= 0) x R+ , logo
x2 = (x) (x) R+ por (P 1). Em particular, 1 um nmero positivo, porque
1 = 12 .
Definio 2.4 (Relao de Ordem). Escreve-se x < y e diz-se que x menor do que y
quando y x R+ , isto , y = x + z, onde z R+ . Neste caso, escreve-se tambm y > x
e diz-se que y maior do que x. Em particular, x > 0 (x 0 R+ ) significa que x R+ ,
isto , que x positivo, enquanto x < 0 (0 x R+ ) quer dizer que x negativo, ou seja,
que (x R+ ).
Valem as seguintes propriedades da relao de ordem:
1. Transitividade: Se x < y e y < z ento x < z.
2. Tricotomia: Dados x, y R, ocorre exatamente uma das alternativas x = y, x < y
ou y < x.
3. Monotonicidade da adio: Se x < y ento, z R, tem-se x + z < y + z.
4. Monotonicidade da multiplicao: Se x < y ento, z > 0, tem-se xz < yz. Se,
porm, z < 0 ento x < y implica yz < xz.
Demonstrao:
1. x < y e y < z significam y x R+ e z y R+ . Por (P 1) segue-se que
(y x) + (z y) R+ , isto , z x R+ , ou seja, x < z.
2. Dados x, y R, ou y x R+ , ou y x = 0 ou y x R (isto , x y R+ ). No
primeiro caso tem-se x < y, no segundo x = y e no terceiro y < x. Estas alternativas
se excluem mutuamente, por (P 2).
3. Se x < y ento y x R+ , donde (y +z)(x+z) = y x R+ , isto , x+z < y +z.
4. Se x < y e z > 0 ento y x R+ e z R+ , logo (y x)z R+ , ou seja,
yz xz R+ , o que significa xz < yz. Se x < y e z < 0 ento y x R+ e
z R+ , donde xz yz = (y x)(z) R+ , o que significa yz < xz.
19
Mais geralmente, x < y e x0 < y 0 implicam x + x0 < y + y 0 .

(y + y 0 ) (x + x0 ) = (y x) + (y 0 x0 ) R+ .
Com efeito,
Analogamente, 0 < x < y e 0 < x0 < y 0 implicam xx0 < yy 0 pois yy 0 xx0 =
yy 0 yx0 + yx0 xx0 = y(y 0 x0 ) + (y x)x0 > 0.
Se 0 < x < y ento y 1 < x1 . Para provar, nota-se primeiro que x > 0 x1 =
x (x1 )2 > 0. Em seguida, multiplicando ambos os membros da desigualdade x < y
por x1 y 1 vem y 1 < x1 .
Como 1 R positivo, segue-se que 1 < 1 + 1 < 1 + 1 + 1 < . . .. Podemos, ento,
considerar N R. Segue-se que Z R pois 0 R e n R n R. Alm disso,
se m, n Z com m 6= 0 ento m/n = m n1 R, o que nos permite concluir que
Q R. Assim, N Z Q R.
Lema 2.5 (Desigualdade de Bernoulli). Para todo nmero real x 1 e todo n N,
tem-se (1 + x)n 1 + nx.
Demonstrao. Isto se prova por induo sobre n, sendo bvio para n = 1, pois ficaria:
(1 + x)1 = 1 + 1 x. Supondo a desigualdade vlida para n, multiplicamos ambos os
membros pelo nmero 1 + x 0 e obtemos
(1 + x)n+1 = (1 + x)n (1 + x) (1 + nx)(1 + x)
= 1 + nx + x + nx2 = 1 + (n + 1)x + nx2
1 + (n + 1)x.
(2.1)

n
Pelo mesmo argumento, v-se que (1 + x) > 1 + nx quando n > 1, x > 1 e x 6= 0. Com
efeito, para n = 2, segue-se (1 + x)2 > 1 + 2x. Supondo (1 + x)n > 1 + nx vlida para n,
como em (2.1), para x + 1 > 0 e x 6= 0, obtemos
(1 + x)n+1 > (1 + nx)(1 + x) = 1 + (n + 1)x + nx2 > 1 + (n + 1)x.
Definio 2.6 (Valor Absoluto
x, se
|x| =
0, se
x, se
ou Mdulo). Definimos o valor absoluto de x R assim:

x>0
x=0
x < 0,
isto ,
|x| = max{x, x}.
20
Para todo x R tem-se |x| x |x|.

De fato, a desigualdade x |x| vem da definio. Agora, multiplicando x |x|
(tambm da definio) por 1, obtemos |x| x.
Exerccio 2.7. Use (P 1) e (P 2) para mostrar que |x| o nico nmero 0 cujo quadrado
x2 .
Proposio 2.8. Se x, y R ento |x + y| |x| + |y| e |x y| = |x| |y|.
Demonstrao. Somando membro a membro as desigualdades |x| x e |y| y vem
|x| + |y| x + y. Analogamente, de |x| x e |y| y vem |x| + |y| (x + y).
Logo, |x| + |y| |x + y| = max{x + y, (x + y)}. Para provar que |x y| = |x| |y|, basta
mostrar que estes dois nmeros tm o mesmo quadrado, j que ambos so 0. Ora,
|xy|2 = (xy)2 = x2 y 2 , enquanto (|x| |y|)2 = |x|2 |y|2 = x2 y 2 .

Proposio 2.9. Sejam a, x, R. Tem-se |x a| < veja < x < a + .
Demonstrao. Como |x a| o maior dos dois nmeros x a e (x a), afirmar que
|x a| < equivale a dizer que se tem x a < e (x a) < , ou seja, x a < e
x a > . Somando a, vem:
|x a| < x < a + e x > a a < x < a +
.
De modo anlogo se v que

|x a| a x a + .
Representaremos esses conjuntos (Intervalos) especiais por:
[a, b] = {x R : a x b} (, b] = {x R : x b}
(a, b) = {x R : a < x < b} (, b) = {x R : x < b}
[a, b) = {x R : a x < b} [a, +) = {x R : a x}
(a, b] = {x R : a < x b} (a, +) = {x R : a < x}
(, +) = R.
Os quatro intervalos da esquerda so limitados, com extremos a, b. [a, b] um intervalo
fechado, (a, b) aberto. [a, b) fechado esquerda e (a, b] fechado direita. Os cinco
intervalos direita so ilimitados: (, b] a semi-reta esquerda fechada de origem b.
Os demais tm denominaes anlogas. Quando a = b o intervalo fechado [a, b] reduz-se
a um nico elemento e chama-se um intervalo degenerado.
21
Em termos de intervalos, a Proposio 2.9 diz que |x a| < se, e somente se,
x (a , a + ). Analogamente,
|x a| x [a , a + ].
muito conveniente imaginar o conjunto R como uma reta (a reta real) e os nmeros
reais como pontos dessa reta. Ento a relao x < y significa que o ponto x est esquerda
de y (e y direita de x), os intervalos so segmentos de reta e |x y| a distncia do
ponto x ao ponto y. O significado da Proposio 2.9 de que o intervalo (a , a + )
formado pelos pontos que distam menos de do ponto a.

Nada do que foi dito at agora permite distinguir R de Q, pois os nmeros
racionais constituem um corpo ordenado. Acabaremos agora nossa caracterizao de
R, descrevendo-o como um corpo ordenado completo, propriedade que Q no tem.
Um conjunto X R diz-se limitado superiormente quando existe algum b R tal que
x b, x X. Neste caso, diz-se que b uma cota superior de X. Analogamente,
diz-se que o conjunto X R limitado inferiormente quando existe a R tal que
a x, x X. O nmero a chama-se, ento, uma cota inferior de X. Se X limitado
superior e inferiormente, diz-se que X um conjunto limitado. Isto significa que X est
contido em algum intervalo limitado [a, b] ou, equivalentemente, que existe um k > 0 tal
que x X |x| k. Basta tomar k = max{|a|, |b|}.
Definio 2.10 (Supremo de um Conjunto). Seja X R limitado superiormente e novazio. Um nmero b R chama-se o supremo do conjunto X, e indicamos por b = sup X
quando a menor das cotas superiores de X. Mais explicitamente, b o supremo de X
quando cumpre as duas condies:
S1. x b x X;
S2. Se c R tal que x c x X, ento b c.
A condio S2 admite a seguinte reformulao:
S2 . Se c < b ento existe x X com c < x.
Com efeito, S20 diz que nenhum nmero real menor do que b pode ser cota superior de
X. s vezes se exprime S20 assim: para todo > 0, existe x X tal que b < x.
0
Definio 2.11 (nfimo de um Conjunto). Analogamente, se X R um conjunto

limitado superiormente e no-vazio, um nmero a R chama-se o nfimo do conjunto X,
22
e escreve-se a = inf X quando a maior das cotas inferiores de X. Isto equivale s duas
afirmaes:
I1. a x x X;
I2. Se c R tal que c x x X, ento c a.
A condio I2 pode tambm ser formulada assim:
I2 . Se a < c ento existe x X com x < c.
De fato, I20 diz que nenhum nmero real maior do que a cota inferior de X.
Equivalentemente:
para todo > 0, existe x X tal que x < a + .
0
Definio 2.12. Diz-se que um nmero b X o maior elemento (ou elemento mximo)
do conjunto X quando b x, x X. Isto quer dizer que b uma cota superior de X,
pertencente a X.
Por exemplo, b o elemento mximo do intervalo fechado [a, b], mas o intervalo [a, b)
no possui maior elemento.
Exerccio 2.13. Se um conjunto X possui elemento mximo, este ser seu supremo.
Entretanto, o contrrio nem sempre verdade.
A noo de supremo serve, precisamente, para substituir a ideia de maior elemento
de um conjunto quando esse maior elemento no existe.
O supremo do conjunto [a, b) b. (Verifique!)
Consideraes inteiramente anlogas podem ser feitas em relao ao nfimo.
Definio 2.14. A afirmao de que o corpo ordenado R completo significa que todo
conjunto no-vazio, limitado superiormente, X R possui supremo b = sup X R.
Exerccio 2.15 (Resolvido). Mostre que todo conjunto no-vazio, limitado inferiormente,
X R possui nfimo a = inf X R.
Soluo: Com efeito, neste caso Y = {x : x X} no-vazio, limitado superiormente;
logo possui um supremo b R. Ento, como se v sem dificuldade (Verifique!), o nmero
a = b o nfimo de X.

Em seguida, veremos algumas consequncias da completeza de R.
Teorema 2.16. So verdades equivalentes:
(i) O conjunto N R no limitado superiormente.
(ii) O nfimo do conjunto X = {1/n : n N} igual a 0.
(iii) Dados a, b R+ , existe n N tal que n a > b.
23
Demonstrao. (i) Se N R fosse limitado superiormente, existiria c = sup N. Ento,

c 1 no seria cota superior de N, isto , existiria n N com c 1 < n. Da resultaria que
c < n + 1, logo c no seria cota superior de N; mas isto uma contradio, pois c = sup N.
Logo, N no limitado superiormente. (i) (ii) Evidentemente, 0 uma cota inferior
de X. Basta ento provar que nenhum c > 0 cota inferior de X. Ora, dado c > 0,
existe, por (i), um nmero natural n > 1/c, donde 1/n < c, isto , c no cota inferior
de X. (ii) (iii) Dados a, b R+ usamos (2) para obter n N tal que 1/n < a/b, o
que implica n a > b. (iii) (i) Dado b R+ arbitrrio, tomando a = 1, existe, por
(iii) n N tal que n > b. Isto prova (i).

Estas propriedades dizem que R um corpo arquimediano. Na realidade, (iii) devida
ao matemtico grego Eudoxo, que viveu alguns sculos antes de Arquimedes.
Teorema 2.17 (Intervalos Encaixados). Dada uma sequncia decrescente
I1 I2 . . . In . . .
de intervalos limitados e fechados In = [an , bn ]. Existe, pelo menos, um nmero real c
tal que c In , n N.
Demonstrao. As incluses In In+1 significam que
a1 a2 . . . an . . . b n . . . b 2 b 1 .
O conjunto A = {a1 , a2 , . . . , an , . . .} , portanto, limitado superiormente (por b1 ). Logo,
como R completo, existe c = sup A. Evidentemente, an c n N. Alm disso, como
cada bn cota superior de A, temos c bn n N. Portanto, c In (pois cada In
fechado) qualquer que seja o n N.

Teorema 2.18. O conjunto dos nmeros reais no enumervel.
Demonstrao. Mostremos que nenhuma funo f : N R pode ser sobrejetiva. Para
isto, supondo f dada, construiremos uma sequncia decrescente I1 I2 . . . In . . .
de intervalos limitados e fechados tais que f (n) 6 In . Ento, se c um nmero real
pertencente a todos os In , nenhum dos valores f (n) pode ser igual a c, logo f no
sobrejetiva. Para obter os intervalos, comeamos tomando I1 = [a1 , b1 ] tal que f (1) < a1
e, supondo obtidos I1 I2 . . . In tais que f (j) 6 Ij , olhamos para In = [an , bn ]. Se
f (n + 1) 6 In , podemos simplesmente tomar In+1 = In . Se, porm, f (n + 1) In , pelo
menos um dos extremos, digamos an , diferente de f (n + 1), isto , an < f (n + 1). Neste
caso, tomamos In+1 = [an+1 , bn+1 ], com an+1 = an e bn+1 = (an + f (n + 1))/2.
24
Definio 2.19. Um nmero real chama-se irracional quando no racional. O conjunto

dos nmeros irracionais ser indicado por R\Q.
Corolrio 2.20. O conjunto R\Q no-vazio e no-enumervel.
Demonstrao. Como o conjunto Q dos nmeros racionais enumervel, resulta do
teorema acima que R\Q 6= . Alm disso, como R = Q (R\Q), segue que R\Q noenumervel, pois a reunio de dois conjuntos enumerveis um conjunto enumervel (Ver
Corolrio 1.30).

Corolrio 2.21. Todo intervalo no-degenerado no-enumervel.
Demonstrao. Com efeito, todo intervalo no-degenerado contm um intervalo aberto
(a, b). Como a funo f : (1, 1) (a, b) definida por f (x) = 21 [(b a)x + a + b]
uma bijeo, basta mostrar que o intervalo aberto (1, 1) no-enumervel. Ora, a
funo : R (1, 1), dada por (x) = x/(1 + |x|), uma bijeo cuja inversa
: (1, 1) R, definida por (y) = y/(1 |y|), pois ((y)) = y e ((x)) = x para
quaisquer y (1, 1) e x R, como se pode verificar facilmente.

Teorema 2.22. Todo intervalo no-degenerado I contm nmeros racionais e irracionais.
Demonstrao. Certamente I contm nmeros irracionais, pois do contrrio seria
enumervel uma vez que o conjunto dos nmeros racionais o . Para provar que I contm
nmeros racionais, tomamos [a, b] I, onde a < b podem ser supostos irracionais, pois
se algum deles fosse racional, a prova terminaria. Fixemos n N tal que 1/n < b a.
Afirmamos que os intervalos Im = (m/n, (m + 1)/n], m Z, cobrem a reta, isto ,
R = mZ Im . De fato, dado x R, considere o conjunto A = {n Z : x n + 1}.
Como A um subconjunto no-vazio de Z, limitado inferiormente, A possui um elemento
mnimo n0 . Logo, n0 < x n0 + 1, pois n0 1 6 A e n0 A.
Provada a afirmao, existe m Z tal que a Im . Como a irracional, temos que
m/n < a < (m + 1)/n. Sendo o comprimento 1/n do intervalo Im menor do que b a,
segue que (m + 1)/n < b. Logo o nmero racional (m + 1)/n pertence ao intervalo [a, b]
e, portanto, ao intervalo I.

Seo 1: R um Corpo
1. Prove as seguintes unicidades:
(a) Se x + = x para algum x R ento = 0;
25
(b) Se x u = x para todo x R ento u = 1;

(b) Se x + y = 0 ento y = x;
(c) Se x y = 1 ento y = x1 .
2. Dados a, b, c, d R, se b 6= 0 e d 6= 0, prove que a/b + c/d = (ad + bc)/bd e
(a/b)(c/d) = ac/bd.
3. Se a 6= 0 e b 6= 0 em R, prove que (ab)1 = a1 b1 e conclua que (a/b)1 = b/a.
4. Prove que (1 xn+1 )/(1 x) = 1 + x + + xn para todo x 6= 1.
Seo 2: R um Corpo Ordenado
1. Para quaisquer x, y, z R, prove que |x z| |x y| |y z|.
2. Prove que ||x| |y|| |x y| para quaisquer x, y R.
3. Dados x, y R, se x2 + y 2 = 0, prove que x = y = 0.
Soluo: Na verdade, so equivalentes. Se x2 + y 2 = 0, ento x2 = y 2 0. Por outro
lado, x2 0. Juntando os dois resultados, obtemos x2 = 0 x = 0. Analogamente,
y = 0. A recproca imediata.

n
2
4. Prove, por induo, que (1 + x) 1 + nx + [n(n 1)/2]x , se x 0.
Soluo: Para n = 1, temos, na verdade, uma igualdade: (1+x)1 = 1+x+[1(11)/2]x2 =
1 + x. Suponhamos, agora, que a desigualdade valha para n = p, ou seja,
(1 + x)p 1 + px + [p(p 1)/2]x2
e mostremos que ela vale para n = p+1. Multiplicando ambos os membros da desigualdade
acima por x + 1 > 0 e usando que x 0, obtemos
(1 + x)p+1
=
=
(1 + px + [p(p 1)/2]x2 )(x + 1)

1 + px + [p(p 1)/2]x2 + x + px2 + [p(p 1)/2]x3
1 + (p + 1)x + [p(p 1)/2 + p]x2 + [p(p 1)/2]x3
1 + (p + 1)x + [p(p 1)/2 + p]x2
1 + (p + 1)x + [(p + 1)[(p + 1) 1]/2]x2 ,
como queramos.

5. Para todo x 6= 0 em R, prove que (1 + x)2n > 1 + 2nx.
6. Prove que |a b| < |a| < |b| + .
P
7. Use o fato de que o trinmio do segundo grau f () = ni=1 (xi yi )2 0 para todo
26
R para provar a desigualdade de Cauchy-Schwarz

n
n
n
X
X
X
(
xi yi )2
x2i
yi2 .
i=1
i=1
i=1
Prove ainda que vale a igualdade se, e somente se, existe R tal que xi = yi para
todo i = 1, . . . , n ou y1 = y2 = . . . = yn = 0.
Soluo: Temos que
n
X
(xi yi )2 =
i=1
n
X
(x2i 2xi yi + yi2 2 )
i=1
n
X
x2i
+ (2
i=1
n
X
xi yi ) + (
i=1
n
X
yi2 )2
i=1
= a2 + b + c 0,
P
P
P
onde a = ni=1 yi2 , b = 2 ni=1 xi yi e c = ni=1 x2i .
Se a > 0, como a2 + b + c 0, devemos ter = b2 4ac 0, donde b2 4ac.
Substituindo os valores de a, b e c, segue-se
n
n
n
X
X
X
2
2
4(
xi y i ) 4
yi
x2i ,
i=1
i=1
i=1
implicando, finalmente, que

n
n
n
X
X
X
(
xi yi )2
x2i
yi2 .
i=1
i=1
i=1
Alm disso, a igualdade vale se, e somente se, = 0; ou melhor, se, e somente
se, existe raiz para o trinmio f () = a2 + b + c, isto , existe R tal que
P
f () = ni=1 (xi yi )2 = 0. Mas, pelo Exerccio 3 acima, isto equivale a xi yi =
0, i = 1, . . . , n, ou ainda, xi = yi para todo i = 1, . . . , n.
Se a = 0, ou seja, se y12 + y22 + . . . + yn2 = 0, ento y1 = y2 = . . . = yn = 0. Neste
caso, temos a igualdade trivialmente.

8. Se a1 /b1 , . . . , an /bn pertencem ao intervalo (, ) e b1 , . . . , bn so positivos, prove que
(a1 + +an )/(b1 + +bn ) pertencem a (, ). Nas mesmas condies, se t1 , . . . , tn R+ ,
prove que (t1 a1 + + tn an )/(t1 b1 + + tn bn ) tambm pertence ao intervalo (, ).
Seo 3: R um Corpo Ordenado Completo
1. Diz-se que uma funo f : X R limitada superiormente quando sua imagem
f (X) = {f (x) : x X} um conjunto limitado superiormente. Ento pe-se
27
sup f = sup{f (x) : x X}. Prove que se f, g : X R so limitadas superiormente

o mesmo ocorre com a soma f + g : X R e tem-se sup(f + g) sup f + sup g. D um
exemplo com sup(f + g) < sup f + sup g. Enuncie e prove um resultado anlogo para inf.
2. Dadas as funes f, g : X R+ limitadas superiormente, prove que o produto f g :
X R+ uma funo limitada (superior e inferiormente) com sup(f g) sup f sup g
e inf(f g) inf f inf g. D exemplos onde se tenha < e no =.
3. Nas mesmas condies do exerccio anterior, mostre que sup(f 2 ) = (sup f )2 e inf(f 2 ) =
(inf f )2 .
4. Dados a, b R+ com a2 < 2 < b2 , tome x, y R+ tais que x < 1, x < (2 a2 )/(2a + 1)
e y < (b2 2)/2b. Prove que (a + x)2 < 2 < (b y)2 e b y > 0. Em seguida, considere o
conjunto limitado X = {a R+ : a2 < 2} e conclua que o nmero real c = sup X cumpre
c2 = 2.
5. Prove que o conjunto dos polinmios com coeficientes inteiros enumervel. Um nmero
real chama-se algbrico quando raiz de um polinmio com coeficientes inteiros. Prove que
o conjunto dos nmeros algbricos enumervel. Um nmero real chama-se transcendente
quando no algbrico. Prove que existem nmeros transcendentes.
6. Prove que um conjunto I R um intervalo se, e somente se, a < x < b,
a, b I x I.

1. (a) Enuncie o Teorema dos Intervalos encaixados e o Teorema de BolzanoWeierstrass;
(b) D exemplos mostrando que no teorema dos Intervalos Encaixados, aqueles
intervalos devem ser limitados; e que tais intervalos precisam ser, tambm,
fechados. Isto , a hiptese de que os intervalos so limitados e fechados
necessria.
(c) Exiba uma sequncia que no possui subsequncia convergente.
2. Se a < x < b, mostre que |x| < |a| + |b|.
3. Mostre que |a b| < para todo > 0, se e somente se, a = b.
1
1
4. Mostre que max{a, b} = (a + b + |a b|) e min{a, b} = (a + b |a b|).
2
2
5. (a) Mostre que a2 + ab + b2 0, a, b R.
28
x+y
. Essa desigualdade diz que a mdia

(b) Se x, y > 0, mostre que xy
2
geomtrica de dois nmeros reais positivos menor do que ou igual mdia
aritmtica desses mesmos nmeros.
(c) Mostre que, geometricamente, essa desigualdade expressa o fato de que a altura
de um tringulo retngulo tendo por base a hipotenusa menor do que ou igual
metade da hipotenusa.
(d) Quando que as mdias aritmtica e geomtrica so iguais? Que quer dizer
isso geometricamente?
6. (a) Prove por induo que |a1 + a2 + . . . + an | |a1 | + |a2 | + . . . + |an | quaisquer
que sejam os nmeros a1 , a2 , . . . , an R.
(b) Prove por induo que |a1 + a2 + . . . + an | |a1 | |a2 | . . . |an | quaisquer
que sejam os nmeros a1 , a2 , . . . , an R.
7. Sejam m R e p > 1 um nmero primo qualquer.
(a) Prove que se m2 divisvel por p, ento m tambm o .
(b) Prove que p irracional.

8. (a) Prove que, se p e q forem nmeros primos distintos, ento
pq irracional.
(b) Prove que, se p1 , . . . , pr forem nmeros primos distintos, ento p1 pr

irracional.
9. (a) Se a e b so nmeros irracionais, verdade que (a + b)/2 irracional? Prove

a veracidade dessa afirmao ou d um contra-exemplo, mostrando que ela
falsa.
(b) Prove que a soma ou a diferena entre um nmero racional e um nmero
irracional um nmero irracional. Mostre, com um contra-exemplo, que o
produto de dois nmeros irracionais pode ser racional.
(c) Prove que o produto de um nmero irracional por um nmero racional diferente
de zero um nmero irracional.
(d) Prove que se r for um nmero irracional ento 1/r tambm o ser.
(e) Sejam a, b, c, d nmeros racionais. Prove que
a + b 2 = c + d 2 a = c e b = d.
29
(f ) Sejam a, b nmeros racionais positivos. Prove que a + b racional se,
e somente se, a e b forem ambos racionais. (Sugesto: multiplique por
a b)
(g) Prove que se x e y forem nmeros irracionais tais que x2 y 2 Q {0}, ento
x + y e x y so ambos irracionais. Exemplo: 3 + 2 e 3 2.

e y = (x+y)(xy)
.)
(Sugesto: Em algum momento, use x = (x+y)+(xy)
2
2
p s1
10. Prove que, se p1 , . . . , pr forem nmeros primos distintos, ento
p1 psrr
irracional se algum dos expoentes s1 , . . . , sr for mpar.
11. (a) Prove que entre dois nmeros reais distintos h uma infinidade de nmeros
racionais.
(b) Prove que entre dois nmeros reais distintos h uma infinidade de nmeros
irracionais.
(c) Sabendo que o conjunto R dos nmeros reais no enumervel, prove que o
conjunto dos nmeros irracionais no enumervel.
12. Use a desigualdade de Bernoulli para mostrar que

n
1
1
1 2
>1
n
n
e deduzir que

1+
1
n1
n1

<
1
1+
n
n
.
13. Se c > 1, c R, mostre que cn > c.

(Sugesto: c = 1 + ; > 0 e use a desigualdade de Bernoulli)
14. Considere o conjunto C = {1/m 1/n : n, m N}. Prove que 1 = inf C e
1 = sup C, e que {1, 1} 6 C.
15. (a) Prove que todo conjunto no-vazio de nmeros reais, limitado inferiormente,
tem nfimo. Em outras palavras, dado A R no-vazio, limitado inferiormente,
seja A = {x : x A}. Prove que A limitado superiormente e que
sup(A) = inf A.
(b) Dados A R no-vazio, limitado, e c R, definimos o conjunto cA = {ca :
a A}. Mostre, ento, que
(
c0
sup cA = c sup A
inf cA = c inf A.
(
e
c<0
sup cA = c inf A
inf cA = c sup A.
30
Em particular, sup(A) = inf A, ou ainda, sup A = inf(A).

16. Seja X = {1/n : n N}. Prove que inf X = 0.
17. Sejam A B R no-vazios e limitados. Prove que inf B inf A sup A sup B.
18. Sejam A, B R no-vazios tais que a A, b B a b.
(a) Prove que sup A inf B.
(b) Prove que sup A = inf B > 0, a A, b B tais que b a < .
19. Sejam A, B R no-vazios, limitados inferiormente, e r R tal que r a+b, a
A, b B.
(a) Prove que r inf A + inf B.
(b) Enuncie e demonstre resultado anlogo para os supremos.
20. Dados A, B R no-vazios e limitados, seja A + B = {a + b : a A, b B}. Prove
que
(a) A + B limitado.
(b) sup(A + B) = sup A + sup B.
(c) inf(A + B) = inf A + inf B.
21. Prove que r = sup{x R : x < r} = inf{x R : x > r}.
22. Sejam x, y R e n N.
(a) Prove por induo que (1 y n ) = (1 y)(1 + y + y 2 + . . . + y n1 ).
(b) Conclua que (xn y n ) = (x y)(xn1 + xn2 y + xn3 y 2 + . . . + xy n2 + y n1 ).

1
(l) ( ) Se X =
: n N , ento inf X = 0.
n
(m) ( ) Se X N limitado, ento X possui um supremo em N
(n) ( ) Se X N limitado, ento X possui um supremo em R
(o) ( ) Se X N, ento X possui um nfimo em R
(p) ( ) Se X N, ento X possui um mnimo em N
(q) ( ) Se X N, ento X possui um mnimo em R

(r) ( ) Todo supremo de um conjunto elemento mximo desse conjunto.
(s) ( ) Todo elemento mximo de um conjunto supremo desse conjunto.
(z) ( ) O conjunto X = (0, 1) no possui nem nfimo, nem supremo.
31
Captulo
3
Sequncias de Nmeros Reais
Neste captulo ser apresentada a noo de limite, que tem um papel central no estudo
da Anlise Matemtca, sob sua forma mais simples, o limite de uma sequncia. A partir
daqui, todos os conceitos importantes da Anlise, de uma forma ou de outra, reduzir-se-o
a algum tipo de limite.
3.1 Limites de uma Sequncia

Definio 3.1. Uma Sequncia de nmeros reais uma funo x : N R, que associa
a cada nmero n N um nmero xn R, chamado o n-simo termo da sequncia.
Escreve-se (x1 , x2 , . . . , xn , . . .) ou (xn )nN , ou simplesmente (xn ) para indicar a
sequncia cujo n-simo termo xn . No confunda a sequncia (xn ) com o conjunto
{x1 , x2 , . . . , xn , . . .} dos seus termos.
Por exemplo, as sequncias (0, 1, 0, 1 . . .) e
(0, 0, 1, 0, 0, 1, . . .) so diferentes, mas os conjuntos dos seus termos so os mesmos, iguais
a {0, 1}.
Definio 3.2. Uma sequncia (xn ) diz-se limitada superiormente (respectivamente,
inferiormente) quando existe c R tal que xn c (respectivamente, xn c) para
todo n N. Diz-se que a sequncia (xn ) limitada quando ela limitada superior e
inferiormente. Isto equivale a dizer que existe k > 0 tal que |xn | k, n N.
Exemplo 3.3. Se a > 1 ento a sequncia (a, a2 , . . . , an , . . .) limitada inferiormente,
porm, no superiormente. Com efeito, multiplicando ambos os membros da desigualdade
1 < a por an , obtemos an < an+1 ; segue-se que a < an , n N. Logo, (an ) limitada
inferiormente por a. Por outro lado, temos a = 1 + d com d > 0. Pela desigualdade de
33
Bernoulli, vale an = (1 + d)n > 1 + nd, n N. Portanto, dado qualquer c R podemos

obter an > c, desde que tomemos 1 + nd > c, isto , n > (c 1)/d.

Definio 3.4. Dada uma sequncia x = (xn )nN , uma subsequncia de x a restrio
da funo x a um subconjunto infinito e, portanto, ilimitado, N0 = {n1 , n2 , . . . , nk , . . .}.
Escreve-se x0 = (xn )nN0 ou (xn1 , xn2 , . . . , xnk , . . .), ou (xnk )kN para indicar a
subsequncia x0 = x | N0 .
A notao (xnk )kN mostra como uma subsequncia pode ser considerada como uma
sequncia, isto ,uma funo cujo domnio N.
Exemplo 3.5. Se a < 1, formemos a sequncia (an )nN . Se N0 N o conjunto
dos nmeros pares e N00 N o conjunto dos nmeros mpares, ento a subsequncia
(an )nN0 = (a2 , a4 , . . . , a2k , . . .) limitada apenas inferiormente, enquanto a subsequncia
(an )nN00 = (a1 , a3 , . . . , a2k1 , . . .) limitada apenas superiormente. Com efeito, de a < 1
segue-se |a| > 1 |a|2 > 1, ou seja, a2 > 1. Assim, para n N0 a sequncia se escreve
(an )nN0 = ((a2 ), (a2 )2 , (a2 )3 , . . .) = (a2 )n , donde, como no Exemplo 3.3, limitada apenas
inferiormente.
Por outro lado, como a2k > 0, multiplicando ambos os membros da desigualdade a < 1
por a2k , obtemos a2k+1 < a2k < 1; ento, pela primeira parte, obtemos que a
subsequncia (an )nN00 limitada apenas superiormente.
Definio 3.6. Diz-se que um nmero real a limite da sequncia (xn ) quando, para
todo nmero real > 0, dado arbitrariamente, pode-se obter n0 = n0 () N tal que todos
os termos xn com ndice n > n0 cumprem a condio |xn a| < . Simbolicamente,
escreve-se
.
a = lim xn = > 0, n0 N; n > n0 |xn a| < .
Esta importante definio significa que, para valores muito grandes de n, os termos
xn tornam-se e se mantm to prximos de a quanto se deseje. Mais precisamente,
estipulando-se uma margem de erro > 0, existe um ndice n0 N tal que todos
os termos xn da sequncia com ndice n > n0 so valore aproximados de a com erro
menor do que .
Convm lembrar que |xn a| < o mesmo que a < xn < a+, isto , xn (a, a+).
Assim, dizer que a = lim xn significa afirmar que qualquer intervalo aberto de centro a
contm todos os termos xn da sequncia, salvo para um nmero finito de ndices n (a
saber, os ndices n n0 , onde n0 escolhido em funo do raio do intervalo dado. Em
34
vez de a = lim xn , escreve-se tambm a = limnN xn , a = limn xn ou xn a. Esta

ltima expresso l-se xn tende para a ou xn converge para a. Uma sequncia que
possui limite diz-se convergente. Caso contrrio, ela se chama divergente.
Teorema 3.7. Uma sequncia no pode convergir para dois limites distintos.
Demonstrao. Seja a = lim xn . Dado b 6= a, podemos tomar > 0 tal que os intervalos
abertos I = (a , a + ) e J = (b , b + ) sejam disjuntos. Basta tomar |b a|/2.
Existe n0 N tal que n > n0 implica xn I. Ento, para todo n > n0 , temos xn 6 J.
Logo, no pode ser lim xn = b.

Teorema 3.8. Se lim xn = a, ento toda subsequncia de (xn ) converge para o limite a.
Demonstrao. Seja (xn1 , . . . , xnk , . . .) a subsequncia. Dado qualquer intervalo aberto
I de centro a, existe n0 N tal que todos os termos xn , com n > n0 , pertencem a I. Em
particular, todos os termos xnk , com nk > n0 tambm pertencem a I. Logo, lim xnk = a.
Teorema 3.9. Toda sequncia convergente limitada.

Demonstrao. Seja a = lim xn . Fixado > 0, vemos que existe n0 N tal que
n > n0 implica xn (a , a + ). Sejam b o menor e c o maior elemento do conjunto
{x1 , . . . , xn0 , a , a + }. Isto significa que
b x1 , . . . , xn0 c,
b a < xn < a + c,
se n > n0
Isto , todos os termos xn da sequncia esto contidos no intervalo [b, c], logo ela limitada.
Exemplo 3.10. A sequncia (2, 0, 2, 0, . . .), cujo n-simo termo xn = 1 + (1)n+1 ,

limitada, mas no convergente porque possui duas subsequncias constantes, x2n1 = 2
e x2n = 0, com limites distintos.
Exemplo 3.11. A sequncia (1, 2, 3, . . .), com xn = n, no converge por que no
limitada.
Definio 3.12. Uma sequncia chama-se montona quando se tem xn xn+1 n N ou
ento xn xn+1 n N. No primeiro caso, diz-se que (xn ) montona no-decrescente
e, no segundo, que (xn ) montona no-crescente. Se, mais precisamente, tivermos
xn < xn+1 (respectivamente, xn > xn+1 ) para todo n N, diremos que a sequncia
crescente (respectivamente, decrescente).
35
Toda sequncia montona no-decrescente (respectivamente, no-crescente) limitada

inferiormente (respectivamente, superiormente) pelo seu primeiro termo.
Lema 3.13. A fim de que uma sequncia montona seja limitada suficiente que possua
uma subsequncia limitada.
Demonstrao. Com efeito, seja (xn )nN0 uma subsequncia limitada da sequncia
montona (digamos, no-decrescente) (xn ). Temos xn0 c, n0 N0 . Dado qualquer
n N, existe n0 N0 tal que n < n0 . Ento, x1 xn xn0 c.

O teorema seguinte d uma condio suficiente para que uma sequncia convirja. Foi
tentando demonstr-lo ao preparar suas aulas, na metado do sculo XIX, que R. Dedekind
percebeu a necessidade de uma conceituao precisa de nmero real.
Teorema 3.14. Toda sequncia montona limitada convergente.
Demonstrao. Seja (xn ) montona, digamos no-decrescente, limitada. Escrevamos
X = {x1 , x2 , . . . , xn , . . .}. Como X um conjunto limitado, possui um supremo, que
chamamos de a = sup X.
Afirmao: a = lim xn .
Com efeito, dado > 0, o nmero a no cota superior de X. Logo, existe n0 N
tal que a < xn0 a. Assim, como (xn ) no-decrescente, n > n0 a < xn0
xn a < a + , ou seja, xn (a , a + ) n > n0 ; isto , lim xn = a.

Observao 3.15. Semelhantemente, se (xn ) no-crescente e limitada, ento lim xn
o nfimo do conjunto dos valores xn . Por exemplo, a sequncia cujo n-simo termo
xn = 1/n montona, decrescente e limitada. Temos, ento lim(1/n) = inf{1/n : n
N} = 0, pelo Teorema 2.16.
Corolrio 3.16 (Teorema de Bolzano-Weierstrass). Toda sequncia limitada de nmeros
reais possui uma subsequncia convergente.
Demonstrao. Tendo em vista o Teorema 3.14, basta mostrar que toda sequncia
limitada (xn ) possui uma subsequncia montona.
Digamos que um termo xn da sequncia dada destacado quando xn xp p > n.
Seja
D = {n N : xn destacado }
Se D for infinito, D = {n1 < n2 < . . . < nk < . . .}, ento a subsequncia (xnk )nk D
ser montona no-crescente.
3.2 Limites e Desigualdades
36
Se D for finito (e, portanto, limitado), seja n1 N maior do que todos os n D.

Ento xn1 6 D no destacado, logo existe n2 > n1 com xn1 < xn2 . Por sua vez, xn2
no destacado, logo existe n3 > n2 com xn1 < xn2 < xn3 . Prosseguindo, obtemos
uma subsequncia montona crescente xn1 < xn2 < . . . < xnk < . . .
A demonstrao est completa.
Exemplo 3.17. Seja 0 < a < 1. A sequncia (a, a2 , . . . , an , . . .) decrescente e limitada,

pois multiplicando 0 < a < 1 por an resulta 0 < an+1 < an , e 0 < an < 1 para todo n N.
Afirmamos que limn an = 0. De fato, como 1/a > 1, segue-se do Exemplo 3.3 que,
dado arbitrariamente > 0, existe n0 N tal que (1/a)n > 1/ n > n0 , ou seja,
an < n > n0 . Mas isto significa que limn an = inf{an : n N} = 0.
3.2 Limites e Desigualdades

Observao 3.18. Seja P uma propriedade referente aos termos de uma sequncia (xn ).
Diremos que para todo n suficientemente grande xn goza da propriedade P para significar
que existe n0 N tal que n > n0 xn goza da propriedade P .
Teorema 3.19. Seja a = lim xn . Se b < a ento, para todo n suficientemente grande,
tem-se b < xn . Analogamente, se a < b, ento xn < b para todo n suficientemente grande.
Demonstrao. Tomando = a b, temos > 0 e b = a . Pela definio de limite,
existe n0 N tal que n > n0 a < xn < a + b < xn . A outra afirmao se prova
analogamente.

Corolrio 3.20. Seja a = lim xn . Se a > 0 ento, para todo n suficientemente grande,
tem-se xn > 0. Analogamente, se a < 0, ento xn < 0 para todo n suficientemente grande.
Demonstrao. Basta trocar b por 0 na prova do Teorema 3.19.
Corolrio 3.21. Sejam a = lim xn e b = lim yn . Se xn yn para todo n suficientemente

grande, ento a b. Em particular, se xn b para todo n suficientemente grande, ento
lim xn b.
Demonstrao. Se fosse b < a, ento tomaramos c R tal que b < c < a e teramos,
pelo Teorema 3.19, yn < c < xn para todo n suficientemente grande, contradizendo a
hiptese.

Observao 3.22. Se fosse xn < yn no se poderia concluir a < b. Por exemplo, se
xn = 0 e yn = 1/n, temos, para todo n N, que xn < yn . Mas lim xn = lim yn = 0.
3.3 Operaes com Limites
37
Teorema 3.23 (Teorema do Sanduche). Se lim xn = lim yn = a e xn zn yn para

todo n suficientemente grande, ento lim zn = a.
Demonstrao. Seja > 0 dado arbitrariamente.
Como lim xn = a, existe n1 N tal que n > n1 a < xn < a + .
Como lim yn = a, existe n2 N tal que n > n2 a < yn < a + .
Seja n0 = max{n1 , n2 }. Ento n > n0 a < xn zn yn < a+ zn (a, a+),
logo lim zn = a.

Teorema 3.24. Se lim xn = 0 e (yn ) uma sequncia limitada (convergente ou no),
ento lim(xn yn ) = 0.
Demonstrao. Como (yn ) limitada existe c > 0 tal que |yn | c para todo n N.
E como lim xn = 0, dado arbitrariamente > 0, existe n0 N tal que n > n0 |xn | < /c.
Ento n > n0 |xn yn | = |xn | |yn | < (/c) c. Assim, lim xn yn = 0.

Exemplo 3.25. Se xn = 1/n e yn = sin n, ento (yn ) no converge, mas, como
1 yn 1, tem-se lim(xn yn ) = lim sinn n = 0. Por outro lado, se lim xn = 0, mas (yn )
no limitada, ento o produto pode divergir (tome xn = 1/n e yn = n2 ) ou convergir
para um valor qualquer (tome xn = 1/n e yn = c n).
Observao 3.26. Para uso posterior, observemos que, segundo resulta diretamente da
definio de limite, tem-se
lim xn = a lim(xn a) = 0 lim |xn a| = 0.
De fato,
lim xn = a > 0 n0 N : n > n0 |xn a| <
> 0 n0 N : n > n0 |(xn a) 0| < ( lim(xn a) = 0)
> 0 n0 N : n > n0 ||xn a| 0| < ( lim |xn a| = 0).
Teorema 3.27. Se lim xn = a e lim yn = b, ento:

1. lim(xn yn ) = a b.
2. lim xn yn = ab.
3. lim
xn
a
=
yn
b
38
se b 6= 0.
Demonstrao.
1. Seja > 0 dado arbitrariamente.
Como lim xn = a, existe n1 N tal que n > n1 |xn a| < /2.
Como lim yn = b, existe n2 N tal que n > n2 |yn b| < /2.
Seja n0 = max{n1 , n2 }. Ento para n > n0 , temos
|xn yn (a b)| = |xn a (yn b)| |xn a| + |yn b| < /2 + /2 = .
Logo, lim(xn yn ) = a b.
2. Note que
|xn yn ab| = |xn yn xn b+xn bab| = |xn (yn b)+(xn a)b| |xn ||yn b|+|xn a||b|.
Seja > 0 dado arbitrariamente.
Como lim xn = a, existe n1 N tal que n > n1 |xn a| < /2|b|.
Consequentemente, |xn | < |a| + /2|b| = c
Como lim yn = b, existe n2 N tal que n > n2 |yn b| < /2c.
Seja n0 = max{n1 , n2 }. Ento para n > n0 , temos
|xn yn ab| |xn ||yn b| + |xn a||b| < c

+
|b| = .
2c 2|b|
Portanto, lim xn yn = ab.

3. Vale xn /yn a/b = (xn b yn a)/yn b. Como lim(xn b yn a) = ab ab = 0, basta
provar que 1/yn b uma sequencia limitada para concluir que lim(xn /yn a/b) = 0
e portanto que lim xn /yn = a/b. Como lim yn b = b2 > b2 /2 = c > 0, segue-se do
Teorema 3.19 que, para todo n suficientemente grande, tem-se yn b > c e, portanto,
0 < 1/yn b < 1/c, completando a demonstrao.
Exemplo 3.28. Se xn > 0 para todo n N e lim(xn+1 /xn ) = a < 1, ento lim xn = 0.
Com efeito,
suficientemente
suficientemente
Teorema 3.14).
tomemos c R com a < c < 1. Ento 0 < xn+1 /xn < c para todo n
grande. Segue-se que 0 < xn+1 = (xn+1 /xn )xn < c xn < xn ; logo, para n
grande, a sequncia (xn ) montona e limitada, da possui limite (pelo
Seja b = lim xn . De xn+1 < c xn para todo n suficientemente grande
39
resulta, fazendo n , que b c b, isto , (1 c) b 0. Como 0 < c < 1, segue que

b 0. Por outro lado, de xn > 0 segue-se b 0. Portanto, conclumos que b = 0.
Exemplo 3.29. Como aplicao do exemplo anterior, v-se que, se a > 1 e k N so
constantes, ento
n!
an
nk
= lim n = 0.
lim n = lim
n n
n n!
n a
Exemplo 3.30. Dado a > 0, mostremos que a sequncia dada por xn = n a = a1/n tem
limite igual a 1. De fato, trata-se de uma sequncia montona (decrescente se a > 1,
crescente se a < 1), limitada; portanto, existe L = limn a1/n . Tem-se L > 0. Com
efeito, se 0 < a < 1 ento a1/n > a para todo n N, donde L a. Se, porm,
a > 1, ento a1/n > 1 para todo n N, donde L 1. Consideremos a sequncia
(a1/n(n+1) ) = (a1/2 , a1/6 , a1/12 , . . .). Como 1/n(n + 1) = 1/n 1/(n + 1), o Teorema 3.8 e
o item (3) do Teorema 3.27 nos do
L = lim a1/n(n+1) = lim
a1/n
a1/(n+1)
L
=1
L
Exemplo 3.31. Seja 0 < a < 1. A sequncia cujo termo geral xn = 1 + a + a2 +

. . . + an = (1 an+1 )/(1 a) crescente, limitada, pois xn < 1/(1 a) para todo
n N. Alm disso, limn (1/(1 a) xn ) = limn an /(1 a) = 0, portanto,
limn xn = limn (1 + a + . . . + an ) = 1/(1 a).
A igualdade acima vale ainda quando se tem 1 < a < 1, isto , |a| < 1. Com efeito,
o argumento se baseou no fato de que limn an = 0, que persiste quando se tem apenas
|a| < 1, pois lim |a|n = 0 lim an = 0.
Exemplo 3.32. A sequncia cujo termo geral
an = 1 + 1 +
1
1
+ ... +
2!
n!
evidentemente crescente. Ela tambm limitada, pois

1
1
1
+ + ... +
2! 3!
n!
1
1
1
1 + 1 + + 2 + . . . + n1
2 2
2
2 an = 1 + 1 +
< 3.
40
Escrevemos e = lim an . O nmero e uma das constantes mais importantes da Anlise

Matemtica. Como vimos, tem-se 2 < e 3. Na realidade, vale e = 2, 7182, com quatro
decimais exatas.
Exemplo 3.33. Consideremos a sequncia cujo termo geral
n
n

n+1
1
=
.
bn = 1 +
n
n
Pela frmula do Binmio:
bn
!
!
!
n
n
n
1
1
1
=
1n +
1n1 1 +
1n2 2 + . . . +
10 n
n
n
n
1
2
n
1 n(n 1) 1
n(n 1)(n 2) . . . 1 1
= 1+n +
2 + ... +
n
n
2!
n
n!
n
1
1
1
1
2
1
1
n1
= 1 + 1 + (1 ) + (1 )(1 ) + . . . + (1 ) (1
).
2!
n
3!
n
n
n!
n
n
n
0
Logo, bn uma soma de parcelas positivas. O nmero dessas parcelas, bem como cada
uma delas, cresce com n. Portanto a sequncia (bn ) crescente. claro que bn < an do
Exemplo ?? anterior. Segue-se que bn < 3 para todo n N.
Afirmamos que lim bn = lim an = e.
Com efeito, quando n > p vale
bn 1 + 1 +
1
1
1
2
p1
1
(1 ) + . . . + (1 )(1 ) (1
).
2!
n
p!
n
n
n
Fixando arbitrariamente p N e fazendo n na desigualdade acima obtemos

lim bn 1 + 1 +
1
1
+ . . . + = ap .
2!
p!
Como esta desigualdade vale para todo p N, segue-se que limn bn limp ap = e.
Mas j vimos que bn < an para todo n N. Logo limbn lim an (Cf. Corolrio 3.21).
Isto completa a prova de que lim bn = e.
Exemplo 3.34. Consideremos a sequncia cujo n-simo termo xn = n n = n1/n . Temos

xn 1 para todo n N. Esta sequncia decrescente a partir do seu terceiro termo. Com
efeito, a desigualdade n n > n+1 n + 1 equivalente a nn+1 > (n + 1)n , que dividindo por
nn , se torna equivalente a n > (1 + 1/n)n , o que verdade para n 3 pois, como vimos
acima, (1 + 1/n)n < 3 para todo n N. Portanto, existe L = lim n1/n e tem-se L 1.
3.4 Limites Infinitos
41
Considerando a subsequncia (2n)1/2n , temos:

L2 = lim[(2n)1/2n ]2 = lim[21/n n1/n ] = lim 21/n lim n1/n = L
(Cf. Exemplo 3.30). Como L 6= 0, de L2 = L resulta L = 1. Portanto, lim
n
n = 1.

Definio 3.35. Dada uma sequncia (xn ), diz-se que o limite de (xn ) mais infinito
e escreve-se lim xn = +, para significar que, dado arbitrariamente A > 0, existe n0 N
tal que n > n0 implica xn > A.
Analogamente, lim xn = significa que, para todo A > 0 dado, pode-se achar
n0 N tal que n > n0 implica xn < A.
Observao 3.36. (i) Deve-se observar que + e no so nmeros e que, se
lim xn = + e lim yn = , as sequncias (xn ) e (yn ) no so convergentes.
(ii) Com lim xn = + lim(xn ) = , limitaremos nossos comentrios ao
primeiro caso.
(iii) Se lim xn = + ento a sequncia (xn ) no limitada superiormente. A recproca
falsa. Por exemplo, a sequncia xn = n + (1)n n ilimitada superiormente, porm,
no se tem lim xn = +, pois x2n1 = 0 para todo n N. Mas se (xn ) no-decrescente
ento xn ilimitada implica lim xn = +.
No Exemplo 3.3, ao mostrar que as potncias a, a2 , a3 , . . . de um nmero a > 1 formam
uma sequncia ilimitada superiormente, provou-se, na realidade, que lim an = +.
Teorema 3.37. Sejam (xn ) e (yn ) duas sequncias.
1. Se lim xn = + e (yn ) limitada inferiormente, ento lim(xn + yn ) = +.
2. Se lim xn = + e existe c > 0 tal que yn > c n N, ento lim(xn yn ) = +.
3. Se xn > c > 0, yn > 0 n N e lim yn = 0, ento lim
4. Se (xn ) limitada e lim yn = +, ento lim
xn
= +.
yn
xn
= 0.
yn
Demonstrao. 1. Como (yn ) limitada inferiormente, existe c R tal que yn

c n N. Como lim xn = +, dado arbitrariamente A > 0, existe n0 N tal que
n > n0 xn > A c. Segue-se que n > n0 xn + yn > A c + c = A; logo,
lim(xn + yn ) = +.
42
2. Como lim xn = +, dado arbitrariamente A > 0, existe n0 N tal que

n > n0 xn > A/c. Logo, n > n0 xn yn > (A/c) c = A, donde lim(xn yn ) = +.
3. Como lim yn = 0, dado A > 0, existe n0 N tal que n > n0 yn < c/A. Ento
n > n0 xn /yn > c (A/c) = A e da, lim(xn /yn ) = +.
4. Como (xn ) limitada, existe c > 0 tal que |xn | c n N. Como lim yn = +,
dado arbitrariamente > 0, existe n0 N tal que n > n0 yn > c/. Ento
n > n0 |xn /yn | < c (/c) = , logo lim(xn /yn ) = 0.

Observao 3.38. As hipteses feitas nas diversas partes do teorema anterior tm por
objetivo evitar algumas das chamadas expresses indetermindas. No item 1. procura-se
evitar a expresso +. De fato, se lim xn = + e lim yn = nenhuma afirmao
geral pode ser feita sobre lim(xn + yn ). Este limite pode no existir (como no caso em que
xn = n + (1)n e yn = n), pode ser igual a + (se xn = 2n e yn = n), pode ser
(tome xn = n e yn = 2n) ou pode assumir um valor arbitrrio c R (por exemplo, se
xn = n + c e yn = n). Por causa desse comportamento errtico diz-se que +
uma expresso indeterminada. Nos itens 2., 3. e 4., as hipteses feitas excluem os limites
do tipo 0 + (tambm evitado no Teorema 3.24), 0/0 e /, respectivamente, os
quais constituem expresses indeterminadas no sentido que acabamos de explicar. Outras
expresses frequentemente encontradas so 0 , 1 e 00 .
Os limites mais importantes da Anlise quase sempre se apresentam sob forma de uma
expresso indeterminada. Por exemplo, o nmero e = limn (1 + 1/n)n da forma 1 .
E, como veremos mais adiante, a derivada um limite do tipo 0/0.
Agora, uma observao sobre ordem de grandeza. Se k N e a R, a > 1,
ento limn nk = limn an = limn n! = limn nn . Todas estas expresses
tm limite. Mas o Exemplo 3.29 nos diz que, para valores muito grandes de n, temos
nk an n! nn , onde o smbolo quer dizer uma frao muito pequena de
ou insignificante diante de. Por isso, diz-se que o crescimento exponencial supera
o polinomial, o crescimento fatorial supera o exponencial com base constante, mas
superado pelo crescimento exponencial com base crescente.
Por outro lado, o crescimento de nk (mesmo quando k = 1) supera o crescimento
ln n
= 0. Para todo n N, temos
logartmico, como veremos agora, provando que lim
n n
ln n < n. Como ln n = 12 ln n, segue-se que ln n < 2 n. Dividindo por n resulta que
ln n
0 < ln n/n < 2/ n. Fazendo n , vem lim
= 0.
n n
43

Seo 1: Limite de uma sequncia
1. Uma sequncia (xn ) diz-se peridica quando existe p N tal que xn+p = xn para todo
n N. Prove que toda sequncia peridica convergente constante.
2. Dadas as sequncias (xn ) e (yn ), defina (zn ) pondo z2n1 = xn e z2n = yn . Se
lim xn = lim yn = a, prove que lim zn = a.
3. Se uma sequncia montona tem uma subsequncia convergente, prove que a sequncia
, ela prpria, convergente.
4. Um nmero a chama-se valor de aderncia da sequncia (xn ) quando limite de uma
subsequncia de (xn ). Para cada um dos conjuntos A, B e C abaixo, ache uma sequncia
que o tenha como conjunto dos seus valores de aderncia. A = {1, 2, 3}, B = N, C = [0, 1].
5. Mostre que:
(a) A fim de que o nmero real a seja valor de aderncia de (xn ) necessrio e suficiente
que, para todo > 0 e todo k N dados, exista n > k tal que |xn a| < .
(b) A fim de que o nmero real b no seja valor de aderncia de (xn ) necessrio e
suficiente que existam n0 N e > 0 tais que n > n0 |xn b| .
Seo 2: Limites e desigualdades
1. Se lim xn = a, lim yn = b e |xn yn | para todo n N, prove que |a b| .
2. Sejam lim xn = a e lim yn = b. Se a < b, prove que existe n0 N tal que
n > n0 xn < yn .
3. Se o nmero real a no o limite da sequncia limitada (xn ), prove que alguma
subsequncia de (xn ) converge para um limite b 6= a.
4. Prove que uma sequncia limitada converge se, e somente se, possui um nico valor de
aderncia.
5. Quais so os valores de aderncia da seqncia (xn ) tal que x2n1 = n e x2n = l/n?
Esta sequncia converge?
6. Dados a, b R+ , defina indutivamente as sequncias (xn ) e (yn ) pondo x1 = ab,
y1 = (a + b)/2 e xn+1 = xn yn , yn+1 = (xn + yn )/2. Prove que (xn ) e (yn ) convergem
para o mesmo limite.
7. Diz-se que (xn ) uma sequncia de Cauchy quando, para todo > 0 dado, existe
n0 N tal que m, n > n0 |xm xn | < .
(a) Prove que toda sequncia de Cauchy limitada.
44
(b) Prove que uma sequncia de Cauchy no pode ter dois valores de aderncia distintos.
(c) Prove que uma sequncia (xn ) convergente se, e somente se, de Cauchy.
Seo 3: Operaes com limites
1. Se existem > 0 e k N tais que xn nk para todo n suficientemente grande,
p
prove que lim n xn = 1. Use este fato para calcular lim n n + k, lim n n + n, lim n ln n
e lim n n ln n.

2. Seja en = (xn a)/ a o erro relativo na n-sima etapa do clculo de a. Prove que
en+1 = e2n /2(1 + en ). Conclua que en 0, 01 en+1 0, 00005 en+2 0, 00000000125
e observe a rapidez de convergncia do mtodo.
3. Dado a > 0, defina indutivamente a sequncia (xn ) pondo x1 = 1/a e xn+1 = 1/(a+xn ).
Considere o nmero c, raiz positiva da equao x2 + ax 1 = 0, nico nmero positivo
tal que c = 1/(a + c). Prove que
x2 < x4 < . . . < x2n < . . . < c < . . . < x2n1 < . . . < x3 < x1 ,
e que lim xn = c. O nmero c pode ser considerado como a soma da frao contnua
1
1
a+
a+
a+
1
a + ...
4. Dado a > 0, defina indutivamente a sequncia (yn ), pondo y1 = a e yn+1 = a + 1/yn .

Mostre que lim yn = a + c, onde c como no exerccio anterior.
5. Defina a sequncia (an ) indutivamente, pondo a1 = a2 = 1 e an+2 = an+1 +an para todo
n N. Escreva xn = an /an+1 e prove que lim xn = c, onde c nico nmero positivo tal
que 1/(c+1) = c. O termo an chama-se o n-simo nmero de Fibonacci e c = (1+ 5)/2

o nmero de ouro da Geometria Clssica.
Seo 4: Limites infinitos
p
1. Se lim xn = + e a R, prove: lim( ln(xn + a) ln xn ) = 0.

2. Dados k N e a > 0, determine o limite
lim
n!
.
an
nk
45
Supondo tambm a 6= e, calcule

lim
an n!
nn
lim
nk an n!
.
nn
(Para o caso a = e, ver Exerccio 9, Seo 1, Captulo 11.)

3. Mostre que limn+ ln(n + 1)/ ln n = 1.
4. Sejam (xn ) uma sequncia arbitrria e (yn ) uma sequncia crescente, com lim yn = +.
Supondo que lim(xn+1 xn )/(yn+1 yn ) = a, prove que lim xn /yn = a. Conclua que se
lim(xn+1 xn ) = a ento lim xn /n = a. Em particular, de lim ln(1 + 1/n) = 0, conclua
que lim(ln n)/n = 0.
5. Se lim xn = a e (tn ) uma sequncia de nmeros positivos com
lim(t1 + + tn ) = +,
prove que
t1 x1 + + tn xn
= a.
t1 + + tn
x1 + + xn
Em particular, se yn =
tem-se ainda lim yn = a.
n
lim

1. Use a definio de limite de sequncia para provar que
n
2n2
(i) lim 2
= 0;
(ii) lim 2
= 2;
n +1
n +7
3n n
(iii) lim
= 3.
n n+5
2. Sejam (xn ) e (yn ) duas sequncias tais que |xn a| < C|yn |, onde a R e C > 0.
Usando a definio de limite, mostre que se yn 0 ento xn a.
3. O Teorema dos Intervalos Encaixados diz que dada uma sequncia decrescente
I1 I2 . . . In . . . de intervalos limitados e fechados In = [an , bn ]. Existe, pelo
T
menos, um nmero real c tal que c In , n N, isto , c nN In . Prove que se
T
os comprimentos dos intervalos tendem a zero quando n cresce, ento nN In = {c}.
[Cf. Demonstrao do Teorema 4.17.]
4. Sejam a = lim xn e b = lim yn . Se xn < yn para todo n suficientemente grande,
mostre que no podemos concluir que a < b (com a desigualdade estrita).
5. Seja lim xn = 0. Para cada n, ponha yn = min{|x1 |, |x2 |, . . . , |xn |}. Prove que
lim yn = 0.
46
6. Prove que a sequncia xn =
n + h n converge para 0.
7. (a) Se lim xn = a, mostre que lim |xn | = |a|. D um contra-exemplo mostrando

que a recproca falsa, salvo quando a = 0.
(b) Se lim xn = a e lim(xn yn ) = 0, mostre que lim yn = a.
8. Defina sequncia de Cauchy. Seja 0 < c < 1 e (xn ) uma sequncia tal que
|xn+1 xn | c|xn1 xn2 |. Mostre que (xn ) uma sequncia convergente.
9. (a) Sejam a, b 0. Mostre que
lim
an + bn = max{a, b}.
(b) Sejam a1 , . . . , ap 0. Mostre que

v
u p
uX
n
lim t
ani = max{a1 , . . . , ap }.
i=1
10. Dado a > 0, considere os seguintes limites: lim

Prove que:
a = 1, lim
n = 1, lim an /n! = 0.
(a) se a xn n para todo n, ento lim n xn = 1;
(b) para todo p N, tem-se lim n+p n = 1.
(c) lim n n! = +.
p
11. Prove que n n n 1.
12. Considere um polinmio p(n) = ak nk + ak1 nk1 + . . . + a1 n + a0 .
(a) Mostre que p(n) + se ak > 0 ou p(n) se ak < 0.
p
(b) Mostre que lim n p(n) = 1 se ak > 0.
13. (a) Seja x1 = 2 e xn+1 = 2xn para n 1.

(i) Usando induo, prove que xn 2.
(ii) Verifique que xn xn+1 .
(iii) Prove que (xn ) convergente e calcule o seu limite.
(b) Considere a sequncia assim definida: x1 = 2 e xn = 2 + xn1 para n > 1.

Escreva explicitamente os primeiros quatro ou cinco termos dessa sequncia.
Prove que ela uma sequncia convergente e calcule seu limite.
(c) Generalize o item (b) considerando a sequncia assim definida: x1 =
xn = a + xn1 , onde a > 0.
47
a,
14. Prove que uma sequncia (xn ) que no limitada possui uma subsequncia (xnj )
tal que 1/xnj 0.
15. D exemplo de uma sequncia no limitada que tenha subsequncias convergentes;
e de sequncia no limitada que no tenha uma nica subsequncia convergente.
(a) ( ) Toda sequncia limitada convergente.
(b) ( ) Toda sequncia limitada possui uma subsequncia convergente.
(c) ( ) Toda sequncia de Cauchy limitada.
(d) ( ) Toda sequncia de Cauchy convergente.
(e) ( ) Toda sequncia de Cauchy possui uma subsequncia limitada.
(f ) ( ) Toda sequncia de Cauchy possui uma subsequncia convergente.
(g) ( ) Toda sequncia convergente de Cauchy.
(h) ( ) Toda sequncia convergente limitada.
(i) ( ) Toda sequncia decrescente e limitada inferiormente convergente.
(j) ( ) A sequncia xn = (1)n + 3 cos n tem uma subsequncia convergente.
xn
= 0, ento xn limitada.
(k) ( ) Se limn
n
(a0 ) ( ) A sequncia xn = n uma sequncia de Cauchy.
(b0 ) ( ) Seja (xn ) uma sequncia tal que xn a > 0, ento xn > 0 para n grande.
Captulo
4
Noes de Topologia
A Topologia um ramo da Matemtica no qual so estudadas, com grande

generalidade, as noes de limite, de continuidade e as ideias com elas relacionadas. Neste
captulo, abordaremos alguns conceitos topolgicos elementares referentes a subconjuntos
de R, visando estabelecer a base adequada para desenvolver os captulos seguintes.
Adotaremos uma linguagem geomtrica, dizendo ponto em vez de nmero real, a reta
em vez de o conjunto R.
4.1 Conjuntos abertos

Definio 4.1. (i) Diz-se que o ponto a interior ao conjunto X R quando existe
um nmero > 0 tal que o intervalo aberto (a , a + ) est contido em X.
(ii) O conjunto dos pontos interiores a X chama-se o interior do conjunto X e
representa-se pela notao int X.
(iii) Quando a int X diz-se que o conjunto X uma vizinhana do ponto a.
(iv) Um conjunto A R chama-se aberto quando A = int A, isto , todos os pontos de
A so interiores a A.
Exemplo 4.2. Todo ponto c do intervalo aberto (a, b) um ponto interior a (a, b). Os
pontos a e b, extremos do intervalo fechado [a, b] no so interiores a [a, b]. O interior do
conjunto Q dos nmeros racionais vazio. Por outro lado, int [a, b] = (a, b). O intervalo
fechado [a, b] no uma vizinhana de a nem de b. Um intervalo aberto um conjunto
aberto. O conjunto vazio aberto. Todo intervalo aberto (limitado ou no) um conjunto
aberto.
4.2 Conjuntos fechados
49
Observao 4.3. O limite de uma sequncia pode ser reformulado em termos de

conjuntos abertos: tem-se a = lim xn se, e somente se, para todo conjunto aberto A
contendo a, existe n0 N tal que n > n0 xn A.
Teorema 4.4. (a) Se A1 e A2 so conjuntos abertos, ento a interseo A1 A2 um
conjunto aberto.
(b) Se (A )L uma famlia qualquer de conjuntos abertos, a reunio A =
um conjunto aberto.
Demonstrao.
(a) Se x A1 A2 , ento x A1 e x A2 . Como A1 e A2 so abertos, existem 1 > 0
e 2 > 0 tais que (x 1 , x + 1 ) A1 e (x 2 , x + 2 ) A2 . Seja = min{1 , 2 }.
Ento (x , x + ) A1 e (x , x + ) A2 , logo (x , x + ) A1 A2 . Assim,
todo ponto x A1 A2 um ponto interior, ou seja, o conjunto A1 A2 aberto.
(b) Se x A ento existe L tal que x A . Como A aberto, existe > 0 tal
que (x , x + ) A A. Logo, todo ponto x A interior, isto , A aberto.
Observao 4.5. Resulta imediatamente de (a) no Teorema 4.4 que a interseo

A1 An de um nmero finito de conjuntos abertos um conjunto aberto. Mas, embora
por (b) a reunio de uma infinidade de conjuntos abertos seja ainda aberta, a interseo
de um nmero infinito de abertos pode no ser aberta. Por exemplo, se A1 = (1, 1),
A2 = (1/2, 1/2), . . . , An = (1/n, 1/n), . . ., ento a interseo A1 A2 An = {0}.
Com efeito, se x 6= 0, ento existe n N tal que |x| > 1/n, logo x 6 An , donde x 6 A.

Definio 4.6. (i) Diz-se que o ponto a aderente ao conjunto X R quando a limite
de alguma sequncia de pontos xn X. Evidentemente, todo ponto a X aderente a
X: basta tomar todos os xn = a.
(ii) Chama-se fecho de um conjunto X ao conjunto X formado por todos os pontos
aderente a X.
(iii) Claramente tem-se X X. Um conjunto X diz-se fechado quando X = X; em
particular, quando todo ponto aderente a X pertence a X.
(iv) Seja X Y (ento X Y ). Diz-se que X denso em Y quando Y X, isto ,
quando todo b Y aderente a X.
50
Teorema 4.7. Um ponto a aderente ao conjunto X se, e somente se, toda vizinhana
de a contm algum ponto de X.
Demonstrao. Seja a aderente a X. Ento a = lim xn , onde xn X para todo n N.
Dada uma vizinhana qualquer V 3 a temos xn V para todo n suficientemente grande
(pela definio de limite), logo V X 6= . Reciprocamente, se toda vizinhana de a
contm pontos de X podemos escolher, em cada intervalo (a 1/n, a + 1/n), n N, um
ponto xn X. Ento |xn a| < 1/n, logo lim xn = a e a aderente a X.

Observao 4.8. Pelo teorema acima, a fim de que um ponto a 6 X necessrio e
suficiente que exista uma vizinhana V 3 a tal que V X = .
Exemplo 4.9. Q denso em R. Isto segue dos Teoremas 4.7 e 2.22.
Corolrio 4.10. O fecho de qualquer conjunto um conjunto fechado. (Ou seja, X = X
para todo X R.)
Demonstrao. Com efeito, se a aderente a X ento todo conjunto aberto A contendo
a contm algum ponto b X. A uma vizinhana de b. Como b aderente a X, seguese que A contm algum ponto de X. Logo qualquer ponto a, aderente a X, tambm
aderente a X, isto , a X.

Teorema 4.11. Um conjunto F R fechado se, e somente se, seu complementar
A = R F aberto.
Demonstrao. Sejam F fechado e a A, isto , a 6 F = F . Pelo Teorema 4.7, existe
alguma vizinhana V 3 a que no contm pontos de F , isto , V A. Assim, todo ponto
a A interior a A, ou seja, A aberto. Reciprocamente, se o conjunto A aberto e
a F ento toda vizinhana de a contm pontos de F = R A, logo a no interior
a A. Sendo A aberto, temos a 6 A, ou seja, a F . Assim, todo ponto a aderente a F
pertence a F , logo F fechado.

Teorema 4.12.
(a) Se F1 e F2 so fechados, ento F1 F2 fechado.
(b) Se (F )L uma famlia qualquer de conjuntos fechados, ento a interseo

T
F = L F um conjunto fechado.
Demonstrao.
(a) Os conjuntos A1 = R F1 e A2 = R F2 so abertos, pelo Teorema 4.11. Logo,
pelo Teorema 4.4, A1 A2 = R (F1 F2 ) aberto. Novamente pelo Teorema 4.11,
F1 F2 fechado.
(b) Para cada , A = R F aberto. Segue-se que A =

A = R F ; logo F fechado.
51
S
A aberto. Mas
Exemplo 4.13. Seja X R limitado, no-vazio. Ento a = inf X e b = sup X so

aderentes a X. Consequentemente, como a lim xn b, com xn X, tem-se X [a, b].
Com efeito, para todo n N, podemos escolher xn X com a xn < a + 1/n, logo
a = lim xn , ou seja, a X. Analogamente, v-se que b = lim yn , com yn X. Em
particular, a e b so aderentes a (a, b). Consequentemente, se X = (a, b), [a, b), (a, b] ou
[a, b], ento X = [a, b] (e [a, b] um conjunto fechado), pois [a, b] = X {a, b} X.
Observao 4.14. Uma reunio infinita de conjuntos fechados pode no ser um conjunto
fechado. Com efeilo, todo conjunto (fechado ou no) reunio dos seus pontos, que so
conjuntos fechados.
Definio 4.15. Uma ciso de um conjunto X R uma decomposio X = A B tal
que A B = e A B = , isto , nenhum ponto de A aderente a B e nenhum ponto
de B aderente a A. (Em particular, A e B so disjuntos.) A decomposio X = X
chama-se a ciso trivial.
Exemplo 4.16. Se X = R {0}, ento X = R+ R uma ciso. Dado um nmero
irracional , sejam A = {x Q : x < } e B = {x Q : x > }. A decomposio
Q = A B uma ciso do conjunto Q dos racionais, pois A = (, ] e B = [, +) e,
claramente, AB = e AB = . Por outro lado, se a < c < b, ento [a, b] = [a, c](c, b]
no uma ciso, pois [a, c] (c, b] = {c} =
6 .
Teorema 4.17. Um intervalo da reta s admite a ciso trivial.
Demonstrao. Suponhamos, por absurdo, que o intervalo I admita a ciso no trivial
I = A B. Tomemos a A, b B, digamos com a < b, logo [a, b] I. Seja c o
ponto mdio do intervalo [a, b]. Ento c A ou c B. Se c A, poremos a1 = c,
b1 = b. Se c B, escreveremos a1 = a, b1 = c. Em qualquer caso, obteremos
um intervalo [a1 , b1 ] [a, b], com b1 a1 = (b a)/2 e a1 A, b1 B. Por sua
vez, o ponto mdio de [a1 , b1 ] o decompe em dois intervalos fechados justapostos de
comprimento (b a)/4. Um desses intervalos, que chamaremos [a2 , b2 ], tem a2 A e
b2 B. Prosseguindo analogamente, obteremos uma seqncia de intervalos encaixados
[a, b] [a1 , b1 ] . . . [an , bn ] . . . com bn an = (b a)/2n , an A e bn B para todo
n N. Pelo Teorema 2.17, existe d R tal que an d bn para todo n N. Este d
nico, pois as sequncias (an ) e (bn ) so montonas, limitadas e, portanto, convergentes,
4.3 Pontos de acumulao
52
e, pelo Teorema 3.27, lim an lim bn = lim(an bn ) = lim(b a)/2n = 0, ou seja,

lim an = lim bn . Por outro lado, do Corolrio 3.21 segue que lim an d e lim bn d.
Ento, conclumos que lim an = lim bn = d. Assim, o ponto d I = A B no pode estar
em A, pois d = lim bn B, nem em B, pois d = lim an A. Contradio.

Corolrio 4.18. Os nicos subconjuntos de R que so simultaneamente abertos e fechados
so e R.
Demonstrao. Com efeito, se A R aberto e fechado, ento R = A (R A)
uma ciso. De fato, de A ser aberto segue que R A fechado, ou seja, R A = R A;
ento, A R A = . E, se A fechado, ento A = A e, da, A (R A) = . Como
R = (, +) um intervalo, segue do teorema acima que A = e R A = R ou ento
A = R e R A = .
4.3 Pontos de acumulao

Definio 4.19. (i) Diz-se que a R ponto de acumulao do conjunto X R
quando toda vizinhana V de a contm algum ponto de X diferente do prprio
a. (Isto , V (X {a}) 6= .) Equivalentemente: para todo > 0 tem-se
(a , a + ) (X {a}) 6= .
Indica-se com X 0 o conjunto dos pontos de acumulao de X. Portanto, a X 0
a X {a}.
(ii) Se a X no ponto de acumulao de X, diz-se que a um ponto isolado
de X. Isto significa que existe > 0 tal que a o nico ponto de X no intervalo
(a , a + ).
(iii) Quando todos os pontos do conjunto X so isolados, X chama-se um conjunto
discreto.
Teorema 4.20. Dados X R e a R, as seguintes afirmaes so equivalentes:
(1) a um ponto de acumulao de X;
(2) a limite de uma sequncia de pontos xn X {a};
(3) Todo intervalo aberto de centro a contm uma infinidade de pontos de X.
Demonstrao. Supondo (1), para todo n N podemos achar um ponto xn X,
xn 6= a, na vizinhana (a 1/n, a + 1/n). Logo lim xn = a, o que prova (2). Por outro
4.4 Conjuntos compactos
53
lado, supondo (2), ento, para qualquer n0 N, o conjunto {xn : n > n0 } infinito porque,
do contrrio, existiria um termo xn1 que se repetiria infinitas vezes e isto forneceria uma
sequncia constante com limite xn1 6= a. Pela definio de limite, v-se portanto que
(2) (3). Finalmente, a implicao (3) (1) bvia.

Exemplo 4.21. Se X finito ento X 0 = (conjunto finito no tem ponto de
acumulao). Z infinito, mas todos os pontos de Z so isolados. Q0 = R. Se X = (a, b)
ento X 0 = [a, b]. Se X = {1, 1/2, . . . , 1/n, . . .} ento X 0 = {0}, isto , 0 o nico
ponto de acumulao de X. Note que todos os pontos deste conjunto X so isolados (X
discreto).
Segue-se uma verso do Teorema de Bolzano-Weierstrass em termos de ponto de
acumulao.
Teorema 4.22. Todo conjunto infinito limitado de nmeros reais admite pelo menos um
ponto de acumulao.
Demonstrao. Seja X R infinito limitado. X possui um subconjunto enumervel
{x1 , x2 , . . . , xn , . . .} [Por qu?]. Fixando esta enumerao, temos uma sequncia (xn )
de termos dois a dois distintos, pertencentes a X, portanto uma sequncia limitada,
a qual, pelo Teorema de Bolzano-Weierstrass, possui uma subsequncia convergente.
Desprezando os termos que esto fora dessa subsequncia e mudando a notao, podemos
admitir que (xn ) converge. Seja a = lim xn . Como os termos xn so todos distintos, no
mximo um deles pode ser igual a a. Descartando-o, caso exista, teremos a como limite
de uma seqncia de pontos xn X {a}, logo a X 0 .

Definio 4.23. Um conjunto X R chama-se compacto quando limitado e fechado.
Todo conjunto finito compacto. Um intervalo do tipo [a, b] um conjunto compacto.
Por outro lado, (a, b) limitado mas no fechado, logo no compacto. Tambm Z no
compacto pois ilimitado, embora seja fechado (seu complementar R Z a reunio
dos intervalos abertos (n, n + 1), n Z, logo um conjunto aberto).
Teorema 4.24. Um conjunto X R compacto se, e somente se, toda sequncia de
pontos em X possui uma subsequncia que converge para um ponto de X.
Demonstrao. Se X R compacto, toda sequncia de pontos de X limitada, logo
(por Bolzano-Weierstrass) possui uma subsequncia convergente, cujo limite um ponto
54
de X (pois X fechado). Reciprocamente, seja X R um conjunto tal que toda sequncia

de pontos xn X possui uma subsequncia que converge para um ponto de X. Ento
X limitado porque, do contrrio, para cada n N poderamos encontrar xn X com
|xn | > n. A sequncia (xn ), assim obtida, no possuiria subsequncia limitada, logo no
teria subsequncia convergente. Alm disso, X fechado pois, do contrrio, existiria um
ponto a 6 X com a = lim xn , onde cada xn X. A sequncia (xn ) no possuiria, ento,
subsequncia alguma convergindo para um ponto de X, pois todas suas subsequncias
teriam limite a. Logo X compacto.
Captulo
5
Trabalho
1. Prove que, no segundo axioma de Peano, a palavra nico redundante (admitindose, naturalmente, os demais axiomas).
2. Prove o princpio de induo como uma consequncia do Princpio da Boa
Ordenao.
3. Prove que todo conjunto finito no-vazio X de nmeros naturais contm um
elemento mximo (isto , existe x0 X tal que x x0 , x X).
4. Prove o Princpio das Casas de Pombo: se m > n no existe funo injetiva
f : Im In . (quando m > n, para alojar m pombos em n casas preciso que
pelo menos uma casa abrigue mais de um pombo).
5. Dada f : X Y , prove:
(a) Se X infinito e f injetiva, ento Y infinito.
(a) Se Y infinito e f sobrejetiva, ento X infinito.
6. Sejam X um conjunto finito e Y um conjunto infinito. Prove que existe uma funo
injetiva f : X Y e uma funo sobrejetiva g : Y X.
7. Exprima N = N1 N2 . . . Nn . . . como unio infinita de subconjuntos infinitos,
dois a dois disjuntos.
8. Sejam Y enumervel e f : X Y tal que, para cada y Y , f 1 (y) enumervel.
Prove que X enumervel.
9. Para todo x 6= 0 em R, prove que (1 + x)2n > 1 + 2nx.
56
P
10. Use o fato de que o trinmio do segundo grau f () = ni=1 (xi yi )2 0 para
todo R para provar a desigualdade de Cauchy-Schwarz
(
n
X
i=1
xi y i )
n
X
i=1
x2i
n
X
yi2 .
i=1
Prove ainda que vale a igualdade se, e somente se, existe R tal que xi = yi
para todo i = 1, . . . , n ou y1 = y2 = . . . = yn = 0.
11. Se a1 /b1 , . . . , an /bn pertencem ao intervalo (, ) e b1 , . . . , bn so positivos, prove
que (a1 + + an )/(b1 + + bn ) pertencem a (, ). Nas mesmas condies, se
t1 , . . . , tn R+ , prove que (t1 a1 + + tn an )/(t1 b1 + + tn bn ) tambm pertence
ao intervalo (, ).
12. Dadas as funes f, g : X R+ limitadas superiormente, prove que o produto
f g : X R+ uma funo limitada (superior e inferiormente) com sup(f g)
sup f sup g e inf(f g) inf f inf g. D exemplos onde se tenha < e no =
13. Nas mesmas condies do exerccio anterior, mostre que sup(f 2 ) = (sup f )2 e
inf(f 2 ) = (inf f )2 .
14. Dados a, b R+ com a2 < 2 < b2 , tome x, y R+ tais que x < 1, x <
(2 a2 )/(2a + 1) e y < (b2 2)/2b. Prove que (a + x)2 < 2 < (b y)2 e b y > 0.
Em seguida, considere o conjunto limitado X = {a R+ : a2 < 2} e conclua que o
nmero real c = sup X cumpre c2 = 2.
15. Prove que um conjunto I R um intervalo se, e somente se, a < x < b,
a, b I x I.
pq irracional.
(b) Prove que, se p1 , . . . , pr forem nmeros primos distintos, ento p1 pr

irracional.
16. (a) Prove que, se p e q forem nmeros primos distintos, ento
17. (a) Se a e b so nmeros irracionais, verdade que (a + b)/2 irracional? Prove

a veracidade dessa afirmao ou d um contra-exemplo, mostrando que ela
falsa.
(b) Prove que a soma ou a diferena entre um nmero racional e um nmero
irracional um nmero irracional. Mostre, com um contra-exemplo, que o
produto de dois nmeros irracionais pode ser racional.
57
(c) Prove que o produto de um nmero irracional por um nmero racional diferente
de zero um nmero irracional.
(d) Prove que se r for um nmero irracional ento 1/r tambm o ser.
(e) Sejam a, b, c, d nmeros racionais. Prove que
a + b 2 = c + d 2 a = c e b = d.
(f ) Sejam a, b nmeros racionais positivos. Prove que a + b racional se,
e somente se, a e b forem ambos racionais. (Sugesto: multiplique por
a b)
(g) Prove que se x e y forem nmeros irracionais tais que x2 y 2 Q {0}, ento
x + y e x y so ambos irracionais. Exemplo: 3 + 2 e 3 2.

e y = (x+y)(xy)
.)
(Sugesto: Em algum momento, use x = (x+y)+(xy)
2
2
p s1
18. Prove que, se p1 , . . . , pr forem nmeros primos distintos, ento
p1 psrr
irracional se algum dos expoentes s1 , . . . , sr for mpar.
19. (a) Prove que entre dois nmeros reais distintos h uma infinidade de nmeros
racionais.
(b) Prove que entre dois nmeros reais distintos h uma infinidade de nmeros
irracionais.
(c) Sabendo que o conjunto R dos nmeros reais no enumervel, prove que o
conjunto dos nmeros irracionais no enumervel.
20. Use a desigualdade de Bernoulli para mostrar que

n
1
1
1 2
>1
n
n
e deduzir que

1+
1
n1
n1

<
1
1+
n
n
.
21. Considere o conjunto C = {1/m 1/n : n, m N}. Prove que 1 = inf C e

1 = sup C, e que {1, 1} 6 C.
22. (a) Prove que todo conjunto no-vazio de nmeros reais, limitado inferiormente,
tem nfimo. Em outras palavras, dado A R no-vazio, limitado inferiormente,
seja A = {x : x A}. Prove que A limitado superiormente e que
sup(A) = inf A.
58
(b) Dados A R no-vazio, limitado, e c R, definimos o conjunto cA = {ca :

a A}. Mostre, ento, que
(
c0
sup cA = c sup A
inf cA = c inf A.
(
e
c<0
sup cA = c inf A
inf cA = c sup A.
Em particular, sup(A) = inf A, ou ainda, sup A = inf(A).

23. Sejam A, B R no-vazios tais que a A, b B a b.
(a) Prove que sup A inf B.
(b) Prove que sup A = inf B > 0, a A, b B tais que b a < .
24. Dados A, B R no-vazios e limitados, seja A + B = {a + b : a A, b B}. Prove
que
(a) A + B limitado.
(b) sup(A + B) = sup A + sup B.
(c) inf(A + B) = inf A + inf B.
25. Prove que r = sup{x R : x < r} = inf{x R : x > r}.
26. Sejam x, y R e n N.
(a) Prove por induo que (1 y n ) = (1 y)(1 + y + y 2 + . . . + y n1 ).
(b) Conclua que (xn y n ) = (x y)(xn1 + xn2 y + xn3 y 2 + . . . + xy n2 + y n1 ).
27. Dadas as sequncias (xn ) e (yn ), defina (zn ) pondo z2n1 = xn e z2n = yn . Se
lim xn = lim yn = a, prove que lim zn = a.
28. Um nmero a chama-se valor de aderncia da sequncia (xn ) quando limite de
uma subsequncia de (xn ).
(a) A fim de que o nmero real a seja valor de aderncia de (xn ) necessrio e
suficiente que, para todo > 0 e todo k N dados, exista n > k tal que
|xn a| < .
(b) A fim de que o nmero real b no seja valor de aderncia de (xn ) necessrio
e suficiente que existam n0 N e > 0 tais que n > n0 |xn b| .
29. Se lim xn = a, lim yn = b e |xn yn | para todo n N, prove que |a b| .
59
30. Se o nmero real a no o limite da sequncia limitada (xn ), prove que alguma
subsequncia de (xn ) converge para um limite b 6= a.
31. Prove que uma sequncia limitada converge se, e somente se, possui um nico valor
de aderncia.
32. Dados a, b R+ , defina indutivamente as sequncias (xn ) e (yn ) pondo x1 = ab,
y1 = (a+b)/2 e xn+1 = xn yn , yn+1 = (xn +yn )/2. Prove que (xn ) e (yn ) convergem
para o mesmo limite.
33. Diz-se que (xn ) uma sequncia de Cauchy quando, para todo > 0 dado, existe
n0 N tal que m, n > n0 |xm xn | < .
(a) Prove que toda sequncia de Cauchy limitada.
(b) Prove que uma sequncia de Cauchy no pode ter dois valores de aderncia
distintos.
(c) Prove que uma sequncia (xn ) convergente se, e somente se, de Cauchy.
34. Se existem > 0 e k N tais que xn nk para todo n suficientemente grande,
p
prove que lim n xn = 1. Use este fato para calcular lim n n + k, lim n n + n,
lim n ln n e lim n n ln n.
35. Defina a sequncia (an ) indutivamente, pondo a1 = a2 = 1 e an+2 = an+1 + an para
todo n N. Escreva xn = an /an+1 e prove que lim xn = c, onde c nico nmero
positivo tal que 1/(c + 1) = c. O termo an chama-se o n-simo nmero de Fibonacci
e c = (1 + 5)/2 o nmero de ouro da Geometria Clssica.

36. Dados k N e a > 0, determine o limite
lim
n!
.
n k an
lim
Supondo tambm a 6= e, calcule

lim
an n!
nn
nk an n!
.
nn
(Para o caso a = e, ver Exerccio 9, Seo 1, Captulo 11.)

37. Sejam (xn ) uma sequncia arbitrria e (yn ) uma sequncia crescente, com lim yn =
+. Supondo que lim(xn+1 xn )/(yn+1 yn ) = a, prove que lim xn /yn = a. Conclua
que se lim(xn+1 xn ) = a ento lim xn /n = a. Em particular, de lim ln(1+1/n) = 0,
conclua que lim(ln n)/n = 0.
60
38. Se lim xn = a e (tn ) uma sequncia de nmeros positivos com

lim(t1 + + tn ) = +,
prove que
t1 x1 + + tn xn
= a.
t1 + + tn
x1 + + xn
Em particular, se yn =
tem-se ainda lim yn = a.
n
lim
39. Use a definio de limite de sequncia para provar que

n
2n2
(i) lim 2
= 0;
(ii) lim 2
= 2;
n +1
n +7
lim( n + h n) = 0.
40. Sejam (xn ) e (yn ) duas sequncias tais que |xn a| < C|yn |, onde a R e C > 0.
Usando a definio de limite, mostre que se yn 0 ento xn a.
41. O Teorema dos Intervalos Encaixados diz que dada uma sequncia decrescente
I1 I2 . . . In . . . de intervalos limitados e fechados In = [an , bn ]. Existe, pelo
T
menos, um nmero real c tal que c In , n N, isto , c nN In . Prove que se
T
os comprimentos dos intervalos tendem a zero quando n cresce, ento nN In = {c}.
[Cf. Demonstrao do Teorema 4.17.]
42. Seja lim xn = 0. Para cada n, ponha yn = min{|x1 |, |x2 |, . . . , |xn |}. Prove que
lim yn = 0.
43. (a) Se lim xn = a, mostre que lim |xn | = |a|. D um contra-exemplo mostrando
que a recproca falsa, salvo quando a = 0.
(b) Se lim xn = a e lim(xn yn ) = 0, mostre que lim yn = a.
44. Defina sequncia de Cauchy. Seja 0 < c < 1 e (xn ) uma sequncia tal que
|xn+1 xn | c|xn1 xn2 |. Mostre que (xn ) uma sequncia convergente.
45. (a) Sejam a, b 0. Mostre que
lim
an + bn = max{a, b}.
(b) Sejam a1 , . . . , ap 0. Mostre que

v
u p
uX
n
lim t
ani = max{a1 , . . . , ap }.
i=1
61
46. Dado a > 0, considere os seguintes limites: lim

Prove que:
a = 1, lim
n = 1, lim an /n! = 0.
(a) se a xn n para todo n, ento lim n xn = 1;
(b) para todo p N, tem-se lim n+p n = 1.
(c) lim n n! = +.
p
47. Prove que n n n 1.
48. Considere um polinmio p(n) = ak nk + ak1 nk1 + . . . + a1 n + a0 .
(a) Mostre que p(n) + se ak > 0 ou p(n) se ak < 0.
p
(b) Mostre que lim n p(n) = 1 se ak > 0.
49. (a) Seja x1 =
2 e xn+1 =
2xn para n 1.
(i) Usando induo, prove que xn 2.

(ii) Verifique que xn xn+1 .
(iii) Prove que (xn ) convergente e calcule o seu limite.
(b) Considere a sequncia assim definida: x1 = 2 e xn = 2 + xn1 para n > 1.

Escreva explicitamente os primeiros quatro ou cinco termos dessa sequncia.
Prove que ela uma sequncia convergente e calcule seu limite.
(c) Generalize o item (b) considerando a sequncia assim definida: x1 = a,
xn = a + xn1 , onde a > 0.

50. D exemplo de uma sequncia no limitada que tenha subsequncias convergentes;
e de sequncia no limitada que no tenha uma nica subsequncia convergente.

Texto de Análise PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Texto de Análise PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de Campina Grande

Centro de Formao de Professores

Gilberto Fernandes Vieira

1 Conjuntos Finitos e Infinitos

1.1 Numeros Naturais

1.1 Numeros Naturais

Observao 1.2. O axioma 3 conhecido como o princpio da induo.

1.1 Numeros Naturais

1.1 Numeros Naturais

Seja n X. Ento, ou n = m, ou existe p N tal que n = m + p, ou existe

1.2 Conjuntos Finitos

1.2 Conjuntos Finitos

1.2 Conjuntos Finitos

Teorema 1.11. Se A um subconjunto prprio de In , no pode existir uma bijeo

1.3 Conjuntos Infinitos

Teorema 1.16. Todo subconjunto de um conjunto finito finito.

1.3 Conjuntos Infinitos

1.4 Conjuntos Enumerveis

Demonstrao. Para cada subconjunto no vazio A X, escolhemos um elemento

1.4 Conjuntos Enumerveis

(n 1)/2 para n mpar

1.4 Conjuntos Enumerveis

Teorema 1.26. Todo subconjunto X N enumervel.

Corolrio 1.28. Seja f : X Y sobrejetiva. Se X enumervel, ento Y tambm .

Corolrio 1.29. O produto cartesiano de dois conjuntos enumerveis um conjunto

1.5 Exerccios Resolvidos

Exemplo 1.31. O conjunto Q = {m/n : m, n Z, n 6= 0} dos nmeros racionais

1.5 Exerccios Resolvidos

1.5 Exerccios Resolvidos

(b) Se X e Y so finitos, ento X Y finito e

1.5 Exerccios Resolvidos

uma quantidade finita de conjuntos dois a dois disjuntos.

2. Seja P(X) o conjunto cujos elementos so os subconjuntos de X. Prove por induo

1.5 Exerccios Resolvidos

(a) Se X infinito e f injetiva, ento Y infinito.

Sobrejetividade: Como os primos maiores que 2 so mpares e o produto de mpares

1.6 Exerccios Propostos

1.6 Exerccios Propostos

1.6 Exerccios Propostos

(a) 1 + 3 + 5 + . . . + (2n + 1) = (n + 1)2 ;

3. (Elementos Neutros) existem em R dois elementos distintos 0 e 1 tais que x + 0 = x

2.2 R um Corpo Ordenado

2.2 R um Corpo Ordenado

2.2 R um Corpo Ordenado

(P 2) Dado x R, exatamente uma das trs alternativas seguintes ocorre: ou x = 0, ou

2.2 R um Corpo Ordenado

Mais geralmente, x < y e x0 < y 0 implicam x + x0 < y + y 0 .

Definio 2.6 (Valor Absoluto

ou Mdulo). Definimos o valor absoluto de x R assim:

|x| = max{x, x}.

2.2 R um Corpo Ordenado

Para todo x R tem-se |x| x |x|.

De modo anlogo se v que

2.3 R um Corpo Ordenado Completo

2.3 R um Corpo Ordenado Completo

Definio 2.11 (nfimo de um Conjunto). Analogamente, se X R um conjunto

2.3 R um Corpo Ordenado Completo

2.3 R um Corpo Ordenado Completo

Demonstrao. (i) Se N R fosse limitado superiormente, existiria c = sup N. Ento,

2.4 Exerccios Resolvidos

Definio 2.19. Um nmero real chama-se irracional quando no racional. O conjunto

2.4 Exerccios Resolvidos

2.4 Exerccios Resolvidos