Escolar Documentos
Profissional Documentos
Cultura Documentos
Em cursos de clculo, algumas ideias so apresentadas de modo intuitivo e informal. Historicamente, foi desse modo, intuitivo e informal, que certos conceitos foram criados. Entretanto,
alguns avanos na teoria passaram a exigir maior preciso e rigor para que certas questes fossem
esclarecidas, o que aconteceu de modo gradual a partir de 1820. A esse estudo mais rigoroso e
profundo dos nmeros e suas funes damos o nome de Anlise Real.
Neste curso iremos estudar nmeros reais, limites, continuidade, funes dadas por integral, sries numricas e sries de funes.
Decidi escrever estas notas pela dificuldade que tenho sentido em adotar um nico livrotexto que aborde todo o contedo programtico da disciplina MAT0315, e da forma que considero
adequada para os alunos da disciplina, a saber, no extremamente rigoroso, por ser um primeiro
contato com o assunto, mas j avanando um pouco nessa direo.
Alm das ideias da anlise matemtica, estas notas de aula tm tambm uma meta
especial, que mostrar, sempre que possvel, a relao entre conhecimentos estudados em anlise
real e tpicos de matemtica elementar ministrados nas aulas no ensino bsico.
Algumas partes destas notas tm a forte influncia do livro Calculus, de Michael Spivak [7]
que, em minha opinio, aborda os vrios conceitos de forma clara e objetiva, evitando truques
artificiais. Muitos alunos no conseguem se beneficiar de sua qualidade porque, infelizmente, ele
no foi traduzido para o portugus.
Outro autor que admiro bastante, mas que apresenta um nvel de rigor mais avanado
Walter Rudin. A leitura de seu livro [6] exige maior maturidade. Gosto muito tambm do
livro do Prof. vila [1], que foi escrito tendo em mente a formao de futuros professores
de Matemtica. Esse livro contm valiosas notas histricas que tornam sua leitura bastante
interessante e agradvel.
Os livros do Prof. Guidorizzi se tornaram referncias nacionais em cursos de clculo.
Por terem uma abordagem abrangente, os volumes 1 e 4 ([2], [3]) tratam de tpicos que nos
interessam e so referncias bastante importantes em nosso curso.
Acredito que um professor de matemtica deva perceber e transmitir a seus alunos a
Matemtica no apenas como um conhecimento cientfico, mas tambm como uma conquista
social e cultural. Muitos problemas relevantes para a humanidade foram solucionados com
Captulo 1
Nmeros Reais
O que realmente sabemos sobre os nmeros reais?
De acordo com Walter Rudin, em seu livro Princpios de Anlise Matemtica, uma
discusso satisfatria dos principais conceitos de anlise devem estar baseados em um conceito
de nmero definido de forma precisa.
No objetivo deste curso discutir axiomas da aritmtica. Por isso, iremos assumir
conhecidos o conjunto N = {1, 2, 3, . . .} dos nmeros naturais, o conjunto Z dos nmeros inteiros
e o conjunto Q dos nmeros racionais.
Entretanto h algumas questes delicadas relacionadas ao conjunto dos nmeros racionais
np
o
Q=
: p, q Z, q 6= 0 que precisam ser esclarecidas.
q
1.1
de uma frao uma potncia de dez, ento esse nmero pode ser representado na forma decimal.
3
84
75
Por exemplo, as fraes
;
e
podem ser escritas na forma decimal respectivamente
10 1000 10
como 0, 3 ; 0, 084 e 7, 5.
Observemos tambm os exemplos:
2
22
4
=
=
= 0, 4
5
52
10
3
35
15
b)
=
=
= 0, 15
20
20 5
100
a)
c)
33
27
3
3 52
75
= 2 2 = 2 = 2 2 =
= 0, 75
36
2 3
2
2 5
100
d)
6
23
2
2 22
8
= 2
= 2 = 2 2 =
= 0, 08
75
5 3
5
5 2
100
O leitor atento deve ter notado que, depois de simplificada ao mximo, se a frao resul-
tante
p
q
potncias de 2 ou de 5 convenientes, esse denominador pode ser transformado em uma potncia de 10. Consequentemente, esse racional tem uma representao decimal finita, isto , uma
representao na forma decimal com uma quantidade finita de casas decimais depois da vrgula.
Recorde que se n0 um nmero natural e d1 , d2 , . . . dk so algarismos pertencentes ao
conjunto {0, 1, 2, . . . , 9} ento a representao decimal do nmero x dado por
x = n0 +
d2
dk
d1
+ 2 + + k
10 10
10
x = n0 , d1 d2 . . . dk .
Por exemplo, a representao do nmero
x = 14 +
9
7
0
4
6
+ 2+ 3+ 4+ 5
10 10
10
10
10
p
q
de 2 ou 5?
A prtica e familiaridade com o algoritmo da diviso (isto , a conta de dividir que
aprendemos na escola), nos permite perceber que, nesse caso, quando dividimos p por q, iremos
obter uma conta que nunca acaba, ou seja, a representao decimal infinita!
Por exemplo,
1
= 0, 333 . . .
3
3
= 0, 2727 . . .
11
2455
= 0, 272777 . . .
9000
Note que as reticncias escritas acima so imprecisas. Elas indicam que as casas decimais
continuam, mas no informam precisamente como a continuao. Por esse motivo, quando
sabemos que a continuao peridica, colocamos uma barra sobre a parte que se repete. Assim,
a notao mais precisa dos exemplos acima :
1
= 0, 3
3
3
= 0, 27
11
2455
= 0, 2727
9000
Entretanto, a experincia, por maior que seja, no nos permite enunciar um resultado
geral sem uma argumentao que seja vlida para todos os casos. Vamos ento procurar um
p
argumento que garanta que se um nmero racional, escrito na forma irredutvel como , tal
q
que q contm algum fator diferente de 2 e de 5, ento a representao decimal desse nmero
ser infinita e peridica.
Observe que no possvel multiplicar denominador e numerador por um nmero inteiro
de forma a transformar o denominador em uma potncia de 10. Por qu?
Bem, isso consequncia do Teorema Fundamental da Aritmtica, conhecido pelos alunos
desde o Ensino Fundamental. Esse teorema nos ensina que qualquer nmero natural pode ser
escrito como produto de fatores primos, de modo nico a menos da ordem dos fatores. Sendo
assim, qualquer potncia de 10 se fatora, de modo nico, como produto de potncias de 2 e
potncias de 5.
Portanto, se o denominador de uma frao irredutvel tem algum fator diferente de 2 e
de 5 no ser possvel encontrar uma frao equivalente cujo denominador seja uma potncia de
10. Sendo assim, a representao decimal desse racional ser infinita!
Exerccio 1.1.1 Determine a representao decimal de cada um dos nmeros
Exerccio 1.1.2 Determine a representao decimal de
Exerccio 1.1.3 O nmero
1
17
6
1 2
, ,... .
7 7
7
7 9 10
, , .
11 11 11
no peridica?
Depois de observar o que aconteceu nos exerccios acima, voc j conseguiu perceber uma
argumentao para o caso geral ?
Voc deve ter observado que, na diviso de 1 por 7, encontramos os restos 3, 2, 6, 4, 5, 1
1, 0
3 0
0, 142857 . . .
2 0
6 0
4 0
5 0
1
..
1
= 0, 142857.
7
Na diviso de 7 por 11, aparecem apenas os restos 4 e 7, nessa ordem, que iro se repetir
Portanto,
p
q
(i) impossvel transformar o denominador em uma potncia de 10, o que torna a representao infinita;
(ii) os possveis restos da diviso de p por q so 1, 2, 3, . . . , q 1. (Note que o resto da diviso
nunca igual a 0.)
Portanto, sendo uma diviso infinita e apenas uma quantidade finita de restos possveis, a
partir de algum momento, algum resto ir se repetir. A partir da, ir aparecer um perodo no
quociente.
Assim, conclumos que a representao decimal de um nmero racional, se no for finita,
ser necessariamente peridica.
Com a discusso acima podemos concluir que a representao decimal de qualquer
nmero racional finita ou infinita e peridica.
Um dos problemas de se lidar com infinitas casas decimais operar com eles. Por exemplo,
como somar ou multiplicar dois nmeros com infinitas casas? Se for possvel transformar em
frao, o problema fica resolvido.
Veremos adiante como justificar a validade de um processo prtico de transformar dzimas peridicas em fraes. Trata-se de multiplicar a dzima por uma potncia de 10 conveniente
de modo a cancelar a parte decimal. Por exemplo, se x = 1, 582, ento x = 1 + 0, 5 + 0, 082.
Logo, 10x = 10 + 5 + 0, 82. Tambm
1.000x = 100 (10x) = 100 [15 + 0, 82 + 0, 0082] = 1500 + 82 + 0, 82
1567
.
990
Esse processo funciona, mas ser preciso entender por qu! Note que uma dzima , na
X
9
) e ns ainda
verdade, uma soma infinita de fraes decimais (por exemplo, 0, 9999 . . . =
10n
n=1
no aprendemos a lidar com somas infinitas de nmeros.
Logo, 1.000x 10x = 1582 + 0, 82 [15 + 0, 82] = 1582 15 = 1567. Portanto, x =
Exerccio 1.1.4 Em cada caso, encontre uma frao cuja representao decimal a dzima
peridica dada:
a) 0, 4
b) 0, 250
c) 3, 04
d) 0, 221
e) 4, 00167
1.2
Logo, (AB)2 =
m2
(AC)2
n2
n2
= 2, ou seja, n2 = 2m2 .
m2
Mas tais nmeros naturais m e n no existem! De fato, sendo n um nmero natural,
o que equivale a
o Teorema Fundamental da Aritmtica garante que n pode ser escrito, de modo nico, como
2kr
1 2k2
produto de fatores primos, n = pk11 pk22 . . . pkr r . Portanto, n2 = (pk11 pk22 . . . pkr r )2 = p2k
1 p2 . . . pr .
Assim, na decomposio de n2 , cada fator primo aparece uma quantidade par de vezes.
a+b
2
1. Prove que
3,
6e
2 so irracionais.
n p no racional.
Por qu?
5. Dados n e m nmeros naturais, ento ou
6. Sejam n e m nmeros naturais tais que
racional.
7. Decida de cada afirmao dada verdadeira ou falsa. Se for verdadeira, prove. Se for
falsa, mostre um contra-exemplo.
(a) Uma frao irredutvel cujo denominador um nmero primo tem representao
decimal infinita e peridica.
(b) Se p e q so nmeros primos distintos ento
10
pq no racional.
1.3
que difere um conjunto do outro. Veremos nesta aula que ambos tm uma estrutura em comum,
conhecida como corpo ordenado.
Quando entramos na escola, rapidamente temos contato com as quatro operaes. Mas
. . . o que uma operao? Uma operao em um conjunto A uma funo que, a cada par de
elementos de A associa um novo elemento tambm pertencente a A.
Desde nossa infncia aprendemos duas operaes muito importantes, a adio e a multiplicao, inicialmente no conjunto dos naturais e depois suas extenses para os conjuntos dos
inteiros e dos racionais.
Dependendo dos conjuntos e das operaes, algumas propriedades so satisfeitas, e assim
ficam determinadas algumas Estruturas Algbricas. Dentre essas estruturas, nos interessa a
de corpo.
Definio 1.3.1 Um corpo um conjunto K munido de duas operaes, chamadas de adio
e multiplicao satifazendo os seguintes axiomas:
(A1) A adio associativa: (x + y) + z = x + (y + z), x, y, z K.
(A2) A adio comutativa: x + y = y + x, x, y K.
(A3) Existe um elemento 0 tal que 0 + x = x, x K.
(A4) Para cada x K existe em K um elemento oposto, indicado por x tal que x + (x) = 0.
(M1) A multiplicao associativa: (xy)z = x(yz), x, y, z K.
(M2) A multiplicao comutativa: xy = yx, x, y K.
(M3) Existe um elemento 1 tal que 1x = x, x K.
(M4) Para cada x K tal que x 6= 0 existe um elemento inverso, indicado por x1 K tal que
x x1 = 1.
(D) Distributiva: x(y + z) = xy + xz, x, y, z K.
11
(A3+A2)
(A4)
(A1)
a + 0 = a + [c + (c)] = (a + c) + (c)
(b + c) + (c) = b + [c + (c)] = b + 0
(A2)
(A4)
(hiptese)
=
(A3+A2)
12
+ k, com Z.
P3
5 4
9 2
9 2
13
1 5
2 4 2
so nada mais do que uma maneira prtica de escrever as propriedades distributivas das multiplicaes de 4 unidades por 3 unidades e 2 dezenas, na primeira conta:
(D)
(A1)
23 4 = (20 + 3) 4 = 20 4 + 3 4 = 80 + 12 = 80 + (10 + 2) = (8 + 1) 10 + 2 = 90 + 2 = 92
e, na segunda conta, completando com o produto de 5 dezenas por 3 unidades e 2 dezenas:
(D)
23 54 = 23 (5 10 + 4) = 23 5 10 + 23 4 = . . .
(D)
1. Prove:
14
1.4
Corpos Ordenados
As prximas propriedades que iremos estudar lidam com desigualdades. Esta seo
se
x y P;
x<y
se
y x P;
xy
se
x > y ou x = y;
xy
se
x < y ou x = y.
15
(def)
= 2.
De modo anlogo, fazendo o mesmo com cada nova desigualdade, iremos obter 2 < 3; 3 < 4,
etc. Tambm, somando-se o oposto de 1 de cada lado, obtemos 1 < 0, 2 < 1, e assim por
diante. Isso justifica o que os professores precisam ensinar no Ensino Fundamental sobre ordem
dos nmeros inteiros e sua representao na reta numrica:
. . . 2
16
3 ...
ab <
a+b
2
aritmtica.)
Agora que sabemos que o inverso de um nmero positivo um nmero positivo, podemos
1
(que positivo), no
2
< 32 < . Repetindo o
1
2
<1
processo com outros inversos de nmeros j definidos, podemos acrescentar mais e mais valores
racionais na reta numrica.
Os axiomas e propriedades da ordem tambm permitem resolver inequaes:
Exerccios 1.4.4 Resolva as inequaes identificando os axiomas utilizados em cada passagem:
1. (x 1)(x 3) > 0.
2.
x1
< 2.
2x
3.
1
1
+
> 0.
x 1x
Definio 1.4.5 Para cada nmero x definimos seu mdulo ou valor absoluto da seguinte maneira:
|x| =
x, se x 0,
x, se x < 0.
17
Vale pena observar que, representando-se x na reta numrica, |x| pode ser interpretado
como a distncia de x at a origem e, analogamente, fixado um nmero a, |x a| representa a
distncia de x at a.
Teorema 1.4.6 (Desiqualdade Triangular)
|x + y| |x| + |y|, quaisquer que sejam x e y.
Demonstrao. H vrias demonstraes em diversos livros. Escolhi esta, que um pouco longa,
porm elementar.
Vamos considerar 4 casos:
1. Se a 0 e b 0, ento a + b 0, pelo axioma (O2). Portanto, |a + b| = a + b = |a| + |b|.
(Note que, neste caso, vale a igualdade.)
2. Se a 0 e b 0, ento a + b 0 (Por qu?). Portanto, |a + b| = (a + b) = (a) + (b) =
|a| + |b|. (Neste caso tambm vale a igualdade.)
3. Se a 0 e b 0: Como a 0, ento |a| = a e, como b 0, |b| = b. Logo, |a|+|b| = ab.
Por outro lado, no sabemos se a + b positivo ou negativo. Vamos separar em 2 casos:
- Se a + b 0, ento |a + b| = a + b a b, j que b 0 e b 0.
- Se a + b 0, ento |a + b| = (a + b) = a b a b, j que a a.
Portanto, se a 0 e b 0, vale |a + b| |a| + |b|. (Se b < 0, ento |a + b| < |a| + |b|.)
4. Se a 0 e b 0. (Exerccio.)
Definio 1.4.7 Se x 0,
escreve 2 = 1, 41, pois 1,41 uma aproximao de 2. O valor exato s pode ser indicado
usando-se o smbolo da raiz.)
Vamos observar: se x = 3 ento x2 = 9 e
18
a2 .
Demonstrao. Exerccio.
Exerccios 1.4.9
(b) |x 2| < 1
(c) |x 2| > 1
(d) |x 1| + |x + 1| < 2
(e) |x 1| + |x + 1| > 2
3. Prove que |x| |y| |x y|. (A demonstrao pode ser bem curta, se voc escolher um
caminho conveniente.)
4. Seja b positivo. Prove que |a| b se e somente se b a b.
5. Seja b positivo. Prove que |a| b se e somente se a b ou a b.
6. Prove que se |x x0 | <
2
Notao 1.4.10 O mnimo entre dois nmeros a e b denotado por min{a, b}.
A sentena x < min{a, b} significa que x < a e x < b (simultaneamente). Nos exerccios
abaixo em que o mnimo aparece, voc ir precisar de uma desigualdade em algum ponto de sua
argumentao e a outra desigualdade em outro ponto.
Exerccios 1.4.11 (Exerccios retirados de [7], captulo 1)
o
n
1. Prove que se |x x0 | < min
, 1 e |y y0 | <
, ento |xy x0 y0 | < .
2(|y0 | + 1)
2(|x0 | + 1)
1
n |y | |y |2 o
1
0
0
2. Prove que se y0 6= 0 e |y y0 | < min
,
, ento y 6= 0 e < .
2
2
y y0
19
x x2 , se x 0; x x2 , se x 0.
(1c)
a, se b 0 e a b; a, se b 0 e a b;
a, se b 0 e a b; a + 2b, se b 0 e a > b.
(2a)
(2c)
(2d)
(2e)
Qualquer x diferente de 1 e de 1.
20
1.5
Conjuntos Limitados
1. No corpo ordenado Q, o conjunto A = {11, 13, 17, 19, 23, 29, 31, 37},
formado pelos nmeros primos entre 10 e 40 limitado e os nmeros 10 e 40 so respectivamente um minorante e um majorante de A.
2. No corpo ordenado Q, considere o subconjunto
n1
o n 1 1
o
B=
: n N = 1, , , . . .
n
2 3
1
Como 1, n N, vemos que B um conjunto limitado superiormente, e 1 um majon
rante de B. O conjunto B tambm limitado inferiormente e 0 um de seus minorantes,
j que todos os elementos de B so positivos.
Observe que os nmeros 5, 10, 100, etc, tambm so majorantes de A, assim como
1, , 5 so minorantes de A.
Se A um conjunto limitado superiormente e M um majorante de A ento todo nmero
R maior do que M tambm majorante de A, j que se a M, a A e M < R ento a
propriedade transitiva garante que a R, a A.
2. Considere o conjunto B = {2n : n N} = {2, 4, 6, 8, . . .} Q.
Como o conjunto B formado apenas por nmeros positivos, B limitado inferiormente
e 0 um de seus minorantes.
21
n
n+1
> 0, n,
n
< 0, n N. Logo, C limitado superiormente e 0 um majorante de C.
temos que n+1
n
n+1
n
< 1, n N. Logo, n+1
> 1, n
22
x+4
2
x+4
.
2
n0
n0 +1
> b. Como
n0
n0 +1
n0
n0 +1
b
.)
1b
n0
n0 +1
b
1b
(1.1)
Observao. A rigor, necessrio provar que tal n0 existe. Adiante, em 1.7.1, iremos
demonstrar que o conjunto N no limitado2 .
Definio 1.5.5 Seja A um conjunto de nmeros. O maior elemento de A, se existir, chamado
de mximo de A e, de modo anlogo, o menor elemento de A, se existir, o mnimo de A. Esses
nmeros so indicados, respectivamente, por max A e min A.
Exemplos 1.5.6
2
Se voc acredita que isso bvio e que no precisa ser demonstrado, talvez voc esteja sendo influenciado
demais por seu conhecimento intuitivo. Ns estamos passando a limpo o conhecimento sobre nmeros, com
base em axiomas e teoremas. Todas as afirmaes precisam de justificativas rigorosas.
23
1
2. Se A = { 12 , 14 , 16 , 18 , 10
} Q ento min A =
1
10
e max A = 12 .
24
1.6
importante compreender que essa afirmao diferente de 2 irracional, j que esta ltima
p2 2
p2 + 2p (p2 2)
p+1
=
=2
> 0.
p+2
p+2
p+2
Alm disso, q 2 2 = 2
q < p. Ou seja, o conjunto D no tem mnimo. Isso garante que C no tem supremo (em
Q).
25
26
n + (1)n
:nN ,
n
B=
(1)n
:nN
n
e
C=
X
n
k=1
1
:nN
2k
)
n
X
9
Q | n N = {0, 9; 0, 99; 0, 999; . . .}
10k
k=1
igual a 1. Interprete.
Nos prximos exerccios, A e B so dois subconjuntos no vazios de R.
6. Prove que se A B, ento inf B inf A sup A sup B.
7. Sendo A + B = {a + b : a A, b B}, mostre que sup(A + B) = sup A + sup B e que
inf(A + B) = inf A + inf B.
8. Se A limitado inferiormente, mostre que A = {x : x A} limitado superiormente
e sup(A) = inf A
9. Suponha que a b para todo a A e todo b B. Prove que sup A inf B. Prove ainda
que sup A = inf B se, e somente se, qualquer que seja > 0, existem a A e b B tais
que b a < .
10. Seja A um subconjunto no vazio e limitado superiormente de R. Prove que b = sup A se
e somente se b majorante de A e para todo > 0 existe a A tal que b < a b.
27
1.7
tal afirmao.
Teorema 1.7.1 O conjunto N no limitado superiormente.
Demonstrao. Suponha, por absurdo, que N seja limitado superiormente. Como N um
subconjunto no vazio de R, N admite um supremo R, tal que n , n N. Logo,
n+1 , n N, j que n+1 N. Mas esta ltima desigualdade equivale a n 1, n N, o
que significa que 1 um majorante de N, menor do que o supremo , o que uma contradio.
O teorema 1.7.1 equivalente ao teorema a seguir, que chamado por muitos autores de
propriedade arquimediana.
Teorema 1.7.2 Se x e y so dois nmeros reais e x > 0, ento existe pelo menos um nmero
natural n tal que nx > y.
Demonstrao. Exerccio.
Corolrio 1.7.3 Para cada x > 0 existe um natural n tal que
1
< x.
n
1
Demonstrao. Suponha, por absurdo, que tal n no exista. Isso significa que x, qualquer
n
1
1
que seja n N. Portanto, n , n N. Mas isso significa que um majorante de N, o que
x
x
contradiz o teorema 1.7.1.
A seguir, daremos uma demonstrao rigorosa para o importante e intuitivo fato que
entre dois reais quaisquer sempre existe um racional.
Proposio 1.7.4 Se a, b R e a < b ento existe r Q tal que a < r < b.
28
m
m
< b, o que prova a proposio, sendo r = .
n
n
Definio 1.7.5 Um conjunto A denso em R se entre dois nmeros reais distintos existe um
elemento de A.
Uma vez estabelecida essa definio, a proposio 1.7.4 poderia ter sido enunciada da
seguinte maneira: Q denso em R.
1.7.1
Existncia de razes
A existncia de razes de nmeros reais positivos um fato muito usado, mas precisa ser
a
)
a+1
29
4. Suponha que bn < a. Mostre que existe 0 < h < 1 tal que (b + h)n < a e b + h A.
Conclua que isso no pode ocorrer.
5. Suponha que bn > a. Mostre que existe 0 < r < b tal que se x satisfaz (b r) < x < b,
ento xn > a. Conclua que isso no pode ocorrer.
6. Conclua que bn = a e prove a unicidade.
Observe que a existncia de razes se baseia na existncia do supremo.
1.7.2
E a sala de aula?
Tendo em vista que as representaes decimais dos nmeros racionais so finitas ou
sempre fcil. J vimos como demonstrar que certos nmeros da forma n x so irracionais.
Veremos adiante a demonstrao de que o nmero e irracional. A demonstrao de que
irracional muito trabalhosa e s foi feita no sculo XVIII, apesar desse nmero ser conhecido
desde a antiguidade.
30
Exerccio 1.7.8 Depois de quantas casas decimais comea a parte peridica do nmero
41387
?
99000
31
= sup{(k k )0 : k N}
+ 0, 31313 + 3, 14159 = 3, 45472. O valor correto maior, j que uma aproximao por
32
uma resposta exata, sem aproximaes, deixamos indicado, como por exemplo, nas frmulas
ensinadas: a rea do crculo de raio r A = r2 ; o volume da esfera de raio r V = 43 r3 ;
sen 3 =
1.8
3
;
2
etc.
Intervalos
Alguns subconjuntos de nmeros reais desempenham um papel bastante importante na
\
[an , bn ] = {a}.
n=1
Demonstrao. Considere o conjunto A = {a1 , a2 , a3 , . . .} dos nmeros reais que so as extremidades direitas de cada intervalo. Como os invervalos esto encaixados, temos
a1 a2 a3 . . . bn , n
Assim sendo, o conjunto A no vazio e limitado superiormente e cada bn majorante de A.
Pela propriedade do supremo, existe sup A = .
33
Como um majorante de A, temos an , para todo n. Por outro lado, como an < bn ,
para todo n, podemos concluir que bn , n. (Prove!) Logo, para cada n, vale an bn ,
T
o que mostra que [an , bn ].
Alm disso, no caso em que lim (bn an ) = 0, podemos ver facilmente que ser o nico
n
T
nmero real pertencente interseco. De fato, se [an , bn ], teremos | | (bn an ), n.
Fazendo n crescer indefinidamente, conclumos que = .
Observao 1.8.2 Sem a condio lim (bn an ) = 0, tomando-se = inf{b1 , b2 , b3 , . . .}, vemos
n
34
1.9
Conjuntos Infinitos
H uma certa confuso sobre quantidades infinitas. No raro encontrarmos exem-
35
36
n
2
n1
2
se n par ,
se n mpar .
37
Cabe agora uma observao muito importante. Quando lidamos com conjuntos finitos,
se um conjunto A um subconjunto prprio de B, isto , se A est contido em um conjunto B
e diferente de B, ento B tem uma quantidade de elementos menor do que A. Entretanto, os
exemplos acima mostram que com conjuntos infinitos pode acontecer A B, A 6= B e A B:
o exemplo 1.9.4(b) mostrou que P N e P N; o exemplo 1.9.4(c) mostrou que N Z e
N Z.
Como esse fato caracteriza os conjuntos infinitos, alguns autores adotam a seguinte definio: um conjunto C infinito se for equivalente a algum de seus subconjuntos prprios.
38
n=1
\
A interseco desses conjuntos, denotada por
En , o conjunto P tal que
n=1
x P x Ej , para todo n.
Exemplos 1.9.8
[
\
En = N;
En = {1}.
Temos:
n=1
n=1
En = N;
En = .
n=1
n=1
[
En . Ento U enumervel.
n=1
e11
e
21
.
..
em1
..
.
e12
. . . e1n
...
e22
..
.
. . . e2n
..
..
.
.
. . .
..
.
. . .
..
.
em2 . . . emn
.. . .
..
.
.
.
em que a primeira linha formada por todos os elementos do conjunto E1 , a segunda linha,
pelos elementos de E2 , e assim por diante.
Os elementos da matriz so os elementos do conjunto U . Para mostrar que U um
conjunto enumervel, teramos que escrever os elementos de U em uma lista sem repeties.
Como no sabemos quais termos se repetem na matriz, possvel escrever tal lista! Para
39
contornar essa dificuldade, vamos colocar os elementos da matriz em uma sequncia (que pode
ter repeties),
s : e11 , e21 , e12 , e31 , e22 , e13 , e41 , e32 , e23 , e14 , . . .
Observe que a sequncia s tem uma regra de formao: primeiramente comeamos com o termo
e11 , depois os termos cuja soma dos ndices 3, a saber, e21 e e12 , depois termos cuja soma dos
ndices 4: e31 , e22 e e13 e assim por diante.
Como conseguimos escrever todos os elementos da matriz em forma de uma sequncia,
existe uma funo de N no conjunto U , que associa os nmeros 1, 2, 3, . . . , respectivamente
a e11 , e21 , e12 , e31 , e22 , e13 , e41 , e32 , e23 , e14 , . . . Como a primeira linha da matriz j um conjunto
enumervel, logo infinito, os termos da sequncia s formam um conjunto enumervel.
Assim, U um subconjunto infinito do conjunto enumervel formado pelos termos da
sequncia s. Pelo teorema 1.9.6, U enumervel.
Corolrio 1.9.10 A reunio finita de conjuntos enumerveis um conjunto enumervel.
Demonstrao. Se U o conjunto do teorema anterior, tem-se que a reunio finita F =
n
[
Ek
k=1
n
[
Ek
k=1
no mximo enumervel.
Demonstrao. De fato, se cada Ek for finito, ento R ser um conjunto finito. (Por que? )
Se algum Ek for enumervel, como Ek R, a reunio R ser um conjunto infinito. Logo,
enumervel.
Teorema 1.9.12 Sejam A e B conjuntos enumerveis. Ento o produto cartesiano
A B = {(a, b) : a A, b B}
enumervel.
40
p
q
: p, q Z, q 6= 0.
41
Seja {x1 , x2 , x3 , . . .} uma enumerao de [0, 1]. Podemos escrever cada xj na forma decimal infinita e, para evitar repeties vamos escolher as representaes decimais que no terminam com infinitos algarismos iguais a 9. Por exemplo, o nmero 0, 5 ser representado como
0, 5000 . . . e no 0, 49999 . . .. Assim,
x1 = 0, a11 a12 a13 . . .
x2 = 0, a21 a22 a23 . . .
..
..
.
.
xn = 0, an1 an2 an3 . . .
..
..
.
.
(ai1 , ai2 , ai3 , . . . {0, 1, 2, . . . , 9} so os algarismos da representao decimal de xi )
Vamos agora definir o nmero b = 0, b1 b2 b3 . . . da seguinte maneira:
b1 = 5, se a11 6= 5 e b1 = 6, se a11 = 5;
b2 = 5, se a22 6= 5 e b2 = 6, se a22 = 5
e assim por diante. Ou seja, bn = 5, se ann 6= 5 e bn = 6, se ann = 5, para cada n.
O exerccio de reviso 7 abaixo ajuda a entender por que tal b existe. (b o nmero real
nP
o
bj
n
dado por b = sup
Q
:
n
N
.
j=1 10j
Mas veja que interessante: o nmero b diferente de x1 , pois, por construo, sua primeira
casa decimal diferente da primeira casa decimal de x1 (b1 6= a11 ).
O nmero b tambm diferente de x2 , pois b2 6= a22 , . . . Para cada n, o nmero b
diferente de xn , pois bn 6= ann .
Mas isso contradiz o fato de {x1 , x2 , x3 , . . .} ser uma enumerao de [0, 1], j que encontramos um nmero b [0, 1] que no estava nessa lista!
Corolrio 1.9.16 R no enumervel.
Corolrio 1.9.17 R Q no enumervel.
42
Exerccios de reviso
1. Prove que
12 irracional.
N,
n
2
. Determine, caso existam, o supremo, o nfimo, o mximo
n1
e o mnimo de A. Justifique.
9
9
9
6. Observe que o nmero racional 0,999 pode ser escrito como 10
+ 100
+ 1000
. De modo geral,
Pn
0, 99
. . . 9} = k=1 109k .
| {z
n
nP
o
n
9
Considere o conjunto D =
:
n
N
. Prove que sup(D) = 1. Interprete.
k
k=1 10
7. Seja (ak )kN uma sequncia de algarismos (ak {0, 1, 2, . . . , 9}) e considere os nmeros
sn =
a1
10
a2
102
+ +
an
.
10n
de grau 4).
43
(c) Prove que o conjunto P (Z), de todos os polinmios com coeficientes inteiros, enumervel.
(d) Seja {p1 , p2 , p3 , . . . , pn , . . .} uma enumerao de P (Z). Seja An o conjuntos das razes
reais de pn . Conclua que o conjunto A formado por todos os nmeros algbricos,
enumervel.
(e) Um nmero real dito transcendente se no algbrico. Mostre que o conjunto dos
nmeros transcendentes no-enumervel.
44
Referncias Bibliogrficas
[1] Geraldo vila. Anlise Matemtica para Licenciatura. Edgard Blucher Ltda, 3 edition, 2006.
[2] Hamilton Guidorizzi. Um Curso de Clculo, volume 1. LTC Editora, 2001.
[3] Hamilton Guidorizzi. Um Curso de Clculo, volume 4. LTC Editora, 2001.
[4] Elon Lages Lima. Anlise Real. IMPA, CNPq, 1997.
[5] Ivan Niven. Nmeros: racionais e irracionais. SBM, 1984.
[6] Walter Rudin. Princpios de Anlise Matemtica. Ed. Ao Livro Tcnico S.A., 1971.
[7] Michael Spivak. Calculus. Addison Wesley, 1967.
45