Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ERON
teoremas; ou seja, fornece ao professor as ferramentas necessrias para que este possa pesquisar,
compreender e questionar o que dito nos livros.
O estudo da Anlise Matemtica est direcionado aos formalismos utilizados em
Matemtica e s demonstraes dos resultados estudados nas disciplinas de Clculo Diferencial e
Integral. Elon Lages Lima (LIMA, 2002), um importante matemtico brasileiro, autor de alguns
dos principais livros desta rea adotados em cursos de Matemtica de todo Brasil, diz que um
livro de Matemtica no deve ser lido como se l uma novela; no primeiro caso deve-se se ter lpis
e papel na mo para reescrever com suas prprias palavras cada definio ou enunciado de
teoremas.
Uma vez que o professor de matemtica tem conhecimento sobre os teoremas e
demonstraes, ele se sente mais seguro ao ensinar os contedos, pois assim ele tem certeza da
veracidade do que ser transmitido (compartilhado) ao estudante. Faltando tal conhecimento ao
professor, o mesmo poder se sentir inseguro sobre o contedo e assim poder omitir certas
informaes que poderiam facilitar a explicao para a melhor compreenso por parte do aluno,
prejudicando o desenvolvimento intelectual do mesmo.
Alguns antecedentes histricos
A Matemtica sempre representou uma atividade humana e, em todas as pocas, mesmo
nas mais remotas, a ideia de contar sempre esteve presente. Um clssico exemplo da noo
intuitiva de contagem a correspondncia entre ovelhas de um rebanho e pedrinhas contidas em
um pequeno saco, ou marcas em pedao de osso ou de madeira, ou ainda por meio de ns em
cordes, utilizados pelos incas.
Muitos anos ainda se passaram at que se iniciasse o desenvolvimento terico do conceito
de nmero que, embora hoje nos parea natural, foi lento e complexo, envolvendo diversas
civilizaes.
Os registros histricos nos mostram a utilizao de vrios sistemas de numerao, por
exemplo, os povos babilnios (cerca de 2000 a.C.) que desenvolveram o sistema de numerao
sexagesimal e empregaram o princpio posicional; os egpcios, que j usavam sistema decimal (no
posicional); os romanos, que fizeram histria atravs do uso simultneo do princpio da adio e
do raro emprego do princpio da subtrao; e os gregos antigos, povos que utilizavam diversos
sistemas de numerao.
Quase quatro mil anos separam as primeiras manifestaes de numerao escrita da
construo do sistema de numerao posicional decimal que utilizamos, munido do smbolo
denominado zero. Esse smbolo foi criado pelos hindus nos primeiros sculos da era crist. A
concepo do zero foi ignorada, durante milnios, por civilizaes matematicamente importantes
ANOTAES SOBRE ANLISE REAL LISTA 1
ERON
como a dos gregos e dos egpcios. A inveno do zero foi um passo decisivo para a consolidao do
sistema de numerao indoarbico, devido sua eficincia e funcionalidade em relao aos demais
sistemas de numerao. Sem o zero, seria impossvel efetuar o clculo de 385 908 usando os
algarismos romanos.
Um marco importante na histria dos nmeros e da matemtica se deu no sculo VI a.C.,
na Escola Pitagrica. Em seus estudos, os pitagricos envolviam-se de um certo misticismo, pois
acreditavam que existia uma harmonia interna no mundo governada pelos nmeros naturais.
Desde Pitgoras pensava-se que, dados dois segmentos de reta quaisquer, AB e CD, seria
sempre possvel encontrar um terceiro segmento EF, contido um nmero inteiro de vezes em AB e
um nmero inteiro de vezes em CD. Expressamos essa situao dizendo que EF um submltiplo
comum de AB e CD ou que AB e CD so comensurveis. Essa ideia nos permite comparar dois
segmentos de reta da seguinte maneira: dados dois segmentos, AB e CD, dizer que a razo
AB/CD o nmero racional m / n , significa que existe um terceiro segmento EF, submltiplo
comum desses dois, satisfazendo: AB m vezes EF e CD n vezes EF.
Era natural imaginar que, para dois segmentos AB e CD dados, era sempre possvel tomar
EF suficientemente pequeno para caber um nmero inteiro de vezes simultaneamente em AB e
em CD.
Para os pitagricos, dois segmentos de reta eram sempre comensurveis, sendo, portanto,
os nmeros naturais suficientes para expressar a razo entre eles e, de modo mais geral, a relao
entre grandezas da mesma natureza. O reinado dos nmeros naturais, na concepo pitagrica, foi
profundamente abalado por uma descoberta originada no seio da prpria comunidade pitagrica e
que se deu, em particular, numa figura geomtrica comum e de propriedades aparentemente
simples, o quadrado. Trata-se da incomensurabilidade entre a diagonal e o lado de um quadrado.
De fato, ao considerarmos a diagonal e o lado de um quadrado comensurveis, teremos, a
diagonal como medida nt e o lado com medida mt . Pelo teorema de Pitgoras, temos que:
n 2t 2 = m 2t 2 + m 2t 2 n 2t 2 = 2m 2t 2 n 2 = 2m 2 ,
ERON
ERON
conceito rigoroso de nmero real s se aborda no curso de Anlise Matemtica. Isso, porm,
feito de forma axiomtica, isto , o conjunto dos nmeros reais admitido por axioma como um
corpo ordenado completo, e no construdo a partir dos racionais. Por fim, os nmeros racionais
podem ser construdos rigorosamente a partir dos nmeros inteiros e esses a partir dos naturais.
Mas, e os nmeros naturais, os primeiros que so admitidos pela nossa intuio? Assim se
perguntaram alguns matemticos do sculo XIX, na busca de completar o conceito
matematicamente rigoroso de nmero. Eles podem ser construdos a partir da Teoria dos
Conjuntos ou podem ser apresentados atravs de axiomas, como fez George Peano, em 1889.
Fonte: ................
Atividade: Leia o Prefcio do livro de Geraldo vila Anlise Matemtica para Licenciatura, a
parte sobre conversa com o aluno.
PRINCIPAIS REFERNCIAS
[1] VILA, G. Anlise Matemtica para Licenciatura. Editora Edgard Blcher, 2006.
[2] VILA, G. Introduo Anlise Matemtica. Editora Edgard Blcher, 1999.
[3] BARBONI, A. e PAULETTE, W. Fundamentos de Matemtica: Clculo e Anlise. Editora
LTC, 2007.
[4] LIMA, E. L. Anlise Real, vol 1. Col. Matemtica Universitria, IMPA/SBM, 1997.
[5] LIMA, E. L. Curso de Anlise, vol 1. Projeto Euclides, IMPA, 1976.
ERON
= {1,2, 3, 4, 5,...} .
Deve-se a Giusepe Peano (18581932) a constatao de que o conjunto dos nmeros naturais
possui propriedades fundamentais, das quais resultam como consequncias lgicas, todas as
afirmaes verdadeiras que se pode fazer sobre esses nmeros, so os Axiomas de Peano. Uma
dessas propriedades fundamentais o Princpio da Induo um eficiente instrumento para a
demonstrao de fatos referentes aos nmeros naturais.
EXERCCIOS DE APRENDIZAGEM CONJUNTO DOS NMEROS NATURAIS
n(n + 1)(2n + 1)
, n .
6
ERON
a) O conjunto X = 1, 3, 6, 8, 9, 11 no enumervel.
b) O conjunto dos nmeros pares P = {2, 4, 6, 8, 10, ...} enumervel.
c) O conjunto dos nmeros inteiros no enumervel.
d) Todo conjunto infinito enumervel.
e) O conjunto dos nmeros racionais enumervel.
10 Sejam A e B conjuntos enumerveis. Mostre que:
a) O produto cartesiano A B enumervel.
b) A unio A B enumervel.
ERON
ERON
b) 5x = 3 x
c) 5x 2 > 8
d) 2x + 1 1
e) x 3 + x + 3 < 8
f) x 2 2 1
g) x 5 < x + 1
h) (2x + 3)6 (x 2) 0
i) x 1 + x 2 1
8 Determine, caso seja possvel, o nfimo, mnimo, supremo e mximo de cada um dos seguintes
subconjuntos de :
b) B = x ; 1 < 1 x
c) C = x ; x 2 2
d) D = {x ; x 1 ou 0 x 1}
e) E = (, 0)
n
f) F =
x ; n , x =
{0}
n + 1
a) A = x ; x < 2
x
1+x
intervalo (1,1) .
ERON
1 Uma sequncia (xn ) diz-se peridica quando existe p tal que x n + p = x n para todo
n . Prove que toda sequncia peridica convergente constante.
e z 2n = yn . Se
b) B =
c) C = 0,1
6 A fim de que o nmero real a seja valor de aderncia de (xn ) necessrio e suficiente que,
para todo > 0 e todo k dados, exista n > k tal que xn a < .
ANOTAES SOBRE ANLISE REAL LISTA 1
ERON
10
7 A fim de que o nmero real b no seja valor de aderncia da sequncia (xn ) necessrio e
suficiente que existam n0 e > 0 tais que n > n 0 xn b .
Seo 2: Limites e desigualdades
Sejam
lim x n = a
lim yn = b .
Se
a <b,
prove
que
existe
n0
tal
que
n > n 0 xn < yn .
3 Se o nmero real a no o imite da sequncia limitada (xn ) , prove que alguma subsequncia
de (xn ) converge para um limite b a .
4 Prove que uma sequncia limitada converge se, e somente se, possui um nico valor de
aderncia.
1
? Esta
n
sequncia converge?
6 Dados a,b + , defina indutivamente as sequncias (x n ) e (yn ) pondo x1 = ab ,
x + yn
a +b
e x n +1 = x n yn , yn +1 = n
. Prove que (xn ) e (yn ) convergem para o mesmo
2
2
limite.
y1 =
7 Diz-se que (xn ) uma sequncia de Cauchy quando, para todo > 0 dado, existe n 0 tal
que m, n > n 0 x m x n < .
a) Prove que toda sequncia de Cauchy limitada.
b) Prove que uma sequncia de Cauchy no pode ter dois valores de aderncia distintos.
c) Prove que uma sequncia (xn ) convergente se, e somente se, de Cauchy.
Seo 3: Operaes com limites
lim
n +
n +p
n = 1.
ERON
11
lim
n +
b) lim n + n
n +k
c) lim n log n
d) lim n n log n
4 Seja en =
en +1 =
en2
2(1 + en )
xn a
a
a . Prove que
an
an +1
n +
lim
n!
n + n k a n
lim
n +
n !a n
nn
b)
lim
n +
n ! n ka n
nn
ERON
12
4 Mostre que
log(n + 1)
= 1.
n +
log n
lim
5 Sejam (x n ) uma sequncia arbitrria e (yn ) uma sequncia crescente, com lim yn = + .
Supondo que lim
xn +1 xn
yn +1 yn
xn
yn
xn
n
=a.
=a.
1
log n
c) Em particular, se lim log 1 + = 0 , conclua que lim
= 0.
n
n
ERON
13
an
bn , com an =
1
n + 1 n e bn = log 1 + .
n
1
n2
n(n + 1) .
3 Seja sn a n-sima reduzida da srie harmnica. Prove que para n = 2m tem-se sn > 1 +
m
e
2
n =2 n log n
diverge.
n =2
1
n(log n )r
converge.
ERON
14
log n
n2
converge.
7 Prove: se a1 a2 an e
an
converge ento
lim nan = 0 .
n +
x .
1 2 1 2 1 2 1 2 1
+ + + + + tem termos alternadamente positivos
2 3 3 4 4 5 5 6 6
e negativos e seu termo geral tende para zero. Entretanto divergente. Porque isto no contradiz
2 A srie S = 1
o Teorema de Leibniz?
3 D exemplo de uma srie convergente
srie
an x n
an
seja divergente.
an
absolutamente convergente.
4 Prove que convergente a srie obtida alternando-se os sinais dos termos da srie harmnica,
de modo que fiquem p termos positivos ( p fixado) seguidos de p termos negativos,
alternadamente.
5 Se
n = 0 an
an
7 Se
an2
bn2
anbn
an2
converge.
converge absolutamente.
ERON
15
an
an 1 ento a srie
an
diverge.
Se an 0 para todo n e
an +1
an
an
diverge.
a
1 1
1
1
1
1
+ +
+
+
+
+ converge mas se tem n +1 = 1 para
2 2 22 22 23 23
an
todo n mpar.
2 Se 0 < a < b < 1 , a srie S = a + b + a 2 + b 2 + a 3 + b 3 + convergente. Mostre que o teste
de Cauchy conduz a este resultado mas o teste de dAlembert inconclusivo.
log n n
convergente usando ambos os testes, de dAlembert e
3 Determine se a srie
n
Cauchy.
4
lim
n +
Dada
n
uma
sequncia
de
nmeros
positivos
xn ,
com
lim x n = a ,
prove
que
x1x 2 xn = a .
5 Determine para quais valores de x cada uma das sries abaixo convergente:
a)
nk x n
d)
n !x
b)
e)
nnx n
xn
n2
c)
xn
nn
f)
Seo 4: Comutatividade
1 Se uma srie condicionalmente convergente, prove que existem alteraes da ordem dos seus
termos de modo a tornar sua soma igual a + e a .
ERON
16
1 1 1 1 1
+ + +
2 3 4 5 6
ERON
17