Escolar Documentos
Profissional Documentos
Cultura Documentos
Cassio Neri
Curso de Analise Real
Cassio Neri
Professor do Instituto de Matematica - UFRJ
Rio de Janeiro - RJ - Brasil
2006
Sai che ti avverr`a,
praticando il disegnare di penna?
che ti far`a sperto, pratico,
e capace di molto disegno entro la testa tua.
Sabe o que te acontecera, praticando o desenho a pena?
tornar-te-as perito, pratico,
e capaz de muitos desenhos dentro de tua mente.
- Cennino Cennini da Colle di Valdelsa
Il Libro dellarte (1437) - Cap. XIII.
Sumario
1 Nocoes de Teoria dos Conjuntos 1
1.1 Conjuntos e elementos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Opera coes com conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Simplicando a escrita. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Teoria dos Conjuntos e facil? . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 Fun coes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6 Famlias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.7 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Numeros naturais, inteiros e racionais 13
2.1 Numeros naturais e inteiros. . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Conjuntos nitos, enumeraveis e nao enumeraveis. . . . . . . . . . . . . . . 15
2.3 O Hotel de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4 Numeros racionais: opera coes e enumerabilidade. . . . . . . . . . . . . . . . 21
2.5 Numeros racionais: ordem. . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.6 Numeros racionais: propriedade arquimediana. . . . . . . . . . . . . . . . . 25
2.7 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 Numeros reais 29
3.1 A polemica descoberta dos incomensuraveis. . . . . . . . . . . . . . . . . . 29
3.2 Cortes de Dedekind. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3 Numeros reais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.4 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
v
vi SUM
ARIO
4 Sequencias e series 47
4.1 Sequencias e subsequencias. . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2 Sequencias convergentes. . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.3 Sequencias monotonas e sequencias limitadas. . . . . . . . . . . . . . . . . 51
4.4 Sequencias de Cauchy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.5 Limites innitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.6 Opera coes com limites. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.7 Limite superior e limite inferior. . . . . . . . . . . . . . . . . . . . . . . . 56
4.8 Series. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.9 A serie dos inversos dos primos. . . . . . . . . . . . . . . . . . . . . . . . 62
4.10 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5 Topologia de R 67
5.1 Introdu cao. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
5.2 Pontos interiores e conjuntos abertos. . . . . . . . . . . . . . . . . . . . . . 68
5.3 Pontos de aderencia e conjuntos fechados. . . . . . . . . . . . . . . . . . . 69
5.4 Conjuntos compactos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.5 Conjuntos densos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.6 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
6 Limite e continuidade 77
6.1 Limite de fun coes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
6.2 Os quinze tipos de limite. . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.3 Fun coes contnuas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
6.4 O Teorema do Valor Intermediario. . . . . . . . . . . . . . . . . . . . . . . 84
6.5 Fun coes contnuas denidas em compactos. . . . . . . . . . . . . . . . . . . 85
6.6 Pontos xos para fun coes contnuas. . . . . . . . . . . . . . . . . . . . . 87
6.7 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7 Derivada 93
7.1 Derivabilidade e derivada. . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
SUM
ARIO vii
7.2 Propriedades operatorias. . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
7.3 Extremos locais e o Teorema do Valor Medio. . . . . . . . . . . . . . . . . . 99
7.4 Derivadas de ordem superior e Formulas de Taylor. . . . . . . . . . . . . . . 102
7.5 O Metodo de Newton. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.6 Regras de LHospital. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7.7 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
8 Integral de Riemann 113
8.1 Somas superiores e inferiores. . . . . . . . . . . . . . . . . . . . . . . . . . 113
8.2 Integral e fun coes integraveis. . . . . . . . . . . . . . . . . . . . . . . . . . 116
8.3 Os Teoremas Fundamentais do Calculo. . . . . . . . . . . . . . . . . . . . . 124
8.4 A constante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
8.5 Mudan ca de variaveis e integra cao por partes. . . . . . . . . . . . . . . . . 128
8.6 O Teorema de Lebesgue. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
8.7 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
9 Sequencias de funcoes 137
9.1 Convergencia simples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
9.2 Convergencia uniforme. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
9.3 Continuidade. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
9.4 Integral. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
9.5 Derivada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
9.6 O espa co C(K). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
9.7 Equa coes diferenciais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
9.8 Logartmo, exponencial e a constante e. . . . . . . . . . . . . . . . . . . . 149
9.9 Deni coes analticas de seno e cosseno. . . . . . . . . . . . . . . . . . . . 152
9.10 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Bibliograa 157
Indice 159
viii SUM
ARIO
Captulo 1
Noc oes de Teoria dos Conjuntos
1.1 Conjuntos e elementos.
A no cao intuitiva que se tem da palavra conjunto nos e satisfatoria e uma apresenta cao
rigorosa da Teoria dos Conjuntos e difcil e alem dos objetivos do curso.
DEFINIC
ITULO 1. NOC
OES DE TEORIA DOS CONJUNTOS
B. Dizemos tambem que B contem A e escrevemos B A. Quando A B e B A, os
conjuntos A e B sao ditos iguais e escrevemos A = B. Caso contrario eles sao diferentes
e escrevemos A ,= B. A nota cao A B (ou B A) e uma abrevia cao para A B com
A ,= B, neste caso dizemos que A e um subconjunto proprio de B.
EXEMPLO 1.5. Sejam A = 2, 4, 6 e B = 1, 2, 3, 4, 5, 6. Temos que A B.
EXEMPLO 1.6. Sejam A o conjunto dos numeros inteiros multiplos de 4 e B o conjunto
dos numeros pares.
E obvio que A B porem, vamos demonstrar esta arma cao. O primeiro
passo consiste em interpretar a deni cao do conjunto A. Um numero inteiro n e multiplo de
4 se n/4 e inteiro, ou equivalentemente, se existe um inteiro m tal que n = 4m. Logo,
A = n ; existe um inteiro m tal que n = 4m.
Analogamente,
B = n ; existe um inteiro m tal que n = 2m.
Estamos preparados para a demonstra cao. Seja n A. Entao existe um inteiro m tal que
n = 4m = 2(2m). Como m e inteiro, 2m tambem e. Conclumos que n B.
Como n e um elemento arbitrario de A (alem de n A nao zemos nenhuma hipotese
sobre n) conclumos que qualquer que seja n A temos n B, i.e, que todo elemento de A
pertence a B, ou seja, que A B. Isto termina a demonstra cao.
EXEMPLO 1.7. Sejam A = 0, 1, 2 e B = 1, 2, 3, 4. Pergunta: A B? Por que?
Resposta: Nao, pois 0 A e 0 / B.
De maneira geral, se A nao e um subconjunto de B signica que existe pelo menos um
elemento de A que nao pertence a B.
Existe um conjunto especial chamado de vazio (denotado ) que nao possui nenhum
elemento, ou seja, nao existe x tal que x . Uma propriedade interessante do conjunto vazio
e que ele e subconjunto de qualquer conjunto. Vejamos isto mais precisamente. Suponhamos
que exista um conjunto A tal que nao seja subconjunto de A. Pelo que vimos anteriormente,
isto signica que existe algum elemento x tal que x / A. Mas, por deni cao de vazio,
nao podemos ter x . Esta contradi cao nos obriga a concluir que A pois, senao,
chegaramos a uma conclusao absurda.
Acabamos de mostrar que A usando um argumento do tipo demonstracao por
absurdo. Neste tipo de argumento supomos inicialmente que a conclusao desejada seja falsa
e, a partir desta hipotese, chegamos a um absurdo. Desta forma, somos obrigados a admitir
que a suposi cao e falsa e, portanto, que a conclusao desejada e verdadeira.
Existem conjuntos cujos elementos sao conjuntos como mostra o proximo exemplo.
1.2. OPERAC
OES COM CONJUNTOS. 3
EXEMPLO 1.8. Sejam A = 1, 2, B = 3 e ( = A, B. Tente se convencer de que
todas as armativas abaixo sao verdadeiras.
A (, B (, A (, B (, 1 / (, 2 / (, 3 / (.
Perceba ainda que e errado dizer 2 (, 3 ( ou
_
2
_
(. Entretanto, e verdade
que
_
3
_
( (esta e simplesmente a quarta das arma coes acima).
Quando ( e um conjunto de conjuntos, para simplicar a linguagem, muitas vezes dizemos
que ( e uma colecao, uma classe ou uma famlia de conjuntos. Para famlias utiliza-se
tambem nota cao especial (como veremos a seguir). Elementos de ( sao comumente chamados
de membros.
Por falar em conjuntos de conjuntos...
DEFINIC
AO 1.12. Se ( e uma cole cao nao vazia de conjuntos, entao a uniao ou reuniao
da cole cao ( e formado pelos elementos que pertencem a pelo menos um membro de (. Em
smbolos,
_
AC
A = x ; existe A ( tal que x A.
A intersecao da cole cao ( e constituda pelos elementos que pertencem a todos os membros
de (. Em smbolos,
AC
A = x ; x A para todo A (.
4 CAP
ITULO 1. NOC
OES DE TEORIA DOS CONJUNTOS
Por deni cao ABC = x ; x A e x B e x C. Neste caso podemos substituir
o conectivo e por uma vrgula , escrevendo AB C = x ; x A, x B e x C.
Porem, o conectivo ou e sempre preservado.
EXEMPLO 1.13. Sejam A = 1, 2, 3 e B = 1, 2, 4, 8. Temos
A B = 1, 2, 3, 4, 8 e A B = 1, 2.
DEFINIC
.
Dissemos anteriormente que um conjunto pode ser denido pela lista de seus elementos.
Devemos ressaltar que a ordem dos elementos na lista nao importa e que repeti coes sao
irrelevantes. Desta forma,
a, b, c = b, a, c = c, a, b = a, a, b, c.
Quando queremos que a ordem ou repeti coes sejam relevantes usamos o conceito de
par ordenado. Dados dois objetos a e b denimos o par ordenado (a, b) cuja primeira
coordenada e a e a segunda e b. Dois pares ordenados (a, b) e (c, d) sao iguais se eles forem
iguais coordenada por coordenada, i.e.,
(a, b) = (c, d) se, e somente se, a = c e b = d.
Repare que (a, b) ,= (b, a) salvo se a = b e que (a, a) ,= (a). De maneira analoga denimos
triplas ordenadas (a, b, c) ou n-uplas ordenadas (a
1
, . . . , a
n
).
DEFINIC
AC
A = x ; x A A ( e
_
AC
A = x ; A ( tal que x A.
1.4 Teoria dos Conjuntos e facil?
Nao entramos nos fundamentos logicos da Teoria dos Conjuntos e tudo parece trivial e
familiar. Mas (in)felizmente a Teoria dos Conjuntos nao e tao facil como possa parecer. Por
exemplo, nossa exposi cao apresenta uma inconsistencia logica, ou paradoxo, conhecido como
Paradoxo de Russel
2
.
Logo na primeira se cao dissemos que dada uma propriedade P podemos denir, ou melhor,
existe o conjunto A dos elementos que possuem a propriedade P e escrevemos
A =
_
x ; P(x)
_
.
Ora, nao ha nada mais razoavel.
Nada nos impede de considerar conjuntos cujos elementos sao conjuntos (como ja zemos
ao introduzir cole coes) e de questionar se um conjunto e elemento dele mesmo. Como
exemplo, considere o conjunto C de todos objetos que nao sao bolas. Ora, C nao e uma
bola, logo, C C. Vejamos como isto gera um paradoxo.
Diremos que um conjunto X e normal se ele nao pertence a si proprio, i.e., se X / X.
Seja N o conjunto dos conjuntos normais:
N = X ; X e normal = X ; X / X.
1
Este neologismo e derivado de outro em ingles i que signica if and only if. Foi o matematico Halmos
que o inventou. A ele devemos tambem o pequeno quadrado que indica nal de demonstra cao.
Paul Richard Halmos: 03/03/1916, Budapeste, Hungria.
2
Bertrand Arthur William Russell, 18/05/1872, Ravenscroft, Pas de Gales - 02/02/1970, Penrhyn-
deudraeth, Pas de Gales
6 CAP
ITULO 1. NOC
OES DE TEORIA DOS CONJUNTOS
Perguntamo-nos se N e normal. Existem duas respostas possveis: sim ou nao. Vamos
analisar cada uma delas.
1
a
possibilidade: N e normal.
Por deni cao, N e o conjunto dos conjuntos normais e, sendo ele proprio normal, temos
que N N. Isto implica, por deni cao de conjunto normal, que N nao e normal.
Temos entao uma contradi cao! Pode-se pensar que este argumento seja apenas uma
demonstra cao por absurdo que mostra que a primeira possibilidade nao funciona e entao
devemos concluir que e a segunda que e a boa. Vejamos.
2
a
possibilidade: N nao e normal.
Pela deni cao de N, e como N nao e normal, devemos ter N / N. Logo, por deni cao
de conjunto normal, conclumos que N e normal.
Novamente temos uma contradi cao. Nenhuma das duas possibilidades e possvel - para-
doxo!
Para eliminar este paradoxo da Teoria dos Conjuntos (que e o pilar de toda a Matematica)
uma solu cao e a seguinte. Ao inves de admitir que dada uma propriedade P existe o conjunto
dos elementos que possuem a propriedade P, admitimos que dada uma propriedade P e
um conjunto A existe o subconjunto dos elementos de A que possuem a propriedade P.
Escrevemos
_
x A ; P(x)
_
. Feito isto o argumento usado no Paradoxo de Russel se
transforma em um teorema (veja Exerccio 10) segundo o qual nao existe o conjunto de todas
as coisas ou, de forma mais poetico-losoca, nada contem tudo. Boa viagem!
1.5 Funcoes.
Todos sabemos que o valor da presta cao de uma televisao comprada em 12 parcelas iguais
e sem juros depende do seu pre co `a vista. Por isto, dizemos que o valor da presta cao e fun cao
do pre co `a vista. Neste caso, se x e o pre co `a vista, entao o valor da presta cao e x/12. A
fun cao valor da presta cao a cada valor `a vista x associa o valor da presta cao, dado por
x/12. De maneira geral, uma fun cao associa, atraves de uma regra precisa, cada elemento de
um conjunto a um unico elemento de outro conjunto (os dois conjuntos em questao podem
ser iguais).
O exemplo anterior e de uma fun cao numerica denida atraves de uma formula, mas nem
toda fun cao e deste tipo. Por exemplo, cada pessoa possui um unico tipo sanguneo, logo,
podemos considerar a fun cao que a cada elemento do conjunto das pessoas associa o seu tipo
sanguneo que e um elemento do conjunto A, B, AB, O. Mudando a regra a fun cao muda.
Assim, a fun cao anterior e diferente da fun cao que a cada pessoa associa o tipo sanguneo do
pai.
DEFINIC
ITULO 1. NOC
OES DE TEORIA DOS CONJUNTOS
DEFINIC
ILIAS 9
A deni cao anterior faz sentido pois dado x Atemos que f(x) f(A) e como f(A) C
temos f(x) C. Neste caso podemos aplicar g e encontrar g(f(x)) D.
Observamos ainda que a opera cao de composi cao de fun coes e associativa, i.e., se f :
A B, g : C D e h : E F com f(A) C e g(C) E, entao temos
_
(h g) f
_
(x) = (h (g f))(x) = h(g(f(x))) x A.
Para f : A A denimos f
n
: A A por f
n
= f f (n vezes).
DEFINIC
ITULO 1. NOC
OES DE TEORIA DOS CONJUNTOS
Como dito anteriormente, o uso mais frequente do termo famlia e quando o contradomnio
e uma cole cao de conjuntos. Trata-se, entao, de uma famlia de conjuntos. Neste caso,
existem nota coes especiais para a uniao e a interse cao da cole cao. Se (A
i
)
iI
e uma famlia
de conjuntos, entao a uniao e a interse cao da famlia sao denidas, respectivamente, por
_
iI
A
i
=
_
BC
B e
iI
A
i
=
BC
B,
sendo ( a imagem de A. Desta forma, x pertence a uniao da famlia (A
i
)
iI
se, e somente se,
existe B ( tal que x B. Mas como ( e a imagem de A, isto acontece quando, e somente
quando, existe i I tal que x A
i
. Do mesmo modo, constatamos que x e elemento da
interse cao de (A
i
)
iI
se, e somente se, x A
i
para todo i I. Em smbolos
_
iI
A
i
= x ; existe i I tal que x A
i
e
iI
A
i
= x ; x A
i
para todo i I.
Se I e o conjunto dos numeros inteiros de m ate n, entao tambem e usual escrever
n
_
i=m
A
i
= A
m
A
n
e
n
i=m
A
i
= A
m
A
n
.
Se I e o conjunto de todos os inteiros positivos, entao as nota coes usuais sao
+
_
i=1
A
i
= A
1
A
2
e
+
i=1
A
i
= A
1
A
2
.
O smbolo (innito) que aparece nas nota coes anteriores nao e um numero. Ele e
apenas um smbolo tipograco cujo papel e dizer que tanto a uniao quanto a interse cao da
famlia (A
i
)
iI
sao tomadas para todo i 1, 2, 3, . . . . Este mesmo smbolo aparecera em
varias nota coes ao longo do texto sendo que em cada uma delas seu papel sera diferente.
Porem, sempre devemos ter em mente que innito nao e numero!
1.7 Exerccios.
1 - Sejam A, B e C subconjuntos de um conjunto X. Mostre que
a) A = A;
b) A = ;
c) A X = X;
d) A X = A;
e)
= X;
1.7. EXERC
ICIOS. 11
f ) X
= ;
g) A B e B C = A C;
h) A B = B
;
i ) A (B C) = (A B) (A C);
j ) A (B C) = (A B) (A C);
k) (A B)
= A
;
l ) (A B)
= A
.
2 - Mostre que as seguintes arma coes sao equivalentes.
i. A B;
ii. A B = A;
iii. A B = B.
3 - Considere uma famlia (A
i
)
iI
de subconjuntos de um conjunto X. Seja ainda A X.
Mostre que
a) A
_
iI
A
i
_
=
iI
(A
i
A);
b) A
_
iI
A
i
_
=
iI
(A
i
A);
c)
_
iI
A
i
_
iI
A
i
;
d)
_
iI
A
i
_
iI
A
i
.
Repare que (3.a), (3.b), (3.c) e (3.d) sao generaliza coes de (1.i), (1.j), (1.l) e (1.k)
(respectivamente). As rela coes (3.a) e (3.b) sao chamadas leis de distributividade enquanto
que (3.c) e (3.d) sao conhecidas como leis de De Morgan
1
.
4 - Sejam f : A B e C, D A mostre que
a) f(C D) = f(C) f(D);
b) f(C D) f(C) f(D).
5 - De um exemplo que mostre que podemos nao ter igualdade entre os conjuntos do
exerccio (4.b).
6 - Sejam f : A B e C, D B mostre que
a) f
1
(C D) = f
1
(C) f
1
(D);
1
Augustus De Morgan: 27/06/1806, Madura,
India - 18/03/1871, Londres, Inglaterra.
12 CAP
ITULO 1. NOC
OES DE TEORIA DOS CONJUNTOS
b) f
1
(C D) = f
1
(C) f
1
(D).
Observacao: Neste exerccio, f
1
tem o sentido da Deni cao 1.22.
7 - Sejam f : A B e (B
i
)
iI
uma famlia de subconjuntos de B. Mostre que
a) f
1
_
iI
B
i
_
=
iI
f
1
(B
i
);
b) f
1
_
iI
B
i
_
=
iI
f
1
(B
i
).
Observacao: Neste exerccio, f
1
tem o sentido da Deni cao 1.22.
8 - Sejam f : A B, C A e D B. Mostre que
a) C f
1
(f(C));
b) f (f
1
(D)) D.
Observacao: Neste exerccio, f
1
tem o sentido da Deni cao 1.22.
9 - Seja f : A B. Mostre que f e invertvel se e somente se f e bijetiva.
10 - Usando o argumento do Paradoxo de Russel, mostre dado um conjunto A, existe um
conjunto N tal que N / A. Conclua que nao existe o conjunto de todas as coisas, nem o
conjunto de todos os conjuntos.
Captulo 2
N umeros naturais, inteiros e racionais
2.1 N umeros naturais e inteiros.
O conjunto usado para contagens e o conjunto N = 1, 2, 3, . . . . De tao natural, N
ganha o nome (N e o conjunto dos numeros naturais) e e o primeiro conjunto numerico
que aparece na historia de qualquer civiliza cao ou em qualquer tratado sobre os fundamentos
da Matematica.
Neste curso admitiremos conhecidos os conjunto N e Z = . . . , 2, 1, 0, 1, 2, . . . (dos
numeros inteiros) bem como suas propriedades algebricas de soma e multiplica cao e sua
rela cao de ordem .
No conjunto N valem dois princpios fundamentais: o Princpio da Boa Ordem e o
Princpio da Indu cao.
PRINC
IPIO 2.2. (Da Boa Ordem) Todo subconjunto nao vazio de N possui elemento
mnimo, ou seja, se B N com B ,= , entao existe n B tal que n m para todo
m B.
O Princpio da Indu cao (e suas variantes) e usado para demonstrar que certas propriedades
sao verdadeiras para todo numero natural. A estrategia e a seguinte. Denimos o conjunto A
constitudo pelos numeros naturais que possuem uma certa propriedade P. A seguir, mostra-
se que A satisfaz (2.1) e (2.2). Da, conclumos que A = N e, portanto, que P e vericada por
todo numero natural. Este tipo de argumento e chamado de demonstracao por inducao.
13
14 CAP
ITULO 2. N
AVEIS E N
AO ENUMER
AVEIS. 15
2.2 Conjuntos nitos, enumeraveis e nao enumeraveis.
Como dissemos na Se cao 2.1 o conjunto N e o conjunto usado para contagens. Quando
queremos contar, por exemplo, o numero de integrantes do grupo The Beatles procedemos
da seguinte maneira. A cada musico associamos um elemento do conjunto N seguindo a sua
ordem usual: Paul 1, John 2, George 3 e Ringo 4.
Acabamos de denir uma fun cao injetiva f do conjunto A = Beatles no conjunto N,
de modo que f(Paul) = 1, f(John) = 2, f(George) = 3 e f(Ringo) = 4. Bastava tomar
o conjunto B = 1, 2, 3, 4 como contradomnio que f ainda seria injetiva. Porem, isto nao
seria possvel se B fosse 1, 2, 3 pois, neste caso, pelo menos um elemento de B estaria
associado a mais de um musico (e portanto f nao seria injetiva). De fato, 4 e o menor
numero n tal que o conjunto 1, . . . , n possa ser contradomnio sem que f deixe de ser
injetiva.
Estas considera coes nos levam `as seguintes deni coes:
DEFINIC
AO 2.7. Seja A um conjunto nao vazio. Se existe n N e uma fun cao injetiva
g : A 1, . . . , n diremos que A e nito, caso contrario, A e innito. O menor numero
n que verica esta propriedade e dito numero de elementos de A. Escrevemos #A = n.
Diremos tambem que o conjunto vazio e nito e que seu numero de elementos e 0.
Observamos que o numero de elementos de um conjunto nito A nao vazio e bem denido
gra cas ao Princpio da Boa Ordem. De fato, o conjunto dos n umeros n N que vericam a
propriedade existe fun cao injetiva g : A 1, . . . , n e um subconjunto nao vazio (pois A
e nito) de N e portanto possui um elemento mnimo.
Vejamos outro exemplo de contagem. Um professor vai aplicar uma prova e nao tem
certeza se a sala destinada a este efeito tem um numero suciente de cadeiras para acomodar
os alunos. Ele pode contar as cadeiras e os alunos e comparar os resultados para obter a
resposta. Uma alternativa obvia a este metodo e pedir aos alunos que se acomodem e tres
coisas podem acontecer ao nal do processo:
i. existem alunos de pe e todas as cadeiras estao ocupadas;
ii. existem cadeiras livres e todos os alunos estao sentados;
iii. todos os alunos estao sentados e todas as cadeiras estao ocupadas.
No primeiro caso temos que o numero de alunos e maior que o de cadeiras, no segundo
caso ocorre o contrario e, nalmente, no terceiro eles sao iguais. Obtemos assim a resposta
`a pergunta qual conjunto tem mais elementos? sem necessariamente conhecer os numeros
de elementos dos conjuntos envolvidos. Estas considera coes motivam a seguinte deni cao.
16 CAP
ITULO 2. N
E verdade que #A #B se, e somente se, #B #A mas este fato carece de demons-
tra cao.
PROPOSIC
AVEIS E N
AO ENUMER
AVEIS. 17
TEOREMA 2.11. (De Cantor
1
-Bernstein
2
-Schroder
3
) Se #A #B e #B #A,
entao #A = #B.
Demonstracao. Por hipotese, existem f : A B e g : B A injetivas. Considere
F : T(A) T(A) dada por
F(X) = g
_
f(X)
X A.
Seja X
0
=
+
i=0
F
i
(A) (convencionando que F
0
(A) = A). Como f e injetiva, temos
f(X
0
) = f
_
+
i=0
F
i
(A)
_
=
+
i=0
f
_
F
i
(A)
_
.
Portanto,
F(X
0
) = g
_
_
_
+
i=0
f
_
F
i
(A)
_
_
_
_
= g
_
+
_
i=0
f
_
F
i
(A)
_
=
_
+
_
i=0
g
_
f
_
F
i
(A)
_
_
_
=
+
i=0
g
_
f
_
F
i
(A)
_
=
+
i=0
F
_
F
i
(A)
_
=
+
i=1
F
i
(A) =
+
i=0
F
i
(A) = X
0
.
Segue que X
0
= F(X
0
)
= g
_
f(X
0
)
_
. Conclumos que g e uma bije cao de f(X
0
)
em X
0
,
logo, g
1
e uma bije cao de X
0
em f(X
0
)
0
,
e bijetiva.
A primeira vista esta demonstra cao pode parecer mirabolante. Vejamos que, de certa
forma, ela e muito natural.
O objetivo e construir uma bije cao h de A em B. Estao `a nossa disposi cao dois ingre-
dientes: uma fun cao f de A em B e uma fun cao g de B em A, ambas injetivas. Existem,
portanto, dois caminhos naturais que vao de A ate B: f e g
1
. Considerando isto na de-
ni cao de h, o problema resume-se a decidir quais pontos de A seguirao o primeiro caminho
e quais seguirao o segundo. Ou seja, dividimos A em duas partes complementares, X
0
e X
0
,
e fazemos h = f em X
0
e h = g
1
em X
0
.
1
Georg Ferdinand Ludwig Philipp Cantor: 03/03/1845, Sao Petersburgo, Russia - 06/01/1918 Halle,
Alemanha.
2
Felix Bernstein: 24/02/1878, Halle, Alemanha - 03/12/1956, Zurique, Su ca.
3
Friedrich Wilhelm Karl Ernst Schroder: 25/11/1841, Mannheim, Alemanha - 16/07/1902, Karlsruhe,
Alemanha.
18 CAP
ITULO 2. N
0
forem complementares
(em B). Ou seja, devemos escolher X
0
de modo que f (X
0
)
= g
1
_
X
0
_
ou, de modo
equivalente, g
_
f(X
0
)
_
= X
0
. A ultima equa cao e rescrita como F(X
0
) = X
0
, sendo F
denida na demonstra cao.
Por vericar F(X
0
) = X
0
, X
0
e dito ponto xo de F. Argumentos de ponto xo sao
bastante usuais em Analise. A ideia, intuitiva, e a seguinte. Considere uma fun cao : Y Y
para a qual queremos encontrar um ponto xo. Tomamos y Y e iteramos innitas vezes
obtendo o resultado y
0
. Aplicando a y
0
, teremos como resultado iterada innitas vezes,
a partir de y, ou seja, encontraremos novamente y
0
. Portanto, (y
0
) = y
0
. A descri cao dada
aqui foge aos padroes de rigor da Matematica. A ideia de iterar innitas vezes e formalizada
tomando a sequencia
(y), ((y)), (((y))), . . .
e vericando se ela tende a algum elemento que, naturalmente, esperamos ser ponto xo de
. Para completar este programa, precisamos dos conceitos de limite e continuidade. Estes
conceitos, fundamentais `a Analise, serao explorados nos proximos captulos.
Na demonstra cao anterior nao foi necessario considerar limites. Isto, pois e natural dizer
que uma sequencia de conjuntos encaixantes:
A
1
A
2
A
3
. . .
converge para
+
n=1
A
n
.
EXEMPLO 2.12. Seja A um conjunto nao vazio.
E evidente que #A = #A pois a fun cao
identidade Id : A A dada por Id(x) = x para todo x A e uma bije cao.
EXEMPLO 2.13. Sejam A e B dois conjuntos nao vazios com A B. Obviamente
#A #B pois a fun cao Id : A B dada por Id(x) = x para todo x A e injetiva.
EXEMPLO 2.14. #Z = #N. Escrevendo Z = 0, 1, 1, 2, 2, 3, 3, . . . uma bije cao de
f : N Z nos salta aos olhos. Ela e dada por f(1) = 0, f(2) = 1, f(3) = 1, f(4) =
2, f(5) = 2, f(6) = 3, . . . , mais precisamente,
f(n) =
_
m se n = 2m, m = 1, 2, 3, . . .
m se n = 2m+ 1, m = 0, 1, 2, . . .
EXEMPLO 2.15. #N
2
= #N, em particular, N
2
e enumeravel. De fato, #N #N
2
pois
a fun cao f : N N
2
dada por f(n) = (n, n) e claramente injetiva. Por outro lado, vejamos
que #N
2
#N. Pela unicidade da fatora cao de naturais como produto de primos, (Teorema
Fundamental da Aritmetica) temos que a fun cao g : N
2
N dada por g(m, n) = 2
m
3
n
e injetiva. Outra demonstra cao, bastante popular, para #N
2
= #N e obtida atraves do
esquema mostrado na Figura 2.1.
Uma bije cao h : N N
2
e denida seguindo as setas da seguinte maneira:
h(1) = (1, 1), h(2) = (1, 2), h(3) = (2, 1), h(4) = (1, 3), h(5) = (2, 2), . . .
2.2. CONJUNTOS FINITOS, ENUMER
AVEIS E N
AO ENUMER
AVEIS. 19
(1,1) (1,2) (1,3) (1,4) (1,5)
(2,1) (2,2) (2,3) (2,4)
.
.
.
(3,1) (3,2) (3,3)
.
.
.
(4,1) (4,2)
.
.
.
(5,1)
.
.
.
.
.
.
Figura 2.1: Bijecao de N em N
2
.
EXEMPLO 2.16. Vamos mostrar que #N < #T(N). Ora, a fun cao f : N T(N) dada
por f(n) = n e obviamente injetiva, logo, #N #T(N). Suponhamos, por absurdo, que
exista uma bije cao g : N T(N). Seja A =
_
n N ; n / g(n)
_
. Como g e bijetiva,
existe m N tal que g(m) = A. Das duas, uma: ou m A ou m / A. Se m A, entao
m / g(m) = A, que e absurdo! Por outro lado, se m / A, entao m g(m) = A o que
tambem e absurdo. Conclumos que nao existe bije cao de N em T(N).
O argumento usado no Exemplo 2.16 lembra muito o do Paradoxo de Russel. Ele e
conhecido pelo nome de Processo de Diagonaliza cao de Cantor. Georg Cantor foi o primeiro
matematico a se interessar pelas questoes de cardinalidade. A ele devemos este conceito. Ele
procurou, sem sucesso, um conjunto A tal que #N < #A < #T(N). Finalmente ele
conjecturou que nao existia tal conjunto: a chamada Hipotese do Contnuo. Demonstra-la
ou encontrar contra-exemplo foi o primeiro da lista de 16 problemas nao resolvidos no seculo
XIX que, segundo Hilbert
1
, seriam os principais a serem estudados no seculo XX. A questao
foi totalmente resolvida em 1963. Numa primeira etapa, em 1940, Godel
2
[9] mostrou que ele
era consistente com os axiomas de Teoria dos Conjuntos propostos por Zermelo
3
e Fraenkel
4
,
ou seja, Godel mostrou que nao era possvel demonstrar que a Hipotese do Contnuo era falsa.
Finalmente, em 1963, Cohen
5
[3] mostrou que, por outro lado, nao era possvel mostrar que
ela era verdadeira! Desta forma demonstrou-se que a Hipotese do Contnuo e independente
dos axiomas da Teoria dos Conjuntos.
1
David Hilbert: 23/01/1862, Kaliningrad, Russia - 14/02/1943, Gottingen, Alemanha.
2
Kurt Godel: 28/04/1906, Brno, Republica Tcheca - 14/01/1978, Princeton, Estados Unidos.
3
Ernst Friedrich Ferdinand Zermelo: 27/07/1871, Berlim, Alemanha - 21/05/1953, Freiburg, Alema-
nha.
4
Adolf Abraham Halevi Fraenkel: 17/02/1891, Munique, Alemanha - 15/10/1965, Jerusalem, Israel.
5
Paul Joseph Cohen: 02/04/1934, Long Branch, Estados Unidos.
20 CAP
ITULO 2. N
+
n=1
A
n
e enumeravel.
Demonstracao. Sem perda de generalidade, podemos supor que A
n
,= para todo n N.
Seja A =
+
n=1
A
n
.
Por hipotese, para cada n N, temos que A
n
e enumeravel, logo, existe f
n
: N A
n
sobrejetiva. Vamos mostrar que a fun cao
f : N N A
(n, m) f
n
(m)
e sobrejetiva. De fato, se x A, entao existe n N tal que x A
n
. Como f
n
e sobrejetiva,
existe m N tal que f
n
(m) = x. Segue que f(n, m) = f
n
(m) = x.
No Exemplo 2.15 vimos que #N = #N
2
. Portanto, existe g : N N
2
sobrejetiva. Segue
que f g : N A e sobrejetiva.
2.3 O Hotel de Hilbert
David Hilbert foi grande entusiasta das descobertas de Cantor, chegando a armar que
ninguem nos expulsara do paraso que Cantor criou para nos. Para ilustrar o conceito de
innitude e enumerabilidade, Hilbert imaginou um hotel de innitos quartos. Vamos explorar
a ideia de Hilbert com uma dose (extra) de c cao.
O Hotel de Hilbert ca ao bordo do Mar Mediterraneo, em Saint Tropez, na badalada Cote
dAzur. Seu edifcio, cinza e branco, construdo em 1925 e um belo exemplo do estilo art-deco
dos anos 20 e 30 do seculo XX. Grande e confortavel, o hotel tem uma innidade enumeravel
de quartos sucientes para hospedar clientes dos mais diversos gostos. Desde aqueles em
busca de dias tranquilos e ensolarados aos que preferem noites em botes agitadas. O gerente,
o proprio David Hilbert, e um homem muito gentil, de barba bem tratada que nunca e visto
sem seus oculos e chapeu branco.
2.4. N
ITULO 2. N
, temos 0 + 0
= 0
. Da mesma
maneira, obtemos que 0
+ 0 = 0. Portanto, 0
= 0 + 0
= 0
+ 0 = 0.
Analogamente a existencia do oposto de x implica a sua unicidade. De fato, suponhamos
que y e z sao opostos de x. Isto signica que x + y = 0 e x + z = 0, logo x + y = x + z.
Adicionando y aos dois lados da equa cao obtemos
y+x+y = y+x+z = (y+x)+y = (y+x)+z = 0+y = 0+z = y = z.
Cabe ao leitor a tarefa de vericar as unicidades de 1 e do inverso.
Da deni cao de oposto e da comutatividade da soma, temos que x e o oposto de y se, e
somente se, y e o oposto de x. Em outros termos, o oposto de x e x, ou ainda (x) = x.
Observa cao analoga vale para o inverso.
Para simplicar a escrita, usaremos as seguintes conven coes:
x y = x + (y) e
x
y
= x/y = x y
1
.
As opera coes de um corpo podem ser estendidas `as fun coes com contra-domnio neste
corpo. Este e o objeto da proxima deni cao.
24 CAP
ITULO 2. N
AO 2.23. Uma rela cao num corpo (K, +, ) e dita ordem total ou, simples-
mente, ordem se valem as seguintes propriedades.
i. Ela e transitiva: se x y e y z, entao x z.
ii. Ela e anti-simetrica: se x y e y x, entao x = y.
iii. Ela e completa: x, y K temos x y ou y x.
iv. A adi cao e monotona: se x y, entao x +z y +z z K.
v. A multiplica cao e monotona : se x y, entao x z y z quando 0 z e y z x z
quando z 0.
Neste caso, dizemos que (K, +, , ) e um corpo ordenado.
DEFINIC
ITULO 2. N
ICIOS. 27
f ) se x < 0 e y < 0, entao x y > 0.
14 - Seja f : A B uma fun cao crescente e decrescente ao mesmo tempo. Mostre que
f e constante, i.e., f(x) = f(y) quaisquer que sejam x, y A.
15 - Seja (K, +, , ) um corpo ordenado.
a) Mostre que 0 x x para todo x K e conclua que 0 < 1.
b) Mostre que se 0 x, entao x 0 e conclua que 1 < 0. (Aten cao: desigualdade
estrita).
c) Diga porque e impossvel denir uma rela cao de ordem no conjunto dos complexos de
modo que (C, +, , ) seja um corpo ordenado.
Sugestao: Em (15.a) considere separadamente os casos 0 x e x 0 e utilize a
monotonia de para a multiplica cao. Em (15.b) use a monotonia de para a adi cao. Em
(15.c) use (15.a) e (15.b) e considere x = i.
16 - Seja (K, +, , ) um corpo ordenado. Sejam x, y K. Mostre que
a) se x > 0, entao x
1
> 0;
b) se x < 0, entao x
1
< 0;
c) se 0 < x < y, entao 0 < y
1
< x
1
.
17 - (Desigualdade de Bernoulli
1
) Sejam (K, +, , ) um corpo ordenado contendo N
e a K com a 1. Mostre, por indu cao, que (1 +a)
n
1 +na para todo n N.
18 - Sejam (K, +, , ) um corpo ordenado arquimediano, e x K com x > 0. Mostre
que
a) existe y K tal que 0 < y < x;
b) se y K e y > 0, entao existe n N tal que x < ny;
c) se y K e y > 1, entao existe n N tal que x < y
n
.
1
Jacques Bernoulli: 27/12/1654, Basileia, Su ca - 16/08/1705, Basileia, Su ca.
28 CAP
ITULO 2. N
ITULO 3. N
UMEROS REAIS
e, logo, n tambem e. Provamos que tanto m quanto n sao pares contradizendo o fato que
eles nao possuem divisor comum maior que 1. Isto mostra que 1 e d sao incomensuraveis.
A comensurabilidade entre dois segmentos quaisquer e equivalente ao fato que todo
numero e racional! A incomensurabilidade entre 1 e d signica que d =
2 nao e racio-
nal. Isto mostrou aos Pitagoricos que, ao contrario do que eles preconizavam, os numeros
(inteiros) e suas razoes nao eram capazes de explicar tudo. Acredita-se este resultado foi
descoberto e revelado por Hippasus de Metapontum
1
que, por este motivo, foi expulso da
confraria (pior, segundo a lenda, ele foi jogado ao mar).
Foi Eudoxo
2
quem resolveu a crise surgida com a descoberta dos incomensuraveis intro-
duzindo uma nova deni cao de propor cao de segmentos tal como ela aparece no livro V de
Os Elementos de Euclides
3
.
3.2 Cortes de Dedekind.
Vimos na se cao anterior que os numeros racionais sao insucientes. Por isto, devemos
completa-los introduzindo o corpo ordenado (R, +, , ) dos numeros reais. O conjunto R
contem o conjunto dos numeros racionais. Existem varias maneiras de construir este corpo
ordenado. Neste texto, optamos pela constru cao atraves de cortes de Dedekind
4
[4] que pode
ser vista como uma moderniza cao da ideia de Eudoxo.
Com certeza o leitor esta habituado a trabalhar com numeros reais. Porem, se este e seu
primeiro Curso de Analise, e muito provavel que ele nunca tenha visto a deni cao de numero
real. O objetivo desta se cao e cobrir esta lacuna.
Os gregos da epoca pitagorica conheciam e manipulavam numeros racionais e apenas
eles. Suas demonstra coes eram baseadas nas propriedades dos racionais e somente nelas. Por
outro lado, eles sabiam que existiam outros numeros (por exemplo
EIA, para explicar a ideia intuitiva sobre os numeros reais que estara
1
Hippasus de Metapontum: 500 A.C., Metapontum, Italia - ?
2
Eudoxo de Cnido: 408 A.C., Cnido, Turquia - 355 A.C., Cnido, Turquia.
3
Euclides de Alexandria: 325 A.C., ? - 265 A.C., Alexandria, Egito.
4
Julius Wihelm Richard Dedekind: 06/10/1831, Braunschweig, Alemanha - Braunschweig, Alemanha.
3.2. CORTES DE DEDEKIND. 31
por tras das demonstra coes e deni coes que a seguirao. Porem, elas servem apenas para isto
e nao podem ser usadas como fato constatado. Come camos por uma destas ideias.
ID
EIA. Seja A um intervalo (de numeros reais) aberto, ilimitado inferiormente e limitado
superiormente. Claramente, existe a R tal que A = (, a). Reciprocamente, dado um
numero real a o intervalo (, a) e aberto, ilimitado inferiormente e limitado superiormente.
Desta forma, existe uma correspondencia biunvoca entre numeros reais e intervalos abertos,
ilimitados inferiormente e limitados superiormente. A nossa constru cao sera baseada nesta
correspondencia: consideraremos intervalos do tipo (, a) e no conjunto de tais intervalos
deniremos uma rela cao de ordem assim como opera coes de soma e multiplica cao. Ao nal
diremos que cada intervalo destes e um numero real.
O nosso trabalho consiste entao em denir um intervalo aberto, ilimitado inferiormente e
limitado superiormente, i.e., um intervalo do tipo (, a) sem considerar o numero a que,
rigorosamente falando, nao existe! A deni cao seguinte cumpre este objetivo.
DEFINIC
,= .
ii. Se p A e q < p entao q A.
iii. Para todo p A existe q A tal que p < q.
Denotamos o conjunto de todos os cortes por .
ID
EIA. As duas primeiras condi coes da Deni cao 3.1 implicam que A e um conjunto da forma
(, a) Q ou (, a] Q. A terceira condi cao exclui a segunda possibilidade (quando
a Q) dizendo que A nao tem maximo.
EXEMPLO 3.2. Seja r Q. O conjunto Z(r) = p Q ; p < r e um corte. De fato, e
facil ver que Z(r) satisfaz as duas primeiras propriedades da deni cao de corte. Falta mostrar
que ele satisfaz a terceira. Seja p Z(r) e tomemos q = (p +r)/2. Claramente temos p < q
e q < r (logo q Z(r)). Denimos desta maneira uma fun cao Z : Q que e claramente
injetiva. Veremos, posteriormente, outras de suas importantes propriedades.
O exemplo anterior e fundamental. Para destaca-lo, fazemos a seguinte deni cao.
DEFINIC
EIA. Sejam a e b dois numeros reais. Temos que a b se, e somente se, (, a)
(, b). Isto nos indica que a rela cao de inclusao entre cortes e a maneira natural de denir
32 CAP
ITULO 3. N
UMEROS REAIS
uma rela cao de ordem no conjunto . Ja sabemos que a rela cao de inclusao e transitiva
e anti-simetrica. Porem, ela nao e completa pois existem A Q e B Q que nao sao
comparaveis, i.e., nem A B nem B A. Entretanto se A e B sao cortes uma destas
inclusoes deve ser verdadeira. Este e o assunto do proximo teorema.
TEOREMA 3.4. Sejam A, B . Temos A B ou B A.
Demonstracao. Se A = B, entao nao ha nada a ser demonstrado. Suponhamos que A ,= B.
Entao, existe p B tal que p / A ou existe q A tal que q / B.
No primeiro caso devemos ter A B. De fato, qualquer que seja r A temos r < p
(pois senao, se fosse p r, entao, como A e corte, teramos p A) e, como B e corte,
r B.
De maneira analoga, conclumos que no segundo caso temos B A.
PROPOSIC
e q
0
B
AO 3.7.
E facil ver que se A, B sao tais que Z(0) A B, entao
Z(0) A B.
Fica assim denida uma opera cao de adi cao entre cortes. Mostraremos que esta opera cao
satisfaz algumas das propriedades da adi cao em um corpo.
3.2. CORTES DE DEDEKIND. 33
TEOREMA 3.8. Sejam A, B, C . Temos
i. AB = B A;
ii. (AB) C = A(B C);
iii. AZ(0) = A.
Demonstracao. (i) Seja r A B. Podemos escrever r = p + q com p A e q B.
Pela comutatividade da soma de numeros racionais, temos r = q + p com q B e p A.
Conclumos que r B A e, portanto, A B B A. Da mesma maneira mostra-se a
inclusao contraria.
(ii) Esta propriedade e consequencia imediata da associatividade da soma de numeros
racionais (assim como (i) e da comutatividade).
(iii) Seja r A Z(0). Escrevemos r = p + q com p A e q Z(0). Ora q Z(0)
signica q < 0, logo, p+q < p+0, i.e., r < p. Como A e corte, segue que r A. Mostramos
assim que A Z(0) A. Reciprocamente, seja r A. Tomemos p A tal que r < p. Se
q = r p, entao q < 0 e, portanto, q Z(0). Conclumos que r = p +q AZ(0).
ID
.
PROPOSIC
e q A
.
E facil ver que (q +1) B e p B
. Portanto,
B ,= e B
,= .
Sejam p B e q < p. Temos que p < q. Como p A
, segue que q A
e que
q nao e mnimo de A
. Conclumos que q B.
Seja p B. Por deni cao de B, existe q A
AO 3.11. Seja A .
E facil ver que:
34 CAP
ITULO 3. N
UMEROS REAIS
i. A = Z(0) A = Z(0);
ii. A ,= Z(0) A ,= Z(0);
iii. A Z(0) A Z(0);
iv. A Z(0) A Z(0).
O teorema justica porque chamamos o corte A de oposto de A.
TEOREMA 3.12. Seja A . Temos que A(A) = Z(0).
Demonstracao. Seja r A (A). Entao existem s A, p A e q A
tais que
r = s + p e q < p. Como s A e q A
. Tomemos
p = s
(n 1)r
2
, t = s
nr
2
e q = s
(n + 1)r
2
.
EIA. Queremos denir multiplica cao de cortes. A primeira ideia e imitar a deni cao da
soma. Denimos o conjunto C, produto dos cortes A e B, formado pelos produtos p q sendo
p A e q B. Porem, isto nao funciona pois o conjunto C nao e corte. Para ver isto,
considere o exemplo A = B = Z(2). Neste caso, C = Q. De fato, 1, 1 A e se r < 0,
entao r B. Segue que r, r C e, portanto, C = Q.
Vamos adaptar esta ideia inicialmente para cortes positivos. Posteriormente, estendere-
mos a deni cao para todos os cortes. Como vimos no Exerccio 13 do Captulo 2, o produto
de numeros positivos e positivo. Portanto, tomando apenas os racionais positivos nos cortes
A e B obteremos apenas os racionais positivos de C. Para que C seja corte, faltara incluir
os racionais negativos.
PROPOSIC
e q
0
B
EIA. Para estender a deni cao de produto para cortes nao positivos, procedemos como
quando aprendemos a multiplicar numeros negativos pela primeira vez (no Ensino Fundamen-
tal). Fazemos o produto dos modulos e ao resultado impomos o sinal de acordo com a regra
dos sinais. Vejamos a deni cao de modulo de um corte e, em seguida, a deni cao geral do
produto.
DEFINIC
_
[A[ [B[ se Z(0) A e Z(0) B,
([A[ [B[) se Z(0) A e B Z(0),
([A[ [B[) se A Z(0) e Z(0) B,
[A[ [B[ se A Z(0) e B Z(0).
(3.1)
36 CAP
ITULO 3. N
UMEROS REAIS
TEOREMA 3.18. Sejam A, B, C . Temos
i. AB = B A;
ii. (AB) C = A(B C);
iii. AZ(1) = A.
Onde Z(1) = p Q ; p < 1 (conforme a Deni cao 3.3).
Demonstracao. Suponhamos, inicialmente, que Z(0) A B C.
(i) Seja r A B. Se r < 0, entao e imediato que r B A. Suponhamos r 0.
Podemos escrever r = p q com p A, q B, p 0 e q 0. Pela comutatividade
do produto de numeros racionais, temos r = q p com q B, p A, q 0 e p 0.
Conclumos que r B A e, portanto, A B B A. Da mesma maneira mostra-se a
inclusao contraria.
(ii) Esta propriedade e consequencia imediata da associatividade do produto de numeros
racionais (assim como (i) e da comutatividade).
(iii) Observamos inicialmente que Z(0) Z(1). Seja r A Z(1). Novamente, se
r < 0, entao e imediato que r Z(0) A. Suponhamos r 0. Escrevemos r = p q com
p A, q Z(1) e p 0. Ora q Z(1) signica q < 1, logo, p q p 1, i.e., r p.
Como A e corte, segue que r A. Mostramos assim que A Z(1) A. Reciprocamente,
seja r A. Se r < 0, entao r A Z(1). Suponhamos r 0. Tomemos p A tal
que 0 r < p. Se q = r/p, entao 0 q < 1 e, portanto, q Z(1). Conclumos que
r = p q A Z(1).
O caso geral e consequencia da parte ja demonstrada. Por exemplo, vamos mostrar (i)
para A Z(0) B. Neste caso,
AB = ([A[ [B[) = ([B[ [A[) = B A.
A primeira igualdade segue da terceira linha de (3.1), a segunda igualdade e a parte ja
demonstrada do teorema e a terceira igualdade segue da segunda linha de (3.1). Deixo para
o leitor a tarefa de terminar a prova do teorema.
PROPOSIC
e q A
e corte.
Demonstracao. Claramente temos 1 B. Seja p A tal que p > 0. Temos que
p
1
B
. De fato, se fosse p
1
B, entao teramos p = (p
1
)
1
A
, que e absurdo.
3.2. CORTES DE DEDEKIND. 37
Sejam p B e q < p. Se q 0, entao trivialmente temos q B. Suponhamos q > 0 e,
portanto, p > q > 0. Temos p
1
< q
1
. Como p
1
A
, segue que q
1
A
e que q
1
nao
e mnimo de A
. Conclumos que q B.
Seja p B. Vamos mostrar que existe q B tal que p < q. Claramente existe q B
com q > 0, logo, se p 0, entao nao ha nada a ser demonstrado. Suponhamos p > 0. Por
deni cao de B, existe r A
. Tomando q = s
1
temos p < q e tambem q B pois q
1
A
e
r < q
1
.
DEFINIC
,
temos s < q. De q < p
1
segue que p < q
1
e, pela monotonia da multiplica cao, s p < s/q.
Portanto, r = s p < s/q < 1. Conclumos que r Z(1).
Reciprocamente, seja r Z(1). Como antes, se r < 0, entao e imediato que r A
(A
1
). Por outro lado, se r = 0, entao, como 0 A e 0 A
1
, temos r = 0 0 A(A
1
).
Suponhamos r > 0. Seja s A com s > 0 e n o menor natural tal que s (r
1
)
n
A
(tal
n existe pois r < 1 e, portanto, r
1
> 1). Tomemos
p
1
= s (r
1
)
n1
e t = s (r
1
)
n
.
Pela escolha de n, temos p
1
A e t A
e
da que q A
1
. Temos ainda
p q = p t
1
p
1
p
1
= s
1
r
n
s (r
1
)
n1
= r.
Conclumos que r AA
1
.
Consideremos o caso A Z(0). Temos trivialmente que A
1
Z(0). Da deni cao de
produto de cortes e da parte ja demonstrada do teorema obtemos
A(A
1
) = [A[ [A
1
[ = [A[ [ ([A[
1
)[ = [A[ ([A[
1
) = Z(1).
38 CAP
ITULO 3. N
UMEROS REAIS
TEOREMA 3.22. Sejam A, B, C . Temos que (AB) C = (A C) (B C).
Demonstracao. Suponhamos inicialmente Z(0) A B C.
Seja r (A B) C. Vamos mostrar que r (A C) (B C). Em vista das
observa coes 3.7 e 3.15 temos Z(0) (A C) (B C) e, portanto, basta considerar o
caso r 0. Podemos supor ainda que r > 0 pois, neste caso, se r e elemento do corte
(A C) (B C), entao 0 tambem e. Neste caso, existem p A B e q C tais que
r = p q, p > 0 e q > 0. Ora p A B, logo, podemos escrever p = s + t com s A e
t B. Vamos mostrar que s q AC (da mesma maneira mostra-se que t q B C).
Se s q < 0, entao, novamente gra cas `as observa coes 3.7 e 3.15, e imediato que s q AC.
Por outro lado, se 0 sq, entao, como q > 0, temos que s 0 e da segue que sq AC.
Tendo r = sq+tq com sq AC e tq BC, conclumos que r (AC)(BC).
Seja r (A C) (B C) e mostremos que r (A B) C. Como antes, basta
considerar o caso r > 0. Existem p AC e q B C tais que r = p +q. Como 0 < r,
temos p > 0 ou q > 0. Para xar as ideias, suponhamos p > 0. Neste caso, existem s A
e t C tais que p = s t, s > 0 e t > 0. Vamos considerar separadamente os casos q > 0,
q = 0 e q < 0.
1) q > 0.
Existem u B e v C tais que q = u v, u > 0 e v > 0. Suponhamos v t (o caso
v > t se trata analogamente). Temos r = s t +u v = (s +u v/t) t. Como v/t 1 temos
que u v/t B. Segue que r (AB) C.
2) q = 0.
Tomemos q
. Como r = p + q < p + q
_
q
s
p q
_
.
Vemos que r/s < 1 e, portanto, pr/s < p. Segue que pr/s Z(p). Da mesma maneira
q s/(p q) Z(q). Conclumos que r Z(p) Z(q). Seja agora r Z(p) Z(q). Se r < 0,
entao trivialmente temos r Z(p q). Suponhamos r 0. Existem s Z(p) e t Z(q) tais
40 CAP
ITULO 3. N
UMEROS REAIS
que r = s t, s 0 e t 0. De 0 s < p e 0 t < q, gra cas `a monotonia da multiplica cao,
obtemos s t p t < p q. Conclumos que r Z(p q).
O caso geral (p e q nao necessariamente positivos) segue do que acabamos de demonstrar
usando a regra dos sinais e o fato que Z(p) = Z(p).
Uma propriedade fundamental de (, , , ) e a chamada completeza. Antes de
enuncia-la precisamente, vamos interpretar a Deni cao 2.25 de subconjunto limitado superi-
ormente em (, , , ). Um conjunto e limitado superiormente pela cota superior
S se A S para todo A .
A proxima deni cao, com adapta cao obvia, tem sentido em qualquer corpo ordenado.
Porem, nos limitaremos a (, , , ).
DEFINIC
AO 3.25. Seja , nao vazio. Se existir S que seja a menor cota superior
de , isto e,
i. A S para todo A ;
ii. se R e cota superior de , entao S R;
entao dizemos que S e supremo (nito) de , e escrevemos sup = S. Quando e ilimitado
superiormente (nao existe cota superior para ), dizemos que o supremo de e mais innito
e escrevemos sup = +.
EXEMPLO 3.26. Seja = A ; A Z(0).
E imediato que Z(0) e cota superior de
e, portanto, e limitado superiormente. Tambem e imediato que Z(0) e o supremo de .
TEOREMA 3.27. O corpo ordenado (, , , ) e completo, i.e., todo subconjunto de
nao vazio e limitado superiormente tem supremo nito.
Demonstracao. Seja nao vazio e limitado superiormente e seja S a uniao de todos
os elementos de , i.e.,
S =
_
A
A.
,= .
Seja p S e r Q tal que r < p. Sendo p S temos que existe A tal que p A.
Ora, A e corte, logo, r A e existe q A tal que p < q. Como A S, temos r S e
q S. Conclumos a prova de que S e corte.
3.3. N
UMEROS REAIS. 41
Terminamos nossa tarefa de mostrar que (, , , ) e um corpo ordenado completo.
A partir de agora, vamos mudar as nota coes e nomenclaturas. Um corte sera chamado de
numero real, o conjunto passa a ser denotado R e sera chamado de conjunto dos
numeros reais. Os smbolos e serao substitudos por + e respectivamente. E,
em se tratando de cortes, passamos a escrever x y ao inves de x y. Observamos
que, rigorosamente falando, um numero racional nao e numero real. De fato, um numero
racional e um elemento do conjunto Q enquanto que um numero real e um subconjunto de
Q. No entanto, atraves da fun cao Z (Deni cao 3.3) passamos de um numero racional r ao
numero real Z(r). Sendo Z injetiva (ver Proposi cao 3.24) temos que o conjunto Z(Q) e um
subconjunto de R que e uma especie de copia ou clone de Q. Esta no cao e precisada
matematicamente pelo fato de Z ser um homomorsmo injetivo (ver Proposi cao 3.24). Por
esta razao, podemos, e faremos, os seguintes abusos de nota cao e de linguagem: Q R
ou todo numero racional e numero real. E ainda, Z(0) passa a ser notado 0, Z(1) passa a
ser notado 1, etc.
3.3 N umeros reais.
Na Se cao 3.2 denimos um corpo ordenado completo (R, +, , ) dito dos numeros reais
e tal que Q R. Daqui por diante, nao precisaremos nos servir da deni cao de numero real.
Tudo que precisamos saber e que (R, +, , ) e um corpo ordenado completo, isto e, (R, +, )
satisfaz as propriedades da Deni cao 2.20, alem disto, a rela cao em R satisfaz as condi coes
da Deni cao 2.23 e, nalmente, vale a completeza dada pelo Teorema 3.30 abaixo.
DEFINIC
AO 3.28. Seja A R, nao vazio. Se existir s R que seja a menor cota superior
de A, isto e,
i. a s para todo a A;
ii. se r e cota superior de A, entao s r;
entao dizemos que s e supremo (nito) de A, e escrevemos sup A = s. Quando A e ilimitado
superiormente (nao existe cota superior para A) dizemos que o supremo de A e mais innito
e escrevemos sup A = +.
DEFINIC
AO 3.29. Seja A R, nao vazio. Se existir i R que seja a maior cota inferior
de A, isto e,
i. i a para todo a A;
ii. se r e cota inferior de A, entao r i;
42 CAP
ITULO 3. N
UMEROS REAIS
entao dizemos que i e nmo (nito) de A, e escrevemos inf A = i. Quando A e ilimitado
inferiormente (nao existe cota inferior para A), dizemos que o nmo de A e menos innito
e escrevemos inf A = .
TEOREMA 3.30. Seja A R, nao vazio. Se A e limitado superiormente, entao A tem
supremo nito. Se A e limitado inferiormente entao A tem nmo nito.
Demonstracao. Observamos que as deni coes 3.28 e 3.25 sao equivalentes, diferindo apenas
na nota cao. Da mesma forma, a primeira arma cao do Teorema 3.30 e uma nova versao do
Teorema 3.27.
A segunda arma cao do Teorema 3.30 e consequencia da primeira. De fato, verica-
se facilmente que se A e limitado inferiormente, entao B = x ; x A e limitado
superiormente e inf A = sup B.
Um numero real que nao e racional e dito numero irracional. O Exerccio (1.c) da
Se cao 3.4 mostra a existencia de um numero irracional. Vamos considerar uma varia cao deste
exemplo.
EXEMPLO 3.31. Sejam A = p R ; p < 0 ou p
2
< 2 e B = q R ; q > 0 e q
2
> 2.
Claramente, A e B sao nao vazios.
Segue facilmente das deni coes que A e limitado superiormente e que B e limitado in-
feriormente. Mais precisamente, qualquer elemento de A e menor que qualquer elemento de
B.
Pelo Teorema 3.30 existem r, s R com r = sup A e s = inf B.
E imediato que r, s 0.
Como p q para todo p A e q B, temos que r s e, portanto, r
2
s
2
.
Vamos mostrar que B nao possui elemento mnimo. Seja q B. Temos q > 0 e
q
2
2 > 0, de modo que podemos tomar h R tal que h < q e
0 < h <
q
2
2
2q
.
Temos 2qhh
2
< 2qh < q
2
2 e, portanto, (q h)
2
> 2. Logo, q h e um elemento de B
estritamente menor que q. Em particular, q nao e elemento mnimo de B. De modo analogo,
mostra-se que A nao possui elemento maximo.
Temos que s
2
2 pois, senao, s seria elemento mnimo de B. Analogamente, mostra-se
que r
2
2. Conclumos que r
2
= s
2
= 2.
Este exemplo mostra que, gra cas `a completeza, existe r R tal que r > 0 e r
2
= 2.
Veremos posteriormente, que existe um unico numero com esta propriedade (chamado raiz
de 2 e denotado por
2). Porem, como nao existe nenhum racional com esta propriedade
(
UMEROS REAIS. 43
Demonstracao. Suponhamos, por absurdo, que N seja limitado superiormente e seja s =
sup N. Temos que n s para todo n N. Segue que n + 1 s para todo n N. Logo,
n s1 para todo n N, ou seja, s1 e cota superior para N que e menor que s = sup N.
Absurdo.
DEFINIC
ITULO 3. N
UMEROS REAIS
e sao os unicos intervalos que possuem esta propriedade. Perceba tambem que existem
intervalos que nao sao abertos nem fechados.
O proximo teorema e outra consequencia da completeza.
TEOREMA 3.34. (Dos Intervalos Encaixantes) Se
_
[a
n
, b
n
]
_
nN
e uma sequencia de
intervalos encaixantes, i.e., [a
n
, b
n
] [a
n+1
, b
n+1
] para todo n N, entao
+
n=1
[a
n
, b
n
] ,= .
Demonstracao. Seja A = a
m
; m N. De [a
n
, b
n
] [a
n+1
, b
n+1
] obtemos que a
n
a
n+1
b
n+1
b
n
. Da, segue facilmente que a
m
b
n
quaisquer que sejam m, n N.
Em outras palavras, qualquer b
n
e cota superior de A. Pelo Teorema 3.30 existe s = sup A.
Mostremos que s
+
n=1
[a
n
, b
n
]. Seja n N. Temos que s e cota superior de A, logo,
s a
n
. Alem disto, s e a menor cota superior de A, portanto, s b
n
. Conclumos que
a
n
s b
n
, ou seja, s [a
n
, b
n
].
Ja vimos que
ICIOS. 45
c) Nao existe r Q tal que Z(r) = A.
Sugestao: (1.a) Seja p A tal que p 0. Mostre que se h < 1 e bem escolhido, entao
tomando q = p +h teremos q A e p < q.
(1.c) Proceda por absurdo e, usando a Proposi cao 3.24, conclua que se Z(r) = A com r Q
entao r
2
= 2.
2 - O objetivo deste exerccio e dar outra demonstra cao para o Teorema 3.27. Seja
nao vazio e limitado superiormente e seja S a interse cao de todas as cotas superiores de ,
i.e.,
S =
M
M,
sendo = M ; M e cota superior de . Sem usar o Teorema 3.27, mostre que
a) S e corte;
b) S e cota superior de ;
c) S e subconjunto de toda cota superior de .
Conclua que S e o supremo de .
3 - Lembremos que o modulo de x R, denotado por [x[, e denido por
[x[ =
_
_
_
x se x 0,
x se x < 0.
Mostre que se x, y, z, R, sendo > 0, entao
a) [x[ = maxx, x;
b) [xy[ = [x[[y[;
c) [x y[ < x (y , y +);
d) [x +y[ [x[ +[y[;
e) [x y[ [x z[ +[z y[;
f ) [ [x[ [y[ [ [x y[.
Cada uma das tres desigualdades acima e conhecida como Desigualdade Triangular.
4 - Seja I R um intervalo. Mostre que I e limitado se, e somente se, existe a > 0 tal
que I (a, a).
5 - Seja A R, nao vazio e limitado superiormente. Mostre que s = sup A se, e somente
se:
i. s e cota superior de A;
46 CAP
ITULO 3. N
UMEROS REAIS
ii. se r < s entao existe x A tal que r < x s.
6 - Sejam A R e r R. Denimos rA = rx ; x A. Mostre que se A e limitado
e nao vazio, entao rA e limitado e nao vazio. Diga quando a recproca e verdadeira e de um
exemplo onde ela e falsa. Sob que condi coes temos sup rA = r sup A? Diga o que acontece
no caso contrario.
7 - Sejam A, B R, nao vazios e limitados tais que A B. Prove que inf B inf A
sup A sup B.
8 - Dado A R, sua funcao caracterstica
A
: R R e deda por
A
(x) = 1, se
x A, e
A
(x) = 0, se x / A. Sejam A, B R. Mostre que
a) A B se, e somente se,
A
B
;
b)
AB
A
+
B
, valendo a igualdade se, e somente se, A B = ;
c)
AB
=
A
B
.
9 - Sejam f, g : A R R limitadas e tais que f(x) g(x) para todo x A. Mostre:
a) supf(x) ; x A supg(x) ; x A;
b) inff(x) ; x A infg(x) ; x A;
c) supf(x) ; x A = inff(x) ; x A;
d) inff(x) ; x A = supf(x) ; x A.
10 - Seja
_
[a
n
, b
n
]
_
nN
como no Teorema 3.34. Mostre que
+
n=1
[a
n
, b
n
] e um intervalo
fechado.
Captulo 4
Seq uencias e series
4.1 Seq uencias e subseq uencias.
A Deni cao 1.30 tratou do conceito de sequencias, em geral, e de sequencias de numeros
reais, em particular. A proxima deni cao e apenas uma revisao.
DEFINIC
ITULO 4. SEQ
ENCIAS E S
ERIES
DEFINIC
ENCIAS CONVERGENTES. 49
continuemos andando por um tempo sucientemente longo. Por exemplo, nossa distancia a
O sera menor que 1 depois que passarmos pelo ponto D. Ou seja, em certo instante entramos
na bola de raio 1 centrada em O e dela nao samos mais. Da mesma forma, a partir de outro
instante (futuro) entramos na bola de raio 1/2, centrada em O, e a camos. De modo geral,
dado qualquer numero positivo , existe um instante a partir do qual nossa distancia a O sera
menor que . A esta a deni cao. Para sequencias de numeros reais ela e expressa da seguinte
maneira.
DEFINIC
ITULO 4. SEQ
ENCIAS E S
ERIES
PROPOSIC
AO 4.10. Sejam (x
n
)
nN
uma sequencia e x, y R tais que x
n
x e x
n
y.
Entao x = y.
Demonstracao. Suponhamos, por absurdo, que x ,= y. Seja = [x y[/2 > 0. Como
x
n
x, existe N N tal que
n N = [x
n
x[ < .
Tambem temos x
n
y. Logo, existe N
N tal que
n N
= [x
n
y[ < .
Seja n o maior dos numeros N e N
ENCIAS MON
OTONAS E SEQ
ENCIAS LIMITADAS. 51
EXEMPLO 4.13. Sabemos que sequencias constantes sao convergentes. Considere a
sequencia (nao constante) dada por x
n
= 1000/n, sendo x a fun cao Parte Inteira
de x, denida abaixo:
x = m se m Z e m x < m + 1.
AO 4.15. Se (x
n
)
nN
e crescente e limitada superiormente, entao x
n
supx
n
; n N. Da mesma forma, se (x
n
)
nN
e decrescente e limitada inferiormente,
entao x
n
infx
n
; n N.
Demonstracao. Vamos provar apenas a primeira parte da proposi cao ja que a segunda se
demonstra de modo analogo. Seja s = supx
n
; n N. Dado > 0, tome N N tal que
x < x
N
s. Logo, para n N, temos x < x
N
x
n
s. Conclumos da que
[x
n
s[ < .
TEOREMA 4.16. (Bolzano
1
-Weierstrass
2
) Toda sequencia limitada possui subsequencia
convergente.
1
Bernard Placidus Johann Nepomuk Bolzano: 05/10/1781, Praga, Republica Tcheca - 18/12/1848,
Praga, Republica Tcheca.
2
Karl Theodor Wilhelm Weierstrass: 31/10/1815, Ostenfelde, Alemanha - 19/02/1897, Berlim, Ale-
manha.
52 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
Demonstracao. Sejam (x
n
)
nN
uma sequencia limitada. Considere o seguinte conjunto:
N = n N ; x
n
> x
m
, m > n.
Existem duas possibilidades: N e innito ou N e nito.
1
o
caso: N e innito.
Escrevamos N = n
1
, n
2
, n
3
, . . . com n
1
< n
2
< n
3
< . . . Assim, se i < j entao
n
i
< n
j
e, como n
i
N, obtemos que x
n
i
> x
n
j
. Conclumos que a subsequencia (x
n
k
)
kN
e decrescente. Sendo ela limitada obtemos, nalmente, que ela e convergente.
2
o
caso: N e nito.
Como N e nito, existe n
1
N N cota superior de N. Ora, n
1
/ N logo, existe
n
2
> n
1
(e portanto n
2
/ N) tal que x
n
1
x
n
2
. Mas de n
2
/ N segue que existe n
3
> n
2
(e portanto n
3
/ N) tal que x
n
2
x
n
3
. Por indu cao, denimos uma subsequencia (x
n
k
)
kN
que e crescente e, portanto, convergente (pois ela e limitada).
4.4 Seq uencias de Cauchy.
DEFINIC
2
(existe tal sequencia?). Sendo convergente ela e de Cauchy. Como a deni cao de sequencia
de Cauchy nao faz men cao ao limite, mesmo se so conhecessemos numeros racionais ainda
estaramos de acordo que (x
n
)
nN
e de Cauchy. Porem, neste caso, nao seramos capazes de
mostrar a existencia do limite. Ou seja, se considerassemos apenas numeros racionais, nao
seria possvel mostrar que toda sequencia de Cauchy e convergente.
Ja que sequencias de Cauchy sao convergentes em R mas nao em Q, isto deve estar
relacionado `a completeza. De fato, alguns autores usam sequencias de Cauchy de numeros
racionais para construir R. A vantagem desta constru cao e que ela pode ser empregada para
completar outros conjuntos (ou melhor, espa cos metricos) que nao sejam corpos ordenados.
TEOREMA 4.18. Uma sequencia e convergente se, e somente se, ela e de Cauchy.
1
Augustin Louis Cauchy: 21/08/1789, Paris, Fran ca - 23/05/1857, Sceaux, Fran ca.
4.5. LIMITES INFINITOS. 53
Demonstracao. Seja (x
n
)
nN
uma sequencia convergente para o limite x. Dado > 0,
existe N N tal que se n N, entao [x
n
x[ < /2. Portanto, se m, n N temos
[x
n
x
m
[ [x
n
x[ +[x x
m
[ <
2
+
2
= .
Conclumos que (x
n
)
nN
e uma sequencia de Cauchy.
Reciprocamente, suponhamos que (x
n
)
nN
e de Cauchy. Um argumento analogo ao da
demonstra cao do Teorema 4.14 mostra que (x
n
)
nN
e limitada (verique). Pelo Teorema
de Bolzano-Weierstrass, (x
n
)
nN
tem subsequencia (x
n
k
)
kN
convergente para o limite x.
Mostremos que x
n
x. Seja > 0. Como (x
n
)
nN
e de Cauchy, existe N N tal que
n, m N = [x
n
x
m
[ <
2
. (4.1)
Como x
n
k
x, existe k N tal que n
k
N e [x
n
k
x[ < /2. Da e de (4.1) segue
que, se n N, entao
[x
n
x[ [x
n
x
n
k
[ +[x
n
k
x[ <
2
+
2
= .
4.5 Limites innitos.
Existem sequencias divergentes que possuem limite! Isto e apenas um jogo de palavras.
A deni cao seguinte diz que certas sequencias tem limites que nao sao numeros reais. Nao
diremos que tais sequencias sao convergentes.
DEFINIC
AO 4.19. Seja (x
n
)
nN
uma sequencia. Dizemos que x
n
tende a mais innito
quando n tende a mais innito ou que mais innito e limite da sequencia e escrevemos
x
n
+ ou lim
n+
x
n
= + se,
M R, N N tal que n N = x
n
> M.
DEFINIC
AO 4.20. Seja (x
n
)
nN
uma sequencia. Dizemos que x
n
tende a menos innito
quando n tende a mais innito ou que menos innito e limite da sequencia e escrevemos
x
n
ou lim
n+
x
n
= se,
M R, N N tal que n N = x
n
< M.
Insistimos no fato que se x
n
+ ou x
n
, entao nao podemos dizer que a
sequencia e convergente. Uma sequencia e dita convergente exclusivamente quando satisfaz a
condi cao da Deni cao 4.7. Alem disto, se x
n
+, entao (x
n
)
nN
e ilimitada superiormente
e, portanto, e divergente. Da mesma forma, se x
n
, entao (x
n
)
nN
e ilimitada
inferiormente e, portanto, e divergente.
54 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
OBSERVAC
AO 4.21. Com estas conven coes sobre uso dos termos sequencia conver-
gente e de limite de sequencia a Proposi cao 4.11 tambem e valida (obviamente com outra
demonstra cao) se substituirmos x por + ou por .
Como x
n
> M e equivalente a x
n
< M, temos que x
n
+ se, e somente se,
x
n
. Portanto toda arma cao sobre limite mais innito tem uma analoga para limite
menos innito.
4.6 Operacoes com limites.
Temos a seguir algumas propriedades aritmeticas de limites nitos.
PROPOSIC
AO 4.22. Sejam (x
n
)
nN
e (y
n
)
nN
convergentes para x e y, respectivamente,
e c R. Temos:
i. x
n
+y
n
x +y;
ii. x
n
y
n
x y;
iii. c x
n
cx;
iv. se y ,= 0, entao y
1
n
y
1
.
Demonstracao. (i) Seja > 0. Gra cas `as convergencias de (x
n
)
nN
e (y
n
)
nN
, existem N
e N
tais que, se n N
, entao [x
n
x[ < /2, e se n N
, entao [y
n
y[ < /2. Seja
N = maxN
, N
. Assim, se n N, entao n N
e n N
e, da,
[(x
n
+y
n
) (x +y)[ = [(x
n
x) + (y
n
y)[ [x
n
x[ +[y
n
y[ <
2
+
2
= .
Mostramos assim que x
n
+y
n
x +y.
(ii) Seja > 0. Como (x
n
)
nN
e convergente, ela e limitada. Logo, existe C > 0 tal que
[x
n
[ < C para todo n N. Seja N N tal que se n N, entao [x
n
x[ < e [y
n
y[ < .
Desta forma, para n N, temos
[x
n
y
n
x y[ [x
n
y
n
x
n
y[ +[x
n
y x y[ = [x
n
[ [y
n
y[ +[y[ [x
n
x[
C [y
n
y[ +[y[ [x
n
x[ < (C +[y[).
Isto mostra que x
n
y
n
converge para x y.
(iii)
E consequencia do item anterior, tomando y
n
= c para todo n N.
4.6. OPERAC
OES COM LIMITES. 55
(iv) Seja > 0 e N
N tal que, se n N
, entao [y
n
y[ < . Temos ainda que
y ,= 0, consequentemente, existe N
N tal que, [y
n
[ > [y[/2, i.e., [y
n
[
1
< 2[y[
1
, quando
n N
. Tomando N = maxN
, N
1
y
n
1
y
=
[y y
n
[
[y
n
[ [y[
<
2
[y[
2
.
Isto conclui a demonstra cao.
EXEMPLO 4.23. Seja r R. A sequencia (r
n
)
nN
e uma Progressao Geometrica de
razao r.
Se [r[ < 1, entao multiplicando por [r
n
[ 0, obtemos 0 [r
n+1
[ [r
n
[. Logo,
([r
n
[)
nN
e decrescente, limitada inferiormente e, portanto, convergente para, digamos, l.
Ora, [r
n+1
[ = [r[[r
n
[, entao, passando o limite, obtemos l = [r[l. Como [r[ , = 1, temos l = 0.
Segue, nalmente, que (r
n
)
nN
converge para 0 (Exerccio (2.a)).
Se [r[ > 1, entao [r[ = 1 + h com h > 0. Pela desigualdade de Bernoulli, [r
n
[ = [r[
n
1 +nh e, portanto, [r
n
[ +. Em particular, (r
n
)
nN
e divergente (Exerccio (2.b)).
Deixamos para o leitor o estudo dos casos r = 1 e r = 1.
Vejamos agora as propriedades aritmeticas de limites innitos.
PROPOSIC
AO 4.24. Sejam (x
n
)
nN
e (y
n
)
nN
duas sequencias e c > 0. Suponhamos que
x
n
+. Temos:
i. se (y
n
)
nN
e limitada inferiormente, entao x
n
+y
n
+;
ii. se y
n
c para todo n N, entao x
n
y
n
+;
iii. c x
n
+;
iv. x
1
n
0.
Demonstracao. (i) Seja a R tal que a y
n
para todo n N. Dado M R, como
x
n
+, existe N N tal que se n N, entao x
n
> M a. Segue que se n N, entao
x
n
+y
n
x
n
+a > M. Conclumos que x
n
+y
n
+.
(ii) Dado M R, podemos tomar N N tal que se n N, entao x
n
> [M[/c. Desta
forma, se n N, entao x
n
y
n
x
n
c > [M[ M. Portanto x
n
y
n
+.
(iii)
E consequencia do item anterior, tomando y
n
= c para todo n N.
(iv) Dado > 0, tomemos N N tal que se n N, entao x
n
>
1
. Segue que se
n N, entao [x
1
n
0[ = x
1
n
< . Conclumos que x
1
n
0.
56 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
4.7 Limite superior e limite inferior.
No estudo de limites de subsequencias e conveniente fazer a seguinte deni cao.
DEFINIC
ERIES. 57
Demonstracao. Seja A o conjunto dos valores de aderencia de x
n
.
Suponhamos inicialmente que (x
n
)
nN
seja ilimitada superiormente e, portanto,
limsup
n+
x
n
= +.
Neste caso, e imediato que (x
n
)
nN
tem subsequencia que tende a +.
Suponhamos, agora, que (x
n
)
nN
seja limitada superiormente e A = . Portanto,
limsup
n+
x
n
= .
Se (x
n
)
nN
for limitada inferiormente, entao (x
n
)
nN
sera limitada e, pelo Teorema de
Bolzano-Weierstrass, teremos A ,= . Logo, (x
n
)
nN
e ilimitada inferiormente e, portanto,
tem subsequencia tendendo a .
Finalmente, suponhamos que (x
n
)
nN
seja limitada superiormente e A ,= . Como ja
observado antes, A e limitado superiormente e, portanto, seu supremo s e nito. Vamos
mostrar que s A. Aplicando sucessivamente o resultado do Exerccio 5 do Captulo 3
obtemos:
a
1
A tal que s a
1
> s 1;
a
2
A tal que s a
2
> s 1/2;
a
3
A tal que s a
3
> s 1/3; . . .
Como a
1
e valor de aderencia de (x
n
)
nN
e s + 1 > a
1
> s 1, existe n
1
N tal que
s + 1 > x
n
1
> s 1. Tambem temos a
2
A, logo, existe n
2
> n
1
tal que s + 1/2 > x
n
2
>
s1/2. Prosseguindo deste forma, construmos uma subsequencia (x
n
k
)
kN
convergente para
s. Segue que s A.
4.8 Series.
DEFINIC
i=1
x
i
= x
1
+ +x
n
.
A sequencia (S
n
)
nN
e dita das somas parciais da serie
x
n
e x
n
e o n-esimo termo ou
termo geral da serie. Escrevemos
+
n=1
x
n
= lim
n+
S
n
quando o limite acima existe e, neste caso, ele e dito limite da serie. Dizemos que
x
n
e convergente ou divergente se (S
n
)
nN
e convergente ou divergente, respectivamente.
Finalmente, dizemos que
x
n
e absolutamente convergente se a serie
[x
n
[ e conver-
gente.
58 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
EXEMPLO 4.29. Considere a Serie Geometrica de termo geral x
n
= r
(n1)
. Temos
S
n
= 1 +r +r
2
+ +r
n2
+r
n1
.
Se r = 1, entao e imediato que S
n
= n. Segue que (S
n
)
nN
diverge e, portanto,
x
n
diverge. Suponhamos r ,= 1. Multiplicando por S
n
por r obtemos
rS
n
= r +r
2
+r
3
+ +r
n1
+r
n
= 1 +r +r
2
+r
3
+ +r
n1
+r
n
1
= S
n
+r
n
1.
Portanto, S
n
= (r
n
1)/(r 1). Assim,
x
n
converge se, e somente se, [r[ < 1 e, neste
caso,
+
n=1
x
n
=
1
1 r
.
A proxima proposi cao e uma versao da Proposi cao 4.22 para series.
PROPOSIC
AO 4.30. Sejam
x
n
e
y
n
duas series convergentes e c R. Temos que
i.
(x
n
+y
n
) e convergente para
x
n
+
y
n
;
ii.
(c x
n
) e convergente para c
x
n
.
Demonstracao. A demonstra cao e trivial: basta aplicar a Proposi cao 4.22 para as sequencias
das somas parciais de
x
n
e de
y
n
.
Observamos que, em geral,
+
n=1
(x
n
y
n
) ,=
+
n=1
x
n
+
n=1
y
n
.
Passamos ao estudo da natureza de series, i.e., estamos interessados em criterios que
determinem se uma serie e convergente ou divergente.
TEOREMA 4.31.
i.
x
n
converge se, e somente se,
> 0, N N tal que n m N =
i=m
x
i
< .
ii. Se
x
n
converge, entao x
n
0.
4.8. S
ERIES. 59
iii. Toda serie absolutamente convergente e convergente.
Demonstracao. (i) O criterio dado diz simplesmente que a sequencia das somas parciais e
de Cauchy. O resultado segue do Teorema 4.18.
(ii) Segue de (i), tomando m = n.
(iii) Observamos que para todo m, n N temos
i=n
x
i
i=n
[x
i
[ =
i=n
[x
i
[
[x
n
[ implica a de
x
n
.
O item (iii) do teorema anterior esta intimamente ligado ao fato de R ser completo.
Devemos ressaltar ainda que a sua recproca nao e verdadeira, ou seja, existem series que sao
convergentes mas nao absolutamente convergentes. Veremos um exemplo posteriormente.
EXEMPLO 4.32. Pelo item (ii), a condi cao x
n
0 e necessaria para a convergencia da
serie
x
n
porem ela nao e suciente. A Serie Harmonica
x
n
e uma serie de termos negativos, entao
(x
n
) e uma serie de
termos positivos e, alem disto, a primeira converge se, e somente se, a segunda converge.
Eventualmente, podemos usar tambem criterios sobre series de termos positivos para uma
serie
x
n
que tenha termos de sinais variaveis. Ora, se ao aplicarmos algum destes criterios
para a serie
[x
n
[ concluirmos que ela e convergente, entao, como toda serie absolutamente
convergente e convergente, concluiremos que
x
n
converge. Por outro lado, se o criterio
nada disser, ou mesmo se ele nos informar que
[x
n
[ e divergente, em geral, nada poderemos
armar sobre a convergencia da serie
x
n
.
Observamos tambem o seguinte fato, ja mencionado no caso de sequencias. Os primeiros
termos de uma serie nada inuem na sua natureza. De fato, a serie
x
n
converge se, e
60 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
somente se, a serie
x
n+2006
converge. De maneira geral, xado p N a serie
x
n
e
convergente se, e somente se, a serie
x
n+p
e convergente. Desta forma, todos os criterios
que determinam a natureza de uma serie atraves de alguma propriedade vericada por todos
os seus termos continuam validos se a tal propriedade e vericada `a partir de algum termo
(por exemplo, 2006). Por outro lado, nao podemos desprezar nenhum termo de uma serie
convergente quando estamos interessados em determinar o valor do seu limite.
PROPOSIC
x
n
e convergente se, e somente se, a sequencia de suas
somas parciais (S
n
)
nN
e convergente. Como x
n
0, temos imediatamente que (S
n
)
nN
e
crescente. Logo, (S
n
)
nN
e convergente se, e somente se, ela e limitada superiormente (ver
proposi coes 4.14 e 4.15)
TEOREMA 4.34. (Criterio da Comparacao) Sejam (x
n
)
nN
e (y
n
)
nN
tais que 0 x
n
y
n
para todo n N.
i. Se
y
n
converge, entao
x
n
converge.
ii. Se
x
n
diverge, entao
y
n
diverge.
Demonstracao. Sejam (S
n
)
nN
e (T
n
)
nN
as sequencias de somas parciais de
x
n
e
y
n
,
respectivamente. De x
n
y
n
segue imediatamente que S
n
T
n
para todo n N. Assim,
se (S
n
)
nN
e ilimitada superiormente, entao (T
n
)
nN
tambem e. Por outro lado, se (T
n
)
nN
e
limitada superiormente, entao (S
n
)
nN
tambem e. Conclumos gra cas `a Proposi cao 4.33.
EXEMPLO 4.35. Vamos estudar a natureza da serie
1/n
p
segundo os valores de p.
E
claro que se p 0, entao ela diverge pois neste caso lim
n+
x
n
,= 0.
Suponhamos 0 p 1. Temos 1/n 1/n
p
para todo n N. Portanto, por compara cao
com a Serie Harmonica, conclumos que a serie diverge.
Finalmente, consideremos o caso p > 1. Mostraremos que a serie converge. Seja (S
n
)
nN
a sequencia das somas parciais. Para todo n N, temos
S
n
= 1 +
1
2
p
+
1
3
p
+ +
1
n
p
1 +
1
2
p
+
1
3
p
+ +
1
n
p
+ +
1
(2
n
1)
p
= 1 +
_
1
2
p
+
1
3
p
_
+
_
1
4
p
+
1
5
p
+
1
6
p
+
1
7
p
_
+ +
_
1
(2
n1
)
p
+ +
1
(2
n
1)
p
_
1 +
2
2
p
+
4
4
p
+ +
2
n1
(2
n1
)
p
=
n
i=1
(2
1p
)
(i1)
.
4.8. S
ERIES. 61
Como p > 1 temos 2
1p
< 1 e, portanto, a Serie Geometrica de razao 2
1p
converge. Segue
que (S
n
)
nN
e limitada superiormente e portanto
1/n
p
e convergente.
TEOREMA 4.36. (Teste da Razao, ou de dAlembert
1
) Seja (x
n
)
nN
uma sequencia
de numeros estritamente positivos.
i. Se lim
n+
x
n+1
/x
n
< 1, entao
x
n
e convergente.
ii. Se lim
n+
x
n+1
/x
n
> 1, entao
x
n
e divergente.
Demonstracao. (i) Tomemos r R tal que lim
n+
x
n+1
/x
n
< r < 1. O resultado do
Exerccio (4.a) garante que existe N N tal que x
n+1
/x
n
< r para todo n N. Temos
entao
x
N+1
< rx
N
;
x
N+2
< rx
N+1
< r
2
x
N
;
x
N+3
< rx
N+2
< r
3
x
N
;
.
.
.
De maneira geral, x
n
< r
nN
x
N
, para todo n N. Tomando y
n
= r
nN
x
N
(para todo
n N) temos que x
n
y
n
para todo n N. Como
y
n
e uma Serie Geometrica de razao
r (0, 1), ela e convergente. O resultado segue do Criterio de Compara cao.
(ii) Usando o resultado do Exerccio (4.b) conclumos que existe N N tal que x
n+1
/x
n
1 para todo n N. Portanto, x
n+1
x
n
para todo n N. Segue que a sequencia dos
termos gerais da serie e crescente a partir do N-esimo termo e, portanto, nao converge para
zero. Logo, a serie e divergente.
EXEMPLO 4.37. A serie
x
n
/n! e (absolutamente) convergente e, em
particular, x
n
/n! 0. Esta serie sera revista na Se cao 9.8.
Quando lim
n+
x
n+1
/x
n
= 1, o Teste da Razao nada permite concluir (nem con-
vergencia nem divergencia).
Ha outras versoes do Teste da Razao. A aqui apresentada nao e a mais geral delas.
Por exemplo, em (i), podemos substituir o smbolo de limite pelo smbolo de limite superior
que a arma cao continua valida. Analogamente, a conclusao de (ii) permanece valida ao
substituirmos o smbolo de limite pelo de limite inferior.
1
Jean Le Rond dAlembert: 17/11/1717, Paris, Fran ca - 29/10/1783, Paris, Fran ca.
62 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
EXEMPLO 4.38. Vejamos exemplos para os quais o Teste da Razao nao e conclusivo.
Considere as series
1/n e
1/n
2
. Ja vimos que a primeira e divergente enquanto que a
segunda e convergente. Porem, para ambas temos que lim
n+
x
n+1
/x
n
= 1. De fato,
lim
n+
1/(n + 1)
1/n
= lim
n+
n
n + 1
= 1 e lim
n+
1/(n + 1)
2
1/n
2
= lim
n+
n
2
(n + 1)
2
= 1.
TEOREMA 4.39. (Teste da Raiz, ou de Cauchy) Seja (x
n
)
nN
uma sequencia de
numeros positivos.
i. Se lim
n+
n
x
n
< 1, entao
x
n
e convergente.
ii. Se lim
n+
n
x
n
> 1, entao
x
n
e divergente.
Demonstracao. (i) Seja r R tal que lim
n+
n
x
n
< r < 1. Do resultado do Exerccio
(4.a) obtemos que existe N N tal que
n
x
n
< r, ou seja, x
n
< r
n
para todo n N. O
resultado segue por compara cao com a Serie Geometrica
r
n
.
(ii) Analogo ao item anterior.
Quando lim
n+
n
x
n
= 1, o Teste da Raiz nada permite concluir (nem convergencia
nem divergencia).
Tambem ha outras versoes do Teste da Raiz. A apresentada acima nao e a mais geral de
todas. Por exemplo, (i) se generaliza ao substituirmos o smbolo de limite pelo smbolo de
limite superior. Analogamente, em (ii), podemos substituirmos o smbolo de limite pelo de
limite inferior.
O Teste da Raiz e mais eciente que o da Razao. Mais precisamente, em todos os casos
nos quais o Teste da Razao permite concluir (seja por convergencia ou por divergencia) o
Teste da Raiz tambem sera concludente. Entretanto, o Teste da Razao e, em geral, mais facil
de ser aplicado.
4.9 A serie dos inversos dos primos.
Terminamos o captulo com um interessante resultado sobre a serie dos inversos dos
primos. O primeiro a demonstra-lo foi Euler
1
[7]. A demonstra cao que apresentaremos aqui
e mais uma das preciosidades de Erdos
2
[6]. O argumento e do tipo combinatorio. Antes de
apresenta-lo fa camos uma deni cao.
DEFINIC
ICIOS. 63
EXEMPLO 4.41. Temos 1 = 1, 1.4 = 1 e 1.5 = 2.
PROPOSIC
AO 4.42. Seja (p
n
)
nN
a sequencia estritamente crescentes dos numeros primos
(p
1
= 2, p
2
= 3, p
3
= 5, . . . ). A serie
1/p
n
diverge.
Demonstracao. Suponhamos por absurdo que
1/p
n
converge. Portanto existe N N
tal que
+
n=N
1
p
n
<
1
2
.
Seja M = 2
2N
. Temos que M = #A+ #B, sendo
A =
_
m 1, . . . , M ; m e multiplo de algum dos primos p
N
, p
N+1
, . . .
_
,
B =
_
m 1, . . . , M ; m nao e multiplo de nenhum dos primos p
N
, p
N+1
, . . .
_
.
Vamos mostrar que #A < M/2 e #B M/2 chegando assim a uma contradi cao.
O numero de multiplos do primo p que sao menores que M e M/p. Segue que
#A
+
n=N
_
M
p
n
_
n=N
M
p
n
<
M
2
.
Tambem e facil ver que todo m B pode ser escrito como m = a b
2
sendo a um produto
de primos distintos, todos menores que p
N
, e b
2
um produto de quadrados de primos, tambem
menores que p
N
. Existem exatamente 2
N1
numeros nas condi coes de a. Temos ainda que
b
2
m M e portanto b
M = 2
N
. Segue que existem, no maximo, 2
N
numeros nas
condi coes de b. Portanto #B 2
N1
2
N
= 2
2N1
= M/2.
4.10 Exerccios.
1 - Seja (n
k
)
kN
N uma sequencia crescente. Mostre que
a) se (n
k
)
kN
e limitada superiormente, entao ela e constante a partir de um certo termo;
b) se (n
k
)
kN
e estritamente crescente, entao n
k
k para todo k N. Conclua que
(n
k
)
kN
nao e limitada superiormente.
2 - Seja (x
n
)
nN
uma sequencia. Mostre que
a) se [x
n
[ 0, entao x
n
0;
b) se x
n
x, entao [x
n
[ [x[;
3 - Mostre que a recproca do Exerccio (2.b) e falsa.
64 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
4 - Sejam y R e (x
n
)
nN
uma sequencia convergente para x R.
a) Mostre que se y < x, entao existe N N tal que y < x
n
para todo n N.
b) Mostre que se x < y, entao existe N N tal que x
n
< y para todo n N.
c) Mostre que se x
n
y para todo n N, entao x y;
d) Mostre que se x
n
y para todo n N, entao x y.
e) Se y < x
n
para todo n N, entao podemos armar que y < x?
5 - Sejam (x
n
)
nN
e (y
n
)
nN
sequencias convergentes para x e y, respectivamente. Su-
ponhamos que x
n
y
n
para todo n N. Mostre que
a) x y;
b) (Teorema do Sanduche) se (z
n
)
nN
e tal que x
n
z
n
y
n
e se x = y, entao
z
n
x.
6 - Sejam (n
k
)
kN
, (m
k
)
kN
N estritamente crescentes e tais que
_
n
k
; k N
_
_
m
k
; k N
_
= N. Mostre que (x
n
)
nN
converge para x se, e somente se, as subsequencias
(x
n
k
)
kN
e (x
m
k
)
kN
convergem para x.
7 - Sejam (x
n
)
nN
e (y
n
)
nN
convergentes para x e y, respectivamente. Mostre que
a) x
n
y
n
x y;
b) se y ,= 0, entao x
n
/y
n
x/y;
c) x
m
n
x
m
qualquer que seja m N.
8 - Seja (x
n
)
nN
uma sequencia limitada superiormente e que nao tem valor de aderencia.
Mostre que x
n
.
9 - Seja (x
n
)
nN
a sequencia denida indutivamente por x
1
= 0 e
x
n+1
=
2 +x
n
n N.
Mostre que
a) (x
n
)
nN
e crescente;
b) x
n
2 n N;
c) (x
n
)
nN
e convergente.
Determine lim
n+
x
n
.
10 - O objetivo deste exerccio e mostrar o seguinte resultado: para todo m N e a R
com m 2 e a 0, existe um unico x R tal que x 0 e x
m
= a. Tal x e dito raiz
4.10. EXERC
ICIOS. 65
m-esima de a e e denotado
m
a (ou simplesmente
a no caso m = 2). Para isto considere
a sequencia (x
n
)
nN
denida indutivamente por x
1
= 1 e
x
n+1
= x
n
x
m
n
a
mx
m1
n
n N.
Mostre que
a) a fun cao f : R R dada por f(x) = x
m
e estritamente crescente em [0, +).
Conclua a unicidade da raiz m-esima de a;
b) y
m
x
m
+mx
m1
(y x) x, y 0;
c) x
n
> 0 n N;
d) x
m
n+1
a n N;
e) x
n+2
x
n+1
n N;
f ) (x
n
)
nN
converge e o seu limite x verica x 0 e x
m
= a.
Sugestao: Em (10.b) use (10.a) e considere separadamente os casos x < y, x > y e
x = y. Use ainda a seguinte igualdade:
y
m
x
m
y x
= y
m1
+y
m2
x + +yx
m2
+x
m1
.
Em (10.c) proceda por indu cao. Em (10.d) use (10.b) e em (10.e) use (10.d). Finalmente
use a Proposi cao 4.15 em (10.f).
11 - Determine se e convergente ou divergente cada uma das series abaixo.
a)
n
2
n
; b)
n + 2
n(n + 1)
.
12 - Seja
x
n
uma serie convergente de termos positivos. Mostre que
a)
(x
2
n
) e convergente;
b) se liminf
n+
y
n
> 0, entao
(x
n
/y
n
) e convergente.
13 - Use o resultado do Exerccio 2 do Captulo 2 para mostrar que a serie harmonica
diverge.
14 - Mostre que se
x
n
e absolutamente convergente e (y
n
)
nN
e limitada, entao
(x
n
y
n
) e absolutamente convergente.
15 - Mostre que
_
sen n/n
2
_
e convergente. Voce consegue generalizar este resultado
para series do tipo
_
f(n)/n
2
_
, sob que hipotese sobre f : R R?
16 - Sejam (x
n
)
nN
e (y
n
)
nN
duas sequencias positivas tais que
lim
n+
x
n
y
n
= c R 0.
66 CAP
ITULO 4. SEQ
ENCIAS E S
ERIES
Mostre que
x
n
converge se, e somente se,
y
n
converge.
17 - O objetivo deste exerccio e mostrar o Criterio de Leibniz
1
que diz: se (x
n
)
nN
e uma
sequencia decrescente de numeros positivos convergente para 0, entao a serie
(1)
n+1
x
n
e
convergente. Considere a sequencia de somas parciais (S
n
)
nN
da serie
(1)
n+1
x
n
. Mostre
que
a) (S
n
)
nN
e limitada;
b) (S
2n1
)
nN
e (S
2n
)
nN
sao monotonas. Conclua que estas sequencias sao convergentes
para o mesmo limite s;
c)
(1)
n+1
x
n
e convergente.
18 - Use o Criterio de Leibniz para dar um exemplo de uma serie que e convergente mas
nao e absolutamente convergente.
19 - Determine, segundo o valor do parametro a > 0, a natureza da serie
(n!)
2
(2n)!
a
n
.
1
Gottfried Wilhelm von Leibniz: 01/07/1646, Leipzig, Alemanha - 14/11/1716, Hannover, Alemanha.
Captulo 5
Topologia de R
5.1 Introducao.
A seguinte frase e facilmente aceita pela nossa intui cao: se x e um numero proximo de 2,
entao x
2
e um numero proximo de 4. Outra, x
2
estara cada vez mais proximo de 4 quanto
mais proximo x estiver de 2. Por esta razao dizemos que a fun cao f(x) = x
2
(para todo
x R) e contnua no ponto 2. Muitas das fun coes que encontramos na Analise sao funcoes
contnuas. Queremos precisar o conceito de continuidade. Observe que para isto e necessario
estabelecer o que queremos dizer com x e um numero proximo de 2.
Inicialmente, observe que a no cao de estar proximo usada cotidianamente e uma no cao
subjetiva. Por exemplo, suponhamos que um aluno de Engenharia de Produ cao da UFRJ,
morador de Niteroi, responda a um colega ao ser perguntado onde e o COPPEAD. Possivel-
mente ele respondera
ITULO 5. TOPOLOGIA DE R
entao x
2
tende a 4. O verbo tender nos faz pensar imediatamente no conceito de limite que
ja foi explorado no captulo anterior. Resumindo: os conceitos de proximidade e limite estao
intimamente relacionados.
A Topologia e o ramo da Matematica que trata destas questoes de limite (e/ou proximi-
dade). A Topologia da Reta, isto e, a Topologia de R, e bem simples, para nao dizer pobre.
Nela, os abstratos conceitos da Topologia Geral ganham formas mais concretas e compre-
ensveis. Poderamos usar estas formas simplicadas em nossa exposi cao porem, preferimos
argumentos mais gerais para facilitar a (futura) passagem do leitor ao estudo da Topologia em
contextos mais gerais. Mesmo que o leitor nao venha a se especializar em Topologia, para se
aprofundar em Analise ou Geometria serao necessarios outros conhecimentos que ultrapassam
os da Topologia da Reta.
5.2 Pontos interiores e conjuntos abertos.
Intuitivamente, x e um ponto no interior de um conjunto A se os pontos vizinhos a x
(tanto `a esquerda quanto `a direita) tambem estao em A. Mais precisamente temos:
DEFINIC
,
ou seja, A
AO 5.2.
E facil ver que na deni cao anterior podemos substituir, sem perda
de generalidade, o intervalo aberto arbitrario por um intervalo da forma (x , x + ) com
> 0. Ou, em outros termos, x A
E trivial que todo ponto de um intervalo aberto pertence ao interior do intervalo. Ou seja,
se A e um intervalo aberto e nao vazio, entao A
(neste caso, A
= A).
Como na Observa cao 5.2 temos que A e aberto se, e somente se,
x A, > 0 tal que [y x[ < = y A.
5.3. PONTOS DE ADER
. Da
mesma maneira, 0 / [0, 1]
= (0, 1).
As propriedades mais importantes dos conjuntos abertos sao dadas no teorema abaixo.
TEOREMA 5.6. Temos:
i. os conjuntos e R sao abertos;
ii. toda reuniao de abertos e aberta;
iii. toda interse cao nita de abertos e aberta.
Demonstracao. (i) Ja foi provado.
(ii) Sejam (A
i
)
iI
uma famlia de abertos e A =
iI
A
i
. Se x A, entao existe
i I tal que x A
i
. Como A
i
e aberto, temos x A
i
, logo existe > 0 tal que
(x , x +) A
i
A. Segue que x A
.
(iii) Basta mostrar que se A
1
e A
2
sao dois conjuntos abertos entao A = A
1
A
2
tambem
e aberto (o caso geral segue por indu cao). Se A = , entao nao ha nada mais a ser
demonstrado. Suponhamos A ,= e seja x A. Temos que x A
1
e x A
2
, logo, existem
1
,
2
> 0 tais que (x
i
, x +
i
) A
i
(i = 1, 2). Tomando = min
1
,
2
obtemos que
(x , x +) A, ou seja, x A
.
5.3 Pontos de aderencia e conjuntos fechados.
DEFINIC
E facil ver que x e ponto de aderencia de F se, e somente se, qualquer intervalo aberto
da forma (x , x +), onde > 0, tem pontos de F.
Temos sempre F F. Porem a inclusao inversa nao e necessariamente verdadeira.
Tomemos, por exemplo, F = [0, 1). Temos 1 F pois a sequencia x
n
= 1 1/n e
convergente para 1 e alem disto x
n
F para todo n N.
70 CAP
ITULO 5. TOPOLOGIA DE R
Seja (x
n
)
nN
uma sequencia convergente para x. Sabemos que se x
n
a para todo
n N, entao x a. Do mesmo modo, se x
n
b para todo n N, entao x b. Conclu-
se que uma sequencia convergente de pontos em um intervalo fechado tem o seu limite no
intervalo. Ou seja, se F e um intervalo fechado e nao vazio, entao F = F.
DEFINIC
.
Suponhamos que A seja aberto e mostremos que F e fechado. Para isto, devemos mostrar
que F F. Se, por absurdo, existir uma sequencia (x
n
)
nN
F convergente para x / F
(i.e., x A), entao, como A e aberto, existe > 0 tal que (x , x + ) A. Desta
maneira, para n sucientemente grande, temos que x
n
(x , x +) A. Isto e absurdo
pois x
n
F = A
para todo n N.
Suponhamos agora que F seja fechado e mostremos que A e aberto. Se A nao for aberto,
entao existira x A tal que x / A
.
OBSERVAC
ITULO 5. TOPOLOGIA DE R
Demonstracao. Pelo Teorema de Bolzano-Weierstrass, toda sequencia num conjunto limi-
tado tem subsequencia convergente. Se alem de limitado o conjunto e fechado, entao o limite
desta subsequencia sera um elemento do conjunto. Isto mostra que todo fechado e limitado
e compacto.
Suponhamos agora que K R seja compacto e mostremos que ele e limitado e fechado.
Sejam x K e (x
n
)
nN
K convergente para x. Como qualquer subsequencia de (x
n
)
nN
tende a x (Proposi cao 4.11), gra cas `a compacidade, temos x K. Segue que K e fechado.
Suponhamos, por absurdo, que K nao seja limitado, digamos, superiormente. Entao, para
cada n N existe x
n
K tal que x
n
> n. Temos que (x
n
)
nN
K e x
n
+. Portanto,
todas as suas subsequencias tendem a + (veja a Observa cao 4.21) e, portanto, nao sao
convergentes. Isto contradiz a compacidade de K.
A ultima demonstra cao (sobretudo a primeira parte) e digna de um livro de Topologia
Geral. Em varios destes livros as demonstra coes usam muito texto e poucos smbolos (alga-
rismos, em particular). Na opiniao do autor, alem da importancia incontestavel da Topologia
Geral, estes livros tambem sao referencias perfeitas para mostrar aos leigos em Matematica
que, ao contrario do que eles pensam, nos nao somos pessoas que trabalham fazendo contas
com algarismos (numeros, como eles dizem)! :-)
Terminamos esta se cao com outra caracteriza cao de compactos. Mesmo nao sendo util
neste curso, tal caracteriza cao e importantssima. Em Topologia Geral, esta caracteriza cao e
a deni cao de compacidade. Antes, deniremos cobertura aberta.
DEFINIC
AO 5.17. Uma cobertura aberta para K e uma cole cao ( de conjuntos abertos
tais que
K
_
AC
A
TEOREMA 5.18. Um conjunto K e compacto se, e somente se, toda cobertura aberta (
para K tem subcobertura nita, ou seja, existe (
, (
+
n=1
[a
n
, b
n
] ,= . Mais preci-
samente, esta interse cao so tem um elemento x. De fato, suponhamos que exista y ,= x tal
que y [a
n
, b
n
] para todo n N. Segue 0 < [x y[ b
n
a
n
para todo n N. Isto e
absurdo ja que b
n
a
n
0.
Ora, x [a, b], logo, existe A ( tal que x A. Como A e aberto, existe > 0 tal que
(x , x + ) A. Tomando N N, sucientemente grande, de modo que b
N
a
N
<
temos [a
N
, b
N
] (x , x + ) A. Portanto, tomando (
= A, temos que (
e uma
subcobertura nita de ( para [a
N
, b
N
]. Absurdo!
Demonstracao. (Do Teorema 5.18) Suponhamos que K seja compacto (portanto limitado
e fechado). Seja ( uma cobertura aberta de K. Como K e limitado podemos tomar a, b R
tais que K [a, b]. Como K e fechado, o conjunto K
(
nita tal que K [a, b]
AC
A K
AC
.
Suponhamos agora que toda cobertura aberta de K possua subcobertura nita. Para
todo x K denimos A
x
= (x1, x+1). A cole cao A
x
; x K e uma cobertura aberta
de K. Por hipotese, existem x
1
< < x
n
K tais que K A
x
1
A
xn
. Logo,
K (x
1
1, x
n
+ 1) e, portanto, K e limitado.
Vamos mostrar que K
. Mostramos que y (K
e, portanto, K
e aberto.
5.5 Conjuntos densos.
DEFINIC
ITULO 5. TOPOLOGIA DE R
Em outros termos, se A B, entao A e denso em B se, e somente se, para todo x B,
existe (x
n
)
nN
A tal que x
n
x.
A proxima proposi cao nos fornece uma condi cao necessaria e suciente para a densidade.
PROPOSIC
; c) A
; d)
_
A
.
2 - Sejam X R e A a uniao de todos os subconjuntos abertos de X. Mostre que
A = X
.
5.6. EXERC
ICIOS. 75
3 - Mostre que X
e aberto;
b) qualquer que seja o aberto A tal que A X, temos A X
.
4 - Sejam X R e x R. Mostre que sao equivalentes:
i. qualquer que seja o conjunto aberto A tal que x A, temos que X A ,= ;
ii. qualquer que seja o intervalo aberto I tal que x I, temos X I ,= ;
iii. para todo > 0, existe y X tal que [x y[ < ;
iv. x X.
5 - Seja X R. Mostre que (X
= X
.
6 - Seja X R. Mostre que X e o menor fechado que contem X, ou seja, mostre que
a) X e fechado;
b) qualquer que seja o fechado F tal que X F, temos X F.
7 - Sejam X R e F a interse cao de todos os fechados que contem X. Mostre que
F = X.
8 - Mostre os tens (ii) e (iii) da Observa cao 5.12 a partir das deni coes de conjunto
fechado e ponto de aderencia.
9 - De um exemplo de famlia de abertos cuja interse cao nao e aberta. De um exemplo
de famlia de fechados cuja uniao nao e fechada.
10 - Seja A o conjunto dos numeros reais da forma m/2
n
com m Z e n N. Mostre
que A e denso em R.
11 - Mostre que se A R e enumeravel, entao A
e
denso em R.
76 CAP
ITULO 5. TOPOLOGIA DE R
Captulo 6
Limite e continuidade
6.1 Limite de funcoes.
Dada uma fun cao real f estamos interessados em saber o que acontece com o valor de
f(x) quando x se aproxima de um ponto x
0
sem, entretanto, assumir este valor. Este e o
assunto desta se cao. Muitas vezes f(x) se aproximara de f(x
0
), porem, isto so ocorre para
uma classe de fun coes, ditas contnuas. Trataremos desta questao posteriormente.
Iniciamos nossa discussao precisando o que quisemos dizer, no paragrafo anterior, com
x se aproxima de um ponto x
0
sem, entretanto, assumir este valor. Ora, se estamos
interessados no valor de f(x) e preciso que x esteja no domnio de f mas, como x nao
assume o valor x
0
, nao e necessario que f(x
0
) esteja denido. Ou seja, nao e necessario que
x
0
perten ca ao domnio de f. Porem, e preciso que seja possvel se aproximar de x
0
por
pontos do domnio de f. Rigorosamente falando, se A e o domnio de f, entao a no cao de
limite de fun coes tera sentido se, e somente, x
0
e ponto de acumula cao de A. Lembramos
que esta condi cao signica que x
0
A x
0
, i.e., existe uma sequencia (x
n
)
nN
A x
0
convergente para x
0
.
Sejam f : A R R e x
0
um ponto de acumula cao de A. Como expressar de maneira
rigorosa que f(x) se aproxima de l R quando x se aproxima de x
0
? A experiencia com limite
de sequencias nos indica que deve ser errado pensar que a distancia de f(x) a l decresce junto
com a distancia de x a x
0
. A armadilha explicada na Figura 4.1 tambem se apresenta neste
contexto. Para armadilhas semelhantes usamos escapatorias semelhantes. A ideia intuitiva
correta e dizer que f(x) e tao proximo de l quanto quisermos, bastando para isto tomar x
sucientemente proximo de x
0
. Vejamos a deni cao rigorosa.
DEFINIC
AO 6.1. Sejam f : A R R e x
0
um ponto de acumula cao de A. Dizemos
que existe o limite de f(x) quando x tende a x
0
R e ele vale l R se
> 0, > 0 tal que x A, 0 < [x x
0
[ < = [f(x) l[ < .
Neste caso, escrevemos lim
xx
0
f(x) = l.
77
78 CAP
AO 6.6. Sejam f : A R R e x
0
A x
0
. Entao, lim
xx
0
f(x) = l se,
e somente se, lim
n+
f(x
n
) = l para toda sequencia (x
n
)
nN
A x
0
convergente para
x
0
.
Demonstracao. Suponhamos que lim
xx
0
f(x) = l e mostremos que se (x
n
)
nN
Ax
0
e x
n
x
0
, entao f(x
n
) l. Seja > 0. Por hipotese, existe > 0 tal que
x A, 0 < [x x
0
[ < = [f(x) l[ < . (6.1)
Ora, x
n
x
0
, logo, existe N N tal que se n N, entao [x
n
x
0
[ < . Assim, para
n N, ao tomar x = x
n
em (6.1) obtemos [f(x
n
) l[ < . Conclumos que f(x
n
) l.
Reciprocamente, suponhamos que seja falso que lim
xx
0
f(x) = l. Isto signica que
existe > 0 tal que
> 0, x A tal que 0 < [x x
0
[ < e [f(x) l[ . (6.2)
Para cada n N, ao tomar = 1/n em (6.2) obtemos x
n
A tal que
0 < [x
n
x
0
[ <
1
n
e [f(x
n
) l[ .
1
QED, abrevia cao de quod erat demonstrandum que, em latim, signica como queramos demonstrar.
80 CAP
0
f(x) = l lim
xx
0
f(x) = + lim
xx
0
f(x) =
lim
x+
f(x) = l lim
x+
f(x) = + lim
x+
f(x) =
lim
x
f(x) = l lim
x
f(x) = + lim
x
f(x) =
Tabela 6.1: Os quinze tipos de limite.
O limite que aparece na primeira linha e primeira coluna ja foi denido. Os outros sao
denidos com pequenas adapta coes. O importante e entender o que signicam limites iguais
a l, + ou (cada um destes corresponde a um coluna da tabela), bem como o que
representam os smbolos x x
0
, x x
+
0
, x x
0
, x +e x +(que correspondem
`as linhas). Fa camos alguns comentarios a este respeito.
limf(x) = l Como ja vimos, isto signica que, por menor que seja > 0, podemos
concluir que [f(x) l[ < desde que x que verique certa condi cao.
limf(x) = + Signica que, por maior que seja M > 0, podemos concluir que f(x) > M
desde que x que verique certa condi cao.
limf(x) = Signica que, por maior que seja M > 0, podemos concluir que f(x) <
M desde que x que verique certa condi cao.
x x
0
Como ja vimos, isto signica que a condi cao sobre x e 0 < [x x
0
[ <
para sucientemente pequeno.
E necessario que x
0
A x
0
.
82 CAP
0
Le-se x tende a x
0
pela esquerda. Signica que que a condi cao sobre x
e 0 < x
0
x < para sucientemente pequeno.
E necessario que
x
0
A (, x
0
).
x + Le-se x tende a mais innito. Signica que que a condi cao sobre x e
x > N para N sucientemente grande.
E necessario que A seja ilimitado
superiormente.
x Le-se x tende a menos innito. Signica que que a condi cao sobre x e
x < N para N sucientemente grande.
E necessario que A seja ilimitado
inferiormente.
Por exemplo, lim
xx
0
f(x) = +deixa subentendido que x
0
A (, x
0
) e signica:
M > 0, > 0 tal que x A, 0 < x
0
x < = f(x) > M.
Para cada um dos quinze tipos de limite existem versoes das proposi coes 6.6 e 6.9. A
Proposi cao 6.8 tem uma versao quase identica para limites da primeira coluna da Tabela 6.1.
Entretanto, para os outros tipos devemos tomar cuidado pois + e nao sao numeros
reais, e por isto, nao podem ser operados como se fossem: (+) + (+) = 2 (+), ou
ainda, (+) +() = 0. Isto nao faz sentido! Uma compara cao entre as proposi coes 4.22
e 4.24 pode ajudar ao leitor a entender estas diferen cas.
6.3 Funcoes contnuas.
Como ja antecipamos, intuitivamente, uma fun cao f e contnua em um ponto x
0
do
seu domnio se f(x) esta proximo de f(x
0
) quando x esta proximo de x
0
. Induzidos pela
discussao que precedeu a deni cao de limite de fun coes, somos tentados a dizer que f : A R
e contnua em x
0
quando
lim
xx
0
f(x) = f(x
0
). (6.3)
E quase isto, mas nao exatamente. O problema e um detalhe tecnico. A deni cao de
lim
xx
0
f(x) exige que x
0
seja ponto de acumula cao de A. Por outro lado, para que f(x
0
)
tenha sentido devemos ter x
0
A. Estas duas condi coes podem ser incompatveis (veremos
um exemplo a seguir). Entretanto, quando x
0
vericar ambas as condi coes a deni cao que
faremos sera equivalente a (6.3).
EXEMPLO 6.10. Seja A = [0, 1) 2. Temos que 2 A mas 2 / A 2 = [0, 1].
Dada f : A R, f(2) tem sentido ao contrario de lim
x2
f(x). Por outro lado, 1 / A e
1 A 1 = [0, 1]. Logo, nao existe f(1), porem, pode existir lim
x1
f(x).
6.3. FUNC
OES CONT
INUAS. 83
DEFINIC
AO 6.11. Sejam f : A R R e x
0
A. Dizemos que f e contnua em x
0
se
> 0, > 0 tal que x A, [x x
0
[ < = [f(x) f(x
0
)[ < .
Dizemos ainda que f e contnua se f e contnua em todo ponto de A e escrevemos f C(A).
Mais precisamente, f C
(
A) se
y A, > 0, > 0 tal que x A, [x y[ < = [f(x) f(y)[ < . (6.4)
Alguns autores costumam denotar por C
0
(A), em vez de C(A), ao conjunto das fun coes
contnuas em A.
Observe que a deni cao de continuidade tem (como esperavamos) uma rela cao muito
grande com a deni cao de limite. Por esta razao, podemos facilmente adaptar os argumentos
dos exemplos 6.3, 6.4 e 6.5 para mostrar que sao contnuas as fun coes f, g, h : A R R
dadas por f(x) = c, g(x) = x e h(x) = x
2
para todo x A.
EXEMPLO 6.12. Este exemplo pretende acabar com o mito, geralmente apresentado nos
cursos de Calculo I, que diz que fun coes contnuas sao aquelas cujos gracos sao tra cados
sem tirar o lapis do papel. Considere a fun cao g : N R dada por g(n) = n para todo
n N. Fa ca um esbo co do graco de g e conven ca-se que nao e possvel desenha-lo sem
tirar o lapis do papel. Ora, a fun cao g e a mesma do paragrafo anterior (com A = N) que,
como ja sabemos, e contnua! Voce esta duvidando? Vejamos com mais detalhes. Sejam
> 0 e n N. Se x N e [x n[ < 1/2, entao x = n e, portanto, [g(x) g(n)[ = 0 < .
Conclumos que g e contnua em n e, como n e arbitrario, que g e contnua!
Observe que tomamos = 1/2 independente de e de n. Mais que isto, nem a deni cao
de g nao foi necessaria na demonstra cao. Moral da historia: fun coes denidas em N nao
apenas sao contnuas como sao muito contnuas!
Passemos imediatamente `as proposi coes que nos poupam, em muitos casos, o trabalho
com s e s. Todas elas tem demonstra coes analogas `aquelas encontradas na Se cao 6.1.
Por esta razao omitiremos suas provas.
PROPOSIC
AO 6.13. Sejam f : A R R e x
0
A. A fun cao f e contnua em x
0
se, e
somente se, lim
n+
f(x
n
) = f(x
0
) para toda sequencia (x
n
)
nN
A convergente para x
0
.
A proposi cao anterior, essencialmente, nos diz que fun coes contnuas sao aquelas que
comutam com o smbolo de limite, ou seja, f e contnua se, e somente se,
lim
n+
f(x
n
) = f
_
lim
n+
x
n
_
,
desde que a sequencia (x
n
)
nN
esteja contida no domnio de f e seja convergente para um
ponto deste conjunto.
84 CAP
convergentes para
x
0
, obtemos que f(x
n
) 1 e f(y
n
) 0. Conclumos que f e descontnua em qualquer
ponto.
PROPOSIC
= (a, b) de
onde seguira que J e um intervalo (valera uma dentre as seguintes possibilidades: J = (a, b),
J = [a, b), J = (a, b] ou J = [a, b]).
. Segue que J
(a, b).
Seja y (a, b). Por deni cao de nmo e supremo, existem y
1
, y
2
J tais que a <
y
1
< y < y
2
< b. Como J = f(I), existem x
1
, x
2
J tais que f(x
1
) = y
1
e f(x
2
) = y
2
.
Como f(x
1
) ,= f(x
2
), obtemos que x
1
,= x
2
. Suponhamos, por simplicidade, que x
1
< x
2
.
Aplicando o Teorema do Valor Intermediario `a fun cao f no intervalo [x
1
, x
2
] conclumos que
existe x (x
1
, x
2
) tal que f(x) = y. Segue que y J. Mostramos assim que (a, b) J.
Como (a, b) e aberto, obtemos (a, b) J
.
(ii) Suponhamos, por absurdo, que f nao seja monotona. Entao existem x
1
< x
2
< x
3
I tais que f(x
1
) < f(x
2
) > f(x
3
) ou f(x
1
) > f(x
2
) < f(x
3
). Consideremos o primeiro caso
(o segundo e analogo). Seja l
_
f(x
1
), f(x
2
)
_
(f(x
3
), f(x
2
)
_
. Gra cas ao Teorema do Valor
Intermediario, existem s (x
1
, x
2
) e t (x
2
, x
3
) tais que f(s) = f(t) = l, contrariando a
injetividade de f.
(iii) Ja sabemos que f e monotona. Para xar as ideias, suponhamos que f e crescente.
Seja y J e (y
n
)
nN
J tal que y
n
y. Vamos mostrar que f
1
(y
n
) f
1
(y).
Dado > 0, se r, t I sao tais que f
1
(y) < s < f
1
(y) < t < f
1
(y) + , entao
f(s) < y < f(t). Como y
n
y, existe n
0
N tal que f(s) < y
n
< f(t) se n n
0
. Neste
caso, f
1
(y) < s < f
1
(y
n
) < t < f
1
(y) + . Portanto
f
1
(y
n
) f
1
(y)
< se
n n
0
.
6.5 Funcoes contnuas denidas em compactos.
O proximo teorema e um exemplo de como a compacidade pode ser bem explorada. A sua
demonstra cao e bastante simples, porem, as ideias nela presentes sao usuais (e poderosas)
86 CAP
INUAS. 87
TEOREMA 6.25. Se K e compacto e f C(K), entao f e uniformemente contnua em
K.
Demonstracao. Suponhamos, por absurdo, que f nao e uniformemente contnua. Entao,
existe > 0 tal que
> 0, x, y K tais que [x y[ < e [f(x) f(y)[ .
Tomando, para cada n N, = 1/n construmos duas sequencias (x
n
)
nN
K e
(y
n
)
nN
K tais que [x
n
y
n
[ < 1/n e [f(x
n
) f(y
n
)[ para todo n N. Po-
demos extrair uma subsequencia de (x
n
)
nN
(ainda denotada (x
n
)
nN
) convergente para
x K. Como lim
n+
(x
n
y
n
) = 0, obtemos que (y
n
)
nN
tambem converge para x.
Como f e contnua, temos lim
n+
f(x
n
) = lim
n+
f(y
n
) = f(x). Conclumos que
lim
n+
(f(x
n
) f(y
n
)) = 0, contrariando [f(x
n
) f(y
n
)[ para todo n N.
6.6 Pontos xos para funcoes contnuas.
Fa camos a seguinte deni cao para, em seguida, explicar sua importancia.
DEFINIC
E facil ver que se f e uma contra cao, entao f e uniformemente contnua (veja Exerccio
6).
TEOREMA 6.29. (Do Ponto Fixo de Banach
1
) Sejam f : A R R contra cao e
X A fechado, nao vazio e tal que f(X) X. Entao existe um unico a X que e ponto
xo de f. Mais precisamente, dado x
0
X a sequencia (x
n
)
nN
denida recursivamente por
x
n
= f(x
n1
) n N. (6.6)
converge para a.
Demonstracao. Vamos mostrar que a sequencia (x
n
)
nN
e de Cauchy. Seja > 0.
Por deni cao de contra cao, existe (0, 1) tal que
[f(x) f(y)[ [x y[ x, y A.
Como (0, 1), existe N N tal que
n N =
[x
1
x
0
[
n
1
< .
Por indu cao, mostra-se facilmente que [x
n+1
x
n
[
n
[x
1
x
0
[ para todo n N.
Usando este fato, obtemos que se m > n N, entao
[x
m
x
n
[ =
m1
i=n
(x
i+1
x
i
)
m1
i=n
[x
i+1
x
i
[
m1
i=n
i
[x
1
x
0
[
[x
1
x
0
[
+
i=n
i
=
[x
1
x
0
[
n
1
< .
1
Stefan Banach: 30/03/1892, Krak ow, Pol onia - 31/08/1945, Lvov, Ucrania.
6.7. EXERC
ICIOS. 89
Conclumos que a sequencia (x
n
)
nN
e de Cauchy e, portanto, convergente para algum
a R. Como X e fechado obtemos que a X. Tomando o limite quando n + em
(6.6), da continuidade de f segue que a = f(a), ou seja, que a e ponto xo de f.
Mostremos agora a unicidade. Suponhamos por absurdo, que existe b X ponto xo de
f diferente de a. Temos
[b a[ = [f(b) f(a)[ [b a[ < [b a[.
Absurdo.
O Teorema do Ponto xo de Banach tambem e conhecido pelo nome de Metodo das
Aproxima coes Sucessivas de Picard
1
ou Lema da Contra cao.
6.7 Exerccios.
1 - Para f : A R, de as deni coes rigorosas de lim
x+
f(x) = l e lim
x
f(x) =
+.
2 - (Teorema do Sanduche) Sejamf, g, h : A R. Mostre que se f(x) g(x) h(x)
para todo x A e lim
xx
0
f(x) = lim
xx
0
h(x) = l, entao lim
xx
0
g(x) = l.
3 - Nos exerccios abaixo, x denota a parte inteira de x R (veja a Deni cao 4.40).
Determine:
a) lim
x+
x1/x;
b) lim
x0
x1/x.
4 - Seja f : R R contnua. Mostre que o conjunto Z = x R ; f(x) = 0 e fechado.
Conclua da que, se f, g : R R sao contnuas, entao C = x R ; f(x) = g(x) e um
conjunto fechado.
5 - Mostre que se f : A R e contnua, entao [f[ e contnua. A recproca e verdadeira?
Ou seja, podemos armar que se [f[ e contnua, entao f e contnua?
6 - Uma fun cao f : A R R e dita Lipschitz
2
contnua se existe K > 0 tal que
[f(x) f(y)[ K[x y[ para todo x, y A. Mostre que se f e Lipschitz contnua, entao
f e uniformemente contnua. Em particular, toda contra cao e uniformemente contnua.
7 - Considere o polinomio p(x) = a
n
x
n
+a
n1
x
n1
+ +a
1
x +a
0
, onde a
n
> 0 e n e
mpar. Mostre que
a) lim
x+
p(x) = +;
1
Charles Emile Picard: 24/07/1856, Paris, Fran ca - 11/12/1941, Paris, Fran ca.
2
Rudolf Otto Sigismund Lipschitz: 14/05/1832, Kaliningrado, Russia - 07/10/1903, Bonn, Alemanha.
90 CAP
_
1 se x = 0,
1/q se x = p/q com p, q Z positivos e primos entre si,
0 se x [0, 1] Q.
12 - Sejam f : R R e A R. Considere a seguinte deni cao: f e contnua em A se
f e contnua em todos os elementos de A.
a) Mostre que se f e contnua em A, entao f
|A
e contnua.
b) Encontre um exemplo onde f
|A
e contnua mas f e nao e contnua em A.
13 - O objetivo deste exerccio e mais ambicioso do que o do Exerccio 10 do Captulo 4.
Sejam m N e f : [0, +) [0, +) dada por f(x) = x
m
para todo x 0. Mostre que
6.7. EXERC
ICIOS. 91
a) f e contnua e injetiva;
b) lim
x+
f(x) = +;
c) existe e e contnua a fun cao f
1
: [0, +) [0, +).
A fun cao f
1
e chamada de raiz m-esima e e denotada por f
1
(y) =
m
y para todo
y [0, +) (ou, simplesmente,
y quando m = 2).
92 CAP
ITULO 7. DERIVADA
Voltando ao caso de uma fun cao real. Dada a fun cao f denida numa vizinhan ca de x
0
queremos determinar a fun cao am g, dada por g(x) = ax + b, que mais se pare ca com f
na vizinhan ca de x
0
(lembre-se que esta semelhan ca e local, i.e., perto de x
0
). Determinar g
signica determinar as constantes a e b. Sera mais conveniente, modicando a constante b,
escrever a fun cao g na forma g(x) = a(x x
0
) +b (conven ca-se que toda fun cao am pode
ser escrita desta forma).
Como proceder? A resposta depende, e claro, do que se entende por aproximar uma
fun cao. Devemos precisar o que signica g ser a fun cao am que mais se parece com f
na vizinhan ca de um ponto.
E natural de se exigir que a fun cao g satisfa ca as seguintes
condi coes:
i. g(x
0
) = f(x
0
);
ii. lim
xx
0
_
f(x) g(x)
_
= 0.
ITULO 7. DERIVADA
DEFINIC
(x
0
) e denida por
f
(x
0
) = lim
xx
0
f(x) f(x
0
)
x x
0
.
Se f e derivavel em todo ponto do seu domnio, entao dizemos simplesmente que f e de-
rivavel. A fun cao f
(x
0
)(x x
0
) e a reta
que melhor aproxima o graco de f numa vizinhan ca de x
0
. Tal reta e chamada de tangente
ao graco de f no ponto x
0
.
EXEMPLO 7.4. Seja f : R R dada por f(x) = ax + b para todo x R com a e b
constantes. Perguntamos se f e derivavel num ponto x
0
R e, no caso armativo, quanto
vale f
(x
0
)? Determinar se f e derivavel em x
0
corresponde a determinar se f pode ser
bem aproximada por uma fun cao am numa vizinhan ca de x
0
. Neste exemplo, f ja e am e
portanto pode ser muito bem aproximada por ela mesma. Alem disto, sendo a derivada igual
ao coeciente do termo em x da aproxima cao, temos imediatamente que f
(x
0
) = a qualquer
que seja x
0
R. Vamos vericar isto rigorosamente a partir da deni cao. Temos
lim
xx
0
f(x) f(x
0
)
x x
0
= lim
xx
0
ax +b ax
0
b
x x
0
= a.
Segue que f e derivavel em todo ponto x
0
R com f
(x
0
) = a. Em particular, se f e
constante (a = 0), obtemos que f
(x
0
) = 0 para todo x
0
R.
EXEMPLO 7.5. Vamos vericar que a fun cao dada por f(x) = x
n
para todo x R (n N)
e derivavel em qualquer ponto x
0
R com f
(x
0
) = nx
n1
0
. Temos
lim
xx
0
x
n
x
n
0
x x
0
= lim
xx
0
(x
n1
+x
n2
x
0
+ + xx
n2
0
+x
n1
0
) = nx
n1
0
.
Outros exemplos podem ser vistos em qualquer livro de Calculo I. Vamos admitir conheci-
das varias fun coes e suas derivadas. Em qualquer curso de Analise o enfoque nao deve estar
no calculo de derivadas mas sim no estudo rigoroso de suas principais propriedades.
7.2 Propriedades operatorias.
As propriedades operatorias das derivadas sao, em sua maioria, consequencias imediatas
das propriedades analogas sobre limites.
7.2. PROPRIEDADES OPERAT
ORIAS. 97
PROPOSIC
(x
0
) = f
(x
0
) +g
(x
0
);
ii. cf e derivavel em x
0
e (cf)
(x
0
) = cf
(x
0
);
iii. f g e derivavel em x
0
e (f g)
(x
0
) = f
(x
0
) g
(x
0
);
iv. fg e derivavel em x
0
e (fg)
(x
0
) = f
(x
0
)g(x
0
) +f(x
0
)g
(x
0
);
v. se g(x
0
) ,= 0, entao f/g e derivavel em x
0
e
_
f
g
_
(x
0
) =
f
(x
0
)g(x
0
) f(x
0
)g
(x
0
)
g(x
0
)
2
.
Demonstracao. (i) Basta notar que
(f +g)(x) (f +g)(x
0
)
x x
0
=
f(x) f(x
0
)
x x
0
+
g(x) g(x
0
)
x x
0
e aplicar a Proposi cao 6.8 (i).
(ii) Segue de
(cf)(x) (cf)(x
0
)
x x
0
= c
f(x) f(x
0
)
x x
0
e da Proposi cao 6.8 (ii).
(iii)
E consequencia imediata dos itens (i) e (ii).
(iv) Obtemos este resultado da igualdade
(fg)(x) (fg)(x
0
)
x x
0
=
f(x) f(x
0
)
x x
0
g(x
0
) + f(x)
g(x) g(x
0
)
x x
0
.
e da Proposi cao 6.8 (iv).
(v) Um simples calculo nos da
(f/g)(x) (f/g)(x
0
)
x x
0
=
1
g(x)g(x
0
)
_
f(x) f(x
0
)
x x
0
g(x
0
) f(x
0
)
g(x) g(x
0
)
x x
0
_
.
Da e da Proposi cao 6.8, conclui-se o resultado.
PROPOSIC
(x
0
) = g
_
f(x
0
)
_
f
(x
0
).
98 CAP
ITULO 7. DERIVADA
Demonstracao. Seja r : B R dada por
r(y) =
_
_
g
_
y
_
g
_
f(x
0
)
_
y f(x
0
)
g
_
f(x
0
)
_
se y ,= f(x
0
),
0 se y = f(x
0
).
_
f(x
0
)
__
y f(x
0
)
_
+r(y)
_
y f(x
0
)
_
.
Como a equa cao acima e, trivialmente, verdadeira para y = f(x
0
) temos que ela e valida para
todo y B. Fazendo y = f(x) com x A, x ,= x
0
, na equa cao acima e dividindo-a por
x x
0
, obtemos
g
_
f(x)
_
g
_
f(x
0
)
_
x x
0
= g
_
f(x
0
)
_
f(x) f(x
0
)
x x
0
+r
_
f(x)
_
f(x) f(x
0
)
x x
0
.
Como f e contnua em x
0
e r e contnua em f(x
0
), da Proposi cao 6.17 obtemos que
lim
xx
0
r
_
f(x)
_
= 0. Conclumos a demonstra cao, fazendo x x
0
na equa cao acima e
usando a Proposi cao 6.8.
PROPOSIC
(x
0
) ,= 0 e f
1
e contnua em f(x
0
), entao f
1
e derivavel em f(x
0
) e, alem disto,
_
f
1
_
_
f(x
0
)
_
=
_
f
(x
0
)
_
1
.
Demonstracao. Seja y
0
= f(x
0
). Como f e derivavel em x
0
temos que x
0
A x
0
e,
portanto, existe uma sequencia (x
n
)
nN
A x
0
convergente para x
0
. Como f e injetiva
temos que
_
f(x
n
)
_
nN
B y
0
. Alem disto, da continuidade de f segue que f(x
n
) y
0
e, portanto, y
0
B y
0
.
Seja (y
n
)
nN
B y
0
convergente para y
0
. Vamos mostrar que
lim
n+
f
1
(y
n
) f
1
(y
0
)
y
n
y
0
=
1
f
(x
0
)
.
O resultado seguira da Proposi cao 6.6.
Denindo x
n
= f
1
(y
n
) para todo n N, temos que (x
n
)
nN
A x
0
e, como f
1
e
contnua em y
0
, (x
n
)
nN
converge para x
0
. Segue que
f
1
(y
n
) f
1
(y
0
)
y
n
y
0
=
x
n
x
0
f(x
n
) f(x
0
)
1
f
(x
0
)
quando n +.
7.3. EXTREMOS LOCAIS E O TEOREMA DO VALOR M
EDIO. 99
EXEMPLO 7.9. No Exerccio 13 do Captulo 6 vimos que a fun cao f : [0, +) [0, +)
dada por f(x) = x
2
para todo x 0 tem inversa contnua. Como a derivada de f so se
anula em 0, a Proposi cao 7.8 implica que f
1
e derivavel em f(x) se x > 0, ou seja, f
1
e
derivavel em (0, +). Alem disto, em y = f(x) > 0, a derivada de f
1
e dada por
_
f
1
_
(y) =
1
f
(x)
=
1
2x
=
1
2
y
.
A hipotese de continuidade de f
1
e essencial como mostra o proximo exemplo.
EXEMPLO 7.10. Seja f : [0, 1] (2, 3] [0, 2] denida por f(x) = x se x [0, 1] e
f(x) = x 1, se x (2, 3]. Temos que f e derivavel com f
e f e derivavel em x
0
, entao f
(x
0
) = 0.
Demonstracao. Suponhamos que x
0
e um ponto de maximo local de f (a demonstra cao
e analoga para ponto de mnimo local). Como x
0
e ponto de maximo local no interior de
A, existe > 0 tal que se [x x
0
[ < , entao x A e f(x) f(x
0
). Portanto para
x
0
< x < x
0
+ temos
_
f(x) f(x
0
)
_
/(x x
0
) 0. Segue que
lim
xx
+
0
f(x) f(x
0
)
x x
0
0.
100 CAP
ITULO 7. DERIVADA
Por outro lado, para x
0
< x < x
0
temos
_
f(x) f(x
0
)
_
/(x x
0
) 0. Portanto
lim
xx
0
f(x) f(x
0
)
x x
0
0.
Como dissemos anteriormente, o Teorema dos Extremos Locais e util na determina cao dos
extremos globais de uma fun cao f : A R R. De fato, temos as seguintes implica coes:
x
0
e extremo global = x
0
e extremo local
x
0
A
e f e derivavel em x
0
_
_
_
= f
(x
0
) = 0.
Desta forma, se x
0
e extremo global, entao x
0
pertence a algum dos tres conjuntos abaixo:
x A
; f e derivavel em x e f
(x) = 0, A A
, ou x A
; f nao e derivavel em x.
EXEMPLO 7.13. Seja f : [0, 4] R dada por f(x) = [x 1[(5 x) para todo x [0, 4].
Como f e contnua e A = [0, 4] e compacto, f tem extremos globais. Vamos determina-los.
E imediato que
f(x) =
_
_
_
(1 x)(5 x) se 0 x 1,
(x 1)(5 x) se 1 < x 4.
Segue facilmente (verique) que f e derivavel em todo ponto x A 1. Alem disto,
f
(x) =
_
_
_
2x 6 se 0 x < 1,
6 2x se 1 < x 4.
Assim, todo extremo global pertence a algum dos tres conjuntos abaixo:
x A
; f e derivavel em x e f
(x) = 0 = 3,
A A
= 0, 4,
x A
; f nao e derivavel em x = 1.
Uma simples verica cao nos da f(0) = 5, f(1) = 0, f(3) = 4 e f(4) = 3. Portanto, 0 e o
ponto de maximo global e 1 e o ponto de mnimo global de f.
TEOREMA 7.14. (Do Valor Medio) Se f C
_
[a, b]
_
(com a < b) e derivavel em (a, b),
entao existe c (a, b) tal que f(b) = f(a) +f
(c)(b a).
Demonstracao. Considere a fun cao g denida sobre o compacto [a, b] dada por
g(x) = f(x) f(a)
f(b) f(a)
b a
(x a).
7.3. EXTREMOS LOCAIS E O TEOREMA DO VALOR M
EDIO. 101
Temos que g C
_
[a, b]
_
e g e derivavel em (a, b) com
g
(x) = f
(x)
f(b) f(a)
b a
.
Para terminar a demonstra cao basta mostrar que existe c (a, b) tal que g
(c) = 0. Obser-
vamos inicialmente que g(a) = g(b) = 0. Se g for constante, entao nao ha mais nada a ser
demonstrado. Suponhamos que g nao seja constante.
Gra cas ao Teorema de Weierstrass, g tem extremos globais em [a, b]. Como g nao e
constante, um destes extremos, denotado c, e tal que g(c) ,= g(a) = g(b) e portanto c (a, b).
Do Teorema dos Extremos Locais segue que g
(c) = 0.
Em particular temos o seguinte corolario.
COROL
(c) = 0.
Demonstracao. Trivial.
COROL
. Temos:
i. se f
, entao f e crescente;
ii. se f
, entao f e decrescente;
iv. se f
, entao f e constante;
vi. se f
(x) = g
, entao f g e constante.
Demonstracao. (i) Sejam a, b I com a < b. Aplicando o Teorema do Valor Medio a
f
|[a,b]
, obtemos que existe c (a, b) tal que
f(b) f(a)
b a
= f
(c) 0.
Segue que f(b) f(a). Portanto, f e crescente.
(ii) Analogo ao item (i).
(iii) Analogo ao item (i).
1
Michel Rolle: 21/04/1652, Ambert, Fran ca - 08/11/1719, Paris, Fran ca.
102 CAP
ITULO 7. DERIVADA
(iv) Analogo ao item (i).
(v) Segue dos itens (i) e (iii).
(vi) Basta aplicar o item (v) `a fun cao f g.
Terminamos a se cao com uma generaliza cao do Teorema do Valor Medio.
TEOREMA 7.17. (De Cauchy) Se f, g C
_
[a, b]
_
(com a < b) sao derivaveis em (a, b)
e g
nao se anula em (a, b), entao g(a) ,= g(b) e existe c (a, b) tal que
f(b) f(a)
g(b) g(a)
=
f
(c)
g
(c)
.
Demonstracao. Observamos inicialmente que g(a) ,= g(b), pois senao, pelo Teorema de
Rolle, g
se anularia em algum ponto de (a, b). Considere a fun cao h, denida sobre [a, b],
dada por
h(x) = f(x) f(a)
f(b) f(a)
g(b) g(a)
_
g(x) g(a)
_
.
E facil ver que h satisfaz as hipoteses do Teorema de Rolle, logo existe c (a, b) tal que
h
(c) = 0, ou seja,
f
(c)
f(b) f(a)
g(b) g(a)
g
(c) = 0.
Da segue imediatamente o resultado.
Anteriormente anunciamos que o Teorema de Cauchy era uma generaliza cao do Teorema
do Valor Medio. Mas observe que na sua demonstra cao, usamos o Teorema de Rolle que
aparecia como caso particular do Teorema do Valor Medio. Ou seja, mostramos as seguintes
implica coes:
Teorema do Valor Medio Teorema de Rolle Teorema de Cauchy Teorema do Valor
Medio.
portanto estes tres resultados sao equivalentes.
7.4 Derivadas de ordem superior e Formulas de Taylor.
A ideia que nos motivou a deni cao da derivada foi a de aproximar uma fun cao arbitraria
por uma fun cao am, isto e, por uma fun cao polinomial de grau menor ou igual a 1. Veremos
nesta se cao, que podemos fazer aproxima coes melhores se tomarmos polinomios de graus
maiores que 1. Para isto sera necessario exigir mais de f.
DEFINIC
e derivavel em x
0
. A segunda derivada de f em x
0
e
7.4. DERIVADAS DE ORDEM SUPERIOR E F
(x
0
) e denotada por f
(x
0
). Se f
= (f
em I e escrevemos
f C
(I).
DEFINIC
(x
0
)(xx
0
)+
f
(x
0
)
2!
(xx
0
)
2
+
f
(x
0
)
3!
(xx
0
)
3
+ +
f
(n)
(x
0
)
n!
(xx
0
)
n
.
Tomando h = x x
0
, o polinomio de Taylor de ordem n de f em torno de x
0
pode ser
escrito como
p
n
(x
0
+h) = f(x
0
) +f
(x
0
)h +
f
(x
0
)
2!
h
2
+
f
(x
0
)
3!
h
3
+ +
f
(n)
(x
0
)
n!
h
n
.
Observe ainda que no ponto x
0
as derivadas ate a ordem n de f e de p coincidem.
TEOREMA 7.20. (Formula de Taylor com resto de Peano
2
) Seja f uma fun cao n 1
vezes derivavel no intervalo I (se n = 1 esta hipotese e eliminada), e n vezes derivavel em
x
0
I. Se x
0
+h I, entao escrevendo
f(x
0
+h) = p
n
(x
0
+h) +r(h),
sendo p
n
o polinomio de Taylor de grau n de f em torno de x
0
, temos que
lim
h0
r(h)
h
n
= 0.
Demonstracao. Observamos inicialmente que a rela cao f(x
0
+h) = p
n
(x
0
+h) r(h) deve
ser vista como a deni cao de r(h), i.e., r(h) = f(x
0
+h) p
n
(x
0
+h).
Procedemos por indu cao em n. Para n = 1 temos p
1
(x
0
+h) = f(x
0
) +f
(x
0
)h. Seque
que
r(h)
h
=
f(x
0
+h) f(x
0
) f
(x
0
)h
h
.
O resultado segue imediatamente da Deni cao 7.1 e da Proposi cao 7.2.
1
Brook Taylor: 18/081685, Edmonton, Inglaterra - 29/12/1731, Londres, Inglaterra.
2
Giuseppe Peano: 27/08/1858, Piemonte, Italia - 20/04/1932, Turim, Italia.
104 CAP
ITULO 7. DERIVADA
Suponhamos n > 1. Observamos que f
em torno de x
0
e dado por p
n
. Da e da hipotese de indu cao, obtemos
lim
h0
f
(x
0
+h) p
n
(x
0
+h)
h
n1
= 0.
Seja > 0. Da igualdade acima, conclumos que existe > 0 tal que
x
0
+h I, 0 < [h[ < =
(x
0
+h) p
n
(x
0
+h)
h
n1
< .
Seja h (0, ) tal que x
0
+ h I (o caso h (, 0) e analogo). As fun coes dadas
por r(t) = f(x
0
+ t) p
n
(x
0
+ t) e g(t) = t
n
sao derivaveis em [0, h] e se anulam em 0.
Alem disto, g
nao se anula em (0, h). Pelo Teorema de Cauchy (Teorema 7.17), obtemos
que existe t (0, h) tal que
r(h)
h
n
r(h) r(0)
g(h) g(0)
(t)
g
(t)
=
1
n
(x
0
+t) p
(x
0
+t)
t
n1
<
n
< .
O teorema anterior diz que, numa vizinhan ca de x
0
, podemos aproximar uma fun cao f
pelo seu Polinomio de Taylor de grau n. Ao faze-lo, no ponto x
0
+ h, cometemos um erro
r(h) = f(x
0
+ h) p
n
(x
0
+ h) que e um innitesimo de ordem n, i.e., que tende a zero
mais rapido que h
n
quando h tende a 0. Este fato e, muitas vezes expresso, com a seguinte
frase: r e o(h
n
) quando h 0. Ou ainda, e usado o abuso de nota cao r = o(h
n
).
O teorema seguinte fornece uma forma mais explicita para o erro da aproxima cao. Ele
tambem pode ser visto como uma generaliza cao do Teorema do Valor Medio.
TEOREMA 7.21. (Formula de Taylor com resto de Lagrange
1
) Se f C
n
_
[a, b]
_
(com a < b, o caso b < a e analogo) e f e n + 1 vezes derivavel em (a, b), entao existe
c (a, b) tal que
f(b) = p
n
(b) +
f
(n+1)
(c)
(n + 1)!
(b a)
n+1
,
sendo p
n
o polinomio de Taylor de ordem n de f em torno de a.
Demonstracao. Seja g denida sobre [a, b] dada por
g(x) = f(x) +f
(x)(b x) +
f
(x)
2!
(b x)
2
+ +
f
(n)
(x)
n!
(b x)
n
+
A
(n + 1)!
(b x)
n+1
=
n
i=0
f
(i)
(x)
i!
(b x)
i
+
A
(n + 1)!
(b x)
n+1
,
1
Joseph-Louis Lagrange: 25/01/1736, Turim, Italia - 10/04/1813, Paris, Fran ca.
7.4. DERIVADAS DE ORDEM SUPERIOR E F
(c) =
n
i=0
f
(i+1)
(c)
i!
(bc)
i
i=1
f
(i)
(c)
(i 1)!
(bc)
i1
A
n!
(bc)
n
=
_
f
(n+1)
(c) A
_
n!
(bc)
n
.
Segue que f
(n+1)
(c) = A.
Tome a = x
0
e b = x
0
+h no Teorema 7.21 para compara-lo com o Teorema 7.20.
Como exemplo de aplica cao da Formula de Taylor temos a seguinte proposi cao sobre
extremos locais.
PROPOSIC
AO 7.22. Seja f uma fun cao denida num intervalo I e n vezes derivavel em
x
0
I com f
(x
0
) = = f
(n1)
(x
0
) = 0 e f
(n)
(x
0
) ,= 0. Temos:
i. se n e par e f
(n)
(x
0
) > 0, entao x
0
e mnimo local de f.
ii. se n e par e f
(n)
(x
0
) < 0, entao x
0
e maximo local de f.
iii. se n e mpar, entao x
0
nao e extremo local de f.
Demonstracao. Seja x I. Como as derivadas de f se anulam ate a ordem n1, tomando
h = x x
0
na Formula de Taylor com resto de Peano obtemos
f(x) f(x
0
) = p
n
(x) f(x
0
) +r(h) =
f
(n)
(x
0
)
n!
h
n
+r(h) com lim
h0
r(h)
h
n
= 0.
(7.2)
Deste modo, existe > 0 tal que se x I com 0 < [x x
0
[ < , entao
[r(h)[ <
f
(n)
(x
0
)
n!
h
n
. (7.3)
De (7.2) e (7.3), obtemos que o sinal de f(x) f(x
0
) e o mesmo de
f
(n)
(x
0
)
n!
h
n
=
f
(n)
(x
0
)
n!
(x x
0
)
n
.
Da seguem imediatamente as tres arma coes da proposicao.
106 CAP
ITULO 7. DERIVADA
7.5 O Metodo de Newton.
No Exerccio 10 do Captulo 4 mostramos que, dados m N e a 0, existe x 0 tal
que x
m
= a, ou de modo equivalente, que existe raiz para a fun cao f : [0, +) R dada
por f(x) = x
m
a para todo x 0. Nosso metodo consistiu em denir recursivamente uma
sequencia (x
n
)
nN
que era convergente para a raiz da fun cao f acima.
O metodo empregado e um caso particular do chamado Metodo de Newton
1
, muito
usado para calcular aproxima coes (tao boa quanto quisermos) de razes de fun coes. A Figura
7.2 da uma ideia geometrica do metodo. O proximo teorema garante o seu funcionamento.
f(x
n1
)
x
n1
x
n
a
f
(x
n1
) =
f(x
n1
)
x
n
x
n1
.
Figura 7.2: Itera cao do Metodo de Newton.
TEOREMA 7.23. (Metodo de Newton) Seja f : A R R e a A com f(a) = 0.
Suponhamos que exista > 0 tal que
i. f e duas vezes diferenciavel em (a , a +) e f
e contnua em a;
ii. f
(x
n1
)
n N.
e convergente para a.
1
Sir Isaac Newton: 04/05/1643, Woolsthorpe, Inglaterra - 31/03/1727, Londres, Inglaterra.
7.6. REGRAS DE LHOSPITAL. 107
Demonstracao. Segue imediatamente das hipoteses que, no intervalo (a, a+), a fun cao
dada por
g(x) = x
f(x)
f
(x)
esta bem denida e e derivavel. Derivando g obtemos,
g
(x) = 1
f
(x)
2
f(x)f
(x)
f
(x)
2
=
f(x)f
(x)
f
(x)
2
.
Segue que g
e contnua em a e que g
(x)[ 1/2
para todo x X = [a , a +].
Vamos mostrar que g
|X
e uma contra cao. Sejam x, y X. Suponhamos, sem perda de
generalidade, que x < y. Pelo Teorema do Valor Medio, existe z (x, y) X tal que
[g(x) g(y)[ = [g
(z)[ [x y[
1
2
[x y[.
Temos ainda que g(X) X. De fato, se x X entao,
[g(x) g(a)[
1
2
[x a[ < [x a[ .
Como g(a) = a temos [g(x) a[ < e, portanto, g(x) X. Em particular, se x
0
X,
entao (x
n
)
nN
X. Pelo Teorema do Ponto Fixo de Banach, (x
n
)
nN
converge para o unico
ponto xo de g em X. Ou seja, (x
n
)
nN
converge para a.
7.6 Regras de LHospital.
PROPOSIC
(x)/g
(x)
g
(x)
.
Demonstracao. Como lim
xa
+ f(x) = 0, modicando ou estendendo f, se necessario,
podemos supor que f(a) = 0. Analogamente, g(a) = 0. Desta forma f e g sao contnuas
em [a, b).
Seja x (a, b). Aplicando o Teorema 7.17 `as fun coes f e g sobre o intervalo [a, x],
encontramos y (a, x) tal que
f(x)
g(x)
=
f(x) f(a)
g(x) g(a)
=
f
(y)
g
(y)
.
1
Guillaume Fran cois Antoine Marquis de LHospital: 1661, Paris, Fran ca - 02/02/1704, Paris, Fran ca.
108 CAP
ITULO 7. DERIVADA
O resultado segue da igualdade acima observando que y a
+
quando x a
+
.
Pequenas adapta coes na demonstra cao anterior mostram que a proposi cao tambem e
valida quando no seu enunciado substitumos x a
+
por x b
. Da mesma forma, a
Regra de lHospital vale para limites do tipo x a. O proximo corolario trata do caso
x + (o caso x e analogo).
COROL
(x)/g
(x) (nito ou
nao), entao existe lim
x+
f(x)/g(x) e
lim
x+
f(x)
g(x)
= lim
x+
f
(x)
g
(x)
.
Demonstracao. Considere a fun cao F denida sobre um intervalo (0, b) por F(y) = f(1/y).
Analogamente denimos G(y) = g(1/y). Os seguintes fatos sao de verica cao imediata:
i. F e G sao derivaveis com F
(y) = f
(1/y)/y
2
e G
(y) = g
(1/y)/y
2
(segue que G
nao se anula);
ii. lim
y0
+ F(y) = lim
y0
+ f(1/y) = lim
x+
f(x) = 0;
iii. lim
y0
+ G(y) = lim
y0
+ g(1/y) = lim
x+
g(x) = 0;
iv. lim
y0
+ F
(y)/G
(y) = lim
y0
+ f
(1/y)/g
(1/y) = lim
x+
f
(x)/g
(x).
Pela Proposi cao anterior, lim
y0
+ F(y)/G(y) = lim
x+
f
(x)/g
(x). Entao,
lim
x+
f(x)
g(x)
= lim
y0
+
f(1/y)
g(1/y)
= lim
y0
+
F(y)
G(y)
= lim
x+
f
(x)/g
(x).
PROPOSIC
(x)/g
(x)
g
(x)
.
Demonstracao. Seja > 0. Suponhamos que lim
xa
+ f
(x)/g
(z)
g
(z)
< l +. (7.4)
7.7. EXERC
ICIOS. 109
Como lim
xa
+ f(x) = lim
xa
+ g(x) = +, existe > 0 (que podemos supor menor que
y a) tal que
a < x < a + = 1 <
1 g(y)/g(x)
1 f(y)/f(x)
< 1 +. (7.5)
Seja x (a, a +) (a, y). Gra cas ao Teorema 7.17, existe z (x, y) (a, y) tal que
f(x)
_
1 f(y)/f(x)
_
g(x)
_
1 g(y)/g(x)
_ =
f(x) f(y)
g(x) g(y)
=
f
(z)
g
(z)
.
Da segue que
f(x)
g(x)
=
f
(z)
g
(z)
1 g(y)/g(x)
1 f(y)/f(x)
.
Da e das rela coes (7.4) e (7.5) obtemos
(l )(1 ) <
f(x)
g(x)
< (l +)(1 +),
se f
(z)/g
(x)/g
(x), entao
existe lim
x+
f(x)/g(x) e
lim
x+
f(x)
g(x)
= lim
x+
f
(x)
g
(x)
.
Demonstracao. Deixada para o leitor.
7.7 Exerccios.
1 - Sejam f : A R e x
0
A
(x
0
) > 0. Mostre que
existem a, b A tais que f(a) < f(x
0
) < f(b).
2 - Seja f : R R contnua. Suponhamos que f seja derivavel em x
0
R. Determine
o valor de a R de modo que seja contnua a fun cao abaixo:
F(x) =
_
_
f(x) f(x
0
)
x x
0
se x ,= x
0
,
a se x = x
0
,
x R.
110 CAP
ITULO 7. DERIVADA
3 - Seja f : [1, 2] R dada por f(x) = x
3
x. Determine os conjuntos
A = x [1, 2] ; x e mnimo global de f,
B = x [1, 2] ; x e maximo global de f,
C = x [1, 2] ; x e mnimo local de f,
D = x [1, 2] ; x e maximo local de f.
4 - O objetivo deste exerccio e demonstrar a versao real do Teorema Fundamental da
(x)[ K x I
.
6 - Seja f : [a, b] R de classe C
1
. Mostre que existe K > 0 tal que
[f(x) f(y)[ K[x y[, x, y [a, b].
7 - Seja f : R R derivavel, com derivada limitada. Mostre que existe c > 0 tal que a
fun cao g : R R, dada por g(x) = x + cf(x) para todo x R, e uma bije cao com inversa
derivavel.
8 - Seja f : A R duas vezes derivavel no ponto x
0
A
. Mostre que
f
(x
0
) = lim
h0
f(x
0
+h) +f(x
0
h) 2f(x
0
)
h
2
.
De um exemplo em que o limite acima existe mas f nao e derivavel em x
0
.
9 - Seja f : R R derivavel e tal que f(0) = lim
x+
f(x) = 0. Mostre que existe
x > 0 tal que f
(x) = 0.
10 - Sejam f, g C
1
_
R
_
tais que f
= f, g
ICIOS. 111
11 - Sejam m N e a 0. Escreva a deni cao da sequencia (x
n
)
nN
de aproxima coes
dada pelo Metodo de Newton para a raiz da fun cao f : [0, +) R denida por f(x) =
x
m
a para todo x 0 (compare com a sequencia do Exerccio 10 do Captulo 4).
12 - Mostre que para a convergencia do Metodo de Newton (Teorema 7.23) a hipotese
de continuidade de f
em (a , a +).
13 - Seja p um polinomio nao constante. Mostre que
a) lim
x+
e
x
[p(x)[
= +;
b) lim
x+
ln x
[p(x)[
= 0.
112 CAP
ITULO 7. DERIVADA
Captulo 8
Integral de Riemann
8.1 Somas superiores e inferiores.
O conceito de integral tem suas origens no Metodo da Exaustao devido, provavelmente,
a Eudoxo e que teve Arquimedes
1
como um dos seus grandes desenvolvedores. A motiva cao
deste metodo foi o calculo de areas e volumes de guras com fronteiras curvas.
Apresentaremos aqui a integral de Riemann
2
usando a deni cao devida a Darboux
3
[2].
Para o autor, a importancia da integral de Riemann e, sobretudo, historica. A integral de
Lebesgue generaliza este conceito com muitas vantagens analticas. Porem, a sua deni cao
exige ferramental muito mais complicado e abstrato. Portanto, a integral de Riemann tambem
tem importancia didatica. Ela serve de aquecimento `a intui cao para o estudo posterior da
integral de Lebesgue. O leitor interessado no assunto podera consultar [17].
DEFINIC
i=1
m
i
(x
i
x
i1
) e S(f; P) =
n
i=1
M
i
(x
i
x
i1
).
A interpreta cao geometrica de I(f; P) e S(f; P) para uma fun cao f contnua e positiva
e dada na Figura 8.1. A area pintada de cinza (riscada ou nao) corresponde a S(f; P)
enquanto que a area riscada corresponde a I(f; P). Vemos entao que S(f; P) e I(f; P)
sao aproxima coes por excesso e por falta, respectivamente, para a area
1
da regiao delimitada
pelo graco de f, o eixo x, a reta x = a e a reta x = b. Observamos ainda que a area riscada
esta contida na area cinza, reetindo o fato que I(f; P) S(f; P).
x
0
=
a
x
1
x
i1
x
i
x
i+1
x
n1
x
n
=
b
Figura 8.1: Interpreta cao geometrica soma superior e inferior para uma fun cao contnua e
positiva.
EXEMPLO 8.3. Se a e um elemento do domnio de f, entao f e limitada em a e
I
_
f; a
_
= S
_
f; a
_
= 0.
EXEMPLO 8.4. Consideremos uma fun cao f constante, igual a c, em um intervalo [a, b].
Seja P = x
0
, . . . , x
n
uma parti cao de [a, b]. Temos
m
i
= inff(x) ; x [x
i1
, x
i
] = c.
Portanto,
I(f; P) =
n
i=1
m
i
(x
i
x
i1
) = c
n
i=1
(x
i
x
i1
) = c(b a).
Analogamente obtemos S(f; P) = c(b a).
1
O que e area de uma regiao delimitada por linhas tortas?
8.1. SOMAS SUPERIORES E INFERIORES. 115
E facil ver que I(f; P) S(f; P). A proposi cao a seguir e uma generaliza cao deste
resultado.
PROPOSIC
i=1
m
i
(x
i
x
i1
) =
n
i=1
i=j
m
i
(x
i
x
i1
) +m
j
(x
j
x
j1
)
=
n
i=1
i=j
m
i
(x
i
x
i1
) +m
j
(x
j
y
1
) +m
j
(y
1
x
j1
). (8.1)
Tomando p = inff(x) ; x [y
1
, x
j
] e q = inff(x) ; x [x
j1
, y
1
], temos
I
_
f; P y
1
_
=
n
i=1
i=j
m
i
(x
i
x
i1
) + p(x
j
y
1
) +q(y
1
x
j1
). (8.2)
Ora, [x
j1
, y
1
] [y
1
, x
j
] = [x
j1
, x
j
], logo, m
j
p e m
j
q. De (8.1) e de (8.2), obtemos
I(f; P) I
_
f; P y
1
_
. (8.3)
Analogamente, mostra-se que
S
_
f; Q x
1
_
S(f; Q). (8.4)
Usando (8.3), m1 vezes, e (8.4), n 1 vezes, conclumos que
I(f; P) I
_
f; P y
1
_
I
_
f; P y
1
, . . . , y
m1
_
= I
_
f; P Q
_
S
_
f; P Q
_
= S
_
f; Q x
1
, . . . , x
n1
_
S
_
f; Q x
1
_
S(f; Q).
COROL
ARIO 8.6. Seja f uma fun cao limitada em [a, b]. Entao
_
I(f; P) ; P P[a, b]
_
e
limitado superiormente e
_
S(f; P) ; P P[a, b]
_
e limitado inferiormente. Alem disto,
sup
_
I(f; P) ; P P[a, b]
_
inf
_
S(f; P) ; P P[a, b]
_
.
Demonstracao. Gra cas `a proposi cao anterior temos
I(f; P) S(f; Q) P, Q P[a, b].
Ou seja, I(f; P) e cota inferior para
_
S(f; Q) ; Q P[a, b]
_
. Como o nmo e a maior cota
inferior, temos
I(f; P) inf
_
S(f; Q) ; Q P[a, b]
_
P P[a, b].
Portanto, inf
_
S(f; Q) ; Q P[a, b]
_
e cota superior de
_
I(f; P) ; P P[a, b]
_
. Finalmente,
usando que o supremo e a menor cota inferior obtemos o resultado.
116 CAP
AO 8.7. Seja f uma fun cao limitada em [a, b]. Dizemos que f e (Riemann)
integravel em [a, b] se
sup
_
I(f; P) ; P P[a, b]
_
= inf
_
S(f; P) ; P P[a, b]
_
.
Neste caso, a integral de f em [a, b] e denida por
_
b
a
f(x)dx = inf
_
S(f; P) ; P P[a, b]
_
.
Neste texto, ao dizer que uma fun cao e integravel cara subentendido que ela e limitada.
EXEMPLO 8.8. Sejam f e a como no Exemplo 8.3. Temos f e integravel em a e
_
a
a
f(x)dx = 0.
EXEMPLO 8.9. Considere uma fun cao f constante, igual a c, em [a, b]. Vimos no Exemplo
8.4 que I(f; P) = S(f; P) = c(b a) para toda P P[a, b]. Segue da que f e integravel
em [a, b] e
_
b
a
f(x)dx = c(b a).
EXEMPLO 8.10. Considere a fun cao f dada por f(x) = x para todo x R. Vamos
mostrar que f e integravel em [0, 1] e que sua integral, neste intervalo, vale 1/2. Para isto,
tomemos n N e consideremos a parti cao P
n
= x
0
, . . . , x
n
, sendo
x
i
=
i
n
i 0, . . . , n.
Para cada i 0, . . . , n temos
x
i
x
i1
=
i
n
i 1
n
=
1
n
e M
i
= supx ; x [x
i1
, x
i
] = x
i
=
i
n
.
Portanto,
S(f; P
n
) =
n
i=1
M
i
(x
i
x
i1
) =
n
i=1
i
n
2
=
n + 1
2n
.
Analogamente obtemos I(f; P
n
) = (n 1)/2n. Conclumos que
n 1
2n
supI(f; P) ; P P[0, 1] infS(f; P) ; P P[0, 1]
n + 1
2n
n N.
Tomando o limite quando n + obtemos o resultado desejado.
8.2. INTEGRAL E FUNC
OES INTEGR
AVEIS. 117
EXEMPLO 8.11. Considere a fun cao f dada por f(x) = 1, se x Q, e f(x) = 1, se
x / Q. Vejamos que f nao e integravel em nenhum intervalo [a, b] nao degenerado. Como Q
e Q
sao densos em R, qualquer intervalo aberto intercepta estes conjuntos. Portanto, para
qualquer P = x
0
, . . . , x
n
parti cao de [a, b] com x
0
< < x
n
, temos
inff(x) ; x [x
i1
, x
i
] = 1 e supf(x) ; x [x
i1
, x
i
] = 1 i 1, . . . , n.
Logo, I(f; P) = a b e S(f; P) = b a para toda P P[a, b]. Segue que
supI(f; P) ; P P[a, b] = a b < 0 < b a = infS(f; P) ; P P[a, b].
Conclumos que f nao e integravel em [a, b].
No contexto da Integral de Lebesgue, a fun cao do exemplo anterior e integravel e sua
integral em [a, b] e a mesma da fun cao constante igual a 1. Isto ocorre porque o conjunto
onde f difere da fun cao constante 1 (no caso, Q) e, em certo sentido, pequeno. Em
outras palavras, estas duas fun coes sao iguais em quase todo ponto, logo, e razoavel que
tenham a mesma integral. Para nalizar gostaramos de salientar que o sentido de pequeno
e quase todo ponto nao e o de cardinalidade mas estes estao relacionados. Trataremos
deste assunto posteriormente.
Vejamos algumas propriedades importantes das fun coes integraveis. Come camos por um
lema util que sera usado muitas vezes sem ser explicitamente mencionado. Portanto, e muito
importante que o leitor memorize-o.
LEMA 8.12. Seja f uma fun cao limitada em [a, b]. Entao, f e integravel em [a, b] se, e
somente se,
> 0, P P[a, b] tal que S(f; P) I(f; P) . (8.5)
Demonstracao. Suponhamos que f seja integravel e seja s a sua integral, i.e.,
sup
_
I(f; P) ; P P[a, b]
_
= s = inf
_
S(f; P) ; P P[a, b]
_
.
Dado > 0, da deni cao de s segue que existem P
1
, P
2
P[a, b] tais que
s
2
< I(f; P
1
) s S(f; P
2
) < s +
2
.
Tomando P = P
1
P
2
, pela Proposi cao 8.5, temos
s
2
< I(f; P
1
) I(f; P) S(f; P) S(f; P
2
) < s +
2
.
e, portanto, S(f; P) I(f; P) < .
Reciprocamente, suponhamos que f nao seja integravel. Para toda P P[a, b] temos
I(f; P) sup
_
I(f; Q) ; Q P[a, b]
_
< inf
_
S(f; Q) ; Q P[a, b]
_
S(f; P)
118 CAP
i=1
(M
i
m
i
)(x
i
x
i1
)
n
i=1
(x
i
x
i1
) = (b a).
O Teorema 8.13 e o Exemplo 8.11 sao duas faces da mesma moeda (perceba que a fun cao
vista naquele exemplo e descontnua em todo ponto). De fato, existe uma rela cao estreita
entre a integrabilidade e continuidade dada pelo Teorema de Lebesgue (a seguir) do qual o
Teorema 8.13 e um simples corolario. Outros resultados sobre integrabilidade a serem vistos
nesta se cao tambem o sao. Preferimos, no entanto, dar demosntra coes particulares para cada
um deles como forma de aquecimento `a intui cao.
PROPOSIC
AVEIS. 119
ii.
_
b
a
cf(x)dx = c
_
b
a
f(x)dx;
iii.
_
b
a
_
f(x) g(x)
_
dx =
_
b
a
f(x)dx
_
b
a
f(x)dx.
Demonstracao. Deixo a cargo do leitor a prova (se ele ainda nao a fez) de que f +g, cf e
f g sao limitadas em [a, b].
Dado > 0, como f e g sao integraveis, existe P = x
0
, . . . , x
n
parti cao de [a, b] tal
que
_
b
a
f(x)dx < I(f; P) S(f; P) <
_
b
a
f(x)dx +. (8.7)
e
_
b
a
g(x)dx < I(g; P) S(g; P) <
_
b
a
g(x)dx +. (8.8)
Mostremos que f + g e integravel sobre [a, b] e que vale (i). Para cada i 1, . . . , n,
temos
sup
_
f(x)+g(x) ; x [x
i1
, x
i
]
_
sup
_
f(x) ; x [x
i1
, x
i
]
_
+sup
_
g(x) ; x [x
i1
, x
i
]
_
.
Multiplicando por x
i
x
i1
e somando de i = 1 ate i = n obtemos
S(f +g; P) S(f; P) +S(g; P).
Desta desigualdade, de (8.7) e de (8.8) segue que
S(f +g; P) <
_
b
a
f(x)dx +
_
b
a
g(x)dx + 2.
Analogamente, mostra-se que
_
b
a
f(x)dx +
_
b
a
g(x)dx 2 < I(f +g; P).
Das duas ultimas desigualdades conclumos que S(f +g; P) I(f +g; P) < 4. Como > 0
e arbitrario, segue do Lema 8.12 que f +g e integravel. Alem disto,
_
b
a
f(x)dx +
_
b
a
g(x)dx 2 <
_
b
a
_
f(x) +g(x)
_
dx <
_
b
a
f(x)dx +
_
b
a
g(x)dx + 2.
Finalmente, fazendo 0, conclumos (i).
120 CAP
_
b
a
f(x)dx
_
b
a
[f(x)[dx.
Demonstracao. Mais uma tarefa para o leitor: mostrar que [f[ e limitada em [a, b].
8.2. INTEGRAL E FUNC
OES INTEGR
AVEIS. 121
Dado > 0, seja P = x
0
, . . . , x
n
uma parti cao de [a, b] tal que S(f; P) I(f; P) .
Para cada i 1, . . . , n, denotamos
m
i
= inff(x) ; x [x
i1
, x
i
], M
i
= supf(x) ; x [x
i1
, x
i
],
m
i
= inf[f(x)[ ; x [x
i1
, x
i
], M
i
= sup[f(x)[ ; x [x
i1
, x
i
].
Se x, y [x
i1
, x
i
], entao f(x), f(y) [m
i
, M
i
]. Portanto, [f(x) f(y)[ M
i
m
i
. Da
desigualdade triangular obtemos
[f(x)[ [f(y)[ M
i
m
i
= [f(x)[ [f(y)[ +M
i
m
i
.
Como o supremo e a menor cota superior, temos
M
i
[f(y)[ +M
i
m
i
= M
i
M
i
+m
i
[f(y)[.
Como o nmo e a maior cota inferior, temos
M
i
M
i
+m
i
m
i
= M
i
m
i
M
i
m
i
.
Multiplicando a ultima rela cao por x
i
x
i1
e somando de i = 1 ate i = n obtemos
S([f[; P) I([f[; P) S(f; P) I(f; P) .
Do Lema 8.12 conclumos que [f[ e integravel.
Como f [f[ e f [f[, temos que
_
b
a
f(x)dx
_
b
a
[f(x)[dx;
_
b
a
f(x)dx =
_
b
a
_
f(x)
_
dx
_
b
a
[f(x)[dx.
Da obtemos a conclusao nal.
A recproca da proposi cao anterior e falsa. Ou seja, [f[ pode ser limitada e integravel em
[a, b], sem que f seja integravel neste intervalo. Por exemplo, considere a fun cao f dada por
f(x) = 1, se x Q, e f(x) = 1 se x / Q. Ja vimos que f nao e integravel em [0, 1].
Porem, a fun cao [f[ e constante (igual a 1) e, portanto, integravel neste intervalo. Este e um
exemplo de desvantagem da integral de Riemann em rela cao a de Lebesgue: f e integravel a
Lebesgue se, e somente se, [f[ tambem e.
PROPOSIC
i=1
(M
i
m
i
)(x
i
x
i1
)
i=1
(M
2
i
m
2
i
)(x
i
x
i1
) =
n
i=1
(M
i
+m
i
)(M
i
m
i
)(x
i
x
i1
)
2M
n
i=1
(M
i
m
i
)(x
i
x
i1
) = 2M
_
S([f[; P) I([f[; P)
.
Pelo Lema 8.12 obtemos que f
2
e integravel.
O caso geral segue imediatamente do caso particular ja demonstrado, da Proposi cao 8.14
e da igualdade
fg =
(f +g)
2
(f g)
2
4
.
O leitor deve perceber que e errado armar que a integral do produto e o produto das
integrais (procure um contra-exemplo).
PROPOSIC
AO 8.18. Seja c (a, b). Uma fun cao f e integravel em [a, b] se, e somente
se, ela e integravel em [a, c] e em [c, b]. Neste caso,
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx. (8.9)
Demonstracao. Fica (mais uma vez) para o leitor a tarefa de provar que f e limitada em
[a, b] se, e somente se, f e limitada em [a, c] e em [c, b].
8.2. INTEGRAL E FUNC
OES INTEGR
AVEIS. 123
Sejam P P[a, b], P
1
P[a, c] e P
2
P[c, b] tais que P = P
1
P
2
. Mais precisamente,
podemos escrever
P
1
= x
0
, . . . , x
n
, P
2
= x
n
, . . . , x
m
e P = x
0
, . . . , x
n
, . . . , x
m
.
Para cada i 1, . . . , m denimos x
i
= x
i
x
i1
. Temos
S(f; P) =
m
i=1
supf(x) ; x [x
i1
, x
i
]x
i
=
n
i=1
supf(x) ; x [x
i1
, x
i
]x
i
+
m
i=n+1
supf(x) ; x [x
i1
, x
i
]x
i
= S(f; P
1
) + S(f; P
2
).
Do mesmo modo, mostra-se que I(f; P) = I(f; P
1
) +I(f; P
2
).
Se f e integravel em [a, b], entao, dado > 0, existe P P[a, b] tal que S(f; P)
I(f; P) . Gra cas `a Proposi cao 8.5 podemos supor que c P. Tomando P
1
e P
2
como
antes, obtemos
_
S(f; P
1
) I(f; P
1
)
+
_
S(f; P
2
) I(f; P
2
)
= S(f; P) I(f; P) .
As quantidades entre colchetes sao positivas e tem soma inferior ou igual a , logo, cada uma
delas e inferior ou igual a . Portanto, f e integravel em [a, c] e em [c, b].
Reciprocamente, se f e integravel em [a, c] e em [c, b], entao, dado > 0, existem
P
1
P[a, c] e P
2
P[c, b] tais que
_
c
a
f(x)dx I(f; P
1
) S(f; P
1
)
_
c
a
f(x)dx +
e
_
b
c
f(x)dx I(f; P
2
) S(f; P
2
)
_
b
c
f(x)dx +.
Somando, obtemos
_
c
a
f(x)dx +
_
b
c
f(x)dx 2 I(f; P
1
) +I(f; P
2
) S(f; P
1
) +S(f; P
2
)
_
c
a
f(x)dx +
_
b
c
f(x)dx + 2.
Portanto, para P = P
1
P
2
, temos
_
c
a
f(x)dx +
_
b
c
f(x)dx 2 I(f; P) S(f; P)
_
c
a
f(x)dx +
_
b
c
f(x)dx + 2.
Segue da que S(f; P) I(f; P) 4. Conclumos que f e integravel em [a, b]. Alem disto,
da rela cao acima obtemos,
_
c
a
f(x)dx +
_
b
c
f(x)dx 2
_
b
a
f(x)dx
_
c
a
f(x)dx +
_
b
c
f(x)dx + 2.
124 CAP
ALCULO. 125
Demonstracao. Seja > 0. Tomemos P = x
0
, . . . , x
n
, parti cao de [a, b], tal que
S(f; P) I(f; P) . Temos
F(b) F(a) = F(x
n
) F(x
0
) =
n
i=1
_
F(x
i
) F(x
i1
)
.
Para cada i 1, . . . , n, aplicando o Teorema do Valor Medio a F em [x
i1
, x
i
], obtemos a
existencia de y
i
(x
i1
, x
i
) tal que F(x
i
) F(x
i1
) = F
(y
i
)(x
i
x
i1
). Substituindo na
rela cao acima obtemos
F(b) F(a) =
n
i=1
F
(y
i
)(x
i
x
i1
) =
n
i=1
f(y
i
)(x
i
x
i1
).
Como y
i
(x
i1
, x
i
), temos
inff(x) ; x [x
i1
, x
i
] f(y
i
) supf(x) ; x [x
i1
, x
i
].
Portanto,
I(f; P) F(b) F(a) S(f; P).
Alem disto,
I(f; P)
_
b
a
f(x)dx S(f; P).
Das duas ultimas rela coes obtemos
_
F(b) F(a)
_
b
a
f(x)dx
S(f; P) I(f; P) .
Como e arbitrario, conclumos o resultado.
Cuidado! O teorema anterior nao diz que se F e derivavel, entao f = F
e integravel. De
fato, Volterra
1
[20] encontrou um exemplo de fun cao derivavel com derivada limitada, porem,
nao integravel.
TEOREMA 8.22. (Segundo Teorema Fundamental do Calculo) Se f e integravel em
[a, b], entao F : [a, b] R denida por
F(x) =
_
x
a
f(s)ds x [a, b].
e Lipschitz contnua. Alem disto, se f e contnua em x
0
[a, b], entao F e derivavel em x
0
e F
(x
0
) = f(x
0
).
1
Vito Volterra: 03/05/1860, Ancona, Italia - 11/10/1940, Roma, Italia.
126 CAP
_
x
a
f(s)ds
_
y
a
f(s)ds
_
x
a
f(s)ds +
_
a
y
f(s)ds
_
x
y
f(s)ds
_
x
y
[f(s)[ds
_
x
y
Mds = M[x y[.
Isto demonstra a primeira parte do teorema.
Suponhamos que f seja contnua em x
0
. Dado > 0, tomemos > 0 tal que
s [a, b] e [s x
0
[ < = [f(s) f(x
0
)[ < .
Assim, para todo x [a, b], com 0 < [x x
0
[ < , temos
F(x) F(x
0
)
x x
0
=
1
x x
0
__
x
a
f(s)ds
_
x
0
a
f(s)ds
_
=
1
x x
0
_
x
x
0
f(s)ds.
Subtraindo f(x
0
) na equa cao anterior e observando que
f(x
0
) =
1
x x
0
_
x
x
0
f(x
0
)ds,
obtemos
F(x) F(x
0
)
x x
0
f(x
0
)
1
x x
0
_
x
x
0
f(s)ds
1
x x
0
_
x
x
0
f(x
0
)ds
1
x x
0
_
x
x
0
_
f(s) f(x
0
)
_
ds
1
x x
0
_
x
x
0
[f(s) f(x
0
)[ds
1
x x
0
_
x
x
0
ds = .
Da segue o resultado.
COROL
= f.
Demonstracao. Trivial.
DEFINIC
= cos e cos
= sen;
ii. sen(0) = sen() = 0 e cos(0) = cos() = 1.
iii. 0 sen(x) 1 para todo x [0, ];
A demonstra cao e devida, essencialmente, a Charles Hermite.
1
Ela e tao surpreendente
que come ca por um lema que, aparentemente, nao tem rela cao com o problema!
LEMA 8.25. Dado n N, seja f : R R dada por
f(x) =
x
n
(1 x)
n
n!
x R;
Temos:
i. 0 < f(x) < 1/n! para todo x [0, 1];
ii. existem c
n
, c
n+1
, . . . , c
2n
Z tais que
f(x) =
1
n!
_
c
n
x
n
+c
n+1
x
n+1
+ +c
2n
x
2n
_
x R;
iii. dado k N temos f
(k)
(0), f
(k)
(1) Z.
Demonstracao. (i) Trivial.
(ii) Basta observar que x
n
(1 x)
n
e um polinomio em x, de coecientes inteiros, grau
2n e multiplo de x
n
.
(iii) As derivadas ate a ordem n 1 sao polinomios multiplos de x, logo, se anulam em
x = 0. As derivadas de ordem superior a 2n sao identicamente nulas. Logo, f
(k)
(0) Z para
k < n ou k > 2n. Para n k 2n, temos que f
(k)
(0) = k!c
k
/n! Z. Finalmente, como
f(x) = f(1 x) temos f
(k)
(x) = (1)
(k)
f(1 x), logo, f
(k)
(1) = (1)
k
f
(k)
(0) Z.
1
Charles Hermite: 24/12/1822, Dieuze, Fran ca - 14/01/1901, Paris, Fran ca.
128 CAP
2n
f(x)
2n2
f
(2)
(x) + + (1)
n1
4
f
(2n2)
(x) + (1)
n
2
f
(2n)
(x)
_
G(x) = F
2k
= q
nk
p
n
N. Disto e do lema anterior, con-
clumos que F(0), F(1) Z. Tambem temos G(0) = F(0) e G(1) = F(1).
Derivando G uma vez e F duas vezes, obtemos
G
(x) = F
(x) sen(x) +F
(x) cos(x) F
(x) +
2
F(x)
_
sen(x),
F
(x) = q
n
_
2n
f
(2)
(x)
2n2
f
(4)
(x) + + (1)
n1
4
f
(2n)
(x)
_
=
2
q
n
_
2n2
f
(2)
(x) +
2n4
f
(4)
(x) + + (1)
n
2
f
(2n)
(x)
_
=
2
_
F(x) q
n
2n
f(x)
_
=
2
F(x) +
2
p
n
f(x).
Portanto, G
(x) =
2
p
n
f(x) sen(x). Segue do Primeiro Teorema Fundamental do Calculo
que
_
1
0
p
n
f(x) sen(x)dx =
G(1) G(0)
= F(1) +F(0) Z.
Por outro lado,
0 <
_
1
0
p
n
f(x) sen(x)dx
p
n
n!
< 1.
Ou seja, F(0) +F(1) Z (0, 1) = . Absurdo!
8.5 Mudanca de variaveis e integracao por partes.
PROPOSIC
(x)dx.
8.6. O TEOREMA DE LEBESGUE. 129
Demonstracao. A fun cao f e contnua e, portanto, integravel. Tambem e integravel o
produto das fun coes integraveis f g e g
(x) = F
_
g(x)
_
g
(x) = f
_
g(x)
_
g
(x).
Pelo Teorema Fundamental do Calculo, temos
F
_
g(b)
_
F
_
g(a)
_
=
_
g(b)
g(a)
F
(x)dx =
_
g(b)
g(a)
f(x)dx
e
F
_
g(b)
_
F
_
g(a)
_
= (F g)(b) (F g)(a) =
_
b
a
f
_
g(x)
_
g
(x)dx.
Da segue o resultado.
PROPOSIC
e g
integraveis.
Entao
_
b
a
f(x)g
(x)g(x)dx.
Demonstracao. Pelo Teorema Fundamental do Calculo temos
f(b)g(b) f(a)g(a) =
_
b
a
(fg)
(x)dx =
_
b
a
_
f
(x)g(x) +f(x)g
(x)
_
dx.
O resultado segue da, observando que f
g e fg
AO 8.29. Dizemos que A R tem medida (de Lebesgue) nula se para todo
> 0, existe uma sequencia (I
n
)
nN
de intervalos abertos e limitados tal que
A
+
_
n=1
I
n
e
+
n=1
[I
n
[ ,
130 CAP
2m
, x
n
+
2m
_
,
se n m, ou I
n
= , se n > m.
E imediato que A
+
n=1
I
n
. Alem disto,
+
n=1
[I
n
[ =
m
n=1
[I
n
[ =
m
n=1
m
= .
Portanto, A tem medida nula.
O argumento do proximo exemplo e uma pequena sostica cao do anterior.
EXEMPLO 8.31. Seja A = x
1
, x
2
, . Dado > 0, para cada n N, denimos
I
n
=
_
x
n
2
n+1
, x
n
+
2
n+1
_
.
E imediato que A
+
n=1
I
n
. Alem disto,
+
n=1
[I
n
[ =
+
n=1
2
n
= .
Portanto, A tem medida nula.
E facil perceber que o intervalo [a, b], com a < b, nao tem medida nula (pense nisto). A
demonstra cao mais natural deste fato, na opiniao do autor, e tediosa, ou entao, repleta de
arma coes, sem prova, do tipo e facil ver que. Outra demonstra cao menos natural, porem
mais elegante, e indicada no Exerccio 6.
PROPOSIC
m=1
[I
m
[
4M
.
Para cada y [a, b] onde f e contnua (i.e. y / D), existe
y
> 0 tal que
x [y
y
, y +
y
] [a, b] = f(y)
4(b a)
< f(x) < f(y) +
4(b a)
.
Desta forma, para todo intervalo [c, d] [y
y
, y +
y
] [a, b], temos que
supf(x) ; x [c, d] inff(x) ; x [c, d]
_
f(y) +
4(b a)
_
_
f(y)
4(b a)
_
2(b a)
. (8.12)
Tomemos J
y
= (y
y
, y +
y
). A cole cao ( = I
n
; n N J
y
; y [a, b] D e
uma cobertura aberta para [a, b]. Portanto, existem n
1
, . . . , n
p
N e y
1
, . . . , y
q
[a, b] D
tais que
[a, b] I
n
1
I
np
J
y
1
J
yq
.
O conjunto P, formado pelos elementos de [a, b] que sao extremos de algum dos intervalos
[a, b], I
n
1
, . . . , I
np
, J
y
1
, . . . , J
yq
tem, no maximo, 2+2(p+q) elementos. Portanto, P P[a, b].
Escrevendo P = x
0
, . . . , x
n
, para cada i 1, . . . , n, denimos
m
i
= inff(x) ; x [x
i1
, x
i
] e M
i
= supf(x) ; x [x
i1
, x
i
].
Da deni cao de P segue que, para todo i 1, . . . , n, uma das duas possibilidades
abaixo ocorre:
i. [x
i1
, x
i
] I
n
k
, para algum k 1, . . . , p;
ii. [x
i1
, x
i
] J
y
k
, para algum k 1, . . . , q.
132 CAP
_
2M se i U,
2(b a)
se i V.
Segue da que
S(f; P) I(f; P) =
n
i=1
(M
i
m
i
)(x
i
x
i1
)
2M
iU
(x
i
x
i1
) +
2(b a)
iV
(x
i
x
i1
)
2M
+
m=1
[I
m
[ +
2(b a)
(b a)
2
+
2
=
e, portanto, f e integravel.
Vale a recproca da Proposi cao 8.32. Porem, antes de demonstra-la necessitamos de um
lema que e importante por si so.
LEMA 8.33. Se (A
n
)
nN
e uma sequencia de conjuntos de medida nula, entao
+
n=1
A
n
tem medida nula.
Demonstracao. Sejam > 0 e A =
+
n=1
A
n
.
Para cada n N, temos que A
n
tem medida nula. Logo, existe uma sequencia
_
I
(n)
m
_
mN
de intervalos abertos e limitados tal que
A
n
+
_
m=1
I
(n)
m
e
+
m=1
[I
(n)
m
[
2
n
.
Sabemos que N
2
e enumeravel. Logo, existe f : N N
2
bijetiva. Para cada i N,
denimos (m
i
, n
i
) = f(i) e J
i
= I
(n
i
)
m
i
.
Se x A, entao existe n N tal que x A
n
, existe tambem m N tal que x I
(n)
m
.
Finalmente, tomando i = f
1
(m, n), temos (m, n) = f(i) = (m
i
, n
i
) e, portanto, x J
i
.
Acabamos de mostrar que a sequencia (J
i
)
iN
de intervalos abertos satisfaz
A
+
_
i=1
J
i
.
8.6. O TEOREMA DE LEBESGUE. 133
Dado j N, sejam M
j
= maxm
1
, . . . , m
j
e N
j
= maxn
1
, . . . , n
j
. Temos
j
i=1
[J
i
[ =
j
i=1
[I
(n
i
)
m
i
[
N
j
n=1
M
j
m=1
[I
(n)
m
[
N
j
n=1
+
m=1
[I
(n)
m
[
N
j
n=1
2
n
+
n=1
2
n
= .
Conclumos a demonstra cao tomando o limite quando j +.
TEOREMA 8.34. (Lebesgue) Seja f limitada em [a, b]. Entao, f e integravel em [a, b]
se, e somente se, o conjunto
D = x [a, b] ; f e descontnua em x
tem medida nula.
Demonstracao. Ja vimos (Proposi cao 8.32) que se D tem medida nula, entao f e in-
tegravel. Tratemos agora da recproca. Podemos supor a < b, pois senao, nao ha nada a ser
demonstrado.
Para cada x D, como f e descontnua em x, existe > 0 tal que
> 0 y [a, b] com [x y[ < e [f(x) f(y)[ .
Neste caso, tomando m N tal que 1/m < , ca demonstrado que existe m N tal que
x D
m
, sendo
D
m
=
_
x D ; > 0 y [a, b] com [x y[ < e [f(x) f(y)[ > 1/m
_
.
Ou seja D =
+
m=1
D
m
. De acordo com o Lema 8.33, para mostrar que D tem medida nula
basta mostrar que D
m
tem medida nula, qualquer que seja m N.
Fixemos m N. Dado > 0, tomemos P P[a, b] tal que S(f; P) I(f; P) /2m.
Escrevemos P = x
0
, . . . , x
n
e, para cada i 1, . . . , n, denimos J
i
= (x
i1
, x
i
),
m
i
= inff(x) ; x [x
i1
, x
i
] e M
i
= supf(x) ; x [x
i1
, x
i
].
Denindo I =
_
i 1, . . . , n ; D
m
(x
i1
, x
i
) ,=
_
, obtemos que D
m
P
iI
J
i
.
Vamos mostrar que
iI
[J
i
[
2
. (8.13)
Observamos que se i I, entao existe x D
m
(x
i1
, x
i
). Da deni cao de D
m
, obtemos
que existe y (x
i1
, x
i
) tal que [f(x) f(y)[ > 1/m e, portanto, M
i
m
i
> 1/m. Agora,
se (8.13) nao fosse verdade, entao teramos a seguinte contradi cao:
2m
<
1
m
iI
[J
i
[ =
1
m
iI
(x
i
x
i1
) <
iI
(M
i
m
i
)(x
i
x
i1
)
i=1
(M
i
m
i
)(x
i
x
i1
) = S(f; P) I(f; P)
2m
.
134 CAP
_
iI
J
i
e [I
0
[ + +[I
n
[ +
iI
[J
i
[
2
+
2
= .
Portanto D
m
tem medida nula.
8.7 Exerccios.
1 - Sejam c R, P P[a, b] e f uma fun cao limitada em [a, b]. Mostre que
a) se c 0, entao S(cf; P) = cS(f; P) e I(cf; P) = cI(f; P);
b) se c 0, entao S(cf; P) = cI(f; P) e I(cf; P) = cS(f; P).
2 - Sejam P, Q P[a, b] e f uma fun cao limitada em [a, b]. Mostre que se P Q, entao
I(f; P) I(f; Q) S(f; Q) S(f; P).
3 - Este exerccio mostra que podemos alterar uma fun cao integravel em um ponto sem
perder a integrabilidade nem alterar a integral. Sejam c [a, b] e f uma fun cao limitada e
integravel em [a, b]. Suponhamos que g e uma fun cao denida em [a, b] e tal que f(x) = g(x)
para todo x [a, b] c. Mostre que g e limitada e integravel em [a, b] e
_
b
a
g(x)dx =
_
b
a
f(x)dx.
Sugestao: Para simplicar a demonstra cao, considere inicialmente os casos c = a e c = b.
Depois use a Proposi cao 8.18. Para concluir o caso geral.
4 - O objetivo deste exerccio e generalizar o resultado do exerccio anterior. Sejam
c
1
, . . . , c
n
[a, b] e f uma fun cao limitada e integravel em [a, b]. Suponhamos que g e uma
fun cao denida em [a, b] e tal que f(x) = g(x) para todo x [a, b] c
1
, . . . , c
n
. Mostre
que g e limitada e integravel em [a, b] e
_
b
a
g(x)dx =
_
b
a
f(x)dx.
Sugestao: Proceda por indu cao e use o resultado do exerccio anterior.
5 - Sejam a, b, c, d R tais que c a b d. Mostre que
(a,b)
, e
[a,b]
sao integraveis
em [c, d] e
_
d
c
(a,b)
(x)dx =
_
d
c
[a,b]
(x)dx = b a.
8.7. EXERC
ICIOS. 135
6 - Sejam a, b R, com a b, e (I
n
)
nN
uma sequencia de intervalos abertos e limitados
tais que
[a, b]
+
_
n=1
I
n
.
a) Mostre que existem n
1
, . . . , n
j
N tais que [a, b] I
n
1
I
n
j
.
b) Mostre que b a <
j
i=1
[I
n
i
[.
c) Conclua que se a < b, entao [a, b] nao tem medida nula.
Sugestao: Em (6.b) considere as fun coes caractersticas dos intervalos [a, b], I
n
1
, . . . , I
n
j
e use os Exerccios 8 e 5.
7 - Seja A R. Mostre que se A
AO 9.1. Seja (f
n
)
nN
uma sequencia de fun coes de A em R. Dizemos que
(f
n
)
nN
converge simplesmente para f : A R se
lim
n+
f
n
(x) = f(x) x A.
Em outras palavras, para todo x A, a sequencia (numerica) (f
n
(x))
nN
converge para
f(x). Segundo a deni cao de sequencia convergente, temos
x A, > 0, N N tal que n N = [f
n
(x) f(x)[ < . (9.1)
EXEMPLO 9.2. Seja f
n
: R R dada por f
n
(x) = x/n para n N e x R. Dados
> 0 e x R, tomemos N N tal que N > [x[/. Assim, se n N, entao
x
n
0
=
[x[
n
[x[
N
< .
Portanto, (f
n
)
nN
converge simplesmente para a fun cao nula.
EXEMPLO 9.3. Seja f
n
: [0, 1] R dada por f
n
(x) = x
n
para n N e x [0, 1]. Se
x [0, 1), entao x
n
0 e se x = 1, entao x
n
1. Portanto, a sequencia (f
n
)
nN
e
simplesmente convergente para f : [0, 1] R dada por
f(x) =
_
_
_
0 se x ,= 1,
1 se x = 1.
137
138 CAP
ITULO 9. SEQ
ENCIAS DE FUNC
OES
Salientamos que, na Deni cao 9.1, o valor de N depende de x e . Quando N nao
depende de x, mas apenas de , temos outro sentido de convergencia, assunto da proxima
se cao.
9.2 Convergencia uniforme.
DEFINIC
AO 9.4. Seja (f
n
)
nN
uma sequencia de fun coes de A em R. Dizemos que
(f
n
)
nN
converge uniformemente para f : A R se
> 0, N N tal que n N = [f
n
(x) f(x)[ < , x A. (9.2)
x
n
0
=
[x[
n
1
N
< .
Portanto, (f
n
)
nN
converge uniformemente para a fun cao nula.
Salientamos novamente a diferen ca entre convergencia simples e uniforme atraves da
compara cao dos exemplos 9.2 e 9.5. No primeiro exemplo o valor de N depende de x e de
(N > [x[/), enquanto que no segundo ele so depende de (N > ).
9.3 Continuidade.
No Exemplo 9.3 apresentamos uma sequencia de fun coes contnuas que converge simples-
mente para uma fun cao descontnua. A proxima proposi cao diz que este inconveniente nao
ocorre se a convergencia for uniforme.
PROPOSIC
AO 9.6. Seja (f
n
)
nN
uma sequencia de fun coes de A R em R convergente
uniformemente para f : A R. Se f
n
e contnua em x
0
A para todo n N, entao f e
contnua em x
0
.
Demonstracao. Seja x
0
A. Dado > 0, existe n N tal que
x A = [f
n
(x) f(x)[ < .
9.4. INTEGRAL. 139
Como f
n
e contnua em x
0
, existe > 0 tal que
x A, [x x
0
[ < = [f
n
(x) f
n
(x
0
)[ < .
Destas duas rela coes obtemos que se x A e [x x
0
[ < , entao
[f(x) f(x
0
)[ [f(x) f
n
(x)[ +[f
n
(x) f
n
(x
0
)[ +[f
n
(x
0
) f(x
0
)[ < 3.
Segue que f e contnua em x
0
.
EXEMPLO 9.7. Da proposi cao anterior podemos concluir que a convergencia do Exemplo
9.3 nao e uniforme, pois, senao, o limite seria contnuo em x
0
= 1. Entretanto, se a
(0, 1), entao a sequencia (f
n
[
[0,a]
)
nN
e uniformemente convergente. Isto pode ser vericado
diretamente ou usando o proximo teorema (ver Exerccio 2).
TEOREMA 9.8. (Dini
1
) Sejam K R compacto e (f
n
)
nN
C(K). Se (f
n
)
nN
e
monotona e convergente simplesmente para f C(K), entao a convergencia e uniforme.
Demonstracao. Suponhamos que (f
n
)
nN
seja decrescente (se for crescente, procedemos
de modo analogo), ou seja, f f
n+1
f
n
para todo n N.
Para cada n N, f
n
f C(K) e, como K e compacto, existe x
n
K tal que
M
n
= f
n
(x
n
) f(x
n
) e o valor maximo de f
n
f.
E facil ver que (M
n
)
nN
e decrescente e
positiva e, portanto, convergente para c 0. Mostremos que c = 0.
Da compacidade de K, obtemos subsequencia (x
n
k
)
kN
convergente para x
0
K. Para
k, m N com n
k
m, temos M
n
k
= f
n
k
(x
n
k
) f(x
n
k
) f
m
(x
n
k
) f(x
n
k
). Fazendo
k +, obtemos c f
m
(x
0
) f(x
0
). Tomando o limite quando m +, conclumos
que c 0 e, portanto, c = 0.
Dado > 0, tomemos N N tal que M
N
< . Assim, se n N e x K, entao
0 f
n
(x) f(x) f
N
(x) f(x) M
N
< .
Segue que [f
n
(x)f(x)[ < para x K e n N, ou seja, (f
n
)
nN
converge uniformemente
para f.
9.4 Integral.
A convergencia simples nao se comporta muito bem com respeito a integral, como mostra
o exemplo a seguir.
1
Ulisse Dini: 14/11/1845, Pisa, Italia - 28/10/1918, Pisa, Italia
140 CAP
ITULO 9. SEQ
ENCIAS DE FUNC
OES
EXEMPLO 9.9. Como Q[0, 1] e enumeravel, podemos escrever Q[0, 1] = x
1
, x
2
, . . . .
Considere a sequencia (f
n
)
nN
dada por
f
n
(x) =
_
_
_
1 se x x
1
, . . . , x
n
,
0 senao.
Para cada n N, o conjunto dos pontos de descontinuidade de f
n
e nito e, portanto, de
medida nula. Logo, f
n
e integravel (e sua integral e nula).
E facil perceber que (f
n
)
nN
converge para a fun cao que vale um nos racionais e zero no irracionais que, como sabemos,
nao e integravel.
Novamente, este e um problema da convergencia simples, inexistente para a convergencia
uniforme.
TEOREMA 9.10. Seja (f
n
)
nN
uma sequencia de fun coes integraveis no intervalo [a, b]
convergente uniformemente para f. Entao f e integravel e
lim
n+
_
b
a
f
n
(x) dx =
_
b
a
f(x) dx.
Demonstracao. Para cada n N, seja D
n
= x [a, b] ; f
n
e descontnua em x.
Como f
n
e integravel, D
n
tem medida nula. Portanto, tambem tem medida nula o conjunto
D =
+
n=1
D
n
. Para todo n N e x [a, b] D temos que f
n
e contnua em x. Logo, gra cas
`a convergencia uniforme, f e contnua em x. Conclumos que D contem todos os pontos de
descontinuidade de f e que, portanto, f e integravel.
Seja > 0 e tome N N tal que [f
n
(x) f(x)[ < para x A e n N. Temos entao
_
b
a
f
n
(x) dx
_
b
a
f(x) dx
_
b
a
[f
n
(x) f(x)[dx
_
b
a
dx = (b a).
De onde segue o resultado.
9.5 Derivada.
Como uma sequencia de fun coes contnuas pode convergir simplesmente para uma fun cao
descontnua, nao e de se esperar que este tipo de convergencia se comporte bem com deri-
vadas. Neste caso, mesmo a convergencia uniforme nao e muito satisfatoria, como mostra o
proximo exemplo.
EXEMPLO 9.11. Seja f
n
: R R dada por f
n
(x) = sen(nx)/n. Dado > 0, se N > 1/,
entao, para n N e x R, temos
[ sen(nx)[
n
1
n
<
1
N
< .
9.6. O ESPACO C(K). 141
Portanto (f
n
)
nN
converge uniformemente f = 0. Por outro lado, a sequencia (f
n
)
nN
nao
converge para f
n
(0) = cos(n 0) = 1 n N.
PROPOSIC
AO 9.12. Seja (f
n
)
nN
C
1
_
[a, b]). Se existe x
0
[a, b] tal que (f
n
(x
0
))
nN
converge e se (f
n
)
nN
converge uniformemente para g : [a, b] R, entao (f
n
)
nN
converge
uniformemente para uma primitiva de g.
Demonstracao. Dado x [a, b], pelo Primeiro Teorema Fundamental do Calculo, podemos
escrever
f
n
(x) = f
n
(x
0
) +
_
x
x
0
f
(s)ds.
Como (f
n
(x
0
))
nN
e convergente para, digamos, c e como (f
n
)
nN
e uniformemente conver-
gente para g, obtemos que (f
n
(x))
nN
converge para
f(x) = c +
_
x
x
0
g(s)ds.
Mas g e contnua (pois e limite uniforme de uma sequencia de fun coes contnuas), logo, do
Corolario 8.23, segue que f e uma primitiva de g.
Para concluir que (f
n
)
nN
converge uniformemente para f, tome > 0 e escolha N N
tal que para n N tenhamos
[f
n
(x
0
) c[ < e [f
n
(s) g(s)[ < , s [a, b].
Obtemos entao que
[f
n
(x) f(x
0
)[ [f
n
(x
0
) c[ +
_
x
x
0
_
f
(s) g(s)
_
ds
< +
_
x
x
0
ds
= (1 +[x x
0
[) (1 +b a).
9.6 O espaco C(K).
Nesta se cao K representara um subconjunto compacto nao vazio de R. Lembramos que
C(K) = f : K R ; f e contnua .
O Corolario 6.16 nos da que se f, g C(K) e c R, entao f + g C(K) e cf C(K).
Por esta razao, C(K) e um espaco vetorial. Como em outros espa cos vetoriais (R
n
, por
exemplo), em C(K) denimos o conceito de norma.
142 CAP
ITULO 9. SEQ
ENCIAS DE FUNC
OES
DEFINIC
, etc. As razoes
para os dois primeiros nomes sao obvias (lembre-se que C(K) tambem e denotado C
0
(K)).
Nao nos interessam as razoes para as duas ultimas nomenclaturas. Outro nome bastante
usado e norma da convergencia uniforme. A razao sera explicada pela Proposi cao 9.16.
DEFINIC
ITULO 9. SEQ
ENCIAS DE FUNC
OES
Exemplo 9.3.
E imediato que [f(x)[ = [x
n
[ 1 para todo x [0, 1] e para todo n N.
Logo, |f
n
| 1 para todo n N e, portanto, (f
n
)
nN
e limitada. Se ela tivesse subsequencia
convergente para f em C(K), entao esta seria uniformemente convergente para f e, portanto,
simplesmente convergente para f. Concluiramos que f(x) = 0, se x [0, 1), e f(x) = 1, se
x = 1. Contrariando a continuidade de f.
Precisamos de uma hipotese adicional para obter o resultado requerido.
TEOREMA 9.18. (Arzel`a
1
-Ascoli
2
) Se (f
n
)
nN
C(K) e limitada e equicontnua, i.e.,
> 0, > 0 tal que x, y K, [x y[ < = [f
n
(x) f
n
(y)[ < , n N,
entao (f
n
)
nN
tem subsequencia convergente em C(K).
Demonstracao. Para cada m N, da equicontinuidade de (f
n
)
nN
, obtemos
m
> 0 tal
que se x, y K e [x y[ <
m
, entao [f
n
(x) f
n
(y)[ < 1/m, para todo n N.
Como K e compacto e K
zK
(z
m
, z +
m
), existe D
m
K, nito, tal que
K
_
zDm
(z
m
, z +
m
). (9.3)
O conjunto D =
+
m=1
D
m
e enumeravel (pois e reuniao enumeravel de conjuntos nitos) e,
portanto, podemos escrever D = x
1
, x
2
, . . . .
Seja M > 0 tal que |f
n
| < M para todo n N. Para x K e n N temos
[f
n
(x)[ |f
n
| < M de modo que (f
n
(x))
nN
e limitada. Em particular, (f
n
(x
1
))
nN
e
limitada, logo, pelo Teorema de Bolzano-Weierstrass, ela tem subsequencia (g
1,k
(x
1
))
nN
convergente. Agora, usando que (g
1,n
(x
2
))
nN
tambem e limitada obtemos subsequencia
(g
2,n
(x
2
))
nN
convergente. Pela limita cao de (g
2,n
(x
3
))
nN
existe subsequencia (g
3,n
(x
3
))
nN
convergente. Repetindo o processo, construmos uma sequencia
_
(g
i,n
)
nN
_
iN
de sequencias
tais que, se i j, entao (g
i,n
)
nN
e subsequencia de (g
j,n
)
nN
e (g
j,n
(x
j
))
nN
converge.
Denimos (f
n
k
)
kN
por f
n
k
= g
k,k
para todo k N.
Armamos que, se y D, entao (f
n
k
(y))
kN
e convergente. De fato, seja j N tal que
y = x
j
. Se k j, entao f
n
k
= g
k,k
e um termo de (g
j,n
)
nN
. Como (g
j,n
(x
j
))
nN
converge,
conclumos a arma cao.
Mostremos que (f
n
k
)
kN
converge simplesmente. Sejam x K, > 0 e m N tal que
m > 3/. De (9.3), obtemos que existe y D
m
tal que [x y[ <
m
e, portanto,
[f
n
(x) f
n
(y)[ <
1
m
<
3
, n N.
1
Cesare Arzel`a: 06/03/1847, La Spezia, Italia - 15/03/1912, La Spezia, Italia.
2
Guido Ascoli: 12/12/1887, Livorno, Italia - 10/05/1957, Torino, Italia.
9.7. EQUAC
OES DIFERENCIAIS. 145
Em particular, para k, l N, temos que
[f
n
k
(x) f
n
l
(x)[ [f
n
k
(x) f
n
k
(y)[ +[f
n
k
(y) f
n
l
(y)[ +[f
n
l
(y) f
n
l
(x)[
[f
n
k
(y) f
n
l
(y)[ +
2
3
. (9.4)
Mas y D, logo, (f
n
k
(y))
kN
e convergente e, portanto, de Cauchy. Segue de (9.4) que
(f
n
k
(x))
kN
tambem e de Cauchy e, portanto, convergente. Seja f(x) = lim
k+
f
n
k
(x).
Falta mostrar que a convergencia e uniforme. Seja > 0 e m > 3/. Escrevemos
D
m
= y
1
, . . . , y
p
. Como D
m
e nito, existe k
0
N tal que se k k
0
, entao
k k
0
= [f
n
k
(y) f(y)[
3
, y D
m
.
Qualquer que seja x K, ja vimos que existe y D
m
para o qual vale (9.4). Fazendo
l +, obtemos
[f
n
k
(x) f(x)[ [f
n
k
(y) f(y)[ +
2
3
.
O que conclui a demonstra cao.
Ha um pequeno erro na demonstra cao acima: nao e possvel demonstrar que a sequencia
(n
k
)
kN
e estritamente crescente e, portanto, que (f
n
k
)
kN
e uma subsequencia de (f
n
)
nN
.
Como exemplo, considere que (f
n
)
nN
seja constante. Neste caso, qualquer (n
k
)
kN
satisfaz
as condi coes da demonstra cao! Este erro pode ser corrigido sem muito esfor co (Exerccio 3).
9.7 Equacoes diferenciais.
Muitas situa coes fsicas, economicas, biologicas, ... sao modeladas por equacoes diferen-
ciais ordinarias (comumente abreviadas pela sigla EDO). Neste tipo de equa cao a incognita
e uma fun cao (nao um numero). O termo diferenciais vem do fato que na equa cao aparece
a derivada (de alguma ordem) da fun cao incognita. Nesta se cao abordaremos apenas algumas
questoes referentes `as equa coes diferenciais. Como aplica cao do Teorema de Arzel`a-Ascoli
mostraremos a existencia de solu cao de uma classe de EDOs. O leitor interessado em se apro-
fundar no assunto podera consultar algum dos varios livros disponveis como, por exemplo,
[19].
EXEMPLO 9.19. Seja g C
_
[a, b]
_
. Procuramos f C
1
_
[a, b]
_
tal que
f
ITULO 9. SEQ
ENCIAS DE FUNC
OES
(vi) garante a unicidade. Resumindo, dados g C
_
[a, b]
_
e y
0
R, existe uma unica
f C
1
_
[a, b]
_
tal que
_
_
_
f
(x) = f(x) x R,
f(0) = 1.
(9.6)
Ja vimos (Exerccio (10.c) do Captulo 7) que existe no maximo uma solu cao de (9.6). Mostrar
que existe alguma solu cao e tarefa mais elaborada que sera deixada para depois. Por hora,
diremos apenas que existe tal f, a chamada funcao exponencial, denotada por f(x) =
exp(x) ou f(x) = e
x
para todo x R. Agora vamos abordar outra questao relevante no
estudo de solu coes de equa coes diferenciais: a regularidade. De acordo com o enunciado,
procuramos solu cao f na classe C
1
(R). Poderamos ter sido menos exigentes, procurando
f no conjunto das fun coes derivaveis (com derivadas nao necessariamente contnuas). Nada
ganhamos ou perdemos fazendo isto. De fato, se f e derivavel e f
= f, entao f
e contnua
pois f e contnua. Conclumos que f C
1
(R). Ora, como f C
1
(R) e f
= f temos
que f
C
1
(R), isto e, f C
2
(R). Continuando o argumento (chamado de boot strap)
conclumos que f C
(R).
Nas aplica coes de EDOs em areas externas `a Matematica saber que determinado problema
tem solu cao, unica e regular (C
1
ou C
(x) = e
x
2
para todo x R.) Neste caso, devemos usar esquemas numericos para a
resolu cao de EDOs.
De maneira geral estamos interessados no seguinte problema. Dada g : R R e y
0
R,
queremos encontrar f : [a, b] R derivavel e tal que
_
_
_
f
(x) = g
_
f(x)
_
x [a, b],
f(a) = y
0
.
(9.7)
9.7. EQUAC
OES DIFERENCIAIS. 147
Frequentemente, a variavel x e substituda por t e interpretada como tempo e a e con-
siderado o tempo inicial. Por essa razao (9.7) e chamado de Problema de Valor Inicial
(PVI) ou de Problema de Cauchy.
Para encontrar uma solu cao, ou melhor, uma aproxima cao para a solu cao de (9.7) o
metodo numerico mais simples e o Metodo de Euler. A ideia deste metodo e a seguinte.
Sejam f solu cao do PVI e x
0
= a. Se x
1
> x
0
e proximo de x
0
, entao
f
(x
0
)
f(x
1
) f(x
0
)
x
1
x
0
= f(x
1
) f(x
0
) +f
(x
0
)(x
1
x
0
) = y
0
+g(y
0
)(x
1
x
0
).
Assim, y
1
= y
0
+ g(y
0
)(x
1
x
0
) e uma aproxima cao para f(x
1
) que sera usada para obter
uma aproxima cao para f(x
2
), sendo x
2
> x
1
proximo de x
1
. Temos
f
(x
1
)
f(x
2
) f(x
1
)
x
2
x
1
= f(x
2
) f(x
1
) +f
(x
1
)(x
2
x
1
) y
1
+g(y
1
)(x
1
x
2
).
Ou seja y
2
= y
1
+g(y
1
)(x
2
x
1
) e uma aproxima cao para f(x
2
). Continuamos o processo da
seguinte maneira. Dada uma parti cao (ou malha, como e chamada no contexto da Analise
Numerica) P = x
0
, . . . , x
n
de [a, b], denimos y
1
, . . . , y
n
, indutivamente, por
y
i
= y
i1
+g(y
i1
)(x
i
x
i1
) i 1, . . . , n. (9.8)
_
y
0
se x = a,
_
y
i
y
i1
x
i
x
i1
_
(x x
i1
) +y
i1
se x
i1
< x x
i
.
(9.9)
O Metodo de Euler esta na base da demonstra cao do Teorema de Peano.
TEOREMA 9.21. (Peano) Seja g C(R) limitada. Entao, para todo y
0
R, existe
f C
1
_
[a, b]
_
satisfazendo (9.7).
Demonstracao. Seja M > 0 tal que [g[ M. Dado n N, considere a parti cao uniforme
P = x
0
, . . . , x
n
do intervalo [a, b]. Ou seja,
[x
i
x
i1
[ =
b a
n
, i 1, . . . , n.
Denimos y
1
, . . . , y
n
por (9.8) e f
n
= dada em (9.9). Segue que se x (x
i1
, x
i
), entao
f
n
e derivavel em x e f
n
(x) = g
_
y
i1
_
= g
_
f
n
(x
i1
)
_
. Logo, [f
n
(x)[ M.
148 CAP
ITULO 9. SEQ
ENCIAS DE FUNC
OES
Usando o Primeiro Teorema Fundamental do Calculo temos
f
n
(x) = f
n
(a) +
_
x
a
f
n
(s)ds = y
0
+
_
x
a
f
n
(s)ds x [a, b]. (9.10)
Da Proposi cao 8.16, obtemos
[f
n
(x)[ [y
0
[ +
_
x
a
[f
n
(s)[ds [y
0
[ + M(b a) = L x [a, b]. (9.11)
Logo, (f
n
)
nN
e limitada.
Com argumento analogo mostra-se que para a y x b temos
[f
n
(x) f
n
(y)[
_
x
y
[f
n
(s)[ds M(x y). (9.12)
Segue, imediatamente, que (f
n
)
nN
e equicontnua. Gra cas ao Teorema de Arzel`a-Ascoli,
(f
n
)
nN
tem subsequencia (tambem denotada (f
n
)
nN
) convergente para f em C
_
[a, b]
_
.
Vamos mostrar que f e solu cao de (9.7). De acordo com o Segundo Teorema Fundamental
do Calculo, basta mostrar que f =
f, sendo
f : [a, b] R denida por
f(x) = y
0
+
_
x
a
g
_
f(s)
_
ds x [a, b].
Faremos isto mostrando que (f
n
)
nN
converge para
f. Seja > 0. De (9.11) obtemos que
[f[ L. Como g e uniformemente contnua no compacto [L, L], existe > 0 tal que
y, z [L, L], [y z[ < = [g(y) g(z)[ < .
Usando esta rela cao, (9.12) e supondo que n N seja sucientemente grande de modo
que M(b a)/n < e |f
n
f| < , obtemos
[f
n
(x)
f(x)[
_
x
a
n
(s) g
_
f(s)
_
ds
n
i=1
_
x
i
x
i1
n
(s) g
_
f(s)
_
ds
=
n
i=1
_
x
i
x
i1
g
_
f
n
(x
i1
)
_
g
_
f(s)
_
ds
i=1
_
x
i
x
i1
_
g
_
f
n
(x
i1
)
_
g
_
f
n
(s)
_
g
_
f
n
(s)
_
g
_
f(s)
_
_
ds
i=1
_
x
i
x
i1
2ds = 2(b a).
O que conclui a demonstra cao.
O Teorema de Peano nao garante a unicidade da solu cao. Considere, por exemplo, [a, b] =
[0, 1], y
0
= 0 e g(y) =
_
[y[ para todo y R. Verica-se facilmente que, dado qualquer
9.8. LOGAR
E possvel retirar a hipotese sobre a limita cao de g mas paga-se um pre co por isto. Neste
caso, a solu cao f estara denida numa vizinhan ca de a que, possivelmente, nao contem b.
Considere, por exemplo, [a, b] = [0, 2], y
0
= 1 e g(y) =
_
[y[
3
para todo y R. Neste caso,
a unica solu cao e dada por f(x) = 4/(2 x)
2
que nao esta denida em b = 2
Perceba que na demonstra cao do Teorema de Peano usamos o Metodo de Euler de um
modo muito particular supondo que as parti coes eram uniformes. Alem disto, da sequencia de
aproxima coes dada pelo Metodo de Euler, mostramos apenas que uma subsequencia converge
para a solu cao. Isto inviabiliza o Calculo Numerico aproximado da solu cao pois nao sabemos
qual e a sequencia dos indices que deve ser usada. Felizmente, sob condi coes suplementares
sobre g e possvel mostrar que a sequencia converge (ver [11]). Este fato esta intimamente
ligado a questao da unicidade da solu cao. Reita a respeito.
Um ultimo comentario: apresentamos o chamado metodo explcito. Ha tambem o Metodo
de Euler Implcito que tem vantagens sobre o explcito. Na verdade existem outros metodos
numericos mais vantajosos que o de Euler. O leitor interessado podera consultar [11].
9.8 Logartmo, exponencial e a constante e.
No prologo de [18] Rudin
1
arma que a fun cao exponencial e a mais importante da
Matematica. Ha varias maneiras de denir esta fun cao. A mais popular, nos livros de Calculo
I e Analise Real, dene a exponencial como inversa da fun cao logartmo. Apresentaremos outra
abordagem e provaremos este fato.
DEFINIC
AO 9.23. Temos:
i. log(1) = 0;
ii. A fun cao logartmo e derivavel e log
ITULO 9. SEQ
ENCIAS DE FUNC
OES
Demonstracao. (i) Trivial.
(ii) Segue do Segundo Teorema Fundamental do Calculo.
(iii) Seja n N xo e considere a fun cao f : (0, +) R dada por
f(x) = log(x
n
) nlog(x) x (0, +).
Basta mostrar que f e identicamente nula. Derivando obtemos
f
(x) =
nx
n1
x
n
n
x
= 0 x (0, +).
Portanto f e constante, isto e, f(x) = f(1) = 0 para todo x (0, +).
DEFINIC
n=0
x
n
n!
x (0, +).
A serie acima e (absolutamente) convergente gra cas ao Teste da Razao (veja Exemplo
4.37).
Dentre as propriedades da fun cao exponencial, a proposicao seguinte tem importancia
especial para a Analise.
PROPOSIC
AO 9.25. Temos:
i. exp(0) = 1;
ii. exp
n=0
x
n
n!
x R.
Por deni cao, (F
N
)
NN
converge simplesmente para exp. Fixado M > 0, mostraremos que
a convergencia e uniforme em [M, M].
Seja > 0. Como (F
N
(M))
NN
converge para exp(M), existe N
0
N tal que
N N
0
= [F
N
(M) exp(M)[ < .
9.8. LOGAR
n=N+1
x
n
n!
n=N+1
[x[
n
n!
+
n=N+1
M
n
n!
= [F
N
(M) exp(M)[ < .
Verica-se facilmente que F
N+1
= F
N
para todo N N. Logo, (F
N
)
NN
converge
uniformemente para exp em [M, M].
Gra cas `a Proposi cao 9.12, (F
N
)
NN
converge para uma primitiva da fun cao exp em
[M, M], ou seja, exp
AO 9.26. Temos:
i. exp
_
log(x)
_
= x x (0, +).
ii. log
_
exp(x)
_
= x x R;
Demonstracao. (i) Seja f : (0, +) R dada por
f(x) =
exp
_
log(x)
_
x
x (0, +).
Basta mostrar que f(x) = 1 para todo x (0, +). Derivando obtemos
f
(x) =
xexp
_
log(x)
_
/x exp
_
log(x)
_
x
2
= 0 x (0, +).
Portanto f e constante, isto e, f(x) = f(1) = 1 para todo x (0, +).
(ii) Como no item anterior, mostra-se que g : R R dada por g(x) = log
_
exp(x)
_
x,
para todo x R, e identicamente nula.
Sejam n N e a > 0. Gra cas `as propriedades da exponencial e do logartimo, temos:
exp
_
nlog(a)
_
= exp
_
log(a
n
)
_
= a
n
= a a
. .
n vezes
.
A quantidade acima `a direita tem sentido apenas para n N enquanto que aquela `a
esquerda faz sentido para n R. Motivados por este fato, fazemos a seguinte deni cao.
DEFINIC
ITULO 9. SEQ
ENCIAS DE FUNC
OES
Consideremos expoentes racionais. Dados m Z, n N e a > 0, gra cas ao Exerccio
(4.e), temos
_
a
m
n
_
n
= a
m
n
n
= a
m
.
Portanto, a
m
n
=
n
a
m
.
Deniremos a seguir a constante e que e uma das cinco principais da Analise. As outras
quatro sao 0, 1, e i (a ultima aparece na Analise Complexa).
DEFINIC
AO 9.28. e = exp(1).
Segue que log(e) = log
_
exp(1)
_
= 1. Assim, para x R temos
e
x
= exp
_
xlog(e)
_
= exp(x).
Terminamos com um curioso resultado.
TEOREMA 9.29. O numero e e irracional.
Demonstracao. Suponhamos por absurdo que e Q. Entao, existem p, q N tais que
e = p/q, ou seja,
p
q
= exp(1) =
+
n=0
1
n!
.
Multiplicando por q! e rearranjando obtemos
p(q 1)!
q
n=0
q!
n!
=
+
n=q+1
q!
n!
.
Claramente o termo do lado esquerdo da igualdade e inteiro. Concluiremos a prova mostrando
que o termo do lado direito nao e inteiro. De fato,
0 <
+
n=q+1
q!
n!
=
1
q + 1
+
1
(q + 2)(q + 1)
+
1
(q + 3)(q + 2)(q + 1)
+. . .
<
1
2
+
1
4
+
1
8
+ = 1.
9.9 Denicoes analticas de seno e cosseno.
DEFINIC
n=0
(1)
n
x
2n+1
(2n + 1)!
e cos(x) = 1 +
+
n=1
(1)
n
x
2n
(2n)!
x R.
9.9. DEFINIC
OES ANAL
= cos e cos
= sen;
ii. sen(0) = 0 e cos(0) = 1;
iii.
_
sen(x)
_
2
+
_
cos(x)
_
2
= 1 para todo x R. Em particular, sen(x), cos(x) [1, 1]
para todo x R.
Demonstracao. (i) Dado N N, denimos S
n
, C
N
: R R, para cada x R, por
S
N
(x) =
N
n=0
(1)
n
x
2n+1
(2n + 1)!
e C
N
(x) = 1 +
N
n=1
(1)
n
x
2n
(2n)!
.
Temos que (S
N
)
NN
e (C
N
)
NN
convergem simplesmente para sen e cos, respectivamente.
Fixado M > 0, mostraremos que a convergencia de (C
N
)
NN
e uniforme em [M, M].
Seja > 0. Como
M
n
/n! converge (veja Exemplo 4.37), existe N
0
N tal que
N N
0
=
+
n=2N+2
M
n
n!
< .
Entao, para x [M, M] e N N
0
, temos
[C
N
(x) cos(x)[ =
n=N+1
(1)
n
x
2n
(2n)!
n=N+1
M
2n
(2n)!
+
n=2N+2
M
n
n!
< .
Verica-se facilmente que S
N
= C
N
para todo N N. Logo, (S
N
)
NN
converge unifor-
memente para cos em [M, M].
Gra cas `a Proposi cao 9.12, (S
N
)
NN
converge para uma primitiva da fun cao cos em
[M, M], ou seja, sen
= sen.
(ii) Trivial.
(iii) Seja F : R R dada por F(x) =
_
sen(x))
2
+
_
cos(x)
_
2
, para todo x R. Temos
F
_
R
_
. As propriedades
(i) e (ii) caracterizam sen e cos. Mais precisamente, temos o seguinte resultado.
154 CAP
ITULO 9. SEQ
ENCIAS DE FUNC
OES
PROPOSIC
= c, c
= s, s(0) = 0 e
c(0) = 1. Entao s = sen e c = cos.
Demonstracao. Procedemos como na prova do item (iii) do teorema anterior. Denimos
F : R R por F(x) =
_
sen(x) s(x))
2
+
_
cos(x) c(x)
_
2
, para todo x R, e mostramos
que F
= c, c
ICIOS. 155
Agora, trocando x por +x, conclumos
sen(2 +x) = sen( +x) = sen(x).
Finalmente, cos(2 +x) = sen(/2 + 2 +x) = sen(/2 +x) = cos(x).
De acordo com o Teorema 9.33, no intervalo [0, /2] as fun coes sen e cos tem gracos
semelhantes ao esbo cados na Figura 9.1(a). Usando iteradamente as rela coes sen(/2+x) =
cos(x) e cos(/2 +x) = sen(x), como na demonstra cao do Corolario 9.35, estendemos o
graco ate o intervalo [0, 2] obtendo a Figura 9.1(b).
0
2
1
1
cos sen
(a) Em
_
0,
2
.
0
2
3
2
2
1
1
cos sen
(b) Em [0, 2].
Figura 9.1: Gracos das fun coes seno e cosseno.
9.10 Exerccios.
1 - Sejam (f
n
)
nN
uma sequencia de fun coes de A em R e f : A R R. Mostre
que (f
n
)
nN
nao e uniformemente convergente para f se, e somente se, existe (x
n
)
nN
A
e > 0 tais que
[f
n
(x
n
) f(x
n
)[ n N.
2 - Seja a (0, 1). Considere f
n
: [0, a] R dada por f(x) = x
n
para n N e x [0, a].
a) Mostre diretamente, a partir da deni cao de convergencia uniforme, que (f
n
)
nN
con-
verge uniformemente para a fun cao nula;
b) Use o Teorema de Dini para mostrar que (f
n
)
nN
converge uniformemente para a fun cao
nula.
3 - Mostre que, na demonstra cao do Teorema de Arzela-Ascoli, podemos supor, sem perda
de generalidade, que
156 CAP
ITULO 9. SEQ
ENCIAS DE FUNC
OES
a) (f
n
)
nN
nao tem subsequencia constante;
b) se m ,= n, entao f
n
,= f
m
.
Conclua que isto conserta a demonstra cao.
4 - Mostre que
a) log(xy) = log(x) + log(y) para x, y > 0;
b) log(x
) = log
a
(x) para x (0, +) e R.
6 - Seja f : R R tal que f
ENCIAS BIBLIOGR
AFICAS
[16] The MacTutor History of Mathematics archive,
http://turnbull.mcs.st-and.ac.uk/~history/
[17] Rudin, W., Princpios de analise matematica, Ao Livro Tecnico S.A., Rio de Janeiro,
1971. Tradu cao de Principles of mathematical analysis., McGraw-Hill Book Company
Inc., New York-Toronto-London, 1953.
[18] Rudin, W., Real and Complex Analysis, McGraw-Hill Book Company Inc., New York-
Toronto-London, 1974.
[19] Rosa, R. M. S., Equa coes Diferenciais, a ser publicado.
[20] Volterra, V., Sui principii del calcolo integrale. Giornale di Matematiche 19 (1881),
333-372.
Indice Remissivo
Aberto, 68
Absurdo, demonstra cao por, 2
Adi cao
de cortes, 32
em um corpo, 22
Antiderivada, 126
Arquimedes, 113
Arzel`a, 144
Ascoli, 144
Associatividade, 22
Banach, 88
Bernoulli, 27
Bernstein, 17
Bije cao, 8
Bolzano, 51, 53, 56
Boot strap, 146
Borel, 71
Brouwer, 87
Cantor, 17, 19
Caracterstica, 46
Cardinalidade, 16
Cauchy, 52, 62, 102, 147
Classe, 3
Cobertura aberta, 72
Cohen, 19
Cole cao, 3
Comensuraveis, 29
Compacto, 71
Complementar, 4
Completeza, 40
Comutatividade, 22
Conjunto, 1
aberto, 68
compacto, 71
complementar, 4
das partes, 3
de ndices, 9
de medida nula, 129
denso, 73, 75
diferen ca, 4
dos numeros
inteiros, 13
naturais, 13
racionais, 22
reais, 41
dos pontos de aderencia, 69
dos pontos interiores, 68
enumeravel, 15
fechado, 70
nito, 15
ilimitado, 24
inferiormente, 24
superiormente, 24
imagem, 7
innito, 15
interse cao, 3
limitado, 24
inferiormente, 24
superiormente, 24
uniao, 3
vazio, 2
Contra cao, 88
Contradomnio de uma fun cao, 7
Convergencia
simples, 137
uniforme, 138
Coordenada, 4
Corpo, 23
arquimediano, 25
dos numeros
racionais, 23
159
160
INDICE REMISSIVO
reais, 41
ordenado, 24
completo, 40
Corte, 31
inverso, 37
modulo, 35
oposto, 33
racional, 31
Cota
inferior, 24
superior, 24
Criterio
da Compara cao, 60
de Leibniz, 66
DAlembert, 61
Darboux, 113
De Morgan, 11
Dedekind, 30
Demonstra cao por absurdo, 2
Demonstra cao por indu cao, 13
Denso, 73, 75
Derivada
da diferen ca, 97
da soma, 97
de uma fun cao, 96
em um ponto, 96
do produto, 97
por constante, 97
do quociente, 97
Desigualdade
de Bernoulli, 27
triangular, 45, 142
Diferen ca
de sequencias, 64
Diferen ca de dois conjuntos, 4
Dini, 139
Distributividade, 23
da uniao e da interse cao, 11
Domnio, 7
Elemento, 1
de uma famlia, 9
mnimo, 13
neutro
da adi cao, 22
da multiplica cao, 23
Equa coes diferenciais ordinarias, 145
Erdos, 62
Espa co vetorial, 141
Euclides, 30
Eudoxo, 30, 113
Euler, 62, 147
Extensao, 7
Formula de Taylor com resto
de Lagrange, 104
de Peano, 103
Famlia, 3, 9
Fecho, 69
Fraenkel, 19
Fun cao, 6
am, 93
antiderivada, 126
bijetiva, 8
caracterstica, 46
composta, 8
constante, 27
contnua, 77, 83
em um ponto, 67, 83
crescente, 25
decrescente, 25
derivavel, 96
em um ponto, 94
derivada, 96
diferen ca, 24
estritamente
crescente, 25
decrescente, 25
monotona, 25
exponencial, 146, 149, 150
identidade, 18
ilimitada, 25
injetiva, 8
integravel, 116
inversa, 9
invertvel, 9
limitada, 25
inferiormente, 25
Indice, 9
Inmo, 42
Innitesimo de ordem n, 104
Innito, 10
Inje cao, 8
Integral, 116, 124
indenida, 126
Interior, 68
Interse cao, 3
Intervalo, 43
(s) encaixantes, 44
aberto, 43
degenerado, 43
fechado, 43
nao degenerado, 43
Inverso, 23
de um corte, 37
Lagrange, 104
Lebesgue, 72, 133
Leibniz, 66
Leis de De Morgan, 11
Lema da Contra cao, 89
Limite
da diferen ca, 64, 80
da soma, 54, 80
de fun cao, 77
de uma serie, 57
de uma sequencia, 49
em C(K), 142
do produto, 54, 80
por constante, 54, 80
do quociente, 64, 80
inferior, 56
innito
de fun cao, 81
de sequencia, 53
lateral, 81
no innito, 81
superior, 56
Metodo
da Exaustao, 113
das Aproxima coes Sucessivas, 89
de Euler, 147
de Newton, 106
de Picard, 89
Modulo
de um corte, 35
de um numero real, 45
Malha, 147
Medida nula, 129
Membro, 3
de uma famlia, 9
Multiplica cao
de cortes, 35
em um corpo, 22
N, 13
n-uplas ordenadas, 4
Numero
de elementos, 15
inteiro, 13
162
INDICE REMISSIVO
irracional, 42
natural, 13
racional, 21
real, 41
Newton, 106
Norma, 142
C
0
, 142
da convergencia uniforme, 142, 143
do sup, 142
innito, 142
L
, 142
Oposto, 22
de um corte, 33
Ordem, 24
Par ordenado, 4
Paradoxo de Russel, 5
Parti cao, 113
Peano, 103, 145
, 152
Picard, 89
Pitagoras, 29
Polinomio de Taylor, 103
Ponto
de acumula cao, 71
de aderencia, 69
de extremo, 86
global, 86
local, 99
de maximo, 86
global, 86
local, 99
de mnimo, 86
global, 86
local, 99
xo, 87, 88
interior, 68
isolado, 71
Ponto xo, 18
Pre-imagem, 8
Primitiva, 126
Princpio
da Boa Ordem, 13, 14
da Indu cao, 13, 14
Problema
de Cauchy, 147
de Valor Inicial, 147
Produto
cartesiano, 4
de cortes, 35
de sequencias, 54
em um corpo, 22
Progressao
Aritmetica, 47
Geometrica, 55
Q, 22
R, 41
Raiz
de dois, 42
m-esima, 65, 91
Regra
da Cadeia, 97
de lHospital, 107, 108
Resti cao, 7
Reta tangente, 96
Reuniao, 3
Riemann, 113, 116
Rolle, 101
Rudin, 149
Serie, 57
absolutamente convergente, 57
convergente, 57
divergente, 57
Geometrica, 58
Harmonica, 59
Schoreder, 17
Sequencia, 9, 47
constante, 47
convergente, 48, 49
em C(K), 142
crescente, 47
das somas, 54
das somas parciais, 57
de Cauchy, 52
decrescente, 47
divergente, 49