Académique Documents
Professionnel Documents
Culture Documents
proibida
no Brasil
Printed
ISBN 85-212-029.5-4
EDITORA
AFILIADA
in Brazil
PREFACIO
o presente livro foi escrito especialmente para alunos de licenciatura em
Matemtica,
por isso mesmo difere dos livros de Anlise direcionados aos cursos
de bacharelado.
Difere n contedo, por no incluir tpicos mais especializados,
como a continuidade
uniforme, a teoria da integral e a eqicontinuidaele,
de interesse maior no bacharelado
e secundrio na licenciatura;
mas difere tambm
por incluir, no captulo 1, uma apresentao
de certos tpicos sobre os nmeros
reais, relevantes nos cursos de licenciatura.
Uma terceira diferena est na
maneira de apresentao
dos vrios assuntos, com ateno maior ao desenvolvimento das idias e aspectos histricos da disciplina.
O texto no inclui um tratamento
de derivadas e integrais, mas pressupe
que o leitor j tenha feito um primeiro curso de Clculo, onde esses tpicos so
tratados. preciso que o leitor tenha um bom conhecimento de derivadas, integrais e suas tcnicas. Por isso mesmo, nos momentos- oportunos do desenrolar
do curso, o professor eleve levar seus alunos a uma reviso sistemtica desses
tpicos elo Clculo; ou mesmo, dedicar vrias semanas iniciais a essa reviso.
Num primeiro curso de Clculo, as apresentaes
costumam ser feitas de
maneira intuitiva e informal, com pouca ou nenhuma demonstrao
rigorosa.
Esse procedimento
seguido, em parte por razes didticas; mas tambm por
razes ligadas prpria natureza
dos tpicos tratados, cujo desenvolvimento
histrico ocorreu primeiro ele maneira intuitiva e informal, desde o sculo XVII
at aproximadamente
1820. A partir ele ento, os avanos da teoria exigiam conceituaes precisas das idias de funo, continuidade,
derivada, convergncia,
integral, etc. precisamente
uma apresentao
logicamente bem organizada
ele toelos esses tpicos do Clculo que constitui um primeiro curso de Anlise.
Por essas razes, um elos objetivos principais ele um curso ele Anlise
em demonstraes.
Enunciar e demonstrar
teoremas uma elas
ocupaes centrais de todo professor ou estudioso da Matemtica,
no sendo admissivel 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.
a prtica
Conversa
com o aluno
Contedo
CAPTULO
O: PRELIt\IINARES
Proposies
de Lgica,
surdo, '1.
CAPTULO
DE LGICA,
1: N~IEROS
REAIS
2: SEQNCIAS
INFINITAS
45
Intervalos,
45. Seqncias
infinitas, 45. Conceito de limite e primeiras
propriedades,
47. Definio de vizinhana,
48. Seqncias
limitadas,
51.
Operaes
com limites, 52.
Exerccios,
54.
Sugestes e solues,
55.
Seqncias
montonas,
56. O nmero e, 57. Subseqincias,
58. Limites infinitos,
59. Seqncias
recorrentes,
6l.
Exerccios,
62. Sugestes
e solues, 64. Intervalos encaixados,
65. Pontos aderentes e teorema de
Bolzano- \Veierstrass,
66. Critrio de convergncia de Cauchy, 67. Exerccios,
69. Sugestes e solues, 70. Notas histricas e complementares,
71. A
no enumerabilidade
dos nmeros reais, 7l. Cantor e os nmeros reais, 7l.
Bolzano e o teorema de Bolzano- Weierstrass, 73.
CAPTULO
3: SRIES
75
INFINITAS
4: FUNES,
LIMITE
E CONTINUIDADE
99
5:
SEQNCIAS
E SRIES
DE FUNES
131
Introduo, 131. Seqncias de funes, 132. Convergncia simples e convergncia uniforme, 132. Exerccios, 135. Sugestes e solues, 136. Conseqncias da convergncia uniforme, 137. Sries de funes, 139. Exerccios,
141. Sugestes e solues, 142. Sries de potncias, 143. Raio de convergncia, 144. Propriedades das sries de potncias, 145. Exerccios, 147.
Sugestes, 148. As funes trigonomtricas, 148. Exerccios, 150. Sugestes, 150. Notas histricas e complementares, 150. As sries de potncias,
150. Lagrange e as funes analticas, 151. A convergncia uniforme, 152. A
aritmetizao da Anlise, 152.
BIBLIOGRAFIA
RECOMENDADA
153
Captulo O
DE LGICA1
PRELIMINARES
Proposies
e teoremas
Proposio significa qualquer afirmao, verdadeira ou falsa, mas que faa sentido. Por exemplo, so proposies as trs afirmaes seguintes:
A) Todo nmero
primo
maior
do que 2 mpar.
internos
C) Todo nmero
primo.
mpar
de qualquer tringulo
180
primo
maior
do que 2.
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 (Sociedade 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.
Captulo O: Preliminares
E) n um nmero mpar.
Outro exemplo de teorema:
S
- a [b e c /d sao
_..
uas f raoes
- a
entao
b
ujuais,
+ d.c
= dc = ab +
a+c
b+d
- = - '* - = - = --o
Chama-se Lema a um teorema preparatrio para a demonstrao de outro
teorerna. Oorotrio um teorema que segue como conseqncia natural de outro.
Muitos autores utilizam a palavra "proposio" para designar os teoremas
de uma certa teoria, reservando a palavra "teorema" para aqueles. resultados
que devem ser ressaltados como os mais importantes.
Condio
necessria
e suficiente
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,
AB2
+ BC2.
e assim se enuncia:
com AC2
AB2
+ BC2,
ento ABC
retngulo
em B.
Captulo
O: Preliminares
o teorema
e sua recproca
princpios
de Lgica
verdadeira
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" equivalente 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
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.
Demonstrao
por absurdo
As chamadas demonstraes por reduo ao absurdo, ou simplesmente demonstraes por absurdo, seguem um roteiro parecido com o das demonstraes por
contraposio. Para provar que A => B comeamos supondo A verdadeira e
B falsa (esta ltima a chamada "hiptese do raciocnio por absurdo", uma
suposio apenas temporria, at chegarmos a uma contradio, um absurdo.
Somos ento forados a remover a hiptese do raciocnio por absurdo e concluir
que B verdadeira).
Como aplicao, vamos demonstrar o teorema mencionado atrs, de que
Num plano, por um ponto fora de uma reta no se pode traar mais que uma
perpendicular reta dada. Vimos que esse teorema se escreve na forma A => B,
onde A e B so as proposies:
A: Num plano dada uma reta r e um ponto P
f/.
T.
a r, tal que
P E s.
A negao de B que existe mais que uma perpendicular; ora, para afirmar
Captulo
O: Preliminares
s e t, perpendiculares
a r,
Vamos provar que essa proposio nos leva a um absurdo. Com efeito, sejam
Se T os pontos de interseo de s e t com a reta r (faa a figura), sendo que esses
pontos so distintos, ou .5 c t no seriam distintas. Ora, os ngulos em S e T
so todos retos; mas isto absurdo, seno a soma dos ngulos do tringulo P ST
seria maior do que 180. Conclumos, pois, que a proposio B verdadeira.
Captulo 1
NMEROS
REAIS
conveniente
Captulo
63
40
1: Os nmeros rcais
63
63 x 52
_
== -.--.
= 1,57.').
3
l
2 x J
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
10
30
20
1\...!.7
_
O, 714285 7I ...
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
... ;
0,35355355535555
... ;
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.
Um exemplo importante
aqui com suas primeiras
11"
nmero
o conhecido
= 3,141592653589793238462643383279
fato de no vermos
mos essas aproximaes,
o perodo tenha milhes,
que 11" irracional porque
se demonstra que a soma
V2
de nmero irracional
30 casas decimais:
nmero
11",
dado
...
perodo nas aproximaes de 11", por mais que aumenteno prova que 11" seja irracional, pois concebvel que
bilhes, trilhes de algarismos - ou mais! Sabemos
isto pode ser demonstrado rigorosamente,
assim como
dos ngulos de qualquer tringulos 180
0
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.
'
1.1. Observao.
A demonstrao
que acabamos de fazer , na verdade,
apenas a demonstrao
de que no existe nmero racional cujo quadrado seja 2.
Afirmar que v'2 um nmero irracional s possvel no pressuposto
de que j
estejamos de posse dos nmeros irracionais, mas isto requer a construo lgica
desses nmeros. Vamos nos ocupar deste problema a partir da p. 29.
Nmeros
Nmero
reais
1'eal todo nmero
que racional
ou irracional.
Captulo
1: Os ntimcros reais
juntamente
com os irracionais
Exerccios
1. Prove que a dzimn peridica 0,232:323 ... igual a 23/00.
Reduza forma de frao ordinria as dzimas peridicas dos Exercs. 2 alO.
2. 0,777 ...
3.
5. 1,2727 ...
6. 0,343343.
7. 0,270270 ...
8. 21,4545 ...
9. 3,0202 ...
1,666 ...
4. O, 170 170 .
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
21.507 - 21
99900
21486
9990
'I:
3581
16.~.~.
...
13 a 16.
v'3
irracional.
.jP
19. Prove que, se p e q forem nmeros primos distintos, ento .,fiJq irracional.
20. Prove que, se p i
ento ~
irracional.
Prove a veracidade
22. Prove que a soma ou a diferena entre um nmero racional e um nmero irracional
um nmero irracional. Mostre, com um contra-exemplo, que o produto de dois nmeros
irracionais pode ser racional.
23. Prove que o produto de um nmero irracional
um nmero irracional.
24. Prove que se .;. for um nmero
25. Prov~ que se x e y forem nlmeros irracionais tais que x2 - y2 seja racional no-nulo, ento
x + y e .r - y sero ambos irracionais. Exemplo: v'3 + J2 e v'3 - J2.
r--x-r-r-r-r-r-:
10
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
racional.
perfeito,
tampouco
+ x,
100x = 23
donde 99x
= 23,
donde x
= 23/99.
= 5/3.
+ 2/99.
..
21
100x
donde
507
+ 999
100x
999; se r
21
+ 0,507507
21 x 999 + 507
999
d nd
o e x
= 3,266
32
10r
1 = 9999 etc.
... , donde
21(1000 - I} + 507
999
21507 - 21
99900
21507 - 21
999'
21486
99900
1
por 6, obtemos, finalmente, x = 13 5 8 0.
6 6 5
= 4,
+ 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
fosse racional, teriamos
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.
.;p
.;p.=
+,/2
e b
= -,/2,
No
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.
Q = x/a, o que absurdo.
Se
ac<
Captulo
1: Os nmeros
reais
11
(x
+ y) + (x
- y)
...
y =
.
(x+y)-(x-y)
2
- y racional.
S(
n,
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}
o conjunto
dos quatro
nmeros
mpares
de 1 a 7;
12
(ai
(b)
Fig. 1.1
conjunto
+ 1: n
.. } 0~{2n
= 0,1,2,3.
- 1: n E N}
=X
- A
{x E X:
fi A}.
B - A
{x
E B:
x rf. A}.
de provar
que B - A
nA
e que
gerais
Daremos a seguir uma srie de igualdades entre conjuntos, as quais so demonstradas provando, em cada caso, que o primeiro membro est contido no segundo
e que o segundo est contido no primeiro:
A
=B
U A;
nB =
A;
A U (B U C)
= (A
U B) U C;
(a)
13
(b)
Fig. 1.2
A n (B n C)
(A n B) n C;
A
As chamadas
A U (B n C)
(B U C) = (;1
n B)
U (;1
(A U B) n (A U C);
n C).
A e B, afirn}am
que
ou seja, o complementar
plementar da interseo
Exerccios
1. Prove que A U E
E u A, A U A
A e que A n A
A.
2. Prove que A n E = B n A.
3. Prove que AU(BUC)
= (AUB)UC.
4. Prove que A n (B n C) = (A n B) n C.
5. Prove que AU(BnC)
(AUE)n(AUC).
(An B) U (AnC).
7. Prove que A C E
8. Prove que E - A = E
nA
A e E, prov~,\ue A = (A - E) u (A n E).
e o com-
14
Captulo
Sugestes
1: Os nmeros
reais
e solues
Conjuntos
*>
ri.
A u B ,} x
ri. A e
ri.
*>
x E AC
*>
e
x E B n AC
x E ~Bc
*>
x E AC
BC
finitos e infinitos
O estudo sistemtico dos conjuntos, que acabou levando a uma teoria axiomtica
desse campo de estudos, comeou com Georg Cantor (1845-1918), por volta de
1872. Nessa poca, Cantor estava iniciando sua carreira profissional e se ocupava do estudo da representao de funes por meio de sries trigonomtricas.
Isto fez com que ele investigasse os conjuntos de pontos de descontinuidade
de
tais funes, os mais simples dos quais so conjuntos com apenas um nmero.
finito de pontos. Mas o aparecimento de conjuntos cada vez' mais complica-'
dos acabou levando Cantor a investigar conjuntos infinitos em sua generalidade.
Nesse .estudo ele introduziu um conceito simples, que logo se revelaria da maior
importncia - o conceito de equivalncia de conjuntos.
Segundo Cantor, dois conjuntos so equivalentes, ou tm a mesma cardinalidade, ou a mesma potncia, quando possvel estabelecer uma correspondncia
que leve elementos distintos de um conjunto em elementos distintos do outro, todos os elementos de um e do outro conjunto sendo objeto dessa correspondncia.
Em termos precisos, a correspondncia de que estamos falando chama-se bijeo.
(Veja a definio de bijeo na p. 102.) Escreveremos A ....B para indicar que
existe uma bijeo entre A e B.
.
Observe que essa noo de equivalncia que d origem ao conceito abstrato
de nmero natural. De fato, o que faz uma criana de quatro ou cinco anos ele
idade constatar que numa cesta h trs laranjas, noutra trs mas, e noutra
ainda trs ovos? Ela chega a essas concluses - mesmo sem perceber - por
constatar que possvel "casar" os elementos de qualquer uma dessas cestas
com os elementos de qualquer outra de maneira biunvoca. essa abstrao dos
elementos concretos dos conjuntos equivalentes ele diferentes objetos que nos
leva a formar a noo de nmero natural, um fenmeno que ocorre muito ceelo
em nossas vidas.
\
.
Captulo
1: Os nmeros
reais
15
Assim, denotando
Um conjunto
se diz infinito
quando
no for finito.
No caso de conjuntos
finitos, serem equivalentes
corresponde
a terem o
mesmo nmero de elementos, de sorte que o conceito de cardinalidade
o recurso natural para estender,
a conjuntos infinitos, o conceito de "nmero de
elementos de um conjunto".
Diz-se que dois conjuntos quaisquer A e IJ tm a mesma cardinalidade,
ou
o mesmo nmero de elementos, se eles forem equipotentes.
Como se v, essa
definio, no caso de conjuntos finitos, no traz nada de novo; mas estende, para
conjuntos infinitos, a noo de "nmero de elementos de um conjunto".
Tais
nmeros so os chamados nmeros transfinitos.
Conjuntos
enumerveis
A enumerabilidade
do conjunto
Se surpreendente
que o conjunto N seja equivalente
juntos prprios, mais surpreendente
que o conjunto
tambm seja equivalente
a N, isto , seja enumervel.
Q dos nmeros
16
numerador
com o denominador
seja constante.
Por exemplo,
6'
5'
4' 3'
2'
e denominador
135
7'
somando
7, enquanto
7
5'
3'
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 fundamental, 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 conhecimento com os radicais; e, novamente, apenas informado de que nmeros como
,;2, V3, etc., so nmeros irracionais (embora esteja perfeitamente ao seu alcance 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 impresso 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
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,
0,437
= 0,436000 ...;
0,052
= 0,051900
...; etc.
decimal
0,
allal2a13
aln
...
. 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
~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
+ 1, n
-I- 2, ... }.
Respostas,
1. n
>-+
2n
su~estes
+ 1,
e sol~es
n - O, 1,23, ....
bije~' f:
f(j)=aj,
j=I,
... ,7;
f(j)=bj-r,
j=r+l,r+2,
...
Captulo
Grandezas
1: Os nmeros
reais
19
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 construo 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.
l!
A
I
AB
CD
I
{)
F.
=-
8
5
F
Fig. 1.3
20
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
II
1I
26
()
,Fig.lA
~t
~o~
,~'
Segmentos
incomensurveis
. 1\/\
'-<. O
n!
lj"-'
/'.,
,J '
f
( ;,.'f ,I'r)vV
(,,\7\ a:
Captulo
1: Os nmeros
reais
21
c
Fig. 1.5
F
AD
,\ = BC = BE
+ BD =
+ Ec:'
= BE
+ BD,
:\~
+ BD,
ou seja,
(1. l)
(1.2)
Como o segmento (T submltiplo
comum de {j e , conclumos, por (1.1),
que (T tambm submltiplo de B D. Daqui e de (1.2) segue-se que (T tambm
subinltiplo
de B E. Provamos assim que, se houver um segmento (T que
seja submltiplo
comum de = AB e = AC, ento o mesmo segmento (T
ser submltiplo
comum de B E e B D, segmentos
esses que so a diagonal
e o lado do quadrado B D E F. Ora, a mesma construo
geomtrica que nos
permitiu passar do quadrado original ao quadrado B D EF pode ser repetida com
este ltimo para chegarmos a' um quadrado
menor ainda; e assim por diante,
indefinidamente;
e esses quadrados vo-se tornando arbitrariamente
pequenos,
pois, como fcil ver, as dimenses de cada quadrado diminuem em mais da
metade quando passamos de um deles a seu sucessor. l2.essa maneir.,. proyarn.g;;
que o segmento (T dever ser slIbmlltiplo comum do lado e da diagonal de 11m
qtladrado to pequeno quanto desejemos. 9pe absurdo. Somos, pois, levados a >
rejeitar a suposio inicial de comensurabilidade
de AC e AB. Conclumos, pois,
que o lado e a diagonal de qualquer quadrado so grandezas incomensurveis,
.:.-I
22
como queramos
retngulo
provar.
ureo
H vrios outros modos de estabelecer a existncia de segmentos incomensurveis, um dos quais baseado no "retngulo ureo" , que discutiremos a seguir.
Fig.I.6
F
a
o.
a+~
F.
f)
(1.3)
Captulo
1: Os nmeros
reais
23
Fig. 1.7
2b-a
a-b
Uma infinidade
de retngulos
Voltando relao
mite escrever:
a+b
ureos
bem conhecida
(a+b)-a
ou seja,
a-b
das propores
a-b
per-
b,
a3 =
b-
a2 =
2b -
a, . . .
an = an-2
consecutivos
an-l.
(1.4)
dessa seqncia
Diviso urea
Diz-se que um ponto C de um segmento
razo urea se
AB
AC
AB (Fig.
AC
CB
24
Captulo
1: Os nmeros
reais
Fig. 1.8
A
Fig. 1.9
Exerccios
ureo so grandezas
incornen(
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,
suraveis.
o ponto C que
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 demonstrao.
Captulo
1: Os nmeros
reais
25
5. Sejam ABC D um quadrado, e E o ponto mdio de AB. Marque o ponto F no prolongamento de AB, de forma que EF = EC .. Aplique o Teorema de Pitgoras ao tringulo EBC
e obtenha (a + b)a = ab, mostrando que o retngulo de lados AB e AF ureo.
e sua soluo
26
Captulo 1: Os nmeros
reais
e nC =mD.
nA =mB
e igualmente,
nA>mB,
nA=mB
ou
nA<mB;
nC>mD,
nC=mD
ou
nC<mD;
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.
se
nA>
mB
nC > inD;
nA = mB
< mB
nC < mD.
(Y\A
nC
==
mD;
Observe, pelo Exerc. 3 adiante, que no caso em que A e B so cornensurveis, A ; E = m ; n equivale a dizer que nA = mB. Ento, de acordo com a
Definio de Eudoxo, no caso comensurvel,
dizer que A ; B = C ; D equivale
a dizer que nA = rnB } nC = mD. No caso incomensurvel,
estas igualdades
nunca acontecem;
mas Eudoxo continua definindo a igualdade A ; B = C ; D
desde que, para todos os nmeros m e n,
nA>
Desenvolvimento
mB
nC > mD
posterior
e nA
<
mB
nC
<
mD.
da Matemtica
Com sua definio de igualdade de duas razes, Eudoxo constri a teoria das propores, utilizando apenas os nmeros inteiros. Embora tenha sido uma soluo
genial da crise dos incomensurveis,
ela atrasou por mais de mil anos o desenvolvimento da Aritmtica
e da lgebra, pois subordinou
essas disciplinas aos
estudos de Geometria, como retrata muito bem a exposio feita nos Elementos
de Euclides.
27
Exerccios
1. Dizemos que duas fraes so iguais quando tm a mesma forma irredutvel.
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
com o produto dos extremos, como neste exemplo:
12 = 18
40
60
{=}
Por exemplo,
do produto
dos meios
12 x 60 = 18 x 40,
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
m
= ap,
= aq
'e
rove que o conjunto E das razes quadradas de 2 por falta no tem mximo.
5. Prove que o conjunto D das razes quadradas de 2 por excesso no tem mnimo.
~
Sugestes
e solues
= mB;
= mn'ir",
= m jri
donde nm'
= mn'.
r;:.O
2,
que se deseja provar que se r um nmero racional positivo tal que r2 <
existe outro
racional 8 > r tal que ,<;2 < 2. Isto se consegue aumentando
T de urna quantidade
bem pequena, digamos, 1/11, com 11 um inteiro bem grande. Mas quo grande? Vejamos:
tomando S = T +-l/n,queremos
que
Ut'lmero
ou seja,
2
T
ou ainda,
2r
+-+
-n2
o
< 2,
( 1) 1
2r+;
;<2-r.
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,
(2r
Agora basta resolver.a inequao
+~) ~
11
:S (2r
+~~\
n
1-
' .-'(
\.'
h,
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
8
29
= r-l/n
2r
n
Dedekind
e os nmeros reais
Vrios matemticos
do sculo XIX cuidaram da construo dos nmeros reais,
dentre eles Richard Dedekind, Karl Weierstrass,
Charles Mray e Georg Cantor.
Mas as teorias dos nmeros reais que permaneceram
foram a de Dedekind e
a de Cantor. Exporemos, nesta seo a construo
de Dedekind, e no captulo
seguinte a de Cantor. No faremos uma exposio tecnicamente
detalhada, antes
vamos nos concentrar nas idias de Dedekind,
procurando
dar uma boa compreenso de todo o seu trabalho, principalmente
da propriedade
de completude
dos nmeros reais, expressa nos Teoremas 1.5 e 1.7 adiante.
Richard Dedekind (1831-1916)
estudou em Cttingen,
onde foi aluno de
Gauss e Dirichlet. Em 1858 tornou-se professor em Zurique, transferindo-se
em
18fi2 para Brnnuschwoig (ali Brunswck), sua terra natal, onde permaneceu pelo
resto de sua vida.
Ele conta que no incio de sua carreira em 1858, quando teve de ensinar
Clculo Diferencial, percebeu a falta de uina fundamentao
adequada para os
nmeros reais, principalmente
quando teve de provar que uma funo crescente
e limitada tem limite (Teorema 4.14, p. 114). E tambm ele mesmo quem
conta que foi buscar inspirao para sua construo dos nmeros reais na antiga
e engenhosa teoria das propores de Eudoxo. Assim, em 1887 ele escreve: " ... e
se interpretamos
nmero como razo de duas grandezas,
h de se convir que
. tal interpretao
j aparece de maneira bem clara na clebre definio dada por
Euclides sobre igualdade de razes. A reside a origem de minha teoria ( ... ) e
muitas outras tentativas de construir os fundamentos
dos nmeros reais".
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
procedimento
do sbio grego leva a uma separao dos
conjuntos.
Assim, qualquer nmero racional r efetua
de todos os demais nmeros racionais no conjunto E
30
Captulo
1: Os nmeros reais
pode
Mas, alm desses "cortes" , h outros, como exemplifica O clssico caso de -/2.
O processo de encontrar a raiz quadrada de 2 conduz separao dos nmeros
racionais em dois conjuntos: o conjunto E das razes quadradas aproximadas
por falta (a includos o zero e os racionais negativos), e o conjunto D das
razes aproximadas por excesso. S que agora esse corte no tem elemento de
separao; de fato, j vimos (Exercs. 4 e 5 atrs) que o conjunto das razes por
falta no tem elemento mximo e o conjunto das razes por excesso no tem
elemento mnimo. No modo de ver de Dedekind, o nmero irracional J2 deve
ser criado como elemento de separao entre os conjuntos desse corte.
Dedekind generaliza esse procedimento,
primeiro definindo corte de maneira
geral, no conjunto Q dos nmeros racionais.
1.3. Definio.
Entenderemos
pOT"corte (ou "corte racional"), todo par
(E, D) de conjuntos no vazios de nmeros racionais, cuja unio Q, e tais
que todo elemento de E menor que todo elemento de D. -;
(Essa definio permite provar (Exerc. 1 adiante) que o conjunto E uma
semi-reta para -00 e o conjunto Duma
semi-reta para +00.) Em seguida
Dedekind postula que todo cortepossui
elemento de separao, que tanto pode
ser incorporado a E como o seu maior" elemento, ou a" D como o seu menor
elemento. Suporemos que o elemento de separao seja sempre incorporado a
D. Assim, em todo corte, o conjunto D tem mnimo; e os cortes que no so
determinados por nmeros racionais do origem aos nmeros irracionais.
Dedekind observa que a existncia de cortes sem elementos de separao no
conjunto Q dos nmeros racionais a expresso aritmtica da descontinuidade
de Q, ao passo que, com a adjuno dos novos elementos - - os nmeros irracionais - obtemos o conjunto R dos nmeros reais, que, ao contrrio de Q,
agora um "contnuo numrico", pois os irracionais vm preencher as "lacunas"
de descontinuidade ento existentes em Q.
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 conhecemos 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
31
com
nmeros
reais
e D o conjunto
e (3 = (E2, D2),
racionais.
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
teorema de Dedekind
de separao.
Observao. Por corte de nmeros reais entende-se todo par (E, D) de conjuntos 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.
Demonstrao.
Comeamos observando que o corte dado (E, D), determina
tambm um corte (A, B) de nmeros racionais, A sendo o conjunto dos nmeros
racionais contidos em E e B o conjunto dos nmeros racionais contidos em D.
Esse corte (A, B) possui um elemento de separao a. Provaremos que a ou
mximo de E ou mnimo de D.
Se a fosse menor do que algum elemento {3 E E, pelo Exerc. 4 adiante,
haveria uma infinidade de nmeros racionais compreendidos entre a e {3;seja c
um deles. Ento, a < c, donde c E B C D. Como c < {3, pelo Exerc. 1 adiante,
{3 E D, absurdo, pois {3 E E.
Se a fosse maior do que algum elemento {3 E D, pelo mesmo raciocnio,
haveria um nmero racional c compreendido entre a e {3. Ento, a > c, donde
c E A C E. Como c :> {3, pelo Exerc. 1 adiante, {3 E E, absurdo, pois {3 E D.
Em conseqncia, o nmero real a , ou o maior elemento de E ou o menor
elemento de D, como queramos provar.
Veremos outras maneiras
teis de expressar
a cornpletude
de R, dentre elas
Captulo
a chamada
"propriedade
Supremo
e nfimo
do supremo",
1: Os nmeros
que consideramos
reais
33
a seguir.
de um conjunto
:s:
:s:
:s:
[-v'iO, v'iO] =
{x
E R:
x2:s:
10} = {x E R:
:s:
A =
g, ~,~,...,
n:
I""}
(1.6)
n+l
< ...
--<--.
n+1
desse
Pelo contrrio,
qual-
+1
n+2
34
no vazio de nmeros reais, que seja /-ipossui supremo. (Esta a propriedade do supremo que
Demonstrao.
Seja C o conjunto em questo. Seja E o conjunto de todos
os nmeros reais o que sejam menores que algum elemento de C, e seja D o
conjunto dos nmeros reais restantes.
Da prpria definio de E e D, v-se que (E, D) um corte em R. Seja o o
elemento de separao desse corte, portanto, ou o o maior elemento de E ou o
menor elemento de D. Mas o no pode pertencer a E, seno ele seria menor do
que um elemento c E C, o mesmo sendo verdade de todos o~ elementos j3 entre
Ct e c, donde j3 E E; e Cc no seria o elemento de separao
de (E, D) (faa uma
representao grfica, para ajudar na compreenso).
Assim, conclumos que o o menor elemento de D, ou seja, a menor cota
superior de C, como queramos provar.
Nessa demonstrao no h como saber se o supremo ou no o mximo
do conjunto C. claro que se o conjunto possui mximo, este tambm o
seu supremo.
Mas o conjunto pode no ter mximo, como no exemplo dado
em (1.6). Outro exemplo de conjunto cujo supremo no mximo qualquer
intervalo aberto direita, como
. [-5, 12) = {x E R:
-5::;
x.< 12},
S, quando
{2, 3, 9/2,
5, 6, 13/2,
do conjunto.
35
Por
7}
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 < {3,ou Q = {3ou Q > .3.
~rove
Vrove
que entre dois nmeros reais distintos h urna infinidade de nmeros racionais.
que entre dois nmeros reais distintos h urna infinidade de nmeros irracionais.
36
Captulo
1: Os nmeros reais
a, f3
e I, prove que
= O.
>
1 =? c"
<
>a
1 =? a"
<a
>
l.
>
1.
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.
Sugestes
e solues
1. Raciocine
> e.
+ (r
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.
I(x
37
maior ou igual a
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.
> 1 => a2 > u, logo a? > a > 1. Isso, por sua vez, implica
prosseguimos at chegarmos a a" > a,,-l > ... > a.
11. a
n:l
>
li?
>
Q.
Assim
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
Se
,14. Supomos, evidentemente, que n >,1. D~vemos provar que existe um nmero b >,0 talque
" = a. Para isso consideramos 'o conjunto C dos nmeros c ~ O tais que c" < a. Trata-se
de um conjunto no vazio, pois contm o nmero 1 se a > 1 e, de acordo com o Exerc. 12,
contm o nmero a se a < 1. Vemos tambm que C limitado superiormente, pelo nmero
1 se a < 1 e pelo prprio a se a > 'L Designando por b seu supremo, vamos provar que
b" = a. Para isso, mostremos primeiro que absurdo ser bn < a. De fato, nesta hiptese,
seja um nmero positivo menor do que 1, de sorte que
(b+)n
b"+nb,,-I+
b"
<
... +e:n
+ c [./! bll-1 +
n I
bn + [b
n -
1I.(n
-1) "-:2
--2--
"+
... + ,_11-1]
onde J( a expresso entre colchetes, que independe de . Ora, fazendo < (a - bn)/ K,
teramos b" < (b + )n < a, absurdo, pois ento b no seria o supremo do conjunto C.
Mostremos agora que absurdo ser b" > a. Isso implica (l/b)n < l/a.
Ento, com
raciocnio anlogo ao que acabamos de fazer, existe > O tal que
donde obtemos
v: >
(1: b" )
> 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
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
O leitor certamente
conhece a definio de valor absoluto de um nmero 7',
indicado pelo smbolo [r], e que igual a r se r 2 O e a -r se r < O. Muito
importante em nosso estudo 1\ cluuuadu desigualdade
do triiujulo, segundo a
qual,
(1.7)
Ia + bl :s; lal + Ibj,
quaisquer
bl2
(a
b)2 = a2
b2
+
=
2ab = lal2
observamos
+ Ibl2 +
que
2ab
(Ial + Ib1)2.
Fig. 1.10
1.9. Observao.
A desigualdade (l.7) chamada '''desigualdade
do tringulo" porque ela vlida tambm quando a e b so vetores, digamos a e
b. Neste caso, a, b e a-l-b so os trs lados de um tringulo (Fig. 1.10) e a
desigualdade traduz a' propriedade geomtrica bem conhecida: em um tringulo
qualquer lado menor do que a soma dos outros dois, isto , se a e b no so
colineares e nenhum deles o vetar nulo, ento
Captulo
1: Os nmeros reais
Ia bl;
Ilal-lbll::; Ia bl
Ibl-Ial::;
39
(1.8)
(1.9)
Ibl :' Ia - bl
4. Prove que
- 10nl,
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
lal
I(a -
b).+bl
::;
Ia -
bl
+ Ibl
e -
x <r
Ixl <
r.
o mesmo verdade de b e c.
4. Observe que
Notas histricas
e complementares
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
contedo
dos Elementos
Os Elementos, para ns hoje, so uma obra antes de tudo de valor histrico. Sua melhor verso
41
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
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 Euclides 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 incomensurabilidade, 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.
llI),
A Geometria
dedutiva
Foi no sculo VI a.C. que Tales de Mileto inaugurou na Matemtica a preocupao demonstrativa.
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
tentaram fazer tal demonstrao. Essas tentativas de demonstrao foram retomadas nos tempos 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 sujeita 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 modelos 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 euclidianos 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.
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 faltando. 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
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
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,
(x
2. (Comutatividade)
+ V) + z
=x
v, z
E C,
+ (y + z)
(xy)z
= x(yz);
+y
=y
+x
e xy = yx;
Captulo 2
.. ~
SEQUENCIAS
INFINITAS
Intervalos
Antes de entrarmos propriamente
no assunto deste captulo, vamos rever algumas 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)
{x
E R:
[a,b]={xER:
o intervalo
seguintes:
pode tambm
[-3,1)
= {x
[7, +00)
ou semi-aberio,
(3,
R: 3 < x :S 5}.
considerar
fechados
(-oc,
Seqncias
.51= {x
intervalo
a:Sx:Sb}.
ser semifechado
Introduzindo
os smbolos
como um intervalo:
Adotamos notao
finita, como
3)
ou abertos
na extremidade
infinitas
46
Captulo
2: Seqncias
exemplo de seqncia
2n, n = 1, 2, 3, ...
uma frmula simples
ou an = 2n + 1, com
Mas
embora,
permite
decimais
infinitas
nem sempre o termo geral de uma seqncia dado por uma frmula,
evidentemente,
sempre haja uma lei de formao bem definida que
determinar o termo geral da seqncia. esse o caso das aproximaes
por falta de V2, que formam a seqncia infinita
aI
1,4,
a2
a5 =
1,41,
a3
1,41421,
a6
= 1,414213, ...
1,414,
a4
1,4142,
n 29, 31,
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 escreve (an)nEN,.
(aI, a2, a3,.)
ou simplesmente an0 Alguns autores costumam
escrever {an} em vez. de (an), mas preferimos reservar essa notao para o conjunto 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, ...
{an}
{-I, +l}.
Captulo
Conceito
de limite e primeiras
2: Seqiincias infinitas
47
propriedades
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
n>
N =>
Ia" - LI < .
Escreve-se liml1_oo an
L, lim an == L
no converge ' dita divergente.
Chama-se
converge para zero:
ou an
seqncia
(2.1)
L. Uma seqncia
nula toda seqncia
->
que
que
Essa definio
48
Captulo 2: Seqncias
Definio
infinitas
para L ou divergir,
convergir
respectivamente.
de vizinhana
definirmos
n>
'*
{=>
<
-E
L <
X -
limite, estamos
'* lan
ou ainda, n > N
- LI <
L -
dizendo
ou
E,
n>
{=> L -
<
que n > N
N
'*
L -
< L
'*
+ E.
an E V,,(L), ou seja,
< an < L
+ E,
+ E.
< an < L
Exemplo.
Vamos provar,
(an)=
converge
n
( n+12
para o nmero
lan -
1. Para
(1 2 3
13'
14'
n
15' ... , n+12""
isso observamos
n
12
11 = --- 1 = -<
n + 12
n + 12
segundo
a condio
N,*
> 0, existe
lan
- 11 <
> O,
/r:
(2.2)
'.'
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:
.
lan -
12
<* n > - -
11 <
12.
No entanto,
poderamos
lan
tambm
ter racionado
12
11 = -ti
O correto
+ 12
indicada
que
lan
agora a implicao
12
< -
<
assim:
<*
>
12
(2.3)
11<
<*
desigualdades,
12
n >
(numa s direo)
12
n> - :}
lan
- 11 <
Consideremos
a seqncia
/
an:=
3n
sen2n
fcil ver que seu limite deve ser 3. Para evidencia;1 isso dividimos
e o denominador
por n e notamos que (sen 2n)/n --+ O. Assim,
o numerador
3
a n = ---:----,--:--:1 + (sen 2n)/n
O que fizemos foi descobrir o limite; devemos agora demonstrar
que 3
realmente o limite, usando a Definio 2.1. Comeamos observando que
lan -
31 =
31sen 2nl:s
+ sen 2nl
In
In
+ senZn]
:S
n - [sen 2nl
:S _3_,
n - 1
(2.4)
50
<=>
n > 1+ -
(2.5)
de sorte que
n> 1+ 3/c
que estabelece
=?
lan
- 31 <
(2.6)
o limite desejado.
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
no
2.4. Exemplo.
fcil descobrir o limite do quociente de dois polinmios
de mesmo grau, dividindo numerador e denominador pela maior potncia de n.
Assim,
3n2+4n
3+4/n
an = n2 + n _ 4 = 1 + l/n - 4/n2
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),
1
e a partir de n
n2/2. Assim,
12, n
an-3
+ 12::;
n + 12
n2+n-4
2n e 4
lan - 31 <
< n2/2,
< n
+ 12
n2-4'
de sorte que n2
2n
4
?/2 = - <
nn
4> n2
desde que n seja maior que o maior dos nmeros, 4/ e 12, isto ,
n> N
= max{4/,
12}.
n2/2
51
a demonstrao.
Seqncias limitadas
Toda seqncia
Dadoqualquer
n > N
=}
convergente.
limitada.
z>
L-
<
an
<
+ ,
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
digamos, A, e aquele
para todo n, que
A::;
o que completa
Podamos
assim: seja
an::;
que o maior
de todos,
B,
a demonstrao.
tambm
ter atalhado
um pouco,
como costume,
procedendo
52
Captulo
Ento
2: Seqncias
infinitas
2.6. Teorema.~ia
L < B, ento, a partir
<
~~
limitada.
L, e se
Demonstrao.
Dado qualquer > O, existe' N tal que, a partir desse ndice,
< 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,
_
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.
,L -
.1.-'
Para a demonstrao,
se L
>
O, tome A = L/2.
com
limites
2.8. Teorema.
Sejam (an) e (bn) duas sequencias convergentes,
com limites a e b respectivamente.
Ento, (an + bn), (anbn) e (kan), onde k uma
constante qualquer, so seqncias convergentes,
alm do que,
@Iim(an
+ bn) = lim an + lim bn = a + b;
b) lim(kan) = k(liman)
= ka; em particular, k = -1 nos d an -> a =?
-an -+ -a;
@im(anbn)
= (liman)(limbn) = ab ;
d) se, alm das hipteses acima, b =1= O, ento eX'iste o limite de an/bn,
igual
a a/b.
Demonstrao.
Demonstraremos
os dois ltimos itens, deixando os dois
primeiros, que so mais fceis, para os exerccios.
Para demonstrar
a terceira
propriedade,
utilizamos
a desigualdade
do
tringulo e o fato de-9ue a seqncia bn limitada por uma constante positiva !v!, de sorte que podemos escrever:
--...
,..,...--
lanb,,; - abll(an
+ a(bn
ai + lallbn
- a)bn
::; Mla~ -
+ lallbn
bl
- bl
Ora, tanto lan-al como Ibn -bl podem ser feitos arbitrariamente
pequenos, desde
que n seja suficientemente
grande. Assim, dado qualquer > O, podemos fazer
53
lan - ai
partir
11.
>
com-o queramos
demonstrar.
Ibn - bl
+ lal)E.
em fazer
e
lan
ai
e
o
= ke
Para a demonstrao
da quarta propriedade,
observamos que o quociente
an/bn pode ser interpretado
como o produto an(1/bn), de forma que, em vista
da propriedade
j demonstrada,
basta provar que l/bn --> l/b. Temos:
I~_~I-Ib
n -
bn
b -
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:
n> N =*
e isso completa
bn
3n2
+ 4n
nn 511.2-7
...........----1:-2.9.
a
<
a demonstrao.
Terminamos
limites;
como
lim 5 - lim(7/n2)
5"
Exemplo.
Dado um nmero a
1, quando a seqncia constantemente
importantes
> O, y'a
de limites .
-->
1. Isso evidente se
igual a 1. Suponhamos
a > 1,
"
54
f)
"
fl
~ I
logo,
f/
= 1 + hn,
desigualdade
d~ Bernoulli
positivo conveniente.
teremos:
J_
Utilizando
[Y= (1 +hn)n
3>
2: 1 +
~~)
n".t:. E:-
~hn.
vn
vn
2.10.
Exemplo.
-> 1. Ainda aqui temos que
= 1 + hn, onde
hn novamente um nmero positivo conveniente. Mas agora a desigualdade de
Bernoulli insuficiente para nossos propsitos, pois, com ela,
+ hn)
= 1
+ nhn +
n(n - 1) 2
2'
hn
+ ... + hn >
n(n - 1) 2
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,
.
n > N
provando o resultado
=?
desejado.
I vn
11 =
h~ <
E;,
/~
Exerccios
1. Escreva os cinco primeiros termos de cada uma das seguintes seqncias:
a) an
_n_;
n+l
c) an = n2
+ 1;
(_1)"
d) a" = --'-.
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, ... ;
c) 1, 1/4, 1/9, 1/16, ... ;
; b)l,
-1/2,
d) 1, -1/2,
---.!!-
n-
+1
= O;
2n2
b) lim n' + 7 = 2;
c) lim
3nvfn
nvfn+5
= 3.
~ 5. (Unicidade
n2
que o
yTi(l+ 8yTi)
cosJn'I+7
an =
a)
55
+1
4,. - 1
do limite) Prove que uma seqncia s pode convergir para um nico limite.
ILI.
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
-+
-+
<
O, prove que
1.
..;a;;
-+
O.
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)
CQIn contra-exemplo
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.
~~pro~.:
..que
fln
-+
1.
18. A nega~J5efinio
em termos de e N?
Sugestes
2. a) n/(n
2.1 "an no converge para L". Mas como escrever essa nel,latio
e solues
+ 1),
n ?: 1;
b) (_I)n+l/n,
n?:
d)-.(-I)"/n!,
14
b) lan
4. b)
Ian
- 21- yTi + 2
-
<
4n - 1 -
21=
n2
yTi + 2yTi _
-.
4n - n
+7 <
J...yTi
+ 1),n::O:
1, ou (-I)"/(n
14
n2;
n::O:1.
.
c) lan
O;
15
31 = nyn+5
--;:;-
<
15
r.::"
nyn
56
Captulo
2: Seqncias
infinitas
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
seqncia.
10. Como b = l/a>
logo, an <
2..
ne
<
n log a
< log
>
~g
oga
-1 -.
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:;:
< 2
+ bn)
- (a
+ b)1 ::;
lan -
ai +
Ibn - bl
s.
1::;
ffn::; vIn
"Existe um > O tal que, qualquer que seja o nmero natural N,.existe um ndiceri > N
tal que lan - LI > i;:u. Isto ' o mesmo que:' "Existe' um > O talque, qualquer que seja o
nmero natural N, existe uma infinidade de ndices n > N tais que lan - LI> s".
Seqncias
montonas
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 1Veremos, entretanto, que h uma classe importante de seqncias limitadas
- as chamadas seqncias "montonas" - que so convergentes. ..
2.11.
Definies.
Diz-se que uma seqncia (an) crescente se aI <
a2 < '" < an < ... e decrescente se aI > a2 > ... > an > ... Diz-se que
a seqncia no decrescente se aI ::; a2 ::; ... an ::; ... e no crescente se
Captulo
~ a2 2: ... ~ a" ~ ... Diz-se
qualquer uma dessas condies.
al
2: Seqncias
que a seqncia
montona
infinitas
57
se ela satisfaz
Toda seqncia
montona
e limitada
convergente.
Demonstrao.
Consideremos,
para fixar as idias, uma seqncia no decrescente (an) (portanto, limitada inferiormente
'pelo elemento al)' A hiptese
de ser limitada significa que ela limitada superiormente;
logo, seu conjunto de
valores possui supremo S. Vamos provar que esse nmero S o limite de an0
Dado e > O, existe um elemento da seqncia, com um certo ndice N, tal
que S - < 4N ~ S. Ora, como aeqncia
no decrescente,
aN ~ an para
todo n > N, de sorte que
.
n> N => S - e
<
an
<
+ e,
i?fB
O n mcro
seqncia
no crescente
~r
surgiu na Matemtica
instantaneamente
(veja
mediante o limite
Trata-se, evidentemente,
de uma forma indeterminad
do tipo 100, pois enquanto
o expoente tende a infinito, a base 1 + l/n tende decrescentemente
a 1.
Vamos provar que a seqncia que define e crescente e limitada, portanto,
tem limite. Pela frmula elo binrnio ele Newton,
(l+~r
)0.
1
l+n-+
'2"+"'+'
n
n (n - 1)
,
2.
n
31
,
n.
(2.7)
2: Seqncias infinitas
Ca~clo
L
expresso para U-n+l, como esta ltima, conter um termo a ma' no
fu!a!. alm dos que a aparecem, com n + 1 em lugar de n, exceto em n! Mesmo
sem levar em conta o termo a mais, pode-se ver que cada um dos termos de (2.7)
inferior a cada um dos correspondentes com n + 1 em lugar de n. Isso prova
que an < an+l, isto , a seqncia (an) crescente. Para provarmos que ela
limitada, basta observar que cada parnteses que aparece em (2.7) menor do
que 1, de sorte que
an
<
f+~
+; .. +
~!
<t~-{~,+
b
+ ... +
+-V< !:)~
(2.8)
am
t ~~6
decorre ~sendo~,
_2_+~(1-~)+' ~(1-"~)(~~)...(1-~
a_m_J
___
Mantendo
...-
Mostremos
m
( l)-n
= n -1,
1 n - 1
1
1 - - = -= ---,-,,---,-
1
( 1- n
nl(n-l)
(m
)-n ( + l)Tn(
1
(2.9)
+ ... +
que, sendo
1
1+ 11m'
+ l)/m
1)
1+ m
->
e.
lim
n----.oo
(1 + .!.)n
n
Subseqncias
Quando eliminamos um ou vrios termos de uma dada seqncia, obtemos o que
se chama uma "subseqncia" da primeira.
Assim, a seqncia dos nmeros
pares positivos uma subseqncia
da seqncia dos nmeros naturais.
O
t.
59
2.13. Definio.
trio dessa seqncia
naturais. Dito de outra
~
t,ipo (bj) = (anj~' onde
e, nl < n2 <-: ..
[:
para
n 2: 4.
Uma subseqncia de uma dada seqncia (an) uma resa um subconjunto infinito N' do conjunto N dos nme;;'
maneira, uma subseqncia de (an) uma seqncia do
r~
uma seqncia crescente de inteiros positivos, isto
:s
~y
2.14. Teorema.
toda . sua subseqncia
Demonstrao.
que n > N :=:} lan
(nj>
N:=:}
la~j -
para um limiteJ;,.,
ento
'
~-Limites
dada a seguir.
:s
+ 17
'""j
infinitos
2.15. Definies.
Diz-se que a seqncia (On) diverge (ou tende) para +00
e escreve-se lim an = +00 ou lim an = 00 se, dado qualquer nmero
ositivo k,
~iste
N tal que n > N :=:} an2.3.\Analoga,mente,
(an) diverge (ou tende) pa;a
-00
se, dado qualquer nmero 'negativo k,(existe N tal que n > N :=:} an < k;
neste caso, escreve-se lim an = .::00. _.
Por exemplo, fcil verificar, luz dessas definies, que as seqncias an =
n, an = n2 + 1 e an =
tendem, todas elas, a +00, enquanto que an =
-n, an = 3 - n2 e an = 6 tendem a -00,
,;n
,;n
i;
60
Captulo
2: Seqncias
infinitas
As propriedades relacionadas
e ficam para os exerccios.
~
2.16. Teorema.
a) an -> +00 } -an -> -00.
b) Seja (an) uma seqncia no limitada. Sendo no decrescente,
ela tende
a +00; e sendo no crescente, ela tende a -00.
.1 '"")fi
c) Se lim c., = oo, ento l/an tende a zero.
./
lrf-<'-
_~Q)
an <
Se lim c.,
O'-V
G) Se
= 9,
ento l/an
tende a
+00
se an >
of
e tende
-00
se
Y\. 7)./
;.5
1?a
~
~l
2.17.
Exemplo.
A seq
an com a ).
tende
O < l/a < 1, de forma que, pelo Exerc.lGda p. $ff; l/a)n
',"'.lo'go', pelo item d) do teorema an~r,/a---=,
00 .
. - Podemos tambm raciocinar assim: a = 1 + h, onde
+',;)n' > I + nh > rili > k } n >Zh.
.
Outro modo de tratar esse limite. faz uso do logaritmo,
-----
an > k
a infinito. De fato,
tende a zero;
= l/an
h > O. Ento
an
assim:
log k
n log a > log k <=} n > -~a/
____
2.18. Exemplo.
A seqiincia.c., = nk, onde k um inteiro positivo, tende
a infinito por ser o produto de k fatores que tendem a infinito. No entanto', ela
tende a infinito "mais devagar" do que a~
X. eVldendenterrii'@. Podemos
ver isso considerando a razo rn = nk/an como restrio da funo
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
;T
r-(a
a
~)-n
< "1'"2 ... -N/i /= 2
~-----c../.
c,
2.20. Exemplo.
Provemos finalmente
vagarosa que n": De fato, basta notar que
que a seqncia
n!
1 2
n
1
= - . - ... - < nn
n n
n
11
-t
n! ainda
mais
O.
Em vista dos trs ltimos exemplos acima, vemos que (sendo a > 1),
nk
lim-=O'
a'tt
..
'
hm,
an
n.
= O;
n!
lim-=O.
nn
(2.10)
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, apropriadamente, indutiva ou recorrente. Veremos a seguir um exemplo interessante de
seqncia recorrente. Outros exemplos so dados nos exerccios.
Exemplo
num mtodo
2.21.
Consideramos
aqui uma seqncia
de extrao da raiz quadrada, aparentemente
62
Captulo
2: Seqncias
infinitas
Mesopotmia de 18 sculos antes de Cristo! Dado um nmero positivo qualquer N, deseja-se achar um nmero a tal que a . a = N. Acontece que, em
geral, no dispomos do valor exato da raiz, e o nmero a apenas um valor
aproximado. Sendo assim, o fator que deve multiplicar a para produzir N no
necessariamente a, mas sim o nmero N] . Ento, em vez de a . a = N, temos
N
a-=N.
a
Vemos, nesse produto, que se o fator a aumenta, o fator N] diminui; e se a
diminui, N] a aumenta. O valor desejado de a aquele que faz com que ele seja
igual a N], quando ser a raiz quadrada exata de N. Em geral, sendo a uma
raiz aproximada por falta, N'[o ser raiz aproximada por excesso e vice- versa,
de sorte que a raiz exata est compreendida entre um e outro desses fatores.
Da a idia de tomar a mdia aritmtica deles, isto ,
ao = a;
ainda.
an
Prosseguindo
de
,fN
dessa maneira,
2an-l
construmos
1, 2, ... .
(an) uma seqncia montona que possui uma subseqncia convergindo para um
L. Prove que (an) tambm converge para L.
unta seqncia.
que tenha
uma subseqiincia
convergindo
para -3
vergindo para 8.
e outra
con-
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, construa 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
dos nmeros inteiros positivos.
UIn
~. Construa uma seqncia que tenha subseqncias convergindo, cada uma para cada um
dos nmeros reais.
9. Prove que se an > O e an+J/a"
GQ.'
~ c, onde c
< 1, ento
an -> O.
->
O.
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
+ 7 tende
a infinito.
+.... +
aln
ao tende a oo conforme
15. Seja p(n) como no exerccio anterior, com ak > O. Mostre que y1p(n)
16. Mostre que
17. Mostre que
Jn2 + 1 - ...;r;:+h
V';:J -> 00. _
->
->
1.
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
"f,
a;;:;;- J.a
':.::~.",.',
+ an-I,
onde
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
1r.-2 + In-I.
&1
Captulo
2: Seqiincias infinitas
Sugestes e solues
4. A seqncia a2" = -3
5. Dado n E N, seja
1'n
e a2n+1
8 resolve.
Construa
outro exemplo.
Lr"
7. Construa a seqncia assim: 1; depois 1, 2; depois 1, 2, 3; depois 1, 2, 3, 4; e assim 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 infinitos 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.
Verifique que esses lVn so realmente 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.
H
soluo,
por exemPlo.,~
+ ... ) ==
aknk(1
Outra
aknkb",
vnT
17.0bserve
que
> 1( } n! > 1(". Agora
depressa do que [(", qualquer que seja K,
do
,onde b a expresso
lembre-se
entre parnteses,
,que
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 a < ../Fi). Alm disso, se a > ../Fi,
ai -
rt;
N
(a -
../Fi) 2
. 2a
../Fi) 2 12a.
../Fi
a -
---(a
2a
rz:
1
- v N) < -(a2
0< a"+, -
.JN
N
<
2'(a" -
.JN
N) < ...
<
.JN
rt: ,
N) < a -
(mesmo que
rt:
N,
ai - ../Fi
2"
Captulo
2: Seqiincias
infinitas
6.5
...-.
Com raciocinio
anlogo
prova-se,
por
O, prove que
aI
a2
a3
tp = -' = - = ao
aI
a2
an
= --,
0.0
an-l
= ak-l
- ak
= (_I)k+l
mas (_I)k-l
ak+l
o que completa
Intervalos
Veremos,
Q 2.22.
(-I)k-l(h_J
e (_I)k
- 'Ph-2)
_(_I)k+1,
- <Ph-l);
de forma que
(_I)k+l(h_3
- 'Ph-2
(_I)k+l [h-J
+ h-2
(-l)k+L(h_l
a dl:1I10Ilsl,rac;o.
- (-I)k(h_2
+ h-2
- <p(h-2
<p/k-tl
+ h-di
<p/d,
encaixados
a seguir, uma importante
conseqncia
da propriedade
do supremo.
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
Isso significa que [A, BJ C I para todo n. Ento, se A < B, -a interseo
dos intervalos In o prprio intervalo [A, BJ; e se A = B, como o caso se
bn - an tende a zero, essa interseo o nmero c = . A
B. Isso <---completa a
demonstrao.
Pontos
aderentes
e teorema
de Bolzano-
Weierstrass
J vimos que se uma seqncia converge para um certo limite, qualquer subseqncia sua converge para esse mesmo limite. Quando a seqncia no converge, 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.23.
Definio.
Diz-se qe L um valor de aderncia
o'u ponto de
aderncia
de uma dada seqncia (an) se (an) possui uma subseqiiticia conuerqituio para L.
Quando a seqncia no limitada, seus elementos podem se espalhar por
toda a reta, distanciando-se
uns dos outros, como acontece com an = n, an =
1 - n ou an = (-1)n(2n + 1). Em casos como esses no h, claro, pontos
aderentes.
Se a seqncia for limitada, estando seus elementos confinados a um intervalo [A, B], eles so forados a se acumularem
em um ou mais "lugares" desse
intervalo, o que resulta em um ou mais pontos aderentes da seqncia. Esse o
contedo do "teorerna de Bolzano- Weierstrass",
considerado
a seguir. O leitor
pode observar que sua demonstrao
est baseada na propriedade
do supremo,
via teorema dos intervalos encaixados .
2.24. Teorema
(de Bolzano- Weierstrass).
Toda sequencia l-i mitada
(an) possui uma subseq'ncia convergente. (Veja a verso original desse teorerna
na p. 129.)
Demonstrao.
Vamos utilizar o chamado
mtodo de bisseo, que explicaremos a seguir, no contexto da demonstrao.
Seja (an) uma seqncia
Captulo 2: Scqiincias
infinitas
67
limitada, portanto,
toda contida num intervalo fechado 1, de comprimento
c.
Dividindo esse intervalo ao meio, obtemos dois novos intervalos (fechados) de
mesmo comprimento
c/2, um dos quais necessariamente
conter infinitos elementos da seqncia; seja 11 esse intervalo .. (Se os dois intervalos contiverem
infinitos elementos da seqncia, escolhe-se um deles para ser 11') O mesmo procedimento aplicado a 11 nos conduz a um intervalo fechado 12, de comprimento
c/22, contendo infinitos elementos da seqncia.
Continuando
indefinidamente
com esse. procedimento,
obtemos
uma
seqncia de intervalos fechados e encaixados
1n, de comprimento
c/2n, que
tende a zero, cada um contendo infinitos elementos da seqncia ano Seja L o
elemento que, pelo Teorema 2.22, est contido em todos os intervalos 1n. Agora
s tomar um elemento an1 da seqncia (an) no intervalo 11, an2' no intervalo
12 etc., tomando-os um aps outro de forma que nl < n2 < ... Assim obtemos
uma subseqiincia (anj) convergindo para L. De fato, dado qualquer > O, seja
N tal que c/2N < e , de sorte que 1m C (L - E:, L + ) para m > N. Portanto,
para j > N, nj ser maior do que N (pois nj ~ j), logo, anj estar no intervalo
(L - , L + ), o que- prova que anj -> L.
O leitor deve notar que a demonstrao
pode eventualmente
permitir duas
escolhas de intervalos em um ou mais estgios da diviso dos intervalos.
Isto
significa que pode haver uma, duas ou mais subseqiincias
convergentes, o que
significa tambm que a seqncia original pode ter vrios pontos aderentes.
Critrio
de convergncia
de Cauchy
O Teorema
antemo.
Mas ele refere-se a um tipo particular
de seqncias, as seqncias
montonas.
Em contraste, o teorema seguinte, de carter geral, um critrio
de convergncia que se aplica a qualquer seqncia.
2.25.
=?
Jan -
amJ < .
(2.11)
Provar
que a condio
necessria
68
Captulo
2: Seqncias
infinitas
n > Nem>
=>
<
lan - LI
dado
> O, existe
E/2 e Iam - LI
<
N tal que
E/2.
\,
'>...
.
lal\'
...
, laN\'
laN+I
EI,
laN+I
+ EI
teremos,
finalmente:
e isso estabelece
o resultado
desejado.
2.26. Definio.
Chama-se seqncia
faz uma das condies equivalentes
(2.i1)
de Cauchy
toda seqncia
que satis-
e (2.12).
69
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 instrumento de clculo numrico (conhecido como "mtodo das aproximaes sucessivas"), 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 aderentes.
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.
8. Seja (an) uma seqncia tal que toda sua subseqncia possui urna subseqncia
vergindo para um mesmo nmero L. Prove que (an) converge para L.
9. Prove que uma seqncia (an) que no limitada possui uma subseqncia
l/anj
(anj)
con-
tal que
a.
-;
n
70
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 conseqncia 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);
>
limitada converge.
< -. Quanto
- bm)
+ bm(an
- a",)
Ib
bm
I=
lanbm
- ambnl
bnbm
<
lan(bm
- bn)
a,,+pl
+ bn(an
bnbm.'
- am)1
Captulo
2: Seqncias
infinitas
71
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
Notas histricas
e complementares
72
a produzir um corpo ordenado completo. E nesse trabalho tcriamos de provar que diferentes
seqncias definem o mesmo nmero irracional; por exemplo, a seqncia (2.13) e a seqncia
das aproximaes decimais por excesso de -/2 devem definir o mesmo nmero irracional -/2.
Do mesmo modo, as seqncias
Copituo 2: Seqncias
infinitas
73
equivalncia de seqncias de Cauchy, chegaremos a um novo corpo R' isomorfo a R, portanto, R' nada acrescenta a R. Na verdade, a menos de isomorfismo, s existe um corpo
ordenado completo. Portanto R o mesmo corpo dos nmeros reais construdo pelo processo
de Oedekind. Alis, como vimos no Exerc, 17 atrs, a propriedade de que toda seqncia de
Cauchy converge equivalente propriedade do supremo.
Nessa construo dos nmeros reais por seqncias de Cauchy, cada nmero racional r
identificado com a classe que contm a seqncia constante rn = r. As classes que escapam a
essa identificao correspondem aos elementos novos introduzidos, os nmeros irracionais.
esse o caso da classe que contm a seqncia (2.13), e que define A.
O leitor que esteja se expondo a essas idias pela primeira vez talvez sinta um certo desconforto quando dizemos que um nmero real. comoh, toda urna classe de seqncias de
Cauchy (de nmeros racionais) equivalentes entre si. Na verdade, basta uma s seqncia dessa
classe para identificar o nmero em questo. Assim, a classe que define .J2 est perfeitamente
caracterizada
pela seqncia (2.13). E uma breve reflexo h de convencer o leitor de que,
pelo IllCllOS tacitamente,
ele sabe disso h. milito
tempo, desde que se fruuilinrizou com a idia
de aproximucs de um nmero como ,fi. Esse smbolo nada mais do que um modo conveuiente de designar o conjunto dessas aproximaes; claro que muito mais fcil escrev-lo
do que escrever uma seqncia que o caracterize. Mas por que preferir a seqncia (2.13) e
no a das aproximaes decimais por excesso? Ou alguma subseqncia dessas? Ou qualquer
outra seqncia a elas equivalente? Como se v, Ulll pouquinho de reflexo o bastante para
dissipar qualquer desconforto inicial e revelar que .J2 mesmo toda uma classe de seqncias
equivalentes.
Se essas observaes ajudam a dissipar o desconforto inicial do leitor, pode ser que ele ainda
no se conforme com essa construo de Cantor dos nmeros reais. Nada mais natural do que
perguntar se no 'bastarjua
construo de Oedekind, por mais engenhosa que seja essa de Cantor.
fato, muitas teorias matemt.icas - svezes bem engenhosas - so abandonadas at
esquecidas, por serem suplantadas por outras. ~las no esse o caso da construo de Cailtor.
Pelo contrrio, esse mtodo das "seqncias de Cauchy" de grande eficcia em domnios
onde a soluo de algum problema obtida por algum tipo de aproximao.
Essa soluo
ento caracterizada por uma seqncia de Cauchy, urna seqncia dos valores aproximados
da soluo. O Exemplo 2.21 (p. 61) descreve uma situao dessas, relativamente
elementar,
onde estarnos ainda lidando com "nmeros". Xlas freqente acontecer que a soluo de um
certo problema seja um objeto mais complicado que um nmero; por exemplo, um elemento
de um conjunto de funes, no qual conjunto exista um modo de medir o distanciamento
entre os vrios elementos desse conjunto. Isso d origem, de maneira bastante natural, ao que
se -chulna "espao mtrico". Nesse contexto a noo de seqncia de Cauchy ocorre tambm
nat urnlruente e o instrumento adequado para fazer o que se churna "completar o espao",
um processo anlogo construo dos nmeros reais pelo mtodo de Cantor.
Como j dissemos, os mtodos de Oedekind e Cantor so os dois mais usados na construo
dos nmeros reais. Mas, como vimos nos exerccios atrs, a propriedade dos intervalos encaixados e a propriedade das seqncias montonas (vtoda seqncia no decrescente e limitada converge") so equivalentes propriedade do supremo e propriedade das seqncias de Cauchy
("toda seqncia de Cauchy converge"). Issogarante
que, alm dos mtodos de Oedekind e
Cantor, poderiamos chegar aos nmeros reais postulando. no conjunto dos nmeros racionais,
seja a propriedade dos intervalos encaixado, 0\1 a propriedade das seqncias montonas. Mas,
corno fcil ver, isso rcduudnria nutua coustruo dos nmeros reais pruticamente
idntica
de Oedekind.
De
Bolzano
O critrio
e o teorema
de convergncia
de Bolzano de
74
Captulo
2: Seqncias
infinitas
Fl(X),
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
= 7e 0 + 1~2+ 1~3+ ... )
O
7(1_ ~/10 -1)
7eg
-1)
=~.
Mas quando se ensinam essas dzlmas, no preciso recorrer s sries infinitas, pode-se usar o procedimento finito que utilizamos no Captulo 1, assim:
_
.
x = 0,777 ...
=}
10x = 7,777... = 7 + x
. .
=}
gx = (
7
=}
x = -.
g
5=1-1+1-1+1-1+
...
Esta srie tanto parece ser igual a zero como igual a 1, dependendo
encaramos. Veja:
5 = 1 - 1 + 1 - 1 + 1 - 1+ ...
Mas podemos
tambm
de como a
(1 - 1) + (1 - 1) + (1 - 1) + ... = O.
escrever:
5 = 1 - 1 + 1 - 1 + 1 - 1+ ... = 1 - (1 - 1) - (1 - 1) - (1 - 1) - ... = 1.
E veja o que ainda podemos
fazer:
5 = 1 - 1 + 1 - 1 + 1 - 1 + ...
1 - (1 - 1 + 1 - 1 + ...) = 1 - 5,
Captulo
3: Sries Infinitas
em considerar
as somas parciais
Srt
ai
+ a2 + a + ... + a"
2=:
(3.2)
aj
r=t.
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:
ai
+ a2 + a3 + ... =
S = limS
= lim
2=:aj
j=l
00
Ln
a
n=l
Esse ltimo smbolo indica a soma da srie, ou limite S de Sn. Mas costume indicar a srie (Sn.) com esse smbolo mesmo que ela no seja convergente.
Freqentemente
usamos tambm o smbolo simplificado L an com o mesmo significado. 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 somar 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
f
3.1.
/
Teorema.
se
... ~Y'-
s;
Demonstrao.
Seja ~an uma srie de reduzida
an = Sn - S,,-l --> S - S = O, como queramos demonstrar.
3.2.
Exemplo
(srie geomtrica).
srie geomtrica de razo q:
J.~
.s ~
e soma S.
De importncia
Ento,
fundamental
00
1+ q
L q".
+ q2 + ... =
n=O
Sua reduzida
de uma progresso
+ q2 + ... + qn
geomtrica:
qn+1
l-q
l-q
"'I < 1, q" tende a zero, de. forma que essa expresso
1/(1 - q), que o limite de S" ou soma da srie geomtrica:
Supondo
1+q
+ q 2 + ...
-0
= L..., q n = --,1
n=O
1- q
se
Iql 2:
converge
para
11
q < l.
L (rn+1
- .;n)
n=1
divergente,
s;
de ordem n
+ (v'n+l- J;)
:1
O exemplo mais notvel de srie divergente, cujo termo geral tende a zero, .
o da chamada "srie harmnica",
que vamos discutir agora.
3.3.
Exemplo.
Chama-se
001
111
"2:-=1+-+-+-+
n=l
...
1
1+-+
2345
(1-+- 1) + (1-+-+-+1 1
6
1)
312)+ ...
-1 + -1 >
3
1 1 1
- +- = _.
44
2'
11111111
- +- +- +- > - +- +- +5
6 7 8
8 8 8 8
11
111
+ 10+ ... + 16 > 16 +
11
111
17+ 18 + ... + 32 >
32
16
+ 32
11
4 x - = _.
8 2'
1
11
+ ... + 16 = 8 x 16 =
1
+ ... +
32 =
2";
11
16x
32 =
2";
>
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
de reduzidas
tendendo
79
a infinito.
Substituindo
os denominadores
por 2j, obtemos
.
S2n > I + -1
2
que prova o resultado
+ LI"l
~(2J
.
)=2
2)
- 2)- ) = I
n
+ -.
2'
anunciado.
3.4.
Teorema
(Critrio
de Cauchy
para sries).
Uma condio
necessria e suficiente para que uma srie 2::::: anseja
convergent-; que dado
-qualque'r > 0, exista N taL que, par'a todo' inteiro positivo p,
-'
Este teorerna uma simples adaptao
de somas parciais Sn- Basta notar que
3.5.
qualquer,
do Teorema
2.12 da p. 57 seqncia
Teorema.
Se as sries 2::::: an e 2::::: bn convergem
ento 2::::: ka-, e 2:::::(an
+ bn) convergem e
e k um nmero
Lan
n=l
00
= SN
+ LaN+n,
n=l
80
00
lim SN
= SN
L aN+n
n=l
(ou no negativos).
+ 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
por reindexao, portanto, o mesmo raciocnio
nos leva a S S; s'. Provamos assim o teorerua que enunciamos a seguir.
P;,
3.6. Teorema.
mesma
possui a
para
Captulo
L Pn
L P~
L P I(n)
@)
com utaiiutimentc
L P~
3: Sries Iniinit.es
L P,,,
Exerccios
(DDada a .seqncia
a,t da serre.
SOl de reduzidas
a seqncia
original de termos
La:n,.,
;60.
n=l
Demonstre
~Obtenha
a reduzida
1- ~
"=lnn+1
o
5. Mostre
que
L ()(a+n
l'
) = -.
a+n+l
n;::l
li
L a" euma
+ ... + aTlll
aI
b3
Lb
seqncia 'crescente
b2
=a
nl
+1
~-tA
de nmeros
naturais
+ ... + an2
3
:l
a reduzida
SOl da srie
L a"
converge se
L la,,1 converge.
n=2
~
L
00
~ ~
Mostre que
...-.,.
~Calcule
n=1
a soma
l)"(n+2)
-n(n + 1)
00
1- 3(log2),
+ 5)
+ 2)(n + 3)
(-1)n(2n
(n
~n2
-n-1
n!
n:2
Respostas,
sugestes
L~'W-I
00
n=1
n=O
<
etc.
@calcule
111
e solues
tende a
82
+ ""
~
S = ~-_
lim (S"
an+j) = S"
+ mlim
__
""'au+j.
~
j=1
Daqui e de S = Rn
+ Sn,
j==1
L7'=l an+j
L;':l
an+j
3. Se a > O e r > O, mostre que o termo geral da srie pode ser feito maior do que uma
constante vezes I/n. No caso geral, trabalhe com os termos a partir de um certo ndice, a
partir do qual todos os termos tenham o mesmo sinal.
I
+ 1)
= -; - n
Teste
que
an
= (-1)
n (~
n:
1) .
~3)'
n+
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;7. Teorema
(teste
de comparao).
Sejam Lan e Lbn duas sries.
de termos no negativos, a primeira dominada pela seqiuula, isto , an :::; bn
para todo n. Nessas condies podemos afirmar:
a)
L bn
converge
b)
L an
diverge
Demonstrao.
* L an
* L bn
converge
eL
an :::;L :
diverge.
As reduzidas
so seqncias no decrescentes,
satisfazendo
Sn :::;Tn. No caso a), Tn converge
para um certo limite T, de sorte que Sn ~ T para todo n. Assim, como Sn
uma seqncia no decrescente e limitada, ela converge para um certo S :::;T.
a),
A demonstrao
de b) exige muito pouco: se L bn convergisse,
tambm teria de convergir, contrariando
a hiptese.
ento,
por
L an
Outra demonstrao
an+I
Se L bn converge,
dessa desigualdade
(pelo critrio
de Cauchy).
:::;
bn+l
Observe que
Captulo
verdade do primeiro membro,
da parte b) a mesma anterior.
3.8. Exemplo
provando
que
L an
3: Sries Infinitas
converge.
A demonstrao
lim ( 2
2.
3.
+ , + , + ... +,
e dado
por
2:= ,.n.1
00
n=O
1
n!
1)
n.
83
do que vimos
1
2n-1'
donde segue que, exceo do primeiro termo, a srie dada dominada pela srie
geomtrica de razo 1/2, que convergente; logo, a srie original convergente.
lrracionalidade
do
nmero
Para provarmos que o nmero e irracional, vamos primeiro obter uma estimativa 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) +
<
.
(n
+ I)!
+2
+1
n!n
Sn < -
donde segue-se
n!Sn inteiro,
que n!Sn
= Sn
< m(n -
.--<
n
+ R" <
I)!
<
n!Sn
11
inteiros
positivos,
n 2: 2
Sn
+ -,-,
n.n
1
+- <
n
n!Sn
+ 1.
Ora, o nmero
pois igual a
n.,( 2+
1
1
,+,+
2.
3.
... ,1)
n.
_
,
n!
- 2n. + ?'
_.
+ 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
-i'
3.9. Exemplo.
Mostraremos
agora que a srie L l/nx convergente se
x > 1 e divergente se x :s: 1. Este ltimo caso o mais fcil, pois ento a srie
dada majora a srie harmnica, visto que x :s: 1 => nX :s: 71, logo, 1/nx ~ 1/71.
Suponhamos agora que x > 1. Usaremos um raciocnio parecido com o que
usamos no caso da srie harmnica. Temos:
1+
<
j;
n(1
1+
......
2jx
(2j
+ 1)'" + ... +
~(2j+l _ 2j) = 1+
c: 2)'"
j=1
n
1) 1)'"
(2j+l _
_1_.
c: 2(x-l))
j=1
l)j
00
L 2",-1
)=0
<
1)1
L 2"'-1
)=0
x1
-
2"'-1 - 1 .
-
((x)
00
= "'-.
c:
n=l
1
n'"
(3.3)
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,
"""
3.10.
Exemplo.
A srie
1
00
1+;-:;+:"2+"'=2..::1'
2-:3
n=ln
Captulo
3: Sries Infinitas
evidentemente
convergente e representa o valor ((2).
soma dessa srie 7[2/6.1 Vamos provar apenas que 1 <
observamos que
00
1=
001
001
L n(n + 1) < L 2
= 1 + L2
n
n
n=l
tt ee
,,=2
L l/n
oo
< 1+
00 1
L2
n=1 n
que o resultado
00
< 1+
L (n - 1)'n
n=2
1<
85
1. Ento,
L m (m + 1)= 2,
m=l
desejado.
G
3.11.
Exemplo.
00
A srie
15n+
v'n2-=1
L .,\-I- 2n 0tTI
-I- 1 -
n=15'/1.'
ti
17
convergente.
Para
16
-> -
5 .
~nVn+1
L-
~1
n2
divergente. Para isso basta notar que, sendo an o termo geral da srie, ento
man -> 1, de sorte que, a partir de um certo N, an > l/2m e este nmero
o termo geral de uma srie divergente.
3.13.
sries
Exe~plos.
Mostrarernosque,
e a > 1, as
~~.
L- nn
n=1
Universitria,
N 3, Junho de 1986).
(3.4)
co rergentes, De fato, pelo que vimos no Exemplo 2.18 (p. 60), nk+2 / an ->
0, de sorte que nk [o" < 1/n2 a partir de um certo N. Isso prova que a primeira
das sries em (3.4) convergente por ser dominada, a partir de N, pela srie
convergente L 1/n2.
No Exemplo 2.19 provamos que an/n! < c/2n, o que mostra que a segunda das sries em (3.4) convergente por ser dominada pela srie convergente
Lc/2n.
observe que, sendo n > 2,
Finalmente
e aqui tambm podemos concluir que a terceira das sries em (3.4) convergente.
xerCCiOS
1. Prove que se
~
3.
L a"
L n;, convergente.
2. iejam
a" uma srie convergente de termos positivos e (bn) uma seqncia limitada de
elementos positivos. Prove que L anbn converge,
Sendo a" ::::O e i; ::::
O, prove que, se as sries
anbn tambm convergente.
4 Prove que se an
)
Oe
;:::
L a~ e L b~ so convergentes,
-,
ia) ~
L..
IogA
n
b) ~
_1
L.. logn
~c)
n=2
converge.
ge, qual delas diverge:
n=2
_1_;
L.. Jn3
~
2 - sen 3n
L.. 2n+n2+1'
n=l
L.. 'l'n2
+ 1;
n=l
h)~
~
d) ~
+1
n=l
'"
n - 23" + 9
e) L.. 4n3J;:l+7-2n+cos3n2
ento a srie
'"
1
g) L.. (Iogn)k:
n=2
n=l
_1_.
(logn)rt'
n=2
= (c" -
::::
2
L n,,/(
1+
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
L:a
I:
no tenda a zero.
Sugestes
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.
I:
Teste da razao
Uma importante
conseqncia
do teste de comparao
razo ou teste de d 'Alembert que consideramos
a seguir.
o chamado
teste da
3.14. Teorema (teste da razo). Seja I:an uma srie de termos positi{;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.
Demonstrao.
Seja c um nmero
compreendido
entre
L e 1.
Supondo
< 1, esse nmero c tambm ser menor que 1. A partir de um certo ndice
teremos an+d an < c, ou seja, an+l < anc. Daqui obtemos as desigualdades
I:
88 . Captulo
3: Sries Infinitas
+ I)!
+ 1)n+1
(n
(n
nn
n!
~-------
(1+1/n)n
~ - < 1,
e
&
..;n
2~L~"
00
L
00
3.
(n!)2
(2n)!'
n=l
n::::l
6.
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
a" e
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
n2
4 an+1 _ ~
. a" - 2(n+1)2 5 an+1
. a"
6. O
+ ..!:..
(2n
+ 1)(2n + 2)
a__
(2n
a[(n + 1)!J22,,2
(n!)22("+1)2
= ~
+ 1)'
=
a(n + 1)2
2(2n+1) .
b,,+l
... (3n _ 1) = b,
2(n
-;;;: =
bn+1
3(n
-;;;: = 2n
3n
+ 1)
+2
+ 1)
+1
->
3'
->
2'
teste
da
integral
Seja f(x)
uma funo
f(x)dx
positiva,
decrescente
e an = f(n).
- 1).
(3.5)
Imediata,
fU)
j variando
pois a desigualdade
<
1~1
f(x)dx
<
em (3.6) obtida
fU - 1),
de 2 a n.
1
00
3.18. Exemplos.
A srie
:L --1-ogn
n=2
l"
)2
_ldX
x og x
divergente,
loglOgXln
-+ 00.
pois
da soma de
90
Captulo
interessante
denominador,
que seja,
3: Sries Infinitas
observar que se aumentarmos,
por pouco que seja, o logaritmo no
obteremos uma srie convergente. Assim, dado e > O por pequeno
('li
dx
J2 x(log x)1+
-:-:-_1---:-1'11-->
(log x)"
'
-- ~
d on d e cone 1uimos
que a serre L
(1 1 )1+< e, convergente.
n ogn
'11=2
Exerccios
2:=
1/11" convergente se x
>
1 e divergente se
a)f:z
<
2;
n=l
I>-n;
00
,) Lne-n;
b) Lne-n';
n"=l
n=l
n=l
[0
oc
L
n=:2
7. Sendo f(x)
,
H
8. Fazendo f(x)
(Iogn)log
+.,. + f(n
- 1) < Jn
f(x)dx
< f(2)
+ ... + f(n).
::;:;;f/n ~
l/e.
9. Verifique que o teste 'da razo no permite saber se a srie 2:= enn!/nn converge ou no.
Prove que esta srie divergente, usando o resultado do exerccio anterior.
Sugestes
3. Integre, em cada caso, uma funo f(x)
apropriada.
Captulo
3: Sries Infinitas
91
= (logx)-IOg
= 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
00
(e/y)"dy,
log 2
Convergncia
absoluta
e condicional
I:
convergente
convergente.
isto , o. soma do. srie dada
Demonstrao.
Sejam Pr a somados
termos ar 2': O e gr a soma dos valores
absolutos dos termos a,. negativos, onde, em ambos os casos, r S; n. Ento, as
reduzidas das sries L lanl e I: an so dadas por
(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).
Outro modo de provar a convergncia
Para isso observamos que
lan+!
+ ... + an+pl S;
da srie utiliza
lan+!1
o critrio
+ ... + lan~pl
de Cauchy.
Captulo
3: Sries Infinitas
Ora, dado qualquer e > O, existe um ndice N tal que 71 > N acarreta
ltima soma ser menor do que , logo, o mesmo acontece com a primeira.
3.20. Exemplo.
Vamos provar
~
~
2
71
JanJ =
alternadas
que a srie
~
an = ~
absolutamente
convergente.
denominador
positivo e
Para
Jn + 9
de um certo
e convergncia
sen3n2
712 _
Vn+9
isso observamos
n2Jsen 3n2J
2 -
esta
N,
que a partir
de
71
2 o
<
71
712 -
n2JanJ
Vn+9
--+
1,
L JllnJ
condicional
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.
eor erna (teste de Leibniz):
Seja (an) umaseqricia
que tende
a ~
cresceniemenie,
isto , ai 2: a2 2: ... , an --+ O. Ento, a srie alternada L( -1)n+ 1an converge. Alm disso, o erro que se cometeiiomando-se
uma reduzida ual uer da srie como valor aproximado de s'ua soma , em valor
absoluto, menor ou igual ao primeiro termo desprezado.
Demonstrao.
Consideremos
separadamente
as reduzidas de ordem par e
de ordem mpar da srie dada, as quais podem ser escritas assim:
Captulo
3: Sries Infinitas
93
nos do:
S} S2n+l
o ~~,/
Isso prova que ISn - SI
. 3.22.
Exemplo.
-' S2n~
= a2n+2'
A srie harmnica
1
alternada,
00
(_1)n+1
l--+---+",=L-'----'n=l
2::
As sries condicionalmente
convergentes
so, por natureza,
vagarosas no
convergir. A mudana da ordem de seus termos muda a soma da srie e pode
mudar tanto que possvel reordenar convenientemente
os termos da srie para
que sua soma seja qualquer nmero dado ele antemo.
Esse surpreendente
resultado, que discutiremos
a seguir, descrito e demonstrado
por Riemann em
um de seus trabalhos.
2::
3.23. Teorema.
Se umd dada srie
an condicionalmente
convergente,
seus termos podem ser reordenados de maneira que a srie convirja para qualquer
nmero S que se prescreva.
Demonstrao,
Com a mesma notao do Teorema 3.19, como Tn -+ 00,
vemos, por (3.6), que o mesmo ocorre com Pn ou qn . Mas Sn converge, logo,
por (3,7), ambos Pn e qn tendem a infinito. Agora fcil ver como reordenar os
termos da srie para que sua soma seja S: da seqncia c j , a2, ... vamos tirando
elementos positivos, na ordem em que aparecem, e somando-os at obtermos
um nmero maior do que S; em seguida vamos adicionando
a esse resultado
elementos negativos at obtermos uma soma menor do que S; e voltamos a
adicionar elementos positivos, depois negativos, e assim por diante.
Como a
srie original converge, an -+ O, de sorte que, dado qualquer e > O, existe N tal
que n > N => lanl < e, Ora, o recirdenamento
descrito produz uma srie
a~
Si
Si
cujas reduzidas
tm a seguinte propriedade:
existe J tal que, sendo j > J,
incorpora todos os elementos da srie original com ndices que vo de 1 at N + 1,
de forma que o ltimo elemento da srie original que aparece em sj tem ndice
nj > N; logo, tem valor absoluto menor do que e, E foi esse elemento que fez
94
a soma Sj ultrapassar
sorte que ISj - SI <
e isso completa
> J =>
a demonstrao
de
lanj
Isj - SI < e,
do teorema.
e do Teorema
o corolrio
que
usa-
Exerccios
Verifique, em cada um dos exerccios seguintes, se a srie dada convergente; e, em sendo, se
5)~
absoluta ou condicionalmente.
~
i') ~'
cos 3n;
n=l
2+=
-,
,fo(2 + ,fo) ,
7.
~ f :::-sellk;
f (~~f';
. n~l
n-+l
n::;l
s ~
~~
(-:,l}"n;
~n2+1
3.
::.
,
I: (-w.
log n
G)
i"!,-:~"
1
-n ;
n~l
n=2
00
9.
[2n _ (-3)"J
(2n)! - n! ;
n:::::;l
oo
11.
(n!)2
I: (2n)!
12.
cos n;
n=l
n).
n=l
Notashistricas
A origem
(2n)!(cos
I:""
(n!)3
e complementares
Captulo3: SriesInfinitas!?;
i\[as as senes infinitas so conhecidas desde a antiguidade.
A primeira a ocorD
Histria da Matemtica uma srie geomtrica de razo 1/4, que intervm no clculo da
rea da parbola, fcito por Arquimcdes. Seguindo a tradio grcgn de evitar o infinito, pelas
dificuldades lgicas que esse conceito pode trazer ern seu bojo, Arquirnedes no sorna todos os
termos da referida srie; ele observa que a soma de urna certa quantidade reduzida de ordem
n produz uma quantidade independente de n, que a soma da srie.2
Depois dessa ocorrncia de uma srie geomtrica num trabalho de Arquimedes. as sries
infinitas s voltariam a aparecer na Matemtica cerca de 1.500' anos mais tarde, no sculo
XIV. Nessa poca havia um grupo de matemticos na Universidade de Oxford que estudava a
cinemtica, ou fenmeno do movimento. Foi esse estudo que levou reconsiderao das sries
infinitas. E foi ento que se descobriu que o termo geral de uma srie pode tender a zero sem
que a srie seja convergente. Isto OCorreu em conexo com a srie harrnnica e a descoberta
foi feita por Nicole Oresme, de quem falaremos logo adiante.
A divergncia
da srie harmnica
A divergncia
da srie hnrmnicn (! IIIIl fato not.ivcl, que jruuais seria descoberto
cx pcriurcutalmente.
De fato, se fssemos capazes de somar cada termo da srie em urn segundo de
tempo, como um ano tem aproximadamente
365,25 x 24 x 60 x 60 = 31.557.600 segundos,
nesse perodo de tempo' seramos capazes de somar a srie at n = 31.557.600, obtendo para
a soma um valor pouco superior ti 17j ~In 10 anos a soma chegaria a pouco mais de 20; em
100 anos, a pouco mais de 22. Como se v, esses nmeros so muito pequenos para indicar
divergncia da srie; no somente isso, ma.' depois de 100 anos j esturfamos somando algo
muito pequeno, da ordem de 3 x 10-9. claro tambm que impossvel efetuar essas somas
para valores to grandes de n.
Vamos fazer mais .urn exerccio de .imaginao. Hoje em dia temos computadores muito
rpidos, e a tecnologia est produzindo mquinas cada vez mais rpidas. Mas isso tem um
limite, pois, como sabemos, nenhum sinal tsico pode ser transmitido com velocidade superior
da luz. Portanto, nenhum computador poder efetuar urna soma em ternpo inferior a 10-23
segundos, que o tempo gasto pela luz para' percorrer distncia igual ao dimetro de um eltron.
Pois bem, com tal computador, ern um ano, mil anos e um bilho de anos, respectivamente,
poderamos somar tenTIOS em nmeros iguais a
315.576
102."
315.576 x 1028
que obteramos
70,804,
77,718
e 315.576 x 103.'.
em cada
e 91, 52,:3.
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
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
2Veja nosso artigo na Revista Matemtica
Universitria,
96
e os matemticos
00
1.
,,1
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:
n-1 = 1 + -12:-n = 1 + -,
S
= 1 + -212: -2
2
2n
2
00
00
n-1
n=2
n=l
em nosso artigo
na Revista
97
I
I
(o)
rhJ
Fig. 3.1
O pouco mais que Cauchy escreve em seguida sobre esse critrio nada acrescenta de substncia, 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
= l ]" /n
convergente. No primeiro caso ele observa que
2:(
S2n - Sn
1
n+l
= n + 1 +' n + 2 + ... + 2n
>
2'
(1--n+2'
1)
n+3
Captulo
3: Sries Infinitas
e se m - n for par,
ISn _ Sml = _1 __
n+1
(_1
n+2
1_)
n+3
_ ... _ (_1
m-2
1_ )
m-1
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
-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 aproximao, em equaes diferenciais e clculo de variaes.
Embora, como dissemos, o trabalho de Cauchy tenha tido influncia decisiva no desenvolvimento e consolidao do estudo da convergncia das sries no sculo XIX, esse desenvolvimento 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 Mathematicos' , onde se pode identificar uma verdadeira antecipao de muitas das idias de Cauchy
e seus contemporneos, inclusive o "critrio de convergncia de Cauchy" .
2:(
Universitria,
N 14, Dezembro de
Captulo 4
FUNOES,
LIMITE
CONTINUIDADE
conceito de funo
Fig.4.1
100
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 (independentes).
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
f(x)
(_I)n+l
n=l
sennx,
n
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
Costuma-se
e notao
denotar
com f(x)
o elemento
101
z . Escreve-se:
j : xEDt-->y=/(x),
{y
= /(x):
x E D},
/(A)
= {/(x):
A}.
Para caracterizar
uma funo no basta prescrever a lei .de correspondncia
necessrio tambm especificar seu domnio D. Frequentemente
as funes
so dadas por frmulas algbricas 011 analticas, como
I,
=f. f(x').
Captulo
103
{x
D: f(x)
B}.
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.
= xse"n(l/x)
e g(x) = x2sen(1/x),
.;x).
:s; x}.
5. Prove que toda funo crescente (decrescente) invcrttvel e sua inversa crescente (decrescente).
6. Defina convenientemente o domnio de cada uma das funo seguintes, de forma que elas
sejam invertfveis e calcule suas inversas:
a) f(x)
= x2
2x - 3;
b) f(x)
= _x2
d) f(,:) = -
+ X + 2;
V'I -
:1:2
Iyl
< 1. Prove
8. Prove que toda funo com domnio simtrico em relao origem decompe-se de maneira
nica na soma de uma funo par com uma funo mpar.
9. Se f uma funo com domnio D e A e B so subconjuntos de D, prove que f(A U B) =
f(A)uf(B)
e j(AnB)
C f(A)nf(B).
D um contra-exemplo para mostrar que f(AnB)
pode ser diferente de f(A) n f(B). prove que a ltima incluso a igualdade se f for
injetiva.
10. Prove, de um modo geral, que quaisquer que sejam a funo f com domnio D e (Ai)~l
uma seqncia enurncrvel de subconjuntos de D, valem as seguintes relaes:
de Y, ento f-l(y-
B) = D - r'(B).
12. Sejam f: D ....Y uma funo qualquer e A e B subconjuntos de Y. Prove que
10-!
nr:
max{J(x),
g(x)}
(min{J, g})(x)
min{J(x),
= If(x)l.
g(x)}.
xED
= {J(x):
x E D}; e analogamente
sup(J+g):<;supf+supg
inf(J+g);:::inff+infg.
is.
Sugestes e solues
1. Essa funo estudada detalhadamente
3. 1\OS pontos x da forma (pjq)2,
8 f(~)
_ f(x)
-
+ [( -x)
2
f(x)
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)
18. claro que sup A :<; w. Por outro lado, dado qualquer
f(x) > M - j2 e f(y) < m + j2, donde f(i) - j(y)
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, vizinhana 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}
V;
'{ 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
Q denso em R; tambm
denso em R o conjunto
(4.2)
'
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
(4.3)
x E D, O < Ix - ai < 8 * If(x) - LI < .
Para indicar
isso escreve-se
lim f(x)
x-a
= L,
limx_a
f(x)
L,
f(x)
->
L com x
->
a,
ou limf(x)
= L, omitindo a indicao "x -> a" quando for bvia.
A condio (4.3) pode ainda ser escrita das seguintes trs maneiras
lentes:
.
x E V';(a)
V';(a)nD
X
nD
* If(x)
*L
V';(a)n *f(x)
<
-LI
f(x)
E
<
< L+,
V.,(L):
equiva-
Captulo
4: Funes,
limite
e continuidade
107
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.
A excluso do ponto x = a na definio de limite natural, pois o limite L
nada tem a ver com o valor f(a), como vemos pelos muitos exemplos concretos.
como em (4.1) e (4.2). O conceito de limite introduzido
para caracterizar
o
comportamento
da funo f (x) nas proximidades
do valor a, porm mantendo-se
sempre diferente de a. Assim, podemos mudar o valor da funo no ponto como
quisermos, sem que isso mude o valor do limite, e assim mesmo que deve ser.
Agora, se a funo j est definida em a, e seu valor a coincide com seu limite.
ento ocorrer a continuidade no ponto. por isso mesmo que, quando a funo
ainda no est definida, mas tem limite num ponto a, costuma-se defini-Ia nesse
ponto como send'~'o valor do limite. o que fazemos em exemplos como (4.1)
e (4.2).
Sempre que lIOS referirmos ao limite de uma funo com J; -t a deve-se
entender que a ponto de acumulao do domnio da funo, mesmo que isso no
seja dito explicitamente.
E entendemos tambm que fl. seja ponto de acumulao
do domnio D dafuno
j , ao investigarmos
se f contnua nesse ponto.
4.3. Definio.
Diz-se que a funo f contnua no ponto x = a se existir
o limite de f(x) com x tendendo a a e esse limite for igual a f(a); e diz-se que
f contnua em seu domitiio, ou contnua, simplesmente,
se ela for continua
em todos os pontos desse domnio.
Propriedades
do limite
<
<
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 demonstrao do Teorema 2.6.
-t
a.
108
+ 1 no
teorerna
imediata,
anterior,
l'imitada em V(a)
considerando,
n D.
por exemplo,
L-I
e B =
os casos.
Para a demonstrao,
se L > O faa A = L/2 no teorema;
e se L < O
faa B = L/2. Este resultado conhecido como o teorema da permanncia
do
sinal, justamente porque, numa vizinhana do ponto a, a funo permanece com
o mesmo sinal de L, Porm, mais do que permanncia
do sinal, importante
observar que a funo permanece afastada de zero, ou seja, If(x)1 > ILI/2 em
V(a) n D. Observe a utilizao deste resultado na demonstrao
do item d) do
teorerna seguinte.
4.8. Teorema. Se duas funes f e 9 com o mesmo domnio D tm limites
-+ a, ento (Nos limites
indicados a seguir, claro, x -+ a.)
a) f(x) + g(x) tem limite e lim[J(x) + g(x)] = limf(x)
+ limg(x);
com x
b) sendo
c) f(x)g(x)
Demonstrao.
Vamos demonstrar
apenas o item d), deixando os demais a
cargo do leitor, j que as demonstraes
de todos eles so inteiramente
anlogas
s do Teorema 2.8 da p. 52,
Sendo L =f. O o limite de g, vamos provar que l/g(x) -+ l/L com x -+ a. O
procedimento
o mesmo da demonstrao
dada para o item d) do Teorema 2.8.
Dado qualquer I': > O, sabemos que existe 8 > O tal que
.
(4.4)
Se necessrio, diminuimos
Corolrio 4.7,
o de maneira
x
Ento,
com x E V(a)
1
1 g(x) -
n D,
11
V(a) n D
=}
a termos
tambm,
de acordo
teremos
Ig(x)-LI
ILg(x)1
I':L2
I':L2
2
< 2ILg(x)1 < -2- . L2 = 1':,
com o
(4.5)
109
a demonstrao.
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.9. Corolrio.
Se f e 9 so funes contnuas em x = a, ento so
tambm contnuas em x = a as funes J + g, Jg e kJ, onde k uma constan
qualquer; e tambm contnua em x = a a funo Il.
desde que g(a) =I-O.
O teorema
afirma
Proposio
E V(L).
A: dado qualquer
Proposio
B: Xn E D - {a},
Xn
aequivalncia
>
O, existe
--a
de duas proposies
8
'* f(xn)
>
-->
A e B,
nD
L.
Demonstrao.
Vamos provar primeiro a parte mais fcil: a condio
necessria, ou seja, A '* B. Supomos, ento, que f(x) -- L com x -- a. Seja
Xn E D - {a},
Xn --> a; devemos
provar que f(xn) -- L. Ora, dado qualquer
e > O, existe 8 > O tal que x E V;(a) n D '* f(x) E V(L). Com esse
> O
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.
n E D - {a},
que seja
-->
{j
> O, sempre
110
Captulo
no converge para L.
Como estamos negando A, existe um E > O com o qual podemos tomar
qualquer 8; tomemos ento toda uma seqncia 8n = l/n.
Em correspondncia a cada um desses 8n, escolhemos e fixamos um x" E V{/n(a) n D com
f(xn) ri V,,(L). Dessa maneira produzimos a negao de B, como desejvamos,
pois exibimos uma seqncia Xn E D, xn =I a, xn -+ a, tal que f(x) no converge
para, L. Isso completa a demonstrao do teorema.
4.12. Teorema
(critrio
de convergncia
de Cauchy).
necessria
e suficiente
para que uma funo f(x') com domnio
com x -> a que, dado qualquer E > O, exista 8 > O tal que
x, y E Fb(a) n D => If(x)
- f(Y)1
<
E.
Uma condio
D tenha limite
(4.6)
Demonstrao.
Para provar que a conelio suficiente, seja Xn E D - {a}
uma seqncia qualquer, converginelo para a. Ento, em virtude ele (4.6), dado
qualquer E > O, existe N tal que
n,
ui
> N
=}
If(xT!) - f(:r",)1
< e.
Pelo critrio ele convergncia de Cauchy para seqncias (Teorema 2.25, p. 67)
segue-se que f(xT!) converge: e pelo Corolrio 4.11, conclumos que f(x) tem
limite, como queramos provar.
de provar
necessria,
que a condio
111
que a
>
Pela continuidade
E> O, existe
O tal que
Y
Analogamente,
a ' tal que
VI(YO) n Df
E.
pela continuidade
=:;.
V(xo} n Dg
=:;.
s'.
E v()
n Dg
=:;.
- j(g(.1'o))1 <
Ij(g(x))
E,
a demonstrao.
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)
pode ser expressa como
f(x) = lim [Iim (cosn!1Tx)2k].
n-oo
= O se x irracional,
k-oo
= -x
Ifl seja
sempre
=sen(l/x)
= 1 se x
f(x)
x2
> Oe
-1 se x
< O no
->
X -
-=-+
= 1.
= ~.
2
O.
->
O.
112
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
16. Prove
que se I(x)
contnua em x = a
I(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 contraexemplo, 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
Portanto, dado E"> O, basta tomar
mais simples ainda: vIx :e $} x
Ix -
ai
vIx+V
"f
< Ix - ai
V'
<: 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
fazer
_5_ -1
x-I
do Teorema 2.8 da p.
52.
_5_-11-lx-61
1x-I
Ix -
> O prescrito,
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:
Ix - 11= I(x
6) + 51;:::5 -
Ix -
61 > 5 -
{j
> 5 - 1 = 4.
113
Ento,
se
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.
Limites
laterais
e [unes
-+
o.
montonas
FX
x--+a+
ou j(a+)
lim j(x)
x-a-
ou j(a-),
respectivamente.
Diz-se que j contnua direita (resp. esquerda) em x = a
se j est definida nesse ponto, onde seu limite direita (resp. " esquerda")
j(a).
Se o domnio de j contiver pontos direita e esquerda de x = a, devemos
restringir esse domnio aos pontos x > a ou x < a para considerarmos
seus
limites" direita" e " esquerda" respectivamente.
Evidentemente,
para que
isso seja possvel preciso que x = a seja ponto. de acumulao dos domnios
restritos.
Diremos que x = a ponto de acumulao direita do domnio D
se ele ponto de acumulao
do domnio restrito a valores x > a; e ponto de
acumulao esquerda se ponto de acumulao do domnio restrito a: valores
x < a. Por exemplo, a funo j(x) = x/lxl, que igual a +1 se x> O e a -1 se
114
x
<
em x = O:
x
lim -11 =/(0+)=1
x-o+ x
.
x
lim -
= 1(0-)
x~o-Ixl
=-l.
E I, a -
< x < a
Limites
infinitos
L -
<
I(x)
:S L,
desejado.
nos outros casos so feitas por raciocnio
4.15. Teorema.
Uma condio
seja cont'nua n"!!Tnponto a de seu
direita e esquerda desse domnio,
nesse ponto e sejam ambos iquais a
A demonstrao
=;-
anlogo
e ficam
no infinito
-------------
Captulo 4: Funes,
As definies
mentrios.
seguintes
so bastante
limite e conu'nllidl1de
naturais
e dispensam
maiores
115
co-
4.16. Definies.
Scja f uma funo com domnio D c seja a um ponto de
acumulao de D. Diz-se que f(x) tende a +00 com x -> a se, dado qualquer
nmero k > O, existe > O tal que x. E V';(a)nD => j(x) > k. De modo anlogo,
diz-se que j(x) tende a -00 com x -> a se, dado qualquer k > O, existe > O
tal que x E V';(a) n D => j(x) < -k. Indicam-se
esses limites, respectivamente,
com os smbolos
limj(x)=+oo
x-a
limj(x)=-oo.
x~a
tambm,
lim f(x)
x-a+
lim
x-+a-
j(x)
j(x)
de maneira
= +00,
=
-00,
lim
j(x)
x-+-oo
lim
j(x)
L.
bvia,
lim f(x)
x-a+
x-+oo
lim
x--oo,
j(x)
+00,
-00,
+00,
lim f(x)
x-a-
lim
x--oo
lim
x-+oo
f(x)
f(x)
= +00,
=
-:xl,
-00.
116
Captulo
4: Funes,
limite e continuidade
no caso considerado.
nos demais casos.
x ....O
Tx
= O;
lim (2 - x)3
x~2
= 04=;
x -
Iim
x ....o
sen x
x
=0+.
x E V;(a)
Para a definio
L - e < f(x) ~ L.
de f(x)
->
n D =>
L ~ f(x)
L- basta trocar
<L
+ e.
as ltimas
desigualdades
por
4.18. Teorema.
Seja f uma funo com domnio D, f(x) =I O. Se f(x) ->
0+ com x. -> a, ento 1/f(x) -> +00 com x -> a; e se f(x) -> 0- com x -> a,
ento l/f(x)
-> -00 com x -> a.
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.
Este teorema anlogo
e fica a cargo do leitor.
f(x)
X
---1-
ao Teorema
4.8; a demonstrao
4.20.
Teorema.
a) Se f(x) -> +00 com x
+ g(x) -> +00 com x -> a. Alm disso, se k
->
tambm
anloga
> O,
a.
A demonstrao
Captulo'
4: Funes,
limite e continuidade
117
de uma
funo
senx
x
z:
- .e
x
sen-,
x
1
t
1
(4.7)
I'
If
I
118
Captulo
4: Funes,
limite
e continuidade
[J(X;)]=
f(xi+)
- f(xi-),
so tais que
n
L[J(xi)]
[- f(xl-)
+ f(Xl+)]
+ [- f(x2-)
+ f(x2+)] + ...
i=1
+ [- f(xn-)
- f(Xl-)
+ f(xri+)]
n-l
- :2)f(Xi+I-)
- f(x;+)]
+ f(xn+)
i=1
::; f(xn+)
- f(xl-)::;
/(b) - f(a).
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,
conjuntos Dm,
Portanto, esse
usado nas pp.
racionais. Isso
Captulo
119
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 .
. 4.22. Exemplo.
Consideremos
a seqncia
1'"
= -1/ n e seja
a funo
f(x)
L 2'
n
Tn<X
onde a somatria,
Assim,
f(x)
O para
f(:l:)
f(x)
x::; -1;
f(x)
= 1 + 1/4 para
= 1 + 1/4
+ 1/9
< x.
= 1 para
- 1/2
para
Fri
- 1/3
< x ::;
-1/4;
--++--
5'4 + 19
5.4
.-+---ll-+-j--I--
r----------+~~+_~__11
II,I
,
Fig.4.2
I" I
o leitor deve notar que funes como essa podem ser construdas com qualquer 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
funo crescente e limitada, definida em toda a reta, e que tenha saltos em todos
esses nmeros Tn. Para isso escrevemos
j(x)
1
2
n
Tn<X
(4.9)
- j(x)
1
2>
n
x$"n<V
Deixamos
para os exerccios
a tarefa de verificar
O.
que
00
= O,
j(+oo)
j(x)
lim
X--+CXJ
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
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.
= anXn + an_1Xn-1
+ ... +
alx
ao, an
O,
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.
121
2
x3 + IX - 4
6x - 5x + 1
r x2 - x + 1
lim --'----;-= +00.
2x2 + 7x _ 8 = 3, x~~,:",
.1:3 + 5
= O,
x+1
o
m
11. Dados os polinmios p(x) = aox + ... + alx + ao e q(x) = bmx
+ ... + 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.
1.
1- x se x irracional contnua em
13. Seja [ uma funo crescente e limitada num intervalo (a, b). Prove que [(a+)
f(b-).
<
f(x)
<
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 < .
=>
01 "0
para todo n.
TN
e dcscontfuua
pela direita,
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
Prove que
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
problema o seguinte:
do exerccio anterior.
an-I
Ip (x li = Ix n( 1 + ~
+ ... + xoai-I + Xao li
O
Ix
l(1':"l
2 Ix I[1 O
Tomando x suficientemente
sorte que Ip(x)1 2 Ixol/2 ..
14. Transfira o problema para <:
an
Oa
xI
+ ... + ~lxn-
+ xn
ao
+ ... + I~II
xn.-
+ Ixn
ao 1)].
= O com a transformao
Il
<:
::; 1/2n,
O ::; i ::;n -
1, de
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 <
r ..
<x
122
Da convergncia da srie
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
~
- D
"
~
< Z::
~ ~
- ~
~
nnn-
n:;::;1
Tn
<x
n=:1
~
<
n2
n==1
> O,
j(x+h)-j(x)=
n2
e f(x)-j(x-h)=
x<rn<x+h
teorema
+ h)
do valor
- j(rN)
n2'
x-h5rn<r
1
n2 e j{!-,v) - j(TN
- h) =
intermedirio
Vamos considerar
agora um importante
resultado
que tem uma visualizaco
geomtrica
muito evidente.
EUl linguagem
corrente, ele alirrua que o grfico
de uma funo ao passar de um lado a outro do eixo dos x necessariamente
tem de cortar esse eixo. Por um bom tempo,
at o final do sculo XVIII,
esse resultado foi aceito sem que ningum pensasse em dernonstr-lo.
Alis, a
tentativa de Bolzano emelemonstr-lo
foi um dos principais marcos do incio do
rigor na Anlise no comeo elo sculo XIX. Vamos apresentar
esseteorema
em
sua verso mais geral, como enunciamos a seguir.
,
'
'
4.24. Teorema
(do valor intermedirio).
Seja f uma funo cont"nua
num intervalo
I = [a, b], com f(a) # f(b).
Ento,
dado qualquer nmero d
compreendido
entre f(a) e J(b), existe c E (a, b) tal que f(c) = d. Em outras
ptilauras, f(x) assume todos os valores couipreendidos
entre f(CL) e f(b), com x
variando
em (a, b).
Demonstrao.
Basta demonstrar
o teorema no caso em que d = O, pois o
caso geral se red uz a este para a funo 9 (x.) = f (x) - d.
Faremos a demonstrao
pelo mtodo de bisseo, como na demonstrao
do
Teorema 2.24 (p. 66). Seja I o comprimento de [a, bJ. Comeamos dividindo esse
intervalo ao meio, obtendo dois novos intervalos fechados, digamos, [a, 1'J e [r, bJ.
Se f(r) = 0, o teorema estar demonstrado.
Se f(1') > O, escolhemos o intervalo
[a, 1']; e se f(r) < O, escolhemos o intervalo [r, bJ. Em qualquer desses dois casos,
tereinos um novo intervalo, que denotaremos
[aI,
de comprimento
1/2, e tal
que f(cq) < O e f(a2) > O. Novamente dividimos este intervalo ao meio, com
o que, ou encontramos
uma raiz de f(x) ~ 0, ou teremos um novo intervalo
[a2, b2], com f(a2) < O e f(b2) > O. Prosseguindo
assim, sucessivamente,
ou
esse processo termina com o encontro ele uma raiz de f (x) = O, ou obtemos uma
famlia (In) de intervalos encaixados, 1n =' [an, bn], o comprimento
de 1n sendo
bd,
123
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 chegouse mesmo a acreditar, erroneamente,
nesse fato, como nos conta Lebesgue (18751941) 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
aJ,
4.25. Exemplo.
Oteorema do valor intermedirio
tem importantes
aplicaes, tanto de natureza terica como prtica. Por exemplo, ele permite provar
que todo polinmio p(x) = xn + an_IXn-IX
+ ... + alx + ao, de grau mpar, tem
pelo menos uma raiz real. Para isso lembramos o Exerc. 8 da p. 120, segundo o
qual p(x) muda de sinal com x passando de uma certa vizinhana de -00 a uma
vizinhana de +00. Mais precisamente, existem vizinhanas V_de -00 e V+ de
+00, tais que p(x) negativo em V_ e positivo em V+. Em conseqncia,
existem
nmeros a E V_, b E V+, a < b, tais que p(a) < O < p(b). Daqui e do teorema
do valor intermedirio
segue-se que existe c, a < c < b, tal que p(c) = o. (
claro que pode haver mais de um nmero
c nessas condies; o que podemos
garantir, em geral, a existncia de pelo menos um.) Em contrapartida,
um
polinmio de grau par, como p(x) = x2 + 1, pode nunca se anular.
O teorema
4.26. Teorema.
Toda funo
crescente ou decrescente.
f,
do teorema
contnua
do valor intermedirio.
e injetiva
num
intervalo
I,
Demonstrao.
Se f no fosse estritamente
crescente ou decrescente, existiriam nmeros Xl, X2 e x3 em I tais que Xl < X2 < X3 e f(XI)
< f(X2) > f(X3),
ou f(XI)
> f(X2) < f(X3)'
Na hiptese de ser f(XI)
< f(X2) > f(X3), se
f(X3) > f(xtJ
(faa um grfico para acompanhar
o raciocnio),
pelo teorema
do valor intermedirio,
deveria existir um nmero x' entre X I e X2 tal que
124
Captulo
t1: Funes,
limite e continuidade
= f(X3),
contradizendo
a injetividade de i: e se fosse f(X3) < f(Xl),
pelo
mesmo teorema, deveria existir x' entre X2 e X3 tal que f(Xl)
= f (x'), novamente
contradizendo
a injetividade de f.
raciocnio, no caso f(Xl)
> f(X2) < f(X3),
anlogo. Conclumos, ento, que f estritamente
crescente ou decrescente,
como queramos provar.
f(x')
> 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,
n - r par.
ento
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
j sempre positiva ou sempre negativa.
9. Sejam j e 9 funes contnuas num intervalo [a, hJ, tais que j(a)
Prove que existe um nmero c entre a e h, tal que j(c) = g(c).
entender bem o que se passa.
< g(a)
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.
125
= 1 - e.
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)
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,
= 1.
= f(x)
- f(x
+ 1/2)
no intervalo
[I, 1/2].
o desenvolvimento da teoria das funes que comeamos a apresentar neste captulo obra
do sculo XIX. E s foi possvel depois de um longo perodo, de cerca de sculo e meio, de
desenvolvimento dos mtodos e tcnicas do Clculo, desde o incio dessa disciplina no sculo
XVII.
As idias fundamentais do Clculo, sobretudo o conceito de derivada, careciam, desde o
incio, de uma fundamentao lgica adequada.
Os matemticos sabiam disso e at foram
muito criticados em seu trabalho. A mais contundente e bem fundamentada dessas crticas
partiu do conhecido bispo e filsofo ingls George Berkeley (1685-1753), numa publicao de
1734. Houve tambm respostas a essas crticas, bem como, durante todo o sculo .XVIII,
tentativas de encontrar uma' fundamentao adequada para o Clculo, embora sem maiores
conseqncias. A mais importante dessas tentativas foi a que empreendeu Lagrange, e que est
associada s sries de funes.
Nessa poca ainda no havia muita motivao para o trato de questes de fundamentos.
Os matemticos desse sculo tinham muito mais do que se ocupar em termos de explorar as
idias do Clculo, desenvolver novas tcnicas e us-Ias na formulao e soluo de problemas
126
f(x)
ao
= "2
+ ""
L....,(a"
cosnx
(4.11)
n=d
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)n+l
L -=-;--sennx,
00
(4.12)
11.::::::1
= 2"
se
'ir
f(-1r.)
f(1r)
= O;
(4.13)
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 representao (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
No prefcio de seu
Quanto aos mtodos, procurei dar-lhes todo o riqor que se exige em Geometria, de maneira
recorrer a razes tiradas da r;eneralidade da lgebra. Tais razes, embora muito
freqentemente
admitidas, sobretudo na passagem das sries convergentes s sries divergentes 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 desaparecer toda incerteza.
a jamais
o teorema
do valor intermedirio
.
J tivemos oportunidade de mencionar que o objetivo principal de Bolzano. com seu trabalho
de 181.7, foi demonstrar o teorema do valor intermedirio por meios puramente analticos,
Cauchy, aps enunciar o teorema do valor intermedirio no texto de seu Cours d'Analyse
oferece, como "demonstrao''
o que no passa de uma simples 'justificativa",
baseada na
"visualizao geomtrica". De fato, supondo que b seja um valor compreendido entre f(xo) e
f(X),
para mostrar que existe x entre zo e X tal que f(x) = b, ele simplesmente argumenta que
I
129
"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.
.
da Anlise
Karl Weierstrass (1815-1897) estudou direito por quatro 'anos na Universidade de Bonn, passando em seguida para a Matemtica. Abandonou os estudos antes de se doutorar, tornando-se
professor do ensino secundrio (Gymnasium) em Braunsberg, de 1841 a 1854. Durante todo
esse tempo, isolado ,~o mundo cientfico, trabalhou intensamente e produziu importantes trabalhos de pesquisa que o tornaram conhecido de alguns dos mais eminentes matemticos da
poca. Um desses trabalhos, publicado em 1854, tanto impressionou Richelot, professor em
Knigsberg, que este conseguiu persuadir sua Universidade a conferir a Weierstrass um ttulo
honorrio de doutor. O prprio Richelot foi pessoalmente pequena cidade de Braunsberg para
a apresentao do ttulo a Weerstrass, saudando-o como "o mestre de todos ns". \Veierstrass
deixou Braunsberg e passou por vrios postos do ensino superior, terminando professor titular
da Universidade de Berlim, de onde sua fama se espalhou por toda a Europa. Tornou- se um
professor muito procurado, que mais transmitia suas idias atravs dos cursos que ministrava
do que por trabalhos publicados; e dessa maneira exerceu grande influncia sobre dezenas de
matemticos que freqentavam suas prelees.
A partir de 1856 Weierstrass ministrou diversos cursos sobre teoria das funes, s vezes o
mesmo curso repetidas vezes, e vrios de seus alunos, que mais tarde se tomariam matemticos
famosos, fizeram notas desses cursos, como A. Hurwitz, ;"1. Pasch e H. A. Schwarz. E muitas
das idias e resultados obtidos por Weierstrass esto contidos nessas notas ou simplesmente
foram divulgados por esses seus alunos, por cartas ou em seus prprios trabalhos cientficos.
Nas Notas dos cursos de Weierstrass aparecem as primeiras noes topolgicas, em particular a
definio de "vizinhana" de um ponto, a definio de continuidade em termos de desigualdade
envolvendo e 8, e vrios resultados sobre funes contnuas cm intervalos fechados. Em
particular, o chamado "Teorerna de Bolzano-Weierstrass"
est entre esses resultados, o qual
Weierstrass formulou originalmente para conjuntos infinitos e limitados, e no para seqncias,
como vimos no Captulo 2 (p. 66). O teorema diz que todo conjunto numrico infinito e
limitado possui ao menos um ponto de acumulao. O leitor no ter dificuldades em provar
o teorema nesta verso com os mesmos argumentos usados na demonstrao da outra verso
dada na p. 67. Weierstrass, atravs de seus cursos, exerceu decisiva influncia na modernizao
da Anlise.
CarI Friedrich
Gauss (1777-1855)
Gauss nasceu em Brunswick, de pais pobres; e teve suas qualidades de gnio reconhecidas bem
cedo. Graas proteo do duque de Brunswick pde estudar e cursar a Universidade de
Gttingen, onde, a partir de 1807 e pelo resto de sua vida, seria Professor de Astronomia e
Diretor do Observatrio.
Ao lado de Arquimedes e Newton, Gauss considerado um dos trs maiores matemticos
de todos os tempos. Sua produo cientfica se espalha por todos os domnios da Matemtica
130
Captulo
4: Funes,
limite e continuidade
I::
F ( a, b,
C;
x)
= ~L-.. (a)n(b)n
(-)-x
n. c
--I
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
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:
x
dt
-dt
t2
1
1--;
x
dt
ia 0 = 2Vx.
lao
--dto
t3 + 1
'
x -,,---,-e_t-,-_d i:
t2 3et
5 '
-1
X1
iP(x)
-dt
t
para todo
..:
t 5 +t+1
dto
A funo chamada
x >
loqariimo
o.
fundamental
em estudos de Probabilidade
e
normal, definida por uma integral, assim:
=
.rn-
v 27r
lX
e-t 2 dt
-00
132
Captulo
5: Seqncias
e sries defunes
X2
x4
as seguintes
(_l)nx2n
00
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.
Convergncia
simples
e convergncia
uniforme
n> N
=}
E.
5.1. Exemplo.
Um exemplo simples e bastante esclarecedor do conceito
de convergncia uniforme o da seqncia fn(x) = x [ii, o domnio de x sendo
toda a reta. claro que f,,(x) -+ O, pois, dado qualquer E> O,
Ix/nl
<
E {=}
n > N
Ixl
= -.
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
n>
= -c =>
Ifn(x)1
= -Ixln
<
que uma seqncia de funes fn converge uninum domnio D se, dado qualquer > O, existe
N => Ifn(x)
- f(x)1 <
134
Captulo
Fig.5.3
.~
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) -> pontualmente. 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. Entretanto, 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.
5.4.
Teorema
(Critrio
de convergncia
de Cauchy).
Uma condio necessria e suficiente para que uma seqncia de funes fn convirja
uniformemente
para uma funo f num domnio D que, dado qualquer e > 0,
exista' N tal que, qualquer que seja x E D, se tenha:
n > Nem>
N => Ifn(x)
- fm(x)1
<
E.
(5.1)
Demonstrao.
Para provar que a condio suficiente,
observamos que
(5.1) e o critrio de Cauchy para seqncias numricas garantem que, para cada
x fixado, a seqncia numrica fn(x) converge para um certo nmero f(x), de
com
m -+ 00;
135
portanto, passando
~ e,
no tende a zero.
0, mas no uniformemente.
que as soquncias
J,,(x)=~
tendem a zero uniformemente
logn
5. Mostre que a seqncia J,,(x) = z " tende a zero pontualmente no intervalo [O, 1), mas
no uniformemente.
Prove que a convergncia uniforme em qualquer intervalo [O, c],
com c < 1. Faa o mesmo no caso dos intervalos (-1, 1) e [-c, c). Interprete sua anlise
geometricamente nos grficos das funes J".
6. Faa os grficos das funes da seqncia
- {
J "x( ) -
(l - n)x
1/n2x
+1
se
se
O::::
z ::::l/n
x 2: l/n
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
o comportamento dessa seqncia em x < O.
9. Estude a seqncia J,,(x)
nx/(l
em x 2: O. Analise
+ nx)
136
Captulo
5: Seqncias
e sries de [unes
= n2xe-nx.
13. Faa o mesmo que no exerccio anterior para a' seqncia I,,(x)
x/(l
+nx2)
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)
2: O e mostre
para todo x
para a funo
I(x)
= {
O::; x <
x =1
x> 1
se
se
se
I/2
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) =
tende a zero uniformemente,
Sugestes
nx
1 +n2x2logn
e solues
1. Se cos nx ~ O, o mesmo seria verdade de cos 2nx. Como cos 2nx = cos2 nxtambm tenderia a zero, o que absurdo, pois sen2nx + cos2 nx = 1.
2. Observe que In(l/n)
sen2nx, sen nx
= 1/2.
5. Observe que
z"
<
n log x
<
Iog e
.
IO<T
n > N = _I
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,
loge:
logx
<
-
log
log c '
< .
< l/n.
11 +
> nc/2,
137
10.
I.
,,(x)
x
= --/x +1
x;
->
li,,(x)
- z]
x
= 1---1
1 + nx
vergncia uniforme nesse domnio. Se J: < 0, como x no pode ser igual a - l/n, pelo
menos a partir de um certo n, podemos nos restringir a x S c < O, onde, novamente, a
convergncia uniforme, como o leitor deve provar.
.
14. i", que funo mpar, assume valor mximo 1/2.,fii em x" = 1/,,;n. Faa o grfico de I"
- para diferentes valores de n.
15.
i" assume seu valor mximo 1/4 em Xn = 1/ V'2, que tende a 1 crescentemente.
os grficos das diferentes funes I n para valores crescentes de n.
Compare
16. Calcule as derivadas primeira e segunda de I,,(x); verifique que a derivada primeira
sempre positiva e a derivada segunda se anula em x" = [(n - l)/(n + 1)j1/", que tende a 1
crescente mente. Compare os grficos das diferentes funes l, para valores crescentes de
n.
= l/2.
I"
Se
S l/ne.
Conseqncias
da convergncia
uniforme
A convergncia uniforme, como se v, mais restritiva que a convergncia simples, por isso mesmo tem vrias conseqncias
importantes,
como veremos a
seguir.
Sejam
lJ(x) - f(x')1
x,
x' E D.
IU(x) - fn(x))
:s
If(x) - fn(x)1
A desigualdade
do tringulo
permite
- f(x'))1
f(x')1
x, x'
e isso completa
E D, Ix - x'l <
a demonstrao.
138
que descontnua;
logo, a convergncia no pode ser uniforme em qualquer
intervalo que inclua o ponto x = 1. Do mesmo modo, a seqncia xn no
converge uniformemente no intervalo [O, 1], pois a funo limite 1 em x = 1 e
zero em x < 1.
Deve-se notar tambm que uma seqncia de funes contnuas pode convergir para uma funo contnua, sem que a convergncia seja uniforme, como
nos Exercs. 3 e 4 atrs, dentre outros.
5.6. Teorema. Nas mesmas
inter'valo [a, b], temos:
hipteses
do teorema
anterior,
sendo D um
lim t
fn(x)dx
t[limfn(x)]dX
(5.2)
f(x)dx.
Demonstrao.
Da convergncia uniforme segue~se que, dado qualquer e > 0,
existe N tal que n >N '* If(x}fn(x)1 < e ; logo, n > N implica
donde
11
fn(x)dx
-l
f(X)dXI
::; lb1fn(x)
- f(x)ldx
< (b
- a).
desejado.
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 convergncia 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
num intervalo [a, ], tal que f~ converge
Suponhamos
ainda que num ponto c E [a,
verge. Ento, fn converge uniformemente
5: Seqiincias
Captulo
com!,
g. Esta
139
se escreve
d
fn(x).
dx
(5.3)
= lim -
O tcorcma fundamental
Dcmonstraiio,
e sries de [unes
(5.4)
e como a convergncia
.: -> 9 uniforme, podemos passar ao limite sob o sinal
de integrao, o que prova que fn(x) tem por limite uma funo f(x), dada por
f(x)
Daqui segue que f' = g.
Falta apenas' provar que fl1
[fn{x) - f{x)[
Dado qualquer
li,
->
II
li,
- f{c)[ <
>
De (5.4) e (5.5),
+ tlI[J~{t)
- g{t)]dtl
todo t E [a,
=- I!n(C)
(5.5)
g(t)dt.
uniformemente.
:::;[f,,{c) - f{c)[
> O, existe
> N
f(c)
N => [fn(x)
e],
(5.6)
E.
o que
de funes
Os conceitos
naturalmente
de convergncia
simples
para sries, interpretadas
sornas parciais. Assim, a convergncia
00
L in{x)
fl(x)
+ h{:I;) + ... ,
n=l
significa a convergncia
de ordem n,
uniforme
da seqncia
Sn(x) = fl{x)
de somas parciais
+ ... + !n{x).
ou reduzidas
140
Captulo
5: Seqncias
e sries de [unes
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
= \ L
fj(x)\
j=11+1
<I::.
s sries, resultando,
como fcil
de novas demonstraes.
5.8. Teorema (Critrio de Cauchy). Uma condio necessria e suficiente para que uma srie I.:J.n(x), onde os termos fn so funes com o mesmo
domnio D, convirja uniformemente
que, dado qualquer I:: > O, exista N tal
que
n> N ~ \fn+l(x) + fn+2(X) + ... + fn+p(x)\ < 1::,
qualquer que seja p inteiro positivo;
5.9. Teorema.
mente num intervalo,
ter-mo a termo.
Uma srie de funes contnuas, que converge uniformetem por soma uma funo contnua; e pode ser' integrada
9.10. Teorema. Se uma dada srie de funes I.: fn(x) tal que a srie de
derivadas I.: f:,(l;) cotiuerqe uniformemente
num iiiterualo, e se a srie original
converge num ponto desse intervalo, ento sua soma f derivvel nesse intervalo
e a derivao de f pode ser feita derivando termo a termo a srie dada.
O teorema seguinte, conhecido como teste M de Weierstrass, um critrio
muito til para verificar se uma dada srie de funes converge uniformemente.
5.11. Teorema (teste M de Weierstrass).
Seja fn uma seqncia de
funes com o mesmo domnio D, satisfazendo a condio \fn(x)\ S; AI" para
todo x E D, onde I.: M" uma srie numrica convergente,
Ento a srie
I.:fn(x)
converge absoluta e uniformemente
em D.
Demonstrao.
claro que a srie de funes converge para uma certa
funo f(x), e converge absolutamente,
devido dominao \fn(x)1 S; AIn e do
fato de ser convergente
a srie I.: Mn' A convergncia desta srie garante que,
dado qualquer c > O, existe N tal que
00
n>
N ~
AIj <
C.
j=n+1
Ento,
11
L fj(x)1
j=1
00
= \
L
j=n+1
00
fJ(x)\
S;
L
j=n+1
Mj <
1::,
Captulo 5: Seqiincias
e sries de [unes
141
=}
Ifn+1(x)
(n
+ l)n!
f (x)
= ~
cosnx
(n
+ l)(n _ I)!'
nxe-nx2
lim [fn(X)dX
no converge uniformemente
[[limfn(X)]elX.
no domnio
n=l
n=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
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
:s
x ~ 1e a
-00
com x
-+
-l,
8. Prove que
1/(1 + n x) define uma funo contnua em R, excetuados x = O e os pontos
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.
2
142
Captulo
L 1/(n
quanto continuidade
f(;
-sen;).
n=l
12. Seja L In(X) uma srie de funes positivas, contnuas e no decrescentes num intervalo
[a, b], tal que
In(b) converge. Prove que a srie dada converge uniformemente e que sua
sorna integrvel, logo,
L:
00
=I: l
00
I:/n(x)dx
n=O
Il=O
In(x)dx.
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,
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
de x
x =
=u.
n=l
lim I(x)
-00,
considere -S2N(X),
:r--l
-+
1:
em .
Em qualquer
143
semi-eixo x ~ c > O,
<
1
2/c
n2
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
x2
---
sen2x
.
x2(1+cosx)
-+
1
com
2
-+
O.
L:
L:
L:!lf2/n2.
. an teri
x
11.. Corno no exerci .CIO
enor '. es t u de rlmx_O x - xsen
3"
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.
em x
isto
Demonstrao.
Se a sene converge em xo, seu termo geral, anxa, tende a
zero; portanto, limitado por uma constante M: Em conseqncia,
144
Cnpitulo 5: Seqncias
e sries de Iiuices
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
r = 1, como se constata
< 1 e divergem
quando
facilmente,
Ixl > 1. A
145
. lan+l
Ilm--x
.
an
da
n
. I--,an+l
a I
Propriedades
se
Ixl <
l'
Teorema.
Toda srie de potncias LanXn,
com raio de convergncia
r > O (r podendo ser infinito),
converge uniformemente
em todo intervalo
[-c, c], onde O < c < r.
5.15.
Demonstrao.
Fixado c < r, seja xo um nmero compreendido
entre c e r.
Como a srie converge absolutamente
em ro, existe M tal que lanxol limitado
por uma constante M; logo, sendo Ixl :::;c,
lanxnl
lanxoll2..ln :::;}"ll-=-In.
Xo
Xo
6x
n=O
=l+x+x
+ ... =--,1
l-x
146
Captulo
Sn(x)
1 + x + x2 +
o.
no uniforme
em todo
1 - xn+l
+ xn = ---1- x
temos:
Sn(x)
1 I
Ixln+!
--o
= --.
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}.
5.16. Teorema
da unicidade
desenes
de potncias.
Se uma funo
f admite desenvolvimento
em srie de potncia,s num ponto XQ, esse desenvolvimento nico.
Demonstrao.
nhana da origem,
Suponhamos
que f tenha
dois desenvolvimentos
numa vizi-
Ixl < r:
Captulo
5: Seqiincias
e sries de {unes
147
eC+1xn+l
onde Rn(x)
+1!
e c um nmero compreendido
Esta estimativa de R,,(x) nos mostra que tal resto tende a zero com n ~
qualquer que seja x, donde concluirmos que
desenvolvimento
2::: -x"
00
:!;n
= 1 + x + -2x + -3x + ... + -,
+ ... =
'
00,
11..
'
n~,O
n'. '
De modo inteiramente
cosseno dados na p. 132.
anlogo obtemos
os desenvolvimentos
de seno e
Exerccios
Calcule o raio de convergncia de cada uma das sries dadas nos Exercs. 1 a 6.
l. '2)2n+
2. f(X-3)".
1).7:".
~.
11
n=O
I)J3)2"(:I:
I- 2)".
n=O
n:::::l
2:::
<'O
4. ~yrnx".
'L)3"/n )x".
3
5.
6.
n=l
n=1
nl(x +1)"
13 ... (2" - 1)"
n=l
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.
domnio de convergncia da srie.
x3
x5
8. senx = x - -3'.. + -5' - ...
=L
00
(_1)"X2"+1
(2 n+ 1.
)1
n==O
x2
9.
COSX
1-
x4
2f + 4f - ... =
~(_1)"x2"
L (2")!
n::;Q
10. senhx
x3
x5
x2
x"
00
x2n+l
11. coshz
oo
x2n
= 1 + 2f + 4f - ... = L (2n)!
n=O
148
Captulo
X2
X3
(_X)n+l
2:--n-'
00
12.log(l+x)=x-T+'3-"=
n=l
+ ... =
f (:)
xn.
n=O
14. arctgx = x-
00
(_1)n
... = ""
L..,. 2n + 1 x2n+l.
x3
X5
+ --
n=O
.. d e L ei b'mz:
conhecid
teci o como serre
?,
_.
- 2. arcsen x -
"Ir
1
4'
= 1 -:31 + 5'
- '71 +
_1_.3 .. ~.5.
_ ~l
I 2!22 . 5 x -l ... - L..,.
+ 2 .3x
3 5
(2.,.. - 1) .2n+l
n! 2" (2n + 1)
z
.
n=O
Sugestes
4.
a"
an+l
+1=
5. ~=~(n+l)3
3
an+1
(n)n +
vrn
n+.yn
I/n
->~.
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
S'(X)
c(x),
c/(:o)
-.5(;),
s(O)
= O,
eCO) = 1.
(5.7)
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:
=:;
00
s(x)
(_1)"x2n+l
(2n
+-
1)!
(5.8)
facil verificar que essas sries convergem qualquer que seja x, portanto, realmente 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":
+ b)
sen(a
= sen a cos b
+ cos
(t
sen b,
(5.9)
cos( a
+ b)
= cos a cos b -
sen a sen b
da trigonometria
Vamos provar que existe um nmero c > O tal que, medida que x cresce
de zero a c, sen x cresce de zero a 1 cos x decresce de 1 a zero. Definiremos o
nmero rr como sendo igual a 2c, donde c = To /2.
Comeamos observando que cos x > O em toda uma vizinhana da origem,
pois funo contnua e positiva em x = O; e como (senx)' = cos z , vemos que
sen x crescente logo direita da origem, portanto, positiva, j que sen 0= O.
E como (cos x)' = -sen x, cos x decrescente logo direita da origem.
Vamos provar que cos x se anula em algum ponto direita da origem.
Supondo ocontrrio,pelo
teoremadovalor
intermedirio,
cos x > Opara x ~. O;
portanto, seu x estritamente crescente e cos x estritamente
decrescente em
x > O. Fix~do qualquer a > 0, teramos:
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,
cos 2b
que contradiz
cos2 b. - sen'2b
<
O,
>
O.
150
Captulo
5: Seqiincias
e sries de [unes
Exerccios
1. Prove
s2(x)
que
se
+ c2(x) =
s(x)
1.
e c(x)
so
duas
funes
de
positivo
dessas
funes.
(1 -
satisfazendo
(5.9),
satisfazendo
ento
(5.7).
(5.9).
tem derivada
e c(x) de classe
classe
X2)-1/2.
cos3rr/2
de perodo
= O, sen2rr
2rr. Prove
= O, cos2rr
tambm
= 1,
que 2rr o
ao intervalo
< t:12,
invertvel;
restringindo
a funo
Ixl
Repita
o exerccio
dever
ao intervalo
8. Mostre que a funo cosx, restrita ao intervalo O < x < te, invertvel; e que sua inversa
tem derivada -(1x2) -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)
= L
e.
ce
2. Suponha
x = O, que S(x)
s(x) e e(x)
c(x).
3. Ponha
e verifique
=g
= O.
que
t'
= 9
5. Se p e p' so perodos,
f (x)
g(x)
o'
=' -
tambm
Notas histricas
I, e
que f2
o so -p
menor
e p
+ g2
+ p':
+ senx
senb;
= O. Conclua,
pela continuidade,
que
entre zero
e complementares
As sries de potncias
As sries de potncias
Newton obteve
comearam
a surgir
a srie geomtrica
_1_
l-x
= 1+ x + x2 + x3
-\-
no sculo XVII.
Assim,
151
+ x)
;c2
=x - -
x3
+ - - ...
x.3
oo
= '\'
(_x)1L+l
---,
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 NewtonMercator",
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 + ... ,
obtemos
a srie de arctg x:
arctg x = x -
,,3
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 desenvolvimento 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.
152
Captulo
se assentava
5: Seqiincies
na premissa
isto falso.
Embora
contribuies
ao Clculo,
e sries de [unes
de que toda
falho
As questes
bem evidentes
bem
desenvolvimento
o esforo
como
em srie de Taylor,
o livro de Lagrange
mais significativo
prenncio
do rigor
mas
importantes
do sculo XVIII
definitivo
derivabilidade
e resolvidas
depois
as peculiaridades
e integrabilidade
que o trabalho
para
se
das sries
de Fourier,
devidamente
e do hbito
de conceber
apreciado,
deixou
trigonomtricas.
traz
uniforme
de convergncia,
ser equacionadas
possui
principal,
alm de representar
os fundamentos
dessa disciplina,
dcsenvol ver no sculo seguinte.
A convergncia
funo
em seu intento
variveis
corno
abscissas
bastante
completo
e sadas idias antigas de in-
de pontos
mveis
ao longo de
tem aspectos
afirmaes
Assim
que no esto
o conceito
o (falso)
de "convergncia
teorema,
contnuas
contnua,
a intervenincia
Um outro
1829).
matcmtico
Quando
do mundo,
e procurou
para
E tambm
brilhante
Paris, onde
devidamente
Abel tinha
17 anos,
encaminh-Io
encoIitrou
reconhecido.
dessa
poca
"a soma
um professor
Holmboe
predisse
matemticos
de 1826 sobre
sries,
de qualquer
Niels
Henrik
altura
particularmente
inclusive
Abel
o maior
sobre
(1802-
cedo.
Bernt
matemtico
Abel viajou
Cauchy.
Mas no foi
mas tambm
apoio de Crelle,
muito
funo
de seu gnio,
uniforme"
srie de funes
a Cauchy.
para
de uma
a integrabilidade
foi o noruegus
e teve
cometeu erros em
numricas,
ou de "continuidade
passa despercebida
adequadamente.
os maiores
Viajou
o qual
ao provar
uniforme
pobre
das sries
uniforme"
segundo
da continuidade
Holmboe.
na convergncia
presentes
que exigiam
O destino,
a srie binomial,
a a
portanto,
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".
nos mesmos
erros
mesma de Cauchy
matemtico
O primeiro
Christof Gudermann
tese (sobre funes
Gudermann,
teoria
convergente
tambm
no
a identificar
assimilou
o conceito
uniforme,
e em seu trabalho
de convergncia
uniforme
de 1838. E Weierstrass,
do diploma
de "professor
dele tirando
Em suas prelees
particularmente
a identificou;
ele incorre
sua concepo
dinmica
de continuidade
tu.mhm segue () mesmo estilo de Cauchy.
(1798-1852)
num trabalho
elpticas)
para a obteno
da convergncia
todas
em Berlim
para
as implicaes
ele sempre
a integrao
parece
sua
com
importantes
enfatizou
termo
ter sido
que preparou
de 2Q grau"
na
a importncia
a termo
de uma srie
de funes contnuas.
A aritmetizao
Logo
Mas Abel
que embaraaram
Cauchy:
(! n t.rnto com
iufinitsiuios
no incio
crena, atrihlldn.
tl
no tarcLaria. muito
de fundamentos
da Anlise
do desenvolvimento
Pitli.gol'l\:i,
racional
de.: que
da Matemtica,
da Maternritica,
) lIIIlCI;)
fosse seriamente
de que j falamos
h crca
a chave da explicao
de 25 sculos,
dos
no Captulo
surgiu
fClIUIIlCllOS.
fi
Mas
grande
crise
por
Captulo
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.
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.
Completava-se assim um movimento "que veio "a ser chamado de ATitmetizao da ATll"ise
por Fclix Klcin. Agora a prpria Geometria" teria de buscar na Aritmtica elementos mais
seguros para sua Iunclameutao.
Era, .de certo 1110do, uma volta a Pitgorns.
Bibliografia
recomendada
pela Mathematical
Anal-
des mathmatiques,
Development,
Hermann.
Pgs.
46,
of Cauchsj's
Rigorous
of Mathemat-
1. GRATTAN-GUINNESS (Editor),
From the Calculus to Set Tlieorq,
1910 - An lulroduciorij Historij, Gerald Duckworth & Co., 1980.
1630-
L. H. J ACY l\IONTEIRO, Elementos de lgebra, Ao Livro Tcnico, 1969. Embora seja um livro de lgebra, contm um tratamento
detallhado dos nmeros
reais.
M. KUNE, The Evolution of Mathematieal
Thought [rom Anc-ient to Modern
Times, Oxford University Press, 1972. Livro de mais de 1.200 pginas, muito
bem estruturado,
bem escrito e fiel aos fatos.
'vV. RUDIN, Princpios
M. SPIVAK, Calculus,
1967. Embora se trate de
muito bem escrito e que
Altamente recomendvel.
Inc.
de Anlise
Matemtica,
Ao Livro Tcnico,
1971.