Escolar Documentos
Profissional Documentos
Cultura Documentos
ISBN 85-212-029.5-4
EDITORA AFILIADA
,
PREFACIO
Por essas razes, um elos objetivos principais ele um curso ele Anlise
a prtica em demonstraes. Enunciar e demonstrar teoremas uma elas
ocupaes centrais de todo professor ou estudioso da Matemtica, no sendo ad-
missivel que algum que pretenda ensinar Matemtica sinta-se deficiente nesse
mister. Da uma das principais razes ele uma disciplina de Anlise nos cursos
ele licenciatura.
Geraldo vila
Braslia, maio de 2001
Contedo
PRELIMINARES DE LGICA1
Proposies e teoremas
Proposio significa qualquer afirmao, verdadeira ou falsa, mas que faa sen-
tido. Por exemplo, so proposies as trs afirmaes seguintes:
lVeja tambm o artigo de Gilda Palis e laci Malta, na RPM 37. Para o leitor que ainda
no sabe, RPM significa Revista do Professor de Matemtica, uma publicao da SBM (So-
ciedade Brasileira de' Matemtica). Essa revista pode ser assinada, e seus nmeros atrasados
adquiridos, escrevendo para a Caixa Postal 66281, CEP 05..128-999 So Paulo, SP.
2Veja, no final do captulo 1, as notas sobre Fundamentos.
2 Captulo O: Preliminares
E) n um nmero mpar.
Outro exemplo de teorema:
S
e
d
uas f raoes
- a [b e c /d sao
_..
ujuais,
- a
entao b + d.c
= dc = ab +
Esse mesmo teorema pode tambm ser escrito assim:
a c a c a+c
- = - '* - = - = --o
b d b d b+d
Num teorema "P '* Q", diz-se que a hiptese P uma condio suficiente de
Q (suficiente para a validade de Q), ou que a tese Q condio necessria de
P .. Assim, com referncia s proposies atrs, D condio suficiente para que
E seja verdadeira, e E condio necessria de D; quer dizer; valendo D, tem
de valer E, ou seja, necessrio valer E.
A reciproca de um teorema P '* Q a proposio Q '* P, que tambm se
escreve P {:= Q. A recproca de um teorema pode ou no ser verdadeira. Por
exemplo, a recproca do teorema "todo nmero primo maior do que 2 mpar"
"todo nmero mpar primo maior do que 2", Isto falso, pois nem todo
nmero mpar primo. Como exemplo de teorema cuja recproca verdadeira
considere o teorema de Pitgorus:
Se ABC um tringulo retngulo em B, ento AC2 = AB2 + BC2.
Sua recproca tambm verdadeira, e assim se enuncia:
Se ABC um tringulo, com AC2 = AB2 + BC2, ento ABC retngulo
em B.
escrita mais abreviadamente na forma "P se Q". Note ainda que a proposio
P } Q significa que P e Q so proposies equivalentes.
No caso do teorema de Pitgoras, podemos juntar o teorema e sua recproca
num s enunciado, das diversas maneiras seguintes:
Contraposio
Observe que um teorema "A => B" no equivalente nem implica " => ".
Por exemplo, o teorema "Se x um nmero real, ento x < O => x2 > O"
verdadeiro, mas no implica nem equivalente a "x 2: O => x2 ::; O".
Todavia, verdade (como provaremos logo a seguir) que "A => B" e-
quivalente a " => ". Esta ltima proposio chamada a contraposio ou
proposio contraposta proposio "A => B".
Teorem~. Sejam A e B duas proposies, Eniiio, (11 => B) } ( => ).
Demonstrao. Faremos primeiro a demonstrao no sentido =>.Para isso,
nossa hiptese que A => B, isto , que "se A for verdadeira, B tambm ";
queremos provar que "se for verdadeira, tambm ". Ento, comeamos
supondo B verdadeira. Ora, se no fosse verdadeira, pelo princpio do terceiro
excludo, A seria verdadeira; e pela hiptese do teorema (A => B), B seria
verdadeira. Mas, pelo princpio da no contradio, no podemos aceitar isto
(visto que estamos supondo B verdadeira). Ento, no podemos tambm aceitar
que no seja verdadeira, donde, verdadeira, o que conclui a demonstrao
desejada de que B => .
Finalmente, temos de provar a recproca, isto , a implicao <=, vale dizer,
(B => ) => (A => B). Mas isto decorre do que acabamos de provar. De fato,
trocando A por B e B por em (A => B) => (B => ) obtemos exatamente (B
=> ) => (A => B).
Uma aplicao
A contraposio freqntemente usada em demonstraes. Vamos dar um
exemplo disso, primeiro provando, por demonstrao direta, que "o quadrado
de um nmero par tambm par". De fato, nmero par todo nmero n da
forma n = 2k, onde k um inteiro. Ento, n2 = 4k2 = 2(2k2), que da forma
2k', onde k' o inteiro 2k2. Isto completa a demonstrao do teorema.
Consideremos agora o teorerna: "se o quadrado de um inteiro n for mpar,
ento n tambm ser mpar". Podemos provar este teorema diretamente, mas
isto desnecessrio; basta observar que ele o contraposto do teorema anterior,
j que as proposies "ii par" e "n. mpar" so a negao uma da outra.
B: No plano dado no existe mais que uma reta s perpendicular a r, tal que
P E s.
A negao de B que existe mais que uma perpendicular; ora, para afirmar
Captulo O: Preliminares 5
NMEROS REAIS
41 41 41 x 5 205
20 = 22 X 5 = 22 X 52 = 100 = 2,05;
63 63 63 x 52 _
- == -.-- == -.--. = 1,57.').
40 3
2 x J l
2 X 53
Vemos, por esses exemplos, que uma frao ordinria em forma irredul'veP
se lrausjornui em. decimal jiniui se seu denominador niio contm outros fatores
primos alm de 2 e 5.
O que acontece se o denominador de uma frao irredutvel contiver algum
fat~r primo diferente de 2 e 5? Consideremos o exemplo da converso de 5/7
em decimal, ilustrada abaixo. Na primeira diviso (de 50 por 7), obtemos o
resto 1; depois, nas divises seguintes, vamos obtendo, sucessivamente, os restos
3, 2, 6, 4 e J. No momento em que obtemos o resto 5, que j ocorreu antes,
sabemos que os algarismos do quociente voltaro a se repetir, resultando no
perodo 714285. Essa repetio acontecer certamente, pois os possveis restos
de qualquer diviso por 7 so O, 1, 2, 3, 4, 5 e 6. Vemos tambm que o perodo
ter no mximo seis algarismos.
5,00000000 1\...!.7 _
10 O, 714285 7I ...
30
20
GO
40
50
10
Este ltimo exemplo e os anteriores nos permitem concluir que toda frao
irredutvel p/ q, quando convertida forma decimal, resulta numa decimal finita
ou peridica, ocorrendo este ltimo caso se o denominador q contiver algum
fator primo diferente de 2 e 5.
Nmeros irracionais
Podemos conceber nmeros cuja representao decimal no nem finita nem
peridica. Esses so os chamados nmeros irracionais. Mais adiante falaremos
sobre a construo rigorosa desses nmeros. Por enquanto vamos apenas admitir
a existncia deles e examinar algumas conseqncias interessantes.
fcil produzir nmeros irracionais; basta inventar uma regra de formao
que no permita aparecer perodo. Exemplos:
20bserve que a frao tem de ser considerada na sua forma irredutvel. Por exemplo. 63/40
pode ser escrita na.forma redut.vcl 18!J/120, e agora o denominador contm o fator primo 3.
8 Captulo 1: Os nmeros reais
V2 nmero irracional
Parece que o primeiro nmero irracional a ser descoberto foi v'2. Em geral,
difcil saber se um dado nmero irracional ou no, como o caso do nmero 1T,
cuja demonstrao de irracionalidade no simples. Bem mais fcil demonstrar
que o nmero v'2 irracional. Vamos fazer essa demonstrao raciocinando por
absurdo. Se v'2 fosse racional, haveria dois inteiros positivos p e q, tais que
v'2 = t, sendo p/q uma frao irredutvel, isto , p e q primos entre si, ou
seja, eles, no tm divisor comum maior do que L Elevando essa igualdade ao
quadrado, obtemos 2 = p2 / q2, donde '
(1.1)
Isso mostra que p2 par, donde conclumos que p tambm par (se p fosse
mpar, p2 seria mpar), digamos p = 2r, com r inteiro. Substituindo na Eq.
(1.1), obtemos:
4r2 = 2q2, ou q2 = 2r2.
Daqui conclumos, como no caso de p,que o nmero q tambm deve ser par.
Isto absurdo, pois ento p e q so ambos divisveis por 2 e p/q no frao
irredutvel. O absurdo a que chegamos conseqncia da hiptese que fizemos no
incio, de que v'2 fosse racional. Somos, assim, forados a afastar essa hiptese
e concluir que v'2 irracional. '
Nmeros reais
Nmero 1'eal todo nmero que racional ou irracional. Observe que os nmeros
Captulo 1: Os ntimcros reais 9
Exerccios
1. Prove que a dzimn peridica 0,232:323 ... igual a 23/00.
11. Estabelea a seguinte regra: toda dizima peridica simples ("simples" quer dizer que o
perodo comea logo aps a vrgula.) igual a urna [miin ordiruiria, cujo rnuncrodor
ifJlLal a tLTTl.periodo c cujo denominador consliluido de tanlos 9 quantos so os ,alga/~srnos
do perodo ..
12. Prove que a dfzirna peridica 0,21507507 ... igual 'I:
27. Prove que um nmero N quadrado perfeito se e somente se todos os fatores primos de N
comparecem em N com expoentes pares.
28. Prove que um nmero que no seja quadrado perfeito, tampouco ter raiz quadrada
racional.
100x = 23,2323 ... , donde 100x = 23 + x, donde 99x = 23, donde x = 23/99.
3. 1 + 6/9 = 5/3.
9.3 + 2/99.
11. Seja x = O,ala2 ar ala2 ... ar. uma dzima peridica simples, cujo perodo possui os r
algarismos ai, a2, ,ar Multiplicando ambos os membros da igualdade por 10r, obtemos:
d nd = 21507 - 21 = 21486
o e x 99900 99900
1
Dividindo numerador e denominador por 6, obtemos, finalmente, x = 13 5 8 0.
6 6 5
15. Seja x = 3,266 ... Ento, lOx = 32 + 2/3 = 98/3, donde x = 98/30 = 49/15.
18. A resoluo deste exerccio e do exerccio anterior utiliza o mesmo raciocnio do texto no
caso de ,/2. Se .;p
fosse racional, teriamos .;p.=
m/n, com m e n primos entre si. Ento,
p = m2/n2, donde ln2 = 1J11.2 , Isso most ru que -,n2 divisvel por p; logo, m tambm
divisvel por p, ou seja, m = rp, com r inteiro. Daqui e de m2 = pn2 segue-se que
r2p2 = pn2, donde n2 = pr2, significando que n tambm divisvel por p. Mas isto
absurdo, seno TI! e n seriam ambos divisveis por p e m/n no seria frao irredutvel. O
absurdo a que chegamos conseqncia da hiptese inicial de que ..JP fosse racional. Somos
assim forados a afastar esta hiptese e concluir que ,fP irracional.
21. Afirmao falsa. Basta tomar a = 10 +,/2 e b = -,/2, que so nmeros irracionais. No
entanto, (a + b)/2 = 5.que racional.
22. Sejam a um nmero racional e C< um nmero irracional. Se x = a + C< fosse racional, ento
C< = x - a seria racional (por ser a diferena de dois racionais), o que absurdo. Assim,
conclumos que a + C< irracional. Prove, do mesmo modo, que a - Q e C< - a so irracionais.
23. Sejam C< irracional e a # O racional. Se x = ac< fosse racional, o mesmo seria verdade de
Q = x/a, o que absurdo.
Captulo 1: Os nmeros reais 11
x = (x + y) + (x - y)
e y =
(x+y)-(x-y)
.
2 . 2
o leitor deve repetir o raciocnio supondoz - y racional.
26. Sugesto: Suponha que os expoentes SI, ... S( sejam mpares e os demais so pares. Pelo
exerccio anterior, ~ irracional.
Especificao de conjuntos
Um conjunto pode ser definido pela simples listagem de seus elementos entre
chaves ou pela especificao de uma propriedade que caracterize seus elementos.
Assim,
A = {1,3, 5, 7}
(ai (b)
Fig. 1.1
AC =X - A = {x E X: x fi A}.
claro que X" = 4> e 4>c = X. O complementa'r relativo de um conjunto A em
relao a outro conjunto B, ilustrado no diagrama da Fig. 1.2b, definido por
B - A = {x E B: x rf. A}.
Propriedades gerais
Daremos a seguir uma srie de igualdades entre conjuntos, as quais so demons-
tradas provando, em cada caso, que o primeiro membro est contido no segundo
e que o segundo est contido no primeiro:
A u B =B U A; A nB = B n A; A U (B U C) = (A U B) U C;
Captulo 1: Os nmeros rcais 13
(a) (b)
Fig. 1.2
A n (B n C) = (A n B) n C; A U (B n C) = (A U B) n (A U C);
Exerccios
2. Prove que A n E = B n A.
4. Prove que A n (B n C) = (A n B) n C.
8. Prove que E - A = E nA C
Faa um diagrama ilustrativo.
Sugestes e solues
1. Para mostrar que o primeiro membro est contido no segundo, seja x E A U B. Ento, ou
x E A, ou x E B, ou ambos. Se x E A, ento x E B LiA; e tambm, se x E B, x tem de
estar em B U A. Fica assim provado que A U B C B U A. Do mesmo modo prova-se que
B uA C A uB. Conclumos ento que AuB = B U A.
3. Seja x E A U (B U C). Se x E A, ento x E A u B, logo, x E (A u B) U C; e se x E B U C,
h duas possibilidades a considerar: x E B ou x E C. x E B implica x E A U B, logo,
x E (A u B) u C; e x E C tambm implica x E (A U B) u C. Fica assim provado que
A U (B U C) C (A U B) U C. A demonstrao de que (A U B) U C C A U (B U C)
inteiramente anloga.
8. x E B - A *> x E B e x ri. A ,} x E B e x E AC *> x E B n AC Isto significa que
x E B -A *>x E BnAc, ou seja, B-A = BnAc.
9. x E (A u B)" *> x ri. A u B ,} x ri. A e x ri. B *> x E AC e x E ~Bc *> x E AC n BC
Conjuntos enumerveis
A enumerabilidade do conjunto Q
Se surpreendente que o conjunto N seja equivalente a vrios de seus subcon-
juntos prprios, mais surpreendente que o conjunto Q dos nmeros racionais
tambm seja equivalente a N, isto , seja enumervel.
De acordo com o Exerc. 4 adiante, para provar isso suficiente trabalhar
com o conjunto Q+ dos racionais positivos. Comeamos reunindo as fraes
em grupos, cada grupo contendo aquelas que so irredutveis e cuja soma do
16 Captulo 1: Os nmeros reais
135 7
7' 5' 3' 1
o grupo correspondente soma 8. Observe que cada grupo desses tem um
nmero finito de elementos. Basta ento escrever todos os grupos, um aps
outro, na ordem crescente das somas correspondentes, e enumerar as fraes na
ordem em que aparecem. claro que todos os nmeros racionais aparecero
nessa lista:
1 2 1 3 1 2 3 4 1 5
i' 2' i' 3 ' i' 4' 3' 2' i ' "5' i'
Nmeros irracionais
O primeiro nmero irracional com que nos familiarizamos, ainda no ensino fun-
damental, o nmero 7r, razo do comprimento de uma circunferncia pelo seu
dimetro -".Mas, como a demonstrao da irr acionalidade desse nmero est fora
do alcance da Matemtica do ensino fundamental e mdio,o aluno apenas
informado de que a expanso decimal desse nmero innnil. e no peridica.
Um pouco mais tarde, ainda no ensino fundamental, o aluno trava conheci-
mento com os radicais; e, novamente, apenas informado de que nmeros como
,;2, V3, etc., so nmeros irracionais (embora esteja perfeitamente ao seu al-
cance entender a demonstrao de irracionalidade de ,;2 que fizemos atrs, bem
como outras demonstraes dadas nos exerccios).
Esse "aprendizado" dos nmeros irracionais pode deixar no aluno a im-
presso de que nmeros irracionais so o 7r e alguns radicais; e ele talvez at
forme a idia de que o conjunto desses nmeros seja bem reduzido, no mximo
enumervel. Mas isto no verdade; trata-se de um conjunto infinito e no
enumervel (Exerc. 7 adiante), fato este que segue como conseqncia da no
enumerabilidade do conjuri.to dos nmeros reais, que provaremos a seguir.
~ A no enumerabilidade do conjunto R
Vimos, um pouco atrs, que o conjunto Q enumervel. Isto poderia at sugerir
que todos os conjuntos infinitos fossem enumerveis, .como de fato se acreditava
fosse verdade. Em 1874 Cantor surpreendeu o mundo matemtico com uma de
suas primeiras descobertas importantes sobre conjuntos, a de que o conjunto
dos nmeros reais no enumervel, ou seja, tem cardinalidade diferente da do
conjunto N dos nmeros naturais.
Captulo 1: Os nmeros reais 17
Para provar isso trabalharemos com os nmeros do intervalo (O, 1), que tem a
mesma cardinalidade da reta toda (Exerc. 8 adiante). Usaremos a representao
decimal. Observamos que alguns nmeros tm mais de uma representao, como
0,4 e 0,3999 ... Para que isto no acontea, adotaremos, para cada nmero, sua
representao decimal infinita. Assim,
E com esse procedimento cada numero ter uma nica representao decimal
infinita.
Suponhamos que fosse possvel estabelecer uma correspondncia biunvoca
dos nmeros do intervalo (O, 1) com os nmeros naturais. Isto o mesmo que
supor que os nmeros desse intervalo sejam os elementos de uma seqncia
Xl: X2, X3,'" Escritos em suas representaes decimais, esses nmeros seriam,
digamos,
. X2 = 0, a21a22~23 a2n ..
X3 = 0, a3ta32a33 a3n .. ,
. . .. . . . . . : . . . . ... . . ~.. . . . . . . .
3 A regra no pode produzir um nmero que s contenha zeros. a partir de uma certa casa
decimal, pois tal nmero seria convertido noutro com algarismos 9 a partir dessa mesma casa,
o qual poderia coincidir com algum nmero da lista.
18 Captulo 1: Os nmeros reais
~s-j
1. Construa uma bijeo entre o conjunto N e o conjunto dos nmeros mpares positivos.
2. Construa uma bijeo entre o conjunto N e o conjunto dos nmeros quadrados perfeitos.
3. Construa urna bijeo entre o conjunto N C seu subconjunto {n, n + 1, n -I- 2, ... }.
4. Sejam A um conjunto finito e B um conjunto enumervel. Mostre que o conjunto A U B
enumervel.
&supondo que A e B sejam dois conjuntos infinitos enumerveis, mostre que A U B enu-
mervel. Prove, em seguida, que a unio finita de conjuntos enumerveis enumervel.
6. Prove que se um conjunto infinito no enumervel A a unio de dois outros B e C, ento
pelo menos um destes no enumervel.
7. Prove que o conjunto dos nmeros irracionais no enumervel.
8. Construa uma bijeo do intervalo (0,1) na reta (-00, +00).
9. Mostre que todo conjunto infinito possui um subconjunto enumervel.
10. David Hilbert (1862-1943) certa vez observou que um hotel com um nmero infinito de
quartos sempre pode acornodnr mais hspedes, at mesmo uma infinidade deles, 1I1eSInO
que os quartos do hotel j estejam todos ocupados. Mostre como fazer isso.
Grandezas incomensurveis
Historicamente, a primeira evidncia da necessidade dos nmeros irracionais
ocorre com a idia de "incomensurabilidade", que explicaremos logo adiante.
Comecemos lembrando que na Grcia antiga, os nicos nmeros reconhecidos
como tais eram os nmeros naturais 2, 3, 4, etc. O prprio 1 no era considerado
nmero, mas a "unidade", a partir da qual se forrnavarrr os nmeros. As" fraes
s apareciam indiretamente, na forma de razo de duas grandezas, como, por
exemplo, quando dizemos que o volume de uma esfera est para o volume do
cilindro reto que a circunscreve como "2 est para 3.
Os nmeros que hoje chamamos de "irracionais" tambm no existiam na
Matemtica grega. Assim como as fraes, eles iriam aparecer indiretamente,
tambm como razes de grandezas da mesma espcie, como comprimentos, reas
ou volumes; e, ao que parece, foram descobertos no sculo V a.C. No sabemos
se essa descoberta foi feita por um argumento puramente numrico, como o da
demonstrao da p. 8; pode ser que os gregos tenham utilizado alguma cons-
truo geomtrica, como a que vamos descrever adiante, envolvendo a diagonal
e o lado de um quadrado. \
A medio de segmentos
Para bem entender essa questo, comecemos lembrando o problema de comparar
grandezas da mesma espcie, como dois segmentos de reta, duas reas ou dois
volumes. Por exemplo, no caso de dois segmentos retilneos AB e CD, dizer
que a razo AB IC D o nmero racional tn l n , significa que existe um terceiro
segmento E F tal que A B seja m vezes E F e C D n vezes esse mesmo segmento
EF. Na Fig. 1.3 ilustramos essa situao com m = 8 e n = 5.
AI
l!
AB 8
=-
CD 5
I I
C {) F. F
Fig. 1.3
A B
I IIII1 I II I I I I I I I I I I I I I I I 1I I I I I
AB 29
-- --
CD 26
I I I I II I J I I I I I I I I I I I 1I I I I I I I
c ()
~
,Fig.lA
1
Dois segmentos nessas condies so ditos comensurveis, justamente por
ser possvel medi-Ios ao mesmo tempo. com a mesma unidade E F. Entretanto,
no verdade que dois segmentos quaisquer sejam sempre comensurveis. Em
outras palavras, existem segmentos AB e CD sem unidade comum EF, os
chamados segmentos incomensurveis. Esse um fato que contraria nossa in-
tuio geomtrica, e por isso mesmo a descoberta de grandezas incomensurveis
~a antigidade foi motivo de muita surpresa para todos os matemticos daquela '(\
~o~
, ,~'
~t
Segmentos incomensurveis \
,
. 1\/\
'-<. O
n!
lj"-' /'.,
( ;,.'f ,I'r)vV
,J '
(,,\7\ a:
f
Foram os prprios pitagricos que descobriram que o lado e Va diagonal de um
quadrado so grandezas incomensurveis. Isso aconteceu provavelmente entre
450 e'400 a.C. Vamos descrever, a seguir, um argumento geomtrico que demons-
tra esse fato.
A Fig. 1.5 ilustra um quadrado cuja diagonal denotada por = AB e cujo
lado ,\ = AC. Suponhamos que e sejam comensurveis. Ento existir um
terceiro segmento que seja um submltiplo
(J' comum de e '\. Fazemos agora
a seguinte construo: traamos o arco C D com centro em A e o segmento
Captulo 1: Os nmeros reais 21
Fig. 1.5
= AB = AD + BD = + BD,
ou seja,
,\ = BC = BE + Ec:' = BE + BD,
:\~
(1. l)
.:.-I
(1.2)
o retngulo ureo
B F c
a b
o. a
Fig.I.6
a+~
A F. f)
a+b a
(1.3)
a b
a b
a-b
a+b a (a+b)-a a b
ou seja,
a b a-b b a-b
Diviso urea
Diz-se que um ponto C de um segmento AB (Fig. 1.8) divide esse segmento na
razo urea se
AB AC
(1.5)
AC CB
Diz-se tambm que C divide ABem media e extrema razo (ou meia e extrema
razo), isto porque o segmento AC aparece duas vezes na proporo como termos
do meio, enquanto AB e C B so os termos extremos.
A relao (1.5) precisamente a relao (1.3) se pusermos AC = a e C B = b,
de sorte que os segmentos AC e C B (ou AB = a + b e AC =a) da diviso urea
24 Captulo 1: Os nmeros reais
c R
Fig. 1.8
A B
Fig. 1.9
Exerccios
L Utililzando o Teorema de Pitgoras e ofato de que o lado e a diagonal de um quadrado so
grandezasIncomensurveis, prove que no existe nmero racional cujo quadrado seja: 2,
2. Pro~e" geometricamente, que os lados de um retngulo ureo so grandezas incornen-
suraveis. (
3. Desenhe um pentgono regular de lado I e diagonal d. Prove que d]] a razo urea (donde
segue que esses segmentos so incomensurveis),
\J . '
(?\Prove, geometricamente, que o lado e a diagonal de um pentgono regular so incomen-
suraveis.
5. Dado um segmento AB de comprimento a, construa geometricamente um retngulo ureo
com lado menor igual ao segmento AR.
6, Utilize a construo do exerccio anterior 'para construir, geometricamente, o ponto C que
faz a diviso urea do segmento A B,
Sugestes
1. Tome um quadrado de lado unitrio e aplique o teorema de Pitgoras.
2. Com referncia Fig. 1.8, suponha que existam um segmento a e nmeros inteiros a e b
satisfazendo a condio:
AD = (a + b)a e AR = bo:
Em conseqncia, todos os nmeros da seqncia (1.4) seriam inteiros. Termine a demons-
trao.
Captulo 1: Os nmeros reais 25
nA =mB e nC =mD.
e igualmente, se
Pois bem, esse teste o que Eudoxo utiliza para dar uma definio de igualdade
de duas razes, A ; B e C ; D, que se aplique sempre, sejam os segmentos
comensurveis ou no.
Exerccios
1. Dizemos que duas fraes so iguais quando tm a mesma forma irredutvel. Por exemplo,
12/40=18/60, pois
12 3x 4 3 18 3x 6 3
40 = 10 x 4 = 10 e 60 = 10 x 6 = 10'
Mas podemos tambm definir igualdade de fraes pela igualdade do produto dos meios
com o produto dos extremos, como neste exemplo:
12 = 18 {=} 12 x 60 = 18 x 40,
40 60
Prove que esses dois modos de' definir igualdade de fraes so equivalentes, isto , prove o
seguinte: dadas duas fraes m/n e m' /n', mn' = m' n {=} existem nmeros primos entre
si p e q, e nmeros inteiros positivos a e b, tais que
Sugestes e solues
L A demonstrao no sentido : fcil e fica a cargo do leitor. Para demonstrar a recproca,
suponha que mn' = m'n. Sendo a o mdc de m e n, teremos: m = ap e n = aq, onde p e q
so primos entre si. Destas duas ltimas relaes segue-se que mn' = apn' e m'ri = aqm';
e destas obtemos pn' = qm', Daqui se conclui 'que p divide o produto m' q, e, como primo
com q, divide m': Portanto, existe b tal que m' = bp. Finalmente, para provar que n' = bq,
basta substituir m' = bp em pn' = qm'.
2. Prove que oA = mB; em seguida, que nm'o' = mn'ir", donde nm' = mn'.
3. No pode simplesmente escrever A/ B = m jri e multiplicar cruzado; afinal, precisamente
isto que se pede para provar!
r;:.O
Ut'lmero
que se deseja provar que se r um nmero racional positivo tal que r2 <
racional 8 > r tal que ,<;2 < 2. Isto se consegue aumentando
existe outro
T de urna quantidade
2,
bem pequena, digamos, 1/11, com 11 um inteiro bem grande. Mas quo grande? Vejamos:
tomando S = T +-l/n,queremos que
ou seja,
2 2r 1
T +-+
o
-n2 < 2,
ou ainda,
( 1) 1
2r+; ;<2-r. 2
Temos de resolver esta inequao para determinar possveis valores de 11. Podemos evitar
isso, resolvendo uma inequao bem mais simples. Para isso adotamos um procedimento
que freqente em Anlise: como o ::::1, temos que'1jn' :S'1, portanto,
que resulta em 11 > (2r + 1)/(2 - r2). claro que com qualquer n nessas condies teremos
tambm (r + 1/n)2 < 2, que o resultado desejado.
Captulo 1: Os nmeros reais 29
2r
n
Cortes de Dedekind
Observe que a definio de Eudoxo associa, a cada par de grandezas, digamos
(A, B), dois conjuntos de pares (m, n) de nmeros naturais: o conjunto E ("E"
de esquerda) dos pares para os quaismB < nA (que fariam m l n < AI B se AI B
tivesse significado numrico) e o conjunto D ("D" de direita) dos pares para os
quais mB > nA (que fariam AI B < mf n. se A.I B tivesse significado numrico).
Inspirando-se na definio de Eudoxo, Dedekind parece ter notado que o
procedimento do sbio grego leva a uma separao dos nmeros racionais em dois
conjuntos. Assim, qualquer nmero racional r efetua um "corte" ou separao
de todos os demais nmeros racionais no conjunto E dos nmeros menores do
30 Captulo 1: Os nmeros reais
A relao de ordem
Mas no basta apenas juntar a Q os novos elementos para obter R. Este conjunto
precisa ter a estrutura que dele se espera, da termos de definir as operaes
usuais de adio, multiplicao, etc., e a relao de ordem. E fazer isso de
maneira a tambm provar as propriedades usuais desses nmeros, que j co-
nhecemos e usamos desde o ensino fundamental.
No que diz respeito relao de ordem, por exemplo, devemos introduzi-"
Ia em R de forma a preservar a ordem j existente entre os racionais. Para
isto, sejam Ct e f3 dois nmeros reais quaisquer, caracterizados pelos cortes que
Captulo 1: Os nlmeros reais 31
A primeira coisa que temos a fazer aps uma definio como esta provar
que o par (E, D) de fato um corte, isto , que E e D no so vazios, e que se
x E E e y E D, ento x < y.
Ora, que E i- <p segue do fato de que E1 i- <p e E2 i- fjJ, de forma que existe
algum x + y E E. Para provar que D =F fjJ notamos que, tomando x E DI e
y E D2, a soma x + y E D, pois x + y maior que todo elemento de E.
, Finalmente temos de provar que todo elemento de E menor que todo , ..'
elemento de D. Para isto, sejam x E E e y E D. Suponhamos, por absurdo,
32 Captulo 1: Os nmeros reais
o teorema de Dedekind
Observao. Por corte de nmeros reais entende-se todo par (E, D) de con-
juntos no vazios de nmeros reais, cuja unio o conjunto R, e tais que todo
elemento de E menor que todo elemento deD: Pois bem, o teorerna afirma
que, dado qualquer corte desse tipo, sempre haver um nmero real a que ser,
ou o maior elemento de E ou o menor elemento de D.
1 2 3 n
- < - < - < ... < -- < ...
2 3 4 n+l
e nenhuma dessas fraes maior do que todas as outras. Pelo contrrio, qual-
quer delas superada pela que vem logo a seguir, isto ,
n
--<--.
n +1
n+1 n+2
1.7. Teorema.. Todo conjunto no vazio de nmeros reais, que seja /-i-
mitado superiormente, possui supremo. (Esta a propriedade do supremo que
mencionamos atrs.)
elemento c pode ser o prprio S, quando este for o mximo do conjunto. Por
exemplo, o conjunto
tem supremo 7, que tambm seu mximo. Dado e = 1/2, S - e ser 13/2; e
o nico elemento do conjunto direita de 13/2 o prprio 7 .
.A noo de nfimo introduzida de maneira anloga de supremo.
Exerccios
1. Dado um corte (E, D), prove que se e E E e x < e, ento x E E; e que se d E D e y > d,
ento y E D. Isso significa que E uma semi-reta que se estende para -00 e que Duma
semi-reta estendendo-se para +00.
2. Seja r um nmero racional. Prove que.o conjunto E dos nmeros racionais menores do
que r no tem mximo; e que o conjunto dos nmeros racionais maiores do que r no tem
mnimo.
3. Dados dois nmeros reais quaisquer, Q e {3,prove a chamada lei da tricotomia, que diz: ou
Q < {3,ou Q = {3ou Q > .3.
~rove que entre dois nmeros reais distintos h urna infinidade de nmeros racionais.
Vrove que entre dois nmeros reais distintos h urna infinidade de nmeros irracionais.
36 Captulo 1: Os nmeros reais
6. Dados trs nmeros reais a, f3 e I, prove que a < f3 e f3 < 1 ~ a < I'
7. Dado um nmero real a = (E, D), defina o oposto -a tal que a + (-a) = O.
8. Prove que o nmero 1 efetivamente o supremo do conjunto definido em (1.6), mostrando
que, dado > O, existe N tal que n 2: N =? 1 - < n/(n + 1).
9. Considere o conjunto {1/m -1/n: m, n E N}. Prove que -1 e 1so o nfimo e o supremo
desse conjunto, respectivamente, e que eles no pertencem ao conjunto.
10. Prove que todo conjunto limitado inferiormente tem nfimo.
11. Prove que a > 1 =? c" >a para todo inteiro n > l.
12. Prove que O < a < 1 =? a" <a para todo inteiro n > 1.
13. Use a propriedade do supremo para provar a existncia da raiz quadrada positiva de 2.
14. Generalize o exerccio anterior, isto , use a propriedade do supremo para provar a existncia
da raiz n-sima positiva de qualquer nmero a > O,a i 1.
15. Sejam A e B conjuntos numricos no vazios. Prove que
ACB=>infA2:infB e supA~supB.
16. Sejam A e B dois conjuntos numricos no vazios, tais que a ~ b para todo a E A e todo
b E B. Prove que sul' A ~ inf B. Com a mesma hiptese, prove ainda que sul' A = inf B *>
qualquer que seja > O, existem a E A e b E B tais que b - a < e,
17. Sejam A e B dois conjuntos numricos no vazios, limitados inferiormente, e r um nmero
tal que r ~ a + b para todo a E A e todo s B. Prove que r ~ inf A + inf B. Enuncie e
demonstre resultado anlogo para os supremos.
18. Dados dois conjuntos numricos limitados A e B, definimos o conjunto A + B = {a + b:
aE A, b E B}. Prove que sup(A + B) = supA + sul' B, e inf(A + B) = inf A + inf B.
19. Dado um conjunto numrico limitado A, e um nmero real qualquer a, definimos o conjunto
o A = {aa: a E A}. Mostre ento que sup(aA) = o sup A, inf(aA) = o inf A se a 2: O;
e sup(aA) = a inf A se a < O. Em particular, sup( -A) = - inf A, ou ainda, sul' A =
- inf(-A).
Sugestes e solues
1. Raciocine por absurdo. Veja bem, a negativa da primeira proposio dada : existem um
e E E e um x < e tal que x f/: E, donde x E D. Confronte isso com a definio de corte
para encontrar o absurdo.
2. Tem-se de provar que, dado e E E, existe e' E E, e' > e. Para isso, seja e > O um nmero
racional tal que e < r-e. Ento, e' = e + < e + (r - e) = r; logo, e' E E e e' > e.
Demonstre a segunda parte.
5. Sejam a e f3 os nmeros reais dados, com a < f3. Se a for racional, os infinitos nmeros
a + ../2/n, a + ../2/(n + 1), a + ../2/(n + 2), a + ../2/(n + 3), ... so todos irracionais; e
estaro todos entre a e f3, desde que n seja suficientemente grande; por exemplo, basta que
a + ../2/n seja menor do que f3, ou seja, n > ../2/(fJ - a). O leitor termine fazendo o caso
em que a for irracional.
Faa outro raciocnio, servindo-se do resultado do exerccio anterior.
7. Seja d o elemento de separao no corte (E, D). d o menor elemento de D. Sejam
E' = D U {d} e D' = D - {d}. Prove que -a = (-D', -E') realmente um corte, e
que satisfaz a condio desejada. Lembre-se de que O = (A, B), onde A o conjunto dos
nmeros racionais negativos e B o conjunto dos nmeros racionais 2: O.
Captulo 1: Os nmeros reais 37
tL Observe que a .ncgac de "z menor que algum elemento de Gil I(x maior ou igual a
todo elemento de C" .
9. N > (1 - )/.
10. Seja A um conjunto limitado inferiormente e seja B o conjunto de todas as cotas inferiores
de A. claro que B no vazio e limitado superiormente por qualquer elemento de A,
de forma que B tem supremo; alm disso, sendo s esse supremo, todo nmero menor do
que s pertence a B. Vamos provar que s o nfimo de A. Observe que a) s :5 a para todo
a E A, pois qualquer nmero menor do que s est em B, Ademais, b) dado" > O, existe
. a E A tal que a < s + e, seno todo nmero menor do que S + estaria em B e s no seria
o supremo de B.
11. a> 1 => a2 > u, logo a? > a > 1. Isso, por sua vez, implica n:l > li? > Q. Assim
prosseguimos at chegarmos a a" > a,,-l > ... > a.
12, Observe que b = l/a> 1.
13. Considere o conjunto C dos nmeros c ~ O tais que c2 < 2, Trata-se de Ulll conjunto
no vazio, pois contm o nmero 1. Vemos tambm que C limitado superiormente (pelo
nmero 2, por exemplo). Designando por b seu supremo, vamos provar que b2 = 2. Para
isso, mostremos primeiro que absurdo ser b2 < 2. De fato, nesta hiptese, seja um
nmero positivo menor do que 1, de sorte que
donde obtemos
v: > (1: b" ) n > a.
Ora, isso tambm contradiz o fato de b ser o supremo do conjunto C, de forma que devemos
concluir que b" = a, como desejvamos.
38 Captulo 1: Os nmeros reais
15. Faa um desenho para ajudar no raciocnio.' Como A C B, todo elemento de A maior ou
igual a algum elemento de B e menor ou igual a algum outro elemento de B.
16. Raciocine por absurdo: se inf B < sup A, pela definio do supremo teria de haver algum
elemento de A maior do que inf B; e pela definio do nfimo, esse elemento de A seria maior
do que algum elemento de B. Voc est fazendo um desenho para ajudar no raciocnio?
17. Como r :S a + b para todo a E A (e b fixo), devemos ter r:S inf A + b (se no ... ); e como
isto verdade para todo b E B, devemos ter tambm r :S inf A + inf B.
Desigualdade do tringulo
Fig. 1.10
Exerccios
l. Prove as quatro desigualdades em (i.s) e (l.a).
2. Prove que se a desigualdade [u] - Ibl :' Ia - bl vlida quaisquer que sejam a e b, o mesmo
verdade de Ia + bl :' [c] + Ibl
3. Prove por induo que IUI + a2 + ... + anl :' lad + 1021+ ... + lanl, quaisquer que sejam
os nmeros ali a2, anoI
4. Prove que 101+ a2 + ... + anl ~ 1011- la21-. - 10nl, quaisquer que sejam os nmeros
Sugestes e solues
l. A primeira desigualdade em (1.5) conseqncia de (1.7) com -:b em lugar de b. Quanto
segunda com sinal negativo} observe, por (1.7), que
Os Elementos de Euclides
Temos muito pouca informao sobre Euc1ides, que teria vivido por volta do ano 300 a.C. E
esse pouco que dele sabemos nos vem dos comentrios de Proc1us (410-485), um autor que
viveu mais de 700 anos depois de Euc1ides. Mesmo Proclus tem dificuldade em determinar a
40 Captulo 1: Os nmeros reais
a traduo inglesa de Thornas L. Hoath (publicnd.i pela Editora Dover cm trs volumes).
Isto porque Heath enriqueceu sobremaneira a obra de Euclides com uma excelente introduo,
alm de inmeros, valiosos e esclarecedores comentrios.
O volume I rene os Livros I e II dos Elementos, o primeiro destes contendo uma boa parte
da geometria plana, construes geomtricas, teoremas de congruncia, reas de polgonos e o
teorema de Pitgoras (que a Proposio 47). Ainda no volume I de Heath encontra-se o Livro
II dos Elementos, sobre o que se costuma chamar de "lgebra geomtrica". Por exemplo, a
Proposio 4 desse Livro II O equivalente, em linguagem geomtrica, da propriedade que hoje
conhecemos como "quadrado da soma" (igual ao quadrado do primeiro, mais o quadrado do
segundo, mais duas vezes o primeiro vezes o segundo). Euclides enuncia isto geometricamente
assim: "se um segmento de reta dividido em dois, o quadrado construdo sobre o segmento
inteiro igual aos quadrados sobre os segmentos parciais e duas vezes o retngulo construdo
com estes segmentos". Euclides no fala. ma." de cst.~\.se referindo a reas, quando diz ~;:..
igual..."
O volume II de Heath contm os Livros III a IX dos Elementos, tratando do crculo (Livro
llI), construo de certos pollgonos regulares (Livro IV), teoria das propores de Eudoxo
(Livro V), Semelhana de figuras (Livro VI) e teoria dos nrneros (Livros VII-IX). Por exemplo,
a Proposio 20 do Livro IX o famoso teorerna: "existem infinitos nmeros primos". Mas Eu-
clides no fala "infinitos" , j que os gregos no admitiam o que Aristteles chama de "infinito
atual", apenas o chamado "infinito potencial". Em liuguagern de hoje ele diz o seguinte: "Dado
qualquer conjunto (finito, entenda-se bem!) de nmeros primos, existe algum nmero primo
fora desse conjunto", E a demonstrao, novamente, geomtrica. Segundo o matemtico
ingls Godfrey Harold Hardy (1877-1947). trata-se de uma das mais belas demonstraes da
Matemtica.
Finalmente, o volume III de Heath contm os Livros X-XIII, onde so tratados a incomen-
surabilidade, geometria espacial e os poliedros regulares.
O leitor pode 'ler mais sobre os Elementos no excelente trabalho do Prof. Joo Bosco
Pitombeira sobre essa obra, publicado como volume 5 dos Cadernos da RPM; ou no livro de
Asgar Aaboe, intitulado "Episdios da Histria Antiga da Matemtica", traduzido e publicado
pela SBM.
A Geometria dedutiva
Foi no sculo VI a.C. que Tales de Mileto inaugurou na Matemtica a preocupao demons-
trativa. A partir de ento a Matemtica grega vai assumindo o aspecto de um corpo de
proposies logicamentc ordenadas: cada proposio demonstrada n partir de proposies
anteriores, estas a partir de outras precedentes, e assim por diante, UI11 prOCC!:iSO que no
teria fim. Mas os gregos logo perceberam isso e viram que era necessrio parar o processo
em certas proposies iniciais, consideradas evidentes por si meSOHLS; a partir destas todas
aH outras so dernoustrudas. As proposies evidentes por si mosmns, silo hoje designadas,
indiferentemente, "postulados" ou "axiomas". O aspecto mais importante dos Elementos
essa organizao dos fatos, num admirvel encadeamento lgico-dedutivo em que um reduzido
nmero de proposies e definies iniciais so o bastante para se demonstrar, uns aps outros,
todos os teoremas considerados. Historicamente, os Elementos so a primeira corporificao
desse "mtodo axiorntico", de que voltaremos a falar mais adiante.
As geometrias no-euclidianas
Embora muito admirado e aplaudido, o modlo axiorntico dos Elementos, no que se refere ao
52. postulado, ou postulado das paralelas, suscitou questionamentos .. J na antigidade vrios
matemticos acreditavam que ele pudesse ser demonstrado com base nos outros postulados, e
42 Captulo 1: Os nmeros reais
tentaram fazer tal demonstrao. Essas tentativas de demonstrao foram retomadas nos tem-
pos modernos pelo matemtico italiano Girolamo Saccheri (1667-1733), que publicou, pouco
antes de morrer, um opsculo no qual pretendia ter demonstrado o postulado pelo mtodo
de reduo ao absurdo. Assim, negando o postulado, ele demonstrou uma srie de teoremas,
concluindo ter chegado a uma contradio. Mas, no fundo, no fundo, no havia contradio
nas concluses de Saccheri, embora isso s fosse notado muito mais tarde, quando Eugnio
Beltrami (1835-1900) descobriu o trabalho de Saccheri.
Por volta de 1830 j havia srias suspeitas de que o postulado das paralelas no pudesse ser
demonstrado a partir dos outros. Em outras palavras, suspeitava-se que se pudesse desenvolver
uma geometria a partir de negaes do postulado das paralelas, ao lado dos outros postulados
de Euclides. Foi nessa poca que o matemtico hngaro Jnos Bolyai (1802-1860) e o russo
Nicokolai Ivanovich Lobachevsky (1792-1856) publicaram, independentemente um do outro,
a descoberta de geometrias no-euclidianas, "ou seja, geometrias que negam o postulado das
paralelas."
Mas as publicaes de Bolyai e Lobachevski no foram suficientes para convencer o mundo
matemtico da possibilidade das geometrias no-euclidianas. Na verdade, esses trabalhos eram
parecidos com o de Saccheri: negavam o postulado das paralelas e desenvolviam uma srie de
teoremas sem chegar a contradio alguma. Mas, e da? quem garante que a contradio no
est para. aparecer logo no prximo teorerna que ainda no foi demonstrado? Quem garante
que todos os teoremas j foram enunciados e demonstrados?
Alis, foi somente aps essas questes serem levantadas em conexo com as tentativas
de demonstrar o postulado das paralelas, ou construir geometrias no-euclidianas, que os
matemticos comearam a perceber que a prpria Geometria de Euclides tambm estava su-
jeita aos mesmos questionamentos. Quem poderia garantir que os cinco postulados de Euclides
no poderiam levar a uma contradio? Afinal, Euclides demonstrara apenas um nmero finito
de teoremas. Quem sabe a contradio poderia aparecer _no prximo teorerna, como algum
que, depois de tanto percorrer as areias de um deserto procura de um oasis, quando no mais
acredita que ele exista, pode - agora por felicidade e no desdita - encontr-Io do outro lado
da prxima duna!. ..
Foi Beltrarni quem primeiro exibiu um modelo de geometria no-euclidiana que permitia
interpretar os fatos dessa geometria em termos da prpria geometria euclidiana. Outros mo-
delos foram construdos por Felix Klein (1849- 1925) e Henri Poincar, estes tambm, como O
de Beltrami, apoiando-se na geometria euclidiana,
Foi a partir de ento - aps esses vrios matemticos haverem exibido modelos eucli-
dianos das geometrias no-euclidianas -, que estas geometrias ganharam total credibilidade."
Provava-se que elas eram consistentes, isto , livres de contradies internas. Mas tais provas
apoiavam-se na geometria euclidiana, de sorte que elas tornavam ao mesmo tempo evidente
a necessidade de provar a consistncia da prpria Geometria de Euclides. Os matemticos
comearam ento a estudar a consistncia dos postulados de Euclides, e logo perceberam que
eles eram insuficientes para provar os teorernas conhecidos, sem falar nos demais que viessem
a ser considerados no futuro. Analisando os Elementos desse novo ponto de vista, eles desco-
6Quando jovem, o pai de Bolya havia sido colega de Gauss em Gttingen. E quando
o filho ps suas idias por escrito, ele (o pai) enviou um exemplar do :manuscrito a Gauss,
Mas este, pouco sensvel -ao entusiasmo do jovem Jnos, escreveu de volta dizendo mais ou
menos o seguinte: "sim, mas isso que seu filho fez no novidade para mim, que percebi
essa possibilidade h muitos anos, em minha juventude". Tudo indica que Gauss foi mesmo o
primeiro matemtico a perceber a possibilidade das geometrias no-euclidianas.
7Estamos deixando de lado uma outra vertente importantssima no desenvolvimento das
geometrias no-euclidianas, devida a Riemann, mas que no necessria no momento.
Captulo 1: Os nmeros reais 43
briram que a axiorntica euclidiana era muito incompleta e continha srias falhas. Euclides,
em suas demonstraes, apelava para muitos fatos alheios aos postulados. Era necessrio
reorganizar a prpria geometria euclidiana, suprindo, inclusive, os postulados que estavam fal-
tando. Isto foi feito por vrios matemticos no final do sculo XIX, dentre eles David Hilbert
(1862-1943) que, em 1889 publicou o livro "Fundamentos da Geometria", no qual ele faz lima
1
apresentao rigorosa de uma axiorntica adequada ao desenvolvimento lgico-dedutivo da
geometria euclidiana..
Paralelamente ao que acontecia em Geometria, as preocupaes com o rigor se faziam
presentes tambm na Anlise Matemtica a partir de aproximadamente 1815, e sobre isso
falaremos nas notas do final do Captulo 4.
Os Fundamentos da Matemtica
Os desenvolvimentos que vinham ocorrendo na Geometria, na lgebra e na Anlise durante
todo o sculo XIX convergiram, no final do sculo, para uma preocupao com os fundamentos
de toda a l\latemtica. Por duas razes -importantes os matemticos acabaram se conven-
cendo de que todas "as teorias matemticas teriam de se fundamentar, em ltima instncia,
nos nmeros naturais. De um lado, os nmeros complexos, os nmeros reais, os racionais e
os inteiros puderam ser construdos, de maneira lgica e consistente, uns aps outros, termi-
nando nos nmeros naturais. De outro lado, Hilbert estabelecera uma correspondncia entre
os elementos geomtricos do plano - pontos e retas e crculos - com os entes numricos
da geometria analtica. Os pontos podem ser caracterizados por pares ordenados de nmeros
reais, e as retas e crculos por suas equaes. Isto permitiu transferir o problema da con-
sistncia da Geometria consistncia da Aritmtica. Provando-se a consistncia desta, ficaria
tambm provada a consistncia da" Geometria. Assim, a Geometria, que desde a antigidade
era considerada o modelo de rigor lgico, estava agora dependendo da prpria Aritmtica para
sua efetiva fundamentao.
Leopold Kronecker (1823-1891) dizia que Deus nos deu os nmeros naturais e que o resto
obra do homem. Com isto ele queria dizer que esses nmeros deveriam ser tomados como
o ponto de partida, o fundamento ltimo de toda a Matemtica. No obstante isso, Richard
Dedekind mostrou ser possvel construir os nmeros naturais a partir da noo de conjunto,
noo esta que seria mais extensamente desenvolvida por Georg Cantor (1845- 1918)8
A possibilidade de construir toda a Matemtica a partir da teoria dos conjuntos intensi-
ficou o interesse por esse campo de estudos. Porm, esses estudos estavam ainda incipientes
e os matemticos j comeavam a encontrar srias contradies internas na teoria.? Muitas
dessas contradies foram resolvidas, at que, em 1931 o lgico austraco Kurt Gdel (1906-
1978) surpreendeu o mundo matemtico com a publicao de um trabalho em que demonstrava
que o mtodo axiomtico tem inevitveis limitaes, que impedem mesmo a possibilidade de
construir um sistema axiomtico abrangendo a Aritmtica.
Para entender melhor o que isso significa, devemos lembrar que um sistema axiomtico
deve satisfazer s trs condies seguintes: ser consistente, quer dizer, os postulados no podem
contradizer uns aos outros, por si mesmos ou por suas conseqncias; deve ser completo, no
sentido de serem suficientes para provar verdadeiras ou falsas todas as proposies formuladas
"no contexto da teoria em questo; e, por fim, cada postulado deve ser independente dos de-
mais, no sentido de "que no conseqncia deles, "sob pena de ser suprfluo. Pois bem, Gdel
prova, dentre outras coisas, que a consistncia de qualquer sistema matemtico que englobe
a Aritmtica no pode ser estabelecido pelos princpios lgicos usuais. Isto ele prova como
80 matemtico italiano Giuseppe Peano (1858-1932) mostrou como construir esses nmeros
a partir de noes primitivas e postulados.
9 A propsito, veja o artigo que publicamos na RPM 43.
Capimlo 1: Os nmeros reais
conseqncia deste seu outro resultado, conhecido como o teorema da incompletude: se uma
teoria formal abrangendo a Aritmtica for consistente, ela necessariamente ser incompleta, o
que significa dizer que haver alguma proposio sobre os inteiros que a teoria ser incapaz de
decidir ser verdadeira ou falsa.
Seria errneo pensar que os estudos de Fundamentos terminam com os resultados de Gdel,
ou que esses resultado, pelos seus aspectos negativos, condenam a Matemtica a uma posio
inferior no contexto do conhecimento humano. O resultado de Gdel certamente mostra que
falsa a expectativa acalentada desde a antigidade de que o conhecimento matemtico, com seu
carter de certeza absoluta, possa ser ciscunscrito nos limites permitidos por um sistema axio-
mtico. Alm de revelar as limitaes do mtodo axiomtico, os resultados de Gdel mostram,
isto sim, que as verdades matemticas, na sua totalidade, escapam aos figurinos formais dos
sistemas axiomticos.
Hermann Weyl (1885-1955), que est entre os maiores matemticos do sculo XX, disse,
espirituosamente: Deus existe porque certamente a Matemtica consistente; e o demnio
existe porque somos incapazes de provar essa consistncia.
Definio de corpo
O leitor encontrar, em livros sobre estruturas algbricas exposies sobre a teoria de corpos.
Daremos aqui apenas a definio de corpo, sem entrar em maiores detalhes.
Um corpo (comututivo) um conjunto no vazio C, munido de duas operaes, chamadas
adio e multipl-icao, cada uma delas fazendo corresponder um elemento de C a cada par de
elementos de C, as duas operaes estando sujeitas aos axiomas de corpo listados a seguir. A
soma de x e V de C indicada por x + y e a multiplicao de x e y indicada por xV. OS
axiomas de corpo so:
1-, (Associatividade) Dados quaisquer x, v, z E C,
(x + V) + z =x + (y + z) e (xy)z = x(yz);
x +y =y +x e xy = yx;
.. ~
SEQUENCIAS INFINITAS
Intervalos
Antes de entrarmos propriamente no assunto deste captulo, vamos rever algu-
mas definies sobre intervalos numicos, que sero usadas neste e nos captulos
seguintes.
Dados dois nmeros a e b, com a <' b, chama-se intervalo aberto de extremos
a e b, denotado por (a, b), ao conjunto
[a,b]={xER: a:Sx:Sb}.
[7, +00) = {x: 7:S x < +oo}; (-oc, 3) = {x: -00 < x < 3}.
Sempre que nos referirmos aos intervalos (a, b), [a, b], (a, b] ou [a, b), a e b
sero nmeros finitos, com a < b.
Seqncias infinitas
Uma seqncia numrica al, a2; a3,.'" an, uma funo f, definida no
conjunto dos nmeros naturais N: f: n f-> f(n) = ano O nmero n que a aparece
chamado o {ndice e an o n-simo elemento da seqncia, ou termo geral. Um
46 Captulo 2: Seqncias infinitas
Como bem sabido, no existe frmula para seu termo geral, mas todos os
termos esto determinados.
A notao (an) muito usada para designar urna seqncia. Tambm se es-
creve (an)nEN,. (aI, a2, a3,.) ou simplesmente an0 Alguns autores costumam
escrever {an} em vez. de (an), mas preferimos reservar essa notao para o con-
junto de valores da seqncia. Essa distino importante, pois uma seqncia
possui infinitos elementos, mesmo que seu conjunto de valores seja finito. Por
exemplo, a seqncia
1, -1, 1, -1, 1, -1, ...
2.1. Definio. Diz-se que uma seqncia (an) conuerqe para o nmero L,
ou tem limite L se, dado qualquer n'mero > O, sempre possvel encontrar
um nmero N talque
Definio de vizinhana
Dado um nmero L qualquer, chama-se vizinhana E de L a todos os nmeros
x do intervalo (L - E, L + E). Denotaremos esse intervalo com o smbolo V,,(L).
Observe que a condio x E V(L) pode ser escrita das seguintes trs maneiras
equivalentes:
(an)=
n
( n+12
)
=
(1 2 3
13' 14'
n
15' ... , n+12""
)
converge para o nmero 1. Para isso observamos que, dado qualquer E > O,
lan - 11 = ---
n
- 1 = --
12
< I E <=> n > -12 - 12. /. (2.2)
. I
n + 12 n + 12 E /r:
'.'
Isso quer dizer que, dado qualquer E > 0, existe N (= 12/ e - 12) tal que
Esse exemplo mostra que quanto menor o E tanto mais exigentes' estaremos
sendo quanto. proximidade entre an e o limite 1, exigncia essa que se traduz
em termos de fazer o ndice n cada vez rriaior. De fato, quanto menor o E,
tanto maior o nmero N = 12/E - 12. Assim, se E = 1/10, N = 108; se
E = 1/100, N = 1188; em geral, se E = lO-k, N = 12 lOk - 12. Isso ilustra
o que dissemos antes: a determinao do nmero N depende do nmero E
Captulo 2: Scqiillcias inii nitns 49
particular que seconsidere, Ao contrrio, se dermos um muito grande, pode
at acontecer que no haja qualquer condio no ndice n; o que acontece com
= 2 no exemplo que estamos considerando, que resulta em N = -6.
O raciocnio usado em (2.2) permite escrever: .
12
lan - 11 < <* n > - - 12.
, 12 12 12
lan - 11 = -- < - < <* n > (2.3)
ti + 12 n
12
lan - 11< <* n >
12
n> - :} lan - 11 < ,
/ 3n
an:= n + sen2n
fcil ver que seu limite deve ser 3. Para evidencia;1 isso dividimos o numerador
e o denominador por n e notamos que (sen 2n)/n --+ O. Assim,
3
a n = ---:----,--:--:-
1 + (sen 2n)/n
3 3
lan - 31 ::; --.- < <=> n > 1+ - (2.5)
n -1
de sorte que
n> 1+ 3/c =? lan - 31 < , (2.6)
O leitor deve notar, nas passagens efetuadas em (2.4), que procuramos chegar
a uma expresso simples, como 1/ (n - 1), para depois fazer intervir o , obtendo
ento uma desigualdade fcil de resolver, como em (2.4). No fizssemos tais
simplificaes e teramos de enfrentara. intratvel inequao
31sen 2nl .
.,.--'------'---, < .
In + sen2nl
claro que as transformaes feitas s permitem, em (2.6), a implicao no
sentido a indicado, que suficiente para nossos' propsitos.
claramente tende a 3, j que 4/n, l/n e 4/n 2 tendem a zero. Para provar isso
diretamente da definio de limite, notamos que, a partir de n = 2 (que implica
n2 + n - 4> O),
an-3 -
- n + 12 < n + 12 o
1 1
n2+n-4 n2-4'
desde que n seja maior que o maior dos nmeros, 4/ e 12, isto ,
Seqncias limitadas
o clculo de limites pode tornar-se mais e mais complicado, se insistirmos em
faz-Io diretamente da definio de limite. Felizmente, com essa definio pode-
mos estabelecer as propriedades tratadas logo adiante, no Teorema 2.8, as quais
permitem simplificar bastante 6 clculo de limites. Demonstraremos primeiro
dois teoremas de importncia fundamental, o primeiro dos quais envolvendo a
noo de "seqncia limitada". Diz-se que uma seqncia (an) limitada es-
querda, ou limitada inferiormente, se existe um nmero A tal que A ::; an para
todo n; e limitada direita, ou limitada superiormente, se existe um nmero
B tal que an ::; B para todo n. .Quando a seqncia limitada esquerda e
direita ao mesmo tempo, dizemos simplesmente que ela limitada. Como
fcil ver, isso equivale a afirmar que existe um nmero AI tal que lanl ::; /lI para
todo n.
Isto nos diz que, a partir do ndice n ='N + 1, a seqncia limitada: direita
por L + e esquerda por L - e. Para englobarmos a seqncia inteira, basta
, considerar, dentre todos os nmeros
A::; an::; B,
Ento lanl ::; M para todo n, o que prov,{l que a seqncia limitada.
- ~~
2.6. Teorema.~ia (an) converge para um limite L, e se
<L < B, ento, a partir de um certo ndice N, A ~< B.
Demonstrao. Dado qualquer > O, existe' N tal que, a partir desse ndice,
,L - < an < L + c. Portanto, apenas uma questo de prescrever, de incio, c
menor que o menor dos nmeros L-A e B-L, para termos L-> L-(L-A) =
A e L+:<:: L+(.f3~L) = B. Effi'conseqncia, n > N =? A < an < B, como
queramos demonstrar. . r-I-"--{-".....~l r, _.1.-'
f- t
Corolrio 2.7. Se uma seqncia (an) converge para um limite L =1= O,
ento, a partir de certo ndice N, lanl > ILI/2.
Ora, tanto lan-al como Ibn -bl podem ser feitos arbitrariamente pequenos, desde
que n seja suficientemente grande. Assim, dado qualquer > O, podemos fazer
Captulo 2: Seqiincias infinitas 53
lan - ai menor do que /2M a partir de um certo ndice N[ e Ibn - bl < /2lal a
partir de um certo N2; ento, sendo N o maior desses ndices, n > N satisfar
11. > N[ c n > JY2 simultaneamente; logo,
I~_~I-Ib
bn b -
n -
Ib"bl
bl
Como b =1= O, a partir de um certo Ni> Ibnl > Ibl/2; e, dado > O, a partir de
um certo N2, Ibn - bl pode ser feito menor do que IbI2/2, de sorte que, sendo
N = max{Nl, N2}, teremos:
[Y= (1 +hn)n 2: 1 +
Assim, ; = rf/ -~<a/n e isso ser menor do que quakluer_L>_~ado
antemo, desde que n > a/.
3>
de
~hn.
~~)
n".t:. E:- r
No caso O < a < 1, temos que l/a> 1, donde 1/ if:"" 1. Ento, pelo item
d) do Teorema 2.8, conclumos que f/ -> 1.
2.10. Exemplo. vn
-> 1. Ainda aqui temos que = 1 + hn, onde vn
hn novamente um nmero positivo conveniente. Mas agora a desigualdade de
Bernoulli insuficiente para nossos propsitos, pois, com ela,
n n(n - 1) 2 n n(n - 1) 2
n = (1 + hn) = 1 + nhn + 2' hn + ... + hn > 2 hn,
donde h~ < 2/(n...., 1}. Agora sim, dado E; > O, 2/(n -1) ser menor do que&!
desde que n seja maior cio que 2/ 2 + 1 = N ,Conseqentemente, .
Exerccios
n (_1)"
a) an = _n_;
c) an = n2 + 1; d) a" = --'-.
n+l n+2
2. Em cada um dos casos seguintes, so dados os primeiros termos de uma seqncia. Supondo
que persista a tendncia observada em cada caso, escreva a forma geral de cada uma das
seqncias.
a) 1/2, 2/3, 3/4, 4/5, ... ; ; b)l, -1/2, 1/3, -1/4 ... ;
4. Descubra o limite de cada uma das seqncias seguintes e, em seguida, demonstre que o
suposto limite satisfaz a Definio 2.1.
~ 5. (Unicidade do limite) Prove que uma seqncia s pode convergir para um nico limite.
~ 6. Prove que se a" tem limite L, ento la"1 tem limite ILI. D exemplo de uma seqncia
(an) tal que la"1 converge, mas no ano
7. Sejam (a,,) e (o") duas seqncias tais que Ia" - ai < Clb"l, onde a um certo nmero
real e C uma constante positiva. Usando a definio de limite, mostre que se b -+ O ento
an --+ a.
(j)Prove que se (a") uma seqncia que converge para zero e (b") uma seqncia limitada,
no necessariamente convergente, ento (anb") converge para zero. r'
--@prove que a seqncia a" = jn + h - yTi tende a zero .
., tO. Faa o mesmo para a seqncia an = a". onde O < a < 1.
11. S~pondo que' an ::o: O para todo n e a" -+ O, prove que ..;a;; -+ O.
12. Supondo que a" -+ x > O, prove que a" > O a partir de um certo N.
13. Prove os itens a) e b) do Teorema 2.8. Generalize a propriedade da soma, provando que o
limite de uma soma qualquer de seqncias convergentes a soma dos limites. Generalize
tambm a propriedade do produto para o caso de vrios fatores.
14. Prove que se (an) uma seqncia convergente, COIU ar1 ~ b, ento lim an ~ b. Mostre
CQIn contra-exemplo que, mesmo que seja fin < b, no verdade, em geral, que tini an b.
Enuncie e demonstre propriedade anloga no caso a" > b. .
15. Sejam (an) c (bn) seqncias convergentes, com an :::; bn. Prove que lim (Ln ::; lim "n.
Mostre por meio de contra-exemplo que tambm aqui pode ocorrer a igualdade dos limites
mesmo que seja a" < b. [Observe que o exerccio anterior um caso particular deste, com
seqncia (bn) =. (b, b, ... ).J
~ (Cdtdo de confronto ou Teorema da seqncia intercalada.) Sejam (an), (bn) e
(eu) trs seqncias tais que nu ::; bn ~ Cnl (au) e [c) convergindo para o mesmo limite
L. Demonstre que (bn) tambm converge para L.
18. A nega~J5efinio 2.1 "an no converge para L". Mas como escrever essa nel,latio
em termos de e N?
Sugestes e solues
2. a) n/(n + 1), n ?: 1; b) (_I)n+l/n, n?: 1, ou (-I)"/(n + 1),n::O: O;
d)-.(-I)"/n!, n::O:1.
14 14 . 15 15
b) lan - 21= n2 +7 < n2; c) lan - 31 = nyn+5
--;:;- <
nyn
r.::"
5. Suponha existirem dois limites distintos, L e L' e tome < IL - L'I/2. Ento, lan - LI <
a partir de um certo NI e lan - L'I < a partir de um certo N2. Seja N = max{NI, N2},
de forma que n > N acarreta simultaneamente n > NI e n > N2. Assim, n > N acarreta
IL - L'I = I(L - an) + (an - L')I ::; lan - LI + lan - L'I < 2 < IL - L'I, o que absurdo.
9. Multiplique numerador e denominador pela soma das raizes que aparecem na definio da
seqncia.
n ~g
a < } n log a < log } n > -1 -.
oga
Nessa ltima passagem, ao dividir a desigualdade por log a, levamos em conta que esse
nmero negativo, da a mudana de sinal da, desigualdade.
11. Deseja-se provar que .;u:;: < 'a partir de um certo N. Observe que isto equivale a an < 2
12. Use o Teorema 2.6.
Seqncias montonas
H pouco vimos que toda seqncia convergente limitada. Mas nem toda
seqncia limitada convergente, como podemos ver atravs de exemplos sim-
ples como os seguintes:
1) an = (_l)n assume alternadamente os valores +1 e -1, portanto, no
converge para nenhum desses valores;
2) an = (-l)n(l + l/n) um exemplo parecido com o anterior, mas agora a
seqncia assume uma infinidade de valores, formando um conjunto de pontos
que se acumulam em torno de -1 e + 1. Mas a seqncia no converge para
nenhum desses valores. Se ela fosse simplesmente 1 + l/n, ento convergiria
para o nmero 1-
Veremos, entretanto, que h uma classe importante de seqncias limitadas
- as chamadas seqncias "montonas" - que so convergentes. ..
Trata-se, evidentemente,
e = lim(1
(l+~r )0.
1 n (n - 1) 1 n (n, - 1) ... [n - (n - 1)1 1
l+n-+
n
,
2.
'2"+"'+'
n
,
n.
2+ 2. (1 - ~)\+ 2. (1 - ~) (1 -'-~) + ...
21 n 31 n n
Mantendo fixo o nmero n, fazemoslTn=-> 00, o que nos d: e ::::2 + 1/2! + ... +
...- . ---=---
1/nL Daqui e de (2.8) obtemos, finalmente, com n --> 00,
que, sendo
m = n -1,
1 n - 1 1 1 1
1 - - = -- = ---,-,,---,-
n n nl(n-l) (m + l)/m 1+ 11m'
1
( 1- -
)-n ( + l)Tn(
1 m 1+ m
1) -> e.
n
Em vista disso podemos escrever:
e = lim
n----.oo
(1 + .!.)n
n
Subseqncias
2.13. Definio. Uma subseqncia de uma dada seqncia (an) uma res-
trio dessa seqncia a um subconjunto infinito N' do conjunto N dos nme;;'
naturais. Dito de outra maneira, uma subseqncia de (an) uma seqncia do
~ r-
t,ipo (bj) = (anj~' onde ~ uma seqncia crescente de inteiros positivos, isto
e, nl < n2 <-: ..
log k
an > k } n log a > log k <=} n > -- .
~a/
a qual, como sabemos do Clculo, tende a zero com x -> 00. Conclumos assim
que rn tende a zero, e isso
significado preciso de dizer que p numerador nk
tende a infinito "mais devagar" do que ano /
/
Ceoituo 2: Scqiincias infinitas 61
r--
n
a (aa ~)-n
;T < "1'"2 ... -N/i /= 2 c,
~-----c../.
onde c = (2a)N / N! uma, constante que s depende de N, que j est fixado.
Essa desigualdade prova ento que a razo de an para n! tende a zero, signi-
ficando que a primeira dessas seqncias tende a infinito mais devagar qi.le:,a;;,.,:
segunda. ), :',../ .:'
., \ .
n! 1 2 n 1
- = - . - ... - < - -t O.
nn n n n 11
Em vista dos trs ltimos exemplos acima, vemos que (sendo a > 1),
nk .. an n!
lim-=O' hm, = O; lim-=O. (2.10)
a'tt ' n. nn
Na linguagem sugestiva que vimos usando, isso significa que, embora as quatro
seqiincias nk, an, n! e n" tendam todas a infinito, cada uma tende a infinito
mais devagar do que a seguinte.
Seqncias recorrentes
Freqentemente o termo geral de uma seqncia definido por uma funo de
um ou mais de seus termos precedentes. A seqncia se chama, ento, apropri-
adamente, indutiva ou recorrente. Veremos a seguir um exemplo interessante de
seqncia recorrente. Outros exemplos so dados nos exerccios.
N
a-=N.
a
como um valor que talvez seja melhor aproximao de ,fN do que o valor original
a. Segundo esse argumento, de se esperar que
Exerccios
fmSeja (an) uma seqncia montona que possui uma subseqncia convergindo para um
Vlimite L. Prove que (an) tambm converge para L.
2. Prove que toda seqncia montona convergente limitada.
3.. Sejam Nv e N2 subconjuntos infinitos e disjuntos do conjunto dos nmeros naturais N>
cuja unio o prprio N. Seja (a,,) uma seqncia cujas restries a N1 e N2 convergem
para o mesmo limite L. Prove que (an) converge para L.
4. Construa. unta seqncia. que tenha uma subseqiincia convergindo para -3 e outra con-
vergindo para 8.
L
Cepitn' 1o 2: S'"equeticies. . fi
1D =r.t;;-?:63
5. Construa uma seqqncia que tenha trs subseqncias convergindo, cada uma p \ a ca
um dos nmeros 3, 4, 5.
6. Generalize o exerccio anterior: dados os nmeros LI, L2, ... , Lk, distintos entre si, cons-
trua urna seqncia que tenha t: subscqiincias, cada uma convergindo para cada UIIl desses
nmeros.
7. Construa uma seqncia que tenha subseqiincias convergindo, cada uma parn cada UIn
GQ.' L0..Y!l que se an > O e ~-cronde <; < 1, ento a" -> O. r
11. Demonstre o teorema 2.16. r~_'-
12. Prove que se an -> +00 e bn -> L > 0, ento a"bnrig + 00. Examine tambm as demais
combinaes de an -> oo com L positivo ou negativo.
13. Prove que 5[7.3 - '10
2
+ 7 tende a infinito.
14. Prove que um polinmio p(n) = aknk + ak_lnk-1 +.... + aln + ao tende a oo conforme
seja ak positivo ou negativo respectivamente.
15. Seja p(n) como no exerccio anterior, com ak > O. Mostre que y1p(n) -> 1.
16. Mostre que Jn2 + 1 - ...;r;:+h -> 00.
17. Mostre que V';:J -> 00. _ ~_ _ ~_
~onsid;;;. a seqncia assim definida: al=V2,~n= ~~~.I elra n > 1. E~creva
/' explicitarriente.os.pr imeiros quatro ou CIJ]CO
termcs-dessu sequencra. Prove que ela e uma
seqncia convergente c calcule seu limite,
19. Generalize o exerccio anterior considerando a seqncia ai = "f, a;;:;;- J.a + an-I, onde
a> O. ':.::~.",.',
20. Dado um nmero N > O e fixado um nmero qualquer ao = a, seja a~ = (';n~1 +N/an_I)/2
para n > 1. Prove que, a excesso, eventualmente, de ao, essa seqncia decrescente.
Prove que ela aproxima ../N e d uma estimativa do erro que se comete a se tomar an
como aproximao de ../N.
21. Prove que a seqncia anterior exatamente a mesma que se obtm com a aplicao do
mtodo de Newton para achar a raiz aproximada de x2 - N = O.
~Diviso urea). J vimos (p. 23) que um ponto AI de umsegmento OA efetua a
~iviso urea desse segmento se OA/OAI = OAI/AIA. Vimos tambm que o nmero <1>,
raiz positiva de <1>2-<1>-1 = O l= (J5+1)/2 "" 1,618], chamado a razo urea. Considere
U1l1 eixo de coordenadas com origem O, ao = 1 a abscissa de A (= Ao) e aI = <p a abscissa
de AI. Construa a seqncia de pontos An com abscissa an = an-z - an-I, n ~ 2. Prove,
como j anunciamos na p. 24, que An efetua a diviso urea do segmento OAn-l e que
an -> O. Observe que os pares (ao, aI}, (aI, az), (a2, a3), etc., so os lados de retngulos
ureos, como na construo de uma infinidade de retngulos ureos da p. 23. Escreva os
. primeiros dez termos da seqncia an .
~(Seqncia de F'ibonacc};' Defina [ indutivamente assim: 10 = h = 1 e [ =
~ 1r.-2 + In-I. Escreva os primeiros dez-elementos dessa seqncia e observe que, pelo menos
Sugestes e solues
4. A seqncia a2" = -3 e a2n+1 = 8 resolve. Construa outro exemplo.
5. Dado n E N, seja 1'n o resto de sua diviso por 3. Verifique que an = 1'" resolve o problema.
6. Seja rn o resto da diviso de n por k. aI. = Lr" resolve; explique por qu.
7. Construa a seqncia assim: 1; depois 1, 2; depois 1, 2, 3; depois 1, 2, 3, 4; e as-
sim por diante, de forma que a seqncia : 1, 1, 2, 1, 2, 3, 1, 2, 3, 4, ... Outro
modo: decomponha o conjunto dos nmeros naturais N numa unio de conjuntos infini-
tos e disjuntos N" N2, ... Por exemplo. N, pode ser O conjunto eLos nmeros mpares,
lV2 = 2Nl, lV'j = 22Nt",,; C, em geral, N, = 2 1Nt.
H
Verifique que esses lVn so real-
-
mente disjuntos e todo nmero natural est em um deles. Em seguida defina a seqncia
assim: an = T11 se n E Nm. Outro modo: considere urna seqncia 1'1, 1"2, T3, .. '} obtida por
enumerao de todos os nmeros racionais. Observe que este exemplo tambm responde
s exigncias dos Exercs. 4 a 6. Observe tambm que as solues dadas naqueles exerccios
resultavam em subseqncias constantes, ao p~so que os termos de r" so todos diferentes
entre si.
8. A seqncia (r-,) do exerccio anterior resolve. Outra soluo, ainda com a notao do
exerccio anterior: defina an = rm se n E N,.
10. Utilize o Teorema 2.6, tomando, por exemPlo.,~ .
14. Observe que p(n) = aknk(1 + ... ) == aknkb", ,onde b a expresso entre parnteses, ,que
tende a 1.
17.0bserve que vnT
> 1( } n! > 1(". Agora lembre-se de que n! tende a infinito mais
depressa do que [(", qualquer que seja K,
18. Supondo por um momento que (an) convirja para um certo L, passamos ao limite em
a~ = 2 + a"_I, resolvemos a equao resultante e achamos L = 2. (Mas preciso provar
a existncia do limite! Veja este exemplo: a seqncia 1, 3, 7, 15, 31, ... ; em geral, a" =
2a"_1 + 1, evidentemente no converge, logo, no podemos simplesmente passar ao limite
nessa ltima igualdade para obter L = 2L + 1, ou L = -1.) Prove que a seqncia dada
crescente e limitada superiormente por 2.
19. Seja b = max{a, ,f., 2}. Claramente, ai :s; b e, supondo a" :s; b, teremos a,,+1 :s;
J a + b :s; "f2b :s; 2b. Isso prova que a seqncia limitada superiormente. Prova-se
tambm que ela crescente, notando que a2 >, ai e que, supondo an > an-I, ento
a"+1 = Ja + an > Ja + an-I = ano Agora s passar ao limite na frmula de definio e
achar a raiz positiva de L2 = a + L, isto , L = (1 + ~)/2.
20. Por um clculo simples, ai - ../Fi = (a - ../Fi) 2 12a. Isto prova que ai > .JN (mesmo que
a < ../Fi). Alm disso, se a > ../Fi,
mostrando que ../Fi < ai < a. Com o mesmo tipo de raciocinio, mesmo que a seja menor
do que .JN, prova-se que ../Fi < an+1 < an < ... < ai e que
.JN 1 .JN ai - ../Fi
0< a"+, - N < 2'(a" - N) < ... < 2"
Captulo 2: Seqiincias infinitas 6.5
mostrando que A2 divide OAl na razo urea. Com raciocinio anlogo prova-se, por
induo, que An divide OAn_l na razo urea.
Para provar que an ...-. O, prove que
aI a2 a3 an
tp = -' = - = - = 0.0 = --,
ao aI a2 an-l
Intervalos encaixados
vemos que (an) limitada direita por bl e (bn) limitada esquerda por c j :
logo, essas duas seqncias possuem limites, digamos, A e B respectivamente.
Como an < bn, claro que
~Jm.1o 2: Seqnciasiniinir.as
J vimos que se uma seqncia converge para um certo limite, qualquer sub-
seqncia sua converge para esse mesmo limite. Quando a seqncia no con-
verge, nem tende para +00 ou -00, diz-se que ela oscilante. De fato, como
veremos, nesse caso ela sempre ter vrias subseqncias, cada uma tendendo
para um limite diferente. Por exemplo, as seqncias (_l)n, (-l)n(1 + l/n), e
(-l)n(l - l/n) possuem, todas elas, subseqncias convergindo ou para + 1 ou
para -1. Esses nmeros so chamados "valores de aderncia" da seqncia sob
considerao.
(2.12)
mais fcil do teorema, pois, em vista da hiptese, dado E > O, existe N tal que
teremos, finalmente:
Em geral, Xn = f(xn-I), com n =' 2, 3, 4, ... Se for possvel provar que essa
uma seqncia de Cauchy, saberemos que ela converge para um certo xa. Em
seguida procura-se provar que xa soluo da equao dada, os elementos Xn
sendo valores aproximados da soluo
O esquema que acabamos de descrever , na verdade, um poderoso instru-
mento de clculo numrico (conhecido como "mtodo das aproximaes suces-
sivas"), alm de ter tambm uma enorme importncia terica em vrias teorias
matemticas.
Exerccios
1..Prove que uma seqncia converge paraL se e somente se L seu nico ponto de aderncia.
2. Prove que uma seqncia limitada que no converge possui pelo menos dois pontos aderen-
tes.
3. Prove que L ponto de aderncia de uma seqncia (<tn) se e somente se, qualquer que
seja e > 0, existem infinitos elementos da scqncia no intervalo IL - E, L + s]. (Note 'lHO.
esta ltima afirmao no significa que os infinitos elementos sejam todos distintos, podem
at ter todos o mesmo valor.)
4. Construa uma seqncia com elementos todos distintos e que tenha pontos de aderncia
em -1, 1 e 2.
5. Construa uma seqncia com uma infinidade de elementos inferiores a 3 e superiores a 7,
mas que tenha 3 e 7 como pontos aderentes e somente estes.
6. Construa urna seqncia com elementos todos distintos entre si, tendo como pontos de
. aderncia k: nmeros distintos dados, LI < ... < Li; e somente esses.
7. Sabemos que o conjunto Q dos nmeros racionnis cnumcnivcl. Seja (l'n) uma seqncia
desses nmeros numa certa enumerao, isto , uma seqncia com elementos distintos,
cujo conjunto de valores Q. Prove que todo nmero real ponto de aderncia dessa
seqncia,
8. Seja (an) uma seqncia tal que toda sua subseqncia possui urna subseqncia con-
vergindo para um mesmo nmero L. Prove que (an) converge para L.
9. Prove que uma seqncia (an) que no limitada possui uma subseqncia (anj) tal que
l/anj - a.
10. D exemplo de uma seqncia no limitada que tenha subseqncias convergentes; e de
seqncia no limitada que no tenha uma nica subseqncia convergente.
11. Vimos que a propriedade do supremo tem como conseqncia a propriedade dos inter-
valos encaixados. Prove que esta ltirria propriedade implica a propriedade do supremo,
ficando assim provado que a propriedade do supremo equivale propriedade dos intervalos
encaixados.
12. Prove que se postularmos que "toda seqncia no decrescente e limitada convergente"
conseguiremos provar a propriedade dos intervalos encaixados, portanto, tambm a pro-
priedade do supremo, estabelecendo assim que esta. propriedade equivalente a afirmar
que "toda seqncia no decrescente e limitada converge."
13. Prove, diretamente da Definio 2.26, que as seguintes seqncias so de Cauchy:
1
a) an = 1 + -;
n
70 Captulo 2: Seqncias infinitas
14. Prove, diretamente da Definio 2.26, que se (an) e (bn) so seqncias de Cauchy, tambm
o so (an + bn) e (anbn).
15. Sejam (an) e (bn) seqncias de Cauchy, com b.; ~ b > O. a) Prove que (a,,/b,,) tambm
de Cauchy, b) D um contra-exemplo para mostrar que isto nem sempre verdade se
bn -+ O.
16. Dados ai e a2, com ai < a2, considere a seqncia assim definida: a" = (an-I + an-2),
n = 3,4,5, ... a) Prove que ai, a3, cs , ... seqncia crescente e limitada; e que a seqncia
de ndices pares, a2,a4, a6, ... , decrescente e limitada. b) Prove que (an) seqncia de
Cauchy.
17. Observe que o Teorema 2.25 nos mostra que a propriedade do supremo tem como con-
seqncia que toda seqncia de Cauchy converge. Prove a recprova dessa proposio, isto
, prove que se toda seqncia de Cauchy. converge, ento vale a propriedade do supremo,
ficando assim provado que essa propriedade equivalente a toda seqncia de Cauchy ser
convergente.
Sugestes e solues
1. Comece provando que an convergir para L significa que, qualquer que seja e > O, s existe
um nmero finito de elementos da seqncia fora do intervalo [L - e, L + e].
4. Eis um modo de fazer isso: considere trs seqncias distintas, -1+1/n, l+l/n e 2+1/n, as
quais convergem para -1, 1 e 2, respectivamente. Em seguida "misture" convenientemente
essas seqncias; por exemplo, tomando um elemento de cada uma delas em sucesso e
repetidamente, construindo a seqncia (a>;, assim definida:
n3n ==-1 +. 1/3n; a3n+1 = 1 +.1/(3n + 1); a3n+2 ==2 + 1j(3n + 2),
11. Seja C um conjunto no vazio e limitado superiormente. Queremos provar que C possui
supremo. Seja ai ~ algum elemento de C e bl > ai uma cota superior de C. Seja
a== (ai + bd/2 e seja [a2, b2] aquele dos intervalos [ai, a] e [a, bI] tal que a2 ~ algum
elemento de C e b2 cota superior de C. Assim prosseguindo, indefinidamente, construimos
uma famlia de intervalos encaixados L; = [a", bn], cuja interseo determina um nmero
real c. Prove que c o supremo de C.
12. Prove primeiro que toda seqncia no crescentee limitada converge.
. p 1
13. a) Observe que Ia" - an+pl = -(---) < -. Quanto parte b), observe que lan - a,,+pl
n n+p n
menor do que o Rn da p. 83.
14. Observe que anbn - ambm ==an(bn - bm) + bm(an - a",) e que (an) e (bn) so seqncias
limitadas.
15. Observe que
16. a) Comece fazendo um grfico representando a" a2, a3. a4, as, a6, aJ, etc. Percebe-se que
(a2n) seqncia decrescente e (a2n+l) crescente. Prove isso. b) Prove que
1 17, pouco divulgado; e posteriormente num livro de Cauchy de 1821 (de que falaremos mais
nas pp. 97 e 128), que teve grande divulgao e 'infiuncia no meio matemtico.
Bernhard Bolzano (1781-1848) nasceu, viveu e morreu em Praga. Era sacerdote catlico
que, alm de se dedicar a estudos de Filosofia, Teologia e Matemtica, tinha grandes preo-
cupaes com os problemas sociais de sua poca. Seu ativismo em favor de reformas educa-
cionais, sua condenao do militarismo e da guerra, sua defesa da liberdade de conscincia e
em favor da diminuio das desigualdades sociais custaram-lhe srios embaraos com o gover-
no. As idias de Bolzano em Matemtica no foram menos avanadas. at admirvel que,
vivendo em relativo isolamento em Praga, afastado do principal centro cientfico da poca, que
era Paris, e com outras ocupaes, ele tenha tido sensibilidade para problemas de vanguarda
no desenvolvimento da Matemtica. Infelizmente, seus trabalhos permaneceram praticamente
desconhecidos at por volta de 1870. Seu trabalho de 1817 (com o longo ttulo de Prova
puramente analtica da afirmao de que entre dois valores que garantem sinais opostos (de
uma funo) jaz ao menos uma raiz da equao [funo]) representa um dos primeiros es-
foros na eliminao da intuio geomtrica das demonstraes. Seu objetivo era provar o
teorerna do valor intermedirio (p. 122) por meios puramente analticos, sem recorrer in-
tuio geomtrica. E a que aparece, pela primeira vez, a proposio que ficaria conhecida
como "critrio de Cauchy" (veja o comentrio sobre Cauchy no final do prximo captulo),
formulado para o caso de uma seqncia de funes, nos seguintes termos:
"Se uma seqncia de grandezas
est sujeita condio de que a diferena entre se'u nsimo membr'o Fn(x) e cada membro
sequinle Fn+r(x), no importa quiio distante do n-simo termo este ltimo possa estar, seja
meno',' do que qualquer quantidade dada, desde que n seja tomado bastante qraruie; ento, existe
uma e somente uma determinada qraruleza, 'da qual se aproximam mais e mais os membros da
seqncia,' e da qual eles podem se tornar to prximos quanto 'se deseje, desde que a seqiincio.
seja levada bastante longe".
Como se v, essa proposio O enunciado de uma condio suficiente de convergncia da
seqncia. A necessidade da condio fora notada por vrios matemticos antes de Bolzano
e Cauchy. A demonstrao tentada por Bolzano incompleta; e no podia ser de outro
modo, j que ela depende de uma teoria dos nmeros reais, que ainda no estava ao alcance
de Bolzano. Ele usa essa condio para demonstrar outra proposio sobre existncia de
supremo de um certo conjunto, a qual, por sua vez, usada na demonstrao do teorema
do valor intermedirio. O mtodo de bisseo que Bolzano utiliza na demonstrao dessa
proposio tambm usado por Weierstrass nos anos sessenta para demonstrar o teorema que
ficaria conhecido pelos nomes desses dois matemticos. interessante notar que praticamente
o mesmo enunciado de Weierstrass aparece num trabalho de Bolzano de 1830, Thorie des
fonctions, s publicado cem anos mais tarde, muito depois de se haver consagrado o nome
"teorerna de Bolzano- Weierstrass" ,
Captulo 3
,
SERIES INFINITAS
Primeiros exemplos
Vamos iniciar nosso estudo das sries infinitas com exemplos simples. Essas
sries' surgem muito cedo, ainda no ensino fundamental, quando lidamos com
dzimas peridicas. Com efeito, uma dzima como 0,777. " nada mais do que
uma progresso geomtrica infinita. Veja:
1 1 1 )
0,777 ... = 7 x 0,111... = 7 ( 10 + 100 + 1000+ ...
1 O
= 7e 0 + 1~2+ 1~3+ ... ) = 7(1_ ~/10 -1) = 7eg -1) =~.
5=1-1+1-1+1-1+ ...
Esta srie tanto parece ser igual a zero como igual a 1, dependendo de como a
encaramos. Veja:
5 = 1 - 1 + 1 - 1 + 1 - 1+ ... = (1 - 1) + (1 - 1) + (1 - 1) + ... = O.
5 = 1 - 1 + 1 - 1 + 1 - 1+ ... = 1 - (1 - 1) - (1 - 1) - (1 - 1) - ... = 1.
5 = 1 - 1 + 1 - 1 + 1 - 1 + ... = 1 - (1 - 1 + 1 - 1 + ...) = 1 - 5,
6 Captulo 3: Sries Infinitas
(3.1)
Desse modo formamos uma nova seqncia infinita (Sn), que , por definio,
a srie de termos an . Se ela converge para um nmero S, definimos a soma
infinita indicada em (3.1) como sendo esse limite:
n 00
Esse ltimo smbolo indica a soma da srie, ou limite S de Sn. Mas cos-
tume indicar a srie (Sn.) com esse smbolo mesmo que ela no seja convergente.
Freqentemente usamos tambm o smbolo simplificado L an com o mesmo sig-
nificado. A diferena S - Sn = Rn apropriadamente chamada o resto de ordem
n da srie. s vezes, quando consideramos certas sries particulares, a reduzida
de ordem n pode no conter exatamente n termos, dependendo do ndice n onde
comeamos a somar. Por exemplo, na srie geomtrica abaixo comeamos a so-
mar em n = O e a reduzida Sn contm n + 1 termos. Dependendo de onde se
comea a somar, a reduzida Sn pode conter mais ou menos que n termos.
Captulo 3: Sries Infinitas 77
1 qn+1
Sn = 1 + q + q2 + ... + qn = _
l-q l-q
Supondo "'I < 1, q" tende a zero, de. forma que essa expresso converge para
1/(1 - q), que o limite de S" ou soma da srie geomtrica:
1+q + q 2 + ... -0
= L..., q n = --,1 11
q < l.
n=O 1- q
Notemos que a srie divergente se Iql 2: 1, pois neste caso seu termo geral
no tende a zero.
L (rn+1 - .;n)
n=1
I
Captulo 3: Sries Infinitas
O exemplo mais notvel de srie divergente, cujo termo geral tende a zero, .
o da chamada "srie harmnica", que vamos discutir agora.
001 111
"2:-=1+-+-+-+ ...
n=l n 2 3 4
Pelo modo como seu termo geral tende a zero, quem encontra. essa srie pela
primeira vez inclinado a pensar que ela converge. Foi Nicole Oresme, um
matemtico do sculo XIV, quem primeiro provou que ela diverge. (Veja a nota
"A divergncia da srie harmnica" na p. 95.) Oresme comeou por agrupar os
termos da srie assim:
s 1
1+-+
2345
(1-+- 1) + (1-+-+-+-
1 1
6 7
1)
8
-1 + -1 > 1 1 1
- +- = _.
3 4 44 2'
11111111 11
- +- +- +- > - +- +- +- = 4 x - = _.
5 6 7 8 8 8 8 8 8 2'
11 111 1 11
9 + 10+ ... + 16 > 16 + 16 + ... + 16 = 8 x 16 = 2";
11 111 1 11
17+ 18 + ... + 32 > 32 + 32 + ... + 32 = 16x 32 = 2";
e assim por diante, de sorte que
1 1 1 1 1
s > 1+ - + 2 x - + 4 x - + 8 x - + 16x - + ...
2 4 8 16 32
111 1
1.+-+-+-+-+ ...
2222
Para tornar esse raciocnio um pouco mais formal, observamos que todos os
termos da srie so positivos, de forma que suas reduzidas formam uma seqncia
Cnpicuto 3: Sries Infinitas 79
S2n > I + -1
- 2
+ LI"l
.
~(2J
2)
- 2)- ) = I + -.
n
2'
)=2
00 00
Lan = SN + LaN+n,
n=l n=l
80 Captulo 3: Sries Infinitas
00
Sn = Pl + P2 + ... + Pn,
no decrescente. Em conseqncia, a sene converge ou diverge para +00,
conforme essa seqncia seja limitada ou no.
Suponhamos que os termos da srie sejam reindexados numa outra ordem
qualquer,
p~ + p~ + ... + p~ + ...
Assim, p~ pode ser, digamos, o elemento P5 ,p~ pode ser P9, P3 pode ser Pl etc.
Ento, como os termos so todos no negativos, a nova soma parcial,
ser dominada por alguma soma parcial Sm com m > n. Se a srie original
converge para S, teremos S~ S; Sm S; S, isto , as sornas parciais S~ formam
uma seqncia no decrescente e limitada, portanto, convergente. Seu limite
. S' seu supremo, de sorte que S' S; S. Mas a srie original tambm pode ser
interpretada como obtida de L P;,
por reindexao, portanto, o mesmo raciocnio
nos leva a S S; s'. Provamos assim o teorerua que enunciamos a seguir.
fcil ver tambm que se a srie diverge, ela ser sempre divergente para
+00, independentemente da ordem de seus termos.
Exerccios
(DDada a .seqncia SOl de reduzidas de uma srie, construa a seqncia original de termos
a,t da serre.
2. Dada urna srie convergente L
a", com soma S e reduziu a SOl' prove que seu resto R" a
soma da srie a partir do ndice n + 1.
3. Chama-se srie harmnica, em geral, toda srie cujos inversos de seus termos formam uma
progresso aritmtica, isto , toda srie da forma
00
La:n,., T ;60.
n=l
~Obtenha a reduzida da srie ~_(_l_._) e mostre que seu limite (soma da srie) 1.
~ "=lnn+1 1- ~
o
o
1 l' . ~-tA
5. Mostre que L ()(a+n
n;::l
a+n+l
) = -.
a
li )
7. Dada uma srie convergente L a" euma seqncia 'crescente de nmeros naturais 111 <
n2 < ... , defina
b1 = aI + ... + aTlll b2 =a nl +1 + ... + an2 !
~ ~
~
~Calcule a soma L
n=O
(n + 2)(n + 3) 2
~n2 -n-1
13. Mostre que a srie L n! tem soma igual a 2.
n:2
2. Utilize o Teorema 3.5. Ou faa diretamente: pela definio que demos de resto, Ru = S-Sn.
Por outro lado,
m m
S = ~-_
lim (S" + ""
~ an+j) = S" + mlim
__ ""'au+j.
~
j=1 j==1
Teste de comparao
Um dos problemas centrais no estudo das sries consiste em saber se uma dada
srie converge ou no. H vrios testes para isso, dentre os quais o teste de
comparao, tratado a seguir, o.mais.bsico.
3.8. Exemplo . .J vimos, em (2.9) (p. 58), que o nmero e dado por
1 1 1)
e = lim ( 2 + , + , + ... +,
2. 3. n.
= 2:= ,.n.1
n=O
00
lrracionalidade do nmero e
Para provarmos que o nmero e irracional, vamos primeiro obter uma estima-
tiva do erro Rn que cometemos no clculo desse nmero quando o aproximamos
pela soma parcial Sn da srie anterior (que vai at o termo l/n!). Temos
R" ""
1 (1
(n +1)! 1+ n + 2 + (n + 2)(n + 3) +
1 .
)
+1 1)'. (1 + (n + .2)-1 + (n + 2)-2 +
< ( )
n
.
1
.--<
n +2 1
(n + I)! n +1 n!n
Podemos ento escrever: Sn < e < Sn + l/n!n.
Se e fosse racional, isto , se e = m/n, com m e 11 inteiros positivos, n 2: 2
(pois, como j sabemos, e no inteiro), ento
1!1 1
Sn < -
n
= Sn + R" < Sn + -,-,
n.n
1
donde segue-se que n!Sn < m(n - I)! < n!Sn +- < n!Sn + 1. Ora, o nmero
n
n!Sn inteiro, pois igual a
_ , n! ~ n!
n.,( 2+ 1
,+,+ 1 ... ,1) - 2n. + ?' + 3.,+...
2. 3. n. _. n."
Ento a desigualdade anterior est afirmando que o nmero inteiro m(n - I)!
est compreendido entre 08 inteiros consecutivos n!Sn e n!S" + 1, um absurdo.
Conclumos que o nmero e irracional.
Pelo que vimos acima, S" 6 uma aproximao do muucro c COI11 erro inferior
a (l/n)(l/n!). Como n! cresce muito rapidamente com n, Sn realmente uma
84 Captulo 3: Sries Infinitas
1+ j; n(1
2jx + (2j
1
+ 1)'" + ... +
1) 1)'"
(2j+l _
Embora conhecida por Euler (1707-1783) desde 1737, suas propriedades mais
notveis s vieram a ser descobertas por Riemann (1826-1866) em 1859, num
memorvel trabalho sobre teoria dos nmeros.
Ao lado da srie geomtrica, a srie (3.3) muito usada como referncia
para testar se uma dada srie converge ou diverge. Isso possvel quando o
termo geral da srie dada comporta-se como 1/71'" para 71 tendendo a infinito,
observamos que
00 1 001 001 oo 1
1= L n(n + 1) < L 2
n=l n
= 1 + L2
n
tt ee I ,,=2
< 1+ L (n - 1)'n
n=2
00 1 00 1
1< L2
n=1 n
< 1+ L m (m + 1)= 2,
m=l
2 15n3 + n2Jn2 - 1 16
n an = --;:----;:==,..-- -> -
5n3 + 2nVn+1 - 17 5 .
No Exemplo 2.19 provamos que an/n! < c/2n, o que mostra que a se-
gunda das sries em (3.4) convergente por ser dominada pela srie convergente
Lc/2n.
Finalmente observe que, sendo n > 2,
e aqui tambm podemos concluir que a terceira das sries em (3.4) convergente.
~
xerCCiOS .
1. Prove que se L a" uma srie convergente de termos positivos, entiio L n;, convergente.
2. iejam L a" uma srie convergente de termos positivos e (bn) uma seqncia limitada de
~ elementos positivos. Prove que L anbn converge,
3. Sendo a" ::::O e i; ::::
O, prove que, se as sries L a~ e L b~ so convergentes, ento a srie
L anbn tambm convergente.
4 Prove que se an Oe
;::: L a~ converge, ento L an/n converge.
)
:: Verifique, dentre as sries seguintes, qual del~conv ge, qual delas diverge:
.
-, I
2 2
'" n - 23" + 9 ~ 2 - sen 3n '" 1
e) L.. 4n3J;:l+7-2n+cos3n2 L.. 2n+n2+1' g) L.. (Iogn)k:
n=l n=l n=2
h)~ _1_.
~ (logn)rt'
n=2
6. Sejam Pk(n) e Pr(n) polinmios em n de graus k e r respectivamente. Prove que se r-k ::::
2
a srie LPk(n)!Pr(n) convergente, e se r - k :::;1 ela divergente.
7. Sendo a > b > O, mostre que a srie de termo eral a" = (c" - bn)-l convergente se a> 1
e divergente se a :::;1.
8. Supondo an ::::Oe a" ~ O, prove que L
a" converge ou diverge se, e somente se, L n,,/( 1+
an) converge ou diverge, respectivamente.
9. Prove que, se a" ::::O e Lan converge, ento La;,/(1 + a;,) converge. Construa um
exemplo em que a primeira dessas sries diverge e a segunda converge; e outro exemplo em
que ambas divergem.
10. Prove que, sendo c > O, a srie L sen(c/n) divergente.
Captulo 3: Sries Infinitas 87
12. Construa uma srie convergente de termos positivos I: a" tal que na" no tenda a zero.
Sugestes
5. a) e b) dominam a srie harmnica. Em c) e e), n3/2a" -> c > O. Algo parecido em d).
Em f), O < 2"a" < 2 + Isen2 3nl < 3, logo, an < 3/2". g) Diverge. Observe que se 10 >'0,
log n < n l/k a partir de um certo N. h) Converge, pois log n > 2 a partir de certo N. i)
Converge. No caso da srie em k), observe.que
11. Sendo S a soma da srie, S2n - S" = an+1 + ... + a2" 2: na2n. Isso permite provar o
resultado desejado para n par. Para" mpar observe que (2n + 1)a2"+1 :::;(2n + 1)u2n.
12. Tome uma srie convergente (por exemplo, I: q", com O < q < 1) e substitua por 1/". uma
infinidade de seus termos an, tomados cada vez mais espaadamente para no destruir a
convergncia (por exemplo, substitua os termos de ordem n = e
por 1/" = 1/102).
Teste da razao
Uma importante conseqncia do teste de comparao o chamado teste da
razo ou teste de d 'Alembert que consideramos a seguir.
3.14. Teorema (teste da razo). Seja I:an uma srie de termos posi-
ti{;os tal que existe o limite L do quociente an+dan. Ento, a srie convergente
se L < 1 e divergente se L > 1, sendo inconclusiuo o caso em que L = 1.
em geral, aN+j < aNcj, j = 1, 2,.... Isso mostra que a partir do ndice
N + 1 a srie dada majorada pela srie geomtrica aN I:
J, que convergente,
pois O < c < 1. Ento a srie original tambm convergente, pelo teste ele
comparao.
88 . Captulo 3: Sries Infinitas
A demonstrao do teorema deixa claro que nem precisa existir o limite nele
referido; basta que, a partir de um certo ndice N, tenhamos sempre an+d an ::;
c < 1 ou sempre a"+l/ an 2: l.
(n + I)! nn 1 1
~------- ~ - < 1,
(n + 1)n+1 n! (1+1/n)n e
duudc segue a couvcrgnciu da srie. O clculo desse limite no caso das outras
duas sries resulta .em 1/ ae zero, respectivamente; um clculo fcil, como o
leitor pode verificar.
Observe que o teste da razo nada nos. diz se lim all+1/ an = 1. o que acontece
no caso das sries L 1/ n e L l/n 2, a primeira divergente e a segunda conver-
&
gente. Em ambos os casos an+l/ an tem limite 1; no entanto, a primeira diverge
e a segunda converge. ~
Exerccios
Teste cada uma das sries se uintes, verificando se converge ou no:
n::::l
3. L
00
n=l
(2n)!'
6. f 2
2"n!(1 - cosn ) .
n=1 2.5.8 ... (371 - 1)
8. Dada uma srie convergente de termos positivos L a" = S, prove que, se a partir de um
.certo ndice N, an+l/a" :<:; q < 1, ento S - S" < aNq,,+l-N /(1 - q) para 71 > N.
Captulo 3: Sries Infinitas 89
9. Sejam L
a" e L
bn sries de termos positivos, esta ltima convergente. Suponhamos que
exista N tal que n > N =} an+l/an ::; bn+l/bn. Prove que Lan converge.
10. Obtenha a primeira parte do Teorema 3.14 como conseqncia do exerccio anterior.
Sugestes
2. an+1
an
= ~
2
J 1 + ..!:..
n (2n + 1)(2n + 2) .
n2
4 an+1 _ ~ a__
. a" - 2(n+1)2 - (2n + 1)'
5 an+1 _ a[(n + 1)!J22,,2 a(n + 1)2
. a" - (n!)22("+1)2 = 2(2n+1) .
b,,+l 2(n + 1) 2
6. O < a" ::; 5.8 ... (3n _ 1) = b, -;;;: = 3n +2 -> 3'
bn+1 3(n + 1) 3
-;;;: = 2n +1 -> 2'
9. Escreva a desigualdade do enunciado para os ndices N, N + 1, ... , n e multiplique, membro
a membro, as desigualdades obtidas.
n+1
n
10. Sendo L < c < 1, a +1 ::; c::; ~, a partir de um certo N.
an c
o teste da integral
j variando de 2 a n.
00 1
3.18. Exemplos. A srie :L --1--
n=2 ognn
divergente, pois
'
d on d e cone 1uimos -- ~
que a serre L (1 1 )1+< e, convergente.
'11=2 n ogn -
Exerccios
l' 2:Use o teste da integral para mostrar que a srie harmnica divergente.
"-0 Faa o mesmo para mostrar que a srie 2:= 1/11" convergente se x > 1 e divergente se
x<l.
3. Estabelea as seguintes desigualdades:
a)f:z n=l
< 2;
[0 (e/x)"dx.
oc
Sugestes
3. Integre, em cada caso, uma funo f(x) apropriada.
Captulo 3: Sries Infinitas 91
5. A convergncia da srie pode ser obtida como conseqncia da convergncia das duas
ltimas sries em (3.4) (p. 85), pois (e/nY = (e" /n!)(n!/nn).
6. Basta provar que convergente a integral, ele 2 a 00, da funo
J(.I:) = (logx)-IOg x = C-(lo~x)loglogx = C-9(I),
onde g(x) tem:significado bvio. ( fcil verificar que J(x) decrescente a partir de um
certo xo. pois g'(x) = x-1(loglogx + 1) > O a partir de um certo xo.) Para isso fazemos a
substituio y = log z , donde
{OOJ(x)dx
J2
= 1 00
log 2
(e/y)"dy,
(3.6)
e
(3.7)
respectivamente. As seqncias (Tn), (Pn) e (qn) so no decrescentes, a
primeira das quais converge, por hiptese. Seja T seu limite. Temos que
Pn S; Tn S; Te qn S; T S; T, donde conclumos que (Pn) e (qn) convergem. Sejam
p e q seus respectivos limites. Ento Sn tambm converge: Sn = Pn - qn -+ P - q.
Isso completa a demonstrao da primeira parte do teorema.
Para ver que a soma da srie dada independe da ordem de seus termos,
basta notar que Pn e qn so reduzidas de sries de termos no negativos, e as
somas dessas sries independem da ordem em que se considerem seus termos,
como vimos no Teorema 3.6 (p. 80).
Ora, dado qualquer e > O, existe um ndice N tal que 71 > N acarreta esta
ltima soma ser menor do que , logo, o mesmo acontece com a primeira.
~ ~ sen3n2
~ an = ~ 712 _ Vn+9
absolutamente convergente. Para isso observamos que a partir de 71 2 o
denominador positivo e
2 n2Jsen 3n2J 71
2
71 JanJ = < --+ 1,
n 2 - Jn + 9 - 712 - Vn+9
de sorte que, a partir de um certo N, n2JanJ < 2 e isso prova que L JllnJ
convergente.
Diz-se que uma srie alternada quando seus termos tm sinais alternadamente
positivos e negativos. Para essas sries vale a recproca do Teorema 3.1 (p. 77),
desde que o valor absoluto do termo geral tenda a zero decrescentemente. o
que vere os a seguir.
e
S2n+! = aI - (a2 - a3) - .: . - (a2n - a2n+l),
por onde vemos claramente que (S2n) . no decrescente ~ (S2n+d no.
crescente. Alm disso, S2n = S2n+l - a2n+! ~ S2n+! ~ a0 isto , (S2n) no
decrescente e limitada, portanto, convergente para um certo nmero S. Este
tambm o limite da seqncia ele reeluzielas"ge ordem mpar, como se 'v pas-
sando ao limite em S2n+l = S2ri + a2n-tf"~onclumos que a sequencia (Sn)
converg!LIW.@..lLI!}ID.Q n m~~~xer~:...1...d--~L
- Quanto ao erro, observe que as desigualdades -----
Captulo 3: Sries Infinitas 93
nos do:
e
o ~~- S} S2n+l -' S2n~ = a2n+2'
,/
Isso prova que ISn - SI ~ a,,+l para todo n e conclui a. demonstrao,
1 1 1 00 (_1)n+1
l--+---+",=L-'----'-
2 3 4 n=l n
Exerccios
Verifique, em cada um dos exerccios seguintes, se a srie dada convergente; e, em sendo, se
5)~
absoluta ou condicionalmente. i') ~' ::. ~~
3. f (~~f'; ~ f :::-sellk;
s ~
. n~l
2+= n
,fo(2 + ,fo) , ~
-,
.
G) i"!,-:~"
n~l
1
-n ;
7. I: (-w.
n=2
log n
,
o ~
00 [2n _ (-3)"J
9. L
n:::::;l
(2n)! - n! ;
I:""
(n!)2 (2n)!(cos n).
I: (2n)!
oo
Notashistricas e complementares
E veja os resultados aproximados que obteramos para a soma da srie harmnica, em cada
um desses casos, respectivamente:
Imagine, finalrnente, que esse computador estivesse ligado desde a origem do universo, h 16
bilhes de anos. Ele estaria hoje obtendo o valor aproximado de 9.J.,2990 para soma da srie
harmnica, um nmero ainda muito pequeno para fazer suspeitar que a srie diverge.
~ Mas como se chega ao nmero 94,299, se o (idealizado) computador mais rpido que
se possa construir deveria ficar ligado durante 16 bilhes de anos?
Sim, no h como fazer essa soma, mas existem mtodos que permitem substituir a sorna
Sn dos n primeiros termos da srie por uma expresso matemtica que aproxima S e que
pode ser calculada numericamente; e os matemticos sabem disso h mais de 300 anosl. ..3
1 2 3 ~ n
S = 2" + 4" + "8 + ... = D 2n '
n=l
Essa sene foi considerada, por volta de 1350, por Richard Swineshead, um dos
matemticos de Oxford. Ela surge a propsito de um movimento que se desenvolve durante o
intervalo de tempo [O, 1] da seguinte maneira: a velocidade permanece constante e igual a 1
durante a primeira metade do intervalo, de zero a 1/2: dobra de valor no segundo subintervalo
(de durao 1/4), triplica no terceiro subintervalo (de durao 1/8), quadruplica no quarto
sub- intervalo (de durao 1/16) etc. Como Se v, a soma da srie assim construida a soma
dos produtos da velocidade pelo tempo em cada um dos sucessivos sub-intervalos de tempo e
representa o espao total percorrido pelo mvel (Fig. 3.1a).
Swineshead achou o valor 2 para a soma atravs de um longo e complicado argumento
verbal. 'fv{aistarde, Orcsme, deu urna explicao goorntric hastnutc intcrexxautc para a SOlllil
da srie. Observe que essa sorna- igual rea da figura formada com uma infinidade de
retngulos verticais, como ilustra a Fig. 3.1a. O raciocnio de Swineshead, combinado com a
interpretao geomtrica de Oresme, se traduz simplesmente no seguinte: a soma das reas
dos retngulos verticais da Fig. 3.1a igual soma das reas dos retngulos horizontais da
Fig. 3.1b. Ora, isso o mesmo que substituir o movimento original por uma sucesso infinita
de movimentos, todos com velocidade igual velocidade original: o primeiro no intervalo de
tempo [O, 1]; o segundo no intervalo de tempo [1/2, 1]; o terceiro no intervalo [3/4, 1); e assim
por diante. V-se assim que o espao percorrido (soma das reas dos retngulos da Fig. 3.1b)
agora dado pela soma da srie geomtrica
00
1 1 1. ,,1
S = 1+ 2 + 4" + "8 + ... = D 2n .
n=O
Isso permite obter a soma da srie original, pois sabemos somar uma srie geomtrica; no caso
desta ltima o valor 2.
Hoje em dia a maneira natural de somar a srie de Swineshead esta:
= 1 + -212: --
n-1 = 1 + -12:-n = 1 + -,
00 00
S
2 2
n-12n 2
n=2 n=l
30 leitor curioso pode ver a explicao desses mtodos em nosso artigo na Revista
Matemtica Universitria, N 19, Dezembro de 19%.
Captulo 3: Sries Infinitas 97
-
I
I I
I I I
(o) rhJ
Fig. 3.1
O pouco mais que Cauchy escreve em seguida sobre esse critrio nada acrescenta de subs-
tncia, apenas esclarece ser [... necessrio e suficiente} "que, para valores crescentes de n, as
sornas das quantidades UnI Un+t, Un+2. &c._ .. tomadas, a partir da primeira, tantas quantas
se queiram, resultem sempre em valores numricos inferiores a todo limite prescrito."
Ao contrrio de Bolzano, Cauchy sequer acena com uma demonstrao - parece julg-Ia
desnecessria -, limitando-se a usar esse critrio para provar que a srie harmnica divergente
e que a srie alternada 2:(
= l ]" /n convergente. No primeiro caso ele observa que
1 1 1 1
S2n - Sn = n + 1 +' n + 2 + ... + 2n > 2'
donde conclui que a srie divergente. No segundo caso o raciocnio o seguinte, supondo
m > n: se m - n for mpar,
ISn-Sml=-- 1 (1--- 1)
n+l n+2' n+3
9 Captulo 3: Sries Infinitas
e se m - n for par,
Em qualquer desses casos, ISn - Sml < l/n, o que prova a convergncia desejada. fcil
verificar que esse ltimo raciocnio se aplica tambm srie alternada 2:(
-l)"an, onde (an)
uma seqncia nula no crescente. Alis, a convergncia dessa srie j era sabida de Leibniz
(1646-1716), que lhe faz referncia numa carta de 1713, o que explica atribuir-se a ele o teste
dado no Teorema 3.21 (p. 92).
Essas so as nicas aplicaes em que Cauchy utiliza seu critrio de convergncia,
podendo-se ento dizer que tal critrio no teria feito falta alguma a Cauchy. Sua importncia
s se faria sentir mais tarde, no final do sculo, no trato de importantes problemas de apro-
ximao, em equaes diferenciais e clculo de variaes.
Embora, como dissemos, o trabalho de Cauchy tenha tido influncia decisiva no desen-
volvimento e consolidao do estudo da convergncia das sries no sculo XIX, esse desen-
volvimento vinha desabrochando desde o final do sculo anterior. E a esse respeito devemos
rnencionar aqui o importante trabalho de urn ilustre autor portugus, Jos Anastcio da Cunha.
As sries infinitas so discutidas no captulo IX ("livro" IX) de sua obra "Princpios Mathe-
maticos' , onde se pode identificar uma verdadeira antecipao de muitas das idias de Cauchy
e seus contemporneos, inclusive o "critrio de convergncia de Cauchy" .
FUNOES, LIMITE E
CONTINUIDADE
o conceito de funo
O leitor j encontrou o conceito de funo em seus estudos anteriores, sobretudo
nas disciplinas de Clculo. Tendo em conta a importncia desse conceito num
curso de Anlise, vamos retorn-lo aqui, comeando com alguns aspectos de sua
evoluo histrica a partir do sculo XVII. Nessa poca, com o aparecimento da
Geometria Analtica, muitos problemas matemticos eram convenientemente
formulados e resolvidos em termos de variveis ou incgnitas que podiam ser
representadas em eixos de coordenadas.
Fig.4.1
em termos de outras. Mas, mesmo assim, por todo o sculo XVIII, o conceito
de funo permaneceu quase s restrito idia de uma varivel (dependente)
expressa por alguma frmula em termos de outra ou outras variveis (indepen-
dentes).
Essa idia de funo, todavia, revelou-se inadequada a partir do momento
em que os matemticos comearam a definir funes pelos processos infinitos do
Clculo. Por exemplo, uma funo pode ser definida pela frmula
00 (_I)n+l
f(x) = L sennx,
n=l n
Mas prova-se que a soma dessa srie
x
f(x)="2 se -7r<X<7r; f(-7r)=f(7r)=O.
Faa um grfico desta ltima funo e repare em seu aspecto tipo "serra", com
descontinuidades nos pontos x = n7r. No entanto, a srie inicial que a define
tem um aspecto de muita regularidade, pela regularidade de seus termos, todos
com grficos contnuos, sem qualquer ruptura. Foi o processo de soma infinita
da definio inicial que fez surgir uma frmula nova para definir a funo, bem
como as descontinuidades do grfico.
Exemplos como esse que acabamos de dar deixavam claro que o conceito
de funo-dado por uma frmula era inadequado. A definio mais geral de
funo que utilizamos hoje e que dada logo a seguir, evoluiu principalmente
dos trabalhos de Fourier e Dirichlet no sculo XIX, e sobre os quais falaremos
mais em nota no final do captulo.
4.1. Definio. Uma funo f: D.f-+ Y uma lei que associa elementos
de um conjunto D, chamado o domnio da funo, a elementos de um outro
conjunto Y, chamado o contradomnio da funo.
Em geral, o contradomnio um conjunto fixo, o mesmo para toda uma
classe de funes sob considerao, no acontecendo necessariamente que todo
elemento de Y corresponda a algum elemento do domnio pela ao da funo
que esteja sendo considerada. J com o domnio a situao diferente, pois cada
funo tem seu domnio prprio, e todos os elementos do domnio so objeto de
ao da funo.
Em nosso estudo estaremos interessados to-somente em funes cujos
domnios sejam subconjuntos dos nmeros reais, principalmente intervalos dos
vrios tipos considerados logo no incio do Captulo 2. O contradomnio ser
sempre o mesmo, o conjunto dos nmeros reais.
Terminologia e notao
Costuma-se denotar com f(x) o elemento que uma funo f associa ao elemento
Captulo 4: Funes, limite e continuidade 101
z . Escreve-se:
j : xEDt-->y=/(x),
Ij = {y = /(x): x E D},
Mas nem sempre assim; teremos oportunidade de lidar com funes dadas por
leis bem gerais, que no se enquadram nessas categorias.
Muitas vezes o domnio de uma funo no mencionado, ficando subenten-
dido tratar-se do maior conjunto para o qual a expresso que define a funo
faz sentido. Assim, nos dois primeiros exemplos acima, o domnio o conjunto
de todos os nmeros reais, enquanto no ltimo o sem i-eixo x > l.
Uma funo f com domnio D dita limitada esquerda ou limitada infe-
riormente se existe um nmero A tal que A ::; f(x) para todo x E D; e limitada
direita ou limitada superiormente se existe um nmero B tal que f(x) ::; B
para todo x E D. .Urna funo que limitada direita e esquerda ao mesmo
tempo dita, simplesmente, limitada; claro que isso equivale a dizer que existe
um nmero M tal que 1/(x)l::; AI para todo x E D.
Diz-se que uma funo 9 extenso de uma funo /, ou que / restrio
de g, se o domnio de / est contido no domnio de 9 e as duas funes coinci-
dem no domnio de I. As operaes sobre funes, como adio, multiplicao,
diviso etc., so definidas de maneira bvia, em termos das mesmas operaes
es sobre as quais se faz-em essas operaes
o !IleiIDO domnio; e se no for esse o caso, necessrio restringir
6=~JS ao co junto interseo dos domnios das funes envolvidas. Por
~=~_l!o, embora a funo f(x) = x2 esteja definida para todo. z real, o produto
:; ts: =;::2 x uma funo com domnio x 2: O, o mesmo da funo h(x) = ,jX.
Isso o mesmo que afirmar: f(x) = f(x') => X = x'; e significa que cada
elemento y da imagem ele f provm ele um nico elemento x no domnio ele
f: y = f(x). Isso nos permite definir a chamada funo inversa da funo I,
frequentemente indicada com o smbolo j-l , que levaj, E j(D) no elemento
x E D tal que j(x) = y. fcil ver ento que j-l(j(x)) = z para todo x D e
j(j-l(y)) = Y para todo y E j(D).
Diz-se que uma funo f: D >-+ Y sobrejetiva se j(D) = Y. Uma fun-
o que ao mesmo tempo injetiva e sobrejetiva tem inversa definida em todo
o conjunto Y. Ela estabelece assim uma correspondncia entre os elementos
x E D e os elementos y = j(x) E Y, que chanada correspondncia biunuoca,
justamente por ser un'uoca nos dois sentidos: cada elemento em D tem um
e um s correspondente em Y pela j; e cada elemento de Y tem um e um s
correspondente em D pela inversa j -1. Uma funo nessas condies chamada
uma bijeo ou funo bijetiva. claro que toda funo injetiva uma bijeo
de D sobre j(D).
Diz-se que uma funo j definida num intervalo crescente se x < z' =>
f(x) < j(x'); decrescente se x < x' => j(x) > f(x'); no decrescente se x <
x' => j(x) ~ j(x') e no crescente se x < x' => f(x) 2: j(x'). Em todos esses
casos j chamada funo montona.
Diz-se que j uma funo par se seu domnio D simtrico em relao
origem (isto , x E D {o} -x E D) e j(-x) = j(x); j funo mpar se o
domnio do mesmo tipo e j(-x) = -j(x).
Dada uma funo f: DI-> Y e B um subconjunto de Y, define- se f-l(B)
Captulo 4: Funes, limite c continuidade 103
Exerccios
1: Considere a funo f(x) = sen(l/x), definida para todo x # o. Estude seu grfico, notando
particularmente o comportamento da funo quando [z] torna-se arbitrariamente grande
ou prximo de zero. Determine os pontos onde f se anula.
2. Faa o grfico das funes f(x) = xse"n(l/x) e g(x) = x2sen(1/x), que esto definidas para
todo x # O.
3. Considere a seguinte funo, conhecida como juno de Dirichlet: f(x) = 1 se x racional
e j(x) = O se x irracional. Descreva a funo g(x) = f( .;x).
4. Se! a funo de Dirichlet, descreva o conjunto {x: !(x) :s; x}. Descreva tambm o con-
junto {x: f(x) :s; x2}.
5. Prove que toda funo crescente (decrescente) invcrttvel e sua inversa crescente (decres-
cente).
6. Defina convenientemente o domnio de cada uma das funo seguintes, de forma que elas
sejam invertfveis e calcule suas inversas:
onde f: D ....Y uma funo qualquer e (Ai)~l uma seqncia enurnervel de subcon-
juntos de Y.
14. Prove que se f: D ....Y injetiva e AC D, ento f-l(J(A)) ~ A. Mostre, por contra-
exemplo, que isso no necessariamente verdade se f no for sobrejetiva.
15. Prove que se f: D ....Y sobrejetiva e B C Y, ento B)) = B. Mostre, por nr:
contra-exemplo, que isso no necessariamente verdade se f no for injetiva.
16. Se f uma funo qualquer, seja Ifl a [uno rndulo, assim definida: IJI(x) = If(x)l.
Dadas duas funes f e g, com o mesmo domnio, expresse
sup(J+g):<;supf+supg e inf(J+g);:::inff+infg.
Sugestes e solues
1. Essa funo estudada detalhadamente em nosso livro Clculo 1.
3. 1\OS pontos x da forma (pjq)2, com p e q primos entre si, onde ela 1.
8 f(~) _ f(x) + [( -x) + f(x) - f( -x)
. - 2 2
9. Com referncia incluso, se yE f(AnB), y = f(x), com x E AnB, logo y E f(A)nf(B).
Pode acontecer que um certo y esteja em f(A) n f(B) sem estar em f(A n B). Para isso
basta que y seja igual a f(a) e igual a f(b), com a E A e b E B, sem que haja um c E A n B
tal que y = [(e). D um exemplo concreto dessa situao.
11. Observe que x E f-l(y - B) => f(x) E Y e j(x) f/:. B; e que isto implica x E D e
x ri. f-l(B). Observe tambm que essas implicaes so reversveis.
17. Observe que (J + g)(D) = {J(x) + g(x): x.E D} C f(D) + g(D).e aplique o resultado dos
Exercs. 15 e 18 da p. 36: Ou, ento, observe que, qualquer que seja x E D,
inf f + inf 9 :5 inf j + g(x) :<; f(x) + g(x) e f(x) + g(x) :<; sup [+ g(x) :<; supf + supg.
18. claro que sup A :<; w. Por outro lado, dado qualquer > 0, existem x e y em D tais que
f(x) > M - j2 e f(y) < m + j2, donde f(i) - j(y) > w - ; e isso prova que w :5 supA.
Captulo 4: Funes, limite e continuidade 105
Limite e continuidade,
primeiras definies
Sempre que falarmos em "nmero" sem qualquer qualificao, entederemos
tratar-se de um nmero real. Como os nmeros reais so representados por
pontos de uma reta, atravs de suas abscissas, costume usar a palavra "ponto"
em lugar de "nmero"; assim, "ponto x" significa "nmero x".
J definimos "vizinhana t:" de um ponto na p. 48. De um modo geral, vizi-
nhana de um ponto qualquer conjunto que contenha a internamente. Mas, a
menos que o contrrio seja dito explicitamente, "vizinhana" para ns significar
sempre um intervalo aberto. Em particular, dado e > O, o intervalo Ve(a) =
(a -t:, a +0:) uma vizinhana de a, chamada naturalmente vizinhana simtri'ca
de a, ou vizinhana E: de a. s vezes interessa considerar uma vizinhana E: de a,
excludo o prprio ponto a, a chamada vizinhana perfurada. Vamos denot-Ia
V;(a): '
V;(a) = V(a) - {a} = {x: O < Ix - ai < e}.
Diz-se que um nmero a ponto de cumulao de um conjunto C se toda
vizinhana de a contm infinitos elementos de C. Isso equivale a dizer que
(Exerc. 1 adiante) toda vizinhana de a contm algum elemento de C diferente
de c ; ou ainda, dado qualquer E: > O,V;(a) contm algum elementodeC.
Um ponto de acumulao de umconjunto pode ou no pertencer ao conjunto;
por exemplo, os extremos a e b de Ulll intervalo aberto (a, b) so pontos de
acumulao desse intervalo, mas no pertencem a ele. Todos os pontos do
intervalo tambm so seus pontos de acumulao e pertencem a ele.
Um ponto x de um conjunto C diz-se isolado se no for ponto de acumulao
de C. Isso equivalente a dizer que existe E: > O tal que V;
(x) no contm
qualquer elemento de C. Chama-se discreto todo conjunto cujos elementos so
todos isolados. O conjunto
A
'{ 1
= 2'
2 3
3' 4'
n
n+1
... }
discreto, pois seus pontos so todos, isolados, e seu nico ponto de acumulao
o nmero 1, que no pertence ao conjunto.
Vamos introduzir uma noo referente a dois conjuntos A e B, que utilizada
com freqiincia quando A C B, embora esta condio no seja necessria na
definio que vamos dar.
Diz-se que um conjunto A denso num conjunto B se todo ponto de B que
no pertencer aA ponto de acumulao de A. Dito de outro modo, todo ponto
de B ou j est em A ou ponto de acumulao de A, de sorte que se juntarmos
a A seus pontos de acumulao, o conjunto resultante conter B. Em particular,
A ser denso em R significa que todo nmero real ponto ele acumulao de A.
106 Captulo 4: Funes, limite e continuidade
sen t
l
x
--dt (4.2)
o vT=t '
com x tendendo a l.
Observe que.em todos esses casos e outros parecidos, a varivel x deve :
aproximar um certo valor, sem nunca coincidir com esse valor; e que o valor do
qual x se aproxima deve ser ponto de acumulao do domnio da funo. Essas
observaes ajudam a bem compreender a definio que damos a seguir.
4.2. Definio. Dada uma funo f com domnio D, seja a um ponto de
acumulao de D (que pode ou no pertencer a D). Diz-se que uni nmero L
o limite de f(x) com x tendendo a a se, dado qualquer > O, existe 8 > O tal
que
x E D, O < Ix - ai < 8 * If(x) - LI < . (4.3)
lim f(x)
x-a
= L, limx_a f(x) = L, f(x) -> L com x -> a,
A Definio 4.2 costuma ser chamada a definio e-/5 de limite, por razes
bvias. H uma outra maneira equivalente de definir limite, a chamada definio
sequencial de limite, caracterizada no Teorema 4.10 adiante.
Propriedades do limite
4.4. Teorema. Se uma funo f com domnio D tem limite L com x -t a.
ento If(x)1 tem limite IL I. Em particular} se f continua em x = a, ento
If(x)1 tambm contnua nesse ponto, isto , lill1x_a If(x)1 = If(a)l
Para a demonstrao, observe que Ilf(x)l- ILII ::; If(x) - LI. Por hiptese.
dado e > O, existe /5 > O tal que x E V;(a) n D =? If(x) - LI < e . Portanto.
teremos tambm x E V;(a) n D =? Ilf(x)1 - ILII < e . como queramos provar.
4.5. Teorema. Se uma juno f com domnio D tem limite L com x -t a.
e se A < L < B, ento existe /5 >0 tal que x E V;(a)nD =? A < f(x) < B.
Demonstrao. Como na demonstrao do Teorema 2.6 (p. 52), basta tomar
e < min{L - A, B - L}; o /5 que for determinado em correspondncia a esse =
satisfar a condio do teorerna, pelas mesmas razes explicadas na demonstra-
o do Teorema 2.6.
(4.4)
Se g(x) tende a zero e f(x) tem limite diferente de zero, ento o quociente
f(x)/ g(x) pode tender a oo (limites infinitos sero tratados mais adiante),
tudo dependendo do comportamento particular de f e g. Quando f(x) e g(x)
tendem ambas a zero, o quociente f(x)/g(x) pode ter limites os mais variados,
dependendo novamente do comportamento particular de 'f e g. Trata-se aqui
de um tipo de "forma indeterminada", muito estudada nos cursos de Clculo,
principalmente em conexo com a chamada "regra de l'Hpital".
4.10. Teorema. Uma condio necessria e suficiente para que uma -jun-
o f com domnio D tenha limite L com x --> a que, para toda seqncia
Xn E D - {a},xn --> a, se tenha f(xn) --> L. Em particular, f contnua num
ponto a se, e somente se, para toda seqncia x,nE D - {a}, Xn --> a, se tenha
f(xn) --> f(a). .
determinamos N tal que n > N '* Xn E V;(a); logo, n > N ~ f(xn) E V,,(L),
e isso prova B.
Provaremos em seguida que a condio suficiente, ou seja, que B ~ A.
Raciocinaremos por absurdo, provando que a negao de A acarreta a negao
de B. Vamos escrever essas negaes em detalhe, j que elas so freqentemente
um tropeo para o aluno menos experiente.
Negao de A: existe um e > O tal que, qualquer que seja {j > O, sempre
existe x E V;(a) n D com f(x) ~ V(L).
no converge para L.
Teorema 2.8, f(xn)g(xn) -> FC, donde o Teorema 4.10 nos leva a concluir que
f(x)g(x) -+ FC, que o item c) do Teorema 4.8.
Exerccios
1. Prove que a ponto de acumulao de um conjunto X se e somente se dado qualquer e > O
existe x E .'. tal que x E V;(a).
2. Prove que o limite de uma funo, quando existe, nico.
3. Verifique que a funo de Dirichlet, f(x) = 1 se x racional e f(x) = O se x irracional,
pode ser expressa como
f(x) = lim [Iim (cosn!1Tx)2k].
n-oo k-oo
4. D exemplo de uma funo f que seja descontnua para todo x, enquanto Ifl seja sempre
contnua.
5. Prove que a funo f(x) = x para x racional e f(x) = -x para x irracional s contnua
em x = O, mas If(x)1 contnua para iodo x.
6. Prove que fi urna funo contnua em seu domnio x ~ O.
7. Prove, diretamente da Definio 4.2, que f(x) = x2 uma funo contnua em todo o seu
domnio.
8. Prove que a funo f(x) =sen(l/x) no tem limite com x -> O.
9. Prove que a funo f(x) = 1 se x > Oe -1 se x < O no tem limite com x -> O.
10. Prove todos os itens do Teorerna 4.8.
11. Prove o Teorema 4.8 diretamente, sem usaro Teorema 4.10.
14. Prove que um polinmio uma funo contnua em todo ponto x = a, o mesmo sendo
verdade do quociente de dois polinmios, nos pontos que no anulam o denominador.
15. (Critrio de confronto ou da funo intercalada.) Sejam I, 9 e h trs funes com
o mesmo domnio D, sendo I(x) :s; g(x) :s; h(x). Prove que se I(x) e h(x) tm o mesmo
limite L com x -> a, ento g(x) tambm tem limite L com x -> a.
16. Prove que se I(x) contnua em x = a e I(x) ;:::O, ento g(x) = ..;I(x) contnua em
x =a.
17. Sejam I uma funo com domnio D, E C D e a um ponto de acumulao de E. Prove
que se I(x) -> L com x -; a em D, o mesmo verdade com x -> a em E. D um contra-
exemplo, mostrando que uma funo pode ter limite quando restrita a um sub-domnio E
de D e no ter limite em seu domnio D.
18. Seja I uma funo contnua em toda a reta, que se anula nos racionais. Prove que I
identicamente nula. Prove, em geral, que toda funo contnua num domnio D, que seja
nula num subconjunto denso de D, identicamente nula.
Sugestes e solues
2. Basta provar que impossvel haver dois limites distintos L e L'.
6. Observe que, sendo a > O,
1v'X - Vl = Ix - ai < Ix - ai
vIx+V V'
Portanto, dado E"> O, basta tomar = "f para satisfazer a condio (4.3). O caso a = O
mais simples ainda: vIx :e $} x <: 2.
7. Se a f. O, Ix2 - a21 = Ix + atlx - ai :s; (lxl + lal)lx - ai :s; 31atlx - ai, esta ltima
desigualdade sendo verdadeira se restringirmos x de forma que [z] < 21al, O que suficiente
para acomodar x = a no intervalo (-2Ial, 21al), como bem mostra um grfico simples. E,
em conseqncia, Ix2 - a21 < se Ix - ai < < /3a. Para garantir a condio [z] < 21al,
notamos que Ixl = I(x - a) + ai :s; Ix - ai + [c] < + [c]: portanto, devemos tomar < 21al,
alm de < /3a. O caso a = O mais fcil: x2 < e $} Ixl < V = .
8. Utilize o Corolrio -l.Ll , seja construindo urna seqncia x" -; O tal que I(x,,) no convirja,
seja construindo duas seqncias x" -> O e y" -> O tais que I(x,,) e I(y,,) tenham limites
distintos. Outro modo seria usar a desigualdade do tringulo para mostrar que a Definio
4.2 violada com um e < 2.
9. Proceda como no exerccio anterior.
11. O procedimento anlogo ao da demonstrao do Teorema 2.8 da p. 52.
12. preciso provar que pode-se fazer _5_ -1 em mdulo menor que qualquer > O prescrito,
x-I
fazendo Ix - 61 < . Ora,
_5_-11-lx-61
1x-I - Ix - 11'
Como o x vai estar numa vizinhana de 6, podemos supor {j < 1, garantindo Ir - 11> 4.
Faa uma figura para ver que deve ser assim, embora tal fato precise ser provado. E para
isto usamos a desigualdade do tringulo, assim:
Ento,
_5__ 11 < IX-61.
1 x-I 4
Isto ser menor do que E se fizermos Ix - 61< 4, donde se v que deve ser o menor dos
nmeros 4 e 1.
13. O procedimento anlogo ao do exerccio anterior. Esses dois exerccios servem para
ilustrar a eficcia do Teorema 4.8, mediante o qual os resultados pedidos nos Exercs. 5, 10
e 11 dispensam todo esse trabalho de provar diretamente da definio de limite.
14. Use repetidamente o Teorema 4.8.
17. Como contra-exemplo considere a funo f(x) = sen(l/x), que no tem limite com x -+ o.
Tome, por exemplo, D' = {1/mr, n = 1, 2, 3 ... }.
x . x
lim -11 =/(0+)=1 e lim - = 1(0-) =-l.
x-o+ x x~o-Ixl
4.15. Teorema. Uma condio necessria e suficiente para que uma [uno
seja cont'nua n"!!Tnponto a de seu dominio; que seja ponto de aC'umulao
direita e esquerda desse domnio, que os limites laterais da [uno existam
nesse ponto e sejam ambos iquais a f(a).
------------- -
Captulo 4: Funes, limite e conu'nllidl1de 115
limj(x)=+oo e limj(x)=-oo.
x-a x~a
Suponhamos agora que D seja ilimitado superiormente. Diz-se que j(x) tem
limite L com :r -> +00 se, dado qualquer o > 0, existe um nme'l'O k > O
tal que x E D, x > k => Ij(x) - LI < o. Analogamente, sendo D ilimitado
inferiormente, diz-se que j(x) tem limite L com x -> -00 se, dado qualquer
o> O, existe um nmero k > O tal que x E D, x < -k => Ij(x) - LI < o. Esses
limites so indicados, respectivamente, com os smbolos
lim
x~+~
j(x) = L e lim
x--oo,
j(x) = L.
lim f(x)
x-a+
= +00, lim f(x)
x-a+
= -00, lim f(x)
x-a-
= +00,
lim
x-+a-
j(x) = -00, lim
x-+oo
j(x) = +00, lim
x-+oo
f(x) = -:xl,
lim
x-+-oo
j(x) = +00, e lim
x--oo
f(x) = -00.
De um modo geral, f (x) -> a+ com x -> a significa: dado qualquer e > O, existe
> O tal que, sendo D o domnio de f,
Demonstrao. Pela hiptese, dado qualquer k > O, existe >0 tal que
x E V;(a) n D=>O < f(x) < l/k, portanto 1/ f(x) > k. Isso prova a primeira
parte. A segunda parte anloga e fica a cargo do leitor.
4.19. Teorema. Suponhamos que f(x) -> A e g(x) -> B com x -> +00.
Ento, com x -> +00, a) f(x) + g(x) -> A + B; b} sendo k constante, kf(x) ->
kA; c) f(x)g(x) -> AB; d) f(x)/g(x) -> A/B, desde que B =I O.
4.20. Teorema. a) Se f(x) -> +00 com x -> a e se g(x) > k , ento
f(x) + g(x) -> +00 com x -> a. Alm disso, se k > O,f(x)g(x) --; +00 com
X ---1- a.
senx 1 1
- .e sen-, (4.7)
x z: x x
so todas contnuas em seus domnios (iguais a R - {O}); e, embora z = O no
pertena a esse domnio, natural. considerar o que acontece com essas funes
quando z. tende a zero.
De acordo com nossa definio, a primeira das funes em (4.7) seria clas-
,
sificada como descontnua em x = O simplesmente por no estar a definida,
pois tem limite 1 quando x -> O. Atribuindo-lhe o valor 1 em ~. = O, ela ficar
definida e ser contnua em toda a reta, por isso mesmo dizemos que esse tipo I'
If
de descontinuidade removvel. A segunda tem limites laterais diferentes com
x -> O; ela ser contnua direita se pusermos j(O) = 1 e contnua esquerda
se definirmos j(O) = -1. A terceira funo tende a oo com x -> O pela direita
ou pela esquerda, respectivamente. Finalmente, a quarta funo no tem limite I
, I
so tais que
n
Isso prova que, sendo a funo limitada, para todo inteiro m > O s pode
haver um nmero finito de pontos de descontinuidade onde [l(Xi)] > 11m, isto
, o conjunto
Dm = {x: [J(x)] > 11m}
finito. Ora, qualquer ponto de descontinuidade da funo est num desses
conjuntos Dm, cuja unio o conjunto D de todos os pontos de descontinuidade.
Portanto, esse conjunto D no mximo enumervel, pelo mesmo argumento
usado nas pp. 15-16 para provar a enumerabilidade do conjunto dos nmeros
racionais. Isso completa a demonstrao.
Captulo 4: Funes, limite e continuidade 119
o caso de uma funo no crescente anlogo e fica por conta do leitor. Nos
dois exemplos seguintes exibimos funes no decrescentes, com infinitos pontos
de descontinuidade .
1
f(x) = L 2'
n
Tn<X
onde a somatria, como se indica, estende-se a todos os ndices n tais que Fri < x.
Assim,
I
--++--
.-+---ll-+-j--I--
5'4 + 19
5.4
r----------+~~+_~__11
II,I
Fig.4.2 , ,
1
I" I
o leitor deve notar que funes como essa podem ser construdas com qual-
quer seqncia crescente 1"n que tenha limite zero ou outro qualquer valor, e
qualquer srie.convergente de termos positivos L an, pondo, simplesmente,
f(x) = L ano
Tn<X
4.23. Exemplo. Seja ("n) lima seqncia densa na reta, por exemplo, uma
seqncia obtida pela enumerao dos nmeros racionais. Vamos construir uma
120 Captulo 4: Funes, limite e continuidade
funo crescente e limitada, definida em toda a reta, e que tenha saltos em todos
esses nmeros Tn. Para isso escrevemos
1
j(x) = L
Tn<X
2
n
(4.9)
1
x < y => j(y) - j(x) = L 2> O.
x$"n<V n
00 1
j(-oo) = lim j(x)
x-+-oo
= O, j(+oo) = lim
X--+CXJ
j(x) = L 2
n
(4.10)
n=l
bem como a de provar que a funo aqui definida contnua em todo x i' Tn;
contnua pela esquerda e descontnua pela direita em todo x = Tn, onde seu
salto 1/n2. O leitor deve deter-se num exame atento dessa funo, tentar e
verificar a impossibidade de construir seu grfico, para bem entender que est
diante de um exemplo de funo que interessante e
bastante geral. Finalmente,
cabe observar que esse um exemplo extremo de funo montona descontnua,
pois as descontinuidades da funo j formam um conjunto enumervel e denso
na reta, no sendo possvel, pelo teorema anterior, ampli-Ia ainda mais.
Exerccios
1. Faa as demonstraes do Teorema 4.14 nos casos omitidos.
2. Demonstre o Teorema 4.15.
3. Defina cada uma das quatro expresses contidas em limx_oo f{x) = oo.
4. Faa a demonstrao do Teorerna 4.17 nos casos omitidos.
5. Faa a demonstrao da segunda parte do Teorema 4.18.
6. Demonstre os Teoremas 4.19 e 4.20.
7. Prove que f(x) = x3 - 7x2 + 2x - 9 -; +00 com x -; +00.
8. Prove que todo polinrnio p(x) = z " + an_1Xn-1 + ... +alx + ao tende a +00 com x -; oo
se n for par; e se n for mpar, p(x) tende a =oocom x -; -00 e a +00 com x -> +00.
9. Estude os limites de um polinmio
com x -; OCo Mostre, em particular, no caso n mpar, que se an > O, limp(x) = oo com
. x -+ oo (havendo correspondncia de sinais}; e se a" < 0, lilTlJ)(l:) = '1=00COIllX -, oo.
Captulo ,1: Funes, limite e continuidade 121
2
o P r6x - 5x + 1 r x2 - x + 1 x3 + IX - 4
lim --'----;-- = +00.
1. rove que x~~""2x2 + 7x _ 8 = 3, x~~,:", .1:3 + 5 = O, x+1
o
11. Dados os polinmios p(x) = aox + ... + alx + ao e q(x) = bmx m + ... + blx + bo,
onde anbm 01 O, estude os limites de p(x)/'1(J:) com x ~ +00 e X ~ -00. Prove que esses
limites so iguais a ao/bm se n = m; so ambos nulos se n < m; ambos iguais a +00 se
n > m, n - m par e unbm > O. Examine estas e todas as demais possibilidades.
12. Prove que a funo f(x) = x se x racional e f(x) = 1- x se x irracional contnua em
x = 1/2 e somente nesse ponto.
13. Seja [ uma funo crescente e limitada num intervalo (a, b). Prove que [(a+) < f(x) <
f(b-).
14. (Critrio de convergncia de Cauchy) Prove que uma condio necessria e suficiente
para que uma funo f tenha limite finito com x ~ +00 que, dado qualquer > O, exista
k > O tal que
x, u > k If(x) - [(y)1 < .=>
Enuncie e prove propriedade anloga com x ~ -00.
15. Prove a relao (4.8).
16. Prove as relaes (4.10)
17. Prove que a funo (4.9) contnua em x 01 "0 para todo n.
18. Prove que a funiio (4.9) contnua pela esquerda em x = TN e dcscontfuua pela direita,
com salto [J(XN)] = I/N2.
19. No somatrio em (1.9) troque "" < x por r ::; x c prove que a nova funo obtida contnua
pela direita e descontnua pela esquerda em todo ponto x = rN. , onde o salto ainda 1/N2.
20. Sejaj=uma funo montona numintervalo ]c, ], cuja imagem todo um intervalo [c, d].
Prove que I contnua.
Sugestes e solues
7. Aplique o Teorema 4.20, notando que [(x) = x3(1 - l/X + 2/x2 - 9/x3) e que a expresso
entre parnteses tende a I com x ~ +00, logo, maior do que qualquer k, O < k < I para
I:rlluaior do que um certo N.
8. Pode-se usar o mesmo procedimento do exerccio anterior. Outro modo de resolver o
problema o seguinte:
Ip (x li = Ix n( 1 + ~
an-I
+ ... + xoai-I + Xao li O
an
2 Ix o
l(1':"l -
1
x
+ ... + ~lxn- + xn
ao Il
I
2 Ix I[1 -
O
Oa o
-
xI
+ ... + I~II
xn.-
+ Ixn
ao 1)].
Tomando x suficientemente grande, podemos fazer la;fxo-il ::; 1/2n, O ::; i ::;n - 1, de
sorte que Ip(x)1 2 Ixol/2 ..
14. Transfira o problema para <: = O com a transformao <: = l/x.
16. Para provar a segunda das relaes, referente ao limite com x ~ +00', d'evemos provar que,
dado qualquer" > O, existe X tal que
z "> X =>f
n=1
:2 - L :2 < <x
r ..
.
122 Captlo 4: Funes, limite e continuidade
Da convergncia da srie L
l/n2 segue-se que existe N tal 'que essa soma, a partir de
n = N + 1, < c, Tomemos X tal que "1"", TN sejam todos < X, Ento, sendo x > X,
a segunda soma na diferena acima inclui todos os termos correspondentes a n = 1, , , , , N,
logo
~
~
~
n-
- D
" ~
n-
< Z::
~ ~ n-
- ~
~ ~
n2
< ,
n:;::;1 Tn <x n=:1 n==1
1
18, Com 11> O, j{!-,v + h) - j(rN) = n2 e j{!-,v) - j(TN - h) =
1/2n. Portanto, pelo teorema dos intervalos encaixados (p, 65), a interseo
desses intervalos contm um nico ponto c.
, Observe que c interior a I, isto , diferente dos extremos de I. Vamos
provar que f(c) = O. Se fosse f(c) > O, pela propriedade da permanncia do sinal
(p. 108), haveria uma vizinhana V,,(c), na qual f seria sempre positiva. ~Ias
isto impossvel, pois basta fazer n suficientemente grande para que In C V,,(c)
e f(an) < O. Assim, conclumos que f(c) = O. O raciocnio inteiramente
anlogo no caso de supormos f (c) < O.
Guiados pela intuio, podemos ser levados a pensar que toda funo que
goze da propriedade do valor intermedirio seja contnua. No sculo XIX chegou-
se mesmo a acreditar, erroneamente, nesse fato, como nos conta Lebesgue (1875-
1941) na p. 96 de seu livro "Leons sur l'intgration", publicado em 1903. (A
Chelsea Publishing Co. publica a 3- edio, de 1973.) Um contra-exemplo
dado pela funo f(x)=sen(l/x) se x i- O, e f(O) igual a qualquer valor do inter-
valo [-1, + 1J. Assim definida, f satisfaz a propriedade do valor intermedirio
em qualquer intervalo [-a, aJ,mas no contnua em x = O. Neste exemplo a
funo s descontnua num nico ponto; entretanto, existem funes descon-
tnuas em todos os pontos e que, no obstante, gozam da propriedade do valor
intermedirio em qualquer intervalo, como nos mostra Lebesgue.
a
teorema que acabamos de demonstrar muito interessante, pois nos diz
que as funes crescentes e as decrescentes so as nicas funes contnuas
definidas em intervalos que so invertveis. Isso nos leva, naturalmente, a per-
guntar: ser que so essas as nicas funes (definidas em intervalos) invertveis?
A resposta negativa, como vemos pelo seguinte contra-exemplo: seja f assim
definida no intervalo I = [O, 11: f(x) = x se x for racional e f(x) = 1- x
se x for irracional. Faa o grfico dessa funo e verifique que ela invertvel,
mas no montona em qualquer subintervalo de I; em conseqncia, no
contnua em seu domnio, apenas no ponto x = 1/2 (Exerc. 13 adiante).
a
mtodo de bisseo utilizado na demonstrao do Teorerna -1.24 muito
til para implementar esquemas numricos de computao. Com uma simples
calculadora cientfica possvel calcular razes polinomiais com boas aproxima-
es. (Veja o Exerc. 2 adiante.)
Exerccios
1. Faa a demonstrao do Teorema 2.24 no caso j(a) > j(h).
2. Prove que a equao x + 10x3 - 8 = O tem pelo menos duas razes reais. Use uma
calculadora cientfica para determinar uma dessas razes com aproximao de duas casas
decimais.
3. Prove que um polinmio de grau mpar tem um nmero mpar de razes (reais), contando
as multiplicidades.
4. Prove que se n par, p(x) = xn + an_1Xn-1 + ... + alX + ao assume um valor mnimo m.
Em conseqncia, prove que p(x) = a tem pelo menos duas solues distintas se a > m e
nenhuma se a < m.
5. Prove que se um polinmio de grau n tiver r raizes reais, contando as multiplicidades, ento
n - r par.
6. Prove que todo nmero a > O possui raizes quadradas, uma positiva e outra negativa.
7. Prove que todo nmero a > O possui uma raiz n-sima positiva; e se n for par, possuir
tambm uma raiz n-sima negativa.
8. Seja j uma funo contnua num intervalo.ronde ela sempre diferente de zero. Prove que
j sempre positiva ou sempre negativa.
9. Sejam j e 9 funes contnuas num intervalo [a, hJ, tais que j(a) < g(a) e j(b) > g(h).
Prove que existe um nmero c entre a e h, tal que j(c) = g(c). Faa um grfico para
entender bem o que se passa.
10. Seja j uma funo contnua no intervalo [O,1), com valores nesse mesmo intervalo. Prove
que existe c E [O, 1) tal que j(c) = c. Interprete este resultado geometricamente.
Captulo 4: Funes, limite e continuidade 125
11. Nas mesmas hipteses do exerccio anterior, prove que existe e E [O, 1] tal que f(e) = 1 - e.
Interprete este resultado geometricamente.
12. Seja f uma funo contnua no intervalo [O, 1], com f(O) = f(I). Prove que existe um
nmero e E [O, 1/2] tal que f(e) = f(e + 1/2). Este exerccio tem uma interpretao fsica
muito interessante: se f representa a temperatura num determinado instante, ao longo
de qualquer curva fechada simples sobre a superfcie terrestre - em particular o equador
terrestre -, e x representa a distncia ao longo dessa curva a partir de um c erto ponto,
o resultado anunciado significa que existem dois pontos, e e c} 1/2, onde a temperatura
tem o mesmo valor.
13. Prove que f(x) = x se x for racional e l(x) = 1 - r se x for irracional contnua em
x = 1/2 e somente nesse ponto.
14. Considere a funo f assim definida: f(r) = -r se x for racional e f(x) = l/x se x for
irracional. Faa o grfico dessa funo e mostre que ela uma bijeo descontnua em todos
os pontos.
Sugestes
2. Lembre-se de que quando um polinrnio com coeficientes reais tiver uma raiz complexa, ele
ter tambm .a complexa coujugada como raiz. Verifique que h uma raiz entre zero e 1 e
determine esta raiz pelo mtodo de bisseo.
6. Suponhamos a i= 1, j que o caso a = 1 trivial. Se a > 1, f(x) = r2 tal que f(l) < f(a);
logo, pelo teorema do valor intermedirio, existe um nmero entre 1 e a, designado por V,
.tal que f( V)=.a. Se a < 1, fel) > a > l(a), e novamente existe um nmero V entre a
e 1 tal que f( V) = a. E o caso de raiz negativa? .
10. Considere a funo g(x) == fer) - T, se j no for f(O) = O ou f(l) = 1.
f(x) = "2
ao + ""
L....,(a" cosnx + bn, sen nx). (4.11)
n=d
Esse problema surgiu primeiro em 1753, em situao particular, num trabalho de Daniel
Bernoulli (1700-1782), em seu estudo da corda vibrante, em que se punha a questo de expres-
sar a funo que dava o perfil inicial da corda como srie de senos. As vibraes de uma corda
esticada foram estudadas pela primeira vez por Jean le Rond d'Alembert (1717-1783) em 1747;
e logo em seguida por Euler, depois por Bernoulli. Tratava-se de determinar uma funo de
duas variveis satisfazendo uma equao diferencial parcial, a chamada equao das ondas.. Eu-
ler achava que o perfil inicial da corda pudesse ser inteiramente arbitrrio. d'Alembert achava'
que s podiam ser admltidasfunes dadas por uma-expresso analtica, cornoum polinrnio
ou mesmo uma srie de potncias; ou em termos das funes transcendentes familiares, como
as funes trigonomtricas, a exponencial ou O logaritmo. Isso porque ele entendia a derivao
como operao que transformava as funes umas nas outras segundo um formalismo algbrico
bem determinado: xn em nxn-l, senx em cos z , etc. Como derivar f(x) se ela fosse dada por
uma lei qualquer?
O modo como Bernoulli ataca o problema difere bastante dos pontos de vista adotados por
d'Alembert e Euler. O importante a notar aqui que essas investigaes acabaram envolvendo
seus autores numa controvrsia inconclusiva. Cada um manteve sua prpria opinio, nada
puderam decidir, justamente porque lhes faltavam idias precisas dos conceitos de funo e
derivada. (Analisamos esse episdio em artigo na Revista Matemtica Universitria, N 1,
JUnho de 1985.)
Vimos, no incio do captulo, como o conceito de funo foi evoluindo gradualmente.
Tambm o conceito de continuidade teve uma evoluo gradual. De comeo significava a per-
manncia da mesma expresso analtica que definia a funo, ao passo que "descontinuidade"
significava, no a "ruptura" do grfico da funo, mas da expresso analtica ou lei que definisse
a correspondncia entre a varivel dependente e a varivel independente (ou variveis indepen-
dentes): Como a derivada era concebida como uma operado';' algbrico, as funes admitidas
numa equao diferencial, como a da corda vibrante, s poderiam ser aquelas dotadas de "ex-
presses analticas", corno insistia d' Alembert. Isso exclua a possibilidade de um perfil mais
geral, do tipo ilustrado na Fig. 4.3, como pretendia Euler, adotando assim um conceito de
funo que ia alm da simples idia de uma varivel dada em termos de outra (ou outras)
mediante uma frmula ou expresso analtica. E ambos, d'Alembert e Euler, no concordavam
com a possibilidade sugerida por Bernoulli de que uma funo arbitrria pudesse admitir um
desenvolvimento do tipo (4.11), em termos de funes peridicas to particulares como os ter-
Captulo 4: Funes, limite e continuidade 127
mos da srie. A questo posta por Bernoulli permaneceu dormente por cerca de meio sculo at
que fosse retomada pelo eminente fsico-matemtico Jean-Baptiste Joseph Fourier (1768-1830)
em seus estudos sobre a propagao do calor. Nesses estudos surge vrias vezes a necessidade
de desenvolvimentos do tipo .(4.11). Ea possibilidade desse desenvolvimento, em toda a sua
generalidade, apresenta-se, no incio do sculo XIX, como um problema central da Anlise
Matemtica.
Fig.4.3
A forma mais completa dos trabalhos de Fourier sobre propagao do calor encontra-se
em seu livro Thorie Analytique de la G'haleur, publicado em 1822 (traduzido em ingls pela
Editora Dover). Fourier acreditava que funes "arbitrrias" pudessem ser desenvolvidas em
sries do tipo (4.1); e pensou haver demonstrado esse resultado. Eis um exemplo concreto, j
apresentado no incio tio capitulo:
f(x) = L -=-;--sennx,
l)n+l
00 (
(4.12)
11.::::::1
e f definida em toda a reta como funo peridica de perodo 2;0. Esse um exemplo que
contrasta com os pontos de vista tanto de Euler como de dAlernbert, pois vista em sua re-
presentao (4.12) ela seria, para ambos, analtica; ao passo que, para eles, (4.13) seria outra
funo, obtida p'ela juno das translaes de f(x) = x/2 com domnio (-1r, 1r)!
Exemplos como esse deixavam clara a insuficincia dos antigos conceitos de funo e
continuidade de meados do sculo XVIII para lidar com os problemas trazidos ao cenrio
matemtico pelos estudos de Fourier. O prprio Fourier j tem uma idia bem mais ampla
desse conceito. Eis como ele o descreve no Art. 417 da p. 430 de seu livro:
Em geral a funo f(x) representa uma sucesso de valores ou ordenadas arbitrrias. (. ..)
No supomos essas ordenadas sujeitas a uma lei comum; elas sucedem umas s outras de
qualquer maneira, e cada uma dada corno se fosse uma grandeza nica.
Isso equivale praticamente definio que adotamos hoje em dia, segundo a qual uma
funo f uma correspondncia que atribui, segundo uma lei qualquer, um valor y a cada
valor x da varivel independente.
Situaes novas como as apresentadas por Fourier evidenciavam a necessidade de uma
adequada fundamentao dos mtodos' usados no trato dos problemas. Era preciso agora
aclarar de vez o significado de "derivar" ou "integrar" uma funo, fosse ela dada por uma
"frmula" ou no. "Derivar" no podia significar apenas aplicar uma "lei algbrica" a uma
"frmula", assim como "integrar" no podia mais ser apenas "achar uma primitiva". Essas
maneiras de encarar as operaes do Clculo eram, a partir de ento, insuficientes.
Como j dissemos, no final do captulo anterior, Cauchy foi o protagonista principal do
novo programa de tornar rigorosos os mtodos da Anlise. Ele certamente estava a par do
128 Captulo 4: Funes, limite e continuidade
trabalho de FOUFier e dos novos problemas. que tinham de ser atacados. No prefcio de seu
COU7'S d'Analyse Cauchy enuncia claramente seus altos padres de rigor:
Quanto aos mtodos, procurei dar-lhes todo o riqor que se exige em Geometria, de maneira
a jamais recorrer a razes tiradas da r;eneralidade da lgebra. Tais razes, embora muito
freqentemente admitidas, sobretudo na passagem das sries convergentes s sries diver-
gentes e de grandezas reais a expresses imaginrias, a meu ver s podem ser consideradas
como indues prprias a sugerir a verdade, mas que pouco tm a ver com a to festejada
exatido as cincias matemticas. Deve-se mesmo observar que elas tendem a atribuir s
frmulas algbricas validade universal, quando a maior parte dessas frmulas s valem sob
certas condies e para certos valores das grandezas envolvidas. Determinando essas condies
e esses valores, e fixando de maneira precisa o sentido da notao de que me sirvo, fao desa-
parecer toda incerteza.
"a curva que tem por equao y = f(x) deve encontrar uma ou vrias vezes a reta que tem por
equao y = b no intervalo compreendido entre as ordenadas que corresporuiern s abscissas
Xo e X", apelando simplesmente para o fato de que o grfico de f uma curva contnua ...
Todavia, uma verdadeira "demonstrao analtica" dada na "Nota lII" no final de seu livro.
, Como j observamos, o teorema do valor intermedirio evidente, quando interpretado
geometricamente. E por isso mesmo era aceito e usado no sculo XVIII, sem questionamento.
As duas argumentaes de Cauchy, mencionadas acima - a "justificativa" e a "demonstrao
analtica" - refletem muito bem a utilizao do teorerna no clculo aproximado de raizes
de polinmios. E revelam tambm a familiaridade que Cauchy certamente possua com os
trabalhos desses matemticos do sculo XVIII. .
F ( a, b, C; x) = ~L-.. (a)n(b)n
--I
n. c
(-)-x
n
n
,
i=l
onde o smbolo (r)n significa r(r + l)(r + 2) ... (r + n - 1). Juntamente com Legendre, Abel e
Jacobi, deixou marcantes contribuies teoria das funes elpticas.
Por vrias razes Gauss no teve em sua poca tanta influncia como Cauchy. Como
j dissemos, s publicava trabalhos muito bem acabados, que nada deixassem por fazer; e
encontrava-se afastado de Paris, que era a meca cientfica da poca. A "isso deve-se acrescentar
que no tinha pendores para o ensino. Confessava mesmo que no gostava de ensinar, e teve
poucos alunos.
Captulo 5
SEQUENCIAS E
SRIES DE FUNOES
Introduo
Num primeiro curso de Clculo, o estudante aprende a calcular certas integrais
de funes dadas em termos de funes bem conhecidas. Exemplos:
fx dt
-dt =
1
1--;
rx
dt
ia 0 = 2Vx.
1 t2 x
lao 0 ..:
l f
x x
--dto x -,,---,-e_t-,-_d i: dto
t3 + 1 ' -1 t2 3et + 5 ' + I t 5 +t+1
Cada uma destas integrais define uma nova funo. A funo chamada loqariimo
natural, por exemplo, costuma ser definida assim:
X1
logx =
f 1
-dt
t
para todo x > o.
Uma outra funo, de importncia fundamental em estudos de Probabilidade e
Estatstica, chamada distribuio normal, definida por uma integral, assim:
iP(x) =
1
.rn-
lX e-t 2 dt
v 27r -00
em seu curso de Clculo, que funes como sen x e cos x, possuem as seguintes
sries de l\IacLaurin:
X2 x4 00 (_l)nx2n
COSX=l-2!+4!-"'=~ (2n)!
Estas sries podem ser usadas como ponto de partida para a definio de sen x e
cos x de maneira puramente analitica, sem a necessidade de recorrer motivao
geomtrica, como se costuma fazer em Trigouometria.
Seqncias de funes
Vamos iniciar este nosso estudo com as seqncias de funes fn, todas com o
mesmo domnio D. Assim, para cada valor de x em D, temos uma seqncia
numrica fn(x), qual se aplicam todos os conceitos e resultados do Captulo
2, em particular o conceito de limite. Aqui, entretanto, esse limite, em geral,
depende do valor I considerado - funo de x; da designarmos o limite de
uma seqncia de funes fn(x) por f(x), justamente para evidenciar que esse
limite funo de x.
. Ixl
Ix/nl < E {=} n > N = -.
E
Vemos assim que, para cada :c fixado, encontramos um N; mas esse N varia
com o variar de :1.': e quanto maior for Ixl, tanto maior ser o N, o qual tende
Captulo 5: Seqiincias e sries de funes 133
c
Fig. 5.1 Fig. 5.2
Fig.5.3
.~
O n
x2
5.3. Exemplo. Consideremos a funo f(x) = e- , cujo grfico simtrico
em relao ao eixo Oy e que tende a zero com x -> oo. Seja fn a seqncia
dada por fn(x) = f(x - n). Como se v, o grfico de !n o de ! transladado
n unidades para a direita (Fig. 5.3). fcil ver, ento, que !n(x) -> pontual-
mente. Mas essa convergncia no uniforme, pois !n(n) = 1, de sorte que a
condio Ifn(x) - !(x)1 < e estar violada em x = n com qualquer e < 1. En-
tretanto, se nos restringirmos a qualquer semi-eixo x :s: c, teremos uniformidade
da convergncia, visto que, a partir de n 2: c, In(x) :s: !n(c) :s: exp[-(c - n)2J;
ora, esta ltima expresso pode ser feita menor do que qualquer e > a partir
de um certo ndice N, independentemente de x, desde que x :s: c.
sorte que In{x) - Im{x) tende a !n{x) - I{x) com m -+ 00; portanto, passando
ao limite em (5.1) com m -+ 00, obtemos
Exerccios
1. Prove que, qualquer que seja z , cosnx no tende a zero.
2. Mostre que J,,(x) = l/nx --+
pontualmente em x # 0, mas no uniformemente. Prove
que a convergncia uniforme em qualquer domnio do tipo JxJ 2: c > O. Faa os grficos
. das J"(x) para entender o que acontece.
3. Prove que },,(x) = 1/(1 +~nx) tende a zero em x # 0, mas no uniformemente.
<1. Mostre que as soquncias
Mostre que essa seqncia tende a zero pontualmente em x > 0, mas no uniformemente.
Prove que a convergncia uniforme em qualquer semi-eixo x 2: c > O.
7. Prove que J,,(x) = x2/(1 + nx2) tende a zero uniformemente em toda a reta.
8. Prove que a seqncia J,,(x) = x/(1 + nx) tende a zero uniformemente em x 2: O. Analise
o comportamento dessa seqncia em x < O.
9. Estude a seqncia J,,(x) = nx/(l + nx)quanto convergncia simples e uniforme.
10. Determine o limite da seqncia J,,(x) = nx2 /(1+nx) e prove que a convergncia uniforme
em ;c 2:: O. Anal isc I.L situao CIII :J: < O.
11. Mostre que a seqncia J,,(x) = eX/" tende a 1 pontualmente para todo x real, mas no
uniformemente. Prove que a convergncia uniforme em qualquer intervalo [-c, c).
12. Mostre que a seqncia J"(x) = nxe-"x. considerada em x 2: 0, tende a zero pontualmente,
mas no uniformemente. Prove que a convergncia uniforme em qualquer semi-eixo
x 2: c > O.
136 Captulo 5: Seqncias e sries de [unes
13. Faa o mesmo que no exerccio anterior para a' seqncia I,,(x) = n2xe-nx.
14. Estude a seqncia In(x) = x/(l +nx2) quanto convergncia simples e uniforme em toda
a reta.
15. Considere a seqncia I,,(x) = xn(l - xn) no intervalo [O, 1]. Faa o grfico de [,
determinando, inclusive, seu valor mximo e o ponto x" onde ele assumido. Mostre que
In(x) tende a zero pontualmente, mas no uniformemente. Prove que a convergncia
uniforme em qualquer intervalo [O, c]. c < l.
16. Faa o grfico de I n (x) = z" /(1 +xn) para todo x 2: O e mostre que essa seqncia converge
para a funo
se O::; x < 1
I(x) = { I/2 se
se
x =1
x> 1
111as no uniformemente, Prove que a convergncia uniforme em qualquer domnio do
tipo R+ - \'6(1), com 6 > O. (Aqui, como de costume, R+ denota o conjunto dos nmeros
reais positivos.
17. Mostre que In(x) = nx/(1 + n2x2) - O qualquer que seja x real, mas no uniformemente.
Prove que a convergncia uniforme em qualquer domnio Ixl 2: c > O.
18. Prove que a seqncia
In(X) = nx
1 +n2x2logn
tende a zero uniformemente, para todo x real.
Sugestes e solues
1. Se cos nx ~ O, o mesmo seria verdade de cos 2nx. Como cos 2nx = cos2 nx- sen2nx, sen nx
tambm tenderia a zero, o que absurdo, pois sen2nx + cos2 nx = 1.
2. Observe que In(l/n) = 1/2.
5. Observe que
IO<T
z" < } n log x < Iog e } n > N = _I o .
. ogx
Vemos assim que para cada x fixado encontramos um N, mas esse N varia com o variar
de x,tendendo a infinito com x-I (estamos supondo O < < 1); logo, a convergncia
pontual, mas no uniforme. Com a restrio O < x ::;c < 1,
f (x) =
O se <x < 1
1/2 se x = 1
{
1 se x> 1
b
lim t fn(x)dx = t[limfn(x)]dX = l f(x)dx. (5.2)
donde
11 b
fn(x)dx -l f(X)dXI ::; lb1fn(x) - f(x)ldx < (b - a).
O teorema que acabamos de provar nos diz que podemos trocar a ordem
das operaes de integrao e de tomar o limite com n ---> 00, desde que a con-
vergncia seja uniforme. Ele foi demonstrado no pressuposto de que as funes
fn fossem todas contnuas no intervalo [a, b]. Mas tal hiptese nem necessria;
basta, alm da convergncia uniforme, que as funes fn sejam integrveis em
[a, b], mas no vemos tratar este caso aqui.
5.7. Teorema. Seja fn uma seqncia de funes com derivadas contnuas
num intervalo [a, ], tal que f~ converge uniformemente para uma funo g.
Suponhamos ainda que num ponto c E [a, b] a seqncia numrica fn(c) con-
verge. Ento, fn converge uniformemente para uma funo f, que derivvel,
Captulo 5: Seqiincias e sries de [unes 139
(5.4)
Dado qualquer : > O, existe N tal que, para todo t E [a, e],
Daqui e de (5.6) obtemos: li, > N => [fn(x) - f(x)[ < E[1 + (b - a)], o que
completa a demonstrao.
Sries de funes
Portanto, diz-se que uma srie de funes, I.: fn(x), converge uniformemente
num domnio D para uma soma f(x) se, dado qualquer I:: > O, existe N tal que,
qualquer que seja x E D,
n 00
Exerccios
1. Prove que a seqncia fn(x) = nxe-nx2 no converge uniformemente em [O, 1], verificando
que
Nos Exercs. 2 a 5, prove que a srie dada converge absoluta e uniformemente no domnio
indicado.
00 00
sennz
L..- n' + :c' 2 elllR; :.l.
2. ~-21
n=l
n'2 + cosnx
cmR;Ln=O
00
5. Lxnc-n:r erIlx~O.
n=O
6. Prove que a srie L z" /(1 +xn) converge absoluta e uniformemente em qualquer intervalo
:s
Ixl c < 1, mas no em (-1, 1). Prove que ela define urna funo contnua em' todo o
intervalo (-1, 1).
7. Prove que a funo f(x) = Lxn/(1 + z "}, definida no intervalo (-1, 1), tende a 00 com
x ~ 1e a -00 com x -+ -l,
8. Prove que L
1/(1 + n x) define uma funo contnua em R, excetuados x = O e os pontos
2
da forma -1/n2, com n inteiro. Prove tambm que essa funo derivvel, com derivada
dada pela srie obtidapor derivao termo a termo da srie original.
142 Captulo 5: Seqncias e sries de (unes
9. Faa o mesmo que no exerccio anterior no caso da srie L 1/(n 2 - x2), 'os' pontos omitidos
neste caso sendo os inteiros.
10. Estude a funo definida pela srie
f(;
n=l
-sen;).
12. Seja L In(X) uma srie de funes positivas, contnuas e no decrescentes num intervalo
[a, b], tal que L:
In(b) converge. Prove que a srie dada converge uniformemente e que sua
sorna integrvel, logo,
=I: l
b
l
b 00 00
I:/n(x)dx In(x)dx.
a Il=O n=O a
13. Prove que L e-nx [n converge uniformemente em qualquer serni-eixo do tipo x ?: c > O,
logo, uma funo contnua em x > O. Prove que essa funo tendea infinito com x -+ O.
Sugestes e solues
5. Aplique o teste AI de Weierstruss, notando que xHe-H" = e-H(x-Io~x) ~ e-H, pois x-Iogx
atinge seu mnimo em x = 1.
6. Observe que [z " /(1 +xn)1 ~ c" I(l-c) e aplique o teste AI de Weierstrass. Se a convergncia
fosse uniforme em Ixl < I, pelo critrio de Cauchy, dado qualquer > O, existiria N tal
que n > N implicaria
xn
II + xn I = ISn - Sn-11 < e
para todo x E (-1, 1). Ora, com n par, suficientemente grande, existe x nesse intervalo,
muito prximo de 1 ou de -1 (x = Xn = l/.vI2), fazendo o primeiro membro da expresso
acima igual a 1/3. Que a srie define uma funo contnua em Ixl < 1 evidente, pois
qualquer elemento desse intervalo est em algum [-c, c], com c < 1.
7. Fixado x E (O, 1), In(x) = xn/(l + z ") uma seqncia numrica decrescente; logo,
N
SN(X) = I:xn 1(1 +xn) > Nx.v /(1 +xN). Isso permite mostrar que existe uma vizinhana
n=l
de x = 1, onde SN(X) > N/3. Para provar que lim I(x) = -00, considere -S2N(X), em .
:r--l .
x = =u. com y -+ 1:
9. Considere x restrito a um intervalo [a, bJ que no contenha nmero inteiro e prove que a
a convergncia uniforme, tanto da srie original como da srie de derivadas.
10. Observe que
1-cosx sen2x 1
--- . -+ - com x -+ O.
x2 x2(1+cosx) 2
Ento, sendo Ixl :=:: AI e n suficientemente grande, a srie dada dominada pela srie
L:!lf2/n2. A srie de derivadas, L:(l/n)sen(x/n) tambm converge absoluta ' uniforme-
mente no mesmo intervalo Ixl :=:: AI, pois, a partir de um certo ndice N, a correspondente
srie de mdulos dominada por L: 2M /n2.
Sries de potncias
Dentre as sries de funes desempenham papel especial as chamadas sries de
potncias, que so sries do tipo L:an(x - xo)n, onde xo e os coeficientes an so
constantes. Como se v, elas so sries de potncias de x - xo. Dizemos que
elas so centradas em xo, tm centro em z n, ou que so sries de potncias com
referncia a xo.
Sem nenhuma perda de generalidade, no estudo dessas sries podemos fazer
xo = O, considerando ento sries do tipo L:anxn. Evidentemente, todos os
resultados estabelecidos para estas sries podem ser facilmente traduzidos para
aquelas com a substituio de x porx.- zn.
Isso mostra que a srie (I/M) L lanxnl dominada pela srie geomtrica de
termo geral Ix/xoln, que convergente se Ixl < Ixal; logo, L lanxnl converge no
intervalo Ixl < Ixol
Se a srie 2.:: anxn diverge em x = z n, ela no pode convergir quando 1:r.1 >
1:1:01. seno, pelo que acabamos de provar, teria de convergir em x = xo, o que
completa a demonstrao.
Raio de convergncia
O nmero r introduzido no teorema ante}ir chamado o raio de convergncia
da srie. Essa denominao se justifica porque o domnio natural de estudo das
sries de potncias o plano complexo, e quando x varia no plano complexo, o
conjunto Ix I < r um crculo de centro na origem e raio r. Demonstra-se ento
que a srie converge no interior do crculo e diverge em seu exterior. Todavia,
em nosso estudo s vamos considerar x real; mas, mesmo assim, pelas razes
expostas, chamaremos r de "raio de convergncia" .
O Teorerna 5.14 garante a convergncia absoluta no intervalo aberto Ixl < 1",
nada afirmando sobre os extremos -1" e +1'. fcil dar exemplos ilustrativos de
todas as possibilidades. Assim, as sries
. lan+l
Ilm--x
. an
I
for menor do que 1; e divergente se esse limite for maior do que 1. Resulta da
que o raio de convergncia da srie considerada
r=hm . I--,an+l
a I
n
. (mesmo que esse limite seja zero ou infinito), pois a srie converge se Ixl < l' e
diverge se IxI > r.
~
6x
n
=l+x+x
2
+ ... =--,1
n=O l-x
146 Captulo 5: Seqncias e sries de [unes
1 - xn+l
Sn(x) = 1 + x + x2 + o o. + xn = ----
1- x
temos:
1 I Ixln+!
Sn(x) - --o = --.
I l-x l-x
claro que, dado E > O, no existe N tal que para n > N esta ltima expresso
seja menor que E para todo x em (-1, 1); basta pensar numa seqncia Xn
tendendo a 1, com Ixnln+l mantendo-se maior ou igual a um nmero c tal que
< c < 1. Por exemplo, Xn = c1/(n+l}.
Essas sries podem ser derivadas repetidamente, termo a termo, na referida vi-
zinhana, em particular, em x = O, donde segue que an = bn para todo n, o que
prova o teorema.
x2 x3 xn
eX = 1 + x + I" + I" + ... , + R,,(x),
2. 3. n.
Captulo 5: Seqiincias e sries de {unes 147
eC+1xn+l
onde Rn(x) = ( ) e c um nmero compreendido entre zero e x. Ento,
n +1!
Esta estimativa de R,,(x) nos mostra que tal resto tende a zero com n ~ 00,
qualquer que seja x, donde concluirmos que
x
2
= 1 + x + -2x + -3x + ... + -,
:!;n
3
+ ... = 2::: -x"
00
e
'
'
11..
n~,O n'. '
desenvolvimento este que vlido para todo x real.
Exerccios
Calcule o raio de convergncia de cada uma das sries dadas nos Exercs. 1 a 6.
7. A chamada srie hipergeomtrica, dada por F(a, b, C; x) = ~ (a~n)b)nz ", onde o smbolo'
~ n. Cn
n=l
(r) significa r(r + l)(r + 2) ... (r + n - i), engloba vrias funes importantes da Fsica
Matemtica. Supondo que nenhum dos nmeros a, b, c seja um inteiro negativo, prove
que o raio de convergncia dessa srie 1.
Obtenha os desenvolvimentos dados nos Exercs. 15 a 21, indicando, em cada caso, o
domnio de convergncia da srie.
x3 x5 (_1)"X2"+1
=L
00
x2 x4 ~(_1)"x2"
9. COSX = 1- 2f + 4f - ... = L (2")! .
n::;Q
x3 x5 00 x2n+l
10. senhx = x + 3! + 5! - ... = L (2n + 1)1
n=O
x2 x" oo x2n
11. coshz = 1 + 2f + 4f - ... = L (2n)! .
n=O
148 Captulo 5: Seqncias e sries de [unes
. X2 X3 (_X)n+l
2:--n-'
00
12.log(l+x)=x-T+'3-"=
n=l
x3 X5 00 (_1)n
14. arctgx = x- -
3 + -- 5 ... = ""
L..,. 2n + 1 x2n+l. Faa x = 1 e obtenha o seguinte resultado,
n=O
conhecid .. d e L ei b'mz:
teci o como serre 4'
"Ir
= 1 -:31 + 5'
1
- '71 + .
Sugestes
4.
a"
an+l =
vrn
n+.yn +1=
(n)n + 1
I/n
. e
5. ~=~(n+l)3
3
an+1 n
->~.
3
As funes trigonomtricas
Nos Exercs. 8 e 9 atrs obtivemos as funes. seno e cosseno em serres de .
potncias de x. Observe que para se obter tais sries basta supor que existam
duas funes s(x) e c(x), de classe e1 em toda a reta, e tais que
De fato, se existirem duas tais funes, claro que elas sero de classe eoo
em toda a reta; e que s2(x) + c2(x) = 1 (Exerc. 1 adiante), donde Is(x)1 ::; 1 e
ic(x) I ::; L Em conseqncia, essas funes tm desenvolvimentos de MacLaurin,
com rs tos que tendem a zero com n -> 00, qualquer que seja x. fazendo n -e+ 00
nesses desenvolvimentos, obtemos as sries j mencionadas e aqui repetidas:
facil verificar que essas sries convergem qualquer que seja x, portanto, real-
mente definem funes de classe C?" em toda a reta, podem ser derivadas termo
a termo e satisfazem as propriedades (,5.7). Elas so agora usadas como nosso
ponto de partida para definir as funes seno e cosseno.
interessante notar que as funes dadas em (5.8) so o nico par de funes
satisfazendo (5.7) (Exerc. 2 adiante). Portanto, a partir de agora escreveremos
senx em lugar de s(x) e cosx em lugar ele c(s).
Captulo 5: Seqncias e sries de funes 149
Das frmulas (5.8) segue imediatamente que cos x uma funo par e sen x
mpar. Provam-se tambm as seguintes "frmulas de adio de arcos":
(5.9)
e, por induo, cos2na < (cosa)2" para todo ri inteiro positivo. Conclumos
que cos 2na -; 0, j que cos a < 1. Em conseqncia, existe b > O tal que
cos~ b < 1/2 e sen2b > 1/2; logo,
Exerccios
1. Prove que se s(x) e c(x) so duas funes de classe e l satisfazendo (5.9), ento
s2(x) + c2(x) = 1.
2. Prove que (5.8) o nico par de funes s(x) e c(x) de classe el
satisfazendo (5.7).
5. Prove que sen x e cos x so funes peridicas de perodo 2rr. Prove tambm que 2rr o
menor perodo positivo dessas funes. Faa os grficos dessas funes.
8. Mostre que a funo cosx, restrita ao intervalo O < x < te, invertvel; e que sua inversa
tem derivada -(1- x2) -1/2. CaBIO no exerccio anterior, repita a questo, comeando COIll
a funo cosx restrita ao intervalo [rr, 2rr].
9. Defina tg x =sen x] cos x e faa o grfico dessa funo. Prove que, restrita ao intervalo
Ixl < rr, ela invertvel; e que sua inversa, -arctg z , tem derivada (1 + x2)-1. O nmero 7r
pode ser calculado por integrao numrica dessa derivada entre x = O e x = +00.
Sugestes
1. Derive f(x) = s2(x) -\- c2(:z:) e note que f(O) = L
e verifique que t' = 9 e o' =' - I, e que f2 + g2 = O. Conclua, pela continuidade, que
f =g = O.
5. Se p e p' so perodos, tambm o so -p e p + p': Mostre que se p um perodo entre zero
e 2rr, ento existe um perodo menor do que tt e outro menor do que tt 12.
As sries de potncias
As sries de potncias comearam a surgir logo no ircio do Clculo, no sculo XVII. Assim,
Newton obteve a srie geomtrica
_1_ = 1+ x + x2 + x3 -\-
l-x
Captulo 5: Seqiincias e sries de funes 151
;c2 x3 oo (_x)1L+l
10g(1 + x) =x - - + - - ... = '\' ---,
x.3 0 n
n=l
integrando termo a termo a srie anterior. Isso aconteceu por volta de 1665, no contexto
de calcular reas sob a hiprbole, mas tais resultados s foram publicados posteriormente.
Nicolaus Mercator (16:20-1687), apoiando-se nos resultados de Crcgorius Saint Vincent, obteve
a mesma srie do logaritmo em 1668, da essa srie ser s vezes chamada "srie de Newton-
Mercator",
Newton obteve muitas outras sries. de potncias por esse mesmo mtodo de expandir
certas Iunes simples e integrar termo a termo. Por exemplo, aplicando esse procedimento
srie
1 2. 6
1 + x2 = 1 - x + x - x + ... ,
Nesse domnio das sries, o mais importante dos resultados de Newton foi sua descoberta da
srie binomial (Exerc. 13 da p. 148).
A descoberta das sries de potncias das funes elementares den grande impulso ao desen-
volvimento do Clculo. Bastava agora saber derivar eintegrar potncias de" pari' ser possvel
deri var e integrar uma funo qualquer. Foi at providencial que as sries de potncias fossem
descobertas antes que outros tipos de sries de funes, j que elas definem funes muito bem
comportadas - as chama:das junes anoliticas. Por causa disso elas podem ser derivadas
e integradas termo a termo, operaes essas que eram executadas desde o incio do Clculo,
sem maiores preocupaes com questes de convergncia. Mas isso no sempre possvel coru
outras sries de funes, como as sries trigonomtricas. interessante notar tambm que o
surgimento dessas outras sries nas aplicaes, sobretudo as sries de Fourier no final do sculo
XVIlT, foi um fator dccisi vo no descnvol virncnto da teoria da convergncia.
se assentava na premissa de que toda funo possui desenvolvimento em srie de Taylor, mas
isto falso. Embora falho em seu intento principal, o livro de Lagrange traz importantes
contribuies ao Clculo, alm de representar o esforo mais significativo do sculo XVIII para
os fundamentos dessa disciplina, bem como o prenncio do rigor definitivo que iria logo se
dcsenvol ver no sculo seguinte.
A convergncia uniforme
As questes de convergncia, derivabilidade e integrabilidade de sries de funes s puderam
ser equacionadas e resolvidas depois que o trabalho de Fourier, devidamente apreciado, deixou
bem evidentes as peculiaridades das sries trigonomtricas.
Em seu Cours d'Analy-se de 1821 Cauchy d um tratamento bastante completo e sa-
tisfatrio convergncia das sries. Mas no est totalmente livre das idias antigas de in-
finitsimos e do hbito de conceber variveis corno abscissas de pontos mveis ao longo de
eixos. Sua prpria definio de continuidade revela esse aspecto dinmico em seu modo de
conceber limites. Por causa disso e por no perceber que a convergncia das sries de [unes
tem aspectos que no esto presentes na convergncia das sries numricas, cometeu erros em
afirmaes que exigiam o conceito de "convergncia uniforme" ou de "continuidade uniforme" .
Assim que ele prova o (falso) teorema, segundo o qual "a soma de uma srie de funes
contnuas uma funo contnua". E tambm ao provar a integrabilidade de qualquer funo
contnua, a intervenincia da continuidade uniforme passa despercebida a Cauchy.
Um outro matcmtico brilhante dessa poca foi o noruegus Niels Henrik Abel (1802-
1829). Ele era filho de um pastor pobre e teve um professor altura de seu gnio, Bernt
Holmboe. Quando Abel tinha 17 anos, Holmboe predisse que ele seria o maior matemtico
do mundo, e procurou encaminh-Io adequadamente. Com urna bolsa de estudos, Abel viajou
para Paris, onde encoIitrou os maiores matemticos da poca, inclusive Cauchy. Mas no foi
devidamente reconhecido. Viajou para Berliru, onde tcveo apoio de Crelle, mas tambm a a
sorte no esteve a seu lado. Logo ficou tuberculoso e morreu muito cedo. O destino, portanto,
no permitiu que se curupr isse a previso de Holrnboe.
Nuru trabalho de 1826 sobre sries, particularmente sobre a srie binomial, Abel usou fi
srie tr igonorutrica
L::(-l)n+lsennx/n para rnostrur a falsidade da afinnao de Cauchy. De
fato, a soma dessa srie a funo peridica de perodo 211", que igual a x /2 no intervalo
(-11", 11"). Como se v, uma funo com saltos em todos os pontos da forma (2k + 1)11".
SabCITIOS que a condio que faltava a Cauchy para que seu teorerna fosse verdadeiro a da
"convergncia uniforme". Mas Abel tambm no a identificou; e em seu trabalho ele incorre
nos mesmos erros que embaraaram Cauchy: sua concepo dinmica de continuidade a
mesma de Cauchy (! n t.rnto com iufinitsiuios tu.mhm segue () mesmo estilo de Cauchy.
O primeiro matemtico a identificar o conceito de convergncia uniforme parece ter sido
Christof Gudermann (1798-1852) num trabalho de 1838. E Weierstrass, que preparou sua
tese (sobre funes elpticas) para a obteno do diploma de "professor de 2Q grau" com
Gudermann, assimilou bem o novo conceito, dele tirando todas as implicaes importantes na
teoria das sries de funes. Em suas prelees em Berlim ele sempre enfatizou a importncia
da convergncia uniforme, particularmente para a integrao termo a termo de uma srie
convergente de funes contnuas.
A aritmetizao da Anlise
Logo no incio do desenvolvimento racional da Maternritica, h crca de 25 sculos, surgiu fi
crena, atrihlldn. tl Pitli.gol'l\:i, de.: que ) lIIIlCI;) a chave da explicao dos fClIUIIlCllOS. Mas
no tarcLaria. muito para que essa crena fosse seriamente abalada com a primeira grande crise
de fundamentos da Matemtica, de que j falamos no Captulo 1. Essa crise foi contornada por
Captulo 5: Seqncias e sries de funes 1.5:3
3udoxo, ligado escola de Plato, Cat11 sua "teoria das propores", descrita no Livro V dos
':lel1lento~de Euclidcs. Isso deslocou o eixo dos fundamentos, da Aritmtica. para 1\ Ccomctria.
~ Plato exprime muito bem essa nova convico quando ensina que "Deus geornetriza sempre"
J manda escrever, no prtico da Academia, "quem no for gernctrn no entre". Desde ento,
::! por muitos sculos a Matemtico identifica-se com a Gcotuctrin, tanto assim que at uns CCJlI
:..n05 atrs os matemt icos enUTI conhecidos corno "gcmetras" .
Por isso IllCS1UO, os ruaternticos do sculo XVII, que tanto inovaram e deram origem
nova disciplina do Clculo, foram, todavia, buscar inspirao em Eucldes e Arquimedes,
cujas obras eram ento estudadas c admiradas como modelo mais acabado de rigor. E essa
crena numa possibilidade de fundamentao geomtrica do Clculo perdurou at o incio do
sculo XIX. Os conceitos de derivada e integral, que tiveram origem nos conceitos de reta
tangente e rea, prcscrvarnm por muito tempo suas feies geomtricas. Por unia curiosa
coincidncia, foi no momento IlICS1l10 em que a. Gcomctr ia CODICOU a. revelar SlH\.C) ralhas de
Iunda montos , nas primeiras dcadas do sculo, fui cnt.o que tambm tiveram incio esforos
bem-sucedidos para fundamentar o Clculo fora da Geometria. Todos os conceitos bsicos de
Funo, limito, dcrivndn, integral c convergncia seriam agora definidos P.1Jl termos dos tu'imct-os.
Mas percebe-se ento que os prprios nmeros reais carecem de uma adequada Iund ameutao,
a qual, entretanto, no tarda em ser encontrada. At aquela definio de limite de Cauchy
- correta, porm, ainda eivada da noo espria de movimento - agora substituda pela
definio puramente numrica de Weierstrass: 1(:7;) tem limite L com x tendendo a Xo sigTlifica:
dado quolquer e > O existe > O tal qu"e