Ppgmutlsucessoes PDF

Sucesses
Grupo de Matemtica da Universidade Tcnica de Lisboa:

Antnio St. Aubyn, Maria Carlos Figueiredo,
Lus de Loura, Lusa Ribeiro, Francisco Viegas
Lisboa, Maro de 2004
O documento presente foi obtido directamente do cdigo TeX fornecido pelos autores com alteraes de formatao e alguma reviso editorial. A
verso corrente de 29 de Dezembro de 2005. A reviso deste texto do ponto de vista grfico ainda no est completa. Novas verses podero ficar
disponveis no futuro a partir de http://preprint.math.ist.utl.pt/files/ppgmutlsucessoes.pdf. O DMIST agradece ao Grupo de Matemtica da UTL a
possibilidade de facultar o texto aos alunos das disciplinas introdutrias de Matemtica do IST.
Na mesma srie:
Lgica matemtica.
Conjuntos.
Nmeros reais.
Sucesses.
Funes.
Funes reais de varivel real.
Funes trigonomtricas.
Funo exponencial.
Continuidade.
Derivadas.
Nota do editor
Este texto est organizado na forma de um dilogo socrtico entre dois per-
sonagens simplesmente identificados como A e B que podemos imaginar
como amigos nos papis de mestre e discpulo mesa de um caf. Os di-
logos socrticos so uma tradio antiga na exposio cientfica ou peda-
ggica tendo originado nos Dilogos de Plato onde um dos intervenientes
era Scrates. O leitor suspenda a sua surpresa em relao a ver Matemtica
tratada desta forma e venha tomar um caf connosco. As pausas sugeridas
pelo autor esto convenientemente assinaladas com uma chvena de caf!
Sucesses
Sucesses
Noo de sucesso e processos de dar uma sucesso
Foi ento que peguei na caneta e comecei a escrever:
2, 10, 50, 0, 100, 3, 4, 5, 525, 15, 200
Um cansao na mo fez-me parar e o meu interlocutor perguntou-me:
B Ento isto um exemplo de uma sucesso?
A No! preciso continuar (e continuei):

3, 2, 3, 5, 335, 557, 8, 2001, 325
Achei demais e parei definitivamente.
B Temos finalmente um exemplo de uma sucesso.
A No!
B No te entendo. Tinhas-me prometido um exemplo de uma sucesso. . .
A Penso que devemos suspender, por momentos, essa promessa e estabe-

lecer alguma terminologia.
Qual foi o primeiro nmero que escrevi?
B Foi o nmero 2.
A Pois a esse, que esteve no incio, digo que o primeiro termo (ou termo
de ordem 1) da minha sucesso u, e designo-o por u1 .
Qual seria, na tua opinio, o segundo termo da sucesso u?
B O nmero 10 e design-lo-ia por u2 .
A Diz-me agora qual a ordem do ltimo termo que escrevi na primeira

lista.
B A ordem 11 e o termo correspondente, o u11 , 200.
A Diz-me agora quais foram as ordens do primeiro e ltimo termo que

escrevi na segunda lista.
B A ordem 12, sendo u12 = 3, e a ordem 20, sendo u20 = 325.
5
Grupo de Matemtica da UTL
A Pois bem, da minha sucesso u escrevi os termos u1 a u20 em que

ordem achas que acabaria a minha sucesso?
B No sei! s tu que me ests a dar o primeiro exemplo. . .
A Tens razo. E digo-te agora que, por muito tempo que vivesse, nunca
acabaria por te dar o termo com a maior ordem. . .
B A ordem assim to grande?
A Mais do que possas imaginar! Mesmo que depois de morto, outro

e outro me substitussem, e tantos quantos possas pensar, nunca
ningum te diria qual o ltimo termo da minha sucesso u.
B Isso parece-me uma aberrao! Se assim fosse eu nunca saberia qual a

tua sucesso u.
A Mais uma vez tens razo. Eu no posso dar a sucesso u, nem qualquer
outra, desta forma. Por outras palavras, nem eu, nem ningum, te
pode dar uma sucesso escrevendo explicitamente a sequncia de
todos os seus termos, uma vez que as ordens podem ser to grandes
quanto queiras.
B Ento no existem sucesses, pois que ningum as pode dar.
A Falso. O que eu te disse foi que ningum pode dar um exemplo de uma
sucesso desta forma. Mas existem formas de dar uma sucesso.
B Isso demais! Porque insistes na forma de dar o que eu no sei o que ?
A J vais ver. Considera a sucesso v dada por

1
vn =
n
para todo o n natural.
B O que que isto tem a ver com o que me estavas a dizer?
A Comecei com a sucesso u e para ela sabias o que era o primeiro termo.
Qual era?
B Era. . . deixa-me ver. . . o nmero dois.
A Que designavas por. . .
B Por u1 .
6
Sucesses
A Ento qual ser o primeiro termo da sucesso v?
B v1 . Devo portanto fazer n = 1 e assim v1 = 1.
A Qual ser o termo de ordem 20?

1
B v20 . Fazendo n = 20, temos v20 = .
20
A Se pensares numa qualquer ordem k, qual ser o termo com essa ordem?
B vk .
A E qual ser o seu valor?
1
B vk = .
k
A Ento, qualquer que seja a ordem, e por maior que ela seja, tu sabes o
termo com essa ordem.
B verdade! Mas quase parece um milagre dar assim uma coisa que
nunca acaba. Onde est o segredo?
A O segredo est numa coisa que j conheces os nmeros naturais.

Desde que tu saibas o que so os nmeros naturais, podes escrever
1
vn =
n
para todo o nmero natural n, ou ainda
1
nN vn =
n
supondo-se aqui que N designa o conjunto de todos os nmeros
naturais.
B Penso que compreendi este exemplo de uma sucesso e que percebi por
que razo nunca poderias dar a sucesso u.
A Ests errado. Eu posso dar a minha sucesso u, no continuando da

forma como comecei, mas de uma outra.
B No sei como!. . .
7
A fcil. Escrevo:
2(= u1 ), 10(= u2 ), . . . , 325(= u20 )
como nas duas listas precedentes, e depois escrevo:
un = 1
para todo o nmero natural n maior do que 20.
B Se era isso que querias, porque no escreveste
u21 = 1, u22 = 1, etc. ?
A Porque etc. no um termo matemtico, embora possamos usar algo

semelhante, desde que tal no cause confuso no leitor. Por exemplo,
se eu escrever
2, 1, 4, 2, 2, 2, . . . , 2, . . .
que sucesso te estou a dar?
B a sucesso cujo primeiro termo 2, o segundo termo 1, o terceiro

termo 4, e a partir da ordem 3, todos os termos so 2.
A Como escreverias isso numa linguagem matemtica?
B Se chamar w a esta nova sucesso, escrevo:
w1 = 2
w2 = 1
w3 = 4
n>3 wn = 2
A Acho que est na altura de introduzirmos a definio de sucesso, ou

ters ainda alguma pergunta a fazer-me?
B Uma s e diz respeito primeira sucesso, aquela a que chamaste u.

Como que eu poderia saber que, a partir da ordem 20, todos os
termos eram 1?
A evidente que no o podias saber, porque eu, naquela altura, nunca

te disse qual era a sucesso u. Depois da ordem 20, eu poderia
ter escolhido os termos todos iguais a 2, ou iguais a 5, ou iguais a
8
Sucesses
um qualquer nmero real que eu escolhesse. Tambm poderia ter

escolhido
3
n>20 un = n
2
ou
n
n>20 un = 2
Mesmo que se d a sequncia dos termos de uma sucesso r at uma
ordem qualquer (fixa), isso nada nos diz sobre qual a sucesso r. A
partir do ltimo termo dado (que poder ter uma ordem superior a
um bilio de bilies) eu poderia dizer sempre, tal como no caso da
sucesso u, que todosos termos seguintes seriam 1, ou seriam 2, ou
n
que seriam da forma 2.
B Ento o que uma sucesso?
A Vais ser tu a dizer-mo.
B Eu?
A Sim, e fcil. Que termos utilizmos at agora?
B Utilizmos os termos: sucesso, ordem, e, para cada sucesso, o termo de

ordem 1, de ordem 2, e, mais geralmente, de ordem n, dessa sucesso.
A Comecemos com as ordens. O que que elas so?
B So nmeros naturais.
A Ento o conjunto das ordens . . .
B o conjunto N.
A E os termos, o que so?
B Para cada ordem, o termo com essa ordem um nmero qualquer.
A Qualquer?
B Sim, um qualquer nmero real.
A O conjunto dos quais designas por R, no verdade?
9
B Sim, embora esse conjunto dependa da sucesso em questo, o que no

acontecia com o conjunto das ordens. Por exemplo, para a sucesso
v, o conjunto dos termos o conjunto dos nmeros reais da forma n1 ,
enquanto para a sucesso u original o conjunto dos termos :
{u1 , . . . , u20 , 1}
A Excelente resposta. Fazendo o ponto da situao, temos o conjunto das

ordens que N e o conjunto dos termos que , para cada sucesso, um
subconjunto de R.
Tens horror s letras gregas?
B No.
A Ento pensa numa sucesso qualquer. Sabes o que o conjunto

das ordens e o conjunto dos termos desta sucesso. O que ser a
sucesso ?
B Bem. . . comecemos no princpio. . . tenho a ordem 1 e o termo 1 , depois

a ordem 2 e o termo 2 e assim sucessivamente a uma ordem n eu
associo-lhe o termo n . . . O que ser ?
A J o sabes. No disseste que a uma qualquer ordem n associavas o

nmero real n ?
B Sim. . . ento a sucesso essa associao, ou essa correspondncia que a

cada nmero natural associa, ou faz corresponder, o nmero real n . Espera
um pouco. . . j sei! A sucesso uma aplicao de N em R.
A Podemos ento dar a seguinte definio:

uma sucesso de termos reais uma aplicao de N em R.
Dada uma qualquer sucesso de termos reais, sendo ela uma apli-
cao, diz-me qual o seu domnio e o seu contradomnio!
B O domnio N (que o conjunto das ordens) e o contradomnio (que

o conjunto dos termos) um subconjunto de R, que depende da
sucesso em questo.
S h uma coisa que me faz confuso!. . .
A Diz.
10
Sucesses
B Se uma funo e 3 um elemento do domnio de , por que designa-

mos por 3 e no por (3) o valor que associa a 3? Mais geralmente,
por que escrevo n em vez de (n)?
A Tens toda a razo! e a resposta to simples como isto: toda a gente

escreve n em vez de (n). No se trata de uma questo matemtica
comeou-se a escrever assim e o hbito fez o resto.
B No seria bom fazer aqui uma pausa?
A Tambm acho, mas isso vai depender da resposta que me deres se-
guinte pergunta: eu no consegui dar-te, inicialmente, a sucesso u
porque no me era possvel escrever explicitamente a sequncia dos
seus termos. . . no isto verdade?
B Sim.
A Ento o conjunto dos seus termos tem de ser infinito?
B A resposta no! O conjunto dos termos da sucesso u :
{u1 , . . . , u20 , 1}
que finito. Mas tambm pode acontecer que o conjunto dos termos
de uma sucesso seja infinito basta ver o que se passa com a
sucesso v para a qual o conjunto dos termos o conjunto (infinito)
formado por todos os reais da forma n1 .
Ainda respondendo tua pergunta, at pode acontecer que o con-
junto dos termos de uma sucesso seja unitrio. Por exemplo a
sucesso
1, 1, 1, . . . , 1, . . .
ou, se quiseres, de uma forma matematicamente correcta, a sucesso
(chamemos-lhe ) dada por
nN n = 1
A Ento o que necessariamente infinito numa sucesso?
B o seu domnio ou, por outras palavras, o conjunto das ordens que
N.
A Muito bem. Acho que merecemos uma boa pausa.
11
A Vamos recomear?
B Posso por-te uma dvida?
A Claro.
B Pareceu-me, da conversa anterior, que para dar uma sucesso preciso

de uma frmula que me d todos os termos a partir de uma certa
ordem. Por exemplo, a sucesso v era dada pela frmula
1
nN vn = .
n
Aqui a frmula dava a sucesso de uma forma completa. Com a
sucesso original u comevamos por dar os termos u1 a u20 e depois
l vinha a frmula
n>20 un = 1.
J que no podemos escrever explicitamente a sequncia de todos os
termos de uma sucesso, no estou a ver outro processo de dar uma
sucesso. isto verdade?
A uma pergunta bem difcil de responder, porque depende do que se

entende por frmula.
Esquecendo os primeiros termos da sucesso, diz-me quais so os
tipos de frmula em que ests a pensar?
B Sei l. . .
3
2 2n
n n n
an = , bn = , cn = 5, dn = , en = ,...
n 5 n+1 n+1
j chega?!
A Sim. No te vou responder pergunta porque uma definio da palavra

frmula nos levaria muito longe. Mas vou apresentar-te outros exem-
plos de sucesses que so dadas por frmulas que, provavelmente,
no te ocorreriam.
B Estou com curiosidade. . .
12
Sucesses
A Pensa na sucesso u dada por
u1 = 1
nN un+1 = un + n
B Vejamos: o primeiro termo u1 1; o segundo termo u2 pode obter-se da

frmula
un+1 = un + n
fazendo n = 1, tendo-se assim u2 = u1 + 1 = 2; procedendo de forma
anloga para o terceiro termo, temos u3 = u2 + 2 = 4. Assim, excep-
o do primeiro termo que j sabemos ser 1, e olhando com ateno
para a frmula que d un+1 , vemos que qualquer termo obtm-se
adicionando o termo anterior com a ordem desse termo.
A Escreve os primeiros dez termos desta sucesso.
B
1, 2, 4, 7, 11, 16, 22, 29, 37, 46
interessante, porque no sendo constante a diferena entre dois
termos consecutivos, tal diferena acrescentada de uma unidade
sempre que passamos de uma diferena seguinte. . .
A Explica-te melhor.
u2 u1 = 2 1 = 1
u3 u2 = 4 2 = 2
u4 u3 = 7 4 = 3
..
.
un+1 un = n
Afinal o que eu disse resulta imediatamente de un+1 = un + n, mas

isso d-me uma ideia que a seguinte:
u1 =1
u2 = u1 + (u2 u1 ) = u1 + 1
u3 = u1 + (u2 u1 ) + (u3 u2 ) = u1 + 1 + 2
u4 = u1 + (u2 u1 ) + (u3 u2 ) + (u4 u3 ) = u1 + 1 + 2 + 3
13
o que me sugere que
un = u1 + 1 + + (n 1)
para n > 1. Ora como, para n > 1, 1 + + (n 1) a soma dos n 1

primeiros termos de uma progresso aritmtica de razo 1, obtemos
n(n 1)
1 + + (n 1) =
2
para n > 1. Desta forma, tem-se
u1 = 1
n(n 1)
n>1 un = 1 +
2
ou ainda,
n(n 1)
nN un = 1 +
2
Isto mostra que esta sucesso, que me apresentaste de uma forma
requintada, pode ser dada por uma frmula que at bem simples.
A Foi um bom trabalho que fizeste, mas pensa agora na sucesso v dada
por
v1 = 1
v2 = 2
nN vn+2 = vn+1 + vn
B J me estou a habituar. Aqui o primeiro termo 1, o segundo 2 e o

terceiro obtm-se da frmula vn+2 = vn+1 + vn , fazendo n = 1 o que
d v3 = v2 + v1 = 5.
Olhando com ateno para a frmula vn+2 = vn+1 +vn vemos que, para
qualquer ordem maior do que 2, o termo com essa ordem a soma
dos dois termos anteriores.
A Diz-me os primeiros dez termos.
B 1, 2, 3, 5, 8, 13, 21, 34, 55, 89.
A Encontras, para esta sucesso, alguma frmula do tipo da que deste

para a sucesso anterior?
14
Sucesses
B Deixa-me pensar um pouco. . . no estou a vislumbrar nenhum pro-

cesso de obter uma tal frmula. . . o que no quer dizer que no
consiga. . . ou que, mesmo que no consiga, ela no exista. . .
Responde-me: existe uma tal frmula?
A Existe!, mas mais difcil de obter do que aquela que me deste para a
sucesso u. As frmulas (todas equivalentes, evidentemente) para
esta sucesso, conhecida por sucesso de Fibonacci, fazem intervir,
de forma explcita ou implcita, o chamado nmero de ouro, o que
nos poderia levar a uma longa discusso. Vamos, por isso, deixar tal
assunto para um exerccio.
Mas quero perguntar-te: incomoda-te que uma sucesso possa ser
dada desta forma?
B Agora que mo perguntas at tenho uma objeco que penso ser impor-
tante.
A E qual ?
B Para obter um un tenho de somar os dois termos imediatamente anteri-

ores. Assim, se a ordem for suficientemente grande, as duas ordens
anteriores tambm o sero e portanto uma escolha conveniente da
ordem pode ser tal que, mesmo que vivas duzentos anos, nunca
a chegues a atingir. Ficamos assim com a mesma dificuldade que
tnhamos com a definio da sucesso u original.
A Ests enganado. Como j te disse nunca te poderia ter dado a sucesso

u pelo processo que procedi no incio. Repara que, mesmo que come-
asse a escrever 1 a partir do termo de ordem 20 e assim continuasse,
nada te poderia garantir que em alguma ordem os meus seguidores
no escrevessem 2 e depois continuassem com 1 ou com qualquer
outra coisa que fizesse sentido.
Aqui a sucesso est dada! Sabemos que, para cada n, existe um e
um s un . certo que poderemos ter dificuldade em o calcular, mas
sabemos que existe e que nico.
B Ests a dizer que uma coisa eu saber que algo existe e nico e outra
saber se o consigo calcular?!
A isso.
B Compreendo.
15
A Para terminar esta conversa, que j vai longa, quero dar-te s mais um
exemplo. Sabes o que um nmero primo?
B Um nmero primo um natural maior do que 1, que s divisvel por

ele prprio e por 1.
A Designemos por P o conjunto dos nmeros primos. o conjunto P

finito ou infinito?
B P um conjunto infinito.
A Ento, tal como falamos na sucesso dos nmeros naturais, podemos

falar na sucesso dos nmeros primos, que vamos designar por .
Como descreverias a sucesso ?
B a aplicao de N em P dada por
1 7 2 ordem 1 associo o nmero 2

e depois a cada ordem seguinte associava o nmero primo seguinte.
A Como sabes que, para cada ordem, h sempre um nmero primo se-
guinte?
B Porque P N e P infinito.
A No te bastava dizer que P era infinito?
B No! Supe que em vez de P me tinhas dado o conjunto [2, +[, que
um conjunto infinito. Ora, para este conjunto, no existe o nmero
que se segue ao nmero 2.
A Muito bem. Temos ento 1 = 2, 2 ser. . .
B O nmero primo seguinte.
A E o que o nmero primo seguinte?
B o menor nmero primo superior a dois.
A Que relao tem P \ {2} com 2 ?
16
Sucesses
B Bem, P\{2} o conjunto de todos os nmeros primos diferentes de 2, ou,

o que equivalente, superiores a 2. Assim 2 ser o menor elemento
deste conjunto.
A Como escreves isso em termos matemticos?
B 2 = min (P \ {2}) .
A Supe que j conhecias 1 , 2 , . . . , p . Como definirias p+1 ?
B p+1 o menor dos nmeros primos que so maiores do que p . . . es-

pera. . . j estou a ver onde queres chegar se a P tirarmos os
nmeros 1 , 2 , . . . , p , ento p+1 o menor elemento deste novo
conjunto.
A Formaliza o que me disseste.
B Curioso, a sucesso dos nmeros primos pode ser dada de uma maneira
semelhante quela que foi usada nas duas sucesses anteriores. Basta
escrever
1 = 2

pN p+1 = min P \ {1 , . . . , p }
A H de facto alguma semelhana, mas existe uma diferena fundamental.

Enquanto nas duas sucesses anteriores cada termo era calculado a
partir dos anteriores, aqui ele o menor dos posteriores, que no
sabemos quais so.
B Tens razo, mas o que eu gostava de ter era ainda mais queria ter
uma frmula para a sucesso .
A Falas de frmulas do tipo das que me deste no incio da nossa conversa?

Por outras palavras, pretendias uma frmula para n que envolvesse
apenas n e onde no figurasse qualquer termo com ordem inferior a
n?
B Sim.
A Desilude-te ento! No se conhece nenhuma e j passaram mais de

vinte e cinco sculos desde que temos conhecimento da existncia de
uma primeira ideia de nmero primo.
B E frmulas semelhantes s das duas sucesses anteriores?
17
A Tambm no.
B E, no entanto, podemos falar da sucesso dos nmeros primos!
A Para terminar, duas perguntas. Primeira: onde, na tua definio de ,

entra o conhecimento de que P infinito?
B Deixa-me ver. . . se P fosse finito ento. . . ento para algum p, P \

{1 , . . . , p } seria vazio, e portanto no haveria mnimo.
A J sabes que P \ {1 , . . . , p } um conjunto no vazio. Basta-te isso para

garantir que ele tem mnimo?
B Claro que no! O conjunto ]2, +[ no vazio e no tem mnimo. Mas

P \ {1 , . . . , p } um subconjunto de N e eu estou a admitir que todo
o subconjunto no vazio de N tem mnimo.
A Fiquei satisfeito com esta nossa discusso e poderamos continu-la,

sem alterar o assunto, em vrias direces. Mas, por hoje, j chega.
Vamos tomar alguma coisa?
Noo de limite de uma sucesso

A Considera a sucesso u dada por
1
nN un = .
n
Vou representar os primeiros seis termos desta sucesso na recta real.
B Ests a tentar fazer o grfico de u?
18
Sucesses
A No! Como sabes o grfico de u um subconjunto do plano, e eu estou

a utilizar apenas a recta real. O que pretendo , to s, marcar os
sucessivos termos de u tendo o cuidado de, quando marco o ponto
u1 , indicar que esse ponto corresponde ao primeiro termo da sucesso
e no a qualquer outro, e assim sucessivamente. Repara que se eu
apenas tivesse representado os pontos
no saberia qual dos pontos marcados era a imagem geomtrica de

u1 tanto poderia ser o 1/6 como o 1/3 ou como qualquer outro que
marquei e eu quero que a imagem geomtrica dos primeiros seis
termos da sucesso me diga, por si prpria, qual o primeiro termo,
qual o segundo, . . . at ao sexto termo de u.
B Ests a tentar dizer-me que esta uma outra imagem geomtrica da

sucesso u, mais simples, porque na recta, do que o grfico que no
plano?
A Disseste-o melhor do que eu o faria.

Agora, vai imaginando os sucessivos termos da sucesso u a serem
marcados na recta real o que que achas de notvel que esteja a
acontecer?
B Eles vo-se aproximando cada vez mais de zero e aproximam-se tanto

quanto eu queira desde que considere ordens suficientemente gran-
des. Contudo no h nenhum termo que seja zero. . .
A Pensa agora na sucesso v dada por
nN vn = 0.
Ests a ver a sua representao geomtrica?
B simples, como se, na recta real, eu fosse marcando sempre o ponto

correspondente ao zero.
A Ento, e utilizando uma frase tua, eles vo-se aproximando de zero e

tanto quanto eu queira, desde que considere ordens suficientemente
grandes. . .
19
B Eles no se aproximam de zero! Eles j so zero!
A Tens razo. Vou, ento, modificar a tua frase, suprimindo a palavra

aproximando, e dizer
os termos esto to prximos de zero quanto eu queira, desde que considere
ordens suficientemente grandes.
B Esta nova formulao j abarca as duas sucesses u e v. Com efeito,

zero no se vai aproximando de zero, mas est, evidentemente, to
prximo de zero quanto eu queira. Por isso, na sucesso v, desne-
cessrio dizer que devo tomar ordens suficientemente grandes. Por
que insistes em o dizer?
A Porque quero introduzir uma noo matemtica que englobe, alm de

muitas outras, as sucesses u e v e se em v parte da frase (a
que refere ordens suficientemente grandes) pode ser suprimida, j o
mesmo no acontece em u.
B E que noo essa?
A a noo de limite.
B Dizes que u tem limite zero e que o mesmo acontece com a sucesso v?
A Sim.
B Mesmo que (como em v) o limite tenha sido atingido e at desde o

primeiro termo?
A No fao distino. Para mim ambas tm limite zero.
B Disseste que esta noo se aplicava tambm a outras sucesses. Como

o fazes?
A Vais ser tu a dizer-mo. Pensa numa qualquer sucesso , rememora

a nossa conversa, e diz-me o que significar para ti a frase tem
limite zero.
B Diria que tal acontece se os termos de esto to prximos de zero quanto eu

queira, desde que considere ordens suficientemente grandes.
A E, j agora, diz-me o que significaria, para ti, ter limite a (onde a um

nmero real).
20
Sucesses
B Diria que tem limite a se os termos de esto to prximos de a quanto eu

queira, desde que considere ordens suficientemente grandes.
A Vou agora dar-te quatro sucesses e quero saber, para cada uma delas,
se, de acordo com a definio que acabaste de dar, elas tm ou no
limite. As sucesses a, b, c e d so definidas por:

a1 = 0
a2 = 1

(1)

n3 an = 1

nN bn = 1 + (1)n (2)
1
nN cn = (1)n (3)
n
n 10 2

nN dn = 1 (4)
9
B Pensemos, em primeiro lugar, na sucesso a. a1 zero, a2 1 e a partir

da ordem 2 todos os termos so 1. Assim esta sucesso tem limite 1
uma vez que a partir da ordem 2 todos os termos esto to prximos
de 1 quanto eu queira eles j so 1.
A Estou de acordo.
B Pensemos agora na sucesso b. Tem-se:
para n=1, b1 =11=0;

para n=2, b2 =1+1=2;
para n=3, b3 =11=0;
para n=4, b4 =1+1=2.
Estou a ver: se eu considerar uma ordem mpar ento o termo cor-

respondente zero e se considerar uma ordem par o termo corres-
pondente 2.
A Dizes isso porque calculaste os primeiros quatro termos?
B No. Olhando para o termo geral bn , vemos que, quando a ordem

mpar, se tem (1)n = 1 e portanto bn = 0, e que quando a ordem
par, se tem (1)n = 1 sendo, ento, bn = 2.
A E quanto ao limite?
21
B Parece-me que no tem limite. Imaginando-me a marcar na recta real os

sucessivos termos da sucesso, vejo-me a indicar primeiro o ponto
zero, e depois o ponto 2, e depois o ponto zero, e depois o ponto 2 e
assim sucessivamente.
Desta forma, por muito grande que seja a ordem, existem sempre
ordens superiores (as mpares) para as quais o termo correspondente
zero; e existem sempre ordens superiores (as pares) para as quais o
termo correspondente 2.
Daqui deduzo que b no tem limite. Estou certo?
A Sim. Continua.
B Analisemos o que se passa com a sucesso c. Tem-se
1 7 1
1
2 7
2
1
3 7
3
1
4 7
4
1
5 7
5
Imaginando-me a marcar na recta real os termos desta sucesso, vejo-
me a indicar primeiro o ponto (correspondente ao nmero) 1, depois
1
2
, depois 13 , depois 41 . . . posso fazer uma representao geomtrica?
A Claro.
B
A O que que significam as setas?

1
B Quero com elas dizer que u1 igual a 1, u2 igual a e assim sucessiva-
2
mente.
22
Sucesses
A Ter esta sucesso limite?
B Penso que tem limite zero, porque vejo os sucessivos pontos aproximando-
se do ponto zero, medida que as ordens crescem se as ordens
crescem e so pares ento os pontos correspondentes aproximam-se
de zero pela semi-recta positiva; se as ordens crescem e so mpa-
res os pontos correspondentes aproximam-se de zero pela semi-recta
negativa.
Estou certo?
A Ests!. . . Mas, diz-me, foi assim to importante para ti a visualizao

geomtrica do comportamento da sucesso?
B Pareceu-me indispensvel.
A No conseguirias chegar mesma concluso pensando apenas na ex-

1
presso nN cn = (1)n ?
n
B Agora que o perguntas, acho que poderia ter chegado mesma con-
cluso. medida que o n cresce, n1 aproxima-se de zero, e o factor
multiplicativo (1)n s nos diz se a aproximao por nmeros po-
sitivos ou se por nmeros negativos.
A Pensa em todos os exemplos anteriores e diz-me se no terias chegado

mesma concluso mesmo sem interpretao geomtrica.
B Deixa-me ver. . .
verdade. Em todas essas sucesses o limite (quando existe) po-
deria ter sido obtido somente por consideraes analticas. Mas a
interpretao geomtrica de tal forma esclarecedora e to intuitiva
que recuso separar-me dela.
A Tens toda a razo! S que, s vezes, a interpretao geomtrica no

to simples e algumas (muitas) sucesses tm de ser estudadas de
outra forma.
Vamos agora sucesso d.
B Esta parece-me mais difcil. Para n = 1, o termo correspondente, d1 ,

zero, mas para n = 2 j tenho que fazer algumas contas. Importas-te
que utilize a calculadora?
A Ests vontade.
23
B Ora vejamos:
64
para n = 2, tem-se d2 = 1 0, 2098765432
81
49
para n = 3, tem-se d3 = 1 0, 3950617284
81
36
para n = 4, tem-se d4 = 1 0, 5555555556
81
25
para n = 5, tem-se d5 = 1 0, 6913580247
81
Ainda tenho alguma dvida. Posso continuar?
A Continua.
B
16
para n = 6, tem-se d6 = 1 0, 8024691358
81
9
para n = 7, tem-se d7 = 1 0, 8888888889
81
4
para n = 8, tem-se d8 = 1 0, 950617284
81
Agora j chega. A sucesso tem limite 1.
A Calcula d9 , d19 e d30 .
B Ora
9 10 2 1

d9 = 1 =1 0, 987654321
9 81
e est bem mais perto de 1, como eu esperava. Vejamos agora o termo
de ordem 19. Tem-se. . . no pode ser!. . . tem-se d19 = 0. Deixa-me
ver
19 10 2
2
9

d19 = 1 =1 =0
9 9
verdade! Como que isto pode acontecer com uma sucesso de
aparncia to inocente?!
E o d30 ?. . . s pr aqui na calculadora e d. . . d. . .
2
30 10 400

d30 = 1 =1 3, 938271605
9 81
Espantoso!
24
Sucesses
A Por que razo pensas que isto aconteceu?
B S vejo uma resposta: calculei poucos termos da minha sucesso. Se eu

tivesse calculado 50 ou 100 (para ter a certeza 500) isto no poderia
acontecer com uma sucesso normal.
A Achas normal a sucesso e dada por

!2
n 103
nN en = 1
103 1
B Claro.
A Ento calcula os primeiros 500 termos da sucesso (para no ser per-

verso, peo-te que os calcules apenas de 10 em 10) e calcula depois o
e600 , e700 , e800 e e900 .
A J acabaste?
B Sim!, mas que trabalho!
A E a concluso . . .
B Os termos esto-se a aproximar de 1 e at j esto bem perto.
A Dizes ento que esta sucesso tem limite 1?
B Tudo o parece indicar, mas depois do exemplo anterior j no tenho uma

certeza absoluta. Contudo, calculei o termo com a ordem 900. . . e
muitos outros com ordens inferiores. . . e todos eles sugerem-me que
o limite 1.
A S te peo agora que calcules os termos com as ordens 1999 e 3000.
B Depois do que j fiz e sendo s mais dois, no te levo a mal. Ora d1999
igual a. . . a zero! E d3000 igual a 3, 008012016! Era o que eu temia.
Enganaste-me outra vez!
A No fui eu que te enganei, foste tu que te enganaste a ti prprio.
B Como assim?!
25
A Defini a sucesso e por

!2
n 103
nN en = 1 .
999
Pensemos agora na sucesso (porque uma sucesso!)
n 103
nN
999
e diz-me, quando n cresce de 1 at 999, o que que acontece?
B Para mim mais fcil pensar na sucesso de termo geral
103 n
999
o que, para o caso, indiferente uma vez que vamos depois tomar
o seu quadrado. Ora aqui muito claro que, quando n cresce de 1
at 999, o numerador decresce de 999 a 1, e, portanto, a fraco vai
1
decrescendo de 1 a .
999
A O que acontece ao quadrado da fraco?
1 2

B Vai decrescendo de 1 a .
999
A Ento o que que acontece aos termos da nossa sucesso e, quando n
cresce de 1 a 999?
B Como !2
103 n
en = 1
999
1 2

os seus termos vo crescendo de 0 at 1 , que bem prximo
999
de 1.
A Quando n = 1000, qual o valor de en ?
B e1000 = 1.
A E depois o que que acontece quando n cresce a partir de 103 ?
26
Sucesses
B Vou voltar fraco

n 103
999
3
medida que o n cresce, e pode crescer tanto quanto eu queira, n10
999
vai-se tornando to grande quanto eu queira, o mesmo acontecendo
ao seu quadrado. Assim
n 103

999
vai-se tornando to negativo quanto eu queira, passando-se o mesmo,
obviamente, com
n 103
1 .
999
A Foi uma boa discusso a que fizeste, e concluste que, por menor que
seja um nmero real (ou, na tua linguagem, por mais negativo que
ele seja), eu encontro sempre um termo da sucesso e que, no s
menor do que ele, como tambm o so todos os seguintes (ou seja,
todos os que tm ordens superiores).
B Isso certamente verdadeiro.
A Poder, ento, a sucesso e ter limite?
B claro que no.
A Quantos termos de uma sucesso precisas ento de calcular para que

tenhas a certeza de que essa sucesso tem limite?
B Pressinto uma certa ironia na tua pergunta, e por isso vou ser cuidadoso.
Olhemos com ateno para as sucesses d e e, de termos gerais
2 !2
n 10 n 103

dn = 1 , en = 1 .
9 103 1
Isto leva-me a pensar na sucesso r dada por

!2
n 106
nN rn = 1 .
106 1
Ora, uma aplicao trivial dos argumentos que utilizei para a suces-
so e, me levaria s concluses seguintes:
(1) quando n cresce de 1 at um milho (106 ), rn cresce de 0 at 1;
27
(2) quando n cresce a partir de um milho, e tanto quanto eu queira,

rn decresce de tal forma que se pode tornar to negativa quanto
eu queira.
Conclui-se daqui que, do conhecimento de um milho de termos de

uma sucesso, nada se pode concluir quanto existncia de limite. E
quem diz um milho, diz um bilio . . .
A O que concluis da?
B Que o conhecimento do valor dos primeiros termos de uma sucesso, mesmo
que sejam muitos, (mas com um conjunto de ordens finito), nada nos diz
sobre a existncia de limite da sucesso, e, no caso de existncia, do seu
possvel valor.
A Concluste muito bem! at melhor do que eu esperava porque ainda

juntaste a frase: e, no caso de existncia, do seu possvel valor. Como
chegaste a esta concluso?
B Basta pensar na sucesso s dada por

rn , se 1 n 106 ,

nN sn =

0,
se n > 106 .
que tem limite zero, mas que, sendo igual a r para o primeiro milho
de termos, nos enganaria tanto como essa sucesso.
A Excelente exemplo.
B Mas, diz-me ento, para que serve a calculadora?
A Para nada!
B Para nada?
A Com certeza, se eu compreendi bem a tua pergunta. Perguntavas-me
se a calculadora seria til para saber se uma sucesso tinha limite e,
no caso de o ter, para o calcular.
B Era essa a pergunta.
A E a resposta : no! No serve para isso e muito menos para motivar
a noo de limite. De uma forma imprecisa, podemos dizer que o
limite uma passagem ao infinito, e nada h de mais finito do que
uma calculadora.
28
Sucesses
B Ento ela no serve para nada?
A No foi isso que eu disse. Em situaes que compreenders mais tarde,

ela , entre outras coisas, um auxiliar inestimvel no clculo de valores
aproximados do limite.
B Ainda me ocorre outra pergunta.
A Diz.
B Por que razo aceitaste todas as respostas que te dei sobre as sucesses
u, v, a, b, c e s questionaste as relativas s sucesses d e e?
A A resposta simples: todas as tuas anteriores respostas estavam correc-

tas.
B Mudei assim tanto o estilo de respostas?
A Foi isso! Se rememorares as respostas que me deste sobre as sucesses

u, v, a, b, c vers que em todas elas tinhas em considerao o com-
portamento de todos os termos dessas sucesses, enquanto que nas
sucesses d e e s te preocupaste com os primeiros termos.
B Deves ter razo. . . vou pensar nisso. . . mas agora uma pausa!
A Nunca demais repetir o que importante. Dada uma sucesso u de

termos reais e um nmero real a, quando que dizes que u tem limite
a?
B Digo que u tem limite a se un est to prximo de a quanto eu queira, desde

que considere ordens suficientemente grandes.
A O que que significa para ti a frase un est to prximo de a quanto eu

queira?
B Dita assim ela perde o significado que lhe dei, porque um nmero real
un est to prximo de a quanto eu queira se, e s se, for a. Mas repara
que a frase que me deste
un est to prximo de a quanto eu queira
29
no termina, no meu discurso, com um ponto final, mas com uma vr-
gula qual se segue um desde que que o grau de proximidade
entre un e a depende da grandeza das ordens.
A Foi uma boa resposta e vamos explor-la. O que queres dizer com
graus de proximidade?
B Se eu marcar um un (digamos u7 ) na recta real e se tambm marcar
um nmero real (digamos 2), o grau de proximidade entre estes dois
nmeros medido pela distncia entre 2 e u7 , e o grau de proximidade
tanto maior quanto menor for a distncia.
A Dados dois nmeros reais x e y, como calculas a distncia entre eles?
B A distncia entre x e y dada por |x y|.
A Ento a distncia entre u7 e 2 dada por. . .
B Por |u7 2|.
A Vou designar por d(x, y) a distncia entre os nmeros reais x e y. Assim
d(x, y) = |x y|
Considera agora, para um dado nmero real positivo r, o seguinte

conjunto
{x R; d(x, a) < r}
Geometricamente, como o interpretas?
B Trata-se do conjunto dos nmeros reais que esto a uma distncia de a
inferior a r. Se o a for positivo e o r pequeno, a interpretao na recta
real desse conjunto
Posso at dizer que esse conjunto o intervalo ]a r, a + r[.

A Vou dar um nome ao conjunto
{x R; d(x, a) < r}
Vou chamar-lhe a vizinhana de a de raio r (ou a vizinhana r de a) e

designo-a por
Vr (a)
30
Sucesses
Como traduzirias a frase un est muito prximo de a, utilizando a

noo de vizinhana?
B Se o r for pequeno a vizinhana Vr (a) um intervalo ]a r, a + r[ cujas

extremidades a r e a + r esto muito prximas de a e, portanto,
por maioria de razo, todos os elementos da vizinhana esto muito
prximo de a. Assim, se o r for suficientemente pequeno, dizer que
un est muito prximo de a equivalente a dizer que un Vr (a).
A Voltemos de novo definio de limite. Como traduzirias a frase

un est to prximo de a quanto eu queira, desde que. . .
B Poderia dizer:
para todo o r pequeno, un Vr (a), desde que considere ordens suficiente-
mente grandes.
A E se os r fossem grandes?
B Com esses no tenho eu problemas.
A Nesse caso dispensvel dizer que r pequeno. Basta dizer:

para todo o real positivo r, un Vr (a), desde que . . .
B De acordo.
A E como escreves simbolicamente para todo o real positivo r?
B Escrevo rR+ .
A Vou agora fazer algo com o qual no estou geralmente de acordo e

que consiste em dar uma definio parte em termos matemticos e
outra parte em linguagem corrente. Mas, como estamos a meio de
uma conversa, vou utilizar essa linguagem hbrida que ser transitria.
Assim, digo que a sucesso u tem limite a se
rR+ un Vr (a), desde que considere ordens suficientemente grandes.
Vejamos um exemplo. Considera a sucesso v dada por
1
nN vn = .
n+1
Ter ela limite?
31
B Claro. Tanto geometricamente como analiticamente se v sem dificul-

dade que v tem limite zero.
A Sejamos agora mais precisos e utilizemos a definio (hbrida e tran-

sitria) que h pouco te dei. Devers ento provar que, para cada
r R+ que eu te d, se tem un Vr (0) desde que as ordens sejam
suficientemente grandes.
O que queres dizer com as ordens suficientemente grandes?
B Quero dizer que a partir de uma certa ordem (que pode ser muito
grande) todos os un esto na Vr (0).
A Supe que te dou r = 1/10. Se queres provar, segundo a definio

referida, que v tem limite zero, o que deves fazer?
B Devo encontrar uma ordem, chamemos-lhe p, tal que para todas as

ordens n superiores a p, se tem vn V1/10 (0).
A Como expressas isso em linguagem matemtica?
B Devo encontrar uma ordem p tal que, se n > p, ento
vn V 101 (0)
mas posso escrever vn V1/10 (0) das seguintes formas equivalentes

1
d(vn , 0) < ,
10
1
|vn 0| < .
10
A Se deves encontrar uma ordem p, encontra-a!
B Deixa-me ver. . . quero que

1
|vn 0| <
10
ou, equivalentemente,

1 1
0 <

n + 1 10
1 1
<
n + 1 10
32
Sucesses
n + 1 > 10
ou, ainda,
n>9
1 1
Assim, se tomar p = 9, tem-se, para n > p, < . Encontrei
n+1 10
portanto o que pedias: p = 9.
1
A E se r fosse ?
100
B Eu podia garantir que vn V1/100 (0), se n fosse maior que 99. Portanto a
ordem p, para este r, 99.
A Estou de acordo que a ordem 99 serve, mas no concordo contigo
quando dizes que a ordem p 99.
B Tens razo. Foi uma falha de linguagem. Com efeito, se a ordem 99
serve, ento tambm serve a ordem 100, ou a ordem 101, ou qualquer
outra ordem superior a 99.
A Repara que, quando te dei para r o valor 1/10, encontraste uma ordem p
que era 9 e que, quando escolhi para r o nmero 1/100, a ordem que
encontraste foi 99. Achas isso natural?
B Sim. Vejo-o muito bem geometricamente, embora a representao seja
difcil uma vez que 1/10 e 1/100 so nmeros muito pequenos quando
comparados com os valores que tm os primeiros termos da sucesso
v. Por isso vou fazer desenhos com uma escala no fixa para
mim claro que, medida que considero valores de r mais pequenos,

maiores tm de ser as ordens p a partir das quais todos os termos da
sucesso esto na vizinhana correspondente.
33
A Ser possvel escolher uma ordem que sirva para todos os r?

B Com esta sucesso, no! Conseguir encontrar uma ordem p que seja
independente das vizinhanas, s para sucesses de tipo muito par-
ticular. Olha! as sucesses constantes para essas a ordem p at
pode ser qualquer. E tambm. . . deixa-me ver. . . se considerar, por
exemplo, a sucesso w definida por
w1 = w2 = w3 = w4 = w5 = 3
n>5 wn = 1
que tem limite 1. . . para esta tambm h uma ordem (a ordem 5 ou

qualquer outra maior) a partir da qual todos os termos esto na Vr (1),
qualquer que seja o r que me ds.
A Mas, em geral, a ordem p depende do r?
B Sim, para cada r, devo encontrar uma ordem p a partir da qual todos os
termos da sucesso estejam na vizinhana de raio r do limite.
A Recorda agora a definio (hbrida e transitria) que te dei da noo de
limite de uma sucesso. Devo escrever
pN rR+ . . .
ou escrever
rR+ pN . . .
B Na primeira forma ests a dizer que existe uma ordem que serve para
todos os r (ou seja, para todas as vizinhanas), o que manifesta-
mente falso. Na tua segunda formulao ests a dizer que, para cada
vizinhana (ou, o que o mesmo, para cada r) existe uma ordem p
tal que. . . , o que me parece correcto.
34
Sucesses
A Ento e as sucesses constantes. . .
B Nesse caso ambas as formulaes servem. Mas, se te entendi bem,

estamos a tentar encontrar uma verso formalizada da definio por
palavras que demos anteriormente da noo de limite, e essa noo
aplicava-se a todas as sucesses. Por isso, porque tem de ser aplicvel
a todas as sucesses, eu tenho que escolher
rR+ pN . . .
A Muito bem. Agora s falta substituir os . . . por uma expresso mate-

mtica. Consegues faz-lo?
B Vou tentar. Para cada r (ou seja, para cada vizinhana) devo encontrar
uma ordem p tal que, a partir dela (o que corresponde s ordens sufi-
cientemente grandes), se tenha un Vr (a). Ainda no est completo,
mas dever ser alguma coisa da forma
rR+ pN (?) un Vr (a)
S me falta formalizar o a partir dela. . .
A Queres dizer: para todas as ordens maiores do que a ordem p. . .
B No digas mais! O (?) deve ser
n>p
no ?
A Sim. Diz-me ento, com cuidado, a verso formalizada a que chegmos

da noo de limite.
B Dada uma sucesso u de termos reais e um nmero real a, diz-se que u tem
limite a se
rR+ pN n>p un Vr (a)
A Excelente. A definio que acabas de dar muito melhor do que a

dada no princpio da nossa conversa. Com efeito, nesta no h
qualquer ambiguidade, enquanto na inicial havia frases como to
prximo quanto eu queira e ordens suficientemente grandes, que
poderiam, eventualmente, ter para outros interpretaes distintas
das que lhes estvamos a dar.
35
Para terminar quero apenas escrever esta definio de uma outra

forma equivalente mas que poder ser til em certas questes. No
podes substituir
n>p por nN
no verdade?
B Claro, porque s quero considerar ordens n superiores ordem p.
A Mas podes, com o mesmo sentido, dizer
para todo o n N , se n for maior que p, ento . . .
B Sim, mas isso seria um passo atrs, porque estvamos a reintroduzir

a linguagem corrente numa formulao que se pretende que seja
apenas simblica.
A Tens razo. Mas no consegues escrever simbolicamente a frase que eu

te disse?
B Espera. . . para todo o n N escreve-se nN e depois tenho algo da

forma
se . . . ento . . .
que uma implicao. Posso, ento, substituir o que escrevi por
rR+ pN nN n > p un Vr (a).
A J agora un Vr (a) equivalente a . . .
B A |un a| < r. Posso assim escrever, de forma equivalente,
rR+ pN nN n > p |un a| < r
A Estou satisfeito e penso que sobre este assunto podemos ficar por aqui.
Falta a parte prtica, claro, porque fazer exerccios a melhor maneira
de consolidarmos o que se aprendeu.
36
Sucesses
Subsucesses e sublimites
A Como ainda estamos no princpio da nossa conversa e apenas pretendo
motivar-te para a noo de subsucesso, vou escrever, de forma im-
precisa, uma sucesso u da maneira seguinte:
u1 , u2 , u3 , u4 , u5 , u6 , u7 , u8 , u9 , u10 , . . . , un , . . .
Supe, agora, que elimino alguns termos desta sucesso, por exem-
plo, os termos com as ordens 1, 3, 4, 6 e 8
u/1 , u2 ,u/3 ,u/4 , u5 ,u/6 , u7 ,u/8 , u9 , u10 , u11 , . . .
O que restou da sucesso u, escrito na ordem herdada
u2 , u5 , u7 , u9 , u10 , u11 , . . .
uma nova sucesso, no ?
B Sim.
A Designa-a por v. Como a definirias?
B simples:
v1 = u2
v2 = u5
v3 = u7
n4 vn = un+5
A Tens aqui um primeiro exemplo do que eu chamo uma subsucesso da
sucesso u.
Supe, agora, que, alm dos termos com as ordens mencionadas, eu
tambm tinha suprimido todos os termos com ordens superiores a
500 e inferiores a 600. Obtinha uma nova sucesso a que vou chamar
w. Define-a!
B De forma imprecisa a sucesso w a seguinte:
u2 , u5 , u7 , u9 , u10 , . . . , u500 , u600 , u601 , u602 , . . .
Trata-se, de forma correcta, da sucesso dada por:
w1 = u2
w2 = u5
w3 = u7
wn = un+5 para 4 n 495
wn = un+104 para n 496
37
A E se eu agora eliminasse todos os termos com ordens superiores a

700?. . .
B Isso no podes fazer!
A No posso fazer?!
B Poder, podes. . . mas o que te restava j no era uma sucesso. Ficavas

com a sequncia finita de nmeros reais seguinte:
u2 , u5 , u7 , u9 , u10 , . . . , u500 , u600 , u601 , u602 , . . . , u700
Ora, uma sequncia finita de nmeros reais no pode ser uma suces-
so, uma vez que uma sucesso uma aplicao de N em R.
A Penso que, intuitivamente, j entendeste muito do que uma subsu-

cesso. Eu posso eliminar termos de uma sucesso, posso mesmo
eliminar muitos, mas, e isto o aspecto fundamental, o que resta tem de
ser ainda uma sucesso.
B Foi essa a ideia com que fiquei.
A Ser que posso eliminar termos cujo conjunto das ordens seja infinito?
B Deixa-me pensar. . . considero uma sucesso e tenho de eliminar ter-

mos cujo conjunto das ordens seja infinito. . . mas, para ficar com uma
sucesso, o que resta tambm deve ter um conjunto de ordens infi-
nito. . . Desculpa a linguagem, mas isto leva-me a pensar se posso, ou
no, partir um conjunto infinito em duas partes disjuntas e tambm
infinitas. Ser que o posso fazer?
Claro que posso! Basta na sucesso suprimir os termos com ordens
mpares
/1 , 2 ,/3 , 4 ,/5 , 6 ,/7 , 8 , . . .
A Como escreverias, de forma correcta, esta nova sucesso?
B Dada a sucesso , esta nova sucesso, que designo por (e que penso
que chamars uma subsucesso de ), pode ser definida por
nN n = 2n
A s capaz de me dar outras subsucesses de ?
38
Sucesses
B Certamente o difcil foi comear! Vejamos, agora, como te posso

responder. . .
Primeiro: dada a sucesso , posso obter uma subsucesso supri-
mindo os termos de correspondentes a um conjunto qualquer finito
de ordens posso eliminar termos correspondentes a mil, um bilio,
um bilio de bilies de ordens, ou mais ainda desde que o conjunto
das ordens seja finito.
Segundo: dada a sucesso , posso obter uma subsucesso elimi-
nando todos os termos com ordem par, ou com ordem mpar, ou
com ordem mltipla de trs, ou de quatro, ou de cinco, ou, ainda,
suprimindo os termos cuja ordem seja um nmero primo.
Terceiro: no posso eliminar termos de forma a que o que me resta
seja apenas uma sequncia finita de nmeros.
A Podes repetir termos?
B No estou a perceber a pergunta!. . .
A Pensa na sucesso dos nmeros naturais
1, 2, 3, . . . , n, . . .
A sucesso
1, 1, 3, 5, 7, 9, 11, . . .
, na tua opinio, uma subsucesso da sucesso dos nmeros natu-
rais?
B Claro que no. Qualquer que seja a forma que eu escolha para eliminar
nmeros naturais, nunca obtenho
1, 1, . . .
A E, se em vez da sucesso dos nmeros naturais, te tivesse dado a suces-

so
1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, . . . , 1, 2, 3, . . .
achas que
1, 1, 2, 2, 3, 2, 3, 3, 3, . . . , 3, . . .
seria uma subsucesso da inicial?
B Penso que sim bastava fazer os seguintes cortes
1, 2/, 3/, 1, 2, 3/, 1/, 2, 3, 1/, 2, 3, 1/, 2/, 3, 1/, 2/, 3, 1/, 2/, 3, . . .
39
A Mas, aqui, repetiste termos?

B Sim, porque a sucesso inicial mo permitia. Nota que, na sucesso dos
nmeros naturais, no h repetio de termos, pelo que o mesmo
tem de acontecer em qualquer das suas subsucesses, enquanto que,
nesta ltima sucesso
1, 2, 3, 1, 2, 3, . . . , 1, 2, 3, . . .
o facto de 1, 2 e 3 serem termos que se repetem indefinidamente, me
permite determinar subsucesses onde o mesmo acontece.
A Podes trocar a ordem como aparecem os termos?
B Explica-te melhor!
A Considera a sucesso
1 1 1 1 1 1
1, , , , , ,..., ,...
2 3 4 5 6 n
ser
1 1 1 1 1 1
1,, , , , , ,...
5 3 9 7 13 11
uma subsucesso da sucesso inicial?
B Deixa-me, em primeiro lugar, perceber o que que esta sucesso tem
a ver com a anterior. Inicialmente suprimiste todas as fraces com
denominador par
1 1 1 1 1 1 1 1 1 1 1 1
1, , , , , , , , , , , , ,...
2 3 4 5 6 7 8 9 10 11 12 13
1 1 1 1
e seguidamente trocaste com , com e assim sucessivamente.
3 5 7 9
No foi isso?
A Foi.
B Ora, qualquer que seja o processo de eliminao de termos, eu no posso
1
obter da sucesso de termo geral , uma sucesso cujos primeiros
n
termos sejam
1 1
1, ,
5 3
desde que, como me disseste logo ao princpio, eu mantenha a ordem
herdada.
40
Sucesses
A Acho que estamos na altura de introduzir, de forma precisa, a noo de

subsucesso. Pensa, ento, numa sucesso u qualquer e designa por
v uma sucesso qual aches por bem chamar uma subsucesso de u.
Como a definirias?
B No penses que te vou responder imediatamente. Comecemos deva-

gar. . . Comecemos com o primeiro termo da sucesso v. O v1 pode
ser o u1 , se eu no o tivesse eliminado, mas tambm poder ser o u5
ou o u100 , se eu tivesse eliminado todos os termos at s ordens cor-
respondentes. Portanto o v1 tem de ser um u com ndice qualquer
coisa. . . qualquer coisa que seja um nmero natural. Assim
v 1 = up
com p N.
Vejamos agora o v2 . O v2 tem de ser um u com um ndice que tem de
ser maior do que p. Vamos chamar a esse ndice q. Temos assim
v 2 = uq com p < q
A O q um nmero real qualquer maior do que p?
B No!, o q, por ser um ndice, um nmero natural. q um nmero

natural maior do que p.
Consideremos agora v3 . Ora, v3 tambm um u com um ndice e
esse ndice depende dos termos que entretanto suprimimos. Assim
v3 dever ser um ur , onde r um nmero natural maior do que q.
A Se continuares dessa maneira daqui a pouco no h letras que cheguem

para designares os ndices. Repara que: ao ndice 1 de v1 , associaste o
natural p de up ; ao ndice 2 de v2 , associaste o natural q de uq ; ao ndice
3 de v3 , associaste o natural r de ur quando chegares ao ndice 103
de v103 , que letra de que alfabeto vais tu escolher para designares o u
com esse ndice qualquer coisa?
B Tens razo. Mas deste-me uma pista: ao ndice 1 de v1 , associo o ndice

p de up ; ao ndice 2 de v2 , associo um outro ndice, o q de uq e assim
sucessivamente. . . Estou, ento, a estabelecer uma correspondncia
entre os ndices de v (o conjunto dos quais N) e os ndices de u,
ou seja, estou a estabelecer uma correspondncia que a cada natu-
ral n (ndice de v) associa um natural que ser o ndice do termo
correspondente da sucesso u.
41
A Ests, ento, a introduzir uma aplicao de N em N.
B Sim, e uma aplicao de N em N aquilo a que chamamos uma sucesso

de termos naturais. Se designarmos por k uma sucesso de termos
naturais, eu posso escrever uma subsucesso v da sucesso u na
forma
nN vn = ukn
Nota que ao ndice 1 de v1 associei o ndice k1 de u, ao ndice 2 de v2
associei o ndice k2 de u (e no uma nova letra como ingenuamente
fiz ao princpio) e assim sucessivamente.
Ests de acordo?
A Entusiasmaste-te (o que no mau) e, talvez por isso, esqueceste-te de

uma coisa fundamental. Dizes que, dada uma sucesso u
u1 , u2 , u3 , . . . , un , . . .
uma subsucesso de u algo do tipo
uk 1 , uk 2 , uk 3 , . . . , uk n , . . .
onde a sucesso k uma sucesso qualquer?
B No! A sucesso k uma sucesso de termos naturais, uma vez que

cada termo de k um ndice de u.
A Basta-te ento supor que k seja uma sucesso de nmeros naturais. . .
B Tens razo! Esqueci-me de algo fundamental! Atendendo a que os ter-

mos de uma subsucesso se obtm da sucesso inicial por eliminao
de termos, as ordens kn da subsucesso ukn , tm que ir crescendo, ou
seja,
k1 < k2 < < kn
A Era o que faltava! Assim:

dada uma sucesso u, diz-se que v uma subsucesso de u se (e s se) existir
uma sucesso k de termos naturais, satisfazendo a
nN kn < kn+1 (5)
tal que
nN vn = ukn
42
Sucesses
B Disseste o que eu pensava.
A Penso que est na altura de fazermos uma pausa e, por isso, apenas te
fao uma nica pergunta.
B Qual ?
A Ser que uma sucesso tambm uma subsucesso dela prpria?
B Perguntas-me se, dada a sucesso u
u1 , u2 , u3 , . . . un , . . .
ento
u1 , u2 , u3 , . . . un , . . .
uma subsucesso de u?
A Sim.
B Se eu pensar na noo intuitiva que consiste em obter uma subsucesso

por eliminao de termos da sucesso inicial, devo dizer-te que sim
pois que, aqui, eliminei zero termos.
A E se pensares na definio formal?
B Devo, ento, ver se existe alguma sucesso k de nmeros naturais, satis-

fazendo condio (5), e tal que
vn = ukn
Ora a resposta clara basta tomar kn = n. Assim uma sucesso

sempre uma subsucesso dela prpria.
A Numa conversa anterior falmos da noo de limite de uma sucesso u

de termos reais. Demos, ento, uma sentido preciso frase
u tem limite a
onde a um nmero real.
43
B Foi uma muito longa conversa.
A Pois bem, supe que agora te digo que, dada uma sucesso u e dois
nmeros reais a e b, se tem:
u tem limite a e u tem limite b.
B No devo estar a compreender o que me dizes. Em primeiro lugar, a

sucesso u pode no ter limite e, depois, se tiver limite a e limite b,
ento a tem de ser igual a b.
A Supe que u tem limite. Porque afirmas que a tem de ser igual a b?
B A razo simples: se u tem limite a ento un est to prximo de a quanto

eu queira, desde que considere ordens suficientemente grandes, e o
mesmo acontece com b, se tambm supuser que u tem limite b. Ora
se a fosse diferente de b, para ordens suficientemente grandes, todos
os un deveriam estar to prximos de a e de b quanto eu quisesse, o
que impossvel uma vez que a , b.
A Foi uma boa resposta a que deste, se usarmos uma definio de limite
no formalizada. Recorda-te, no entanto, que acabmos por chegar
a uma verso formalizada da frase u tem limite a, e que, portanto,
agora s so aceitveis argumentos que utilizem tal verso.
B Deixa-me ver se percebo o que ests a dizer. . . achas que a minha

intuio de limite boa. . . que com ela at consigo provar o que
pretendes. . . mas no consideras isso suficiente. . . pergunto-me
porqu!
A A intuio fundamental tanto para os conceitos como para as pistas

que fornece para as demonstraes. Mas, depois de formalizado o
quadro em que trabalhamos, as demonstraes s podem usar esse
quadro formalizado e as regras da lgica.
B Queres com isso dizer que o quadro formalizado pode dar origem a
resultados que escapam nossa intuio?
A Disseste-o bem. Embora aqui (na unicidade do limite) no v acontecer

surpresa alguma, podes estar certo de que elas surgiro ainda no
decorrer da nossa conversa.
44
Sucesses
B Vou, ento, restringir-me definio de u tem limite a e que a

seguinte
r>0 pN n>p un Vr (a)
Ora, se u tambm tiver limite b e supusermos a , b, eu devo chegar,
se a minha intuio est certa, a uma contradio e tal contradio
deve provir de: para todos os n suficientemente grandes, os un esta-
rem perto de a e de b simultaneamente. Ora as proximidades de a
e de b so dadas pelas vizinhanas de a e de b. . . e o que est numa
no deve poder estar na outra, se eu as escolher bem, ou seja, se eu
as escolher com raios suficientemente pequenos.
isto?
A Continua.
B Posso fazer uma representao geomtrica?
A Claro.
B Vou supor a < b
e agora vou escolher vizinhanas de a e de b, com raios r1 e r2
Vr1 (a), Vr2 (b)
tais que o que esteja numa no possa estar na outra, ou seja, tais
que elas sejam disjuntas
Vr1 (a) Vr2 (b) =
Geometricamente
Assim, como u tem limite a, considerando r1 (ou seja Vr1 (a)), sei, por
definio de limite, que existe uma ordem p, a partir da qual todos
os un esto na Vr1 (a), e tambm sei que, tomando r2 (ou seja Vr2 (b)),
existe uma ordem q (porventura diferente de p) tal que, a partir dela,
45
todos os un esto na Vr2 (b). Desta forma, a partir da maior das ordens
p e q, todos os un esto na vizinhana Vr1 (a) e na vizinhana Vr2 (b), o
que impossvel, pois que, ento, estariam na interseco
Vr1 (a) Vr2 (b)
que vazia.
A A demonstrao est correcta se provares que existem r1 e r2 tais que

Vr1 (a) Vr2 (b) = .
B Tambm tenho que provar isso?
A Claro.
B Ora, basta tomar r1 (> 0) e r2 (> 0) menores do que metade da distncia

entre a e b. Dito de outra forma, posso escolher
|a b| |a b|
0 < r1 < e 0 < r2 <
2 2
|a b|
A E se tomasses r1 = r2 = ?
2
B Tambm o poderia fazer uma vez que as vizinhanas so intervalos
abertos nas duas extremidades.
A Obtivemos assim o seguinte resultado:
Teorema 1. Seja u uma sucesso de termos reais e sejam a e b dois

nmeros reais. Se u tem limite a e tem limite b, ento, a igual a b.
Trata-se, como disseste, de um resultado intuitivo, mas que, aps
demonstrado, nos permite introduzir o smbolo
lim u
para designar o (nico) limite de u (quando este exista).
B Queres dizer que, antes deste resultado, eu no podia utilizar o smbolo

lim u para designar o nmero real a que fosse o limite da sucesso u?
A Repara no que disseste: o nmero real a que fosse o limite da sucesso

u. Quando o dizes j supes que a nico.
46
Sucesses
B Mas, se eu posso dizer que u tem limite a, por que razo no posso escre-
ver
lim u = a?
A Porque cada termo matemtico tem de designar um nico ente matem-

tico, a fim de que no haja ambiguidade na linguagem matemtica.
Assim lim u tem de designar um nico ente e por isso que preci-
samos de demonstrar a unicidade do limite antes de introduzirmos
lim u.
B Tens razo!
A Considera, agora, uma sucesso u e designa por v uma qualquer subsu-

cesso de u. v ainda uma sucesso, no ?
B Sim.
A Ento, de v podemos perguntar se tem ou no limite, mas se tiver ele

ser certamente nico.
B Claro, uma vez que uma subsucesso ainda uma sucesso, e que j
provmos a unicidade do limite.
A Poder uma sucesso sem limite ter alguma subsucesso com limite?
B Evidentemente. Basta considerar a sucesso (sem limite) w
0, 2, 0, 2, 0, 2, . . . , 0, 2, . . .
dada por
nN wn = 1 + (1)n
Se considerarmos a subsucesso dos termos de ordem par, obtemos
uma sucesso constante que tem por limite 2.
A Poder uma sucesso com limite ter alguma subsucesso sem limite?
B Claro que no!
A Prova-o!
B , para mim, intuitivo, j que uma subsucesso se obtm da sucesso

inicial por supresso de termos.
A Recorda-te que agora estamos num quadro formalizado. . .
47
B J sei. . . j sei. . . vou ter que fazer uma demonstrao em que apenas
utilize as noes de sucesso, subsucesso e limite, e as regras da
lgica.
A assim a Matemtica!
B E vou ter alguma surpresa?
A No. A tua intuio est correcta.
B Deixa-me, ento, ver. . . tenho uma sucesso u com limite a, e considero

uma subsucesso v de u, que posso escrever na forma
nN vn = ukn
onde k uma sucesso de nmeros naturais satisfazendo condio

(5). Quero, agora, provar que lim v = a e para isso vou recorrer
definio de limite. Dada, ento, uma vizinhana r de a
devo encontrar uma ordem p, tal que, se n > p, se tenha vn Vr (a).

Ora, eu sei que isso acontece com a sucesso u (porque lim u = a) e
ainda h pouco disse que
nN v n = uk n
Usando a minha intuio (as subsucesses obtm-se por supresso

de termos da sucesso original) deve-se ter
nN kn n
Ser isto verdade? Ora. . . isso resulta imediatamente de k satisfazer

condio (5).
Ento a demonstrao simples. Dada a Vr (a), eu sei que existe
p N, tal que, se n > p, se tem un Vr (a) (porque lim u = a) e,
portanto, dada essa vizinhana, tambm a partir da ordem p, se tem
vn Vr (a)
uma vez que, sendo n > p, vem kn n > p e portanto ukn Vr (a).
48
Sucesses
A Acabaste de demonstrar, de forma correcta, o seguinte
Teorema 2. Se u uma sucesso de termos reais com limite a, ento

qualquer subsucesso de u tambm tem limite a.
B No sei qual a razo porque ests a dar tanta importncia a este resul-
tado. No fim, o que eu queria era ter um resultado que me garantisse
a existncia de limite e o que obtivemos foi se o limite existe en-
to. . . , o que nada me diz sobre esse problema fulcral.
A Foi com grande satisfao que ouvi esta tua observao. De facto o
resultado obtido no nos serve para provar a existncia de limite,
mas um auxiliar precioso para provar que uma sucesso no tem
limite.
B Ests a preocupar-te com as sucesses que no tm limite? Parece-me

chocante!
A No vejo porqu. Supe que te do uma sucesso e que te perguntam se

ela tem limite. Se provares que ela no o tem respondeste pergunta
que te fizeram. Ora, para provares que ela no tem limite, basta-te
encontrares duas subsucesses com limites distintos ou, ento, uma
subsucesso sem limite.
B Tens razo: isso uma consequncia do Teorema 2. O que eu gostava

era de ver alguns exemplos. . .
A Vamos fazer aqui uma pausa os exemplos aparecero depois.
A Vamos recomear.
B Sim.
A Seja, ento, u uma sucesso que poder ter ou no limite, e seja v uma
subsucesso de u com limite, que vamos designar por b (lim v = b).
Nestas condies dizemos que b um sublimite de u.
B Um nmero real sublimite de uma sucesso u se e s se for limite de

alguma subsucesso de u?
49
A essa a definio de sublimite.

B Mas no h unicidade da noo de sublimite!
A Pois no, o que implica que no podemos fixar um smbolo que de-
signe os vrios sublimites mas podemos pensar no conjunto dos
sublimites de uma sucesso u. Vamos designar esse conjunto por Su .
Sendo w a sucesso definida por
nN wn = (1)n
qual o conjunto Sw ?
B Sw = {1, 1} .
A Ser w uma sucesso com limite?
B Claro que no! e uma justificao muito simples, que resulta da
nossa conversa, a seguinte: se w tivesse limite (chamemos-lhe c),
ento todas as suas subsucesses tinham limite c, pelo que Sw seria
o conjunto (unitrio) {c}. Ora, vimos que Sw tem dois elementos
distintos, donde resulta que w no tem limite.
A Considera, agora, a sucesso r dada, informalmente, por
1 1 1 1
1, , 1, , 1, , 1, , . . .
2 3 4 5
e de maneira rigorosa por

1, se n mpar,
rn =

1

n + 1, se n par.

2
Identifica o conjunto Sr .
B Se eu considerar a subsucesso formada pelos termos de ordem mpar,
ela a sucesso constante e igual a 1, logo tem limite 1, donde se
conclui que 1 sublimite de r (1 Sr ).
Se considerar agora a subsucesso formada pelos termos de ordem
par, que
1
nN r2n =
n+1
imediatamente se v que ela tem limite 0, pelo que 0 sublimite de r
(0 Sr ).
50
Sucesses
Assim
{0, 1} Sr
mas no sei se
{0, 1} = Sr
uma vez que poderiam existir outras subsucesses de r que tivessem
limite diferente de 0 e de 1.
A Poder isso acontecer?
B Penso que no. . . mas ainda no o sei justificar. Deixa-me pensar. . .

suponhamos que havia uma subsucesso de r (chamemos-lhe s) que
tinha por limite um nmero real c diferente de 0 e de 1. . .
A Ests a tentar fazer uma demonstrao por reduo ao absurdo?
B Sim! E vou comear por supor que c est entre 0 e 1 (0 < c < 1);
depois veremos os outros casos.

Consideremos, agora, uma vizinhana de c qual no pertena nem
0 nem 1.
Se lim s = c, ento, a partir de certa ordem, todos os termos de s

deveriam estar na vizinhana e portanto. . . j sei como fao a de-
monstrao. Arranjo vizinhanas de 0 e de 1 que no intersectem a
vizinhana de c.
Ora, como a subsucesso dos termos de ordem par tende para zero,
sei que, a partir de certa ordem (digamos p), todos os termos de u com
ordem par esto na vizinhana de zero que eu escolhi. Da mesma
forma, a partir de certa ordem (que, neste caso, at pode ser 1), todos
51
os termos de ordem mpar de u esto na vizinhana escolhida de 1

(eles, at, so iguais a 1!). Daqui se conclui que, a partir da ordem
p, nenhum termo da sucesso pode estar na vizinhana de c, o que
implica que r no pode ter limite c.
Isto prova o que pretendia no caso 0 < c < 1, faltando-me apenas
tratar dos casos c < 0 e c > 1.
A No digas mais. Quem resolveu o caso 0 < c < 1 da forma como o

fizeste, tambm sabe resolver os casos restantes.
Concluste, assim, que Sr igual a . . .
B Sr = {0, 1}.
A Donde . . .
B r no tem limite uma vez que tem dois sublimites distintos.
A Trata-se, efectivamente, de uma consequncia do Teorema 2. Ora esse

Teorema, com as novas notaes, pode escrever-se na forma
lim u = a Su = {a}
para toda a sucesso de termos reais u. Ser verdadeira a proposio

recproca: para toda a sucesso u
Su = {a} lim u = a ?
B Perguntas-me se verdadeiro que, sendo todos os sublimites iguais, e

iguais a a, ento a sucesso tem limite e o seu limite a?
A essa a pergunta.
B Parece-me que sim, uma vez que, se todas as subsucesses tm o mesmo

limite. . .
A Penso que j ests a elaborar num erro!
B Nem me deixaste concluir a frase!
A Pois no, porque pressinto que h um erro na tua argumentao.
B Aonde?
A Disseste: se todas as subsucesses tm o mesmo limite. . .
52
Sucesses
B E isso no equivalente a dizer que o conjunto dos sublimites unitrio?
A No!
B No sei porqu!
A O que um sublimite?
B o limite de uma subsucesso.
A E todas as subsucesses tm de ter limite?
B Pode, evidentemente, haver subsucesses sem limite.
A Ento Su = {a} no equivalente a todas as subsucesses de u tm

limite a.
B Tens razo! Podem existir subsucesses de u sem limite em particular,

o prprio u que, como vimos, uma subsucesso de si prprio.
Assim Su = {a} apenas equivalente a todas as subsucesses de u
com limite, tm limite a.
A Ainda acreditas que
Su = {a} lim u = a ?
B Comeo a duvidar. . . se eu conseguir encontrar uma sucesso u com um

nico sublimite, mas com uma subsucesso sem limite, ento provo
que falsa esta ltima implicao. Consideremos, informalmente, a
sucesso
0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, . . . , 0, 1, 1, . . .
Esta sucesso tem zero como sublimite e, se eliminarmos todos os

termos nulos, a subsucesso restante no tem limite. . .
A Repara que pretendias encontrar uma sucesso com um s sublimite. . .
B verdade! e esta tem, pelo menos trs 0, 1, 1. Penso mesmo que s

trs. . . tem mesmo s trs! basta adaptar o raciocnio que atrs fiz
para a sucesso r. Seja como for no o exemplo que pretendia.
D-me uma sugesto.
A Pensa na sucesso dos nmeros naturais.
53
B Mas essa no tem subsucesses com limite. . . Ah! precisamente por

no ter subsucesses com limite que ela vai ser importante. Se eu
no exemplo anterior substituir a subsucesso 1, 1, 1, 1, . . . pela su-
cesso dos nmeros naturais, ou seja, se eu considerar a sucesso u
definida, informalmente, por
0, 1, 0, 2, 0, 3, 0, 4, . . .
obtenho uma sucesso com um nico sublimite (Su = {0}) e que no
tem limite.
A Concluste assim que, sendo u uma sucesso de termos reais e a R, se
tem
lim u = a Su = {a}
mas que falso que
Su = {a} lim u = a
e que, portanto, tambm falso que
Su = {a} lim u = a.
B Deixa-me que te diga que este resultado negativo me surpreendeu. Tal-

vez porque eu s estivesse a pensar em sucesses com limite, ou,
ento, naquelas que tm dois, ou mesmo trs, sublimites distintos,
mas que no possuem subsucesses sem limite.
A J reconheceste a importncia das subsucesses sem limite, mas preocupou-
me aquela frase em que referiste as sucesses com dois, ou mesmo
trs sublimites distintos. No imaginas sucesses com quatro, dez,
mil sublimites distintos?
B Mil sublimites distintos?! Com quatro. . . talvez uma adaptao daquele
exemplo que te disse h pouco
0, 1, 1, 0, 1, 1, 0, 1, 1, . . . , 0, 1, 1, . . .
e que tinha trs sublimites. Ora, se eu for intercalando sempre o
nmero dois
0, 1, 2, 1, 0, 1, 2, 1, 0, 1, 2, 1, . . . , 0, 1, 2, 1, . . .
obtenho, de facto, uma sucesso com quatro sublimites. Assim, para
obter mil sublimites bastar intercalar um nmero suficiente de na-
turais, de uma forma semelhante que foi descrita anteriormente.
Trata-se de uma resposta informal, evidentemente. . .
54
Sucesses
A Foi informal, mas estou a entender-te e no tenhas receio de me respon-

deres s prximas perguntas de maneira informal. Peo-te, agora,
um exemplo de uma sucesso u tal que Su = N.
B Queres um exemplo de uma sucesso cujo conjunto dos sublimites seja
N?! Mas N um conjunto infinito!
A Eu sei!
B Uma sucesso com infinitos sublimites?!
A Com o conjunto dos sublimites igual a N, que , de facto, um conjunto
infinito.
B E isso existe?. . . Deixa-me pensar. . . ser que posso utilizar o processo
anterior. . . mas como posso, ento, intercalar infinitos nmeros?
certo que posso suprimir os termos que valem 0 e 1, porque no so
nmeros naturais
0 , 1, 2,
1,
0 , 1, 2,
1,
0 , 1, 2, ...
1,
e que, em vez de 1, 2, posso comear por escrever
1, 2, 3, 4, 5, 6, 7
e depois ir repetindo esta sequncia finita de nmeros
1, 2, 3, 4, 5, 6, 7, 1, 2, 3, 4, 5, 6, 7, 1, 2, 3, 4, 5, 6, 7, . . .
mas assim s obtenho sete sublimites. Por outro lado, se eu escrever
1, 2, 3, 4, 5, . . . , n, . . .
uma vez que a sucesso dos nmeros naturais no acaba, no posso
no fim recomear a escrev-la, porque ela no tem fim.
A Por que queres, usando a tua linguagem, intercalar de uma s vez a
sucesso dos nmeros naturais?
Pelo que eu percebi, pretendes garantir a existncia de um sublimite
custa de um termo que se repete indefinidamente, o que uma
viso redutora, mas que basta para o exemplo que te pedi.
Vou dar-te uma pista. Comea por escrever
1, 1, 2
Se quiseres que 1 e 2 sejam termos indefinidamente repetidos, como
continuarias?
55
B 1, 1, 2, 1, 2, 1, 2, . . . , 1, 2, . . . .
A Mas assim trs nunca seria um termo indefinidamente repetido.
B Tens razo. Mas, aps escrever 1, 1, 2 (onde repeti o nmero 1), na
prxima sequncia de nmeros, onde vou repetir os nmeros 1 e 2,
posso introduzir o nmero trs
1, 1, 2, 1, 2, 3
e quando voltar a repetir a sequncia 1, 2, 3, introduzo o nmero 4
1, 1, 2, 1, 2, 3, 1, 2, 3, 4
Se considerar a sucesso, dada informalmente, por
1, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 6, . . .
parece-me claro que qualquer nmero natural um termo indefini-
damente repetido desde que ele aparea na sequncia 1, 2, . . . , l,
ir aparecer em todas as sequncias seguintes que comecem com 1 e
terminem com l.
A O que podes, ento, concluir?
B Como qualquer termo indefinidamente repetido um sublimite, N est
contido no conjunto dos sublimites da sucesso anterior. Ora, parece-
me claro que esta sucesso no pode ter mais sublimites. Tenho quase
a certeza de que uma demonstrao por reduo ao absurdo resolve
o problema.
A E tens razo, o que no quer dizer que o no faas.
B Agora?
A No! A tua intuio est correcta.
B Ento, embora dada informalmente, encontrei uma sucesso u tal que
Su = N.
A Achas chocante o resultado?
B No te sei dizer. . . surpreende-me que tal possa acontecer. . . talvez por
nunca ter pensado nisso. . .
A melhor resposta que te posso dar a seguinte: de incio: surpresa;
depois: perplexidade; finalmente: algum espanto. Mas nada que
me perturbe a intuio.
56
Sucesses
A Considera, agora, uma sucesso w cujo conjunto de termos seja Q.
B Espera. . . tal sucesso no existe. . . no pode existir!
A Porqu?
B Sejamos cautelosos. Diz-me a minha intuio que no existe uma suces-

so cujo conjunto dos termos seja o conjunto dos nmeros racionais.
A Volto a perguntar-te: porqu?
B No me claro ainda, porque muito do que vem da intuio no encontra

rapidamente uma formulao clara. Preciso de tempo. . .
A No te estou a pressionar. Leva o tempo que quiseres.
B ...
A ...
B Parece-me que j consegui organizar as ideias. . .
A Diz, ento.
B Suponhamos que existia uma sucesso w cujo conjunto dos termos fosse
Q. claro que podemos suprimir os termos que se repetem (todos,
menos um), porque os suprimidos no contribuiriam para a introdu-
o de novos racionais. Assim, sem perda de generalidade, podemos
supor que os termos de w so todos distintos. Tais sucesses, quando
as imagino a serem representadas na recta real, vejo um ponto a ser
marcado aqui, outro ali, outro acol. . . e assim sucessivamente. . .
cada um bem espaado de todos os outros.
Ora, como pode isso acontecer com uma sucesso w cujo contra-
domnio seja Q? O conjunto dos nmeros racionais est to bem
distribudo na recta real que, dados dois reais distintos, por mais
prximos que estejam, existem sempre infinitos nmeros racionais
entre eles. Como podemos, ento, numerar um tal conjunto?
dizer dos seus elementos que este o primeiro (ou seja, a n = 1, cor-
responde este), que aquele o segundo (ou seja, a n = 2, corresponde
aquele). . . e assim sucessivamente. . . A minha intuio diz-me, de
forma categrica, que tal sucesso no existe!
Estou errado?
A Ests!
57
B No pode ser!
A E, contudo, existem sucesses cujo conjunto dos termos Q!
B D-me um exemplo!
A Vais v-lo mais tarde1 .
B E por que no agora?
A Porque temos de terminar a nossa conversa.
B Responde-me s a uma questo.
A Diz.
B Qual o conjunto dos sublimites dessa sucesso w?
A A tua pergunta est mal formulada, uma vez que uma sucesso no
fica definida pelo conjunto dos seus termos se este tiver mais do
que um elemento, existem sempre infinitas sucesses com o mesmo
conjunto de termos, e o conjunto dos sublimites depende de cada
uma delas.
B Tens razo.
A No entanto, no caso em questo tal no acontece. Qualquer sucesso

cujo conjunto de termos seja Q, tem, por conjunto dos sublimites, o
conjunto R.
B R?
A Sim.
B Isso ainda mais espantoso!
A Vou fazer-te um desafio:

admite que existe uma tal sucesso w e demonstra que Sw = R.
B Posso fazer a demonstrao com o pouco que at agora sei?
A Podes.
B Mesmo sendo contra a minha intuio?!

1
Ver no Captulo Cardinalidade. (Este captulo acabou por no ser escrito embora fizesse
parte do plano original. (N.E.))
58
Sucesses
A A tua intuio ir melhorando com o tempo quanto mais souberes

sobre um assunto mais apurada ela ser, e o problema que te propus
daqueles que a faz refinar.
B Presumo que a demonstrao no ser simples.
A No. No simples mas fazvel com o conjunto de conhecimentos

que tens. Claro que te levar algum tempo. . . mas, acredita-me, no
tempo perdido.
B Parece-me que s agora comeo a compreender verdadeiramente uma

coisa em que tanto insistes.
A E que . . . ?
B A necessidade de demonstrar aquilo que afirmamos. A demonstrao

no um luxo, mas uma necessidade mesmo sobre resultados que
nos parecem evidentemente verdadeiros, podemos estar enganados.
A Como j te disse, a intuio um bem inestimvel, mas nunca poders

garantir, perante uma dada questo matemtica, que ela te dar a
resposta correcta.
Tanto com os sucessos, como com os fracassos, a intuio vai-se
apurando, o que a torna cada vez mais poderosa, mas nunca deter-
minante.
B Antes de terminarmos a nossa conversa, ainda te queria pr uma per-

gunta.
A Qual ?
B Existem sucesses cujo conjunto de termos seja R?
A No.
B Graas a Deus!
As sucesses montonas e limitadas e o axioma do supremo

B H que tempo no falvamos e eu que queria tanto discutir contigo. . .
A Sobre?. . .
59
B Sobre o conjunto dos sublimites de certas sucesses e de alguns proble-

mas que entretanto me ocorreram.
A Pois desilude-te. Para hoje tenho um assunto bem preciso. . .
B Que ?. . .
A O das sucesses montonas.
B No me digas!
A Porqu?
B Sucesses montonas depois dos problemas excitantes da ltima sesso.

Francamente!
A Montonas no tem aqui o significado que habitualmente se d a esta

palavra.
B Ah?. . .
A O melhor comearmos com alguns exemplos. Considera as sucesses

u, v, w e z definidas por
1
nN un = n, nN vn = 1 ,
n
1
nN wn = , nN zn = 1.
n
Achas que estas sucesses tm alguma coisa em comum?
B Sob que ponto de vista? Se pensarmos na existncia de limite. . .
A No no na convergncia das sucesses que estou interessado.

Pensa antes na relao de ordem que, para cada uma delas, existe
entre os termos.
B No sei se estou a perceber bem a tua sugesto. . . mas comecemos com

a primeira sucesso e com os seus termos. Falaste-me da relao de
ordem entre os termos, no foi?
A Sim.
B Bem. . . ento o primeiro termo u1 (= 1) menor do que o segundo termo

u2 (= 2) e este menor do que u3 (= 3), e assim sucessivamente. . .
A Formaliza!
60
Sucesses
B Estou a dizer que, para cada n N, un < un+1 .

A Assim
nN un < un+1 .
B Claro.
A E ser esta uma caracterstica comum s quatro sucesses?
B Deixa-me ver. . . vn = 1 1
n
e vn+1 = 1 1
n+1
. . . ora, como 1
n+1
< n1 , vem
vn < vn+1 .
A Estou de acordo, mas explicita melhor o teu raciocnio.
B fcil: se a 1 subtrairmos um nmero e se a 1 tambm subtrairmos um
outro nmero que seja. . . isto est a ficar confuso! O melhor fazer
a subtraco entre vn+1 e vn . Assim, tudo fica claro
1 1 1 1
vn+1 vn = 1 1+ = >0
n+1 n n n+1
pelo que
nN vn+1 > vn .
A Perfeito.
B Quanto a w no h dvida:
1 1
nN < ,
n n+1
tendo-se, assim,
nN wn > wn+1 .
Agora a sucesso z que j no satisfaz aquilo que pensmos ser uma
caracterstica comum, pois que
nN zn = zn+1 .
A Tens razo e, no entanto, ests to perto de encontrar uma caracte-

rstica comum. . .
B No digas mais. . . deixa-me pensar. . . Ora. . . ora, simples! Uma
caracterstica comum
nN an an+1
onde a uma qualquer das sucesses dadas.
61
A Obtiveste o que pretendia. Podemos, agora, dar a seguinte definio:

Sendo a uma qualquer sucesso de termos reais, diz-se que a crescente sse
nN an an+1 .
Desta definio resulta que as sucesses u, v, w, z so. . .
B Crescentes.
A Muito bem.
B Desculpa, mas tenho uma objeco.
A Diz.
B Eu sei que as definies no se discutem, mas o mesmo no acontece

com a terminologia, que podemos considerar ser inadequada. Dizer
que uma sucesso constante, como a sucesso z, crescente no me
parece apropriado. Por que razo no se d outro nome s sucesses
a que chamaste crescentes?
A Que nome escolherias para a sucesso dada, informalmente, por
1, 1, 2, 2, 3, 3, 4, 4, . . .?
Dirias que ela no crescente?
B Eu diria que crescente.
A E, no entanto, esta sucesso (designemo-la por ) satisfaz a
nN n n+1
mas no a
nN n < n+1 .
B Tens razo. Contudo. . .
A No alonguemos esta discusso porque a terminologia tambm larga-

mente arbitrria. Talvez com a seguinte definio suplementar j te
sintas satisfeito.
Uma sucesso b de nmeros reais diz-se estritamente crescente sse
nN bn < bn+1 .
62
Sucesses
B Esta definio no elimina a outra, pois no?
A No! Trata-se de uma nova definio. Diz-me, agora, como classificarias

as sucesses u, v, w, z, atendendo s definies dadas.
B As sucesses u, v e w so estritamente crescentes e, portanto, crescentes,

uma vez que qualquer sucesso estritamente crescente tambm
crescente.
As sucesses z e so crescentes, mas no so estritamente crescentes.
A Est certa a resposta. Quero, agora, pedir-te que me ds as definies

que julgares apropriadas das noes de sucesso decrescente e
de sucesso estritamente decrescente.
B No me parece difcil. Direi que uma sucesso u de termos reais

decrescente sse
nN un+1 un
e direi que uma sucesso v de termos reais estritamente decrescente
sse
nN un+1 < un .
A Muito bem. D-me agora exemplos de sucesses decrescentes e de

sucesses estritamente decrescentes.
B Ora, basta adaptar os exemplos anteriores. As sucesses a, b e c definidas

por
1 1
nN an = n, nN bn = 1 + , nN cn =
n n
so estritamente decrescentes; a sucesso d definida por
nN dn = 1
decrescente, e a sucesso definida (informalmente) por
1, 1, 2, 2, 3, 3, 4, 4, . . .
decrescente, mas, tal como a sucesso d, no estritamente decres-

cente.
A Disseste, e bem, que d uma sucesso decrescente e tnhamos visto

atrs que ela tambm crescente. Assim existem sucesses que so
crescentes e decrescentes!
B A culpa tua! Com a definio de sucesso crescente que deste. . .
63
A Tens razo. No me estou a queixar. Estava apenas a constatar esse

facto. Mas, diz-me: existem outras sucesses, que no as constantes,
que sejam crescentes e decrescentes?
B Deixa-me pensar. Se u crescente, ento
n N un un+1
e se u tambm decrescente, ento
n N un+1 un .
Conclumos daqui que u deve satisfazer a
n N (un un+1 un+1 un )
donde
n N un+1 = un .
Assim
n N un = u1
pelo que u uma sucesso constante. Logo, as nicas sucesses
crescentes e decrescentes so as sucesses constantes.
A uma demonstrao simples, certo, mas foi bem feita. Estou satisfeito.
Diz-me, agora: ser que toda a sucesso u de termos reais crescente
ou decrescente?
B Claro que no! Basta considerar a sucesso u dada por
1, 0, 1, 0, 1, 0, . . .
ou, formalmente, por
1 + (1)n+1
un = .
2
Esta sucesso no crescente porque u1 > u2 e no decrescente
porque u2 < u3 . Alis, parece-me que as sucesses que so crescentes
ou decrescentes. . .
A Espera um pouco. Vamos dar um nome s sucesses que so crescentes
ou decrescentes. Vamos chamar a tais sucesses, sucesses mon-
tonas e, j agora, s sucesses que so estritamente crescentes ou
estritamente decrescentes, damos o nome de sucesses estritamente
montonas.
64
Sucesses
B Montonas, porqu?
A Porque no varia a natureza do crescimento entre os seus termos.
B Ah?!
A Mas, desculpa ter-te interrompido, ias dizer que. . .
B Eu ia dizer que. . . j me lembro. . . que as sucesses a que passmos a

chamar montonas no so o caso vulgar entre as sucesses. Basta
considerar uma sucesso u estritamente crescente e trocar os dois
primeiros termos para obter uma sucesso no montona. E quem
diz os dois primeiros termos, diz dois quaisquer termos.
A verdade, no sentido em que se trata de uma restrio grande dizer

que uma sucesso u montona. Por isso, porque elas so especiais,
as sucesses montonas tm propriedades importantes que no so
verdadeiras, em geral, ou seja, que no so verdadeiras para todas as
sucesses.
B E so essas propriedades importantes que pretendemos estudar?
A Exactamente.
B J estou a vislumbrar o tipo de propriedades importantes em que ests

a pensar. . .
A Que ?. . .
B A relao entre a monotonia e a convergncia.
A Acertaste! Mas como vamos fazer agora uma pausa, peo-te que penses
mais detalhadamente sobre o assunto e que me faas um resumo das
concluses a que chegaste na nossa prxima conversa.
A Estou muito interessado no que tens para me dizer.
B No podias ter dito coisa pior. . .
A Porqu?
65
B Parece-me que as tuas expectativas so grandes e eu no tenho muito a

dizer. Para j, no provei nada e nem sequer cheguei a formalizar as
ideias que tive.
A Teres ideias j um bom sinal. Vamos a elas.
B Provavelmente o melhor comear com as sucesses que inicialmente

me deste e que vou, agora, designar por a, b, c, d e e. Elas foram
definidas por:
1 1
nN an = n, nN bn = 1 , nN cn = , nN dn = 1
n n
e e foi, informalmente, definida por
1, 1, 2, 2, 3, 3, 4, 4, 5, 5, . . .
Todas elas so crescentes, e, j agora, quero dizer-te que s pensei em

sucesses crescentes e na sua relao com a questo da convergncia.
A Foi uma boa escolha.
B Ora, facilmente se v que
lim bn = 1, lim cn = 0, lim dn = 1
e que a e e no tm limite.
Assim, uma primeira concluso, muito simples, que no basta a
uma sucesso ser crescente para ter limite. Isso levou-me seguinte
pergunta:
Qual a diferena essencial entre as sucesses a e e e as sucesses b, c e d?
A Trata-se de uma excelente pergunta!
B Ainda bem que o dizes. O que eu no sei se estars de acordo com a

resposta que encontrei.
A Que foi?
B um pouco confuso o que te vou dizer. . .
A Diz.
B que as sucesses a e e no s so crescentes como ultrapassam

qualquer nmero real que eu considere.
66
Sucesses
A Foi at a que chegaste?
B Foi. Estou a ver que te desiludi!
A De maneira nenhuma! Disseste que tinhas tido ideias e tiveste! Disseste

que no as tinhas formalizado, e reconheceste, assim, a tua principal
dificuldade.
Estou satisfeito. Temos uma boa base para continuarmos a trabalhar.
B E qual a base?
A A tua frase
as sucesses a e e no s so crescentes como ultrapassam qualquer nmero
real que eu considere.
B Mas foi precisamente esta ideia que eu considerei confusa!
A mais do que confusa carece de sentido, o que pior. No entanto,

parece-me que, intuitivamente, atingiste o cerne do problema. S te
falta formalizar.
B Formalizar o qu?
A A frase
a sucesso ultrapassa qualquer nmero real que eu considere.
O que entendes por ultrapassar um nmero real qualquer?
B Estou a ver. . . O que eu pretendo dizer que, dado um nmero real

qualquer, todos os termos da sucesso, a partir de certa ordem, so
maiores do que esse nmero.
A Atendendo a que a sucesso crescente, precisas de dizer que todos os

termos, a partir de certa ordem, so maiores do que. . .
B No! Basta-me dizer que, para cada nmero real , existe um termo
un que maior que , porque, sendo a sucesso crescente, todos os
outros termos com ordens superiores a n tambm so maiores que .
A E no te achas, agora, capaz de formalizar a tua ideia?
B Penso que sim. . . Basta-me dizer que para todo o nmero real (forma-
lizando R), existe um termo un (formalizando n N) tal que
un > .
67
Assim, dada uma sucesso u de termos reais, o que se pretendia dizer

com a frase
u ultrapassa qualquer nmero real que eu considere
pode ser escrito, rigorosamente, na forma seguinte:
R nN un > . (6)
A Esta , ento, a caracterstica comum s sucesses a e e. Esquece-te,

agora, das sucesses a e e e pensa apenas numa sucesso u crescente
que satisfaa condio (6). Poder esta sucesso ter limite?
B Claro que no!
A Estou de acordo contigo. Mas o que afirmaste tem de ser demonstrado.

que no basta ter uma ideia tem que se provar que essa ideia
boa mesmo que ela nos parea, intuitivamente, uma boa ideia.
B Queres, ento, que eu prove que, se u uma sucesso crescente satisfa-

zendo a (6), ento u no tem limite.
A Vou, at, propor-te que demonstres que tal verdade, mesmo que a
sucesso u no seja crescente. Assim, o que pretendo que proves (e
simples) a seguinte proposio:
Se u uma sucesso de termos reais satisfazendo a (6), ento u no tem
limite.
B Eu s tinha pensado no caso em que u era crescente. . . Tens agora que

me deixar pensar. . .
A Compreendeste-me mal! Este um exerccio para resolveres depois da

nossa conversa. que no temos muito tempo a perder.
B E, diz-me, no que ests verdadeiramente interessado no , propria-

mente, nas sucesses a e e, mas nas sucesses que satisfazem a (6). O
que te interessa so, precisamente aquelas que no satisfazem a (6).
So essas que pretendes demonstrar serem convergentes! assim,
ou no?
A Estou, efectivamente, interessado nas sucesses crescentes que no satis-

fazem a (6).
B Sucesses como b, c e d, que so convergentes.
68
Sucesses
A Sim! Mas comecemos por formalizar o que se entende por uma sucesso
u no satisfazer a (6).
B Isso fcil. Basta negar (6). Assim, uma sucesso u (crescente ou no)
no satisfaz a (6) sse
R nN un . (7)
A esta a altura para introduzirmos alguma terminologia. Uma suces-

so u diz-se majorada sse (7) for verdadeira, e a um tal chama-se
majorante de u.
Vou-te, agora, fazer trs perguntas:
1a Poder uma sucesso ter um nico majorante?

2a Poder uma sucesso no majorada ser convergente?
3a Poder uma sucesso majorada no ser convergente?
B Andaste depressa demais. Deixa-me, antes de responder s tuas per-

guntas, ter uma ideia geomtrica do que se entende por majorante e
por sucesso majorada.
Marquemos na recta real um nmero .
0 a
Ora, dizer que um majorante da sucesso u, significa, geome-

tricamente, que todos os termos de u se devem marcar na recta real
esquerda de (podendo, evidentemente, alguns deles serem ).
Dizer que u majorada equivale a dizer que tem pelo menos um ma-
jorante e que, portanto, existe um como o descrito anteriormente.
A S uma pergunta.
B Diz.
A No desenho que fizeste o nmero maior do que 0 e. . .
B Tambm o poderia ter marcado igual a 0, ou menor do que 0, mas

quando se faz uma representao geomtrica tem de se colocar o
nmero nalgum stio foi um acaso marc-lo maior do que 0.
A Est bem. Vamos, ento, s perguntas que te fiz.
69
B A resposta primeira muito simples. Se um majorante da sucesso

u, qualquer nmero maior do que tambm um majorante de u. Se
uma sucesso tem um majorante tem, certamente, infinitos majoran-
tes. Isso muito claro tanto geometricamente como analiticamente,
recorrendo proposio (7).
Quanto segunda questo a resposta tambm me parece simples.
Com efeito se u no majorada ento u no satisfaz a (7) e portanto
satisfaz a (6). Ora, a tua pergunta equivalente ao exerccio que
pretendias que eu resolvesse posteriormente. . .
A No precisas de dizer mais.
B Finalmente, para responder tua questo, basta considerar u definida
por un = n, para todo o n natural, para encontrarmos uma sucesso
majorada (1 um majorante) que no tem limite. A resposta ,
portanto, negativa.
A As perguntas eram simples e as respostas foram igualmente simples.
Estou satisfeito. A questo que, agora, te vou propor mais delicada:
Poder uma sucesso crescente e majorada no ser convergente?
B Chegmos, enfim, com outra roupagem, questo natural.
A No de roupagem que se trata. . .
B Eu sei! Formalizmos o problema. . . e, acredita-me, quando pensei nas
sucesses b, c e d e noutras semelhantes, a minha principal dificuldade
foi no ter nada a que me agarrar alm do crescimento. Agora tenho
mais uma noo, e bem definida a de sucesso majorada. Desculpa
a leviandade do uso do termo roupagem.
A No te recrimines. Vamos tentar resolver o problema.
B Ora bem, temos uma sucesso crescente e que majorada. Seja um
majorante de u e deixa-me fazer uma representao geomtrica da
nossa situao.
......
0 u1 u2 u3 u4 a
De uma forma imprecisa, posso dizer que os un vo crescendo

mas nunca ultrapassam , pelo que me parece, intuitivamente, ver-
dadeiro que a sucesso convirja para um determinado nmero real
70
Sucesses
. Mas como posso provar este resultado, se nem sequer possuo

um candidato a limite?
A Poder esse limite ser ?
B S com muita sorte, porque um majorante e atrs vimos que existem

infinitos majorantes.
A O que ests a dizer que pode ser um majorante demasiado grande.

O que podes, ento, fazer?
B Posso ir diminuindo mantendo-o, no entanto, como majorante.

Diminuindo-o, diminuindo-o at. . . at no o poder diminuir mais.
A Acho que ests a pensar bem, mas a linguagem to imprecisa. . .
B Talvez eu me explique melhor com um exemplo e tire da posteriormente

uma sugesto para um raciocnio geral.
A Faz o que achares melhor.
B Considera a sucesso c dada por
1
nN cn = ,
n
que sabemos convergir para zero, e escolhe = 5. Uma representao
geomtrica desta situao :
......
-1 -1/2 -1/3 0 5
O nmero 5 , evidentemente, um majorante da sucesso, uma vez

que
1
nN < 5.
n
Ora, os nmeros 4, 3, 1, 12 , 13 tambm so majorantes da sucesso c.
Podemos mesmo dizer que todos os nmeros reais maiores ou iguais
a zero so majorantes da sucesso c, e ainda podemos afirmar mais:
qualquer nmero real menor do que zero j no majorante de c.
Assim, quando dizia que podamos ir diminuindo (neste caso 5)
at no o poder diminuir mais (mantendo-o majorante), o que eu
queria dizer que 5 um majorante de c e qualquer nmero menor
71
que 5 ainda majorante de c desde que no seja negativo. H, neste

caso, uma altura em que, se diminuirmos o majorante (ou seja, se
considerarmos um nmero real menor) j no obtenho um majorante.
Para c essa altura o nmero zero.
A espantoso como tudo mais simples quando temos definies preci-

sas, como vais ver. Continuemos a pensar na sucesso c, mas em vez
do raciocnio que fizeste, considera antes o conjunto dos majorantes
de c, que . . .
B o intervalo {x R; x 0}.
A Ento o elemento deste intervalo que procuravas era o nmero. . .
B O nmero 0.
A Que relao estabeleces entre o nmero 0 e o conjunto {x R; x 0}

dos majorantes de c?
B Zero o menor dos majorantes.
A Assim, o limite da sucesso c . . .
B O menor dos majorantes de c.
A Voltemos, ento, questo que te coloquei:

Poder uma sucesso crescente e majorada no ser convergente?
B Penso que no. Toda a sucesso u crescente e majorada deve ser con-
vergente e, agora, at j tenho um candidato a limite: o menor dos
majorantes de u. Deixa-me testar esta conjectura com as sucesses b
e d. Ora, o conjunto dos majorantes de b o conjunto {x R; x 1} e
portanto o menor dos majorantes 1 que , efectivamente, o limite
de b. No caso da sucesso d, o conjunto dos majorantes igualmente
{x R; x 1} e o limite de d tambm o menor dos majorantes.
A Testaste a tua conjectura com apenas trs sucesses, todas elas muito
simples.
B Eu sei! Mas tambm verdade que, de uma forma mais confusa, j tinha
conjecturado a convergncia das sucesses crescentes e majoradas
o que me faltava era o candidato a limite. Isso, e uma terminologia
adequada.
72
Sucesses
A Ests, ento, em condies de demonstrares o seguinte teorema impor-

tante:
Teorema 3. Toda a sucesso de termos reais, crescente e majorada

convergente.
B Queres que o demonstre agora, ou assunto para pensar mais tarde?
A para fazeres agora.
B Vou considerar uma sucesso u crescente e majorada. Seguidamente

penso no conjunto dos majorantes de u e escolho o menor dos majo-
rantes, que vou designar por .
Para provar que u vou recorrer (no me parece ter outra alter-
nativa) definio de limite. Consideremos, ento, uma vizinhana
de (V () = ] , + [).
0 a+e a a-e
e procuremos uma ordem p N tal que a partir dela todos os un

estejam em V ().
O problema, como sempre, est numa boa escolha da ordem p. Ora,
ainda no usei a hiptese da sucesso ser crescente, nem o facto de
ser o menor dos majorantes. Se o menor dos majorantes, ento
no pode ser um majorante de u, pelo que deve existir um termo
uk tal que uk > . . . e. . . do crescimento de u. . . resulta que. . .
Pronto, j est!
A J est o qu?
B J terminei a demonstrao. Basta escolher para p o natural k, porque,

sendo uk > e u crescente, se n for maior do que p (= k), tem-se,
por um lado
< up un
e por outro,
un < +
uma vez que majorante de u. Assim, a partir da ordem p (= k),
todos os un esto na V (), como pretendamos demonstrar.
73
A Fizeste um bom trabalho e, talvez no o saibas, o teorema que acabaste

de provar um resultado fundamental no estudo das sucesses.
Numa outra conversa ainda haveremos de o considerar sob outra
perspectiva. Por agora s tenho uma pergunta a fazer: onde que
esta demonstrao falha (porque tem de falhar!) se considerarmos as
sucesses a e e (que sabemos no serem convergentes)?
B Deixa-me repensar a demonstrao com cuidado. . . Ora, falha logo no

incio da demonstrao: como as sucesses a e e no so majoradas,
no existe conjunto dos majorantes. . .
A No existe conjunto dos majorantes!??
B Bem. . . no existem majorantes. . .
A Com isso estou de acordo!
B Ento o conjunto dos majorantes no tem elementos. . . Ah! desculpa,

o conjunto dos majorantes das sucesses a e e o conjunto vazio.
Alis, o mesmo acontece com qualquer sucesso no majorada o
conjunto dos seus majorantes o conjunto vazio. A demonstrao
falha quando escolho o menor dos majorantes, que no existe para
uma sucesso no majorada.
A Agora estamos de acordo.

Foi por tua ideia que comemos com as sucesses crescentes e a
sua relao com a noo de convergncia, mas de prever que algo
semelhante, relativamente convergncia, ocorra com as sucesses
decrescentes. Por isso peo-te que, sucintamente, me digas como
tratarias esse caso.
B Se bem me lembro, comemos por dividir as sucesses crescentes em

duas categorias distintas: as majoradas e as no majoradas. Que
terminologia devo agora utilizar?
A Em vez do termo majorada usa o termo minorada e em vez de

majorante usa minorante.
B Dada, ento, uma sucesso u (decrescente ou no) digo que um nmero

real um minorante de u sse
nN un .
74
Sucesses
Digo, tambm, que a sucesso u minorada sse tiver pelo menos um

minorante, ou seja, u minorada sse
R nN un .
Evidentemente, se existir um minorante de u, todos os nmeros

reais menores do que tambm so minorantes de u.
Depois vimos que. . . deixa ver se me recordo. . . Ah! Lembro-me
agora que me propuseste um exerccio, para ser resolvido posterior-
mente, e que consistia em provar que
Toda a sucesso no majorada no convergente. (8)
Ora, passando ao simtrico, devo concluir que
Toda a sucesso no minorada no convergente. (9)
A Excelente! E vou aproveitar o que disseste para introduzir mais alguma

terminologia: dada uma sucesso de termos reais, diz-se que u
limitada sse for majorada e minorada.
Assim, uma sucesso no limitada, a que tambm se chama ilimitada,
uma. . .
B uma sucesso que no majorada ou no minorada.
A Podes, assim, encontrar uma proposio que englobe os resultados (8)

e (9).
B Claro! Posso dizer que
Toda a sucesso no limitada no convergente. (10)
A Trata-se de um critrio simples para ver que uma sucesso no con-

vergente. Com efeito, basta ver que tal sucesso no majorada ou
no minorada.
E, diz-me, o que podes, usando (10), garantir para uma sucesso
convergente?
B Se u for convergente, ela no pode ser ilimitada, logo tem de ser limitada.
Assim
Toda a sucesso convergente limitada. (11)
75
A Foi uma boa discusso sobre sucesses majoradas, minoradas e con-

vergentes e, com certeza, mais resultados poderamos obter usando
apenas estas trs noes. Mas, nesta altura, estamos interessados nas
sucesses u que so decrescentes e minoradas, uma vez que j viste
que as no minoradas no eram convergentes.
B Voltemos, ento, s sucesses decrescentes. Sendo u uma sucesso

decrescente, s temos duas hipteses: ou u minorada ou u no
minorada. Como disseste, se u no minorada, u no convergente.
Se u for minorada tenho quase a certeza de que ela convergente.
A Quase?!
B Eu disse quase porque aprendi contigo a no afirmar que uma propo-

sio verdadeira sem a ter demonstrado antes.
A Tens toda a razo! Sou eu que peo desculpa.
B Mas no deve ser difcil a demonstrao. O candidato a limite, neste

caso, deve ser o maior dos minorantes. E, agora, devo fazer ape-
nas uma adaptao da prova que fiz para o teorema 3. Deixa-me
ver. . . Se for o maior dos minorantes, ento + no pode ser um
minorante. . . e portanto. . . portanto. . . j est!
A Desta vez acredito plenamente no teu j est!
B Obtivemos, assim, dois resultados fundamentais para as sucesses.
A Dois resultados que podemos fundir num s.
B Como?!
A Uma sucesso crescente pode, como vimos, no ser majorada. . . e mi-

norada? Poder ela no ser minorada?
B Minorada?. . . claro que tem de ser minorada u1 um minorante, uma

vez que
nN u1 un .
A De modo que. . .
B No digas mais! J estou a ver aonde queres chegar. Como toda a

sucesso crescente minorada, dizer que ela majorada equivale a
dizer que limitada. Assim, o teorema 3 pode escrever-se na forma:
76
Sucesses
Toda a sucesso crescente e limitada convergente.
Ora, se uma sucesso for decrescente, ela , certamente, majorada,

pois que
nN un u1 .
Assim, dizer que uma sucesso u decrescente minorada, equivale

a dizer que ela limitada, pelo que o segundo teorema fundamental
pode escrever-se na forma:
Toda a sucesso decrescente e limitada convergente.
A Continuas, no entanto, a ter dois resultados um para as sucesses

crescentes e outro para as sucesses decrescentes.
B Mas para obter um nico teorema que englobe estes dois, basta recordar
a definio que deste de sucesso montona: uma sucesso u diz-se
montona sse for crescente ou decrescente.
A Quero dar-te o prazer de seres tu a enunciares esse resultado funda-

mental a que damos o nome de Teorema das sucesses montonas e
limitadas.
B Ei-lo:
Teorema 4 (das sucesses montonas e limitadas). Toda a sucesso

de termos reais, montona e limitada convergente.
Mas, agora, peo-te uma pausa que a nossa conversa j vai
longa. . .
A No o nego. Mas no quero que descanses sobre o trabalho feito. Vou-

te levantar, maldosamente, uma dvida: Ser que, efectivamente,
provaste o Teorema das sucesses montonas e limitadas? Na tua
demonstrao no faltar algo?
B Estars a enganar-me?. . . Maldosamente, como disseste. . .
A No! H um argumento, que utilizaste, e que no provaste!
B Ah?!. . .
77
B Isso no se faz!
A O qu?
B Deixar-me acreditar que tudo estava bem, e, quando j comeava a

descansar (e bem tinha direito a isso!), introduzires o grmen da
dvida. . .
A Confesso-te que, para mim, tambm no foi agradvel, mas foi o que
achei mais apropriado para que pudesses melhor. . .
B Descansar!
A Compreender um dos muitos segredos dos nmeros reais.
B Dos nmeros reais! Essa boa! Ns estamos no captulo das suces-

ses. . .
A . . . das sucesses de termos. . .
B . . . reais. . .
A E acaso achars tu que podes discursar bem sobre as sucesses de termos

reais, relegando estes para um captulo passado e estanque, que j
nada tem a ver com as noes que constris sobre ele?
B Parece-me injusta essa observao eu s usei propriedades triviais

dos nmeros reais. . .
A Olha que no!
B No?
A No!
B D-me um exemplo!
A Na realidade no foram muitas foi s uma! Mas sobre essa pode

escrever-se um livro inteiro.
B Ah! No coisa de pormenor. . . Trata-se de algo essencial.
78
Sucesses
A Claro! Nem de outra maneira se poderia justificar a minha atitude. Quis

que pensasses bem sobre o assunto para que visses quo naturais e
subtis so por vezes os erros que cometemos. E tais erros so tanto
mais frequentes quanto sobre o tema mais pensmos ns julgamos,
ento, a intuio infalvel e, sem darmos conta, ela falha num passo
simples, que pode ser fundamental.
B Foi isso que me aconteceu?
A Foi!
B Aonde?
A Recomea a tua demonstrao de que as sucesses de termos reais,

crescentes e majoradas so convergentes.
B O meu primeiro passo foi encontrar um candidato a limite. Por tua

sugesto, pensei no conjunto dos majorantes da sucesso e depois
escolhi o menor deles. . .
A Pra!
B Aqui?
A Precisamente! Como provas que existe o menor dos majorantes?
B Mas. . . a sugesto foi tua.
A Foi s uma sugesto! Mas isso no te dispensa de a demonstrares.
B Mas o limite tem de ser o menor dos majorantes! Disso no tenho a

menor dvida. . . pelo menos intuitivamente. . . Ou ser que a minha
intuio me est a enganar de tal forma que?. . .
A O problema no est a. Apenas pretendo que me justifiques que existe

o menor dos majorantes.
B Queres ento que prove a proposio seguinte:
1. Sendo u uma sucesso crescente e majorada, existe o menor dos majorantes

de u.
A No o que pretendo. Por isso te disse que este problema de grande

importncia tanto para o estudo das sucesses como para o nosso
conhecimento dos nmeros reais.
79
B Estou a ficar confundido. Se tambm no pretendes que eu prove (1). . .

ento, no sei o que queres.
A Olha, vamos fazer aqui uma pausa.
B J?
A Sim, porque penso que bom releres os pargrafos 4 e 5 do captulo dos
nmeros reais. Do primeiro, podes limitar-te a uma leitura rpida,
mas dedica especial ateno proposio 4.2 que afirma que,
entre dois reais distintos, existem infinitos nmeros irracionais (e
tambm proposio 3.2 do pargrafo 3 que afirma que, entre dois
reais distintos, existem infinitos nmeros racionais). Do segundo faz
uma leitura cuidada.
A Fizeste o que te pedi?

B Fiz.
A E, em geral, o que que tens para me dizer?
B No primeiro dos pargrafos que me pediste para reler, a introduo dos
nmeros reais fica incompleta, porque os problemas levantados so
de tal ordem que se optou por escolher uma outra via para a sua in-
troduo. Essa outra via, que consiste numa teoria axiomtica, ficou,
igualmente, incompleta, mas, do que li, parece-me que apenas lhe
falta um axioma para a podermos considerar terminada. Ora, esse
axioma, que exprimir uma propriedade verdadeira apenas para os
irracionais, ser introduzido neste nosso pargrafo. Conclu daqui e
da nossa conversa anterior, que esse axioma deve ser determinante
para a questo (1) que me preocupava. Se isto for verdade, compre-
endo, ento, que no me pudesses pedir uma demonstrao de (1),
porque teoria axiomtica ainda faltava um axioma que presumo ser
decisivo na referida demonstrao. Agora, o que diz o tal axioma
que no sei.
A Foi um bom resumo dos dois pargrafos que te pedi para reler, e a
concluso a que chegaste est certa. No te vou dizer o axioma que
falta, mas vou-te propor que me demonstres, utilizando apenas o
primeiro pargrafo que releste, a seguinte proposio:
80
Sucesses
Existe uma sucesso de termos racionais crescente e convergente para

2.
2.
Dou-te uma sugesto: utiliza a proposio 3.2 do captulo dos nme-

ros reais.
B Ora, essa proposio diz-me que, entre dois reais distintos, existem
infinitos nmeros racionais. E custa deste resultado que queres
que eu prove (2)?
A Sim.
B Curiosamente, em vez de, dada uma sucesso, me pedires que eu prove

que o seu limite um determinado nmero real, o que pretendes,
agora, que, dado um nmero real, neste caso 2, eu encontre uma
sucesso que convirja para ele. E no uma sucesso qualquer ela
tem de ser crescente e de termos racionais.
A esse o problema.

B Encontrar uma sucesso que tenda para 2 fcil basta tomar a
sucesso constante un = 2 para todo o n natural, mas esta, se bem
que crescente, no tem termos racionais.Vou, ento, recorrer defi-
nio de limite usando vizinhanas de 2 com raios cada vez mais
pequenos
e tendentes para zero, por exemplo, vizinhanas da forma
V n1 ( 2) e escolher, em cada uma delas, um nmero racional rn , o que
i h
posso sempre fazer, uma vez que, no intervalo 2 n1 , 2 existem
(proposio 3.2 do captulo dos nmeros reais) infinitos racionais.
Obtivemos, assim, uma sucesso rnde nmeros racionais que se
prova, sem dificuldade, tender para 2.
A E como garantes que a sucesso rn crescente?

i h
B Repara que tive o cuidado de escolher rn no intervalo 2 n1 , 2 .
A Mas isso no te garante que a sucesso rn seja crescente. Considera a

seguinte figura:
81

Supe que na V 1 ( 2) escolheste o ponto r1 e que na vizinhana
V 12 ( 2) a tua escolha foi o ponto r2 . Como r2 < r1 , a tua sucesso no
crescente.
B Tens razo. Mas, penso que isso se resolve

i sem dificuldade. Basta
1
h
escolher um racional r1 no intervalo 2 1, 2 2 , um racional r2
i h
no intervalo 2 12 , 2 31 e assim sucessivamente. Antes que me
digas que ainda no defini a sucesso, acrescento (o que resolve o
problema)
i h cada n N, escolho um racional rn no intervalo
que, para
2 n , 2 n+1 .
1 1

A Acabaste de demonstrar (2). Diz-me, agora, se, em vez de 2, a questo
(2) fosse posta para , poderias dar-me imediatamente a resposta?
B Claro
que posso. Na demonstrao que fiz irrelevante teres-me dado
2, ou , ou mesmo qualquer nmero irracional. Se me tivesses dado
um racional a, a prova at era trivial bastava tomar a sucesso r
constante, com todos os termos iguais a a.
A Concluis, assim, que, dado um qualquer nmero irracional existe

sempre uma sucesso crescente de nmeros racionais convergente
para .
B Sim.
A Supe agora que, em vez de estarmos a estudar os nmeros reais, es-

tvamos, apenas, a fazer um estudo dos nmeros racionais. Neste
novo quadro seria verdadeiro o Teorema das sucesses montonas e
limitadas?
B Claro que no! Se o nosso universo fosse o dos nmeros racionais,

uma sucesso crescente
e majorada como aquela que encontrei e que
convergia para 2, no teria limite.
A Assim, o enunciado do Teorema das sucesses montonas e limitadas

uma proposio verdadeira no conjunto dos nmeros reais, mas falsa
no conjunto dos nmeros racionais.
82
Sucesses
Pergunto-te, agora: poderias ter demonstrado este teorema utili-

zando apenas os axiomas 1 a 14 do segundo pargrafo que releste?
B Acho que no. . . porque os axiomas 1 a 14 tambm so verdadeiros para

os nmeros racionais e, portanto, tudo o que se deduza deles tem,
igualmente, de ser verdadeiro para os nmeros racionais.
A Ento?. . .
B Ento o qu?. . . Espera. . . parece-me que j sei onde queres chegar.

S faltava um axioma Teoria axiomtica dos nmeros reais e esse
axioma devia ser uma propriedade dos nmeros reais que fosse falsa
no quadro dos nmeros racionais. . . Assim, o axioma que faltava
bem podia ser o enunciado do Teorema das sucesses montonas e
limitadas. . . ou, melhor, o Teorema 3
3. Toda a sucesso de termos reais, crescente e majorada convergente.
uma vez que a propriedade semelhante, relativa s sucesses decres-

centes, se deve demonstrar, sem dificuldade, desta. . . um caso a
considerar. . .
A ...
B No! No me parece natural.
A Porqu?!
B No sei se esta proposio . . . desculpa a expresso, suficientemente

potente para, custa dela (e, evidentemente, dos outros axiomas)
demonstrar tudo o que pretendemos dos nmeros reais. Mas no
esta a minha objeco, que no de natureza cientfica mas. . . vais-te
rir. . . esttica.
A No me rio. Estou cada vez mais interessado no que me ests a dizer.
B Supe que admitias (3) como axioma. Antes de o fazeres tinhas que
definir sucesso, limite de uma sucesso, sucesso crescente, sucesso
majorada e, s depois, que podias introduzir (3) como axioma.
Acresce a isto que, entretanto, no poderias demonstrar nada que
apenas fosse verdadeiro para os nmeros irracionais. Terias ento
que voltar atrs e demonstrar o que te faltava. No achas o caminho
tortuoso? No achas que desejvel numa teoria matemtica, uma
certa fluncia, uma certa elegncia na obteno dos resultados?
83
A Estou plenamente de acordo contigo, embora, por vezes, o que dese-

jvel nem sempre seja possvel. Como sobre o aspecto cientfico no
me vou pronunciar, e, estando ns de acordo sobre a parte esttica,
vejamos como podemos resolver a questo dos nmeros reais, sem
recorrer s sucesses, mas tendo em conta o que at agora fizemos.
Considera, de novo, a proposio (3). O limite da tua sucesso cres-
cente e majorada . . .
B o menor dos majorantes.
A Designemos esse nmero por s e marqumo-lo na recta real:
0 s
Nota que esse nmero estabelece um corte na recta real. direita

dele, ou seja, na semi-recta {x R; x > s}, s esto majorantes da
sucesso e esquerda de s, ou seja, na semi-recta {x R; x < s},
no se encontra nenhum majorante da sucesso. O ponto s, que
determina o corte, o menor dos majorantes.
Ora, se em vez de uma sucesso, eu te tivesse dado um conjunto
majorado. . .
B Espera. . . eu sei o que uma sucesso majorada. . . agora um conjunto

majorado?!. . .
A Ests com ateno e com esprito crtico, o que me deixa satisfeito. Mas
estou certo de que s capaz de me dar uma boa definio de conjunto
majorado.
B Essas tuas certezas?!. . . Bem. . . deixa-me ver. . . uma sucesso diz-se

majorada se tiver um majorante e um majorante de uma sucesso
um nmero real que maior ou igual a todos os termos da sucesso.
Assim. . . se A for um subconjunto de R e for um nmero real, eu
vou dizer que um majorante de A sse. . . sse for maior ou igual
a todos os elementos de A.
A Muito bem! Formaliza.
B Sendo A um subconjunto de R, diz-se que R um majorante de A

sse
xA x . (12)
84
Sucesses
Um subconjunto A de R diz-se majorado sse tiver um majorante, ou

seja, A R majorado sse
R xA x .
Claro que, tal como acontecia com as sucesses, se A for majorado, A

tem infinitos majorantes.
A Disseste tal como acontecia com as sucesses, o que me leva a pensar

que consideras a noo de majorante de uma sucesso, um caso
particular da noo de majorante de um subconjunto de R. isso?
B Foi mais uma analogia do que outra coisa qualquer. Mas. . . vendo
bem. . . acho que tens razo. Com efeito, um majorante de uma
sucesso , precisamente, um majorante do conjunto de termos da
sucesso.
A Recorda, agora, o que te disse sobre os cortes na recta real, e relembra

o que necessitas para provar o Teorema das sucesses crescentes
e majoradas. Sers capaz de encontrar uma proposio, onde no
intervenha a noo de sucesso, que distinga os nmeros reais dos
nmeros racionais?
B Eu escolheria a proposio seguinte:
4. Para todo o subconjunto majorado de R, existe o menor dos majorantes.
A Excelente!
B , ento, este o axioma que faltava para completar a Teoria axiomtica

dos nmeros reais?
A No disse tanto. . . estamos perto, mesmo muito perto, mas no nos

devemos apressar. Vou, antes, dar a seguinte definio:
sendo A um subconjunto majorado de R, diz-se que s R o supremo de
A, e escreve-se s = sup A, sse s o menor dos majorantes de A.
B Assim, a minha proposio (4) pode ser escrita na forma
5. Todo o subconjunto majorado de R tem supremo.
85
A verdade, embora tenhas que ter cuidado com a palavra tem. Dizes
que todo o conjunto A R tem supremo, no sentido em que existe
supremo, para todo o conjunto A R majorado, e no no sentido
em que o supremo de A pertence a A. De uma forma imprecisa, o
significado de tem nesta frase, est relacionado com o de existir
e no com o de pertencer.
B Para mim isso claro. Por exemplo, o conjunto A = {x R; x < 2} tem
por conjunto dos majorantes o conjunto
{x R; x 2},
pelo que o menor dos majorantes o nmero 2, que no pertence a

A. Digo que A tem supremo porque existe o menor dos majorantes
de A, mas com isso no quero dizer que o supremo pertena a A.
A Apenas te fiz esta observao porque as proposies escritas em lingua-
gem no formalizada, do, por vezes, azo a diversas interpretaes.
No foi o caso. Ainda bem.
Quero, agora, fazer-te uma pergunta, para esclarecermos, de uma
vez por todas, as relaes que existem entre a proposio (3) e a
proposio (5), candidata a axioma dos nmeros reais:
Por que razo, na proposio (3), supes que a sucesso crescente uma
vez que, sendo majorada, j garantiste a existncia de supremo (ou seja, do
menor dos majorantes)?
B A resposta fcil. O facto de a sucesso ser majorada garante-me,
efectivamente, a existncia de supremo, que um candidato a limite.
Mas, sem mais hipteses sobre a sucesso, eu no posso garantir que
ela seja convergente basta considerar a sucesso u, definida por
nN un = (1)n .
O conjunto de termos de u
{1, 1},
pelo que o menor dos seus majorantes o nmero real 1. Ora 1 no

limite de u, uma vez que u nem sequer convergente.
A hiptese de crescimento, para alm da de majorao, que nos per-
mite provar a convergncia da sucesso. A proposio (5), candidata
a axioma, como disseste, apenas nos d um candidato a limite.
86
Sucesses
A Gostei da tua resposta. Vamos fazer, aqui, uma pausa. . .
B Agora? No me faas isso! Disseste que estou muito perto de encontrar

o enunciado do ltimo axioma da Teoria dos nmeros reais. . . e,
depois, decides-te por uma pausa. Francamente! Pelo menos, d-me
algo em que pensar. . . algo mais preciso do que estar perto de. . .
A Nem todo o subconjunto majorado de R tem supremo! H um, e apenas

um, que no tem.
B E perdi todo o meu tempo com o conjunto vazio!
A O conjunto vazio um subconjunto de R.
B Pois. . .
A Diz-me o que descobriste sobre o conjunto vazio.
B Que ele majorado!
A Como chegaste a essa concluso?
B No me foi fcil, porque no me sinto vontade quando penso no

conjunto vazio.
A Mas provaste que ele majorado. Como?
B Depois de dito, tudo parece ser simples, mas levei muito tempo at
descobrir que qualquer nmero real majorante do conjunto vazio.
Fiz a prova por reduo ao absurdo: supe que R no majorante
de , ento o nmero tem de satisfazer negao de (12), ou seja, a
x x>
que manifestamente falso, porque o conjunto vazio no tem ele-

mentos. Assim falso que R no majorante do vazio, donde se
conclui que majorante do conjunto vazio.
A O conjunto dos majorantes do conjunto vazio ento. . .
87
B R.
A Assim. . .
B O conjunto vazio majorado e no tem supremo, porque no existe o

menor dos nmeros reais.
A Ests, agora, em condio de enunciares o ltimo axioma da Teoria dos

nmeros reais, ao qual damos o nome de Axioma do supremo.
B Penso que a proposio seguinte:
Axioma (do supremo). Todo o subconjunto de R majorado e no vazio

tem supremo.
A E disseste tu que tinhas perdido muito tempo. . . em assuntos como este,
o tempo no se perde!
B Chegmos ao fim, no foi?
A Sim.
B Ainda bem! Posso dormir descansado.
A Vamos, ento, dar por encerrada a conversa.
B Espera!. . . ainda te queria fazer algumas perguntas. . .
A Quais?
B So vrias. . . de uma forma geral, o que gostaria de ver era a resposta que
a teoria axiomtica d s questes 3 no resolvidas pela via geomtrica.
Por exemplo, como se define k 2, e e ? E, j agora, por que no
perguntar como se define a (onde k N e a R+ )?
H tantas perguntas que gostaria de fazer. . .
A Continua. . .
B Olha, por exemplo, as demonstraes que fizemos sobre a boa distribui-

o na recta real dos nmeros racionais e dos nmeros irracionais e
de muitos outros nmeros, foram feitas pela via geomtrica. Como
que essas proposies se demonstram recorrendo via axiomtica?
A E ainda h uma pergunta fundamental que no fizeste!
B Qual?
88
Sucesses
A Introduzimos axiomaticamente os nmeros reais. . . No foi?
B Sim.
A Portanto, s sabemos, dos nmeros reais, o que nos dizem os smbolos

primitivos e os axiomas e o que dos primeiros se pode deduzir e dos
segundos se pode demonstrar
B Quem escolhe essa via, assim que tem de pensar.
A Supe que a escolheste. Diz-me agora: como defines o conjunto N dos

nmeros naturais?
B O conjunto dos nmeros naturais!?
A N no um smbolo primitivo, pois no?
B No. . .
A Ento tens que o definir!
B Mas assim volto ao princpio. . .
A Ests enganado. No princpio s tnhamos intuies sobre os nmeros e

uma representao geomtrica que nunca foi fundamentada. Agora
temos uma Teoria axiomtica dos nmeros reais.
B Sabes. . . estou-me a recordar de uma passagem que li no captulo dos

nmeros reais. . .
A Que era?
B J foi h muito tempo. . . e no me lembro bem do que dizia. Mas era,

mais ou menos isto:
Temos duas escolhas para fundamentar os reais: uma consiste na funda-
mentao dos nmeros naturais, construindo-se os outros nmeros custa
destes; a outra escolhe a fundamentao directa dos nmeros reais.
Nesta ltima via os naturais tm, efectivamente, de ser definidos.
A E a definio no difcil, mas algumas (poucas) propriedades de N tm

de ser demonstradas. Ora, essas propriedades intervm em muitas
das questes que me puseste.
B Por que queres parar aqui?
89
A Acho que aqui que a nossa conversa deve terminar, porque

cada coisa, a seu tempo, tem seu tempo2
2
Primeiro verso de uma Ode de Ricardo Reis.
90

Ppgmutlsucessoes PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Ppgmutlsucessoes PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Sucesses

Grupo de Matemtica da Universidade Tcnica de Lisboa:

disponveis no futuro a partir de http://preprint.math.ist.utl.pt/files/ppgmutlsucessoes.pdf. O DMIST agradece ao Grupo de Matemtica da UTL a

Funes reais de varivel real.

2, 10, 50, 0, 100, 3, 4, 5, 525, 15, 200

Um cansao na mo fez-me parar e o meu interlocutor perguntou-me:

B Ento isto um exemplo de uma sucesso?

A No! preciso continuar (e continuei):

Achei demais e parei definitivamente.

B Temos finalmente um exemplo de uma sucesso.

B No te entendo. Tinhas-me prometido um exemplo de uma sucesso. . .

A Penso que devemos suspender, por momentos, essa promessa e estabe-

B O nmero 10 e design-lo-ia por u2 .

A Diz-me agora qual a ordem do ltimo termo que escrevi na primeira

B A ordem 11 e o termo correspondente, o u11 , 200.

A Diz-me agora quais foram as ordens do primeiro e ltimo termo que

B A ordem 12, sendo u12 = 3, e a ordem 20, sendo u20 = 325.

A Pois bem, da minha sucesso u escrevi os termos u1 a u20 em que

B No sei! s tu que me ests a dar o primeiro exemplo. . .

B A ordem assim to grande?

A Mais do que possas imaginar! Mesmo que depois de morto, outro

B Isso parece-me uma aberrao! Se assim fosse eu nunca saberia qual a

B Ento no existem sucesses, pois que ningum as pode dar.

B Isso demais! Porque insistes na forma de dar o que eu no sei o que ?

A J vais ver. Considera a sucesso v dada por

B O que que isto tem a ver com o que me estavas a dizer?

B Era. . . deixa-me ver. . . o nmero dois.

A Que designavas por. . .

A Ento qual ser o primeiro termo da sucesso v?

B v1 . Devo portanto fazer n = 1 e assim v1 = 1.

A Qual ser o termo de ordem 20?

A E qual ser o seu valor?

A O segredo est numa coisa que j conheces os nmeros naturais.

A Ests errado. Eu posso dar a minha sucesso u, no continuando da

para todo o nmero natural n maior do que 20.

B Se era isso que querias, porque no escreveste

u21 = 1, u22 = 1, etc. ?

A Porque etc. no um termo matemtico, embora possamos usar algo

B a sucesso cujo primeiro termo 2, o segundo termo 1, o terceiro

A Como escreverias isso numa linguagem matemtica?

B Se chamar w a esta nova sucesso, escrevo:

A Acho que est na altura de introduzirmos a definio de sucesso, ou

B Uma s e diz respeito primeira sucesso, aquela a que chamaste u.

A evidente que no o podias saber, porque eu, naquela altura, nunca

um qualquer nmero real que eu escolhesse. Tambm poderia ter

B Ento o que uma sucesso?

A Vais ser tu a dizer-mo.

A Sim, e fcil. Que termos utilizmos at agora?

B Utilizmos os termos: sucesso, ordem, e, para cada sucesso, o termo de

A Comecemos com as ordens. O que que elas so?

A Ento o conjunto das ordens . . .

A E os termos, o que so?

B Para cada ordem, o termo com essa ordem um nmero qualquer.

B Sim, um qualquer nmero real.

A O conjunto dos quais designas por R, no verdade?

B Sim, embora esse conjunto dependa da sucesso em questo, o que no

A Excelente resposta. Fazendo o ponto da situao, temos o conjunto das

A Ento pensa numa sucesso qualquer. Sabes o que o conjunto

B Bem. . . comecemos no princpio. . . tenho a ordem 1 e o termo 1 , depois

A J o sabes. No disseste que a uma qualquer ordem n associavas o

B Sim. . . ento a sucesso essa associao, ou essa correspondncia que a

A Podemos ento dar a seguinte definio:

B O domnio N (que o conjunto das ordens) e o contradomnio (que