Anlise I

EDITORA

AFILIADA

,.I
t"<t&q
{,{3

Djairo Guedes de Figueiredo

Professor titular da Unicamp

Anlise I
2 Edio

515.1

F475a
Anlise

64397

14221

1111111111111111111

EDITORA

Direitos exclusivos para a lngua portuguesa

Copyright 1996 by Djairo Guedes de Figueiredo
LTC - Livros Tcnicos e Cientficos Editora S.A.
Travessa do Ouvi dor, 11
Rio de Janeiro, RJ - CEP 20040-040
Reservados todos os direitos. proibida a duplicao ou
reproduo deste volume, no todo ou em parte,
sob quaisquer formas ou por quaisquer meios
(eletrnico, mecnico, gravao, fotocpia, ou outros),
sem permisso expressa da Editora.

SOBRE O AUTOR
Djairo Guedes de Figueiredo, natural de Limoeiro do Norte, Cear, formou-se em Engenharia Civil pela ento Universidade do Brasil no Rio de Janeiro, em 1956. Fez seus estudos de ps-graduao no Courant Institute da Universidade de Nova Iorque, onde obteve
os graus de Master of Science (1958) e Doctor ofPhilosophy (1961). Foi professor visitante
nas Universidades de Wisconsin, Chicago, Maryland e Miami, e professor titular das Universidades de Illinois, Braslia e do IMP A. Atualmente professor titular da UNICAMP.
Em 1965 e 1984 foi agraciado com bolsa da Fundao Guggenheim. membro titular da
Academia Brasileira de Cincias, e pesquisador IA do CNPq desde 1985. Em 1992 foi premiado com a Bolsa de Reconhecimento Acadmico "Zeferino Vaz", pelo Conselho Universitrio da UNICAMP. Em 1995 o presidente da Repblica lhe outorgou a Gr-cruz da
Ordem do Mrito Cientfico.
Seu campo de pesquisa a Teoria das Equaes Diferenciais Parciais, tendo escrito
vrias monografias e artigos de pesquisa publicados em revistas especializadas no Brasil e
no exterior.

PREFCIO DA SEGUNDA EDIO

Este um livro de Anlise Matemtica, uma das reas mais bsicas da Matemtica.
Analistas, gemetras ou matemticos aplicados necessitam desse embasamento para prosseguir seus estudos nas reas respectivas. Esse um curso que segue o curso de Clculo das
nossas universidades. Contm parte substancial daquele curso apresentado de modo cuidadoso dentro do rigor imprescindvel para os cursos de Matemtica. Assim, introduzimos o
Clculo Diferencial e Integral de funes reais de uma varivel real, aps a apresentao
axiomtica dos nmeros reais. Isso nos permite oferecer uma teoria dedutiva rigorosa, mas
agradvel e bonita!
Tivemos a preocupao de fazer um texto que apresente uma continuao natural dos
cursos de Clculo. claro que os conhecimentos adquiridos naquele curso so de grande
valia, principalmente para fazer os muitos exerccios do texto. Trabalhar nesses exerccios
uma parte essencial no processo de aprendizagem dessa matria. As sugestes ao final do
texto s devem ser usadas aps muitas tentativas de resolver esses exerccios. So precisamente essas tentativas (possivelmente muitas vezes frustradas) que constituem o mtodo de
estudo e criao em Matemtica.
O texto atual a segunda edio do livro publicado em 1975. Diversas alteraes foram introduzidas neste texto. Vrios erros de imprensa presentes na primeira edio foram
corrigidos e algumas demonstraes foram modificadas. Nossa deciso de publicar uma
segunda edio desta obra veio aps ouvirmos insistentes solicitaes de colegas que vm
utilizando cpias, cada vez mais raras da primeira edio, em seus cursos introdutrios de
Anlise. Entretanto, ao Professor Joo Carlos Nascimento Pdua expressamos nossa maior
gratido, por ter ele se prontificado a ler todo o texto anterior, fazer correes e sugestes.
Com tal colaborao, no poderamos nos recusar a oferecer uma segunda edio de
Anlise I.
Campinas, maio de 1996
Djairo Guedes de Figueiredo

PREFCIO DA PRIMEIRA EDIO

A presente monografia destina-se aos alunos de graduao das nossas universidades.
Pressupe-se que o leitor esteja familiarizado com a "tcnica" do Clculo Diferencial e Integral de funes reais de uma varivel real. Isso porque no temos aqui um nmero suficientemente grande de exerccios, que permita ao estudante desenvolver uma certa percia em
resolver problemas do tipo computacional. Cremos que um estudante de Matemtica deva
ter um curso semestral de Clculo antes de estudar o assunto desta monografia, que nada
mais do que um texto do curso de Anlise I das universidades. O curso de Clculo, sendo
mais superficial, mais consonante com o nvel do aluno que entra na universidade. Por
outro lado, fornece rapidamente uma idia do que o Clculo, do tipo de problemas que
resolve e das suas aplicaes a outros ramos do conhecimento. Assim, o leitor que comear
a ler este trabalho j ter uma boa motivao e uma viso global da matria em estudo. Assim,
ele apreciar melhor certos pontos que poderiam parecer filigranas s pessoas que os vissem pela primeira vez.
O texto escrito com o rigor que a Anlise ganhou no decorrer do sculo passado. A
fundamentao lgica dos nmeros reais logo apresentada no primeiro captulo, o que o
torna relativamente longo. Atravs dos exemplos e de vrias observaes, procuramos estimular no estudante o esprito crtico e nele despertar curiosidade por outros cursos de Matemtica. Lembramos, porm, ao leitor as palavras de Gibran Khalil Gibran: "Nenhum homem poder revelar-vos nada seno o que j est meio adormecido na aurora do vosso conhecimento."
O presente trabalho passou por um processo evolutivo que comeou com a monografia do autor publicada pela OEA, Funes Reais, em 1970. Em sua segunda fase, o texto foi
expandido e constituiu um dos cursos oferecidos no 9. o Colquio Brasileiro de Matemtica,
em 1973. Finalmente com a adio de mais exerccios, reformulao de vrias sees e incluso de mais dois captulos, chegou-se forma presente, que ora includa na Coleo
Elementos de Matemtica do IMP A.
Nesse processo, vrias pessoas contriburam de diferentes modos. Agradecemos, em
especial, ao Prof. Elon Lages Lima, a Mrcia Maria de Pinho, aos meus alunos no 9.' Colquio e a minha esposa.
Braslia, outubro de 1973.
Djairo Guedes de Figueiredo

"

SUMARIO
1.

NMEROSREAIS,1
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
1.8.
1.9.
1.10.
1.11.
1.12.
1.13.
1.14.

2.

28

FUNESREAIS,48
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
2.7.
2.8.
2.9.
2.10.

3.

Conjuntos e funes, 1
Nmeros racionais, 3
INF e SUP, 5
Nmeros reais, 9
Desigualdades, 12
Sucesses numricas, 17
Propriedades de limite, 19
Exemplos de sucesses, 23
Sucesses montonas, 27
O Teorema de Bolzano-Weierstrass,
O critrio de Cauchy, 31
Sries numricas, 33
Representao decimal, 41
Conjuntos enumerveis, 45

Funes reais, 48
Limites laterais de uma funo, 52
Operaes com limites das funes, 57
Funes contnuas, 60
Operaes com funes contnuas, 62
Funes contnuas em intervalos fechados, 65
Funes montonas, 67
Funo inversa, 69
Funes injetivas da reta, 70
Funes lineares, 72

FUNESDERNVEIS, 75
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
3.7.
3.8.
3.9.
3.10.

A derivada, 75
Operaes com funes derivveis, 78
Derivadas de algumas funes, 79
Derivada da funo inversa, 80
Derivao de funes compostas, 81
O Teorema do Valor Mdio, 84
A frmula de Taylor, 89
Os pontos crticos de uma funo, 91
Sries de potncias, 97
A srie de Taylor de uma funo, 101

xiv

4.

SUMRIO

FUNES TRIGONOMTRICAS, 104

4.1.
4.2.
4.3.
4.4.

As funes seno e co-seno, 105

Outras funes trigonomtricas, 111
Funes inversas, 112
A Trigonometria, 114

5. A INTEGRAL, 116
5.1.
5.2.
5.3.
5.4.
5.5.
5.6.
5.7.
5.8.
5.9.

6.

Existncia de primitivas, 171

Teorema Fundamental do Clculo, 175
Operadores de derivao e de integrao, 178
Mudana de varivel nas integrais, 179
Integrao por partes, 180
Teoremas do valor mdio para integrais, 182

INTEGRAIS IMPRPRIAS, 186

8.1.
8.2.

9.

Logaritmo, 147
Funo exponencial, 152
Potncias irracionais, 156
A funo aX, 157
A funo xb, 157
O nmero e como limite, 158
A constante de Euler-Mascheroni, 160
A frmula de Stirling, 160
Apndice: Algumas indeterminaes - Regra de L'Hspital,

RELAES ENTRE DERIVAO E INTEGRAO, 171

7.1.
7.2.
7.3.
7 A.
7.5.
7.6.

8.

139

FUNES LOGARTMICA E EXPONENCIAL, 147

6.1.
6.2.
6.3.
6.4.
6.5.
6.6.
6.7.
6.8.

7.

Noo de rea, 116

Integral superior e integral inferior, 120
A integral, 123
Demonstrao do Teorema 504, 125
Operaes com funes integrveis, 127
Valor absoluto de uma funo integrvel, 131
A integral como limite, 134
A restrio de uma funo integrvel, 136
Uma condio necessria e suficiente de integrabilidade,
Apndice: O teorema de Heine-Borel, 144

Integrais de funes no-limitadas em um intervalo, 186

Integrais de funes definidas em intervalos infinitos, 192

SUCESSES E SRIES DE FUNES, 197

9.1.

Sucesses de funes, 197

164

SUMRIO

9.2.
9.3.
9.4.
9.5.

9.6.
9.7.
9.8.
9.9.
9.10.
9.11.

xv

Sries de funes, 201

Convergncia uniforme das sries de potncias e o Teorema de Abel, 204
Testes de Abel e de Dirich1et, 207
Apndice sobre sries numricas condicionalmente convergentes, 211
Convergncia uniforme e integrao, 216
Convergncia uniforme e derivao, 220
Funes contnuas sem derivada em nenhum ponto, 223
O Teorema de Arzel-Ascoli, 225
O Teorema da Aproximao de Weierstrass, 229
Condensao de singularidades, 232
Teoremas tauberianos, 233

APNDICE, 236
REFERNCIAS,

253

NDICE ALFABTICO, 255

Captulo 1

Nmeros

1.1.

Reais

Conjuntos e Funes

Os conceitos de conjunto e funo pertencem aos fundamentos da Matemtica

moderna.
Portanto, ao iniciar o nosso trabalho, sentimos a necessidade de fazer
algumas consideraes sobre tais conceitos, a fim de evitar seu uso inadequado
posteriormente.
A formalizao da Teoria dos Conjuntos em um contexto logicamente rigoroso obra de grandes matemticos deste e do sculo passado.
As contribuies
de Cantor, Hilbert e G6del so decisivas e profundas.
No presente trabalho, no utilizamos nenhum dos aspectos delicados da Teoria
dos Conjuntos.
Na verdade, necessitamos apenas definir alguns termos.
A palavra conjunto usada para designar uma coleo qualquer de objetos.
Por exemplo, o conjunto das carteiras, em uma sala de aula, o conjunto das crianas menores de dez anos, o conjunto dos nmeros pares.
Lidaremos, em geral, com
conjuntos numricos, isto , conjuntos constitudos por nmeros.
Como, por exemplo, o conjunto N dos nmeros naturais, o conjunto IR dos nmeros reais, o conjunto IR+ dos nmeros reais positivos etc. Chamamos a ateno do leitor para
o fato de que consideramos a noo de conjunto como primitiva e que, portanto,
no passvel de definio.
Os objetos que constituem um dado conjunto so chamados os elementos do
conjunto.
Usamos a notao x E A para dizer que um elemento x est em um
conjunto A, e l-se x "pertence" a A. Uma propriedade P caracteriza um conjunto
A, se todo elemento de A satisfaz propriedde P e se, reciprocamente, todo elemento que satisfaz propriedade P pertence ao conjunto.
Via de regra, um conjunto
dado atravs de propriedades
que o caracterizam.
P. ex., IR+ o conjunto dos elementos x de IR tais que x > O, ou, em smbolos,
IR+

{x E IR: x

>

O}.

Cada parte B de um conjunto A chamada um subconjunto de A. Mais

pr"cisamente, B um subconjunto de A (em smbolos, B C A ou A ~ B), se todo

NMEROS

E B tal que x E A.
A "contm" B.

A expresso

A l-se B "contido

REAIS

CAPo 1

em" A e A ::) B l-se

Usamos as seguintes notaes: A U B para designar o conjunto dos elementos

que esto em A ou em B; A
B para designar o conjunto dos elementos que esto
simultaneamente
em A e em B; A ~ B para designar o conjunto dos elementos que
esto em A mas no em B.

li

Uma funo f de um conjunto A em um conjunto B uma regra que a cada

elemento x E A associa um elemento f(x) em B. f(x) chamado o ralor de f no
elemento x. O conjunto A chamado o domnio (conhecido tambm por campo
de definio) da funo f, e o conjunto B chamado o contradomnio.
Usamos
a seguinte notao
que explicita o domnio e o contradomfnio
da funo:
f: A ---> B. No demais repetir que, dada uma funo f: A --> B, o valor da
funo em um elemento x E A univocamente
determinado.
Exemplos

de funes

(i) A = B
quadrado x2
(ii) A

= x2,

IR e f(x)

= B = IR+ e f(x) = + V~,

x associa sua raiz quadrada

(iii) A

= B = IR

(vi) (a funo
associa o nmero

, a funo que a cada real positivo

negativa.

IR+ e f(x)

para
para
para

f(x)

(v)

isto , a funo que a cada real positivo

positiva.

= IR+, B = IR e f(x) = - V~, isto

x associa sua raiz quadrada

(iv) A

isto , a funo que a cada real x associa o seu

1/(1

X>O

x=O
x

< O.

+ x).

de Dirichlet).
A = B = IR e f a funo que a cada racional
e a cada irracional associa o nmero 1.

O,

Uma funo entre conjuntos numricos no necessariamente

definida por
uma frmula algbrica (cf. Exs. (iv) e (vi) acima).
A ---> B, o conjunto dos elementos y de B tais que existe
Dada uma funo
(pelo menos) um x E A tal que f(x) = y chamado a imagem de A pela funo
1, e designado por f(A).
A imagem do domnio pela
no necessariamente
o contradomnio
todo
(cf. Exs. (i), (iii), (iv), (v), (vi) acima).
No Ex. (ii), a imagem do domnio coincide
com o contra domnio.
Uma funo f: A ---> B tal que f(A) = B chamada d,e
sobrejeo ou funo sobrejetiva.
Elementos distintos do domnio de uma funo
podem ter o mesmo valor
no contradomnio.
Em outras palavras, podemos ter a seguinte situao: Xl ~ X2
e f(Xl) = f(X2)' No Ex. (i), a funo f(x) = x2 tem o mesmo valor nos pontos
1 e-L
No Ex. (vi) todos os racionais vo no mesmo ponto pela funo de Dirichlet.
Uma funo
A ~ B que leve elementos distintos de A em elementos diStintos
de B chamac1a de injeo ou funo injetiva. Em outras palavras, f : A ~. B

f:

f:

1.2 NMEROS RACIONAIS

uma injeo se, para todo par de pontos

XI
e X2 em A tais que XI -:F X2, temAs funes (ii), (iii), (v) acima so injetivas.
Uma funo que seja, ao mesmo tempo, uma injeo e uma sobrejeo chamada de bijeo ou funo bijetiva. A funo (ii) acima bijetiva.

se

j(xl)

=1=

j(x2).

Sejam f: A --? B e C C A dados. A funo j: C --? B, definida por j(x) =

~ f(x), para todo x E C, chamada a restrio de f ao subconjunto C. Essa funo

f, ge:almente, designada por fie. Por exemplo, a funo j: IR+ --? IR definida
como f(x) = x a restrio da funo (iv) ao conjunto IR +.
O leitor interessado encontrar um tratamento detalhado das idias aqui apresentadas nas referncias [7], [9] ou [19]. O artigo de Paul Cohen e Reuben Hersh
na referncia [12] faz um tratamento completo da axiomtica da Teoria dos Conjuntos.
1.2. Nmeros Racionais
Usamos as seguintes notaes:
N -

conjunto dos nmeros naturais 1,2,3, '"

7l

conjunto dos nmeros inteiros ... , - 2, - 1,

O,

1, 2, ...

10 conjunto dos nmeros racionais, isto , dos nmeros da forma p/q,

onde p e q so inteiros e q ~ O.

No est no nosso programa fazer um estudo sistemtico dos trs conjuntos numricos acima. Entretanto, deveremos utilizar as propriedades desses conjuntos. Assim, faremos apenas alguns comentrios rpidos. Um estudo detalhado dos inteiros pode ser visto
nas referncias [9] e [15]. O leitor que no esteja familiarizado com os Princpios da Boa
Ordenao e da Induo pode recorrer a essas referncias.
Como o leitor deve observar, os nmeros racionais nada mais so que as fraes da Aritmtica do curso de primeiro grau. Quando lhe ensinaram a operar com
fraes, a rigor, o que se estava fazendo era definir as operaes de adio e multiplicao. As propriedades (1) a (6) dessas operaes enunciadas a seguir, apesar
de usadas freqentemente, no receberam maior ateno. Isto parece explicvel,
porque os nmeros inteiros gozam de quase todas essas propriedades. E, na verdade, se construirmos os racionais a partir dos inteiros, tais propriedades podem
ser deduzidas facilmente de propriedades anlogas para 7l. Tambm foram ensinadas relaes do tipo 8/6 = 4/3 e 3/1 = 3. No fundo, essas duas relaes so
escritas por definio e, portanto, no se demonstram. A primeira define a relao
de igualdade entre as fraes, isto , p/q = ris se ps = qr. A segunda igualdade
faz uma identificao do conjunto 7l com um subconjunto de 10, isto , com o
subconjunto
{p/q ElO: q

= I}.

Portanto, com um certo abuso de linguagem, dizemos que

de 10.

7l

um subconjunto

Um corpo F um conjunto de elementos x,y,z, ... , onde se acham definidas

as operaes de adio (i.e., a cada par de elementos x e y em F corresponde um
elemento de F que se designa por x + y) e de multiplicao (i.e., a cada par de

NMEROS REAIS

CAPo1

elementos x e y em F corresponde um elemento de F que se designa por xy) satisfazendo s propriedades que seguem.

+ y = y + x, xy = YX.
(x + y) + z = + (y + z),

(1) Leis comutativas: x

(2) Leis assocativas:

X
(xy)z = x(yz).
(3) Existncia de um zero: existe um elemento O E F tal que x + O = x
para todo x E F.
(4) Existncia de uma unidade: existe um elemento 1 E F tal que xl = X.

= O,

(5) Existncia de inversos: dado x E F. existe - x E F tal que x

e dado x E F, x ~ O, existe [I E F tal que x.rl = 1.
(6) Lei distributiva:

(x

+ (-

x)

+ y)z = xz + yz.

imediato verificar que o conjunto Q dos racionais um corpo. Observe tambm

que 7L no um corpo.
O leitor deve familiarizar-se com a interpretao geomtrica dos racionais,
utilizando uma reta R, onde se escolhem dois pontos, o O e o 1.

o
Fig.l.!

Os inteiros so marcados facilmente, se usarmos o segmento de extremidades

e 1 como unidade. Os racionais so obtidos por subdivises adequadas do segmento unidade. Se imaginarmos os nmeros racionais marcados sobre a reta,
veremos que eles formam um subconjunto da reta que denso no sentido que esclarecemos a seguir.

Dado um ponto qualquer da reta, poderemos obter racionais to perto dele

quanto se queira; basta tomar subdivises cada vez mais finas da unidade. Pode
parecer, pois, que os racionais cobrem a reta R, isto , a cada ponto de R corresponde um racional. Que isso no verdade j era conhecido pelos matemticos
da Escola Pitagrica. Sabiam eles que a hipotenusa de um tringulo retngulo
issceles no comensurvel com os catetos, isto , se os catetos tm comprimento
igual a 1, ento a hipotenusa no racional. Portanto, o ponto P da reta R, obtido
traando-se a circunferncia centrada em O e raio igual hipotenusa, no corresponde a um racional (ver Figura 1.2).

,,
\

\
\

,I

Fig.l.2
Demonstrao

de que a hipotenusa no racional

Suponhamos, por contradio, que a hipotenusa seja um racional p!q. Podemos supor que p e q so primos entre si. Pelo Teorema de Pitgoras, (p/q)" =

1.3 INF E SUP

= 1 + 1, ou seja, p2 = 2q2. Logo, p2 um inteiro par, o que implica que p par,

isto , p = 2r. Portanto, 4r2 = 2q2, ou seja, q2 = 2r2, de onde se segue que q
par. Ora, p e q, sendo nmeros pares, no podem ser primos entre si. Essa
a contradio.
O fato acima demonstrado de que existem pontos de R que no correspondem
a elementos de Q indica uma deficincia dos racionais. Procederemos agora
no sentido de obter um conjunto numrico mais amplo que o dos racionais e cujos
elementos estejam em correspondncia biunvoca com os pontos de R. (Dois
conjuntos A e B esto em correspondncia biunvoca, se a cada elemento de A corresponde um, e somente um, elemento de B e vice-versa.) O conjunto que vai resolver essa questo o corpo dos nmeros reais.

EXERClcIOS
1. Demonstre o seguinte fato, o qual foi utilizado na demonstrao de que
a hipotenusa do tringulo retngulo issceles de cateto 1 no racional. Um
inteiro p E N par se, e s se, p2 for par.
2. (Unicidade do zero de um corpo F). Se O' E F tal que x + O' = x para
todo x E F, ento O' = O.
(Unicidade da unidade de um corpo F).

3.

todo x

4.
nica.

F, ento l'

Se l'

F tal que xl'

Dados a e b em um corpo F, mostre que a equao a

s. Dados a:;t.
o nica.

= x,

para

1.

+ x = b tem soluo

e b em um corpo F, mostre que a equao ax

=b

tem solu-

6. Ox = O, qualquer que seja x E F.

7. 1 = O se, e somente se, F = {O}.
8. Dois corpos FI e F1 so chamados isomorfos se existe uma funo
FI --7 F2 bijetiva e tal que T (x + y) = T(X) + T (y), T (xy) = T (x) T (y) para
todos x e y em FI' A aplicao T chamada um isomorfismo.
Mostre que
T (O) = O e T (1) = 1, onde estamos utilizando o mesmo smbolo O para os zeros
de FI e F2, bem como 1 para as duas unidades.
T :

1.3. Inf e Sup

Um corpo F ordenado se contiver um subconjunto P com as seguintes propriedades:
(PI)

P, y

(P2) dado x
x

P, - x

P, x

P implica x

+y

P e xy

]i,

F, ento uma, e somente uma, das trs possibilidades ocorre:

O.

O leitor ver imediatamente que Q um corpo ordenado, onde P o conjunto

Isso motiva o nome de elementos positiros para os
elementos do subconjunto P de um corpo ordenado qualquer F. Em um corpo

Q+ dos racionais positivos.

NMEROS REAIS

CAPo1

ordenado F, podemos introduzir uma ordem estrita entre seus elementos, do seguinte modo:

x > y .se x - y

E P.

No caso dos racionais, essa precisamente a ordem usual, pois x E

Usamos ainda estes smbolos: ~,<,
x ~ y, se x > y ou x
x < y, se y> x

Q+

se x

> O.

S;, que tm o seguinte significado:

=y

x S; y, se y ;::: x.
Alm disso, utilizamos a seguinte terminologia:

x > y l-se x maior que y

x ~ y l-se x maior ou igual a y
x

<y

l-se x menor que y

x S; y l-se x menor ou igual a y.

EXERCCIO

Seja O o zero de um corpo ordenado F. Demonstre que: (i) x E P se, e s

> O; (ii) O > x se, e s se, x:; O e x EE P.
Deixamos ao leitor a verificao das seguintes propriedades, que so vlidas
em qualquer corpo ordenado:
1 1
1
0>->>z
>
t xy
-a>
=}x
>z
>0
0<-<1-b
=}O
xz
=}
>
yzO
O<a<b
+z>y+t
a<b<O
a<b
x>
O,
x,
>y=}O
xa<O<b
qualquer
> ento,
O
y0<>
x +
Oz > y +z
Se
y,
>
{O},
=}
xy =}> =}
O
1.
<>F:;
ab><yzxy
a ( 1) baO>

se, x

=}

b'

( 8)
5)
( 9)

(O smbolo =}, que lemos "implica", usado para expressar que as asseres do
lado esquerdo acarretam o que vem escrito do lado direito. Nos enunciados de
teoremas, "=}" substitui a palavra "ento".)

1.3 INF E SUP

Observao.

O" ::;" uma relao de ordem em F, isto :

(i)

x::; x, para todo x

(ii)

x::; y e y ::; x =} x

F (reflexividade);

=y

(anti-simetria);

(iii) x::; y, y ::; z =} x ::; z (transitividade).

Alm disso, ::; o que se chama de ordem total, isto , alm de (i), (ii) e (iii)
temos
(iv) dados x, y

IR =} ou x ::; y
ou y ::; x.

Deixamos ao leitor a demonstrao das propriedades (i) - (iv).

Cota superior. Seja F um corpo ordenado e A um subconjunto de F. Um
elemento x E F uma cota superior de A se x ~ y, para todo y E A. Existem
conjuntos que no tm cota superior. Por exemplo, considere o corpo ordenado
li) dos nmeros racionais; fcil ver que o subconjunto N dos nmeros naturais no tem
cota superior (cf. Exerc. 2 da Se. 1.4).Esse fato motiva a seguintedefinio: um subconjunto
A de F se diz limitado superiormente se ele possui cota superior.
Cota inferior. De modo anlogo, introduzimos os conceitos de cota inferior
e conjunto limitado inferiormente. Um elemento x E F uma cota inferior se
x::; y,para todo y E A. Existem conjuntos que no possuem cota inferior. O
conjunto
dos nmeros inteiros no tem cota inferior no corpo Q dos nmeros
racionais. Um subconjunto A de um corpo ordenado F se diz limitado inferiormente se ele possui cota inferior.
71.

Supremo de um conjunto limitado superiormente. Seja F um corpo ordenado

e A C F um subconjunto limitado superiormente. O supremo do conjunto A,
que designamos por supA, definido como a menor das cotas superiores de A (quando existe!). Em outras palavras, x E F o supremo de A se:

(i) x for cota superior de A, e

(ii) se z for uma cota superior de A, ento, x ::; z.
O Exerc. 2, no final desta seo, mostra um conjunto limitado superionnente que no
possui supremo.
Exemplo

maiores que

1. Considere o corpo ordenado Q e o subconjunto A dos racionais

e menores que 1, i.e.,

{y E Q : O

< y < I}.

Qualquer racional maior ou igual a 1 cota superior, e supA = 1. fcil ver

que supB = 1, onde B = {y E Q : O ::; y ::; l}. Por esses exemplos, vemos que
o sup (quando existe!) pode pertencer ou no ao conjunto.
fnfimo de um conjunto limitado inferiormente.

C F, um subconjunto limitado inferiormente.

Seja F um corpo ordenado, e

NMEROS

REAIS

CAPo 1

nfimo de um conjunto A, que designamos por infA, definido como a maior

das cotas inferiores (quando existe!).
Em outras palavras, x C F o nfimo de
A

se:

(i)

x for cota inferior

de A, e
de A, ento x

(ii) se z for uma cota inferior

Ex. 3, a seguir, mostra

2::

z.

que no possui in/

um conjunto

Exemplo 2. Considere, no corpo ordenado dos racionais, os conjuntos A e

B definidos no Ex. I acima. V-se que infA = O e infB = O. Como no caso
do sup, o inf (quando existe!) pode pertencer ou no ao conjunto.
Exemplo

3.

Considere

A
Demonstraremos

o seguinte

{x E O :

subconjunto
x2

>

2, x

que A no tem inf (em O).

B

{x E

iQ : x2

>

dos raCIOnaiS
O}.

Seja

< 2,

x >

O}.

Como no existe racional tal que x2 = 2, segue-se que dado um racional

r, ento ou r E A ou r E B. Em primeiro lugar, provamos:
( 1)

se x E A =} existe y E A tal que y

(2)

se x E B =} existe' y E B tal que x

(p2 -

2q2)n2 -

2pn

< x.
< y.

= p/q.

Para provar (1), escrevemos x

y = (np - l)/nq pertena a A.
( 3)

positivo

A idia procurar um inteiro n tal que

Isso ocorre se (np - 1)2/n2q2 > 2, i.e.,

+1>

O.

Como x E A, temos que p2 - 2q2 > O. Logo, (3) se verifica para n suficientemente grande (quo grande?).
De modo anlogo, provamos (2). A seguir, suponhamos que A tenha nfimo, que designamos por xo. Ento Xo ::; x para todo
x E A. vista de (1), Xo no pode pertencer a A, pois, de outro modo, ~averia
Logo, Xo deve pertencer a B. A vista
y E A tal que y < xo, o que seria absurdo.
de (2), existe, pois z E B tal Xo
z.
Como z2 < 2, segue-se que z cota inferior
para A. Isso, porm, contradiz o fato de Xo ser o inf de A.

<

Concluso: A no tem in/

EXERCCIOS

1. Usando um argumento anlogo ao empregado no Ex. 3, o leitor

demonstrar que o conjunto B definido no Ex. 3 no possui supremo.
2. Um subconjunto de um corpo
superiormente e limitado inferiormente.
que no possui nem sup nem inf

pode

ordenado se diz limitado se for limitado

D um exemplo de um conjunto limitado

1.4

1.4.

NMERO REAIS

Nmeros Reais

Agora definimos o conjunto IR dos nmeros reais, como sendo um corpo ordenado onde se verifica a propriedade a seguir.
Postulado de Dedekind. Todo subconjunto no-vazio de IR, constitudo de
elementos positivos, tem um nfimo.
O Postulado de Dedekind realmente determna o corpo dos reais entre todos
os corpos ordenados. (A rigor essa determinao feita a menos de isomorfismos.) O corpo IR assim definido contm um subconjunto que est em correspondncia biunvoca com o conjunto 11) dos racionais. Na realidade, essa correspondncia goza da propriedade de preservar as operaes de adio e multiplicao; correspondncias biunvocas desse tipo tomam o nome de isomorfismos. Para
todos os efeitos, podemos simplificar essa questo do isomorfismo e simplesmente
dizer que IR contm Q: Q C IR. A reta R um belo modelo geomtrico para
o corpo IR: cada ponto de R representa um real e, vice-versa, a cada real corresponde
um ponto de R. As afirmaes feitas no presente pargrafo requerem demonstrao.
O leitor poder encontr-Ias, p. ex., na referncia [10).
Deixamos ao leitor as verificaes dos seguintes fatos que decorrem diretamente do Postulado de Dedekind.

EXERctCIOS
1. Se um conjunto A de

IR

tem uma cota inferior, ento A tem inf

2. Se B um conjunto que tem uma cota superior, ento sup B = - inf( - B),
onde - B = {x E IR : x = - b, b E B}. Da se segue que todo conjunto
no-vazio, que tem cota superior, tem um sup.

3.
4.

Mostre que o conjunto N dos nmeros inteiros positivos no tem cota superior.
Mostre que dado um real positivo a, existe um inteiro positivo
1

n tal que - < a.

n
5.

com

Mostre que o corpo dos reais arquimediano, i.e., dados dois reais a, b,
a < b, existe um inteiro n tal que na > b.

<

6. Sejam x E IR e A = {r E IR : r E 11) e x < r}. Mostre que x = inf A.

7. Mostre que o conjunto 11) denso em IR. Em outras palavras, dados dois
nmeros reais quaisquer x < y, existem racionais r tais que x < r < y.
Os nmeros reais, que no so racionais, so' chamados irracionais. Um
modo de produzir exemplos de nmeros reais tomar inf de subconjuntos no-vazios
de racionais positivos. Por ex., o conjunto A do Ex. 3, da Se. 1.3, olhado como
um subconjunto dos nmeros reais, tem um nfimo b E IR, em virtude do Postulado de Dedekind. Provamos, na Se. 1.3, que b no racional. Eis, pois, um exemplo
de um nmero irracional; esse nmero designado porV2.- A justificativa para
essa notao jaz no seguinte resultado:
"A equao x2 = 2 tem uma e s uma soluo real positiva."

10

NMEROS REAIS

CAPo1

Esse um resultado sobre a existncia e unicidade de soluo para uma equao.

A unicidade facilmente provada, supondo que existem duas solues reais positivas a e b: a2 = 2 e b2 = 2, o que acarreta a2 - b2 = 0, ou seja, (a - b)(a + b) = O.
Como a > e b > 0, temos a + b > 0, o que implica a - b = 0, ou seja, a = b.
A existncia de soluo real positiva para x2
2 obtida provando-se que
b = inf A (A, o conjunto do Ex. 3 da S. 1.3) satisfaz equao: b2 = 2. Basta
mostrar que b2 < 2 ou b2 > 2 no so verdadeiras. Primeiro suponha que
b2 < 2. Como

(b

n
n + ~2
n
+ .1.)2
= b2 + 3!!-

=:::;

b2

+1,

2b n

v-se que ( b + 11
2 _+b2'1 Isso mostra que b + -;:;
1 )2 < 2 se n > 2b
1 e uma cota
inferior do conjunto A; portanto, b no poderia ser o nfimo de A. Por outro
lado, suponha que b2 > 2. fcil de ver, como se fez acima, que se n E N for
tomado adequadamente, teremos (b - ~
te r E Q tal que b ser o nfimo de A.

1- < r < b.
n

Logo,

> 2. Em virtude do Exerc. 7, exis2 < r2 < b2, o que contradiz o fato de b
)2

EXERCCIOS

(8:) (Potncias inteiras.) (a) Se a E IR e n E N, definimos

o prduto de a por si mesmo n vezes. Prove as relaes:
(i)

am+n

a-n

como sendo

= an
= amn
= anb",
a'i"

(ii) (am)n
(iii) (ab)n

onde b E IR. (b) Se a E lR\{O} e - n E N, defina a"

l/a-n
relaes (i), (ii), (iii) so tambm vlidas se ab ~ e n, mEl,
1.
mos aO

Mostre por iliduo que

xn _ y"

onde n

Mostre que as
e se definir-

= (x

_ y) (xn-1

+ xn-2y + ...+ xn-iyi-1 + ...+ yn-l),

N -e x,y E IR.
10. Seja a um nmero real positivo e p, um inteiro positivo. Mostre que a
equao XV = _a tem 1uma e s uma soluo real positiva. Essa soluo, que se .
designa por
a ou a -;; chamada a raiz p (ou p-sima) de a. (Sugesto: use o
Exerc. 9 para provar a unicidade. A existncia demonstrada de modo anlogo
ao que se fez para a raiz quadrada.)
E

fi

Potncias racionais. Definimos agora af = (ap para p e q inteiros pc

vos.
i~rso
Finalmente, se r um racional negativo, definimos ar = (a-rr', Le., ar O
,::sto
do real a-r, que j est definido, pois - r > O. Adiamos para o Capo 6 f
)'"

1.4 NMEROS REAIS

11

de atribuir um sentido a expresses como 2"\ 1O~ e, em geral,

real positivo e x um nmero irracional.

aX,

onde a um

EXERCCIOS
11.

Se a e

12.

Mostre que se r e s forem racionais e a e b, reais positivos, ento

so reaiS positivos e q

E N,

mostre que

13. Seja r um nmero irracional. Quais so as condies sobre os racionais

a, b, c, d para que (ar
b)/(cr
d) seja racional?

urea de um segmento.)
Considere um segmento AB de compriC o ponto d!_ A~ que determina a seo urea de AB, isto ,
AB . AC = BC2 Mostre que AC/AB um nmero irracional. (Nota:
BC o
comprimento do lado do decgono regular inscrito no crculo de raio AB.)
14._(Seo

mento ~B,

~ja

15. Mostre que qualquer nmero racional positivo pode ser expresso de
um nico modo na forma

onde os a's so inteiros e

o ::::;ai> O ::::;az < 2, ... ,O <

ak

< k.

Comentrios sobre a determinao de nmero real. No comeo desta seo,

definimos os nmeros reais como sendo um corpo ordenado, onde vale o Postulado de Dedekind. Pe-se imediatamente a questo da existncia de um tal corpo.
Essa questo deve receber uma resposta positiva para que a definio dada de nmero real tenha sentido. No fcil provar que existe um corpo nas condies
pedidas. Do ponto de vista histrico, essa questo foi resolvida relativamente
tarde. Coube ao matemtico alemo Richard Dedekind fazer a primeira apresentao rigorosa do conceito de nmero real. Isso foi feito em um pequeno livro
Continuidade e Nmeros Irracionais, publicado em 1872. A ele se deve a noo
de corte, com a qual possvel provar que existe um corpo ordenado, onde vale
o Postulado de Dedekind (ver o que segue). H um outro modo de introduzir
os reais, atravs das chamadas sucesses de Cauchy (cf. Se. 1.11).

12

NMEROS

REAIS

CAPo 1

A atitude adotada no presente trabalho, alm da vantagem de introduzir os

nmeros reais sem maiores delongas, fornece-nos os elementos para prosseguir com
absoluto rigor.
Cremos que essa a melhor atitude a tomar em cursos introdutrios de clculo ou anlise.
Somente a ttulo de ilustrao,
de Dedekind.
O leitor interessado

fazemos alguns comentrios sobre o mtodo

poder ver os detalhes na referncia [16].

Cortes de Dedekind.
O mtodo consiste em partir o corpo ordenado O dos
nmeros racionais e construir um outro corpo do seguinte modo: primeiramente,
um subconjunto A dos racionais chamado um corte, se as trs condies seguintes
so satisfeitas: (i) A no-vazio e no contm todos os racionais; (ii) se r E A,
s E O e s < r, ento s E A; (ii) dado r E A, existe t E A tal que r < t. Considere o conjunto C de todos os cortes.
(Um elemento de C um subconjunto de
O.) Em C, pode-se definir operaes de adio e multiplicao e provar que, com
essas operaes, C um corpo.
Define-se, tambm, uma relao de ordem e prova-se, ento, que C um corpo ordenado.
Finalmente, demonstra-se que esse
corpo satisfaz o Postulado 'de Dedekind.
Observe que, seguindo essa apresentao, o dito postulado deve ser chamado Teorema de Dedekind! Exemplo de um
corte: o conjunto A formado pelos nmeros racionais negativos e pelos racionais
positivos r tais que ,-2 < 2. O leitor poder produzir facilmente outros exemplos.
1.5.

IR.

Desigualdades
Designemos
O conjunto

por
IR+

IR + o conjunto
dos elementos POSItiVOSdo corpo
contm todos os racionais positivos.

O valor absoluto de um nmero real a, que se designa por

seguinte modo:

lal

= {a,

- a,se sea ~a O<

ordenado

Ia I, definido

do

O.

P. ex., o valor absoluto de 3 3. O valor absoluto

que, em geral, temos para qualquer real a:

de - 3 tambm

3. Vemos

= 1- ai

lal

Seja a um nmero real positivo.

Observamos na seo anterior que a equao
uma nica soluo positiva, i.e., existe b E IR+ tal que b2 = a. Este
valor chamado a raiz quadrada positiva (ou simplesmente a raiz quadrada) de a,
a equao x2 = O, vemos que
e ser representada
por VO:. Se considerarmos
x = O soluo; logo, a raiz quadrada de O O. Se considerarmos a equao
x2
a, com a < O, vemos que ela no pode ter soluo, pois o quadrado de um
nmero real, positivo ou negativo, nunca negativo.
Logo, um nmero negativo
no tem raiz quadrada.
Provaremos agora os seguintes fatos relativos. raiz quadrada.
x2

= a tem

Teorema 1.1. Seja c um real qualquer.

Denwnstrao.

Imediata

se

c ~

O.

Se

Ento,
c

< O,

ento

=
c2

#.
=

Ic 12

e, portanto,

13

1.5 DESIGUALDADES

w=~

= Ic I,

para o caso de c

onde se usou, na ltima igualdade,

O.

2::

Teorema 1.2. Sejam a e b reais positivos,

Demonstrao.
Escrevamos
a < b, ento x2 < y2. Isto ,
x
e y positivos, temos que y
se que y - x > O~ Da x < y,

Temos as seguintes
lab I

(ii)

Ia + b I:::;

(iii)

I1

quaisquer

a -

tais que a

<

Vb.

b. Ento

V;; < Vb.

e y =
Da x2 = a e y2 = b. Como
x2 > O, ou (y - x) (y
x) > O. Sendo x
positivo.
Pela propriedade (4) da Se. 1.3, segue-'
como queramos provar.

= V;';

j provado

y2 -

propriedades

do valor absoluto:

Ia Ilb I

(i)

;=O

o resultado

Ib

Ia

1I

1+

Ib

I (desigualdade

Ia -

:::;

do tringulo)

(2. a desigualdade

do

tringulo),

que sejam os reais a e b.

EXERCCIO

1. Use o Teorema

1.1 e o Exerc. 11, da Se. 1.4, para demonstrar

Demonstrao de (ii). Da definio

qualquer real c, temos que

de valor

absoluto,

segue-se

(i) acima.
que, para

c:::; Ic I,

a igualdade

ocorrendo

se c
ab:::;

O. Portanto,

2::

lab

Ia

temos

Ilb I,

onde utilizamos (i) para escrever a igualdade.

Multiplicando
por 2 e somando a2
b2 a cada membro, temos

a2

+ 2ab + b2 :::; a2 + 2

Ia Ilb

ambos

os membros

+ b2

ou
(a

b)2 :::; ( Ia I

Ib 1)2,

em virtude de a2 = Ia 12. Tomando a raiz quadrada de ambos os membros, e

usando os Teoremas 1.1 e 1.2, obtemos a desigualdade (ii), que queramos demonstrar.

EXERCCIO
2.
O

Usando
conjunto

(ii) acima, demonstre (iii).

IR+ chamado
a sem i-reta positiva.

Por analogia,

o conjunto

14

NMEROS REAIS

{x E IR : x < O} a semi-reta negativa.

de uma das formas seguintes:

(a, co)

= {x E IR

[a, co)

{x

CAPo1

Em geral, uma sem i-reta um conjunto

x> a},

(-

co, b)

E IR :

x ~ a},

(-

co, b]

=
=

< b}

{x

E IR :

{x

E IR :

x ~

b},

onde a e b so reais quaisquer.

Nos dois primeiros casos, a semi-reta no inclui
a extremidade e, ento, chamada sem i-reta aberta. Nos dois ltimos casos, ela
inclui a extremidade e, ento, chamada semi-reta fechada.
Dados dois reais a e b, com a
abaixo chamado um intervalo:
(a, b)
[a,b)

intervalo
O intervalo

=
=

{x
{xE

E IR :
IR

:a

<

b, um conjunto

< x < b},

~ x < b},

de uma das quatro

[a, b]

{x

(a,b]

{xE lR:a

E IR :

formas

a ~ x ~ b}

< x ~ b}.

(a, b) no inclui suas extremidades e chamado um intervalo aberto.

[a, b] inclui suas extremidades e denominado fechado.

O interior de um intervalo de um dos quatro tipos acima , por definio, o

intervalo aberto (a, b). Vemos que o interior do intervalo pode ou no coincidir
com o prprio intervalo.
Por uma questo de uniformidade
na nomenclatura,
as sem i-retas e a reta
inteira so chamadas tambm intervalos ou, mais precisamente,
intervalos ilimitados.
Definimos interior
um intervalo limitado.
Intervalos tambm

de um intervalo ilimitado de modo anlogo a interior de

P. ex., o interior de [a, co) (a, co).
podem ser descritos em termos do valor absoluto.
P. ex.,
(-

3, 3)

[-

4,4]

= {x
= {x

E IR :

Ix I

< 3}

E IR : Ix I ~ 4}.

Nestes exemplos, o centro do intervalo (i.e., o ponto mdio do intervalo) a origem

da reta. Mostraremos
agora que intervalos, no necessariamente
com centro
na origem, tambm podem ser descritos, usando-se o valor absoluto.
P. ex., consideremos o conjunto

Pela definio

de valor absoluto,

{x

E IR :

Ix -

1I

< 2}.

h. duas possibilidades:

O e, neste caso, x E A se, e somente se, x 1 < 2. Estas duas

1) x-I;:::
desigualdades do x ;::: 1 e x < 3. Logo, neste caso, x pertence ao intervalo [1,3).

2) x-I
< O e, neste caso, x
desigualdades dizem que x < I e x
valo (- I, I).

se, - (x - 1) < 2. Estas

Logo, neste caso x pertence ao inter-

A se, e somente

> - I.

1.5 DESIGUALDADES

15

Juntando os dois casos, vemos que A precisamente o intervalo (- 1,3).

Pelo mesmo argumento desenvolvido acima, o leitor pode provar que:
{x E IR:

Ix

+3

{x E IR: Ix -

31

< I} = (~

2}

4, -

2)

[1,5].

Trace uma figura e observe que, no primeiro caso, o nmero - 3 o centro

do intervalo e 1 a metade do comprimento do intervalo. O comprimento de um
intervalo (de qualquer um dos tipos acima) com extremidades a < b , por definio, o nmero real positivo b - a. A metade do comprimento de um intervalo
chamada o raio do intervalo. Assim, no intervalo [1,5], o centro 3 e o raio 2.
Em geral, o leitor poder provar que, se a e r so reais quaisquer, com r > O,
ento

+ a I < r} = (: Ix + a I ~ r} = [-

+ r)
a + r]

{x E IR : Ix

a - r, - a

{x

E IR

a - r, -

{x

E IR :

Ix - a I

< r} = (a

- r, a

+ r).

Dados dois nmeros reais a e b, dizemos que Ia - b I a distncia entre eles.

Tal conceito tem um significado geomtrico evidente, se lembrarmos a correspondncia entre os nmeros reais e os pontos da reta. O comprimento de um intervalo [a, b], (ou [a, b), (a, b), (a, b]) , ento, a distncia entre suas extremidades.

EXERClcIOS
3.

Usando valor absoluto, escreva expresses para os seguintes conjuntos:

(i)

o conjunto dos pontos cuja distncia a 1 menor do que ou igual a 4;

(iO

o conjunto dos pontos cuja distncia a - 5 menor do que 2;

(iii) o conjunto dos pontos cuja distncia a 6 maior do que 3.

4.

Descreva geometricamente o conjunto

{x E IR : Ix -

21 ~

Ia - 21},

considerando os vrios casos possveis para o parmetro a.

5.

Mostre que os dois conjuntos abaixo so iguais

{x: x

<

4}

{x : Ix -

21

<

Ix -

61}

16

NMEROS REAIS

CAPo1

(Observe que, usando a noo de distncia, o segundo conjunto pode ser descrito
como o conjunto dos pontos, cuja distncia a 2 menor do que sua distncia a 6.)
6. (A desigualdade do tringulo generalizada.) Sejam a, b e c nmeros reais.
Prove que
Ia

+b+cI~

Ia I

Ib I

Ic I.

(Esse resultado pode ser provado, usando-se induo, para qualquer nmero
nito de termos, i.e.,

7.

fi-

Descreva geometricamente os seguintes conjuntos:

{XER:l<~<2}
{XER:~<~}
{ x E R : 9 < x2 < 16}
{x E R : 0<
8.

Descreva geometricamente os conjuntos:

10.

< O}

{x E R : x2

x - 6

{x E R : x2

2x

{x E R : x2

+ x + 1 < O}

{x E R : (x - l)(x

9.

x3}.

>

O}

- 2)(x - 3) ~O}.

Se a < x < b, mostre que Ix I < Ia I + Ib I.

Mostre que

a2

+ ab + b2 ~

quaisquer que sejam os reais a e b.

11. Se x e y forem reais positivos, mostre que

vi xy

~ ~ (x

+ y).

desigualdade diz que a mdia geomtrica de dois nmeros reais positivos

Essa

(vi xy

menor do que ou igual mdia aritmtica ( x

y)
desses ~esmos nmeros. 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. Quando que as mdias aritmtica e geomtrica so iguais?
Que quer dizer isso geometricamente?

1.6 SUCESSES NUMRICAS

17

Observao.
Se aI, ..., an forem reais positivos,
gualdade, que generaliza a do Exerc. 11:

ento temos a seguinte

H vanas demonstraes.
no Exerc. 3, Se. 6.4.

Preferimos

12.
sendo

desigualdade.

= ~ (a-1 + b-1).

h tal que h-I

nica menor do que ou igual mdia geomtrica.

so iguais?
13.

(Desigualdade de Cauchy-Schwarz.)

reais, mostre

que

(tI

aquela

sugerida

de dois nmeros reais positivos a e b definida como

A mdia harmnica
o nmero

dessa

desi-

XiYiY

it

::::;

Xi2

Se

tI

Mostre

que a mdia harm-

Quando que essas duas mdias

XI>

. " Xn

YI> . "

Yn so nmeros

Yi2

1.6. Sucesses Numricas

Uma sucesso numrica (ou, simplesmente, sucesso) uma funo s: N -l-IR,
definida no conjunto dos nmeros inteiros positivos tomando valores reais. Assim,
a cada n E N corresponde um real ano Observamos que os anis no so necessariamente diferentes.
Os elementos an so chamados os termos da sucesso, e a
notao (an) usada para designar a sucesso.
Exemplos:
(i)
(ii)

1, 1/2, 1/3, ... , l/n, '"

1, 3, 1/2, 3, 1/3, 3, 1/4, 3, ...

(iii)

1, 1/2,

(iv)

1, 2, 1, 4, ...

1/22,

(v)

2, 2, 2, ...

(vi)

1, 2, 3, 4, ...

1/23,

Observao.
A notao (a,,) no deve induzir o leitor a pensar
cesso um conjunto de reais.
essencial ter uma definio de
implique que a sucesso (i) acima seja diferente de 1, 1/2, 1, 1/3,
1, .... Quando nos referimos ao conjunto formado pelos termos
usaremos a notao {an}.
E

Uma sucesso (an) converge para um nmero real T, se, para qualquer
dado, existir um nmero natural no (que pode depender de t) tal que

>O

(1)

que uma susucesso que

1, 1/4, 1, 1/5,
da sucesso,

la,,-

I < t,

real

18

NMEROS REAIS

CAPo1

para todo n 2:: no.

Na verdade, ao testar a convergncia de uma sucesso, ns nos interessamos
somente no que se passa, quando so dados "pequenos" E'S. Isso porque, se a
desigualdade (1) se verificar para um dado Eo > O, ela necessariamente se verificar para todo E > Eo. O nmero r chamado o limite da sucesso, e toda sucesso que converge denominada convergente. Usamos as notaes an -> r, e
r = lim an0
No momento em que dizemos que r o limite da sucesso, usando o
artigo definido o, estamos implicitamente admitindo que um nmero com a propriedade
expressa em (1) acima nico. Provemos esse fato. Suponha, por contradio, que
no seja, isto ; que exista s E IR satisfazendo (1) tambm, com s *- r. Tome
E = I s-r 1/2. Ento, existem nmeros naturais nl e n2 tais que

Ateno.

<

<

para n ;::: n1, e

para n ;::: n2,

Logo, se n;::: max {nl, n2}, temos

I

r-s

::5

an

an

s < 2
I

r-s

I,

o que impossvel.
Observaes sobre os exemplos acima:

1) A sucesso (i) acima converge para O. De fato, dado um E > O,tomaremos

um no > l/E. Ento, para todo n > no, teremos n > l/E, o que implica I/n < E
ou

I ~ -

O/

< E.

2) A sucesso (ii) acima no converge, visto que, por um lado, h termos da sucesso iguais a 3, para n's to grande quanto se queira e, por outro lado, os termos
an para n mpar convergem para O. Poderamos formalizar esse argumento do
seguinte modo: seja dado E = I; ento, qualquer que fosse o real r, o intervalo
{x E IR : Ix - r I < I} no poderia conter o nmero 3 e algum termo an para n
mpar.
3) Por um argumento semelhante ao de 1), acima, podemos provar que a sucesso (iii) converge para O.
4) imediato que a sucesso (iv) no pode convergir.
5) A sucesso (v) obviamente converge para 2.
Quando uma sucesso no converge, dizemos que diverge e ela , ento, chamada uma sucesso divergente. Uma sucesso, ao divergir, pode faz-lo de modo
que os termos an se tornem "arbitrariamente grandes". Formalmente, isso quer
dizer que, dado qualquer real M> O, existe no (que pode depender de M) tal que,
para todo n 2:: no, temos an > M. Neste caso, dizemos que a suces.so (an) tende
para + co. Usamos a notao an -> + co ou lim an = + co.
Por exemplo, a sucesso (vi) tende para + co. De modo anlogo, podemos
definir o conceito de uma sucesso tender para - co : an -- - co, se dado qualquer
M> O existe no (que pode depender deM)
tal que, para todo n 2:: no, temos
ar.

<-

M.

1.7

PROPRIEDADES

19

DO LIMITE

Uma sucesso pode divergir sem que seus termos se tornem arbitrariamente
grandes, como, p. ex., a sucesso (ii) acima. A divergncia, neste caso, decorre
de que os termos se "acumulam" junto a dois pontos diferentes, 3 e O.
Seja A = {nl < nz < ...} um subconjunto infinito de N. A restrio s iA
de uma sucesso s: N ~ IR (s: n --+ an) a A chamada uma subsucesso. Portanto,
a subsucesso s IA uma sucesso definida do seguinte modo: a cada j E N corresponde s(nj) = anJ

EXERCCIOS
1. Seja k um nmero real positivo dado. Prove que uma sucesso (an) converge para r se, dado E > O existir no E N tal que lan - r I < k para n
no.
;::=:

2. Mostre que as sucesses (ii) e (iv), apesar de no convergirem, contm

subsucesses convergentes. D um exemplo de uma sucesso que no contm
nenhuma subsucesso convergente.
3. Seja (an) uma sucesso convergente. Mostre que qualquer subsucesso
tambm convergente. Alm disso, se o limite de (an) r, o limite de qualquer
subsucesso tambm r.

4. D exemplo de uma sucesso que contm subsucesses convergentes para

cada n E N. (Em outras palavras, os termos da sucesso se "acumulam" em
torno de todos os inteiros positivos.)
5. Calcule o limite da sucesso (an) cujo termo geral
1

an

= T2 +

1
23

34

+ ...+

n(n

+ 1)

Mostre que se a sucesso (an) no converge para r E IR, ento existem

O e uma subseqncia (an)) tais que Qn - r
o para todo j
E N.

6.
o

1.7.

>

;:::

Propriedades de Limite
Propriedade 1. Se (an) e (bn) so duas sucesses convergentes, ento a su(an
bn) convergente, e

cesso

lim

(an

+ bn) = lim an + lim bn

Observao.
D um exemplo para mostrar que (an) e (bn) podem divergir,
+ bn) converge.

mas (an

Propriedade 2. Se (an) e (bn) so sucesses convergentes, ento a sucesso

(anbn) convergente, e

NMEROS REAIS

20

CAPo1

Obserl'ao.
Em particular, se (bn) fosse uma sucesso constante, isto , bn =
~~ b para todo n, a Propriedade 2 se reduziria s seguintes asseres: "se (a,,)
converg;;ntc, ento (ban) convergente, onde b um real qualquer; alm disso,
tem-se
lim (ban)

= b lim a,:'.

Decorre, pois, que lim (- a,,) = - lim an E isso, juntamente

com a Propriedade I, implica que a diferena (a" - bn) de duas sucesses convergentes convergente, e
lim (a" -

bn)

= lim a"

lim b".
ento a sucesso (Ia" I)

Propriedade 3. Se (a,J uma sucesso convergente,

dos valores absolutos tambm convergente, e
lim Ia"

11,

Ilim

an I

Propriedade 4. Se (a,,) uma sucesso convergente

e lim an:; O, ento a sucesso (l/a,,) convergente,
lim (l/a,,)

tal que a" :; O para todo

e

1/lim a".

Propriedade 5. Se (an) uma sucesso convergente tal que an > O e lim an =

ento (l/a,,) tende para + 00. Reciprocamente,
se (b,,) tende para + 00,
> O para todo 11, ento a sucesso (l/b,) converge para O.

= O,
e

bn

Observao.
Uma propriedade
anloga pode ser enunciada com relao a
Pondo as duas asseres em um enunciado nico, teremos: "se a" < O
para todo 11, ento lim a" = O se, e s se, lim(l/a,,) = - 00".
00.

O leitor pode concluir facilmente que no necessrio supor an > O para todo
De fato, como
n na Propriedade 5 (ou a" < O para todo n na observao acima).
a convergncia ou no de UIna sucesso conseqncia do comportamento
da
sucesso a partir de um certo no, o que se passa em um nmero finito de ndices
n no perturba as questes de convergncia.
Ento, no presente caso, poderamos
pedir an:; O para todo 11 e aI' > O para n maior que um certo no. Ex.: a sucesso
10, - 3, 10, - 1, I, 1/2, 1/3, 1/4, ... converge para O, e sua inversa - 1/10,
00.
1/3, 1/10, - 1, 1, 2, 3, 4, ... tende para

Propriedade 6.
para todo n, ento

Se (a,,) e

(bn)

forem
1im G"

duas sucesses
::;

lim

convergentes

an ::; bn,

bn

Observao.
Do que foi dito acima, a concluso da Propriedade
vlida se G" ::; b" se verificar somente a partir de um certo no.

6 ainda

Propriedade 7. Se (an) e (bn) forem sucesses tais que Gn ::; bn, para todo n
(ou para n maior que um certo no), e (an) tender para
00, ento (bn) tambm
00.
tender para

1.7 PROPRIEDADES DE LIMITE

21

As Propriedades 6 e 7 tm bastante utilidade no clculo explcito de alguns

limites. P. ex., suponhamos que queremos calcular o limite de uma sucesso (an),
e que possamos determinar duas outras sucesses (bn) e (Cn) que tm o mesmo
Ento, pela Propriedade 6, lim a = r. Uma
limite r, e tais que bn ~ an ~ Cn
tal situao ocorre na Se. 1.8. Uma outra situao que requer o uso de nPropriedade
7 tambm l ocorre.
Deixamos ao leitor a tarefa de demonstrar essas duas propriedades. Apenas
para ilustrar o tipo de argumento que usado nessas demonstraes,
daremos a
seguir a demonstrao
da Propriedade 2. Utilizaremos o seguinte teorema que
tambm importante em outras ocasies.
Teorema 1.3. Seja (a.) uma sucesso convergente. Ento, existe k
Ian I ~ k para todo n.

>O

tal que

Observao.
Quando um tal k existir, dizemos que a sucesso limitada.
Portant, o Teorema 1.3 poderia ser assim enunciado: "toda sucesso convergente
limitada".
Comparando
os conceitos de sucesso limitada e de conjunto limitado (cf. Se. 1.3), o leitor ver que uma sucesso limitada se o conjunto {an}
for limitado.
Demonstrao do Teorema1.3.
digamos E = 1, existe 110 tal que
2. a desigualdade do tringulo, temos

E,

I a", I -

IrI ~

Seja r o limite da sucesso.

an - r < I para todo 11 ~
I

I I a",I -

Ir I I ~

I an -

rI

Ento, dado
Usando a

110.

< 1.

Logo, I a. I < Ir I + 1 para todo n ~ no. Seja agora k' o maior dos nmeros
I ali, la21, .. , Ia. -11. claro, pois, que se tomarmos k como sendo o maior
dos dois nmeros, o k' e I r I
1, ento I,a. I ~ k para todo n, como queramos
provar.

Demonstrao
tais que

da Propriedade

I a",

I bn

si

2.

Dado

> O, existem nmeros

<E

para

11 ~

<

para

n ~ no",

110'

110"

110'

onde r = lim a", e s = lim bn. Agora, para provar que o limite de (anbn) rs, deveremos obter uma majorao para anbn - rs:
I

anb" - rs

=
<

Pelo Teorema

a"b" - ans

I G"

I I b" -

+ a"s s I + I an

rs

1 ~

r I 1si

1.3, temos
I anb" ~ rs I ::; k I bn

si

I an

r I ! s I,

22

NMEROS REAIS

CAPo1

onde k tal que I an I ~ kpara todo n. Logo, para n maior que no, onde no o
maior dos dois nmeros no' e no", temos

Como

Is I

so constantes, temos, vista do Exerc. 1 (Se. 1.6), que

anbn --+

rs.

EXERcCIOS

1. Se (an) uma sucesso convergente tal que an ~ O para todo n e

lim an ~ O, mostre que existetJ > O tal que I an I > tJ para todo n. Use esse
resultado para demonstrar a Propriedade 4 acima.
2. Se p um inteiro positivo e (an) uma sucesso convergente, mostre que
(a:) tambm convergente e lim a~ = (lim an)p. Observe que a sucesso (a~) pode

convergir sem que

(an)

convirja.

D um exemplo.

3. Se (an) uma sucesso 4e termos no~negativos convergindo para

q um inteiro positivo, mostre que lim a1jq = O.
4. Se (an) uma sucesso de termos positivos convergindo para r
um nmero inteiro positivo, mostre que lim a1jq = r1/q.

> O,

O,

e q

5. Se (an) uma sucesso de termos no-negativos convergindo para r ~ O,

e se s um nmero racional positivo, mostre que lim a~ = r8 Discuta os casos
de s negativo, e de s nulo.

6.
cx>

7.

Estude a convergncia de (a~), onde

e s ~ O um nmero racional.

n2

2 ),

(4n3n: 1 ),

(V;+!)
vn+2'

( vn1

(nr- n), onde

r~

1,

Calcule o limite das sucesses

(vn
9

uma sucesso tendendo para

Calcule os limites das sUcesses

8.

(an)

+3

V;;), (vn2+n -

e an converge para a, mostre

S ( )
que

("'".n) --

n).
-----aI -+- 'n"

+ an)

tambe'm

converge para a. D um exemplo para mostrar que (an) pode divergir e a sucesso
(O"n) correspondente pode convergir.

1.8

EXEMPLOS

10.
para

DE SUCESSES

Se (a,,) converge

23

para

e (bn) limitada,

mostre

que (a"bn) converge

O.

11.
sucesso

Sejam to, ti, ... , tp E IR tais que to

cujo termo geral

+ tI + ...+ tp = O.

Mostre

que a

(an)

tende a zero.
12. Seja (x,,) uma sucesso formada de duas subsucesses (xnj) e (xmJ
Mais
precisamente, N se decompe em dois conjuntos infinitos NI e N2, (x,,) a restrio de (x,,) a Nj, i.e., nj E Nj, e (xm) tal que mj E N2. Suponha que Xnj~' r
e xmj --;. r. Prove que Xn ---' r.
13. Seja (an) uma sucesso tal que toda subsucesso contenha uma subsucesso que converge para o mesmo limite r. Mostre que a sucesso original (an) converge para r.
1.8.

Exemplos de Sucesses
1)

Sucesso (a") onde a um real.

Lema 1.1
ento

(Desigualdade

de Bernoulli).
1

(1)

Necessitamos

+ nr

~ (1

da seguinte desigualdade:

Se r um real tal que r

+ r)n,

>-

1,

n E N,

Demonstrao por induo. A desigualdade verdadeira para n = 1. Suponhamos que seja verdadeira para um no e provemos que tambm verdadeira
para no
1. (Isso feito, o princpio da induo nos dir que a desigualdade
verdadeira para todo n.) Tomemos, ento, a desigualdade (1) com n = no, e mulr, que um nmero positivo:
tipliquemos ambos os membros por 1

que fornece
(2)

Como nor2 positivo, o primeiro membro de (2) maior que 1

(no
1)" de
onde se segue a desigualdade (1) para n = no
1. Logo, o lema est provado.

Observao.
Obviamente,
a desigualdade
(1) vlida para , = - 1. De
fato, neste caso (1) se reduz desigualdade 1 - n ~ O, a qual se verifica, pois,

n2:1.

Vejamos
Caso 1.
ma temos

agora a anlise da convergncia

a

> 1. Ento, a
an

Pela Propriedade

de (an).

= 1 + r, onde, > O.
= (1 + r)" 2: 1 + nr.

7 da Se. 1.7, segue-se que an -Jo

Pela desigualdade

co.

(1) aCI-

NMEROS

24

REAIS

CAPo 1

Caso 2. a < - 1. Os termos da sucesso alternam de sinal, de acordo

com a paridade de n, e tendem em valor absoluto para + co. A sucesso tambm
diverge neste caso.
Caso 3.

Caso 4.

Caso S.

== 1.
= O.

1. A sucesso : -

1, 1, -

A sucesso : 1,1, 1, 1,

, e converge.

A sucesso :

O, O, O, O,

Caso 6. O < a < 1. Ento a

dade (1), escrevemos:

Pela Propriedade 6, Se. 1.7, segue-se que Um an

Sucesso

Caso

1.

>

= O.

Os termos da sucesso alternam de sinal, mas a

onde

um real positivo.

V >

1. Neste caso

bn

> O,

e varia para cada n. De

(3)

onde usamos a desigualdade (1) acima.

O<hn

1 e escrevemos

obtemos

Da obtemos

a-I

< --'.n

Pela Propriedade 6, Se. 1.7, conclumos que Um

converge para 1, pois

(0)

lim V
Caso 2.

(4)

Ento, pela desigual-

V= 1 + bn,

(3)
onde

(~),

O.

< an = (1 + r)n::::; 1 + nr

Caso 7. - 1 < a < O.

sucesso converge para O.

e converge.

1 ~ r ' onde r>

1
O

2)

1, 1, ... , e diverge.

= 1 + Um bn =

< a < 1. Neste caso

va =

{Ia <
1
1 + Cn

bn

= O.

1.

1 e escrevemos

'

Portanto, a sucesso

1.8 EXEMPLOS DE SUCESSES

onde

Cn

> O,

25

n. De (4) e (1) obtemos

e varia com

a=

(1

<

+ cn)n

+ nCn

De onde se segue

Portanto, Cn -J- O, quando

neste caso, pois,

-lo <Xl.

E da

(y~) converge

para 1, tambm

lim

3)

Sucesso

(0).

Lema 1.2. Se r

ya = ----=
1 + Iim

Necessitamos

1.

Cn

da seguinte desigualdade.

um nmero real tal que r 2::

(5)

(1

+ r)"

2::

+ nr + n(n

0, ento,

- 1)r2/2.

Demonstrao por induo. A desigualdade (5) verdadeira para n = 1. Suponhamos (5) vlida para n = no e provemos que ela tambm vlida para n =
= no + 1. (Feito isso, a desigualdade estar provada para todo n.) Tomemos
r.
(5) com n = no e multipliquemos ambos os membros pelo nmero positivo 1
Teremos

(6)

(1

r)"0+1

2::

+ (no +

+ no(no -

l)r

+ no(no + 1)r2/2 +

l)r3/2.

Como o ltimo termo no segundo membro de (6) positivo, podemos elimin-Io e a desigualdade em (6) fica preservada.
Mas, ento, teremos precisamente
(5) para n = no
1. O lema est provado.

Obsenao.

claro que, sendo r ~ O, a desigualdade

(7)

(1
Voltando

(7):

Da se segue

~ n(n -

1)r2/2.

(0), escrevemos
~/ n

(8)
Aplicando

sucesso

+ r)n

= 1 + I1n,

11"

>

O.

(5) implica

26

NMEROS REAIS

CAPo1

= O.
.y';~ 1.

Pela Propriedade 6, Se. 1.7, temos que lim h"

Como lim

.y'; = 1 + lim h",

conclumos que

EXERCCIOS

1. Seja a um nmero racional positivo. Mostre que a sucesso

verge para O. (Sugesto: mostre primeiro para a inteiro.)
2. (i) Seja r um nmero real diferente de 1. Mostre que
1+ r

(na/nl)

con-

1 - ,,,+1
1- r

+ r2 + ...+ r" =

(ii) Prove que

lim (1 + r
n-40CO

+ ...+ r") = -1_1_,r

3. (Binmio de Newton.)

se

Irl < 1.

Sejam a e b nmeros reais e n um inteiro positivo.

Demonstre por induo que

(a

onde

t(~)

+ b)" = j=O

a,,-jbj,

(n)_
..
j
- (n _n!j)!j! . (ConvenClOna-se
que 01-1)
.- .

(-\I; -

1)" zero.

4.

Mostre que o limite de

5.

Mostre que a sucesso V 2, Y 2 V 2, V2--V-2-v'-~-,... , converge para 2.

6. Prove que
(i)

lim

(:2 + ~ +

(ii)

lim

(yn ~

(iii) lim (:2

7.

1
(n ~

1)2

Mostre que a sucesso

roite est entre 1/2 e 1.

8.

Mostre que lim

:2) = ~

+ vk- ) =
+ ... +
(a,,)

CXl

(2~)2)

n+l
= (_1_

= O.

n)
+ ... + -21

converge e seu li-

(n2

n...

+ n)2"+1 = 1.

9. Seja (x,,) uma sucesso de termos positivos convergindo para r >

que liro {Ix" = 1.

O.

Mostre

1.9

SUCESSES

MONTONAS

10.

aj,

S~jam

27

nmeros

reaIs positivos.

Mostre

I1m 1.~aj
~I~
" =max .aI,
(
= 1

... , api'

... , ap

n--1' ~

que

1.9. Sucesses Montonas

Uma sucesso (a,,) montona no-decrescente (OU simplesmente no-decresAnalogamente, (a,,) montona no-crescente (ou simplescente) se aI :<:; az :<:; ....
mente no-crescente) se a I ;:::az ;:::
Observao. A nomenclatura
no-decrescente (ou no-crescente) preferida
para enfatizar que alguns termos podem ser iguais. Os nomes crescente e decrescente
so reservados para os casos em que todos os termos so diferentes: aI < az < '.. ,
e, aI > az > ... , respectivamente. Exemplos de sucesses crescentes so (an) = (n)
e

(a,,)= ( -nn -

I) .

Teorema 1.4. Seja (ao) uma sucesso no-decrescente tal que o conjunto
{ao} tem uma cota superior (cf Se. 1.3). Ento, (ao) convergente e seu limite
o supremo do conjunto {ao}'
Demonstrao. Seja m o sup do conjunto {an}, o qual existe em virtude do
Postulado de Dedekind. Provaremos que (an) converge para m. Pela definio de
supremo, dado E > O, existe um elemento do conjunto {an}, digamos a"", tal
Como a seqncia montona no-decrescente,
segue-se que
que a"" >m~E.
ao > m - E para todo n ~ no. Logo, lao - ml < E para todo n ~ no, o que
prova que a sucesso (ao) converge para m.
EXERCCIOS
1. Demonstre o seguinte resultado:
"Seja (an) uma sucesso no-crescente
tal que o conjunto {a,,} tenha cota inferior. Ento, (a,,) convergente e seu limite
o nfimo do conjunto {an}."
2.
rn

Use o resultado

-+ 0, quando
3.

(Teorema dos
uma sucesso
ponha que a sucesso
Demonstre que existe
bn]

=:>

do Exerc. 1 para dar uma outra

< r < 1.

demonstrao

de que

intervalos encaixantes.) Seja [aI> b1] =:> [az, bz] =:> ... =:> [a",
de intervalos fechados, cada um contendo o seguinte.
Su(bn - an) dos comprimentos
de tais intervalos tende a O.
um nico ponto c comum a todos esses intervalos.

4. D um exemplo para mostrar que a concluso do exerccio precedente

no se verifica, se os intervalo.s forem abertos.
Mostre tambm que se os comprimentos dos intervalos no tenderem a zero, a interseo pode ser vazia; para
tal use intervalos ilimitados.
5. Mostre
verge para 2.

que a sucesso

VI, vi2 + V2, ... , V 2 + v2 + v'2, ... , con-

NMEROS REAIS

28

6.

Mostre

7.

Seja

= O,

lim ~11.

onde a real positivo

CAPo 1

dado.

uma sucesso de nmeros reais tais que, para um certo k, com

i Cln I. Mostre que an --7 O.

(an)

< k < 1, temos I an+1 I :S k

8. Seja (a,,) uma

1im (an+1 /a,,) =1, com 1I1
resultado
falso se

lim (an+l/an)

Sejam

1).

1 e

ab"

<

--7 1, ou que an

an

sucesso
de nmeros
reaIs no-nulos,
tais que
Mostre que (a,,) tende a zero. Observe que esse
= 1. D exemplos de sucesses (an) tais que

< 1.

<

Considere

b.

+ S/

~----.
" a+l

Mostre

que lim s"

->

co.

a sucesso (s,,) definida

por

SI

=a

Sn+1

= b.
'

Seja

10.

an+1

>O

e considere

a sucesso

(1

+ y+l

a1

(1 -

11.
1

Mostre

an)'

Sejam

2 (an + a.-I ).

12.

Considere

<

aI

<

Mostre

que lim

sucesso

}' 2'

que lim (pn/qn)

1~

a sucesso

(an)

definida

por

a.+1

que

a seguinte

cuja lei de formao

an

Considere

a2'

Mostre

(a,,) tal que aI

(::),

17

5'

12,0.0,

a seguinte
Pn

2qn-I+Pn-1

qn

Pn-I+qn-l'

= .y2.

1.10. O Teorema de Bolzano-Weierstrass

Dizemos que um subconjunto A de IR limitado se existir um k > O tal que
para todo x E Ao Em outras palavras, um conjunto limitado se ele
estiver contido em algum intervalo.
Ou ainda, se ele tiver cota inferior e cota

I x I :::;k,

1.10

O TEOREMA

29

DE BOLZANQ-WEIERSTRASS

superior. Como vimos na Se. 1.7 uma sucesso (an) limitada se {an} for um
conjunto limitado.

Teorema 1.5. (Bolzano-Weierstrass.) Toda sucesso limitada (a.) contm uma

subsucesso convergente.
Demonstrao.
Definimos um conjunto B de reais do seguinte modo: "x E B,
se existir no mximo um nmero finito de ndices n tais que On seja maior do que x".
Como o conjunto {anl limitado, segue-se que existe k > O tal que Ia.. I:S k para todo n.
Logo, -k uma cota inferior para o conjunto B. Portanto, pelo Postulado de Dedekind, B
tem nfImo; seja m tal nftmo. Agora vamos construir uma subsucesso (all ) de (aJ tal que
an. ~
m. O intervalo (m - 1, m + 1) contm termos da sucesso (aJ par~ uma inftnidade
de}valoresde n, pois, de outro modo, m - 1 estaria em B e, portanto, m no seria o nfimo
de B; tome um desses termos de an, digamos alll, ento,
la"l - m I

< 1.

O intervalo (m - 1/2, m + 1/2) contm termos da sucesso (ali) para uma

infinidade de valores de n, o que se prova do mesmo modo que no caso precedente;
seja a", um tal termo e tal que n2 > nl' (Observe que 0"2 pode ser igual a an1 .)
Ento,
la"2 - m I < 1/2.
Assim por diante, tomamos anj E (m - 1/j, m + l/j) e tal que nj> nj-l >... >
n2 > nl' Deste modo constri-se uma subsucesso (a"j) de (On) tal que Onj -+ m,
quando j ---7 cx>, pois

o que completa a demonstrao do teorema.

Seja (an) uma sucesso e c um nmero real. Dizemos que c um ponto de
acumulao da sucesso (an) se, para cada E > O dado, existir um nmero infinito
de inteiros n tais que Ia" - c I < E. fcil de ver que c um ponto de acumulao
da sucesso (a,,), se, e somente se, ela contiver uma subsucesso convergindo para c.
O Teorema de Bolzano-Weierstrass pode ser tambm enunciado ,assim: "Toda
sucesso limitada tem pelo menos um ponto de acumulao". E claro que tal
ponto pode ser ou no um termo da sucesso.
Exemplos:

(i)

a sucesso 2,2, ... tem um nico ponto de acumulao: 2;

(ii)

a sucesso 1, 1/2, 1, 1/3, 1, 1/4, ... tem dois pontos de acumulao: 1 e O;

(iii) a sucesso 1, 2, 1; 3, 1, 4, ... tem um ponto de acumulao: 1.

Seja A um subconjunto de IR. Um real c um ponto de acumulao do conjunto A se, para cada E > O, existir um nmero infinito de y E A tais que I y - c I < E. claro que conjuntos A com um nmero finito de pontos no podem

30

NMEROS REAIS

CAPo1

ter pontos de acumulao.

H, por outro lado, conjuntos infinitos que no tm
pontos de acumulao; p. ex., {I, 2, 3, ... }. Entretanto, vale o seguinte resultado.
Proposio 1.1. Todo conjunto infinito limitado A de nmeros reais tem pelo
mcnos um ponto de acumulao.
Demonstrao.
Um conjunto A infinito se existir uma aplicao injetiva
de N em A, isto , para cada n E N pode-se fazer corresponder um Xn E A, de
tal modo que Xn '1= Xm para n '1= m. Demonstramos a Proposio 1.1 simplesmente
considerando a sucesso (xn) e aplicando o Teorema de Bolzano-Weierstrass para
concluir que existe um ponto de acumulao c da sucesso (xn). fcil ver que
tal c tambm um. ponto de acumulao de A.
Exemplos:
1) Os pontos de acumulao
so todos os pontos de [O, I].
2) Os pontos de acumulao
os pontos de [O, 1].
3)

O conjunto

do

conjunto

do conjunto

[0,1]
{x

Ii]:

{I, 1/2, 1/3, ... } tem um nico ponto

=
O

{x E R;

<

<

O:::; x :::;

I} so

de acumulao:

todos
O.

Observao. V-se, pelos exemplos acima, que o conjunto dos pontos de acumulao
de um conjunto dado pode ou no intersecionar o conjunto. Pode inclusive cont10.

EXERCCIOS
1. D um exemplo para mostrar que uma sucesso (an), como no Teorema
de Bolzano-Weierstrass,
pode conter mais de uma subsucesso convergente.
2. Sem a hiptese de (a,,) ser limitada no se pode concluir que ela contenha
uma subsucesso convergente.
D um exemplo.
Entretanto,
pode-se concluir
que, quando tal coisa no ocorrer, ento existe uma subsucesso tendendo para-oo
ou
00.

3. (Lim sup). Dada uma sucesso (an), define-se o limite superior de (an) (o
qual se representa por lim sup an) como o nmero real s que goze da seguinte
propriedade: dado E > 0, existe apenas um nmero finito de ndices n tais que
an > s + .E, e existe um nmero infinito de ndices n tais que an > s - E. Para
entender bem esse conceito, determine os lim sup de algumas das sucesses exemplificadas
acima. Observe que se a sucesso converge, ento seu limite coincide com o fim
sup. Mostre que se uma sucesso tem lim sup, ento existe uma subsucesso que
converge para esse lim sup.
4. (Um inf). Dada uma sucesso (a,,), definimos o limite inferior de (a,,)
(o qual se representa por lim in{ Gn), como sendo o nmero (j que goze da seguinte
existe apenas um nmero finito de ndices 11 tais que
propriedade:
dado E >
a" < IT - E, e existe um nmero infinito
de ndices 11 tais que a" < (j + E. Analise
,d~d!lS
cxcmplos. Prove rcsultados anlogos aos do lim sup.

1.11 O CRITRIO DE CAUCHY

31

5. R~leia a d~monstrao do Teorema 1.5 e se convena que m o limite

superior da sucesso (a,,). Mostre que uma sucesso (an) limitada tem limite inferior. (Ver as defini;:s de lim sup e lim inf, nos Exercs. 3 e 4.
6. Seja S o conjunto dos pontos de acumulao de uma sucesso (an). O
exemplo que voc construiu rio Exerc. 2 serve para mostrar que S pode ser vazio.
Supondo (an) limitada, mostre que sup S = lim sup an e inf S = lim inf ano
7. D;:monstre
limitadas:

as seguintes

=-

(i)

lim inf an

(ii)

lim sup (an

propriedades

lim sup (-

+ bn)

an).

lim sup

::;

dos lim inf e lim sup de sucesses

an

+ lim

sup

bn

8. Atravs de um exemplo, mostre que desigualdade

(ii) do Exerc. 7.
9.

Prove que lim inf

(an

bn)

::5

+ bn) ~

lim sup

lim inf an

estrita pode ocorrer em

(an)

lim inf

(bn).

+ lim inf bn.

10.

Prove que lim inf (an

11.

Analise (i) e (ii) do Exerc. 7, no caso de sucesses no-limitadas.

1.11. O Critrio de Cauchy

A presente seo trata de um critrio que caracteriza a convergncia de uma
sucesso.
Ele oferece uma maneira de saber se uma dada sucesso convergente,
sem se ter o conhecim~nto prvio do limite. Isso importante, pois, se em alguns
casos, temos uma indicao bvia do que venha a ser o limite, em outros casos,
o nmero que o limite da sucesso definido precisamente pela sucesso e no
se tem para ele uma representao decimal ou fracionria simples. Tal limite
um nmero real, que pode ser determinado
aproximadamente,
tomando-se um
termo da sucesso; quanto maior for a ordem de tal termo melhor ser a aproximao ..

Teorema 1.6.
s se. dado

>

(Critrio

O, existir

de

Cauchy.)

no E N

Uma

tal que

sucesso
lan

aml

(an)

<

convergente
para

m, n

se, e

>

no.

Demonstrao.
Suponhamos,
primeiramente,
que (an) seja convergente
e
seja r seu limite. Ento, dado E > O, existe no tal que lan - r I < E/2 para n > no.
Logo, se nem
so maiores que no temos, usando a desigualdade do tringulo:
lan -

am

I ::;

lan -

I+

Iam -

< E/2 + E/2 =

E.

Reciprocamente,
suponhamos que a condio do teorema seja satisfeita e prov;:mos que (an) convergente.
Devemos, pois, descobrir o limite r. Pela hip-

32

NMEROS REAIS

tese, dado E= 1, existe

110

CAPo 1

tal que
Ia" -

ano

Ia" -

a"0

< I,

para

11,

m 2

110.

Logo,

Da d.::sigualdadc

do tringulo

< I, para

11

110.

segue-se ento:

S~ja agora k' o m:lior dos nmeros lar I, la21, ... , lano-ll, e seja k o maior dos
dois nmeros, k' e 1 + Ia",; I. Portanto,

(I)

Ia" I ;:;.

k, para todo

Aplicando o Teorem3 de Bolzano-Weierstrass,

subsucesso convergente (a,,), e seja r seu limite.
E N tal que
.
la"i - r I

(2)

para
existe

I1j

2 11,/.

110" E

Por outro
N tal que

(3)

11,

110".

Agora,

.:s;

la,n - a" I

para quaisquer termos a" e a", de (a,,).

e 11 = I1j 2 max (11,,', 110") temos
la'/I'

da hiptese,

temos

do tringulo,

.:s;

> O,

temos

lan - r I

Logo, se em (3) tomarmos

que, dado

<

pela desigualdade

Iam - r I

o que prova a convergncia

am

segue-se que (a,,) contm uma

Logo, dado E > O, existe no' E

lado, em virtude
Ia" -

para

<

11.

max

(110',

no")

+ = 2,

de (a~).

Sucesses de Cauchy. (i) Uma sucesso (a,,) de nIIleros reais denominada

uma sucesso de Cauchy se, dado > O, existir 110 (que pode depender de ) tal
que I an - am I < para todos 11, m 2 110. O Teorema 1.6 diz que uma sucesso
(a,,) de nmeros reais convergente se, e s se, ela for de Cauchy. Em virtude deste
fato, que toda sucesso de Cauchy tem um limite, o conjunto dos reais chamado
completo. A noo de completo, como o leitor v, depende somente das distncias (cf. Se. 1.5) entre os elementos da sucesso; em vista disso, tal noo pode
ser estudada em outros conjuntos onde se possa medir "distncias"
de pontos.
Esses conjuntos so chamados espaos mtricos; ao leitor interessado recomendamos a referncia [18].
(ii) Uma sucesso (an) de nmeros racionais denominada uma sucesso
de Cauchy se, dado > O, existir 110 (que pode depender de ) tal que lan - am 1<

1.12 SRIES NUMRICAS

33

< E para todos n, m ?: no. ( a "mesma" definio acima, exceto que consideramos apenas racionais.)
Considerando apenas racionais, vemos que existem sucesses de Cauchy de nmeros racionais que no convergem para um nmero racional.
Ex.: a sucesso 1, 1,4, 1,41, 1,414, ... que converge (no conjunto dos reais) para
V2. Em virtude de haver sucesses de Cauchy de racionais que no convergem
para um racional, dizemos que o conjunto dos racionais no completo.
(iii) O conjunto dos reais pode ser construido a partir
Daremos, a seguir, um esboo do mtodo, cujos detalhes
na referncia [6], cf. tambm [18]. A impreciso desse
se conseguirmos despertar o interesse de algum leitor para
a fundo!
nais.

dos nmeros racionais.

podem ser encontrados
esboo ser perdovel,
estudar a questo mais

Considere o conjunto C de todas as sucesses de Cauchy de nmeros racio(Um elemento de C uma sucesso de nmeros racionais!) Como no

desejamos

distinguir

( 1+

~)

entre

sucesses

que esto

(1 - ~) ) , consideramos

"perto"

uma

um novo conjunto

da outra

(P'

ex.:

C', cujos elementos

so classes ou subconjuntos de C'. (Um elemento de C' um conjunto de sucesses

de Cauchy de racionais!)
Nesse conjunto C', define-se operaes de adio e multiplicao e demonstra-se que C' um corpo.
Define-se tambm uma ordem em
C', e prova-se que com essa ordem C' um corpo ordenado.
Finalmente, demonstra-se que o corpo ordenado
C' satisfaz o Postulado de Dedekind.
Esse
corpo C' definido como o corpo dos reais.
EXERCCIOS

1. Seja (a,J Ull4Huce"o coovoegindo pma a ER Mo,"e que a ,"cc%50 [ ;;

converge tambm para a. Mostre que a recproca falsa.

t.

a; ]

2. Seja (P,) uma sucesso de tennos positivos convergindo para p. Mostre que a sucesso ( V p),.,
3. Seja
que lim

1.12.

~an

Pn )
(an)

tambm converge para p.

a
uma sucesso de termos positivos tais que lim ~

an

= p. Mostre

= p.

Sries Numricas
Nesta seo, trataremos

de atribuir

um sentido

"soma

infinita"

'O

(1)

onde os termos an so nmeros

mada uma srie numrica.

""
L.J

n~1

an

=a)

,- a2'1

reais dados.

"

... ,

Urna expresso

da forma (I) cha-

34

NMEROS

REAIS

Associamos sucesso (an) dada acima uma nova sucesso (AnJ,

ou das somas parciais, que assim definida

CAPo 1

chamada

sucesso das reduzidas

An

= L:
ai = ai + '" + ano
j~1

Sea sucesso (An) tiver um limite S, dizemos que a srie (1) converge, e que
sua soma S. Se a sucesso (An) no tiver limite, diremos que a srie (1) diverge.
No caso de convergncia, escrevemos
~

S = n=1
L: ano

1.

Exemplo

L: 2-n

A soma parcial

n-l

Se. 1.8. claro que o limite de

soma 1.
Exemplo

2.

n=U

rn,

An

<

onde Ir I

An

igual a 1 - 2-n, cf. Exerc. 2, da

1. Logo, a srie em pauta converge e sua

1. Deixamos ao leitor a verificao da con-

vergncia dessa srie, e a demonstrao que sua soma (I - r)-I. Cf. Exerc. 2, da
Se. 1.8. Essa a chamada srie geomtrica.
Observao.

A srie

n~1

converge se, e s se, a sene

an

n=l

ban

tambm

converge, onde b um nmero real diferente de zero. De fato, se An a reduzida

de ordem n da primeira srie e Bn a reduzida de ordem n da segunda srie,
temos que Bn = bAno Portanto, lim Bn = b lim An. Podemos, portanto, escrever

:t

ban

n=1

= b n=1 an
~

L: an

Teorema 1.7. A srie

converge

se, e s se, dado

>

O, existir

110

depender de E) t~? que I jf;" aj I < E para todos m 2: n 2: no.

Deixamos a demonstrao a cargo do leitor e sugerimos o uso do critrio de
Cauchy para convergncia de sucesses, ;e., Teorema 1.6.
.~
Corolrio 1.1. Se a srie L: an convergir, ento lim an = O.
(que pode

=1

Observao.
O Teorema 1.7 mostra que a convergncia ou no de uma srie
no influenciada pelo que se passa em nmero finito de termos. Mais precisa00

mente: seja p um nmero inteiro positivo fixado, ento, a srie

(ou diverge) se, e s se, a srie

an

L:=1 an
n

convergir (ou. divergir).

n~p

Exemp Io. 3
2n

A sene
.. h armomca,
~.
~
..f-. -,1
n = 1

2.: ----:j=n
J = -n

d'lverge. D e lato,
..
temos
1

+ --1
n + + ...+ -2n > -2n + ...+ -2n = -2

'

converge

1.12

SRIES NUMRICAS

35

e aplicando o Teorema 1.7, o resultado se segue.

,

t
t
t
+

4. A srie

Exemplo

"

n~ '"diverge,
como decorre do Corolrio 1.1, pois
n.
' ,
n

n~l

temos a segUlnte estlmatlva para seu termo gera

5. As sries

Exemplo

reduzidas tende para

A srie

L: (-

1 e

n=l

';t = Tn

n divergem.

2'"

--;; > 1.

V-se que a sucesso das

Neste caso, a sucesso das reduzidas torna-se

cx).

00

ilimitada.

n=1

ln

1)" um exemplo de uma srie divergente, cujas re-

n=1

duzidas se mantm limitadas; de fato, a sucesso das reduzidas

(-1, O,-1, O,... ).

Observao. O Ex. 3 acima mostra que o Corolrio 1.1 fornece apenas uma
condio necessria para a convergncia de uma srie. Em outras palavras, a

srie

n=1

an

pode divergir e, apesar disso, pode-se ter lim Qn

= O.

Entretanto,

se os termos an alternarem de sinal, ento a condio lim an

O "quase" suficiente para a convergncia da srie. Mais precisamente, temos o seguinte resultado, que conhecido como o Teste de Leibnitz.

Teorema 1.8. (Sries alternadas.) Seja (a,,) uma sucesso de nmeros reais
no-negativos,
Qz + Q3

tais que
-

Q4

ai

+ ...

a2

;:::

ao ~

..

e lim a"

= O.

Ento a srie aI -

converge.

Demonstrao. Primeiramente, observamos que as reduzidas de ordem par formam

uma sucesso no-decrescente. De fato,

onde as expresses' em cada parntese so no-negativas.

Analogamente, a sucesso das reduzidas de ordem mpar no-crescente: '

onde as expresses em cada parntese so no-negativas. A seguir, observamos

que a sucesso (S2n) limitada superiormente, pois S2n:::::; S2n+1 :::::;SI, e da SI
uma cota superior para essa sucesso. Do mesmo modo, a sucesso (S2n+l)
limitada inferiormente, visto que S2n+1 ~ S2n+2 ~ S2, e da S2 uma cota inferior
para a sucesso das reduzidas de ordem mpar. Aplicando o Teorema 1.4, conclumos que existem nmeros reais r e s tais que

Como lim S2n+l = lim

demonstra o teorema.
Uma srie

n=1

an

=r

lim

S2n

S2n

+ lim a2n+I,

e lim
e

S2n+l

an ~

= s.
O, segue-se que r

= s,

majorada por uma srie de termos positivos

n=l

o que
bn,

se

36

NMEROS

t
t

> no,

existir no tal que, para todo n

a srie

bn uma

11.=1

majorante

11.=1

ano
11.=1

Teorema 1.9. A srie

jorante

daserie

2: an ser

CAPo 1

comum dizer-se que

lan I ::; bn

tenham05

REAIS

convergente

se ela possuir

uma srie ma-

bn, que converge~= 1

Demonstrao.

Basta observar

para no ~ n ~ m, e aplicar

que

o Teorema

1.7.
a>

2: bn

Corolrio 1.2. Suponha que a srie de termos positivos

jorante

de uma srie

11.=1

Qn

Ento, a srie

divergente.

i:

11.=1

seja uma ma-

~ = ~ambm

bn

divergente.

L:

Demonstrao.
Suponha que
bn convirja
para chegar a uma contradio.
n=1

e aplique

o teorema

anterior

~
Exemplo

6.

2: n-P
11.=1

A srie

diverge,

se p

<

1. Basta observar

que tal srie

uma majorante da srie harmnica. Usando uma idia anloga, prove que a srie
tambm

Teorema

1.10. Se a srie

convergir.
O

L: n -(1 + ~)

diverge.

n=

teorema

A reciproca

ro

2:

precedente

no

I an I

convergir,

uma

ro

conseqncia
ro

L n-1

verdadeira:

L:

ento a srie

11.=1

L: (-

n=1

imediata
1)11.

do

an tambm

=1

Teorema

1.9.

n-1

~
Definio.

Uma

srie
co

convergente)

se a srie

srie absolutamente

Teorema
que

ai ;::: a2;:::

L: an
n=l

L: lan I

n=l

convergente

converge

convergir.
tambm

absolutamente
O Teorema

(ou,

absolutamente

1.10 mostra

que

convergente.

1.11. Seja (a,,) uma sucesso de nmeros reais no-negativos

a3;::: ....

Ento,

a srie

f:

j=o

Demonstrao.

an converge

e tais

se, e s se, a srie abaixo

11.=1

convergir
(2)

toda

(i)

2j~i

= aI + 2a2 + 4a4 + 8as + ...

Suponhamos,

inicialmente,

que a srie (2) convirja.

Como

1.12 SRIES NUMRICAS . ~

37

(2) pode ser escrita na forma

a qual um:!.majorante da srie

n=l

an,

segue-se que esta tambm converge.

ro

(ii) Reciprocamente, suponhamos que

+ 2a4 + 4as + ... pode

a2

L: an
n=1

convirja.

Como a srie

a2

ser escrita na forma

+ a4 + a4 + as + as + as + as + ...,

a qual tem como majorante a srie

n=2

segue-se que a primeira srie tambm

an,

converge e, conseqentemente, a srie (2) convergente, como queramos provar.

7. A srie n-l n-P converge, se p> 1. Basta

aplicar o Teorema 1.11
m
e observar que, neste caso, a srie (2) i-o
L: 2i(21)-V = j-O
L: (2V-1)-; = 1/(21)--1 - 1).
Exemplo

Exemplo

CD

8. Veja Exercs. 14, 15 e 16 da Se. 6.2.

Apresentaremos, a seguir, dois testes para a convergncia absoluta de sries

numricas.
Teorema 1.12
srie

n=-l

(Teste da razo ou teste de D'Alembert.}

an e suponhamos

que n---+-co
lim I an+
an 1 I exista.

(i) a srie converge absolutamente

leste inconcludente se I = 1.
Demonstrao.

tal que
(3)

(i) Do fato que I

I ---;;:an+ 1 I

onde b qualquer real tal que I

e da segue:

se I

< 1; (ii)

= lim \

Seja

Consideremos

I tal limite.

a srie diverge se I

a::

I,

>

uma

Ento:

1; (iii) o

segue-se que existe no

:::; b, para n _> no,

< b < 1. De (3) obtemos

38

NMEROS

A desigualdade

acima mostra
00

1: \a"o IbP = I a"o Ip-l1:

geomtrica

p~1

1.9, que a srie

(ii)

Como

que a srie

00

bp

p-l
Como b

REAIS

la"o-lpI majorada

<

1, segue-se,

CAPo 1

pela

pelo

srie

Teorema

00

L: Ia I converge.

p=1

I>

1, segue-se que existe no tal que, para n ~ no, tem-se

a,.
_.
1~1>1

Logo

la"-I11 ~ Ia"

Logo. pelo Corolrio

(i)

Para

t
t t

I. para

n ~ no.

1.1, a srie

as sries

-I a"

-I n-1

Por outro lado, a primeira

Teorema

1.13.

Portanto.

(a,.) no pode convergir

para O.

deve divergir .

,,-1,.2,

temos

I=

1.

srie diverge, enquanto

a segunda

converge.

(Teste da raiz ou Teste de Cauchy.) Considere a srie

n=1

a"

e suponha que lim

-vr;;:T exista. Seja 1 esse limite. Ento: (i) a srie converge

absolutamente
se 1 = 1.

<

se 1

Demonstrao.
para n ~ no, temos

1; (ii) a srie diverge se 1

(i) Pela definio

de limite,

>

1; (iii) o teste inconcludente

segue-se que existe no tal que,

-\!'fa:T ~ b,

(4)
onde b qualquer

A desigualdade
mtrica

n=1

b".

real, 1< b

<

1.

De (4), obtemos

acima mostra que a srie

Como

<

1, segue-se,

Ia"

pelo nT~orema

majorada

pela srie geo-

1.9, que a srie

:t

,,=1

Ia"

converge.

?::

(ii) Se I > 1, conclumos que existe no tal que, para n ~ no, temos ~
~
1. Dai lan I ?:: 1, para n?:: no e, portanto, a sucesso (an) no tende a O. Pelo
00

Corolrio
(iii)
ro

L: n-2

n=1

1.1, conclumos

que a srie

L: an
n=l

diverge.

fcil ver, usando um resultado da Se. 1.8, que I = I para as sries n-l
L: n-1
A primeira

srie diverge, enquanto

a segunda converge.

1.12 SRIES NUMRICAS

39

Observao. Os dois testes acima estabelecem de fato condies suficientes para

a convergncia de uma srie. A informao que nos d sobre divergncia pode ser
conseguida mais diretamente, verificando-se que o termo geral da srie no tende
a zero.

EXERClcIOS
1. Use o Teorema 1.4 para provar o seguinte resultado: "Uma srie de termos no-negativos convergente se, e s se, as reduzidas formarem uma sucesso
limitada."
2. Prove que
'"

L:
n=l

1
---=1.
n(n + 1)

3. Use o exerccio anterior e prove que

.

'"

1<L:n=l -2
n <2.
4.

Sejam:t

On

n=l

i:
n=l

bn

duas sries de termos positivos, e suponha que

1.

On

< 1mb; <

Ento, uma das seguintes alternativas ocorre:

divergem.

00.

(i) ambas convergem,

(ii) ambas

5. Estude a convergncia das sries a seguir:

:t

n=1

'"

6. Seja

L: an

n=l

7.

(On)

convirja.

'"

( 2n 2n 1

2n
2n'-l)

n=l

nrn

converge e

an ~ O,

n=l

1)

Demonstre que se a srie

-

entao
a sene
, .
~..... --Van
n=l
n

00.

n(n - l)rn

convergem se I r I

mostre que a srie :t

n~l

D um exemplo para mostrar que a condio

9.

Vn(2n+

Mostre que nan ----7 O, quando n ----7

n~l

On

L:
n=l

uma sucesso no-crescente de nmeros reais positivos, tais que

Demonstre que as sries :t

8. Se

n=l

an

tam b'em o sera.

,

On ~

On2

<

1.

tambm converge.

no pode ser dispensada.

de termos positivos for -convergente,

40

NMEROS REAIS

10. (Teste da razo em uma forma mais forte,) Considere a srie

e sejam
,

= I'1msup I ---a::
an+1 I e 1 = ]'1m 10
'f I -----o:an+1 I .
que (i) se L < 1 a srie converge absolutamente,

CAPo 1

n=1

an,

Mostre
(iii) se I ~ 1 ~ L o teste inconcludente.

(ii) se 1 > 1 a srie diverge,

'"

11. (Teste da raiz em uma forma mais forte,) Considere a srie

L: a"

e seja

n~ I an I,
n=1
L == 1imsup V
Mostre que (i) se L < 1 a srie converge -absolutamente,
(ii) se L > 1 a srie diverge, (iii) se L = 1 o teste inconcludente.

12. Seja

n=1

11m

uma srie de termos positivos.

an

Mostre que

'f --an+l
nr::-],S lmsup Van
_n-r::~
m
_<]' lmln'f va"
an

I,1msup

an+l
--,
a"

Observao, A ltima desigualdade mostra que o teste da raiz "melhor" que

o teste da razo (ver Exerc, 13), de se observar, tambm, que ambos s dizem
da divergncia de uma srie cujo termo geral no tenda a zero, o que no de
grande valia, uma vez que o Corolrio 1.1 nos d isso diretamente, De acordo?

13. Considere a srie

1
2:

'f --an+l
Mostre que I'1mlU
a"
lim sup

+ 3 + 22'" + 32 + 2 + 33 + ,,'
= O, I'1msup

--an+l
an

=+

co, 1"1m ln

fv
_n/-a"

= 1jV3

yra: = ljvl2, e dai se segue a convergncia da srie,

14. Considere as sries

n=1

2(-1)"-"

n=1

2,,-(-1)",

Mostre que o critrio da

razo, dado no Exerc, tO, inconcludente para essas sries. Use o critrio da raiz
dado no Exerc, 11, e mostre que a primeira srie converge, enquanto a segunda
diverge.
15. Seja (a,,) uma sucesso de nmeros reais no-nulos tais que
Mostre que a srie

an

co

1.13 REPRESENTAO DECIMAL

41

divf'rge, enquanto a srie abaixo converge

L (1--a"

,,-1
"'

a"+1
1)

16. Use o exerccio anterior para mostrar que

1;1 [ :;.. -

(i)

(n ~ 1)" ] converge se

17. Considere a srie

1:' a"

a~l

,,-I

> O; (ii) "fll0g (1

a.. de termos positivos.

converge (ou diverge) se a srie

18. Se a srie

n-l

an, a" ;::: O, converge,

n=l a"

+ ~)

Mostre que

diverge.
a srie

convergir (ou divergir).

ento a srie

n-l

a,,2

1+

a,,2

converge.

Se a primeira divergir, mostre que a segunda pode convergir ou divergir.

19. Se

an

O mostre que a srie

n=1

a"

1 +n 2 a" converge.

1.13. Representao Decimal

Nesta seo, mostramos como os nmeros reais podem ser representados
por expresses decimais. Restringimo-nos aos reais do intervalo [0,1); os demais
sero reduzidos a esses, mediante translao conveniente por um nmero inteiro,
Uma decimal uma sucesso, cujos elementos so os algarismos O, 1, 2, 3, 4, 5,
6, 7, 8 e 9; uma decimal ser representada assim: .a1 a2 a3 ... , onde o ponto antes
dos a's para indicar que estamos considerando apenas o intervalo [0,1), e (Ji
um dos dez algarismos acima. Seja [) o conjunto de todas as decimais.
Nosso objetivo ser estabelecer uma correspondncia entre [b e o conjunto dos
reais no [0,1).
Definimos a funo

I: [) ~

R pela expresso 1(a1

a2 .. )

t;~

l~:'

Inicial-

mente, observamos que essa srie convergente: de fato, ela majorada pela srie

geomtrica
.
,,=1

010

L -1-

pOIS,

(1)

cuja soma

1. A seguir, observamos que

1(a1 ... ai-1(ai - 1)99 ... )

= 1(a1

no injetiva

... ai 00 ... ).

Por outro lado, se 01 = .a1 a2 ... , 02 = .b1 b2 ... e 1(01) =1(02), mostraremos
que 01 e 02 devem ser da forma das decimais que aparecem em (1). De fato, seja
j o primeiro ndice onde o a diferente de b; suponhamos ai < b;. Ento, de
a10
b10
~=1 --10-10= O, obtemos

....
:ri

42

NMEROS REAIS

CAPo1

00

L:

(2)

n=i+1

logo, em (2) s6 temos igualdades e da se segue que

= O para n 2': j + 1.

bJ

aJ

+ 1,

Qn

9 e

bn

Se definirmos [D* como o subconjunto de [D formado por decimais que no

tm todos os elementos iguais a 9, a partir de uma certa ordem, ento a funo
definida acima, restrita a [D* injetiva. Mostramos agora que sobre [0,1) e,
portanto, temos a correspondncia biunvoca

f,

[D* ~

[0,1)
an

00

L:

.al a2 ... ~ n=l

Seja, pois, r

10n

[0,1). Consideremos a decomposio [0,1) =

j":lo
9

e, portanto, r pertence a um, e s um, desses subintervalos: r E lt

10'aI-W
+ 1) =

A segUIr,
. ~. consIderemos [aI

leclOnemos
a2 tal que r E 12
.

j~ 9

10 +

[aI

[.

to' ~'+1)

= [ ~~' aII~

10 + -wz
j + 1)

102'
j
aI

= [ 10
a2 10
aI + 102
a2 + 1).
aI + 102-'

1) .

e se-

E assIm
. por di-

'"

ante.

Pelo Teorema dos Intervalos Encaixantes,

n 1

n=l

consiste em um nico

ponto; I" designa o intervalo fechado que tem as mesmas extremidades que 1n
00

Como

n 1,,:1 r, segue-se que

n=l

a sucesso formada pelas extremidades esquerdas

dos 1n converge p~ra r e, portanto, r

corresponder a r e .aI a2 ...

= &1

l~n, e a decimal que se toma para

Uma dzima peri6dica uma decimal na qual, aps um nmero finito de termos,
aparece um bloco de termos (chamado o perodo) e a partir da a decimal
constituda pela repetio sucessiva desse bloco. De modo mais rigoroso, podemos
proceder assim. Uma decimal uma funo f: N -> {O, 1, 2, 3, 4, 5, 6, 7, 8, 9}.
Uma decimal peridica se existirem m e n tais que, para todo k > m, temos
f(k)
f(k + n). Exemplos:

(iii)

= .7
.01333~.. = .013
.235747474 = .23574

(iv)

.2394394394

(i)
(ii)

.777...

.2394,

43

1.13 REPRESENTAO DECIMAL

onde o perodo formado pelos termos que tm um ponto sobre eles. As dzimas
peridicas representam nmeros racionais que podem ser calculados assim. Vejamos o Ex. (iii):

onde se reconhece que, a partir do segundo termo, temos uma srie geomtrica.
Portanto,
. .
.23574

235
103

..
.23574

23574 - 235
99000

. .
.23574

23339
99000'

74
1
103 102 _ 1 '

isto ,
(3)

ou, finalm~nte:

que acabamos de fazer para o exemplo acima vlido em geral.

Teorema 1.14. (Transformao de dzimas peridicas em fraes ordinrias.)

A dzima peridica .al az ... am b1 bn um nmero racional que pode ser escrito
como
(4)

alamb1 bn - al .. am
9... 9 0 ... 0

onde o denominador da frao um nmero com n noves e m zeros.

Deixamos ao leitor a demonstrao deste teorema, a qual feita do mesmo
modo como operamos no exemplo acima.
Observao. Uma dzima peridica simples, se ela for constituda apenas
da parte peridica. Nos exemplos acima apenas a (i) uma dzima peridica simples. Outro exe~plo ~eria :s3i. Conclui-se do Teorema 1.14 que a dzima peridica simples .b 1 .. bn igual a
b1bn
9 ... 9

'

onde o de~ominador um nmero constitudo de n noves. Toda dizima peridica

que no for simples chamada composta.
Da observao acima e do Teorema 1.14, decorre o seguinte:

44

NMEROS REAIS

(I)
toda dzima peridica simples igual a uma frao irredutvel
nominador no divisvel nem por 2 nem por 5;

CAPo1

cujo de-

(lI) uma dzima peridica composta com m termos na parte no-peridica

igual a uma frao irredutvel cujo denominador divisvel por 2m ou 5m, mas
no por potncias mais elevadas de 2 ou 5.
Para provar (lI) basta observar que o numerador de (4) no divisvel simultaneamente por 2 e por 5, pois isso implicaria que ele fosse divisvel por 10. E
isso acarretaria bn = am' Mas, ento, am no pertenceria parte no-peridica
da dzima, pois a parte peridica seria amb1 ... bn-1.
As recprocas de (I) e (lI) so verdadeiras.
(1') Uma frao irredutvel p/q E [0,1), cujo denominador q no seja divisvel
nem por 2 nem por 5, igual a uma dzima peridica simples.
(lI')
Uma frao irredutvel p/q E [0,1), cujo denominador seja divisvel por
uma potncia de 2 ou de 5 (sejam 2ml e 5m2, e seja m = max (mI, m2) > O), uma
dzima peridica com m termos na parte no-peridica.
Demonstrao de (1'). Por hiptese, mdc (q, 10) = 1, i.e., o mximo divisor
comum de q e 10 1, ou ainda, q e 10 so primos entre si. Os possveis restos das
divises das potncias inteiras positivas de 10 por q so em nmero (no mximo)
de q. Logo, existem nI > n2 tais que
(5)

IOnl

= aIq + r

(6)

10"2

onde

a1> a2

so inteiros

a2q

no-negativos.

+r
Por um lado, temos

(7)
e, por outro lado, segue-se de (5) e (6) que
(8)
Portanto, q deve dividir
b E N tal que

10" - 1, uma vez que mdc(q, 10"2)

10n -

1=

1.

Isto , existe

bq

Da se segue que
1

q=

b
10-;

102"

103"

+ ...

e, portanto, p/q uma dzima peridica simples cujo perodo tem n termos e constitudo dos algarismos do nmero bp acrescidos por zero esquerda, se necessrio,
para completar os n dgitos.
Demonstrao
de (lI').
mde (b, 10) = 1. Logo,

Temos,

por

hiptese,

que

q =

2m15~b,

onde

1.14 CONJUNTOS ENUMERVEIS

(9)

45

10m

Lq = a + .E.L,
ql

onde a E N e Pl/ql E [0,1), com mdc (ql> 10) = 1. Aplicamos agora o resultado (I) frao Ptlql> que ento se expressa como uma dzima peridica simples.
Logo, se segue de (9) o resultado procurado.
Exemplos de aplicao. 1) A decimal .101001000100001 ... , onde o nmero
de zeros entre os I' s vai aumentando, um nmero irracional.

2) a decimal seguinte representa um nmero irracional:

.11101010001010 ... ,
onde o termo de ordem n 1, se n for primo, e zero em caso contrrio. De fato,
a. decimal no termina. pois a sucesso dos nmeros primos infinita. Alm disso,
essa decimal no pode ser uma dizima peridica, porque isso implicaria que existissem me p inteiros positivos tais que m em + kp, para todo k E N, fossem nmeros primos. Mas isso no possvel, bastando tomar k = m.
1.14. Conjuntos Enumerveis
Um conjunto A enumervel,

se for possvel definir uma funo bijetiva

j: N -.>A.
Exemplos.
1) O conjunto dos nmeros pares {2,4, 6, ... } enumervel;
basta tomar f(n)
2n, n E N.
2) O conjunto
dos inteiros { ... , - 2, - 1, O, 1, 2, ... } enumervel;
basta tomar fel) = O, f(2n) = n e f(2n + 1) = - n.
3) Um subconjunto qualquer de N finito ou enumervel. A funo nesse
caso a ordem natural em N. (A rigor, a possibilidade de definir tal funo decorre do chamado Princpio da Boa Ordenao dos Inteiros. Ver [16]
4) Usando o exemplo anterior temos: seja B um subconjunto de um conjunto enumervel, ento B finito ou enumervel.
5) O conjunto 0+ dos racionais positivos enumervel. Demonstraremos
que o conjunto F de todos os p/q, p, q E N enumervel.
Como 0+ C F e
Q~ no finito segue-se de (4) que 0+ enumervel. Para ver se F enumervel,
basta olhar a tabela
'"
S3/'2645321,//',/4 31S.....,6
1 /' ,/
.....
"4 ..
It~ 4532,/2" ,/
,-->

66

46

NMEROS REAIS

Seguindo-se as setas, obtm-se uma ordenao do conjunto F; e a funof:

neste caso, ser assim definida: f(n) = n-simo elemento de F.

CAPo1

N -? F,

Observaes.
1) A unio de um conjunto finito A com um conjunto enumerve1 B enumervel. De fato, sejam

ento, A U B enumervel, pois podemos definir f: N -? A U B como se segue

f(n)

se

1 bn_p,
an,

l::::;n::::;p

se

+ 1::::; n.

2) A unio de dois conjuntos enumerveis enumerveI.

A

e B

{aI> a2, .. }

De fato, sejam

{b1, b2, . }

os dois conjuntos enumerveis. Ento A U B enumervel, porque podemos

definir f: N -? A U B como se segue
f(n)

lap
bp
se

n=2p
n = 2p -

Das observaes 1) e 2) e do fato que

Teorema 1.15.

Q+

enumervel segue-se:

"O conjunto Q dos nmeros racionais enumervel.

A seguir, provamos o resultado.

Teorema 1.16.

"O

conjunto

IR dos nmeros

racionais

enumervel.

Demonstrao
(Mtodo diagonal de Cantor). Basta provar que o conjunto
dos reais em [0,1) no enumervel. Suponhamos, por contradio, que fosse.
Ento, usando as representaes decimais de UJ*, cf. Se. 1.13, poderamos escrever
todos os reais de [0,1) em uma tabela assim

Agora, construamos o seguinte real

.b1 b2 b3

onde b} um algarismo diferente de ai} e de 9. Obviamente esse real no figura

na tabela acima e da o absurdo.

1:14

CONJUNTOS

47

ENUMERVEIS

EXERCCIOS
1.

Considere uma coleo enumervel de conjuntos finitos

tre que a unio U

n=l

An

A1, Az,

...

Mos-

tambm enumervel.

(Sugesto~ Ver a tabela do Ex. 5.)

2.

= {an1,

Considere uma coleo enumervel de conjuntos

eilumerveis:
'"
an 2 , an 3, },

(Sugesto.

para n

1,2,3, ....

Ver a tabela do Ex. 5.)

Mostre que n=l

U

An

An

enumervel.

46

NMEROS REAIS

CAPo1

Seguindo-se as setas, obtm-se uma ordenao do conjunto F; e a funo f: I\J-+ F,

neste caso, ser assim definida: f(n) = n-simo elemento de F.
Observaes.
1) A unio de um conjunto finito A com um conjunto enumervel B enumervel. De fato, sejam
A

{aI. ... ,

ap}

e B

{bh b2, },

ento, A U B enumervel, pois podemos definir f: I\J-+ A U B como se segue

se

l::;n::;p

se

+ 1 ::; n.

2) A unio de dois conjuntos enumerveis enumervel.

A

= {aI.

e B

aZo ... }

os dois conjuntos enumerveis. Ento A

definir f: I\J-+ A U B como se segue
f(n)

lap
bp se

UB

n=2p
n = 2p

Das observaes 1) e 2) e do fato que

Teorema 1.15.

01+

{b1, b2,

De fato, sejam

enumervel, porque podemos

enumervel segue-se:

"O conjunto Q dos nmeros racionais enumervel.

A seguir, provamos o resultado.

Teorema 1.16.

"O

conjunto

IR dos nmeros

racionais

enumervel.

Demonstrao
(Mtodo diagonal de Cantor). Basta provar que o conjunto
dos reais em [0,1) no enumervel. Suponhamos, por contradio, que fosse.
Ento, usando as representaes decimais de []l*, cf. Se. 1.13, poderamos escrever
todos os reais de [0,1) em uma tabela assim
.all al2 ala a14 ...

Agora, construamos o seguinte real

.bl

b2 ba

onde bj um algarismo diferente de

na tabela acima e da o absurdo.

ajj

e de 9. Obviamente esse real no figura

1:14

CONJUNTOS

47

ENUMERVEIS

EXERCCIOS
1.

Considere uma coleo enumervel de conjuntos finitos AI,

tre que a unio U

n=l

An

A2,

Mos-

tambm enumervel.

(Sugesto~ Ver a tabela do Ex. 5.)

2.

Considere uma coleo enumervel de conjuntos enumerveis:

'"

Mostre que U

n=l

(Sugesto.

Ver a tabela do Ex. 5.)

An

An

enumervel.