AnaliseReal Cattai Uneb

ANLISE REAL
(MA0062)
Adriano Pedreira Cattai
http://cattai.mat.br
Universidade do Estado da Bahia UNEB
Semestre 2009.1
UNEB 2009.1
Sumrio
Apresentao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Teorema e Demonstraes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1 Nmeros Naturais e Nmeros Inteiros 8
1.1 Nmeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.1 Fundamentao Axiomtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Subtrao emN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.2 Exerccios Propostos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.1 Fundamentao Axiomtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Subtrao emZ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2 Princpio da Boa Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 O Princpio da Induo Completa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.1 Mtodo da Recorrncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Conjuntos Finitos, Enumerveis e No-Enumerveis 21
2.1 Conjuntos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Conjuntos Enumerveis e Conjuntos No-Enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 Nmeros Reais 27
3.1 Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.1.1 Corpos Ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.1.2 Relao de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Mdulo ou Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1.3 A polmica Descoberta dos Incomensurveis: os Nmeros Irracionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.1.4 O Conjunto dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Noes Topolgicas da Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.1 Conjuntos Abertos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.2 Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.2.3 Pontos de Acumulao. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2.4 Conjuntos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2.5 Conjuntos Densos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4 Sequncias e Sries 43
4.1 Sequncias e Subseqncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.2 Sequncias Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3 Seqencias Montonas e Seqencias Limitadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.4 Sequncias de Cauchy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.5 Limites Innitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.6 Operaes com Limites. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.7 Limite Superior e Limite Inferior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.8 Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.9 A Srie dos Inversos dos Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5 Limites de Funes 57
5.1 Limites Laterais, Innitos e no Innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
6 Funes Contnuas 63
6.1 O Teorema do Valor Intermedirio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2

Adriano Cattai
Anlise Real
6.2 Funes contnuas Denidas em Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.3 Funes Uniformemente Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7 Derivadas 71
7.1 Derivabilidade e Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
7.2 Propriedades Operatrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
7.3 Extremos Locais e o Teorema do Valor Mdio (Lagrange) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
7.4 Regras de LHospital . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Referncias Bibliogrcas 82
3
UNEB 2009.1
ANLISE REAL
Adriano Pedreira Cattai
Apresentao
Anlise o ramo da matemtica que lida com os conceitos introduzidos pelo clculo diferencial e integral,
tendo surgido justamente da necessidade de prover formulaes rigorosas s idias intuitivas do clculo. Sendo
hoje uma disciplina muito mais ampla, tais tpicos so tratados em uma subdiviso chamada anlise real.
Se a Anlise surgiu do estudo dos nmeros e funes reais, sua abrangncia cresceu de forma a estudar
os nmeros complexos, bem como espaos mais gerais, tais como os espaos mtricos, espaos normados e os
espaos lineares topolgicos.
Embora seja difcil denir exatamente o que seja anlise matemtica e delinear precisamente seu objeto
de estudo, pode-se dizer grosseiramente que a anlise se dedica ao estudo das propriedades topolgicas em
estruturas algbricas.
Fonte: Wikipdia (http://pt.wikipedia.org/wiki/Anlise matemtica)
Este material dever servir como referncia aos estudos introdutrios de Anlise Real na disciplina Anlise
Real (MA0062), do curso de Licenciatura em Matemtica da UNEB/Campus II. Deve-se recorrer literatura
(indicamos alguns autores na bibliograa) possibilitando uma maior formao e compreenso dos tpicos aqui
abordados, que so: Axiomtica e Noes Topolgicas em R, Seqncias e Sries; Limite, Continuidade e Derivada.
Prof. Adriano Pedreira Cattai.
Teorema e Demonstraes
Axiomas e Proposies
Fonte: Wikipdia
Proposio uma sentena declarativa, que pode ser verdadeira ou falsa. Geralmente, de simples prova e
de importncia Matemtica menor.
Um axioma uma sentena ou proposio que no provada ou demonstrada e considerada como bvia
ou como um consenso inicial necessrio para a construo ou aceitao de uma teoria. Por essa razo, aceito
como verdade e serve como ponto inicial para deduo e inferncias de outras verdades (dependentes de teoria).
Na matemtica, um axioma uma hiptese inicial de qual outros enunciados so logicamente derivados.
Pode ser uma sentena, uma proposio, um enunciado ou uma regra que permite a construo de um sistema
formal. Diferentemente de teoremas, axiomas no podem ser derivados por princpios de deduo e nem so
demonstrveis por derivaes formais, simplesmente porque eles so hipteses iniciais. Isto , no h mais
nada a partir do que eles seguem logicamente (em caso contrrio eles seriam chamados teoremas). Em muitos
contextos, axioma, postulado e hiptese so usados como sinnimos.
A palavra axioma vem do grego, que signica considerado vlido ou adequado ou considerado auto-
4

Adriano Cattai
Anlise Real
evidente.
Um Teorema uma proposio gloricada. Ou seja, um resultado importante que se destaca. Usualmente
deixa-se o termo teorema para as armaes que podem ser provadas de grande importncia matemtica.
So dados outros nomes para os outros tipos dessas armaes (proposies):
Lema: um pr-teorema. Um teorema que serve para ajudar na prova de outro teorema maior. A distino
entre teoremas e lemas um tanto quanto arbitrria, uma vez que grandes resultados so usados para
provar outros. Por exemplo, o Lema de Gauss e o Lema de Zorn so muito interessantes, e muitos autores
os denominam de Lemas, mesmo que no os usem para provar alguma outra coisa.
Corolrio: uma consequncia direta de outro teorema ou de uma denio, muitas vezes tendo suas demon-
straes omitidas, por serem simples;
Esclio: uma consequncia direta da demonstrao (ou parte da demonstrao) de um teorema.
Provar teoremas a principal atividade dos matemticos.
Teoremas
A generalidade dos resultados matemticos assumem a seguinte forma: admitindo a validade de uma ou mais
premissas , decorre(m) obrigatoriamente uma ou mais concluses, ou consequncias. Um tal enunciado de resultados
tem o nome de Teorema. A validade de um teorema tem de ser provada, ou demonstrada. A sucesso nita de
argumentos lgicos mostrando que determinada armao necessriamente verdadeira quando se assumem
certas premissas, damos o nome de prova ou demonstrao.
Num teorema, ao conjunto de premissas d-se o nome de hiptese, e ao conjunto de concluses d-se o
nome de tese. Esquematicamente, podemos representar um teorema da seguinte forma:
Teorema: Hiptese = Tese.
Observao: Quando num teorema vlido tambm a recproca, isto , se P, ento Q e se Q, ento P,
escrevemos P Q, ao invs de escrever P Q e Q P. O correspondente smbolo lgico o se e
somente se. A forma de expresso para um teorema se P ento Q, e se Q ento P P se e somente se
Q.
Por exemplo, para o teorema se um inteiro x par, ento x +1 mpar, e se x +1 mpar, ento x par,
escrevemos um inteiro x par se, e somente se, x +1 mpar. Em smbolos: x par x + 1 mpar.
Outras maneiras de usar o smbolo so:
(i) P sse Q (abreviada);
(ii) P necessrio e suciente para Q.
Ao nal de uma demonstrao matemtica, usual aperecer Q.E.D (ou QED) que uma abreviatura para
Quod erat demonstrandum, uma expresso em Latim que signica como se queria demonstrar. Na verso
portuguesa C.Q.D. (ou CQD). Frequentemente substituido por um dos smbolos ou .
Tcnicas de Demonstrao
A demonstrao da validade de um teorema pode ser feita de vrias maneiras, das quais salientamos as
seguintes, por serem as mais frequentes. A m de simplicar a notao, admitimos no que se segue que a
5
UNEB 2009.1
hiptese constituda por uma nica expresso proposicional P(x) e que a tese igualmente constituda por
uma nica condio Q(x). Assim, o teorema assume a seguinte forma:
Teorema: P(x) = Q(x).
Prova Direta
A concluso estabelecida atravs da combinao lgica dos axiomas, denies e teoremas j existentes.
Constri-se uma cadeia de condies intermedirias (R
1
, R
2
, . . . , R
n
) que decorremumas das outras, de tal forma
que a transitividade da implicao lgica nos permite chegar validade de Q, admitindo a validade de P:
P(x) R
1
(x) R
2
(x) . . . R
n
(x) Q(x).
Vejamos um exemplo.
Teorema A. A soma de dois nmeros pares um nmero par.
Prova: Seja a e b dos nmeros pares. Assim, dados m, n Z, podemos escrever a = 2m e b = 2n. Deste modo
temos:
a + b = 2m +2n a + b = 2(m + n) a + b = 2p, p = m + n Z a + b par.
2
Este teorema pode ser assim reescrito:
Se a, b R so pares
. .
P(x)
, ento a + b par
. .
Q(x)
.
Prova Contra-Recproco
Da lgica, temos que a implicao P Q logicamente equivalente ao seu contra-recproco, isto , ar-
mao Q P. Assim, uma forma possvel de demonstrar uma implicao consiste em demonstrar o seu
contra-recproco. Vamos a um exemplo.
Teorema B. Para nmeros naturais, se p
2
par
. .
P(x)
, ento p par
. .
Q(x)
.
Prova: Devemos ter que, para nmeros naturais, se p mpar
. .
Q(x)
, ento p
2
mpar
. .
P(x)
. De fato,
p mpar p = 2n +1, n N p
2
= 4n
2
+4n + 1 p
2
= 2q + 1, q = 2n
2
+ 2n N
p
2
mpar.
2
Prova por Contradio (ou reduo ao absurdo)
Consiste em provar que admitir P em conjunto com Q gera uma contradio, ou impossibilidade, desig-
nada de absurdo. Vejamos como isso ocorre na prtica.
6

Adriano Cattai
Anlise Real
Teorema C. dado um nmero real a. Se a > 0
. .
P(x)
, ento
1
a
> 0
. .
Q(x)
.
Prova: A negao da consequncia
1
a
> 0
1
a
< 0 (ignoramos a igualdade a zero, por no ser possvel para
qualquer a R). Mostraremos que no possvel vericar-se esta condio em simultneo com a premissa
a > 0. Ora,
a > 0
1
a
< 0
a
1
a
< 0 1 < 0,
o que , certamente, uma armao falsa. Aqui est o absurdo e, portanto, a > 0
1
a
> 0. 2
Prova por Induo
Um caso base provado e uma regra de induo usada para provar uma srie de outros casos. Precisa-
mente:
Seja P(n) uma condio com uma varivel n N, tal que:
1. condio inicial: o nmero n = 1 verica a condio P(n); e
2. hiptese de induo: sempre que o nmero natural n verica a condio P(n), ento o nmero n+1 tambm
a verica:
P(n) P(n + 1).
Ento, a condio P(n) verica-se para todo o nmero natural, n N.
Na seo O Princpio da Induo Completa, pgina 16, veremos maiores detalhes e exemplos.
Prova por Construo
Consiste em construir um exemplo concreto com determinada propriedade para mostrar que existe algo com
tal propriedade.
Prova por Exausto
A concluso estabelecida dividindo o problema em um nmero nito de casos e provando cada um sepa-
radamente.
7
UNEB 2009.1
Captulo 1
Nmeros Naturais e Nmeros Inteiros
Deus fez os nmeros naturais.
O resto obra dos homens.
Leopold Kronecker
1.1 Nmeros Naturais
O conjunto usado para contagens o conjunto N = 1, 2, 3, . . .. De to natural, Nganha o nome (N o con-
junto dos nmeros naturais) e o primeiro conjunto numrico que aparece na histria de qualquer civilizao
ou em qualquer tratado sobre os fundamentos da Matemtica. Os nmeros naturais formam um dos conceitos
mais antigos conhecidos pelo ser humano. Entretanto, a sua evoluo de uma noo intuitiva para um conceito
mais elaborado foi muito lenta. S no nal do sculo XIX, quando os fundamentos de toda a Matemtica foram
questionados e intensamente repensados, que a noo de nmero passou a ser baseada em conceitos da teoria
dos conjuntos, considerados mais primitivos.
No discutiremos a evoluo do conceito de nmero natural nem tentaremos explicar sua natureza, mas
apenas estudar algumas das suas propriedades de forma axiomtica, isto , a partir de uma lista razoavel-
mente pequena de propriedades bsicas e das duas operaes (soma e multiplicao) iremos obter as demais
propriedades.
Existe uma axiomtica, idealizada no nal do sculo XIX pelo matemtico italiano Giuseppe Peano, que,
com quatro axiomas, consegue no s denir a adio e a multiplicao nos naturais, como tambm deduzir as
demais propriedades.
1.1.1 Fundamentao Axiomtica
Entre os nmeros naturais esto denidas duas operaes fundamentais: a adio (+) e a multiplicao (), e
uma relao de ordem menor do que (<). A operaes so assim denidas:
Adio. Associa os nmeros m, n N soma m + n.
+ : NN N
(m, n) m + n
Multiplicao. Associa os nmeros m, n Nao produto m n.
: NN N
(m, n) m n
Os axiomas que passaremos a detalhar descrevero algumas das propriedades bsicas das operaes e da
relao menor do que, que tomaremos como base para desenvolver a teoria. Qualquer outra propriedade,
mesmo que intuitivamente bvia, poder ser demonstrada a partir dessas.
8

Adriano Cattai
Anlise Real
Observamos que, em qualquer apresentao axiomtica, o comeo tende a ser cansativo, precisamente por
ser necessrio demonstrar alguns fatos que so bem conhecidos. Tentamos tornar mais uente a exposio
admitindo algumas propriedades do que estritamente necessrias.
O grupo de axiomas abaixo descrever algumas propriedades da soma e da multiplicao que, certamente,
so familiares ao leitor.
(N1) A adio e a multiplicao so bem denidas:
a, b, a
, b
N, a = a
b = b
a + b = a
+ b
a b = a
(N2) A adio e a multiplicao so comutativas:

a, b N, a + b = b + a a b = b a
(N3) A adio e a multiplicao so associativas:
a, b, c N, (a + b) + c = a + (b + c) (a b) c = a (b c)
(N4) A multiplicao distributiva em relao adio:
a, b, c N, a (b + c) = a b + a c
Fique atento!
A propriedade N1 que permite somar, a ambos os lados de uma igualdade, um dado
nmero ou multiplicar ambos os membros por um mesmo nmero.
Alm destas propriedades, o conjunto Npossui:
(N5) Integridade: dados a, b N, tem-se a + b Ne a b N.
(N6) Lei da Tricotomia: Dados a, b N, uma, e apenas uma, das seguintes possibilidades vericada:
(i) a = b; (ii) c N; b = a + c; (iii) c N; a = b + c;
1.1 Denio (Relao menor do que). Dados a, b N, dizemos que a menor do que b, simbolizado por a < b,
toda vez que a propriedade (ii) acima vericada. Analogamente, a propriedade (iii) sendo vericada, diremos
que b menor do que a, e escrevemos b < a.
Nota 1.
Com a denio acima, a lei da tricotomia nos diz que, dados a, b N, uma, e apenas uma, das
seguintes possibilidades vericada:
(i) a = b; (ii) a < b; (iii) b < a;
Utilizamos a notao b > a, que se l b maior do que a, para representar a < b.
Decorre, das denies, que 0 < a para todo a N. De fato, para todo a N, temos
0 + a = a 0 < a.
1.2 Proposio.
(i) A adio compatvel e cancelativa com respeito igualdade:
a, b, c N, a = b a + c = b + c.
9
UNEB 2009.1
(ii) A multiplicao compatvel e cancelativa com respeito igualdade:
a, b, c N, a = b a c = b c.
Prova:
(i) A implicao a = b a +c = b +c conseqncia do fato da adio ser bem denida (propriedade (N1)).
Supondo agora que a + c = b + c. Pela tricotomia, temos trs possibilidades:
1. a < b. Isto levaria a a + c < b + c, absurdo!
2. b < a. Pelo mesmo argumento acima, teramos b + c < a + c, tambm absurdo!
3. a = b. Esta a nica possibilidade que resta.
(ii) A implicao a = b a c = b c decorre do fato da multiplicao ser bem denida. Suponha agora que
a c = b c. Assim, pela tricotomia, temos trs possibilidades:
1. a < b. Isto levaria a a c < b c, absurdo!
2. b < a. Pelo mesmo argumento acima, teramos b c < a c, tambm absurdo!
3. a = b. Esta a nica possibilidade que resta.
1.3 Proposio.
(i) A relao menor do que transitiva:
a, b, c N, a < b b < c a < c.
(ii) A adio compatvel e cancelativa com respeito relao menor do que:
a, b N, a < b a + c < b + c.
(iii) A multiplicao compatvel e cancelativa com respeito relao menor do que:
a, b N, a < b a c < b c.
Prova:
(i) Supondo a < b e b < c, temos que existem d
1
, d
2
N tais que b = a + d
1
e c = b + d
2
. Logo, usando a
associatividade da adio, temos que:
c = b + d
2
= (a + d
1
) + d
2
= a + (d
1
+ d
2
),
em que d
1
+ d
2
N, o que implica a < c.
(ii) Supondo que a < b, existe d N, tal que b = a + d. Somando c a ambos os lados desta igualdade, pela
comutatividade e associatividade da adio, temos
b + c = c + b = c + (a + d) = (c + a) + d = (a + c) + d,
o que mostra que a + c < b + c. Reciprocamente, supondo a + c < b + c, pela tricotomia, temos trs
possibilidades:
10

Adriano Cattai
Anlise Real
1. a = b. Isto levaria a a + c = b + c, absurdo!
2. b < a. Pela primeira parte da demonstrao, teramos b + c < a + c, tambm absurdo!
3. a < b. Esta a nica possibilidade que resta.
(iii) Supondo a < b, existe d N tal que b = a + d. Multiplicando ambos os lados desta igualdade por c,
pelas propriedades comutativa e distributiva da multiplicao, tem-se
b c = c b = c (a + d) = c a + c d = a c + c d,
o que mostra que a c < b c, pois, pela integridade c cotg d N. Reciprocamente, supondo que a c <
b c, pela tricotomia, temos trs possibilidades:
1. a = b. Isto levaria a a c = b c, absurdo!
2. b < a. Pela primeira parte da demonstrao, teramos b c < a c, tambm absurdo!
3. a < b. Esta a nica possibilidade que resta.
Subtrao emN
Dados dois nmeros naturais a e b, com a < b, sabemos que existe um nmero natural c tal que b = a + c.
Neste caso, denimos o nmero b menos a, denotado por b a, como sendo o nmero c. Em smbolos, temos:
c = b a b = a + c.
Dizemos que c o resultado da subtrao de a de b. Assim
: NN N
(b, a) c := b a b = a + c
Muito cuidado!
No universo dos nmeros naturais nem sempre existe a subtrao de dois nmeros; s existe
b a quando a < b, e que por denio (b a) + a = b.
Nota 2. A subtrao no uma operao associativa, de fato:
(9 4) 3 = 5 3 = 2 e 9 (4 3) = 9 1 = 8
1.4 Proposio. Sejam a, b, c N. Se a < b, ento c (b a) = c b c a.
Prova: Note que, se b > a, ento c b > c a, e assim c b c a est bem denido. Supondo, ento,
b a = d, temos b = a + d. Multiplicando por c ambos os membros desta ltima igualdade, obtemos c b =
c (a + d) = c a + c d, o que nos d
c d = c b c a.
Substituindo d por b a na igualdade acima, obtemos c (b a) = c b c a. Como queramos.
1.1.2 Exerccios Propostos
EP 1.1. Sejam a, b, c, d Ntais que a < b e c < d. Mostre que b a < d c b + c < a + d.
11
UNEB 2009.1
EP 1.2. Sejam a, b, c N tais que a (b c) esteja bem denido. Mostre que (a + c) b est bem denido e
que a (b c) = (a + c) b.
EP 1.3. Sejam a, b, c Ntais que a < c e b < c. Mostre que, se c a < c b, ento a > b.
EP 1.4. Sejam a, b, c Ntais que b + c < a. Mostre que a (b + c) e (a b) c esto bem denidos e que vale
a igualdade a (b + c) = (a b) c.
EP 1.5. Sejam a, b, c Ntais que c < b < a. Mostre que b c < a c < a.
1.2 Nmeros Inteiros
A noo de nmero natural, como vimos, desenvolveu-se gradativamente a partir da experincia cotidiana.
Seu emprego foi-se generalizando aos poucos e as propriedades das operaes foram admitidas como um fato
experimental. O mesmo no aconteceu com os nmeros negativos. O primeiro uso conhecido desses nmeros
encontra-se numa obra indiana, atribuda a Brahmagupta (628d.C. aproximadamente), na qual so interpretados
como dvidas. Foi preciso a possibilidade de dar diversas interpretaes aos nmeros negativos que fez com
que eles fossem aceitos aos poucos na coletividade matemtica. Porm, desde seu aparecimento, esses nmeros
sucitaram dvidas quanto sua legitimidade. Em 1543 Stieffel ainda os chamava de nmeros absurdos, e
Cardano, contemporneo de Stieffel, denominava-os solues falsas de uma equao.
A noo de nmero natural (a partir da qual se pode explicitar a noo dos inteiros) foi fundamentada com
preciso, pela primeira vez, pelo matemtico italiano Giuseppe Peano, em1889 na sua Arithmetica Principia Nova
Methodo Exposita. O Mtodo de Peano, com leves variantes, usado at hoje por numerosos textos, mas tem o
inconveniente de ser longo e demorado. Segundo esta teoria, a denio de nmero natural estabelecida a
partir de trs conceitos primitivos e cinco axiomas. O leitor interessado nesse ponto de vista poder consultar
o ltimo captulo do livro Nmeros uma introduo Matemtica, de Csar P. Milies e Snia P Coelho, editora
EDUSP.
Preferimos dar diretamente uma fundamentao axiomtica dos nmeros inteiros semelhante a que empreg-
amos no captulo anterior, dos Nmeros Naturais, permitindo chegar mais rapidamente a resultados signica-
tivos. Mas, anal, o que so os nmeros inteiros?
1.2.1 Fundamentao Axiomtica
Os nmeros inteiros formam um conjunto, que denotaremos por Z, assim denido:
Z = N 0 n; n N,
no qual esto denidas duas operaes, a adio e a multiplicao, que denimos para os nmeros Naturais.
Enunciamos um grupo de 6 axiomas (propriedades) em N que tambm so vlidas para Z, alm das que
seguem:
(Z1) A existncia do Elemento Neutro:
a Z, a +0 = a e a 1 = a.
(Z2) A existncia do Oposto: para cada a Z existe um nico oposto aditivo, denotado por a, tal que
a + (a) = 0.
12

Adriano Cattai
Anlise Real
(Z3) Propriedade cancelativa para a multiplicao: a, b, c Z, com a ,= 0, tem-se que
a b = a c b = c.
Nota 3. No conjunto Z, distinguimos trs subconjuntos notveis:
Z
+
= 0, 1, 2, 3, . . . (conjunto dos inteiros no negativos)
Z
= 0, 1, 2, 3, . . . (conjunto dos inteiros no positivos)

Z
= . . . , 3, 2, 1, 1, 2, 3, . . . (conjunto dos inteiros no nulos)

1.5 Proposio (Propriedade Cancelativa da Adio). Sejam a, b, c Z, tem-se que, se a +b = a +c, ento b = c.
Prova: Se a + b = a + c, somando o oposto de a a ambos os membros dessa igualdade, temos que
(a) + (a + b) = (a) + (a + c).
Da propriedade associativa, temos
[(a) + a] + b = [(a) + a] + c,
isto , 0 + b = 0 + c, donde b = c, como queramos.
1.6 Proposio. Para todo inteiro a, tem-se que a 0 = 0.
Prova: Como 0 = 0 +0, escrevemos a 0 = a (0 +0) = a 0 + a 0. Uma vez que a 0 = a 0 +0, temos
a 0 +0 = a 0 + a 0,
e pela propriedade cancelativa da adio, temos que a 0 = 0.
1.7 Proposio. Sejam a e b inteiros, tais que a b = 0. Ento, a = 0 ou b = 0.
Prova: Se a b = 0, usando a proposio anterior podemos escrever essa igualdade na forma a b = a 0.
Se a = 0, a proposio est demonstrada, caso contrrio, podemos usar o axioma (Z3) para cancelar e obtemos
b = 0.
1.8 Proposio (Regra dos Sinais). Sejam a e b inteiros. Ento:
(i) (a) = a;
(ii) (a) (b) = (a b) = a (b);
(iii) (a) (b) = a b;
Prova:
(i) Note que o oposto de um elemento a o nico inteiro que verica a equao a + x = 0. Deste modo, a
verica a equao (a) + x = 0, implicando que a o oposto de a, que indicado por (a).
13
UNEB 2009.1
(ii) Para a primeira igualdade, perceba que (a) b a soluo da equao a b + x = 0, j que
a b + (a) b = [(a) + a] b = 0 b = 0.
Analogamente, verica-se que a b + a (b) = 0.
(iii) Observe, diretamente, que aplicando (ii) temos
(a) (b) = (a (b)) = ((a b)),
e por (i), segue que (a) (b) = a b.
EmNdenimos a relao menor do que (<) e que observamos no ser uma relao de ordem. EmZ, est
denida a relao menor do que ou igual (), que uma relao de ordem (verique isso!) e que tambm
permite comparar seus elementos, da seguinte forma:
1.9 Denio (Relao de Ordem emZ). Dados a, b Z, dizemos que a menor do que ou igual a b, simbolizado
por a b, se existe um inteiro no negativo c tal que b = a + c. Utilizamos a notao b a, que se l b maior
do que ou igual a a, para representar a b.
Com esta denio, a Proposio 1.3 pode ser reescrita como:
1.10 Proposio.
(i) A relao menor do que ou igual reexiva:
a Z, tem-se que a a.
(ii) A relao menor do que ou igual anti-simtrica:
a, b Z, a b b a a = b.
(iii) A relao menor do que ou igual transitiva:
a, b, c Z, a b b c a c.
(iv) A adio compatvel e cancelativa com respeito relao menor do que ou igual :
a, b N, a b a + c b + c.
(v) A multiplicao compatvel e cancelativa com respeito relao menor do que ou igual :
a, b N, a b, c 0 a c b c.
Prova: Pura Diverso!
Subtrao emZ
Dados dois nmeros inteiros a e b, com a b, sabemos que existe um nmero inteiro no negativo c tal
que b = a + c. Neste caso, denimos o nmero b menos a, denotado por b a, como sendo o nmero c. Em
smbolos, temos:
c = b a b = a + c.
14

Adriano Cattai
Anlise Real
Dizemos que c o resultado da subtrao de a de b. Assim
: ZZ Z
(b, a) c := b a b = a + c
De outro modo, pela existncia do simtrico aditivo, podemos denir emZ a subtrao, estabelecendo que
a b := a + (b), para todos a e b pertencentes a Z.
: ZZ Z
(a, b) a b := a + (b)
Fique Atento! Vimos que no universo dos nmeros naturais, nem sempre existe a subtrao de dois
nmeros, s existe b a quando a < b. EmZ no existe esta preocupao.
1.2.2 Princpio da Boa Ordem
Para apresentar nosso ltimo axioma, introduziremos alguns conceitos.
1.11 Denio. Seja X um subconjunto de Z. Diz-se que X limitado inferiormente se existe algum inteiro m
tal que, para todo a X, tem-se que m a.
Um elemento m
0
X diz-se elemento mnimo de X se, para todo a X, tem-se que m
0
a (verique, se
existe um elemento mnimo de X ele nico!).
De modo anlogo, dene-se conjunto limitador superiormente e elemento mximo. Usaremos a notao
min(X) e max(X) para indicar o mnimo e o mximo de um conjunto X, quando existirem.
Axioma 1 (Princpio da Boa Ordem). Todo conjunto no vazio de inteiros no-negativos contm um elemento
mnimo.
At aqui sabemos, obviamente, que 0 < 1, no entanto no tnhamos provado que no existem inteiros entre
0 e 1. Esse o contedo do nosso prximo corolrio.
1.12 Corolrio. Seja a um inteiro tal que 0 a 1. Ento, a = 0 ou a = 1.
Prova: Suponhamos, por absurdo, que exista um inteiro a diferente de 0 e de 1 nessas condies. Assim, o
conjunto S = a Z; 0 < a < 1 seria no-vazio e pelo Princpio da Boa Ordem existiria m = min(S). Como
m S temos m > 0 e m < 1. Multiplicando por m a segunda desigualdade, obtemos m
2
< m. Assim, tambm
m
2
> 0 e, como m < 1, da transitividade temos m
2
< 1. Logo m
2
S e menor que seu elemento mnimo,
uma contradio.
1.13 Corolrio. Dado um nmero inteiro n qualquer, no existe nenhum nmero inteiro m tal que n < m <
n + 1.
Prova: Suponha, por absurdo, que exista um nmero inteiro m com n < m < n + 1. Logo, existiria um
nmero inteiro positivo k tal que n + k = m < n + 1, que, pela propriedade cancelativa da adio, implicaria
0 < k < 1, o que um absurdo, tendo em vista o corolrio acima.
1.14 Corolrio. Sejam a e b dois inteiros no negativos. Se ab = 1, ento a = 1 e b = 1.
15
UNEB 2009.1
Prova: Inicialmente, note que a ,= 0 e b ,= 0, pois caso contrrio ab = 0. Agora, se a ,= 1 e b ,= 1, ento
devemos ter a > 1 e b > 1. Logo, ab > b > 1, uma contradio. Portanto a = 1 ou b = 1. Qualquer uma
dessas possibilidades implica a = b = 1.
EP 1.6. Sejam a, b Z, mostre que:
(a) (1) a = a;
(b) Se a
2
= 0, ento a = 0;
(c) Se a
2
= a, ento a = 0 ou a = 1;
(d) A equao a + x = b tem uma nica soluo.
EP 1.7. Mostre que a relao menor do que ou igual a () uma relao de ordem, ou seja, reexiva, anti-
simtrica e transitiva.
EP 1.8. Seja a Z, mostre que:
(a) Se a 0, ento a 0;
(b) Se a 0, ento a 0;
(c) a
2
0 (terminologia usual: todo quadrado no negativo);
(d) 1 > 0;
(e) Se a < b, ento a > b.
EP 1.9. Sejam a, b, c, d Z, prove que:
(a) Se a b e c 0, ento ac bc;
(b) Se c > 0 e ac < bc, ento a < b;
(c) Se a b e c 0, ento ac bc;
(d) Se c < 0 e ac > bc, ento a < b;
(e) a
2
ab + b
2
0 (dica: separar em casos, por exemplo: a, b 0);
(f) Se ab > 0, ento a > 0 e b > 0 ou a < 0 e b < 0;
(g) Se 0 a b e 0 c d, ento ac < bd;
(h) Se 0 a < b e 0 < c d, ento ac < bd;
(i) Se a < b, ento a
2
< b
3
. verdade que, se a < b, ento a
2
< b
2
?
EP 1.10. Mostre que a equao x
2
+ 1 = 0 no tem soluo emZ.
1.3 O Princpio da Induo Completa
As cincias naturais utilizamo mtodo chamado induo emprica para formular leis que devemreger deter-
minados fenmenos a partir de um grande nmero de observaes particulares, selecionadas adequadamente.
Esse tipo de procedimento, embora no seja uma demonstrao de que um dado fato logicamente verdadeiro,
freqentemente satisfatrio. A validade de um teorema matemtico se estabelece de forma totalmente difer-
ente.
Vericar que uma certa armao verdadeira num grande nmero de casos particulares no permitir
concluir que ela vlida. Por exemplo, considere a expresso p(n) = n
2
n + 41 e considere a seguinte ar-
mao: para cada inteiro positivo n o valor p(n) um nmero primo. Para n = 1 temos p(1) = 41, da mesma forma
p(2) = 43 e p(3) = 47, so nmeros primos, e que, comum pouco de pacincia, poder vericar que a armao
verdadeira para os primeiros 40 valores de n, pois p(41) = 41 41, que no um nmero primo.
16

Adriano Cattai
Anlise Real
Se nos deparssemos com a frmula
1 + 2 + 3 + . . . + n =
n(n + 1)
2
,
como vericar sua validade? Evidentemente, impossvel demonstr-la em todos os casos particulares.
Para demonstrar a verdade desse tipo de proposio, que na realidade uma seqencia innita de proposies,
uma para cada inteiro positivo, introduziremos o chamado mtodo de recorrncia ou da induo completa.
Nota 4. Conta a histria sobre Carl Friederich Gauss quando ainda garoto. Na escola, o professor, para
aquietar a turma de Gauss, mandou os alunos calcularema soma de todos os nmeros naturais de 1 a 100.
Qual no foi a surpresa quando, logo em seguida, o menino deu a resposta 5.050. Indagado como tinha
descoberto to rapidamente o resultado, Gauss, ento com nove anos de idade, descreveu o mtodo, como
segue:
S
n
= 1 + 2 + 3 + . . . + n.
Somando a igualdade acima, membro e membro, com ela mesma, porm com as parcelas do segundo
membro em ordem invertida, temos que
S
n
= 1 + 2 + 3 + . . . + n
S
n
= n + (n 1) + (n 2) + . . . + 1
2S
n
= (n + 1) + (n + 1) + (n + 1) + . . . + (n +1)
Da segue que 2S
n
= n(n +1), e, portanto
S
n
=
n(n + 1)
2
.
1.15 Teorema. Sejam a um inteiro dado e S um conjunto de inteiros maiores ou iguais a a, que tem as seguintes
propriedades:
(i) a S;
(ii) Se um inteiro k a pertence a S, ento k +1 tambm pertence a s.
Ento S o conjunto de todos os inteiros maiores ou iguais a a.
Prova: Suponhamos que a armao seja falsa. Ento, o conjunto S
dos inteiros maiores ou iguais a

a que no pertencem a S seria no-vazio (e limitado inferiormente por a). Como todo conjunto limitado
inferiormente tem mnimo, existe um m que p mnimo de S
. Como a S, certamente a < m, logo a

m1 < m. Temos ainda que m1 < m = min(S
), logo m1 , S
, isto , m1 S. Conforme (ii), teremos

ento que m = (m1) + 1 S, uma contradio, j que m S
.
1.16 Corolrio (Princpio da Induo Completa). Seja a um inteiro dado. Suponhamos que para cada inteiro
n a est dada uma armao P(n) de forma que:
(i) P(a) verdadeira;
(ii) Se, para um inteiro k a, P(k) verdadeira, ento P(k + 1) verdadeira.
Ento a armao P(n) verdadeira para todo inteiro n a.
17
UNEB 2009.1
Prova: Basta considerar o conjunto S dos inteiros n a para os quais P(n) verdadeira e vericar que
est nas condies do teorema anterior. Assim, S contm todos os inteiros maiores ou iguais a a e segue a tese.
Exemplo 1.1. Provaremos agora que a frmula 1 + 2 +3 + . . . + n =
n(n +1)
2
verdadeira para todo n N.
Para n = 1 a frmula acima vlida, pois 1 =
1(1 +1)
2
. Deste modo, nossa armao verdadeira para
n = 1. Deveremos mostrar agora que, se a armao verdadeira para n = k, ento tambm verdadeira para
n = k + 1. Assim, estamos admitindo, ento, como hiptese de induo, que 1 + 2 + 3 + . . . + k =
k(k +1)
2

verdadeiro.
Somando k + 1 a ambos os membros dessa igualdade, temos
1 + 2 + 3 + . . . + k + (k +1) =
k(k + 1)
2
+ (k +1) =
k(k +1) +2(k +1)
2
,
isto ,
1 +2 +3 + . . . + k + (k + 1) =
(k + 1)(k + 2)
2
que a frmula correspondente a n = k +1, cuja validade queramos demonstrar.
Exemplo 1.2. Provaremos agora um resultado da geometria plana: a soma dos ngulos internos de um polgono
convexo de n lados
S
n
= (n 2) 180
, n 3.
De fato, para n = 3 temos que o polgono um tringulo e sabemos da geometria elementar que a soma
dos ngulos internos de um tringulo 180
.
Suponhamos a armao vlida para n = k 3, isto , que a soma dos ngulos internos de um polgono
convexo de k lados S
k
= (k 2) 180
e consideremos o polgono convexo a

0
a
2
. . . a
k
com k + 1 lados. O
polgono a
0
a
2
. . . a
k
que se obtm traando o segmento a
0
a
2
tem k lados, conseqentemente, a soma dos seus
ngulos S
k
= (k 2) 180
. Agora, a soma dos ngulos do polgono original ser S

k
mais a soma dos ngulos
do tringulo a
0
a
1
a
2
, isto ,
s
k+1
= S
k
+180
= (k 2) 180
+180
= (k 1) 180
.
Exemplo 1.3. A desigualdade 2n
3
> 3n
2
+3n +1 falsa para n = 1 e n = 2. Porm, para n = 3, temos 54 > 37,
que uma armao verdadeira. Provaremos que 2n
2
> 3n
2
+ 3n +1, n 3.
Suponhamos, ento, que a armao verdadeira para n = k 3, isto , que 2k
3
> 3k
2
+ 3k + 1
verdadeira. O que deveremos fazer que a armao tambm verdadeira para n = k +1, isto , que
2(k +1)
3
> 3(k + 1)
2
+3(k +1) +1.
Temos que
2(k +1)
3
= 2(k
3
+3k
2
+3k + 1) = 2k
3
+ 6k
2
+ 6k +2.
18

Adriano Cattai
Anlise Real
Usando a hiptese de induo, vem
2(k +1)
3
> 3k
2
+ 3k +1 +6k
2
+6k + 2
= 3(k
2
+2k + 1) + 3k +6k
2
= 3(k + 1)
2
+3k + 6k
2
.
Como k 3, temos que 6k
2
54 > 3 +1 e substituindo na frmula acima obtemos:
2(k + 1)
3
> 3(k +1)
2
+ 3k +3 +1 = 3(k +1)
2
+ 3(k + 1) + 1,
como queramos demonstrar.
Exemplo 1.4. Este exemplo ilustra o primeiro registro da utilizao do Princpio da Induo Matemtica, feita
por Francesco Maurolycus em 1575. Trata-se da determinao de uma frmula exata em funo de n 1 para a
soma dos n primeiros nmeros naturais mpares. Ou seja, busca-se uma frmula para
S
n
= 1 + 3 + 5 + . . . + (2n 1).
Vamos calcular S
n
para alguns valores de n:
S
1
= 1, S
2
= 1 +3 = 4, S
3
= 1 + 3 + 5 = 9, S
4
= 1 +3 +5 +7 = 16, S
5
= 1 +3 +5 +7 +9 = 25.
Os casos particulares acima nos conduzem a conjecturar que S
n
= n
2
. Mas como ter certeza de que no
estamos cometendo um engano? Bom, o nico jeito usar a induo matemtica.
Denamos p(n) : S
n
= n
2
. Temos p(1) : S
1
= 1 = 1
2
, portanto verdade. Suporemos p(k), k 1 verdade,
isto , 1 + 3 + 5 + . . . + (2k 1) = k
2
a nossa hiptese de induo. Mostraremos que p(k + 1) tambm
verdade.
Somando 2k +1 a ambos os lados de 1 +3 +5 + . . . + (2k 1) = k
2
, obtemos
1 +3 + 5 + . . . + (2k 1) + (2k +1) = k
2
+ (2k + 1) = (k + 1)
2
,
ou seja, temos S
k+1
= (k +1)
2
, o que nos diz que p(k +1) verdade.
1.3.1 Mtodo da Recorrncia
Antes de concluir esta seo vamos observar que a induo completa fornece tambm um mtodo para
denir novos conceitos, o chamado mtodo da recorrncia.
Por exemplo, dado um inteiro a podemos denir potncia de a de expoente positivo da seguinte forma:
(i) a
1
= a;
(ii) Para cada inteiro positivo n, denimos a
n+1
= a a
n
.
Este par de condies d uma regra que especica o signicado do smbolo a
n
para cada inteiro n 1. Por
conveno, deniremos a
0
= 1.
O mtodo de recorrncia tambm usado para denir o smbolo n! (fatorial de n). Denimos:
(i) 1! = 1;
19
UNEB 2009.1
(ii) Para cada inteiro positivo n 2, denimos n! = n (n 1)!.
Assim, temos n! como o produto de todos os fatores positivos menores ou iguais a n. Dene-se, 0! = 1.
1.17 Proposio. Sejam a e b dois inteiros. Para quaisquer m e n inteiros no negativos, temos que:
(i) a
m
a
n
= a
m+n
; (ii) (a
m
)
n
= a
mn
; (iii) (a b)
n
= a
n
b
n
.
Prova: Provaremos apenas (i). Fixemos a e m arbitrariamente e demonstraremos a relao por induo
sobre n. Temos claramente, pelas denies, que
a
m
a
1
= a
m
a = a
m+1
.
Por outro lado, supondo que a
m
a
n
= a
m+n
, temos que
a
m
a
n+1
= a
m
(a
n
a) = (a
m
a
n
) a = a
m+n
a = a
m+n+1
.
Isto, pelo princpio de Induo Matemtica, prova a nossa propriedade.
EP 1.11. Mostre as seguintes frmulas por induo:
(a) 1
2
+ 2
2
+ 3
2
+ . . . + n
2
=
n(n +1)(2n +1)
6
;
(b) 1
3
+2
3
+ . . . + n
3
=
_
n(n +1)
2
_
2
;
(c) 1
3
+ 2
3
+ . . . + n
3
= (1 +2 + . . . + n)
2
;
(d)
1
1 2
+
1
2 3
+ . . . +
1
n(n + 1)
=
n
n +1
;
(e)
1
1 2 3
+
1
2 3 4
+ . . . +
1
n(n +1)(n + 2)
=
n(n +3)
4(n +1)(n +2)
.
EP 1.12. Ache uma frmula para cada uma das somas seguintes:
(a) 2 +4 + . . . +2n;
(b) 2 + 5 + 8 + . . . + (3n 1);
(c) 2 +4 +8 + . . . +2
n
;
(d)
1
2
+
1
4
+
1
8
+ . . . +
1
2
n
.
EP 1.13. Mostre por induo que:
(a) 2
n
> n, para todo n N;
(b) n! > 2
n
, para todo n N1, 2, 3;
(c) n! > n
2
, para todo n N1, 2, 3;
(d) n! > n
3
, para todo n N1, 2, 3, 4, 5;
(e) n! > 3
n
, para todo n N1, 2, 3, 4, 5, 6;
(f) n < 2
n
, para todo n N;
(g)
1 x
n+1
1 x
= 1 + x + . . . + x
n
se x ,= 1;
(h) (1 + x)
n
1 + nx +
n(n 1)
2
x
2
se x 0;
(i) (1 + x)
2n
> 1 +2nx se x ,= 0.
EP 1.14. Sejam m, n Z. Decidir se as armativas abaixo so verdadeiras ou falsas:
(a) (mn)! = m!n!, para todo m, n 1; (b) (m + n)! = m! + n!, para todo m, n 1.
EP 1.15. Sejam a e b inteiros e n um natural. Provar que:
(a) Se n mpar e a
n
= b
n
, ento a = b;
(b) Se n par e a
n
= b
n
, ento a = b;
20

Adriano Cattai
Anlise Real
(c) Se a e b so positivos e a
n
< b
n
, ento a < b.
EP 1.16. Seja x um nmero natural. Demonstrar que (1 + x)
n
> 1 + nx, para todo n 2.
EP 1.17. Prove que, traando n retas num plano, no se pode dividi-lo em mais de 2
n
partes.
Captulo 2
Conjuntos Finitos, Enumerveis e
No-Enumerveis
2.1 Conjuntos Finitos
Para o nosso propsito, quanto ao nmero de elementos de um conjunto, necessrio apenas distinguir trs
tipos de conjuntos: os nitos, os enumerveis e os no-enumerveis. A noo de conjunto enumervel est es-
treitamente ligada ao conjunto Ndos nmeros naturais, em que os empregamos para a contagem dos conjuntos
nitos, mostrando como eles podem ser considerados como nmeros cardinais e completando, portanto, sua
descrio.
Como vimos no incio, o conjunto N o conjunto usado para contagens. Quando queremos contar, por
exemplo, o nmero de integrantes do grupo Os Trs Mosqueteiros procedemos da seguinte maneira. A cada
integrante associamos um elemento do conjunto N, seguindo a sua ordem usual:
DArtagnan 1, Athos 2, Porthos 3, Aramis 4.
Acabamos de denir uma funo injetiva do conjunto A = Os Trs Mosqueteiros no conjunto N, de
modo que (DArtagnan) = 1, (Athos) = 2, (Porthos) = 3 e (Aramis) = 4. Bastava tomar o conjunto
I
4
= 1, 2, 3, 4 como contra-domnio que f ainda seria injetiva. Porm, isto no seria possvel se I
4
fosse
1, 2, 3 pois, neste caso, pelo menos um elemento de I
4
estaria associado a mais de um msico (e portanto f no
seria injetiva). De fato, 4 o menor nmero n tal que o conjunto 1, . . . , n possa ser contra-domnio sem que
deixe de ser injetiva.
Vejamos outro exemplo de contagem. Um professor vai aplicar uma prova e no tem certeza se a sala desti-
nada a este feito tem um nmero 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 bvia a este mtodo pedir aos
alunos que se acomodem e trs coisas podem acontecer ao nal do processo:
(i) existem alunos de p e todas as cadeiras esto ocupadas;
(ii) existem cadeiras livres e todos os alunos esto sentados;
(iii) todos os alunos esto sentados e todas as cadeiras esto ocupadas.
No primeiro, caso temos que o nmero de alunos maior que o de cadeiras; no segundo caso, ocorre o con-
trrio e, nalmente, no terceiro eles so iguais. Obtemos, assim, a resposta pergunta qual conjunto tem
mais elementos? sem necessariamente conhecer os nmeros de elementos dos conjuntos envolvidos. Estas
consideraes motivam a seguinte denio.
21
UNEB 2009.1
Notao! Indicaremos pelo smbolo I
n
o conjunto 1, 2, . . . , n dos nmeros naturais, desde 1 at n.
Mais precisamente, dado n N, temos
I
n
= p N; 1 p n.
Estas consideraes nos levam s seguintes denies.
2.1 Denio. Seja A um conjunto no-vazio. Se existe n Ne uma funo injetiva : A I
n
diremos que A
nito; caso contrrio, A innito. O menor nmero n que verica esta propriedade dito nmero de elementos
de A e escrevemos #A = n. Diremos tambm que o conjunto vazio nito e que seu nmero de elementos
zero.
2.2 Denio. Sejam A e B dois conjuntos no-vazios. Dizemos que A e B tm a mesma cardinalidade ou que
a cardinalidade de A igual de B e escrevemos #A = #B, se existe uma bijeo : A B. Caso contrrio
dizemos que eles no tm a mesma cardinalidade ou que suas cardinalidades so diferentes e escrevemos #A ,=
#B.
2.3 Denio. Sejam A e B conjuntos no-vazios. Se existe funo injetiva : A B, ento dizemos que a
cardinalidade de A menor ou igual de B e escrevemos #A #B. Se existe uma funo sobrejetiva : A B,
ento dizemos que a cardinalidade de A maior ou igual de B e escrevemos #A #B.
Observamos que o nmero de elementos de um conjunto nito A no vazio bem denido graas ao Princ-
pio da Boa Ordem. De fato, o conjunto dos nmeros n Nque vericam a propriedade existe funo injetiva
: A I
n
um subconjunto no vazio (pois A nito) de Ne, portanto, possui um elemento mnimo.
Os seguintes fatos decorrem imediatamente das denies:
(i) Cada conjunto I
n
nito e possui n elementos, ou seja #I
n
= n;
(ii) Se : A B uma bijeo, um desses conjuntos nito se, e somente se, o outro .
Intuitivamente, uma bijeo : I
n
A signica uma contagem dos elementos de A. Pondo (1) =
a
1
, (2) = a
2
, . . . , (n) = a
n
, temos A = a
1
, a
2
, . . . , a
n
. Esta a representao ordinria de um conjunto
nito.
Para que o nmero de elementos de um conjunto no seja uma noo ambgua devemos provar que, se
existem duas bijees : I
n
A e : I
m
A, ento m = n. Considerando a funo composta =
1
: I
n
I
m
, basta ento provar que, se existe uma bijeo : I
n
I
m
, ento m = n. Para xar idias,
suponhamos m n. Da, I
m
I
n
. A unicidade do nmero de elementos de um conjunto nito ser, portanto,
uma conseqncia da proposio mais geral seguinte.
2.4 Teorema. Seja A I
n
. Se existir uma bijeo : I
n
A, ento A = I
n
.
Prova: Veja, por exemplo, em Elon volume 01.
Como conseqncia desta, temos:
2.5 Corolrio. No pode existir uma bijeo : A B de um conjunto nito A sobre uma parte prpria B A.
2.6 Teorema. Se A um conjunto nito ento todo subconjunto B A nito. O nmero de elementos de B
no excede o de A e s igual quando B = A.
22

Adriano Cattai
Anlise Real
Prova: Aprova deste teorema decorrente da induo completa combinado com o teorema anterior. Veja,
por exemplo, em Elon volume 01.
2.7 Corolrio. Seja : A B uma funo injetiva. Se B for nito ento A tambm ser. Alm disso, o nmero
de elementos de A no excede o de B.
2.8 Proposio. Sejam A e B dois conjuntos no-vazios. Ento #A #B se, e somente se, #B #A.
Suponhamos #A #B e mostremos que #B #A. Por denio, existe uma funo injetiva : A B.
Para concluir, devemos mostrar que existe funo sobrejetiva : B A. Fixemos um elemento y
0
A. Para
todo x B denimos (x) da seguinte maneira. Se x , (A) tomamos (x) = y
0
, seno, se x (A), ento,
pela injetividade de , existe um nico y A tal que (y) = x. Neste caso, tomamos (x) = y.
Mostremos que sobrejetiva. Seja y A e x = (y). Temos x (A) e, por denio de , segue que
(x) = y. Mostremos agora a recproca, isto , que se #B #A, ento #A #B. Por hiptese, existe uma
funo sobrejetiva : B A. Logo, para todo y A podemos escolher x B tal que (x) = y. Denimos
(y) = x. Mostremos que injetiva. Se (y
1
) = (y
2
) (com y
1
, y
2
A), ento y
1
= ((y
1
)) = ((y
2
)) =
y
2
.
Verique! Se #A #B e #B #A, ento #A = #B.
Exemplo 2.1.
(a) Seja A um conjunto no vazio. evidente que #A = #A, pois a funo identidade Id : A A dada por
Id(x) = x para todo x A uma bijeo.
(b) Sejam A e B dois conjuntos no-vazios, com A B. Obviamente #A #B, pois a funo Id : A B dada
por Id(x) = x para todo x A injetiva.
No exemplo seguinte vamos mostrar que a cardinalidade do conjunto N a mesma do conjunto Z.
Exemplo 2.2. Escrevendo Z = 0, 1, 1, 2, 2, 3, 3, . . . uma bijeo de : N Z nos salta aos olhos. Ela
dada por (1) = 0, (2) = 1, (3) = 1, (4) = 2, (5) = 2, (6) = 3, . . . , mais precisamente,
(n) =
_
_
_
m, se n = 2m, m = 1, 2, 3, . . .
m, se n = 2m +1, m = 0, 1, 2, . . .
Assim, conclumos que #N = #Z.
Exemplo 2.3. verdade que #N
2
= #N. De fato, #N #N
2
, pois a funo : N N
2
dada por (n) = (n, n)
claramente injetiva. Por outro lado, vejamos que #N
2
#N. Pela unicidade da fatorao de naturais como
produto de primos (Teorema Fundamental da Aritmtica), temos que a funo : N
2
Ndada por (m, n) =
2
m
3
n
injetiva. Outra demonstrao, bastante popular, para #N
2
= #N obtida atravs do esquema mostrado
na gura abaixo.
Uma bijeo : N N
2
denida seguindo as setas da seguinte maneira:
(1) = (1, 1), (2) = (1, 2), (3) = (2, 1), (4) = (1, 3), (5) = (2, 2), . . .
Denimos anteriormente conjunto innito como sendo o conjunto que no nito. Explicitaremos esse
fato. O conjunto A innito quando no vazio e, alm disso, seja qual for o n N, no existe uma bijeo
: I
n
A.
23
UNEB 2009.1
Por exemplo, o conjunto Ndos nmeros naturais innito. De fato, dada qualquer funo : I
n
N, seja
p = (1) + (2) + . . . + (n). Ento p > (x), para todo x I
n
, donde p , (I
n
). Logo, nenhuma funo
: I
n
N sobrejetiva.
Outra maneira de vericar que N innito considerar o conjunto P = 2, 4, 6, . . . dos nmeros pares e
denir a bijeo : N P, em que (n) = 2n. Como P uma parte prpria de N, segue-se do corolrio 2.5
que Nno nito
Os fatos vistos acima sobre conjuntos nitos fornecem, por excluso, resultados sobre conjuntos innitos.
Por exemplo, se : A B injetiva e A innito, ento B tambm .
Outros exemplos de conjuntos innitos so Ze Q, pois ambos contmo conjunto N. Segundo uma proposio
devida a Euclides, o conjunto dos nmeros primos innito.
2.9 Denio. Um conjunto A N chama-se limitado quando existe um m N tal que m n seja qual for o
n A.
Caracterizaremos agora os subconjuntos nitos de N.
2.10 Teorema. Seja A Nno-vazio. As seguintes armaes so equivalentes:
(a) A nito;
(b) A limitado;
(c) A possui um maior elemento.
Prova: Ver, por exemplo, em Elon volume 01.
Um conjunto A N chama-se ilimitado quando no limitado. Isso signica que, dado qualquer m N,
existe algum n N tal que n > m. Os conjuntos ilimitados A N so, como acabamos de ver, precisamente
os subconjuntos innitos de N.
2.11 Teorema. Sejam A e B conjuntos disjuntos tais que #A = m e #B = n. Ento, A B nito e #(A B) =
m + n.
Prova: Dadas as bijees : I
m
A e : I
n
B, denamos a funo : I
m+n
A B pondo
(x) = (x) se 1 x m e (m + x) = (x) se 1 x n. Como A B = , constata-se que uma bijeo.
O corolrio seguinte obtm-se aplicando k 1 vezes o teorema.
2.12 Corolrio. Sejam A
1
, . . . , A
k
conjuntos nitos, disjuntos dois a dois, com #A
i
= m
i
. Ento,
k
_
i=1
A
i
nito e
possui
k
i
m
i
elementos.
Nota 5. Se, no corolrio acima, eliminarmos a hiptese de disjuno dos conjuntos dois a dois, ento
k
_
i=1
A
i
ter no mximo
k
i
m
i
elementos.
2.13 Corolrio. Sejam A
1
, . . . , A
k
conjuntos nitos com#A
i
= m
i
. Ento o produto cartesiano A
1
A
2
. . . A
n
nito e possui
k
i
m
i
elementos.
24

Adriano Cattai
Anlise Real
2.2 Conjuntos Enumerveis e Conjuntos No-Enumerveis
2.14 Denio. Dizemos que umconjunto A enumervel quando nito ou quando existe uma bijeo : A
N (ou : N A). No segundo caso, A diz-se innito enumervel e, pondo-se a
1
= (1), a
2
= (2), . . . , a
n
=
(n), . . ., tem-se A = a
1
, a
2
, . . . , a
n
, . . .. Cada bijeo : N A chama-se uma enumerao (dos elementos)
de A.
Nota 6. Temos que A ,= enumervel se, e somente se, #A #N.
Exemplo 2.4. A bijeo : N P, denida por (n) = 2n, mostra que o conjunto P dos nmeros pares
innito enumervel. Analogamente, : n 2n 1 dene uma bijeo de N sobre o conjunto dos nmeros
naturais mpares, o qual , portanto, innito enumervel.
Exemplo 2.5. O conjunto Z dos nmeros inteiros innito enumervel. Basta notar que a funo : Z N,
denida por
(n) =
_
_
_
2n, se n > 0
2n + 1, se n 0
uma bijeo. Logo,
1
: N Z uma enumerao para Z. O exemplo 2.2 outra maneira, na verdade
equivalente a esta, de mostrar que Z enumervel.
Nota 7. Q enumervel. Veremos uma demonstrao deste resultado, mais adiante na seo de corpos
ordenados, quando estabelecermos que N Z Q K. Por hora, apresentamos uma gura (abaixo)
ilustrando uma contagem para Q, de uma lista de dupla entrada onde as primeiras coordenadas represen-
tam os numeradores e as segundas coordenadas os denominadores.
(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)
.
.
.
.
.
.
2.15 Proposio. Se A e B so enumerveis, ento A B enumervel.
Prova: Se A = ou B = , ento a proposio imediata. Suponhamos que ambos sejam no-vazios.
Ento, existem funes injetivas : A Ne : B N. Denimos : A B Nda seguinte maneira:
(x) =
_
_
_
2(x), se x A,
2(x) +1, se x BA.
25
UNEB 2009.1
Temos que bem denida e , claramente, injetiva (observe que (A) (B) = pois os elementos de (A)
so nmeros pares, enquanto que os de (BA) so mpares).
Mais geralmente, temos:
2.16 Proposio. Se, para cada n N, A
n
enumervel, ento
_
n=1
A
n
enumervel.
Prova: Sem perda de generalidade, podemos supor que A
n
,= para todo n N. Seja A =
_
n=1
A
n
. Por
hiptese, para cada n N temos que A
n
enumervel, logo, existe
n
: N A
n
sobrejetiva. Vamos mostrar
que a funo
: NN A
(n, m)
n
(m)
sobrejetiva. De fato, se x A, ento existe n N tal que x A
n
. Como f
n
sobrejetiva, existe m N tal
que
n
(m) = x. Segue que (n, m) =
n
(m) = x. No exemplo 2.3 vimos que #N = #N
2
. Portanto, existe
: N N
2
sobrejetiva. Segue que : N A sobrejetiva.
Em outras palavras, o teorema acima diz que: uma reunio enumervel de conjuntos enumerveis um conjunto
enumervel.
2.17 Teorema. Todo subconjunto A N enumervel.
Prova: Se A for nito, enumervel. Se for innito, deniremos indutivamente uma bijeo : N A.
Poremos (1) = menor elemento de A. Suponhamos (1), . . . , (n) denidos de modo a satisfazerem as
seguintes condies:
(a) (1) < (2) < . . . < (n);
(b) pondo B
n
= A (1), . . . , (n), tem-se (n) < x para todo x B
n
Em seguida, notando que B
n
,= (pois A innito) denimos (n + 1) = menor elemento de B
n
. Isto
completa a denio de : N A, de modo a serem mantidas as condies (a) e (b) para todo n N. Segue-
se de (a) que injetiva. Por outro lado, (b) implica que sobrejetiva pois, se existisse algum x A(N),
teramos x B
n
para todo n e, portanto, x > (n), qualquer que fosse n N. Ento o conjunto innito
(N) Nseria limitado, uma contradio, em vista do Teorema 2.10.
2.18 Corolrio. Um subconjunto de um conjunto enumervel enumervel. Ou, se : A B injetiva e B
enumervel, ento A enumervel.
2.19 Proposio. Sejam A e B conjuntos enumerveis. Ento o produto cartesiano A B enumervel.
Prova: Por hiptese existem funes : A N e : B N. Logo : A B NN, dada por
(a, b) = ((a), (b)) injetiva. Assim sendo, pelo fato que NN enumervel (conseqncia do Exemplo
2.3). Segue pelo Corolrio 2.18 que A B enumervel.
2.20 Proposio. Sejam A
1
, . . . , A
n
conjuntos enumerveis, ento A
1
. . . A
n
enumervel.
Prova: Deixamos como exerccio a vericao deste resultado, que pode ser obtida por induo.
26

Adriano Cattai
Anlise Real
Nota 8. O principal exemplo de conjunto no enumervel que veremos o conjunto dos nmeros reais R,
como veremos mais adiante. Cantor mostrou que existem conjuntos no enumerveis, mais geralmente,
dado um conjunto A, sempre existe um conjunto cujo nmero cardinal maior do que o de A.
Um exemplo de conjunto no enumervel considerar o produto cartesiano A
1
A
2
. . . A
n
. . . de
conjuntos A
1
, A
2
, . . . , A
n
, . . . innitos enumerveis.
Captulo 3
Nmeros Reais
Tudo quanto vai ser dito no decorrer deste material se referir a conjuntos de nmeros reais: funes
denidas e tomando valores nesses conjuntos, limites, continuidade, derivadas e integrais dessas funes. Por
isso, vamos estabelecer neste captulo os fundamentos da teoria dos nmeros reais, o conjunto R, como um
corpo ordenado completo.
Enunciaremos os axiomas de corpo para que possamos estabelecer as propriedades dos nmeros reais, que
so decorrentes logicamente dos axiomas de corpo, que enunciaremos. Estes axiomas apresentam o conjunto R
como um corpo ordenado completo. Veremos, aqui, que este conjunto no enumervel.
Vejamos o que um corpo.
3.1 Corpos
Um corpo um conjunto K munido de duas operaes, chamadas adio e multiplicao, que satisfazem a
certas condies, chamadas os axiomas de corpo, abaixo especicadas.
A adio faz corresponder a cada par de elementos x, y K sua soma x + y K, enquanto a multiplicao
associa a esses elementos o seu produto x y K. Os axiomas de corpo so os seguintes:
(A) Axiomas da Adio
(A1) A soma associativa:
x, y, z K; (x + y) + z = x + (y + z).
(A2) A soma comutativa:
x, y K; x + y = y + x.
(A3) A soma tem elemento neutro, designado por 0, isto ,
x K; x +0 = 0 + x = x.
(A4) Qualquer nmero real tem simtrico, isto ,
x K, y K; x + y = y + x = 0.
O simtrico do nmero real x designar-se- x.
3.1 Observao.
27
UNEB 2009.1
(a) A soma x + (y) ser indicada com a notao x y e chamada a diferena entre x e y. A operao (x, y)
x y chama-se subtrao;
(b) Somando-se y a ambos os membros de uma igualdade do tipo x y = z, obtm-se x = y + z. Analoga-
mente, se x = y + z ento, somando-se y a ambos os membros, obtm-se x y = z. Portanto, x y =
z x = y + z;
(c) Do item acima, temos que o 0 nico. Ou seja, se x + = x, para algum x K e para algum K, ento
= x x = 0. Do mesmo modo, todo x K tem somente um simtrico, ou seja, se x + y = 0, ento,
y = 0 x = x;
(d)Temos, tambm, que (x) = x, j que (x) + x = 0;
(e) Finalmente, vale a lei do corte: x + z = y + z x = y, pois basta somar a ambos os membros da primeira
igualdade.
(B) Axiomas da Multiplicao
(M1) O produto associativo:
x, y, z K; (x y) z = x (y z).
(M2) O produto comutativo:
x, y K; x y = y x.
(M3) O produto tem elemento neutro, designado por 1, isto ,
x K, x 1 = 1 x = x.
(M4) Qualquer nmero real no nulo tem inverso multiplicativo, isto ,
x K0, y K; x y = y x = 1.
O inverso do nmero x ,= 0 designar-se- por x
1
ou
1
x
.
3.2 Observao.
(a) Dados x e y em K, com y ,= 0, escreve-se tambm
x
y
em vez de x y
1
. A operao (x, y)
x
y
, denida
para qualquer x e todo y ,= 0 emK, chama-se diviso e o resultado
x
y
o quociente de x por y. No se divide
por zero:
x
0
no tem sentido, assim o zero no possui inverso multiplicativo;
(b) Se y ,= 0, tem-se
x
y
= z x = y z. Da se deduz a utilssima lei do corte:
se x z = y z, ento x = y, desde que z ,= 0;
(c) Se x y = x para todo x K ento, tomando x = 1 obtemos y = 1, garantindo a unicidade do 1. Agora, se
x y = x e no se sabe se x ,= 0, no podemos garantir que y = 1.
Por m, as operaes de adio e multiplicao num corpo K acham-se relacionadas por um axioma, com o
qual ca completa a denio de corpo.
28

Adriano Cattai
Anlise Real
(C) Axiomas da Distributividade
(D1) O produto distributivo relativamente adio, isto ,
x, y, z K; x (y + z) = x y + x z e (y + z) x = y x + z x.
3.3 Observao.
(a) Resulta deste axioma que x 0 = 0 para todo x K, pois
x 0 + x = x 0 + x 1 = x (0 +1) = x 1 = x.
(b) Dados x, y K tais que x y = 0, temos x = 0 ou y = 0. De fato, se x y = 0 e x ,= 0, ento obtemos
x y = x 0 e, por corte, y = 0. Assim, num corpo K, tem-se x y ,= 0 sempre que os dois fatores x e y
forem ambos diferentes de zero.
(c) Podemos, ainda, usar este axioma para a explicao das regras dos sinais da lgebra Elementar:
(x) y = x (y) = (x y):
(x) y + x y = (x + x) y = 0 y = 0 (x) y = (x y).
Analogamente, obtm-se x (y) = (x y).
(x) (y) = x y:
(x) (y) = [x (y)] = [(x y)] = x y.
Em particular (1) (1) = 1.
(d) Dados x, y K tais que x
2
= y
2
, temos que x = y. De fato, x
2
= y
2
implica x
2
y
2
= 0, donde
(x y) (x + y) = 0. Assim x y = 0 ou x + y = 0. No primeiro caso temos x = y e no segundo x = y.
Notao Usa-se a notao (K, +, ) para indicar que K um corpo munido das operaes + e .
Exemplo 3.1. O conjunto dos nmeros racionais, representado por Q, denido por
Q :=
_
p
q
; p, q Z e q ,= 0
_
com as operaes
p
q
+
p
=
p q
+ p
q
q q
e
p
q

p
=
p p
q q
um corpo. O 0
0
q
para qualquer q ,= 0. O simtrico
aditivo de
p
q

p
q
e, o inverso multiplicativo do nmero racional
p
q
,= 0
q
p
.
Exemplo 3.2. O conjunto Q(t), das funes racionais r(t) =
p(t)
q(t)
, onde p e q so polinmios com coecientes
racionais, sendo q no identicamente nulo um corpo. Verique.
Exemplo 3.3. O conjunto Z
2
= 0, 1, formado apenas de dois elementos distintos 0 e 1, com as operaes
0 + 1 = 1 + 0 = 1, 0 + 0 = 1 + 1 = 0, 0 0 = 0 1 = 1 0 = 0 e 1 1 = 1 um corpo. Aqui, o simtrico de cada
elemento ele prprio e o inverso tambm.
29
UNEB 2009.1
3.1.1 Corpos Ordenados
Um corpo ordenado um corpo K, no qual se destacou um subconjunto P K, chamado o conjunto dos
elementos positivos de K, tal que as seguintes condies so satisfeitas:
(P1) A soma e o produto de elementos positivos so positivos. Ou seja,
x, y P x + y P e x y P;
(P2) Dado x K, exatamente uma das trs alternativas ocorre:
x = 0, ou x P ou x P.
Indicamos por P o conjunto dos elementos x, tal que x P. Assim, K = P 0 (P), em que
signica unio disjunta. Os elementos de P chamam-se negativos. Note que, num corpo ordenado, se a ,= 0,
ento a
2
P. De fato, sendo a ,= 0, temos a P ou a P. No primeiro caso, a
2
= a a P e, no segundo,
a
2
= (a) (a) P. Em particular, num corpo ordenado K, 1 1 = 1 sempre positivo e 1 no quadrado
de elemento algum.
Exemplo 3.4.
(a) Q um corpo ordenado, no qual o conjunto P formado pelos nmeros racionais
p
q
tais que p q N.
Intuitivamente, p e q tm o mesmo sinal.
(b) O corpo Q(t) pode ser ordenado chamando-se uma frao r(t) =
p(t)
q(t)
positiva quando, no polinmio p q,
o coeciente do termo de mais alto grau for positivo. O conjunto P das fraes positivas, segundo esta
denio, cumpre as condies (P1) e (P2).
Nota 9. O corpo Z
2
no pode ser ordenado, pois 1 + 1 = 0 enquanto num corpo ordenado 1 deve ser
sempre positivo e a soma 1 + 1, de dois elementos positivos deveria ser ainda positiva.
3.1.2 Relao de Ordem
Num corpo ordenado K, escrevemos x < y, e diremos que x menor do que y, para signicar que y x P,
ou seja, que y = x + z, onde z P. Do mesmo, escreve-se tambm y > x e diz-se que y maior do que x. Em
particular x > 0 signica que x P, isto , x positivo, enquanto que x < 0 quer dizer que x negativo, ou
seja, x P. Se x P e y P, tem-se sempre que x > y.
3.4 Proposio. Seja K um corpo ordenado. Ento, a relao < goza das seguintes propriedades:
(i) Transitividade: se x < y e y < z, ento x < z;
(ii) Tricotomia: dados x, y K, ocorre exatamente uma das alternativas:
x = y, ou x < y, ou y < x
(iii) Monotonicidade da Adio: se x < y, ento x + z < y + z, z K;
(iv) Monotonicidade da Multiplicao: se x < y, ento x z < y z quando z > 0 e x z > y z quando z < 0.
30

Adriano Cattai
Anlise Real
Prova: Consulte seu material online!
Num corpo ordenado K, escreve-se x y para signicar x < y ou x = y, em que l-se: x menor do que ou
igual a y. Do mesmo modo, escreve-se y x. Isto quer dizer efetivamente que y x P 0. Os elementos
de P 0 chamam-se no-negativos e so caracterizados pela relao x 0.
3.5 Denio. Uma relao _ num corpo (K, +, ) dita relao de ordem total ou, simplesmente, relao de ordem
se valem as seguintes propriedades.
(i) Ela transitiva: se x _ y e y _ z, ento x _ z;
(ii) Ela anti-simtrica: se x _ y e y _ x, ento x = y;
(iii) Ela completa: x, y K temos x _ y ou y _ x;
(iv) A adio montona: se x _ y, ento x + z _ y + z, z K;
(v) A multiplicao montona: se x _ y, ento x z _ y z quando z _ 0 e x z _ y z quando z _ 0.
3.6 Proposio. Seja K um corpo ordenado. Ento, a relao uma relao de ordem.
Prova: Deixamos como exerccio.
Importante! Num corpo ordenado K, como 1 > 0, temos 1 < 1 + 1 < 1 + 1 + 1 < . . . e o subconjunto
de K formado por estes elementos , portanto, innito. Assim, podemos ver que o conjunto dos
nmeros naturais Nest imerso emK, isto N K.
Como estamos fazendo, os simtricos n dos elementos n N e mais o zero (0 K) con-
stituem o conjunto Z. Assim temos N Z Q K.
Assim, podemos provar a seguinte proposio.
3.7 Proposio. Q enumervel.
Prova: Mostraremos que #N = #Q. Como N Z Q, temos que #N #Q. Assim, precisamos mostrar
que #N #Q. A denio de nmero racional diz que a funo : Z N Q dada por (m, n) =
m
n
sobrejetiva. Pelo exemplo 2.5, temos que Z enumervel, e a Proposio 2.19 diz que Z N tambm
enumervel. Logo, existe : N Z N sobrejetiva. Terminamos a demonstrao observando que
: N Q sobrejetiva.
Mdulo ou Valor Absoluto
A relao de ordem emK permite-nos denir o valor absoluto, ou mdulo, de um nmero x K, vejamos.
3.8 Denio (Mdulo ou Valor Absoluto). O mdulo ou valor absoluto de um nmero x K denido por:
[x[ =
_
_
_
x, se x 0;
x, se x < 0.
A noo de valor absoluto de muita importncia em Anlise. Por isso, preciso ter em mente algumas de
suas propriedades e a sua denio.
31
UNEB 2009.1
Fique atento! O valor absoluto de x o maior dos nmeros x e x. Assim, outra maneira de se denir o
valor absoluto consiste em pr:
[x[ = maxx, x.
Quando x = 0 tem-se, claro, x = x = [x[ = 0. Temos, portanto, que
[x[ 0 e [x[ x [x[.
Mais geralmente, temos:
3.9 Teorema. Sejam x e a elementos de um corpo ordenado K. So equivalentes:
(i) a x a; (ii) x a e x a; (iii) [x[ a.
3.10 Corolrio. Dados a, b, x K, tem-se [x a[ b se, e somente se, a b x a + b.
Em particular, temos as seguintes equivalncias, que sero utilizadas amplamente no estudo dos limites e
das funes contnuas:
x (a , a + ) a < x < a + [x a[ < .
Se representarmos geometricamente os elementos de um corpo ordenado como pontos de uma reta, o valor
absoluto [x a[ signica a distncia do ponto x ao ponto a. As equivalncias acima exprimem o fato de que o
intervalo aberto (a , a + ), de centro a e raio , formado pelos pontos x cuja distncia a a menor do que .
K
( ) [ [
a
a a +
x
3.11 Teorema. Para elementos arbitrrios de um corpo ordenado K, valem:
(i) [x y[ = [x[ [y[;
(ii) [x + y[ [x[ +[y[;
(iii) [x[ [y[ [[x[ [y[[ [x y[;
(iv) [x z[ [x y[ +[y z[.
Prova:
(i) Note que, seja qual for x K, temos x
2
= [x[
2
, pois [x[ um dos elementos x ou x e vale x
2
= (x)
2
.
Logo
[x y[
2
= (x y)
2
= x
2
y
2
= [x[
2
[y[
2
= ([x[ [y[)
2
.
Segue-se da que [x y[ = [x[ [y[. Como [x y[ e [x[ [y[ so ambos positivos, conclumos que [x y[ =
[x[ [y[.
(ii) Temos que, [x[ x [x[ e [y[ y [y[, donde, por adio, ([x[ +[y[) x + y [x[ +[y[. Ou seja,
[x + y[ [x[ +[y[.
(iii) Por (ii), temos [x[ = [(x y) + y[ [x y[ +[y[, o que d [x[ [y[ [x y[. Analogamente, [y[ [x[
[y x[. Claro que [y x[ = [x y[. Conclumos que [y[ [x[ [x y[. Assim, valem, simultaneamente,
32

Adriano Cattai
Anlise Real
[x y[ [x[ [y[ e [x y[ ([x[ [y[). Logo, [[x[ [y[[ [x y[. A outra bvia!
(iv) Esta ltima resulta de (ii) aplicada soma x z = (x y) + (y z).
3.12 Denio.
1. Um subconjunto X de um corpo ordenado K chama-se limitado superiormente quando existe b K tal que
b x para todo x X. Em outras palavras tem-se X (, b]. Cada b com essa propriedade chama-se
conta superior de X.
2. Analogamente, X K diz-se limitado inferiormente quando existe a K tal que x a para todo x X.
Um elemento a K com esta propriedade chama-se conta inferior de X. Tem-se, ento, X [a, +).
3. Um subconjunto X de um corpo ordenado K chama-se limitado quando limitado superiormente e inferi-
ormente, isto , quando existem a, b K tais que X [a, b].
3.13 Proposio. Num corpo ordenado K, so equivalentes:
(i) N K ilimitado superiormente;
(ii) dados a, b K, com a > 0, existe n Ntal que n a > b;
(iii) dados qualquer a > 0 emK, existe n Ntal que 0 <
1
n
< a.
Saiba que... Um corpo ordenado K chama-se arquimediano quando nele vlida qualquer das trs
condies equivalentes citadas na proposio acima.
3.14 Denio.
1. Seja X um subconjunto de um corpo ordenado K limitado superiormente. Um elemento b K chama-se
supremo do conjunto X quando b a menor das cotas superiores de X em K. Usamos a seguinte notao:
b = sup X;
2. Analogamente, um elemento a K chama-se nmo do conjunto limitado inferiormente Y K, quando a
a maior das contas inferiores de Y. Usamos a seguinte notao: a = inf Y.
Nota 10.
b K supremo de um conjunto X K se:
(S1) x X x b;
(S2) c x, x X c b;
(S2) Se c < b ento existe x X tal que c < x < b.
a K nmo de um conjunto Y K se:
(I1) y Y y a;
(I2) c y, y Y c a;
(I2) Se c > a ento existe y Y tal que a < y < c.
33
UNEB 2009.1
Condio (S2) acima, arma que qualquer outra cota superior de um conjunto X deve ser maior do que ou
igual ao sup X. Analogamente, a condio (I2) no diz que qualquer outra cota inferior de um conjunto Y deve
ser menor ou igual ao supY.
Ateno! Se X = ento todo b K cota superior de X. Como no existe menor elemento num
corpo ordenado K, segue-se que o conjunto vazio no possui supremo. O mesmo se aplica para
nmo.
3.15 Observao. Se um conjunto X K possuir elemento mximo, este ser o seu supremo, e, se possuir
elemento mnimo, ele ser seu nmo. Reciprocamente, se sup X pertence a X ento o maior elemento de X e,
se inf X pertencer a X, ser o seu menor elemento. Em particular, todo subconjunto X K nito possui nmo
e supremos.
Exemplo 3.5.
(a) Sejam os conjuntos X = (, k
1
] e Y = [k
2
, +) com k
1
, k
2
K. Ento k
1
sup X X e k
2
= inf Y Y;
(b) Dados a < b em K, seja X = (a, b) o intervalo aberto com esses extremos. Tem-se inf X = a , X e
sup X = b , X;
(c) Seja Y o conjunto das fraes do tipo
1
2
n
, com n N. Assim, inf Y = 0 , Y e supY =
1
2
Y.
3.1.3 A polmica Descoberta dos Incomensurveis: os Nmeros Irracionais
A insucincia mais grave dos nmeros racionais, para efeitos da Anlise Matemtica, o fato de que alguns
conjuntos limitados de nmeros racionais no possuem supremo (ou nmo). Este fato est ligado inexistncia
de razes quadradas racionais de certos nmeros inteiros, mas uma diculdade que vai muito almdessa falta.
3.16 Denio. Dois segmentos quaisquer so comensurveis se existir um terceiro segmento, menor que os dois
primeiros, tal que cada um deles mltiplo inteiro do menor. Em outras palavras, se a e b so os comprimentos
dos dois segmentos, ento existe um segmento de comprimento c e dois inteiros m e n tais que a = mc e b = nc.
Da conclui-se que
a
b
=
m
n
.
Pitgoras e seus discpulos descobriram o seguinte:
3.17 Lema. No existe um nmero racional cujo quadrado seja igual a 2.
Prova: Suponhamos, por absurdo, que exista o racional
p
q
tal que p e q sejam primos entre si e
_
p
q
_
2
= 2.
Da, temos que p
2
= 2q
2
e, portanto, p
2
par, o que implica que p tambm . Logo, existe um inteiro k tal que
p = 2k. Temos assim 2q
2
= p
2
= 4k
2
e, portanto, q
2
= 2k
2
. Da conclumos que q
2
par e, logo, q tambm .
Provamos que tanto p quanto q so pares, contradizendo o fato, que eles no possuem divisor comum.
Quando se tem um quadrado de lado medido 1, pelo teorema de Pitgoras a medida d de sua diagonal, ao
quadrado, 1
2
+ 1
2
, donde escrevemos d
2
= 2, e ento a medida d

2, um nmero no racional. Temos a
seguinte denio.
3.18 Denio (Nmeros Irracionais). Os nmeros de um corpo ordenado K que no so racionais so denom-
inados de irracionais. Designaremos por I o conjunto dos nmeros irracionais.
34

Adriano Cattai
Anlise Real
Parece que o primeiro nmero irracional descoberto foi o

2. Em geral difcil saber se um dado nmero
irracional ou no, como o caso do nmero . Mas alguns so fceis de demonstrar, como na proposio
abaixo.
3.19 Proposio.
(i) Se p > 1 um inteiro primo, ento
p irracional;
(ii) Se p
1
, . . . , p
n
so inteiros primos distintos, ento
p
1
. . . p
n
irracional;
(iii) A soma (ou diferena) entre um nmero racional e um nmero irracional irracional;
(iv) O produto entre um nmero irracional e um nmero racional diferente de zero irracional.
Cuidado! A soma entre dois nmeros irracionais no necessariamente um irracional. De fato, os
nmero a = 1
2 e b =
2 so irracionais, no entanto a + b = 1 racional.

3.1.4 O Conjunto dos Nmeros Reais
Podemos denir nmero real do seguinte modo:
3.20 Denio (Nmero Real). Nmero Real todo nmero que racional ou irracional. A totalidade dos
nmeros racionais, juntamente com os irracionais, o conjunto R dos nmeros reais.
Observe que os nmeros naturais e os nmeros inteiros so casos particulares de nmeros racionais, de
forma que, quando dizemos que um nmero racional, ca aberta a possibilidade dele ser um nmero inteiro
ou simplesmente um natural.
3.21 Denio (Corpo Ordenado Completo). Um corpo ordenado K chama-se completo quando todo subcon-
junto no-vazio, limitado superiormente, X K, possui supremo emK.
Da denio que acabamos de enunciar segue, imediatamente, que num corpo ordenado completo todo
conjunto no-vazio, limitado inferiormente, Y K, possui nmo emK.
Prova-se tambm que todo corpo ordenado completo arquimediano. A seguir, o axioma fundamental da
Anlise.
Axioma 2. Existe um corpo ordenado completo, R, chamado o corpo dos nmeros reais.
Em todo o restante deste material as nicas propriedades dos nmeros reais que usaremos so aquelas que
decorrem de ser R um corpo ordenado completo. Isto inclui, evidentemente, todas as proposies enunciadas
at aqui sobre corpos e corpos ordenados.
Veremos, agora, que os nmeros irracionais se acham espalhados por toda parte entre os nmeros reais.
Em seguida, veremos que h mais nmeros irracionais do que racionais. Para entendermos o signicado de
espalhados por toda parte, considere a seguinte denio.
3.22 Denio (Conjunto Denso). Um conjunto X R chama-se denso em R quando todo intervalo aberto
(a, b) contm algum ponto de X. Em outras palavras, diremos que o conjunto X de nmeros reais denso em
R quando, dados arbitrariamente a < b emR, for possvel encontrar x X tal que a < x < b.
35
UNEB 2009.1
Exemplo 3.6. Seja X = Z o conjunto dos nmeros reais que no so inteiros denso emR, pois todo intervalo
(a, b) um conjunto innito, enquanto existe no mximo um nmero nito de inteiros n tais que a < n < b.
Logo, qualquer intervalo (a, b) contm elementos de X.
3.23 Teorema. O conjunto Q e o conjunto I = R Q so ambos densos emR.
O teorema abaixo, s vezes chamado Princpio dos Intervalos Encaixados, usado por alguns autores na
denio dos nmeros reais.
3.24 Teorema (dos Intervalos Encaixantes). Seja I
1
I
2
. . . I
n
. . . uma seqencia decrescente de
intervalos limitados e fechados I
n
= [a
n
, b
n
]. A interseo
n=1
I
n
no vazia. Isto , existe pelo menos um
nmero real x tal que x I
n
para todo n N. Mais precisamente, temos

I
n
= [a, b], onde a = sup a
n
e
b = inf b
n
.
Prova: De [a
n
, b
n
] [a
n+1
, b
n+1
] obtemos que a
n
a
n+1
b
n+1
b
n
. Chamemos Seja A = a
n
; n N
e B = b
n
; n N. A limitado, a
1
uma cota inferior e cada b
n
uma cota superior de A. Analogamente, B
tambm limitado. Sejam a = sup A e b = inf B. Como cada b
n
cota superior de A, temos a b
n
para cada
n. Assim, a cota inferior de B e, portanto, a b. Podemos ento escrever:
a
1
a
2
. . . a b . . . b
n
. . . b
2
b
1
.
Conclumos que a e b pertencem a todos intervalos I
n
, donde [a, b] I
n
, para cada n. Logo [a, b]

n=1
I
n
.
Nenhum x < a e y > b pode pertencer a todos os I
n
. De fato, sendo x < a = sup A, existe algum a
n
A tal
que x < a
n
, ou seja, x , I
n
. Do mesmo modo, y > b implica y > b
m
, para algum m, donde y , I
m
. Conclumos
ento que

n=1
I
n
= [a, b].
J vimos que

2 um nmero irracional. Vamos mostrar agora que na verdade existem mais nmeros
irracionais do que racionais. Mais precisamente na prxima proposio mostraremos que #N #R. Como
conseqncia, obtemos #Q < #(RQ). De fato, se fosse #(RQ) #Q = #N, ento, como R = Q (RQ),
teramos #R #N, impossvel!
3.25 Teorema. O conjunto dos nmeros reais R no enumervel, ou seja, #N < #R.
Prova: Devemos mostrar que no existe funo sobrejetiva de N em R ou, de maneira equivalente, que
qualquer funo : N R no sobrejetiva.
Seja : N R e seja I
1
= [a
1
, d
1
] um intervalo fechado tal que (1) , I
1
. Dividimos este intervalo
em trs partes, da seguinte maneira: tomamos b
1
, c
1
I
1
tais que a
1
< b
1
< c
1
< d
1
e assim obtemos
I
1
= [a
1
, b
1
] [b
1
, c
1
] [c
1
, d
1
]. Certamente (2) no pertence a algum destes trs intervalos que denotaremos
I
2
. Repetimos o processo com o intervalo I
2
: o dividimos em trs partes e denimos I
3
como sendo uma destas
partes tal que (3) , I
3
. Continuando indenidamente este processo, construmos uma famlia (I
n
)
nN
de
intervalos fechados tais que I
n
I
n+1
e (n) , I
n
qualquer que seja n N. Pelo teorema anterior existe s tal
que s I
n
para todo n N. Segue imediatamente que s ,= (n) qualquer que seja n N e portanto no
sobrejetiva.
3.26 Corolrio. Todo intervalo no-degenerado de nmeros reais no enumervel.
3.27 Corolrio. O conjunto dos nmeros irracionais no enumervel.
36

Adriano Cattai
Anlise Real
3.2 Noes Topolgicas da Reta
A Topologia o ramo da Matemtica que trata das questes de limite (e/ou proximidade). A Topologia da
Reta, isto , a Topologia de R, bem simples, para no dizer pobre. Nela, os abstratos conceitos da Topologia
Geral ganham formas mais concretas e compreensveis. Poderamos usar estas formas simplicadas em nossa
exposio, porm, preferimos argumentos mais gerais para facilitar a (futura) passagem do leitor ao estudo da
Topologia em contextos mais gerais. Mesmo que o leitor no venha a se especializar em Topologia, para se
aprofundar em Anlise ou Geometria sero necessrios outros conhecimentos que ultrapassam os da Topologia
da Reta.
3.2.1 Conjuntos Abertos
3.28 Denio. Dado um conjunto X R, um ponto x X chama-se ponto interior de X quando existe um
intervalo aberto (a, b) tal que x (a, b) X
3.29 Denio. Dados X R, o conjunto dos pontos x X que so interiores a X ser representado por int X.
Quando a int X diz-se que o conjunto X uma vizinhana do ponto a.
fcil ver que na denio anterior podemos substituir, sem perda de generalidade, o intervalo aberto
arbitrrio por um intervalo da forma (x , x + ) com > 0. Ou, em outros termos, x int X se, e somente se,
> 0 tal que [y x[ < y X.
Ateno! (i) Temos sempre que int X X. Porm a incluso inversa no necessariamente verdadeira.
Tomemos, por exemplo, X = [0, 1]. Temos que 1 , int X pois todo intervalo aberto que
contm 1 tem elementos maiores do que 1 e portanto no est contido em X.
(ii) Se X Y ento int X int Y.
trivial que todo ponto de um intervalo aberto pertence ao interior do intervalo. Ou seja, se X umintervalo
aberto e no vazio, ento int X = X. De maneira geral, temos a seguinte denio.
3.30 Denio. Umsubconjunto A Rchama-se umconjunto aberto quando todos os seus pontos so interiores,
isto , quando int A = A.
Conforme esta denio, temos que X aberto se, e somente se,
x X, > 0 tal que [y x[ < y X.
Para um conjunto ser aberto precisa necessariamente ser um intervalo. Conjuntos que no possuem interva-
los no podem ter conjuntos abertos. Todo conjunto aberto no-enumervel.
Exemplo 3.7. Os conjuntos Q, Z, N no possuem pontos interiores, ou seja, int Q = int Z = int N = . Por-
tanto, no possuem intervalos e nem conjuntos abertos.
Ateno! O conjunto vazio aberto. De fato, negar esta armao signica admitir que int e,
em particular, admitir que existe x .
Exemplo 3.8. O intervalo (a, b) aberto, pois todo ponto c deste intervalo (a, b) um ponto interior.
37
UNEB 2009.1
3.31 Teorema.
(i) Se A R e B R so abertos, ento A B aberto;
(ii) Seja (A
)
L
uma famlia arbitrria de conjuntos abertos A
R. A reunio
A =
_
L
A
um conjunto aberto.
Prova:
(i) Seja x A B. Ento x A e x B e portanto existe
1
> 0 e
2
> 0 tal que (x
1
, x +
1
) A e
(x
2
, x +
2
) B. Seja o menor dos positivos entre
1
e
2
. Ento (x , x +) A e (x , x +) B
e da (x , x + ) A B. Assim, todo ponto x A B interior a A B, logo A B = int(A B).
Conclumos ento que A B um conjunto aberto.
(ii) Seja x A = A
, ento existe L tal que x A
. Como A
aberto, existe um > 0 tal que

(x , x + ) A
. Como A
A, temos que (x , x + ) A. Assim, todo ponto x de A um ponto

interior, logo A um conjunto aberto.
3.32 Corolrio. Interseo nita de conjuntos abertos um conjunto aberto.
Ateno! A interseo innita de abertos no um aberto. De fato, A
n
=
_
1
n
,
1
n
_
, n N, implica
n=1
A
n
= 0, que no aberto.
Pratique! Prove que, para todo X R tem-se int(int X) = int X e conclua que int X um conjunto
aberto.
Prove que int(A B) int A int B e int(A B) = int A int B quaisquer que sejam A e B
subconjuntos de R. Se A = (0, 1] e B = [1, 2), mostre que int(A B) ,= int A int B.
Exemplo 3.9. Seja B R aberto. Ento, para todo x R, o conjunto x + B = x + y, y B aberto.
Analogamente, se x ,= 0, ento o conjunto x B = xy, y B aberto.
Nota 11. Para todo X vale a reunio disjunta R = int X int(R X) T em que T formado pelos
pontos x R tais que toda vizinhana de x contm pontos de X e de R X. O conjunto T chama-se
fronteira de X, que denotamos tambm por X.
3.2.2 Conjuntos Fechados
3.33 Denio. Diz-se que um ponto a aderente ao conjunto X R quando a limite de alguma seqncia de
pontos x
n
X.
Evidentemente, todo ponto a de X aderente a X, basta tomar x
n
= a.
3.34 Denio. Chama-se fecho de um conjunto X ao conjunto X formado por todos os pontos aderentes a X.
38

Adriano Cattai
Anlise Real
Note que: X X;
Se X Y ento X Y.
3.35 Denio. Um conjunto X diz-se fechado quando X = X, isto , quando todo ponto aderente a X pertence
a X.
Exemplo 3.10. Os conjuntos [2, 5] e [3, 1] so fechados.
Exemplo 3.11. O conjunto vazio fechado. De fato, negar esta armao signica admitir que e, em
particular, admitir que existe (x
n
)
nN
.
3.36 Teorema. Um ponto a aderente ao conjunto X se, e somente se, toda vizinhana de a contm algum ponto
de X.
Prova: Seja a aderente a X. Ento a = limx
n
, onde x
n
X para todo n N. Dada uma vizinhana
qualquer V de a temos que x
n
V para todo n sucientemente grande, logo V X ,= .
Reciprocamente, se toda vizinhana de a contm pontos de X, podemos escolher em cada intervalo
_
a
1
n
, a +
1
n
_
, n Num ponto x
n
X. Ento [ x
n
a [<
1
n
, logo limx
n
= a e a aderente a X.
3.37 Corolrio. O fecho de qualquer conjunto um conjunto fechado, ou seja, X = X para todo X R.
Com efeito, se a aderente a X ento todo conjunto aberto A contendo a, contm algum ponto b X. A
uma vizinhana de b, como b aderente a X segue-se que A contm algum ponto de X. Logo, qualquer ponto
a, aderente a X, tambm aderente a X, isto , a X.
Exemplo 3.12. Seja X R limitado, no vazio. Ento a = inf X e b = sup X so aderentes a X. De fato,
para todo n N, podemos escolher x
n
X com a x
n
< a +
1
n
, logo a = limx
n
. Analogamente, v-se que
b = limy
n
, y
n
X. Em particular, a e b so aderentes a (a, b).
Exemplo 3.13. O fecho dos intervalos (a, b), [a, b) e (a, b] o intervalo [a, b].
Exemplo 3.14. Os conjuntos [a, +), (, b] e (, +) = R so conjuntos fechados.
Nota 12. Particularmente, temos que se a = b que d [a, a] = a temos um conjunto fechado.
3.38 Teorema. Um conjunto F R fechado se, e somente se, seu complementar A = R F aberto.
Prova: Seja F fechado e a A, isto , a , F. Como F fechado existe alguma vizinhana V
a
de a que no
contm pontos de F, isto V
a
A. Assim, todo ponto a A interior a A, ou seja, A aberto.
Reciprocamente, se o conjunto A aberto e o ponto a aderente a F = R A ento toda vizinhana de a
contm pontos de F; logo, a no interior a A. Sendo A um conjunto aberto e a , A temos que a F. Assim,
todo ponto a aderente a F pertence a F, logo F fechado.
3.39 Teorema.
(i) Se F
1
e F
2
so fechados ento F
1
F
2
fechado;
39
UNEB 2009.1
(ii) Se (F
)
L
uma famlia de conjuntos fechados, ento a interseco
F =
L
F
um conjunto fechado.
Prova:
(i) Os conjuntos A
1
= R F
1
e A
2
= R F
2
so abertos. Logo, temos que A
1
A
2
= R (F
1
F
2
) aberto,
pois interseco nita de abertos. E assim, como o complementar de F
1
F
2
aberto, este conjunto
fechado.
(ii) Para cada L, o conjunto A
= R F
aberto. Temos que A =

L
A
aberto. Mas A = R F.
Logo, F fechado.
Exemplo 3.15. Todo conjunto nito F = x
1
, x
2
, . . . , x
n
fechado.
Exemplo 3.16. Z um conjunto fechado.
Exemplo 3.17. Existem conjuntos que no so fechados nem abertos, como [a, b) e (a, b].
Exemplo 3.18. Os conjuntos e R so abertos e fechados ao mesmo tempo.
Pratique! Prove que, para todo X R, vale X = X X. Conclua que X fechado se, e somente se,
X X.
3.2.3 Pontos de Acumulao
3.40 Denio. Seja X R e a R, diz-se que a um ponto de acumulao de X quando todo intervalo aberto
de centro a, isto , todo intervalo da forma (a , a + ), com > 0, contm uma innidade de pontos de X.
Em particular, se X tem ponto de acumulao, ento X innito, ou seja, conjuntos nitos no possuem
pontos de acumulao.
Notao: Indica-se por X
o conjunto dos pontos de acumulao de X.

3.41 Teorema. Sejam X R e a R. So equivalentes:
(i) a ponto de acumulao de X;
(ii) a = limx
n
; x
n
X a.
Exemplo 3.19. X =
_
1
n
; n N
_
X
= 0
3.42 Denio. Um ponto a X que no ponto de acumulao de X, um ponto isolado de X, isto , existe
> 0 tal que X (a , a + ) = a.
3.43 Denio. Um conjunto X, no qual todos os seus pontos so isolados, chamado de conjunto discreto.
Exemplo 3.20. Os conjuntos Ne Z so discretos.
40

Adriano Cattai
Anlise Real
3.2.4 Conjuntos Compactos
3.44 Denio (Cobertura). Uma cobertura de um conjunto X uma famlia ( de conjuntos C
tais que
X
_
L
C
.
Quando todos os conjuntos C
so abertos, diz-se que ( uma cobertura aberta. Quando L =

1
, . . . ,
n
um
conjunto nito, diz-se que C
1
. . . C
n
uma cobertura nita. Se L
L tal que ainda se tem X

,
diz-se que (
= (C
L
uma subcobertura de (.
Exemplo 3.21.
(a) Os intervalos C
1
=
_
0,
2
3
_
, C
2
=
_
1
3
, 1
_
e C
3
=
_
1
2
,
9
10
_
constituem uma cobertura aberta para o intervalo
X =
_
1
4
,
3
4
_
, com L = 1, 2, 3, pois X =
_
1
4
,
3
4
_
C
1
C
2
C
3
= (0, 1). Tomando L
= 1, 2, temos a
subcobertura (
= C
1
, C
2
para X, pois X =
_
1
4
,
3
4
_
C
1
C
2
= (0, 1).
(b) Como (0, 1)

n=1
_
1
n
, 1
_
, ento ( =
__
1
n
, 1
__
n=1
uma cobertura aberta de (0, 1).
(c) Se para x R, temos C
x
= (x 1, x + 1), ento ( = C
x
xR
uma cobertura aberta de R.
3.45 Teorema (Borel-Lebesgue). Toda cobertura aberta de umconjunto limitado e fechado possui uma subcober-
tura nita.
Prova: Ver (por exemplo) [2], pgina 54.
Exemplo 3.22.
(a) A reta R, sendo um conjunto fechado, mas ilimitado, possui cobertura aberta (n, n)
nN
, a qual no
admite subcobertura nita. De fato, a reunio de um nmero nito de intervalos (n, n) igual ao maior
deles e, portanto, no pode ser R.
(b) O intervalo (0, 1], sendo um conjunto limitado, mas no fechado, possui a cobertura aberta
__
1
n
, 2
__
nN
,
da qual no se pode extrair uma subcobertura nita porque areunio de um nmero nito de intervalos
da forma
_
1
n
, 2
_
o maior deles e, portanto, no pode conter (0, 1].
3.46 Teorema. As seguintes armaes a respeito de um conjunto K R so equivalentes:
(1) K limitado e fechado;
(2) Toda cobertura aberta de K possui subcobertura nita;
(3) Todo subconjunto innito de K possui ponto de acumulao pertencente a K;
(4) Toda sequncia de pontos de K possui uma subsequncia que converge para um ponto de K.
Prova: Ver (por exemplo) [3], pgina 144.
3.47 Corolrio (Bolzano-Weierstrass). Todo conjunto innito limitado X R possui algum ponto de acumu-
lao.
41
UNEB 2009.1
3.48 Denio (Conjunto Compacto). Umconjunto K Rque cumpre umas das (e portanto todas as) condies
do Teorema 3.46 dito compacto.
Note que! Para mostrar que um determinado conjunto compacto precisamos provas que para toda
cobertura aberta existe subcobertura nita. Para mostar que no compacto basta achar uma
cobertura que no possui subcobertura nita.
Exemplo 3.23.
(a) O conjunto (0, 1) no compacto. De fato, (0, 1)

n=1
_
1
n
, 1
_
, mas se existisse C
n
1
, . . . , C
n
p
tal que
(0, 1)

p
i=1
_
1
n
i
, 1
_
, ento (0, 1)
_
1
M
, 1
_
, em que M = maxn
1
, . . . , n
p
> 0, um absurdo.
(b) Seja K = x
1
, x
2
, . . . , x
n
um conjunto nito em R e seus pontos todos isolados (i.., K discreto) e seja
( = C
L
uma cobertura aberta de K. Para i = 1, 2, . . . , n, seja C
i
( tal que x
i
C
i
(tal conjunto
sempre existe, pois ( uma cobertura de K). Ento C
1
, . . . , C
n
geramuma subcobertura nita para K. Logo
K compacto e, conclumos que todo subconjunto nito compacto;
famlia de intervalos abertos C
x
i
, de centro x
i
, tal que C
x
i
K = x
i
. Esta famlia uma cobertura aberta
de K, pois casa x
i
K pertence a C
x
i
. Assim K compacto, e conclumos que toso conjunto nito
compacto;
(c) Para a < b, os conjuntos (a, b), (a, b] e [a, b) no compactos por no serem fechados. Alm dos conjuntos
(, c] e [c, +), para algum c R. Precisamente, todo conjunto [a, b] compacto;
(d) O conjunto Z no compacto, embora seja fechado, pois ilimitado;
(e) O conjunto R no compacto, conforme exemplo 3.22 (a), ou tambm por no ser limitado.
Nota 13. Se X R compacto, ento a = inf X e b = sup X pertencem a X. Assim, todo conjunto
compacto possui um elemento mximo e um elemento mnimo.
Exemplo 3.24 (O conjunto de Cantor). Este conjunto possui as seguintes propriedades:
1. compacto;
2. Tem interior vazio (no contm intervalos);
3. No contm pontos isolados (todos seus pontos so pontos de acumulao);
4. no-enumervel.
... detalhes (por exemplo) [2], pgina 55.
3.2.5 Conjuntos Densos
3.49 Denio. Sejam A, B R com A B. Dizemos que A denso em B se B A.
Em outros termos, se A B, ento A denso em B se, e somente se, para todo x B, existe (x
n
)
nN
A tal
que x
n
x.
A prxima proposio nos fornece uma condio necessria e suciente para a densidade.
42

Adriano Cattai
Anlise Real
3.50 Proposio. Sejam A, B R. Temos que A denso em B se, e somente se, todo intervalo aberto que contm
algum ponto de B tambm contm algum ponto de A.
Exemplo 3.25. Q denso emR. De fato, sejam a, b R com a < b. Mostremos que (a, b) Q ,= . Se 0 (a, b),
ento no h mais nada a ser demonstrado. Se 0 , (a, b), ento 0 a ou b 0. Consideremos o caso a 0 (o
caso b 0 anlogo). Como R arquimediano, existe n N tal que 0 <
1
n
< a. Seja m N o menor natural
tal que m1 < n a, ou seja, m Nsatisfaz
m1
n
< a <
m
n
.
Para concluir que
m
n
(a, b) Q basta mostrar que
m
n
< b. Suponhamos, por absurdo, que
m
n
> b. Neste caso,
m1
n
< a < b <
m
n
b a <
m
n

m1
n
b a <
1
n
,
contradizendo n >
1
b a
.
Pratique! Seja A = [0, 1) (1, 2] 3. Determine: (a) A; (b) int A; (c) A
; (d) int(A
).
D um exemplo de famlia de abertos cuja interseo no aberta.
D um exemplo de famlia de fechados cuja unio no fechada.
Captulo 4
Sequncias e Sries
Apresentao
Estudaremos os limites de sequncia dos nmeros reais e, em particular, trataremos das sries (ou somas
innitas).
Todos os conceitos e resultados importantes da Anlise Matemtica se referem, quer explcita quer implici-
tamente, a limites. Da o papel central que esta noo desempenha.
Os limites de sequncias de nmeros reais so os mais simples, por isso comearemos por eles. Outros
limites mias sosticados, como por exemplo, derivadas e integrais, sero estudados posteriormente. Do ponto
de vista intuitivo, sugerimos que pense uma sequncia (x
1
, x
2
, . . . , x
n
, . . .) de nmeros reais como uma sequncia
de pontos da reta e no seu limite, que deniremos a seguir, como um ponto do qual os pontos x
n
tornam-se
arbitrariamente prximos, desde que se tome o ndice n sucientemente grande. Um resultado crucial para
justicar essa imagem geomtrica :
Dados o nmeros reais a, x, , com > 0, as trs armaes seguintes so equivalentes:
[x a[ < , a < x < a + , x pertence ao intervalo (a , a + ).
Assim, o intervalo aberto (a , a + ), que chamaremos o intervalo aberto de centro a e raio , formado pelos
pontos cuja distncia ao ponto a menor do que . Analogamente, os pontos x do intervalo [a , a + ] so
caracterizados pela propriedade de estarem situados a uma distncia menor do que ou igual a do centro a, ou
seja, [x a[ .
43
UNEB 2009.1
Outra considerao importante que fazemos: quando X N um conjunto innito, costuma-se dizer que X
contm nmeros naturais arbitrariamente grandes. Isto quer dizer que, dado qualquer n
1
N, existe n X
tal que n > n
1
. Em particular, se existir um nmero n
o
Ntal que X contm todos os nmeros naturais n > n
0
,
ento X innito.
4.1 Sequncias e Subseqncias
4.1 Denio. Uma seqncia de nmeros reais uma funo x : N R para a qual denotamos o valor de x
em n por x
n
em vez de x(n).
Geralmente usamos a notao (x
n
)
nN
para representar uma seqncia x : N R. s vezes a notaremos
tambm por (x
1
, x
2
, . . . , x
n
, . . .). Dizemos que x
n
o termo de ordem n ou que x
n
o n-simo termo da seqncia.
Quando quisermos explicitar que a imagem da seqncia (x
n
)
nN
est contida em A R escreveremos
(x
n
)
nN
A.
Como sequncias so funes, as denies de funo limitada, crescente, decrescente, montona, etc. tam-
bm fazem sentido para sequncias.
Exemplo 4.1. Seja a R e tomemos x
n
= a para todo n N. A seqncia (x
n
)
nN
constante. imediato que
(x
n
)
nN
limitada.
Exemplo 4.2. A seqncia (1, 0, 1, 0, 1, 0, . . .) limitada mas no montona.
Exemplo 4.3. Sejam a, r R. Considere x
1
= a, x
2
= a + r, x
3
= a + 2r, de maneira geral, x
n
= a + (n 1)r. A
seqncia (x
n
)
nN
uma Progresso Aritmtica de primeiro termo a e razo r. Se r = 0, ento (x
n
)
nN
constante
e, portanto, limitada. Se r > 0, ento (x
n
)
nN
crescente e, portanto, limitada inferiormente. Finalmente, se
r < 0, ento (x
n
)
nN
decrescente e, portanto, limitada superiormente.
4.2 Denio. Dizemos que (y
k
)
kN
uma subseqncia de (x
n
)
nN
se existe uma seqncia (n
k
)
kN
N
crescente tal que y
k
= x
n
k
para todo k N.
Exemplo 4.4. Seja (x
n
)
nN
a Progresso Aritmtica de termo inicial a e razo r. AProgresso Aritmtica (y
k
)
kN
de termo inicial a e razo 2r uma subseqncia de (x
n
)
nN
. De fato, tomando n
k
= 2k 1, (k N) obtemos
x
n
k
= a + (n
k
1)r = a + (2k 2)r = a + (k 1)(2r) = y
k
.
4.2 Sequncias Convergentes
Intuitivamente, uma seqncia (x
n
)
nN
convergente para x se seus termos se aproximam de x quando n
arbritariamente grande. Esta idia no est de todo errada. Porm, ela pode induzir a uma idia equivocada de
convergncia. Somos tentados a dizer que (x
n
)
nN
converge para x quando a distncia entre x
n
e x diminui
medida que n cresce, ou seja, a funo f (n) = [x
n
x[ decrescente. No bem assim. Ela foge um pouco do
assunto sequncias de nmeros reais mas ilustra bem o que queremos dizer por se aproximar.
4.3 Denio. Uma seqncia (x
n
)
nN
dita convergente se existe x R de modo que
> 0, N N tal que n N [x
n
x[ < .
44

Adriano Cattai
Anlise Real
Neste caso, escrevemos x
n
x e dizemos que x limite da seqncia (x
n
)
nN
ou que x
n
converge para (ou
tende a) x quando n tende a mais innito (n +). Se (x
n
)
nN
no convergente, ento dizemos que ela
divergente.
Exemplo 4.5. Seja x R e considere a seqncia dada por x
n
= x para todo n N. Temos que x
n
x. De
fato, [x
n
x[ = 0 para todo n N. Portanto, podemos escrever
> 0, n 1 [x
n
x[ < .
Exemplo 4.6. Considere a seqncia x
n
=
1
n
para todo n N. Vamos mostrar que x
n
0. Dado > 0,
tomemos N N tal que N >
1
. Temos ento 0 <

1
N
< . Mas se n N e n N, ento x
n
=
1
n

1
N
= x
N
.
Logo, podemos escrever
> 0, N N tal que n N [x
n
0[ < .
Talvez voc conhea a notao lim
n+
x
n
= x para x
n
x. Vamos reetir sobre ela. Por enquanto, faamos de
conta que no conhecemos a denio de limite. Suponhamos que ao abrir um livro de Anlise, pela primeira
vez, encontremos as seguintes inscries:
x
n
0 e x
n
1.
No caramos chocados. Porm, se estivesse escrito
lim
n+
x
n
= 0 e lim
n+
x
n
= 1,
seramos levados a concluir que 0 = 1. Ora, o sinal de igual =
que nos leva a esta confuso. Se no tivermos

a unicidade do limite, ento a notao lim
n+
x
n
= x fortemente enganosa.
A prxima proposio nos dar direito ao uso da notao lim
n+
x
n
= x.
4.4 Proposio. Sejam (x
n
)
nN
uma seqncia e x, y R tais que x
n
x e x
n
y. Ento x = y.
Prova: Suponhamos, por absurdo, que x ,= y. Seja =
[x y[
2
> 0. Como x
n
x, existe N Ntal que
n N [x
n
x[ < .
Tambm temos x
n
y. Logo, existe N
Ntal que
n N
[x
n
y[ < .
Seja n o maior dos nmeros N e N
. Para tal n as duas concluses anteriores so vlidas. Temos ento

[x y[ [x x
n
[ +[x
n
y[ < + = 2 = [x y[.
Conclumos que [x y[ < [x y[, o que absurdo.
4.5 Proposio. Uma seqncia (x
n
)
nN
tende a x se, e somente se, toda subseqncia de (x
n
)
nN
tende a x.
Prova: Suponhamos que exista x R tal que x
n
x. Seja (y
k
)
kN
uma subseqncia de (x
n
)
nN
, isto ,
y
k
= x
n
k
( k N) para alguma seqncia (n
k
)
kN
N crescente. Mostremos que y
k
x. Seja > 0. Como
x
n
x, existe N N tal que se n N, ento [x
n
x[ < . Como (n
k
)
kN
N crescente, existe K N tal
que se k K, ento n
k
N. Segue que
k K [y
k
x[ < .
45
UNEB 2009.1
Portanto (y
k
)
kN
converge para x. A recproca imediata (basta observar que (x
n
)
nN
subseqncia de si
mesma).
Exemplo4.7. Aseqncia (1, 0, 1, 0, 1, 0, . . .) divergente. De fato, se ela fosse convergente, ento pela proposio
anterior todas as suas subseqncias seriam convergentes para o mesmo limite. Porm, (1, 1, 1, . . .) e (0, 0, 0, . . .)
so duas de suas subseqncias sendo que a primeira converge para 1 enquanto que a segunda converge para
0.
Como corolrio da proposio anterior, obtemos que se x
n
tende a x, ento x
n+2007
tende a x. No h nada
de especial com o nmero 2.007. Mais geralmente, xado p N, temos que se x
n
tende a x, ento x
n+p
tende
a x. fcil perceber que a recproca tambm verdadeira, ou seja, se para algum p N temos que x
n+p
tende
a x, ento porque x
n
tende a x. Verique! A importncia deste fato a seguinte. Se conhecermos alguma
propriedade que garanta a convergncia de uma seqncia e soubermos que tal propriedade s valida a partir
do seu p-simo termo ento, ainda sim, podemos concluir que a seqncia convergente. Vejamos um exemplo
esclarecedor.
Exemplo 4.8. Sabemos que sequncias constantes so convergentes. Considere a seqncia (no constante)
dada por x
n
=
_
1000
n
_
, sendo x a funo Parte Inteira de x, denida abaixo:
x = m se m Z e m x < m +1.
fcil ver que x
n
= 0 para todo n > 1000. Ou seja, (x
n
)
nN
constante a partir do seu milsimo-primeiro
termo. Conclumos que ela convergente.
4.6 Teorema. Toda seqncia convergente limitada.
Prova: Seja (x
n
)
nN
uma seqncia convergente para x R. Tomando = 1 na denio de seqncia
convergente, conclumos que existe N Ntal que se n N, ento
[x
n
x[ < 1, isto , x
n
(x 1, x +1).
Tomando
a = min x
1
, . . . , x
N
, x 1 e b = max x
1
, . . . , x
N
, x + 1
temos imediatamente que x
n
[a, b] para todo n N. Portanto (x
n
)
nN
limitada.
4.3 Seqencias Montonas e Seqencias Limitadas.
A recproca do Teorema 4.6 falsa como mostra o Exemplo 4.7. Porm, existem algumas recprocas parciais
que veremos nesta seo.
4.7 Proposio. Se (x
n
)
nN
crescente e limitada superiormente, ento x
n
sup x
n
; n N. Da mesma
forma, se (x
n
)
nN
decrescente e limitada inferiormente, ento x
n
inf x
n
; n N.
Prova: Vamos provar apenas a primeira parte da proposio j que a segunda se demonstra de modo
anlogo. Seja s = sup x
n
; n N. Dado > 0, tome N Ntal que x < x
N
s. Logo, para n N, temos
x < x
N
x
n
s. Conclumos da que [x
n
s[ < .
46

Adriano Cattai
Anlise Real
4.8 Teorema (Bolzano-Weierstrass). Toda seqncia limitada possui subseqncia convergente.
Prova: Sejam (x
n
)
nN
uma seqncia limitada. Considere o seguinte conjunto:
N = n N; x
n
> x
m
, m > n .
Existem duas possibilidades: N innito ou N nito.
1
o
caso: N innito.
Escrevamos N = n
1
, n
2
, n
3
, . . . com n
1
< n
2
< n
3
< . . . Assim, se i < j ento n
i
< n
j
e, como n
i
N,
obtemos que x
n
i
> x
n
j
. Conclumos que a subseqncia (x
n
k
)
kN
decrescente. Sendo ela limitada
obtemos, nalmente, que ela convergente.
2
o
caso: N nito. Como N nito, existe n
1
NN 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 induo, denimos uma subseqncia (x
nk
)
kN
que crescente e, portanto, convergente
(pois ela limitada).
4.4 Sequncias de Cauchy
4.9 Denio. Uma seqncia (x
n
)
nN
dita de Cauchy se
> 0, N N tal que n, m N [x
n
x
m
[ < .
Uma seqncia de Cauchy se seus termos se aproximam uns dos outros. Repare que no apenas termos
consecutivos mas sim todos eles. natural acreditar que qualquer seqncia convergente de Cauchy e vice-
versa. Vamos admitir, por hora, que sequncias convergentes so de Cauchy (este fato ser demonstrado a
seguir). Faamos alguns comentrios sobre a recproca.
Considere uma seqncia (x
n
)
nN
de nmeros racionais convergente para, por exemplo,

2? (existe tal
seqncia?). Sendo convergente ela de Cauchy. Como a denio de seqncia de Cauchy no faz meno ao
limite, mesmo se s conhecssemos nmeros racionais ainda estaramos de acordo que (x
n
)
nN
de Cauchy.
Porm, neste caso, no seramos capazes de mostrar a existncia do limite. Ou seja, se considerssemos apenas
nmeros racionais, no seria possvel mostrar que toda seqncia de Cauchy convergente.
J que sequncias de Cauchy so convergentes em R mas no em Q, isto deve estar relacionado com-
pleteza. De fato, alguns autores usam sequncias de Cauchy de nmeros racionais para construir R. A van-
tagem desta construo que ela pode ser empregada para completar outros conjuntos (ou melhor, espaos
mtricos) que no sejam corpos ordenados.
4.10 Teorema. Uma seqncia convergente se, e somente se, ela de Cauchy.
Prova: Seja (x
n
)
nN
uma seqncia convergente para o limite x. Dado > 0, existe N N tal que se
n N, ento [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
uma seqncia de Cauchy.
47
UNEB 2009.1
Reciprocamente, suponhamos que (x
n
)
nN
de Cauchy. Ento, > 0, N N tal que n, m N
[x
n
x
m
[ < . Da, x
m
< x
n
< x
m
+ , logo x
n
[x
m
, x
m
+ ]. Tomando a = minx
1
, x
2
, . . . , x
N
, x
m
e b = maxx
1
, x
2
, . . . , x
N
, x
m
+ . Logo, x
n
[a, b], ou seja, (x
n
)
nN
limitada. Pelo Teorema de Bolzano-
Weierstrass, (x
n
)
nN
tem subseqncia (x
nk
)
kinN
convergente para o limite x.
Mostremos que x
n
x. Seja > 0. Como (x
n
)
nN
de Cauchy, existe N Ntal que
n, m N [x
n
x
m
[ <
2
. (4.1)
Como x
n
k
x, existe k Ntal que n
k
N e [x
n
k
x[ <
2
. Da e de (4.1) segue que, se n N, ento
[x
n
x[ [x
n
x
nk
[ +[x
nk
x[ <
2
+

2
= .
4.5 Limites Innitos
Existemsequncias divergentes que possuem limite! Isto apenas um jogo de palavras. Adenio seguinte
diz que certas sequncias tm limites que no so nmeros reais. No diremos que tais sequncias so conver-
gentes.
4.11 Denio. Seja (x
n
)
nN
uma seqncia. Dizemos que x
n
tende a mais innito quando n tende a mais innito
ou que mais innito limite da seqncia e escrevemos x
n
+ ou lim
n+
x
n
= + se,
M R, N N tal que n N x
n
> M.
4.12 Denio. Seja (x
n
)
nN
uma seqncia. Dizemos que x
n
tende a menos innito quando n tende a mais
innito ou que menos innito limite da seqncia 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
, ento no podemos dizer que a seqncia convergente.
Uma seqncia dita convergente exclusivamente quando satisfaz a condio da Denio 4.3. Alm disto, se
x
n
+, ento (x
n
)
nN
ilimitada superiormente e, portanto, divergente. Da mesma forma, se x
n
,
ento (x
n
)
nN
ilimitada inferiormente e, portanto, divergente.
Nota 14. Com estas convenes sobre uso dos termos "seqncia convergente"e de "limite de seqncia"a
Proposio 4.11 tambm vlida (obviamente com outra demonstrao) se substituirmos x por + ou
por . Como x
n
> M equivalente a x
n
< M, temos que x
n
+ se, e somente se, x
n
.
Portanto toda armao sobre limite mais innito tem uma anloga para limite menos innito.
4.6 Operaes com Limites
Temos a seguir algumas propriedades aritmticas de limites nitos.
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;
48

Adriano Cattai
Anlise Real
(iii) c x
n
c x;
(iv) se y ,= 0, ento y
1
n
y
1
.
Prova:
(i) Seja > 0. Graas s convergncias de (x
n
)
nN
e (y
n
)
nN
, existem N
e N
tais que, se n N
, ento
[x
n
x[ <
2
, e se n N
, ento [y
n
y[ <
2
. Seja N = max N
, N
. Assim, se n N, ento 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
convergente, ela limitada. Logo, existe C > 0 tal que [x
n
[ < C para todo
n N. Seja N Ntal que se n N, ento [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) conseqncia do item anterior, tomando y
n
= c para todo n N.
(iv) Seja > 0 e N
N tal que, se n N
, ento [y
n
y[ < . Temos ainda que y ,= 0, conseqentemente,
existe N
Ntal que, [y
n
[ >
[y[
2
, isto , [y
n
[
1
< 2[y[
1
, quando n N
. Tomando N = max N
, N
,
para todo n N, temos que
1
y
n
1
y
=
[y y
n
[
[y
n
[ [y[
<
2
[y[
2
Isto conclui a demonstrao.

Exemplo 4.9. Seja r R. A seqncia (r
n
)
nN
uma Progresso Geomtrica de razo r.
Se [r[ < 1, ento multiplicando por [r
n
[ 0, obtemos 0 [r
n+1
[ [r
n
[. Logo, ([r
n
[)
nN
decrescente,
limitada inferiormente e, portanto, convergente para, digamos, L. Ora, [r
n+1
[ = [r[ [r
n
[, ento, passando
o limite, obtemos L = [r[ L. Como [r[ ,= 1, temos L = 0. Segue, nalmente, que (r
n
)
nN
converge para 0.
Se [r[ > 1, ento [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
divergente.
Deixamos como exerccio o estudo dos casos r = 1 e r = 1.
Vejamos agora as propriedades aritmticas de limites innitos.
n
)
nN
e (y
n
)
nN
duas sequncias e c > 0. Suponhamos que x
n
+. Temos:
(i) se (y
n
)
nN
limitada inferiormente, ento x
n
+ y
n
+;
(ii) se y
n
c para todo n N, ento x
n
y
n
+;
(iii) c x
n
+;
49
UNEB 2009.1
(iv) x
1
n
0.
Prova:
(i) Seja a R tal que a y
n
para todo n N. Dado M R, como x
n
+, existe N Ntal que se n N,
ento x
n
> Ma. Segue que se n N, ento 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, ento x
n
>
[M[
c
. Desta forma, se n N, ento
x
n
y
n
x
n
c > [M[ M. Portanto x
n
y
n
+.
(iii) conseqncia do item anterior, tomando y
n
= c para todo n N.
(iv) Dado > 0, tomemos N N tal que se n N, ento x
n
>
1
. Segue que se n N, ento [x
1
n
0[ =
x
1
n
< . Conclumos que x
1
n
0.
4.7 Limite Superior e Limite Inferior
No estudo de limites de subseqncias conveniente fazer a seguinte denio.
4.15 Denio. Dizemos que x R valor de aderncia de (x
n
)
nN
se existe subseqncia de (x
n
)
nN
conver-
gente para x.
O Teorema de Bolzano-Weierstrass diz que toda seqncia limitada possui valor de aderncia.
Observe que se (x
n
)
nN
limitada superiormente, ento o conjunto dos seus valores de aderncia tambm
limitado superiormente. Analogamente, se (x
n
)
nN
limitada inferiormente, ento o conjunto de seus valores
de aderncia tambm .
4.16 Denio. Seja A o conjunto dos valores de aderncia de (x
n
)
nN
. O limite superior de (x
n
)
nN
denido
por
limsup
n+
x
n
=
_
_
+ se (x
n
)
nN
ilimitada superiormente;
sup A se (x
n
)
nN
limitada superiormente e A ,= ;
se (x
n
)
nN
limitada superiormente e A = .
O limite inferior de (x
n
)
nN
denido por
liminf
n+
x
n
=
_
_
se (x
n
)
nN
ilimitada inferiormente;
inf A se (x
n
)
nN
limitada inferiormente e A ,= ;
+ se (x
n
)
nN
limitada inferiormente e A = .
Essencialmente, o limite superior de uma seqncia o seu maior valor de aderncia, enquanto que o limite
inferior seu menor valor de aderncia, veja a Proposio 4.18.
AProposio 4.5 diz que (x
n
)
nN
converge para x se, e somente se, x o nico valor de aderncia de (x
n
)
nN
.
Isto tambm pode ser expresso por
lim
n+
x
n
= x liminf
n+
x
n
= limsup
n+
x
n
= x.
Pode parecer estranho tomar como denio de limite superior de uma seqncia limitada superior-
mente e sem valor de aderncia. A razo que, nestas condies, a seqncia tende a . Desta forma, o
resultado do pargrafo anterior tambm vlido para limites innitos.
50

Adriano Cattai
Anlise Real
4.17 Proposio. Seja (x
n
)
nN
uma sequncia limitada superiormente e que no tem valor de aderncia. Ento
x
n
.
De fato, da denio, limsup x
n
= . Pela proposio 4.5, (x
n
)
nN
convergente, logo (x
n
)
nN
tambm
no converge, assim x
n
.
4.18 Proposio. Existe subseqncia (x
n
k
)
kN
de (x
n
)
nN
tal que
lim
k+
x
n
k
= limsup
n+
x
n
.
Em particular, se limsup
n+
x
n
R, ento este o maior valor de aderncia de (x
n
)
nN
.
Prova: Seja A o conjunto dos valores de aderncia de x
n
. Suponhamos inicialmente que (x
n
)
nN
seja
ilimitada superiormente e, portanto,
limsup
n+
x
n
= +.
Neste caso, imediato que (x
n
)
nN
tem subseqncia 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, ento (x
n
)
nN
ser limitada e, pelo Teorema de Bolzano-Weierstrass,
teremos A ,= . Logo, (x
n
)
nN
ilimitada inferiormente e, portanto, tem subseqncia tendendo a .
Finalmente, suponhamos que (x
n
)
nN
seja limitada superiormente e A ,= . Como j observado antes, A
limitado superiormente e, portanto, seu supremo s nito. Vamos mostrar que s A. Aplicando sucessiva-
mente o resultado da observao abaixo, 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
valor de aderncia de (x
n
)
nN
e s + 1 > a
1
> s 1, existe n
1
N tal que s + 1 > x
n
1
> s 1.
Tambm temos a
2
A, logo, existe n
2
> n
1
tal que s +
1
2
> x
n
2
> s
1
2
. Prosseguindo deste forma,
construmos uma subseqncia (x
n
k
)
kN
convergente para s. Segue que s A.
4.19 Observao. Seja A R, no vazio e limitado superiormente. Ento s = sup A se, e somente se:
(i) s cota superior de A;
(ii) se r < s ento existe x A tal que r < x s.
4.8 Sries
4.20 Denio. Considere uma seqncia (x
n
)
nN
. Para cada n Ndenimos
S
n
=
n
i=1
x
i
= x
1
+ . . . + x
n
.
51
UNEB 2009.1
A seqncia (S
n
)
nN
dita das somas parciais da srie
x
n
e x
n
o n-simo termo ou termo geral da srie.
Escrevemos
+
n=1
x
n
= lim
n+
S
n
quando o limite acima existe e, neste caso, ele dito limite da srie. Dizemos que
x
n
convergente ou diver-
gente se (S
n
)
nN
convergente ou divergente, respectivamente. Finalmente, dizemos que
x
n
absolutamente
convergente se a srie
[x
n
[ convergente.
Exemplo 4.10. Considere a Srie Geomtrica de termo geral x
n
= r
(n1)
. Temos
S
n
= 1 + r + r
2
+ . . . + r
n2
+ r
n1
.
Se r = 1, ento imediato que S
n
= n. Segue que (S
n
)
nN
diverge e, portanto,
x
n
diverge. Suponhamos
r ,= 1. Multiplicando 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 prxima proposio uma verso da Proposio 4.13 para sries.
4.21 Proposio. Sejam
x
n
e
y
n
duas sries convergentes e c R. Temos que
(i)
(x
n
+ y
n
) convergente para
x
n
+
y
n
;
(ii)
(c x
n
) convergente para c
x
n
.
Prova: A demonstrao conseqncia da Proposio 4.13. Basta aplic-la para as sequncias das somas
parciais de
x
n
e de
y
n
.
Fique Atento!
Observamos que, em geral,
+
n=1
(x
n
y
n
) ,=
+
n=1
x
n
n=1
y
n
.
Passamos ao estudo da natureza de sries, ou seja, estamos interessados emcritrios que determinem se uma
srie convergente ou divergente.
4.22 Teorema.
(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, ento x
n
0.
52

Adriano Cattai
Anlise Real
(iii) Toda srie absolutamente convergente convergente.
Prova:
(i) O critrio dado diz simplesmente que a seqncia das somas parciais de Cauchy. O resultado segue do
Teorema 4.10.
(ii) Segue de (i), tomando m = n. Ou, de outro modo, seja S
n
= x
1
+ x
2
+ . . . + x
n
. Ento existe s = limS
n
.
Evidentemente, tem-se tambm s = limS
n1
. Logo
0 = s s = limS
n
limS
n1
= lim(S
n
S
n1
) = limx
n
.
(iii) Observamos que para todo m, n N temos
i=n
x
i
i=n
[x
i
[ =
i=n
[xi[
.
Portanto, por (i), a convergncia de
[x
n
[ implica a de x
n
.
O item (iii) do teorema anterior est intimamente ligado ao fato de R ser completo. Devemos ressaltar ainda
que a sua recproca no verdadeira, ou seja, existem sries que so convergentes mas no absolutamente
convergentes. Veremos um exemplo posteriormente.
Exemplo 4.11. Pelo item (ii), a condio x
n
0 necessria para a convergncia da srie
x
n
porm ela no
suciente. A Srie Harmnica
1
n
o contra exemplo mais famoso. De fato, temos
S
2
= 1 +
1
2
,
S
4
= S
2
+
1
3
+
1
4
> S
2
+
2
4
= 1 +2
1
2
,
S
8
= S
4
+
1
5
+
1
6
+
1
7
+
1
8
> 1 + 2
1
2
+
4
8
= 1 +3
1
2
.
.
.
Portanto, S
2
n > 1 +
n
2
. Da, segue que lim
n+
S
2
n = +. Conclumos que a srie diverge.
Vamos tratar agora de alguns critrios de convergncia para sries de termos positivos. Claramente, todos
os critrios aqui expostos podem ser adaptados para sries de termos negativos. De fato, se
x
n
uma srie
de termos negativos, ento
(x
n
) uma srie de termos positivos e, alm disto, a primeira converge se, e
somente se, a segunda converge.
Eventualmente, podemos usar tambm critrios sobre sries de termos positivos para uma srie
x
n
que
tenha termos de sinais variveis. Ora, se ao aplicarmos algum destes critrios para a srie
[x
n
[ concluirmos
que ela convergente, ento, como toda srie absolutamente convergente convergente, concluiremos que
x
n
converge. Por outro lado, se o critrio nada disser, ou mesmo se ele nos informar que
[x
n
[ divergente, em
geral, nada poderemos armar sobre a convergncia da srie
x
n
.
Observamos tambm o seguinte fato, j mencionado no caso de sequncias. Os primeiros termos de uma
srie nada inuem na sua natureza. De fato, a srie
x
n
converge se, e somente se, a srie
x
n+2007
converge.
De maneira geral, xado p Na srie
x
n
convergente se, e somente se, a srie
x
n+p
convergente. Desta
forma, todos os critrios que determinam a natureza de uma srie atravs de alguma propriedade vericada
por todos os seus termos continuam vlidos se a tal propriedade vericada partir de algum termo (por
53
UNEB 2009.1
exemplo, 2.007). Por outro lado, no podemos desprezar nenhum termo de uma srie convergente quando
estamos interessados em determinar o valor do seu limite.
4.23 Proposio. Uma srie de termos positivos convergente se, e somente se, a seqncia de suas somas
parciais limitada superiormente.
Prova: Por denio,
x
n
convergente se, e somente se, a seqncia de suas somas parciais (S
n
)
nN

convergente. Como x
n
0, temos imediatamente que (S
n
)
nN
crescente. Logo, (S
n
)
nN
convergente se, e
somente se, ela limitada superiormente (ver proposies 4.6 e 4.7)
4.24 Teorema (Critrio da Comparao). Sejam (x
n
)
nN
e (y
n
)
nN
tais que 0 x
n
y
n
para todo n N.
(i) Se
y
n
converge, ento
x
n
converge.
(ii) Se
x
n
diverge, ento
y
n
diverge.
Prova: Sejam (S
n
)
nN
e (T
n
)
nN
as sequncias 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
ilimitada superiormente,
ento (T
n
)
nN
tambm . Por outro lado, se (T
n
)
nN
limitada superiormente, ento (S
n
)
nN
tambm .
Conclumos graas Proposio 4.23.
4.25 Proposio. Sejam y R e (x
n
)
nN
uma sequncia convergente para x R. Temos:
(a) Se y < x, ento existe N Ntal que y < x
n
para todo n N.
(b) Se x < y, ento existe N Ntal que x
n
< y para todo n N.
(c) Se x
n
y para todo n N, ento x y;
(d) Se x
n
y para todo n N, ento x y.
Exemplo 4.12. Vamos estudar a natureza da srie
1
n
p
segundo os valores de p. claro que se p 0, ento
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 comparao com a Srie Harmnica,
conclumos que a srie diverge.
Finalmente, consideremos o caso p > 1. Mostraremos que a srie converge. Seja (S
n
)
nN
a seqncia 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
.
Como p > 1 temos 2
1p
< 1 e, portanto, a Srie Geomtrica de razo 2
1p
converge. Segue que (S
n
)
nN

limitada superiormente e portanto
1
n
p
convergente.
54

Adriano Cattai
Anlise Real
4.26 Teorema (Teste da Razo, ou de dAlembert). Seja (x
n
)
nN
uma seqncia de nmeros positivos.
(i) Se lim
n+
x
n+1
x
n
< 1, ento
x
n
convergente.
(ii) Se lim
n+
x
n+1
x
n
> 1, ento
x
n
divergente.
Prova:
(i) Tomemos r R tal que lim
n+
x
n+1
x
n
< r < 1. O resultado da proposio 4.25 garante que existe N Ntal
que
x
n+1
x
n
< r para todo n N. Temos ento:
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
uma Srie Geomtrica de razo r (0, 1), ela convergente.
O resultado segue do Critrio de Comparao.
(ii) Usando o resultado da proposio 4.25 conclumos que existe N Ntal que
x
n+1
x
n
1 para todo n N.
Portanto, x
n+1
x
n
para todo n N. Segue que a seqncia dos termos gerais da srie crescente a
partir do N-simo termo e, portanto, no converge para zero. Logo, a srie divergente.
Exemplo 4.13. A srie
1
n!
convergente pois
lim
n+
1
(n+1)!
1
n!
= lim
n+
n!
(n + 1)!
= lim
n+
1
n +1
= 0.
Analogamente, dado x R, mostra-se que
x
n
n!
(absolutamente) convergente e, em particular,
x
n
n!
0.
Nota 15. Quando lim
n+
x
n+1
x
n
= 1, o Teste da Razo nada permite concluir (nem convergncia nem di-
vergncia).
H outras verses do Teste da Razo. Aaqui apresentada no a mais geral delas. Por exemplo, em(i), pode-
mos substituir o smbolo de limite pelo smbolo de limite superior que a armao continua vlida. Analoga-
mente, a concluso de (ii) permanece vlida ao substituirmos o smbolo de limite pelo de limite inferior.
Exemplo 4.14. Vejamos exemplos para os quais o Teste da Razo no conclusivo. Considere as sries
1
n
e
1
n
2
. J vimos que a primeira divergente enquanto que a segunda convergente. Porm, 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.
4.27 Teorema (Teste da Raiz, ou de Cauchy). Seja (x
n
)
nN
uma seqncia de nmeros positivos.
55
UNEB 2009.1
(i) Se lim
n+
n
x
n
< 1, ento
x
n
convergente.
(ii) Se lim
n+
n
x
n
> 1, ento
x
n
divergente.
Prova:
(i) Seja r R tal que lim
n+
n
x
n
< r < 1. Da Proposio 4.25(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 comparao com a Srie Geomtrica
r
n
.
(i) Anlogo ao item anterior.
Nota 16. Quando lim
n+
n
x
n
= 1, o Teste da Raiz nada permite concluir (nemconvergncia nemdivergn-
cia).
Tambm h outras verses do Teste da Raiz. A apresentada acima no 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 mais eciente que o da Razo. Mais precisamente, em todos os casos nos quais o Teste da
Razo permite concluir (seja por convergncia ou por divergncia) o Teste da Raiz tambm ser concludente.
Entretanto, o Teste da Razo , em geral, mais fcil de ser aplicado.
4.9 A Srie dos Inversos dos Primos
Veremos um interessante resultado sobre a srie dos inversos dos primos. O primeiro a demonstr-lo foi
Euler. A demonstrao que apresentaremos aqui mais uma das preciosidades de Erds. O argumento do
tipo combinatrio. Antes de apresent-lo faamos uma denio.
4.28 Denio. A funo Parte Inteira denida, para todo x R, por
x = n se n Z e n x < n + 1.
Exemplo 4.15. Temos 1 = 1, 1.4 = 1 e 1.5 = 2.
4.29 Proposio. Seja (p
n
)
nN
a seqncia estritamente crescentes dos nmeros primos (p
1
= 2, p
2
= 3, p
3
=
5, . . .). A srie
1
p
n
diverge.
Prova: Suponhamos por absurdo que
1
p
n
converge. Portanto existe N Ntal que
+
n=N
1
p
n
<
1
2
.
Seja M = 2
2N
. Temos que M = #A + #B, sendo
A = m 1, . . . , M ; m mltiplo de algum dos primos p
N
, p
N+1
, . . . ,
B = m 1, . . . , M ; m no mltiplo de nenhum dos primos p
N
, p
N+1
. . . .
Vamos mostrar que #A <
M
2
e #B
M
2
chegando assim a uma contradio.
56

Adriano Cattai
Anlise Real
O nmero de mltiplos do primo p que so menores que M
_
M
p
_
. Segue que
#A
+
n=N
_
M
p
n
_

+
n=N
M
p
n
<
M
2
.
Tambm fcil 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, tambm menores que p
N
. Existem
exatamente 2
N1
nmeros nas condies de a. Temos ainda que b
2
m M e portanto b
M = 2
N
. Segue
que existem, no mximo, 2
N
nmeros nas condies de b. Portanto #B 2
N1
2
N
= 2
2N1
=
M
2
.
Captulo 5
Limites de Funes
Dada uma funo 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 o assunto desta seo. Muitas vezes f (x)
se aproximar de f (x
0
), porm, isto s ocorre para uma classe de funes, ditas contnuas. Trataremos desta
questo posteriormente.
Iniciamos nossa discusso precisando o que quisemos dizer, com x se aproxima de um ponto x
0
sem, entre-
tanto, assumir este valor. Ora, se estamos interessados no valor de f (x) preciso que x esteja no domnio de f
mas, como x no assume o valor x
0
, no necessrio que f (x
0
) esteja denido. Ou seja, no necessrio que x
0
pertena ao domnio de f . Porm, preciso que seja possvel se aproximar de x
0
por pontos do domnio de
f . Rigorosamente falando, se A o domnio de f , ento a noo de limite de funes ter sentido se, e somente,
x
0
ponto de acumulao de A. Lembramos que esta condio signica que x
0
A x0, isto , existe uma
sequncia (x
n
)
nN
A x
0
convergente para x
0
.
Sejam f : A R R e x
0
um ponto de acumulao de A. Como expressar de maneira rigorosa que f (x) se
aproxima de L R quando x se aproxima de x
0
? A experincia com limite de sequncias nos indica que deve
ser errado pensar que a distncia de f (x) a L decresce junto com a distncia de x a x
0
. A idia intuitiva correta
dizer que f (x) to prximo de L quanto quisermos, bastando para isto tomar x sucientemente prximo de
x
0
. Vejamos a denio rigorosa.
5.1 Denio. Sejam f : A R R e x
0
um ponto de acumulao 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.
De outro modo, seja f : A R R e L R. Dizemos que f assume valores arbitrariamente prximos de
L, se todo intervalo aberto contendo L contm um valor f (x) para algum x A.
Cuidado! S faz sentido considerar o limite de f (x) quando x tende a x
0
quando x
0
ponto de acumu-
lao do domnio de f . Daqui por diante, esta condio car subentendida quando estivermos
considerando limites.
57
UNEB 2009.1
Exemplo 5.1. Seja f : R 0 R, dada por
f (x) =
_
_
_
1, se x > 0
1, se x < 0
mostre que no existe o limite de f quando tende a 0.
Soluo: Veja primeiro que 0 , R 0 ponto de acumulao de R0. Vamos supor que lim
x0
f (x) =
L. Tomando = 1 na denio de limite, obtemos a existncia de > 0 tal que [ f (x) L[ < 1 quando
0 < [x[ < . Portanto,
2 = [1 (1)[ =
f
_
2
_
f
_
2
_
f
_
2
_
L
f
_
2
_
L
< 1 + 1 = 2.
Absurdo!
Exemplo 5.2. Seja f : (0, 1] R dada por f (x) = 1 para todo x A = (0, 1]. Observe que 0 no est no
domnio de f mas ponto de acumulao deste. Logo, faz sentido perguntar se existe o limite de f (x) quando
x tende a 0 e, no caso armativo, determinar o valor do limite. Mostre que ele existe e vale 1.
Soluo: Seja > 0. Para todo x (0, 1] temos [ f (x) 1[ = [1 1[ = 0 < . Portanto, tomando qualquer
> 0, temos
x A, 0 < [x 0[ < [ f (x) 1[ < .
Conclumos assim que lim
x0
f (x) = 1.
Pratique! Da mesma maneira mostra-se que se g : A R R constante igual a c, ou seja, g(x) =
c, x A, e x
0
A x
0
, ento lim
xx
0
g(x) = c.
O exemplo anterior atpico. Se x
0
, e so como na Denio 5.1, ento, geralmente, depende de e
de x
0
. Muitas vezes esta dependncia indicada na notao = (, x
0
). Os exemplos a seguir ilustram esta
dependncia. No primeiro deles depende apenas de e, no segundo, depende tanto de quanto de x
0
.
Exemplo 5.3. Sejam f : R R, dada por f (x) = x para todo x R, e x
0
R. Mostre que lim
xx
0
f (x) = x
0
.
Soluo: Dado > 0, tomando = , obtemos
x R, 0 < [x x
0
[ < [ f (x) f (x
0
)[ = [x x
0
[ < = .
Exemplo 5.4. Sejam f : R R, dada por f (x) = x
2
para todo x R, e x
0
R. Mostre que lim
xx
0
f (x) = x
2
0
Soluo: Fixado > 0, tomamos = min
_
1,

2[x
0
[ + 1
_
. Desta forma, se 0 < [x x
0
[ < , ento
[x[ < [x
0
[ + [x
0
[ +1. Alm disto,
[ f (x) x
2
0
[ = [x
2
x
2
0
[ = [x x
0
[ [x + x
0
[ < ([x[ +[x
0
[) < (2[x
0
[ +1) = .
58

Adriano Cattai
Anlise Real
Nota 17. O exemplo anterior pode nos induzir a pensar que achar em funo de e de x
0
uma tarefa
sobrenatural. Normalmente, rascunha-se a demonstrao de trs para frente:
sabendo que devemos obter [ f (x) L[ < , procuramos saber quo grande pode ser [x x
0
[ (isto , qual
deve ser o valor de ) para que cheguemos a esta concluso.
Em seguida, passamos a limpo a demonstrao e, j sabendo qual o valor de , simplesmente dizemos:
seja = abracadabra . . .
Porm, dependendo da funo, mesmo que achar o valor de no seja mgica, tal tarefa pode ser bastante
fatdica. Uma alternativa fazer uso das proposies que iremos apresentar no decorrer destas notas. Elas
facilitam as demonstraes de existncia e os clculos dos limites, sem necessidade de manipular s e s.
Exemplo 5.5. Seja f : R R denida por f (x) = 2x + 1, x R. Mostre que existe o limite de f quando x
tende 1 e determine este limite.
Soluo: Intuitivamente, nos parece bvio que, medida em que x se aproxima de 1, a funo f (x) =
2x + 1 se aproxima de 3. Assim, vamos intuir que lim
x1
(2x +1) = 3 e ento mostrar que o caso.
Investiguemos, inicialmente, se existe uma correspondncia entre as vizinhanas de L = 3 e x
0
= 1, ou
seja, se existe algum valor para se tomarmos um qualquer.
Temos que [ f (x) L[ < , > 0, isto , [(2x + 1) 3[ = [2x 2[ = [2(x 1)[ = 2[x 1[ < . Logo,
[x 1[ <
2
. Portanto, se zermos =

2
, teremos 0 < [x 1[ < .
Deste modo, dado > 0, tomando =

2
, obtemos
x R, 0 < [x 1[ < [ f (x) 3[ = [2x +1 3[ = 2[x 1[ < 2 = 2

2
= .
No exemplo anterior, intumos que lim
x1
(2x +1) = 3 e provamos que o caso. No entanto, no mencionamos
a possibilidade de existir outra valor L Rdiferente de 3 para lim
x1
(2x +1). Na verdade, no existe, pois quando
o limite existe ele nico. Veja o teorema a seguir, da unicidade do limite.
5.2 Teorema (Unicidade do limite). Sejam f : A R e x
0
A um ponto de acumulao. Se lim
xx
0
f (x) = L e
lim
xx
0
f (x) = M ento L = M.
Prova: Dado > 0 existe
1
> 0 e
2
> 0 tais que para x A, temos [ f (x) L[ <
2
sempre que
0 < [x x
0
[ <
1
e [ f (x) M[ <
2
sempre que 0 < [x x
0
[ <
2
. Seja = min
1
,
2
. Ento [ f (x) L[ <
2
e [ f (x) M[ <
2
sempre que 0 < [x a[ < .
Seja x A tal que 0 < [x x
0
[ < , ento podemos escrever
[L M[ = [L f (x) + f (x) M[ [ f (x) L[ +[ f (x) M[ <
2
+

2
= .
Como arbitrrio, temos que [L M[ = 0 e portanto L = M.
Pratique! De um modo geral, mostre que lim
xx
0
a x + b = a x
0
+ b.
5.3 Teorema. Sejam f : A R e a A x
0
. Ento lim
xx
0
f (x) = L se, e somente se, para toda seqncia de
pontos (x
n
)
nN
A x
0
com limx
n
= x
0
, tenha-se lim f (x
n
) = L.
59
UNEB 2009.1
Prova: Suponhamos que lim
xx
0
f (x) = L e mostremos que se (x
n
)
nN
A x
0
e x
n
x
0
, ento
f (x
n
) L. Seja > 0. Por hiptese, existe > 0 tal que
x A, 0 < [x x
0
[ < [ f (x) L[ < . (5.1)
Ora, x
n
x
0
, logo, existe N N tal que se n N, ento [x
n
x
0
[ < . Assim, para n N, ao tomar x = x
n
em (5.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[ . (5.2)
Para cada n N, ao tomar =
1
n
em (5.2) obtemos x
n
A tal que
0 < [x
n
x
0
[ <
1
n
e [ f (x
n
) L[ .
Constri-se desta maneira uma sequncia (x
n
)
nN
A x
0
convergente para x
0
sem que f (x
n
) L.
Absurdo!
Vejamos como esta proposio facilita o clculo de limites.
Exemplo 5.6. Sejam f : R R, dada por f (x) = x
2
para todo x R, a R e (x
n
)
nN
R a convergente
para a. Temos ento que f (x
n
) = x
2
n
a
2
. Como a sequncia (x
n
)
nN
arbitrria, conclumos que lim
xa
f (x) =
a
2
.
5.4 Teorema. Seja f : A R R. Se lim
xx
0
f (x) = L < M, ento existe > 0 tal que f (x) < M para todo x A
tal que 0 < [x x
0
[ < . Uma concluso anloga vale quando L > M.
Prova: Tomando = M L > 0 na denio de limite, obtemos > 0 tal que [ f (x) L[ < M L se
x A e 0 < [x x
0
[ < . Ora
f (x) L = [ f (x) L[ < ML f (x) < M.
5.5 Corolrio. Se lim
xx
0
f (x) = L > 0 ento existe > 0 tal que f (x) > 0 para todo x A tal que 0 < [x x
0
[ < .
5.6 Corolrio. Se f (x) g(x) para todo x A x
0
e lim
xx
0
f (x) = L e lim
xx
0
g(x) = M, ento L M.
5.7 Teorema (Operaes com limites). Sejam f , g : A R, x
0
A
com lim
xx
0
f (x) = L e lim
xx
0
g(x) = M. Ento:
(i) lim
xx
0
[ f (x) g(x)] = L M;
(ii) lim
xx
0
[ f (x) g(x)] = L M;
(iii) lim
xx
0
f (x)
g(x)
=
L
M
se M ,= 0;
(iv) Se lim
xx
0
f (x) = 0 e g uma funo limitada numa vizinhana de x
0
, ento lim
xx
0
f (x) g(x) = 0.
Prova:
(i) Dado arbitrariamente > 0, existem
1
> 0 e
2
> 0 tais que para 0 < [x x
0
[ <
1
temos [ f (x) L[ <
2
60

Adriano Cattai
Anlise Real
e para 0 < [x x
0
[ <
2
temos [g(x) M[ <
2
. Seja = min
1
,
2
. Assim, se 0 < [x x
0
[ < temos
[ f (x) L[ <
2
e [g(x) M[ <
2
. Logo,
[[ f (x) + g(x)] [L + M][ [ f (x) L[ +[g(x) M[

2
+

2
= .
Portanto lim
xx
0
[ f (x) + g(x)] = L + M.
(ii) Sejam dadas duas seqncias reais (x
n
) e (y
n
), n N com limx
n
= x
0
e limy
n
= y
0
. Considerando (y
n
)
uma sequncia limitada por uma constante positiva k temos:
[x
n
y
n
x
0
y
0
[ = [(x
n
x
0
)y
n
+ x
0
(y
n
y
0
)[
[(x
n
x
0
)[[y
n
[ +[x
0
[[(y
n
y
0
)[
k [(x
n
x
0
)[ +[x
0
[[(y
n
y
0
)[
Tanto [x
n
x
0
[ como [y
n
y
0
[ podem ser tomados arbitrariamente pequenos, desde que n seja su-
cientemente grande. Assim dado > 0 podemos considerar [x
n
x
0
[ <
2k
a partir de um certo n
1
e
[y
n
y
0
[ <
2[x
0
[
a partir de um certo n
2
. Sendo n = maxn
1
, n
2
teremos:
[x
n
y
n
x
0
y
0
[ k[x
n
x
0
[ +[x
0
[[y
n
y
0
[ < k

2k
+[x
0
[

2[x
0
[
=

2
+

2
= .
Logo, [x
n
y
n
x
0
y
0
[ < e ento limx
n
y
n
= x
0
y
0
, isto , pelo teorema 5.3 temos lim
xx
0
[ f (x) g(x)] =
L M.
(iii) Como temos a igualdade
a
n
y
n
= a
n
1
y
n
e j mostramos que o limite do produto o produto dos limites,
basta mostrar que se limy
n
= x
0
ento lim
1
b
n
=
1
y
0
com y
0
,= 0.
Observe que
1
b
n
1
y
0
=
[b
n
y
0
[
b
n
y
0
; como y
0
,= 0, a partir de um certo n
1
temos [b
n
[ >
[y
0
[
2
; e dado
> 0, a partir de um certo n
2
, podemos ter [b
n
y
0
[ menor que
[y
0
[
2
2
. Considerando n = maxn
1
, n
2
teremos que
1
b
n
1
y
0
<
[y
0
[
2
/2
y
2
0
/2
= . E assim temos lim
1
b
n
=
1
y
0
.
(iv) Temos que, se limx
n
= 0 e (y
n
) uma seqncia limitada, ento existe c > 0 tal que [y
n
[ c para todo
n N. Dado arbitrariamente > 0, existe n
0
N tal que para n > n
0
temos [x
n
[ <
c
. Ento para
n > n
0
temos [x
n
y
n
[ = [x
n
[ [y
n
[ <
c
c = . Logo limx
n
y
n
= 0 e portanto lim
xx
0
f (x) g(x) = 0.
Perceba! No item (ii) da proposio acima, se f (x) = c R, ento lim
xx
0
[c g(x)] = c lim
xx
0
g(x).
Pratique! Usando as propriedades operatrias de limites calcule o valor de lim
x2
x
3
8
x
2
4
.
5.8 Teorema (Teorema do Sanduche). Sejam f , g, h : A R, a A
e lim
xx
0
f (x) = lim
xx
0
g(x) = L. Se f (x)
h(x) g(x) para todo x A x
0
, ento lim
xx
0
h(x) = L.
Prova: Dado arbitrariamente > 0, existe
1
> 0 e
2
> 0 tais que para x X temos L f (x) L +
sempre que 0 < [x x
0
[ <
1
e L g(x) L + sempre que 0 < [x x
0
[ <
2
. Seja = min
1
,
2
.
Ento para x X e 0 < [x x
0
[ < temos L f (x) h(x) g(x) L + . Logo, L h(x) L +
61
UNEB 2009.1
e ento lim
xx
0
h(x) = L.
Exemplo 5.7. Se g : A R denida por g(x) = x sen(x), ento tem-se que lim
x0
g(x) = 0.
Exemplo 5.8. Para todo polinmio p : R R dado por p(x) = a
0
+ a
1
x + . . . + a
n
x
n
tem-se lim
xx
0
p(x) = p(x
0
)
para todo a R. Tambm para toda funo racional f (x) =
p(x)
q(x)
, quociente de dois polinmios, tem-se
lim
xx
0
f (x) = f (x
0
) desde que q(x
0
) ,= 0.
5.1 Limites Laterais, Innitos e no Innito
5.9 Denio. Seja f : A R R e agora x
0
ponto de acumulao de A (x
0
, +). Dizemos que L limite
direita de f em x
0
se para todo > 0 existe > 0 tal que
x A, 0 < x x
0
< [ f (x) L[ < .
Neste caso escrevemos lim
xx
+
0
f (x) = L.
Similarmente, denimos:
5.10 Denio. Seja f : A R R e agora x
0
ponto de acumulao de A (, x
0
). Dizemos que L limite
esquerda de f em x
0
se para todo > 0 existe > 0 tal que
x A, 0 < x
0
x < [ f (x) L[ < .
Neste caso escrevemos lim
xx
0
f (x) = L.
Nota 18. possvel mostrar que se x
0
ponto de acumulao tanto de A(x
0
, +) como de A(, x
0
),
ento
lim
xx
0
f (x) = L lim
xx
+
0
f (x) = lim
xx
0
f (x) = L
Exemplo 5.9. Seja
f (x) =
_
_
1, se x > 0
0, se x = 0
1, se x < 0
Como lim
x0
+
f (x) = 1 e lim
x0
f (x) = 1, ento no existe limite de f no zero.

Outra denio importante a de limite innito.
5.11 Denio. Dizemos que f tende a + em x
0
se para todo M R
+
existe > 0 tal que
x A, 0 < [x x
0
[ < f (x) > M.
Escrevemos ento que lim
xx
0
f (x) = +.
Similarmente denimos:
62

Adriano Cattai
Anlise Real
5.12 Denio. Dizemos que f tende a em x
0
se para todo N R
existe > 0 tal que

x A, 0 < [x x
0
[ < f (x) < N.
xx
0
f (x) = .
Exemplo 5.10. lim
x0
1
x
2
= +, pois dado M > 0, tomando =
1
M
temos
0 < [x 0[ < M x
2
<
2
=
1
M

1
x
2
> M.
Finalmente denimos limites no innito.
5.13 Denio. Seja c R e f : (c, +) R. Dizemos que L R limite de f quando x + se para todo
existe > c tal que
x > [ f (x) L[ < .
x+
f (x) = L.
Analogamente denimos:
5.14 Denio. Seja c R e f : (, c) R. Dizemos que L R limite de f quando x se para todo
existe < c tal que
x < [ f (x) L[ < .
x
f (x) = L.
Cuidado! Nem sempre existe limite no innito. Tome por exemplo a funo sen(x).
Captulo 6
Funes Contnuas
A seguinte frase facilmente aceita pela nossa intuio: se x um nmero prximo de 3, ento x
2
um
nmero prximo de 9. Outra, x
2
estar cada vez mais prximo de 9 quanto mais prximo x estiver de 3. Por
esta razo dizemos que a funo f (x) = x
2
(para todo x R) contnua no ponto 3. Muitas das funes que
encontramos na Anlise so funes contnuas. Queremos precisar o conceito de continuidade. Observe que
para isto necessrio estabelecer o que queremos dizer com x um nmero prximo de 3.
Intuitivamente, uma funo f contnua em um ponto x
0
do seu domnio se f (x) est prximo de f (x
0
)
quando x est prximo de x
0
. Induzidos pela discusso que precedeu a denio de limite de funes, somos
tentados a dizer que f : A R contnua em x
0
quando
lim
xx
0
f (x) = f (x
0
) (6.1)
quase isto, mas no exatamente. O problema um detalhe tcnico. A denio de lim
xx
0
f (x) exige que x
0
seja ponto de acumulao de A. Por outro lado, para que f (x
0
) tenha sentido devemos ter x
0
A. Estas duas
condies podem ser incompatveis (veremos um exemplo a seguir). Entretanto, quando x
0
vericar ambas as
condies a denio que faremos ser equivalente a (6.1).
63
UNEB 2009.1
Exemplo 6.1. Seja A = [0, 1) 2. Temos que 2 A mas 2 , A 2 = [0, 1]. Dada f : A R, f (2) tem
sentido ao contrrio de lim
x2
f (x). Por outro lado, 1 , A e 1 A 1 = [0, 1]. Logo, no existe f (1), porm,
pode existir lim
x1
f (x).
6.1 Denio. Sejam f : A R R e x
0
A. Dizemos que f contnua em x
0
se
> 0, > 0; x A, [x x
0
[ < [ f (x) f (x
0
)[ < .
Dizemos ainda que f contnua, se f contnua em todo ponto de A e escrevemos f C
0
(A). Mais precisa-
mente, f C
0
(A) se
y A, > 0, > 0 tal que x A, [x y[ < [ f (x) f (y)[ < (6.2)
Ateno! Alguns autores costumam denotar por C(A), em vez de C
0
(A), ao conjunto das funes
contnuas em A.
Observe que a denio de continuidade tem(como espervamos) uma relao muito grande coma denio
de limite. Por esta razo, podemos facilmente adaptar argumentos usados em exerccios de limites para mostrar
a continuidade de funes. Por exemplo, mostre que so contnuas as funes 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.2. Este exemplo pretende acabar com o mito, geralmente apresentado nos cursos de Clculo I, que
diz que funes contnuas so aquelas cujos grcos so traados sem tirar o lpis do papel. Considere a funo
g : N R dada por g(n) = n para todo n N. Faa um esboo do grco de g e convena-se que no
possvel desenh-lo sem tirar o lpis do papel. Ora, a funo g a mesma do pargrafo anterior (com A = N)
que, como j sabemos, contnua! Voc est duvidando? Vejamos com mais detalhes. Sejam > 0 e n N. Se
x Ne [x n[ <
1
2
, ento x = n e, portanto, [g(x) g(n)[ = 0 < . Conclumos que g contnua em n e, como
n arbitrrio, conclumos que g contnua!
Observe que tomamos =
1
2
independente de e de n. Mais que isto, nema denio de g no foi necessria
na demonstrao. Moral da histria: funes denidas em N no apenas so contnuas como so muito con-
tnuas!
Importante Algumas observaes so importantes:
Na denio de limite, o ponto no qual se calcula o limite no pertence necessariamente ao
domnio da funo. Ao passo que, na continuiudade, s faz sentido se o ponto pertencer ao
domnio da funo.
Se a funo j est denida em x
0
e seu valor a coincide como limite no ponto a, ento a funo
contnua no ponto a. Isto , se x
0
A A, ento f contnua em x
0
lim
xx
0
f (x) = f (x
0
).
Exemplo 6.3. Se x
0
um ponto isolado de A ento toda funo f : A R contnua no ponto x
0
.
Exemplo 6.4. A funo f : R R, dada por f (x) = 2x +1 contnua em x
0
= 1. Verique!
Exemplo 6.5. Todo polinmio p : R R uma funo contnua. Verique!
Exemplo 6.6. Toda funo racional
p(x)
q(x)
contnua em todos os pontos de seu domnio para os quais q(x) ,= 0,
tais que f (x) ,= 0. Verique!
64

Adriano Cattai
Anlise Real
6.2 Denio. Uma funo f : A R dita descontnua no ponto x
0
A se existe > 0 tal que para todo
> 0 pode-se achar x
A tal que [x
x
0
[ < e [ f (x) f (x
0
)[ .
Passemos s proposies que nos poupam, em muitos casos, o trabalho com s e s. Todas elas tm demon-
straes anlogas a aquelas encontradas na seo de limites. Por esta razo omitiremos algumas de suas provas.
6.3 Teorema. Sejam f : A R R e x
0
A. Afuno f contnua em x
0
se, e somente se, lim
n+
f (x
n
) = f (x
0
)
para toda sequncia (x
n
)
nN
A convergente para x
0
.
Perceba com este teorema que, essencialmente, funes contnuas so aquelas que comutam com o smbolo
de limite, ou seja, f contnua se, e somente se,
lim
n+
f (x
n
) = f
_
lim
n+
x
n
_
,
desde que a sequncia (x
n
)
nN
esteja contida no domnio de f e seja convergente para um ponto deste conjunto.
Exemplo 6.7. Seja f : R R, dada por
f (x) =
_
_
_
1, se x Q
0, se x , Q
Dado x
0
R arbitrrio, tomando sequncias (x
n
)
nN
Q e (y
n
)
nN
Q
convergentes para x
0
, obtemos que
f (x
n
) 1 e f (y
n
) 0. Conclumos assim que f descontnua em qualquer ponto.
6.4 Corolrio. Dadas as funes f , g : A R contnuas no ponto x
0
A, ento f + g, f g, f g so contnuas
neste mesmo ponto. Se g(x
0
) ,= 0, ento
f
g
tambm contnua no ponto x
0
.
6.5 Proposio. Sejam f : A R R e g : B R A tais que f (A) B. Se f contnua em x
0
e g contnua
em y
0
= f (x
0
), ento g f contnua em x
0
. Segue que se f e g so contnuas, ento g f contnua.
Prova: Seja (x
n
)
nN
A convergente para x
0
. Como f contnua temos que f (x
n
) f (x
0
) = y
0
, e como
g contnua em y
0
temos que g ( f (x
n
)) g(y
0
) = g ( f (x
0
)). Segue que g f contnua em x
0
.
6.6 Proposio. Seja f : A R R contnua em x
0
A. Se f (x
0
) < L R, ento existe > 0 tal que f (x) < L
para todo x A tal que [x x
0
[ < . Temos uma concluso anloga se f (x
0
) > L.
6.1 O Teorema do Valor Intermedirio
6.7 Teorema (do Valor Intermedirio). Se f C ([a, b]) e f (a) < L < f (b) ento existe c (a, b) tal que f (c) = L.
A mesma concluso vale quando f (a) > L > f (b).
Prova: Seja S = x [a, b]; f (x) = L. imediato que S no vazio (a S) e limitado superiormente (b
cota superior de S). Sejam c = sup S e (x
n
)
nN
S tal que x
n
c. Temos que f (x
n
) = L para todo n N e
como f contnua em c temos
lim
n+
f (x
n
) = f (c).
Portanto, f (c) L e, logo, c < b.
Suponhamos que f (c) < L. Graas Proposio 6.6 existe > 0 tal que se x [a, b] e [x c[ < , ento
65
UNEB 2009.1
f (x) < L. Como c < b podemos tomar x [a, b] com c < x < c + para obter que f (x) < L. Isto implica que
x S e x > c = sup S, o que absurdo.
Exemplo 6.8. Mostre que a funo f : R R denida por f (x) = x
3
6x
2
+ 5x 12 possui pelo menos uma
raiz real no intervalo [5, 6].
Soluo: Como vimos no exemplo 6.5, toda funo polinomial contnua. Portanto f contnua, em
particular no intervalo [5, 6]. Como f (5) = 12 e f (6) = 18, pelo teorema do valor intermedirio, existe pelo
menos um c [5, 6], tal que f (5) = 12 < f (c) < 18 = f (6) e logo, algum c tal que f (c) = 0 [12, 18].
Pratique! Considere o polinmio p(x) = a
n
x
n
+ a
n1
x
n1
+ . . . + a
1
x + a
0
, onde a
n
> 0 e n mpar.
Mostre que:
(a) lim
x+
p(x) = +;
(b) lim
x
p(x) = ;
(c) p(x) tem raiz, isto , existe x
0
R tal que p(x
0
) = 0.
6.8 Proposio. Seja f : I R uma funo contnua, em que I um intervalo no degenerado. Ento:
(i) J = f (I) um intervalo;
(ii) Se f injetiva, ento f montona;
(iii) Se f injetiva, ento a funo f
1
: J I contnua.
Prova:
(i) Sejam a = inf J e b = sup J. Vamos mostrar que int J = (a, b) de onde seguir que J um intervalo (valer
uma dentre as seguintes possibilidades: J = (a, b), J = [a, b), J = (a, b] ou J = [a, b]).
fcil perceber que se y a = inf J, ento y , int J. Da mesma forma, se y b = sup J, ento y , int J.
Segue que int J (a, b).
Seja y (a, b). Por denio 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
I 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 Intermedirio
funo 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) aberto, obtemos (a, b) int J.
(ii) Suponhamos, por absurdo, que f no seja montona. Ento 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 anlogo). Seja
L ( f (x
1
), f (x
2
)) (( f (x
3
), f (x
2
)). Graas ao Teorema do Valor Intermedirio, 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) J sabemos que f montona. Para xar as idias, suponhamos que f 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 so tais que f
1
(y)
< s < f
1
(y) < t < f
1
(y) + , ento f (s) < y < f (t). Como y
n
y, existe n
0
N tal que
66

Adriano Cattai
Anlise Real
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
.
Exemplo 6.9. Existncia da raiz n-zima de um nmero real a, isto ,
n
a, a R.
Considere a funo f [0, +) [0, +) denida por f (x) = x
n
, n N. Como f crescente (estritamente
crescente), temos que f injetora, f (0) = 0 e lim
x+
= +, donde f sobrejetora e, portanto, bijetora. Dado
a [0, +), existe um nmero b [0, +) tal que f (b) = a, isto , b
n
= a, ou seja, b =
n
a.
Quando n for mpar, a bijeo ser de R emR.
Pratique! Seja f : [0, 1) [2, 3] [0, 2] dada por f (x) = x se x [0, 1) ou f (x) = x 1 se x [2, 3].
Mostre que f uma bijeo contnua com inversa dada por f
1
(y) = y se y [0, 1) ou f
1
(y) =
y +1 se y [1, 2]. Conclua que f
1
descontnua em 1.
Pratique! Sejam f : R R e A R. Considere a seguinte denio: f contnua em A se f contnua
em todos os elementos de A. A notao f
A
indica que f denida em A R, ou seja, uma
restrio. Assim:
(a) Mostre que se f contnua em A, ento f
A
contnua.
(b) Encontre um exemplo onde f
A
contnua mas f no contnua emR.
6.2 Funes contnuas Denidas em Compactos
A compacidade pode ser bem explorada em vrias aplicaes. A compacidade uma propriedade preser-
vada por funes contnuas.
6.9 Teorema (Preservao de compacidade). Se K R compacto, e f : K R contnua, ento f (K)
compacto.
Prova: Seja ( = G
coleo de abertos em R tal que f (K)

. Logo K

f
1
(G
). Por f ser
contnua, para todo existe H
aberto emR tal que f

1
(G
) = H
K. Portanto H
uma cobertura aberta

de K. Como K compacto, ento existe H
1
, . . . , H
n
cobertura nita. Logo,
K
n
_
i=1
H
i
=
n
_
i=1
H
i
K =
n
_
i=1
f
1
(G
i
),
e ento f (K)
n
i=1
f
1
(G
i
). Portanto, achamos uma subcobertura nita para f (K), e conclumos assim que
f (K) compacto.
6.10 Denio. Dizemos que f : A R limitada em A se existe M R tal que [ f (x)[ M para todo x A.
Exemplo 6.10.
As funes f (x) = sen(x) e g(x) = cos(x) so limitadas em R, pois [ sen(x)[ 1 e [ cos(x)[ 1 para todo
x R.
A funo f (x) =
1
x
no limitada em R
+
. Entretanto f (x) limitada em
_
1
2
, +
_
pois
1
x
2 para todo x
neste intervalo.
67
UNEB 2009.1
6.11 Corolrio. Seja K R compacto, e f : A R contnua em K. Ento f limitada em K.
6.12 Denio. Sejam f : A R R e B A. Se f (x
0
) f (x) para todo x B, ento dizemos que x
0
um
ponto de mximo de f em B. Neste caso, f (x
0
) o valor mximo de f em B. Se f (x
0
) f (x) para todo x B, ento
x
0
dito ponto de mnimo de f em B e f (x
0
) o valor mnimo de f em B. Se x
0
ponto de mximo ou de mnimo
em B, ento x
0
chamado de extremo em B. Em particular, quando B = A trata-se de mximo global ou mnimo
global ou extremo global de f .
Nota 19. Se uma funo f como acima denida assume seus valores mximo e mnimo em A, ento f
limitada em A.
Exemplo 6.11. A funo f : (1, 1) R dada por f (x) =
1
1 x
2
no limitada em (1, 1), mas limitada em
_
1
2
,
1
2
_
, por exemplo.
Exemplo 6.12. A funo g(x) = x contnua e limitada em (1, 1), mas no assume valor mximo nem mnimo
em (1, 1). Entretanto f assume seus valores mximo e mnimo em [1, 1].
Exemplo 6.13. Afuno h(x) =
1
1 + x
2
limitada emR, assume seu valor mximo em x = 0, pois 0 <
1
1 + x
2

1 = h(0). h no assume seu valor mnimo, isto porque inf h(R) = 0 ,= h(x) para todo x R.
x
y
1
De modo geral, temos:
6.13 Teorema (Weierstrass). Seja f : K R contnua num compacto K R, ento f tem pontos de mximo e
de mnimo em K.
Prova: Mostraremos inicialmente que f limitada superiormente em K. Suponhamos, por absurdo que
para todo n N existe x
n
K tal que f (x
n
) > n. Claramente, temos que lim
n+
f (x
n
) = +. Como
K compacto, a sequncia (x
n
)
nN
possui uma subseqncia convergente para algum x K (por abuso
de notao, tal subseqncia tambm ser denotada (x
n
)
nN
, isto no deve atrapalhar o seu entendimento).
Como f contnua conclumos que f (x) = lim
n+
f (x
n
) = +. Absurdo!
Mostremos agora que existe ponto de mximo em K. Sendo f limitada superiormente em K, existe M =
supf (x); x K. Tomemos uma sequncia (x
n
)
nN
K tal que lim
n+
f (x
n
) = M. Como anteriormente,
podemos extrair uma subseqncia, ainda denotada (x
n
)
nN
, convergente para x
0
K. Da continuidade de
f conclumos que f (x
0
) = lim
n+
f (x
n
) = M. Segue que x
0
um mximo de f em K.
A demonstrao da existncia de um ponto de mnimo de f em K anloga
6.3 Funes Uniformemente Contnuas
Considere g(x) =
1
x
, para x (0, 1). Seja c (0, 1). Ento
g(c) g(x) =
1
c

1
x
=
x c
cx
.
68

Adriano Cattai
Anlise Real
Para mostrarmos que g contnua em c. seja > 0. Sem perda de generalidade, podemos assumir que < 1, e
portanto c < 1. Seja =
c
2

2
. Ento
[x c[ < c < x + = x +
c
2

2
< x +
c
2

c
2
< x.
Logo
[x c[ < [g(x) g(c)[ =
[x c[
cx
<
cx
=
c
2
2cx
=
c
2x
<
onde usamos que
c
2
< x na ltima desigualdade. Mostramos ento, usando s e s que
1
x
contnua em todo
ponto diferente de zero.
O objetivo principal do clculo acima ressaltar que a escolha de no uniforme em relao ao ponto c,
isto , depende de c.
Em outros casos, a escolha de independe do ponto em questo. Por exemplo, para f (x) = x, dado > 0,
tomando = temos
[x c[ < [ f (x) f (c)[ < .
Dizemos que esta funo uniformente contnua.
6.14 Denio. Seja f : A R R. Dizemos que f uniformemente contnua se
> 0, > 0 tal que x, y A, [x y[ < [ f (x) f (y)[ < .
Observe bem a diferena entre as denies de continuidade e continuidade uniforme. Apenas trocamos a
expresso y A de lugar. Isto realmente uma grande diferena. A denio de continuidade diz que, dado
> 0 e y A, existe > 0, dependente de e de y tal que se x A e [x y[ < ento [ f (x) f (y)[ < . A
denio de continuidade uniforme nos diz mais que isto: possvel encontrar , independente de y.
Ainda, na denio, x e y desempenham papis inteiramente simtricos. Fixado , a escolha de s depende
de , ao contrrio do que sucede na denio de funo contnua num ponto em que, para cada , a escolha de
depende de e do ponto em questo.
Por exemplo, a funo f : [2, 2]0 R denida por
f (x) =
1 se x [2, 0)
1se x (0, 2]
no uniformemente contnua em [2, 2]0, apesar de ser obviamente contnua. Para vericarmos que no
uniformente contnua, xando = 1, possvel, qualquer que seja > 0, encontrar pontos x, y em [2, 2]0,
por exemplo
x = max
_
2,
4
_
y = min
_
4
, 2
_
,
tais que [x y[ = min
_
4
, 4
_
< e [ f (x) f (y)[ = [ 1 1[ = 2 > 1 = .
Vejamos exemplos de funes uniformemente contnuas.
Exemplo 6.14. A funo f (x) = sen(x) uniformemente contnua emR, ou seja,
> 0 > 0 x, y R; [x y[ < [ sen(x) sen(y)[ < .
De fato, sendo > 0 basta escolher = e sabendo que [ sen(x)[ [x[, x R, temos:
[ sen(x) sen(y)[ =
2 cos
_
x + y
2
_
sen
_
x y
2
_
= 2
cos
_
x + y
2
_
sen
_
x y
2
_
sen
_
x y
2
_
x y
2
= [x y[.
69
UNEB 2009.1
Exemplo6.15. Veremos, a partir da denio, que a funo f (x) = 7 x
2
uniformemente contnua em[10, 1],
isto , que verdadeira a proposio
> 0 > 0 x, y [10, 1], [x y[ < [7 x
2
(7 y
2
)[ < .
Assim, seja > 0. Como
[7 x
2
(7 y
2
)[ = [ x
2
+ y
2
[ = [x y[[x + y[ 20[x y[,
segue que
[x y[ < [7 x
2
(7 y
2
)[ < ,
se <
20
.
Vejamos outro exemplo de funo contnua que no uniformemente contnua.
Exemplo 6.16. Vimos que f : R R, dada por f (x) = x
2
para todo x R, contnua. No entanto f no
uniformemente contnua emR, isto , falsa a proposio
> 0 > 0 x, y R, [x y[ < [x
2
y
2
[ < .
Da igualdade [x
2
y
2
[ = [x y[[x + y[ podemos concluir que x e y podem estar to prximos quanto se queira
e a diferena entre as suas imagens ser arbitrariamente grande (basta pensar em pontos x e y cuja diferena seja
sempre inferior a , mas que estejam arbitrariamente longe da origem).
O resultado abaixo garante que todas as funes contnuas em conjuntos fechados limitados so uniforme-
mente contnuas.
6.15 Teorema (de Cantor). Se K compacto e f C
0
(K), ento f uniformemente contnua em K.
Prova: Suponhamos, por absurdo, que f no uniformemente contnua. Ento, 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 sequncias (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. Podemos extrair uma subseqncia 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
tam-
bm converge para x. Como f 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.
Nota 20. O teorema de Cantor equivale a dizer que toda funo contnua num conjunto limitado e fechado
uniformemente contnua neste conjunto.
Exemplo 6.17. Seja f uma funo contnua emR. Veremos que f uniformemente contnua em todo o subcon-
junto limitado de R.
Seja A R um conjunto limitado. Se A for fechado, estamos nas condies do Teorema de Cantor. Supon-
hamos que A no fechado e m = inf(A) e M = sup(A). Consideremos o intervalo [m, M]. um subconjunto
fechado limitado de R. Como f contnua em R, f contnua em [m, M]. Pelo Teorema de Cantor, f uni-
formemente contnua nesse intervalo, sendo, portanto, uniformemente contnua em A [m, M].
70

Adriano Cattai
Anlise Real
6.16 Denio. Uma funo f : A R R dita Lipschitz continua (ou Lipschitz, ou Lippschitziana) se existe
> 0 tal que
[ f (x) f (y)[ = [x y[ x, y A.
6.17 Denio. Seja f : A R R. Dizemos que f uma contrao se existe (0, 1) tal que
[ f (x) f (y)[ [x y[ x, y A.
Ateno! Note que se f uma contrao, ento f uniformemente contnua
6.18 Teorema. Se A R e f : A R, e f de Lipschitz, ento f uniformemente contnua em A.
Prova: Seja R tal que
[ f (x) f (y)[ [x y[, x, y A.
Dado > 0, seja =

. Ento se x, y A e [x y[ < , temos que

[ f (x) f (y)[ [x y[ = ,
o que mostra que f uniformemente contnua em A.
Nem toda funo uniformemente contnua de Lipschitz, como mostra o exemplo abaixo.
Exemplo 6.18. Seja g : [0, 1] R, tal que g(x) =
x. Como [0, 1] compacto, e g contnua, ento g

uniformemente contnua em [0, 1]. Entretanto note que se g fosse de Lipschitz, ns teramos a existncia de
R tal que
x = [g(x) g(0)[ [x 0[ = x
1
x
x > 0,
um absurdo. Logo g no de Lipschitz apesar de ser uniformemente contnua em seu domnio.
Exemplo 6.19. A funo f (x) = x
2
lipschitziana em [0, 1]. De fato,
[x
2
y
2
[ = [x + y[ [x y[ ([x[ +[y[) [x y[ 2[x y[, x, y [0, 1].
A funo uniformemente contnua em [0, 1], no entanto, vimos que f (x) = x
2
no uniformemente con-
tnua emR.
O fato da funo ser uniformemente contnua depende do conjunto. Claro que se uma funo for uniforme-
mente contnua num conjunto X uniformemente contnua em todos os subconjuntos de X.
Captulo 7
Derivadas
7.1 Derivabilidade e Derivada
Vamos a uma breve introduo, escrita pelo professor Cassio Neri, da UFRJ.
71
UNEB 2009.1
As funes ans (funes g : R R da forma g(x) = ax + b, sendo a e b constantes, isto , funes cujos
grcos so retas) so mais simples de serem manipuladas do que outras funes (cujos grcos no so retas).
Por isto, pode ser til saber se possvel (e em caso armativo, de que modo) aproximar uma funo qualquer
por outra que seja am. Intuitivamente, dada a funo f , queremos encontrar uma funo am g que mais se
parea com f . Vejamos um exemplo que foge um pouco do contexto mas que sucientemente familiar para
auxiliar nossa intuio.
Consideremos a Terra. Durante muitos milhares de anos, pensou-se que a superfcie terrestre era plana. A
razo que o planeta era visto de muito perto. S quando nos afastamos dele, vemos que na realidade a sua
superfcie mais parecida com uma esfera do que com um plano. Diz-se que Aristteles reparou isto vendo
a sombra da Terra sobre a Lua durante um eclipse. De certa forma, Aristteles precisou recorrer imagem da
Terra vista da Lua para poder perceber que a Terra no era plana. Ora, se a Terra parece (ou parecia) plana
signica que existe um plano que se parece muito com a Terra, certo? Na verdade, sabemos que no um
plano, mas sim vrios planos. Para um habitante de Tquio, o plano que mais parece com a Terra no o
mesmo que para ns. Isto nos indica que esta noo de aproximao local, isto , dependendo do ponto onde
nos colocamos percebemos de modo diferente o objeto simples (reta, plano, etc.) que mais parece com o objeto
original (curva, esfera, etc.).
Voltando ao caso de uma funo real. Dada a funo f denida numa vizinhana de x
0
queremos determi-
nar a funo am g, dada por g(x) = ax + b, que mais se parea com f na vizinhana de x
0
(lembre-se que
esta semelhana local, isto , perto de x
0
). Determinar g signica determinar as constantes a e b. Ser mais
conveniente, modicando a constante b, escrever a funo g na forma g(x) = a(x x
0
) + b (convena-se que
toda funo am pode ser escrita desta forma).
Como proceder? A resposta depende, claro, do que se entende por aproximar uma funo. Devemos
precisar o que signica g ser a funo am que mais se parece com f na vizinhana de um ponto. natural de
se exigir que a funo g satisfaa as seguintes condies:
(i) g(x
0
) = f (x
0
);
(ii) lim
xx
0
( f (x) g(x)) = 0.
fcil ver que a primeira condio equivalente a b = f (x
0
). A condio (ii) signica que o erro r(x) =
f (x) g(x) cometido ao aproximar f por g no ponto x ca to pequeno quanto quisermos bastando para isto
tomar x sucientemente prximo de x
0
. Substituindo g por sua expresso em (ii) obtemos
lim
xx
0
[ f (x) (a(x x
0
) + f (x
0
))] = 0 lim
xx
0
f (x) = lim
xx
0
( f (x
0
) + a(x x
0
)) = f (x
0
).
Ou seja, (ii) equivalente continuidade de f em x
0
. Veja que este resultado (in)felizmente no implica nada
sobre a constante a. Ser que existe algum valor para a que d a melhor aproximao?
Fazemos a seguinte denio.
7.1 Denio. Seja f : A R R dizemos que f derivvel em x
0
A se existe a R tal que
lim
xx
0
f (x) ( f (x
0
) + a(x x
0
))
x x
0
= 0. (7.1)
Esta denio acima difere daquela clssica presente na maioria (seno todos) os livros de Clculo. A
proposio seguinte resolve esta confuso mostrando que as duas denies so equivalentes. A escolha pela
Denio 7.1 se deve ao fato que ela pode ser facilmente generalizada para funes de mais variveis (inclusive
innitas!).
7.2 Proposio. Uma funo f : A R derivvel em x
0
A se, e somente se, o limite abaixo existe e nito.
lim
xx
0
f (x) f (x
0
)
x x
0
.
72

Adriano Cattai
Anlise Real
Neste caso, a constante a em (7.1) nica e igual ao limite acima.
Prova: Pelo fato que
f (x) ( f (x
0
) + a(x x
0
))
x x
0
=
f (x) f (x
0
)
x x
0
a,
temos portanto,
lim
xx
0
f (x) ( f (x
0
) + a(x x
0
))
x x
0
= 0 lim
xx
0
f (x) f (x
0
)
x x
0
= a.
7.3 Denio. Seja f : A R. Se f derivvel em x
0
A, ento a derivada de f em x
0
denotada por f
(x
0
) e
denida por
f
(x
0
) = lim
xx
0
f (x) f (x
0
)
x x
0
.
Se f derivvel em todo ponto do seu domnio, ento dizemos simplesmente que f derivvel. A funo f
,
denida no conjunto dos pontos onde f derivvel, que a cada x associa f
(x) chamada de derivada de f .

Se f derivvel em x
0
, ento a reta de equao g(x) = f (x
0
) + f
(x
0
)(x x
0
) a reta que melhor aproxima
o grco de f numa vizinhana de x
0
. Tal reta chamada de reta tangente ao grco de f no ponto x
0
.
Exemplo 7.1. Seja f : R R dada por f (x) = ax + b para todo x R com a e b constantes. Perguntamos se f
derivvel num ponto x
0
R e, no caso armativo, quanto vale f
(x
0
)?
Soluo: Determinar se f derivvel em x
0
corresponde a determinar se f pode ser bem aproximada
por uma funo am numa vizinhana de x
0
. Neste exemplo, f j am e portanto pode ser muito bem
aproximada por ela mesma. Alm disto, sendo a derivada igual ao coeciente do termo em x da aproximao,
temos imediatamente que f
(x
0
) = a qualquer que seja x
0
R. Vamos vericar isto rigorosamente a partir da
denio. Temos
lim
xx
0
f (x) f (x
0
)
x x
0
= lim
xx
0
ax + b ax
0
b
x x
0
= a.
Assim, f derivvel em todo ponto x
0
R com f
(x
0
) = a. Em particular, se f constante (a = 0), obtemos
que f
(x
0
) = 0 para todo x
0
R.
Exemplo 7.2. Verique que a funo dada por f (x) = x
n
para todo x R(n N) derivvel em qualquer
ponto x
0
R com f
(x
0
) = nx
n1
0
.
Soluo: Como x
n
x
n
0
= (x x
0
) (x
n1
+ x
n2
x
0
+ . . . + xx
n2
0
+ x
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 Clculo I. Vamos admitir conhecidas vrias funes
e suas derivadas. Em qualquer curso de Anlise o enfoque no deve estar no clculo de derivadas mas sim no
estudo rigoroso de suas principais propriedades.
73
UNEB 2009.1
7.2 Propriedades Operatrias
As propriedades operatrias das derivadas so, em sua maioria, conseqncias imediatas das propriedades
anlogas sobre limites.
7.4 Proposio. Sejam f , g : A R R derivveis em x
0
A e seja c R. Temos:
(i) f g derivvel em x
0
e ( f g)
(x
0
) = f
(x
0
) g
(x
0
);
(ii) f g derivvel em x
0
e ( f g)
(x
0
) = f
(x
0
) g(x
0
) + f (x
0
) g
(x
0
);
(iii) se g(x
0
) ,= 0, ento
f
g
derivvel em x
0
e
_
f
g
_
(x
0
) =
f
(x
0
) g(x
0
) f (x
0
) g
(x
0
)
g(x
0
)
2
.
Prova:
(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 Proposio 5.7, sobre propriedades de limites.
(ii) Veja as seguintes igualdades:
( f g)(x) ( f g)(x
0
)
x x
0
=
f (x) g(x) f (x
0
) g(x
0
) + f (x) g(x
0
) f (x) g(x
0
)
x x
0
=
( f (x) f (x
0
)) g(x
0
) + f (x) (g(x) g(x
0
))
x x
0
=
f (x) f (x
0
)
x x
0
g(x
0
) + f (x)
g(x) g(x
0
)
x x0
.
Pela Proposio 5.7, tem-se (ii).
(iii) Com um clculo anlogo ao anterior, obtemos
(
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, pela Proposio 5.7, conclui-se o resultado.
Perceba!
Se no item (ii) da proposio zermos f (x) = c R, ento teremos c g derivvel em x
0
e
(c g)
(x
0
) = c g
(x
0
);
7.5 Proposio (Regra da Cadeia). Sejam f : A R R e g : B R R com f (A) B (segue que g f est
bem denida). Se f derivvel em x
0
A e g derivvel em f (x
0
) B, ento g f derivvel em x
0
e, alm
disto,
(g f )
(x
0
) = g
( f (x
0
)) f
(x
0
).
Prova: 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
).
74

Adriano Cattai
Anlise Real
imediato que lim
yf (x
0
)
r(y) = 0 = r ( f (x
0
)).
Se y B e y ,= f (x
0
), ento
g(y) g ( f (x
0
)) = g
( f (x
0
)) (y f (x
0
)) + r(y) (y f (x
0
)) .
Como a equao acima , trivialmente, verdadeira para y = f (x
0
) temos que ela vlida para todo y B.
Fazendo y = f (x) com x A, x ,= x
0
, na equao 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 contnua em x
0
e r contnua em f (x
0
), da Proposio 6.5 obtemos que lim
xx
0
r ( f (x)) = 0. Conclu-
mos a demonstrao, fazendo x x
0
na equao acima e usando a Proposio 5.7.
7.6 Proposio. Sejam A, B R e f : A B invertvel. Se f derivvel em x
0
A com f
(x
0
) ,= 0 e f
1
contnua em f (x
0
), ento f
1
derivvel em f (x
0
) e, alm disto,
_
f
1
_
( f (x
0
)) =
_
f
(x
0
)
_
1
.
Prova: Seja y
0
= f (x
0
). Como f derivvel em x
0
temos que x
0
A x
0
e, portanto, existe uma
seqncia (x
n
)
nN
A x
0
convergente para x
0
. Como f injetiva temos que ( f (x
n
))
nN
B y
0
.
Alm 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 seguir da Proposio 5.3.
Denindo x
n
= f
1
(y
n
), para todo n N, temos que (x
n
)
nN
A x
0
e, como f
1
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 +.
Exemplo 7.3. Vimos que a funo f : [0, +) [0, +), dada por f (x) = x
2
para todo x 0 tem inversa
contnua. Como a derivada de f s se anula em 0, a proposio anterior implica que f
1
derivvel em f (x) se
x > 0, ou seja, f
1
derivvel em (0, +). Alm disto, em y = f (x) > 0, a derivada de f
1
dada por
( f
1
)
(y) =
1
f
(x)
=
1
2x
=
1
2
y
.
Nota 21. De modo geral, seja f : R
+
R
+
dada por f (x) = x
n
, onde n N. Ento f tem inversa
g : R
+
R
+
, e g(y) =
n
y. Para y > 0 temos ento

g
(y) =
1
n y
n1
n
.
Note que g no diferencivel no zero pois f
(0) = 0.
Exemplo 7.4. 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 derivvel com f
(x) = 1 para todo x no domnio de f . No nal da seo 6.1, deixamos um

exerccio para vericar que f uma bijeo com inversa descontnua em 1. Portanto, f
1
no derivvel em 1.
75
UNEB 2009.1
7.3 Extremos Locais e o Teorema do Valor Mdio (Lagrange)
Veremos a seguir como a derivada pode ser til na determinao de extremos locais (e a posteriori de ex-
tremos globais). O resultado importante neste sentido o Teorema dos Extremos Locais.
Alm de ser um resultado de uso bastante prtico ele tambm tem importncia terica. Por exemplo, usare-
mos o Teorema dos Extremos Locais para demonstrar o Teorema do Valor Mdio (ou de Lagrange). Este ltimo
um dos teoremas mais fundamental da Anlise Real.
7.7 Denio. Seja f : A R R. Dizemos que x
0
A um ponto de mximo local de f se x
0
ponto de
mximo de f na interseo de A com uma vizinhana de x
0
. Mutatis mutandis dene-se ponto de mnimo local e
ponto de extremo local (veja a Denio 6.12).
Ateno! Todo extremo global extremo local.
7.8 Teorema (Dos Extremos Locais). Seja f : A R R. Se x
0
A um extremo local de f tal que x
0
int A
e f derivvel em x
0
, ento f
(x
0
) = 0.
Prova: Suponhamos que x
0
um ponto de mximo local de f .
Como x
0
ponto de mximo local no interior de A, existe > 0 tal que se [x x
0
[ < , ento 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.
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.
A demonstrao anloga para ponto de mnimo local.
Como dissemos anteriormente, o Teorema dos Extremos Locais til na determinao dos extremos globais
de uma funo f : A R R. De fato, temos as seguintes implicaes:
x
0
extremo global x
0
extremo local
x
0
int A e f derivvel em x
0
_
f
(x
0
) = 0.
Desta forma, se x
0
extremo global, ento x
0
pertence a algum dos trs conjuntos abaixo:
x int A; f derivvel em x e f
(x) = 0,
A int A,
x int A; f no derivvel em x.
Exemplo 7.5. Seja f : [0, 4] R dada por f (x) = [x 1[(5 x) para todo x [0, 4]. Como f contnua e
A = [0, 4] compacto, f tem extremos globais. Vamos determin-los. Temos que
f (x) =
_
_
_
(1 x)(5 x), se 0 x 1,
(x 1)(5 x), se 1 < x 4
Segue que f derivvel em todo ponto x A 1 (verique). Alm disto,
f
(x) =
_
_
_
2x 6, se 0 x < 1,
6 2x, se 1 < x 4.
76

Adriano Cattai
Anlise Real
Assim, todo extremo global pertence a algum dos trs conjuntos abaixo:
x int A; f derivvel em x e f
(x) = 0 = 3,
A int A = 0, 4,
x int A; f no derivvel em x = 1.
Uma simples vericao nos d f (0) = 5, f (1) = 0, f (3) = 4 e f (4) = 3. Portanto, 0 o ponto de mximo
global e 1 o ponto de mnimo global de f .
7.9 Teorema (Do Valor Mdio). Se f C([a, b]) (com a < b) derivvel em (a, b), ento existe c (a, b) tal que
f (b) f (a) = f
(c)(b a).
Prova: Considere a funo g denida sobre o compacto [a, b] dada por
g(x) = f (x) f (a)
f (b) f (a)
b a
(x a).
Temos que g C ([a, b]) e g derivvel em (a, b) com
g
(x) = f
(x)
f (b) f (a)
b a
.
Para terminar a demonstrao basta mostrar que existe c (a, b) tal que g
(c) = 0. Observamos inicialmente

que g(a) = g(b) = 0. Se g for constante, ento no h mais nada a ser demonstrado. Suponhamos que g no
seja constante.
Pelo Teorema de Weierstrass, g tem extremos globais em [a, b]. Como g no constante, um destes ex-
tremos, denotado c, tal que g(c) ,= g(a) = g(b) e portanto c (a, b). Do Teorema dos Extremos Locais segue
que g
(c) = 0.
7.10 Corolrio (Teorema de Rolle). Se f C ([a, b]) (com a < b) derivvel em (a, b) com f (a) = f (b), ento
existe c (a, b) tal que f
(c) = 0.
Uma interessante aplicao do Teorema do Valor Mdio garante que se uma funo denida num intervalo
tem derivada identicamente nula, ento a funo constante.
7.11 Corolrio. Seja f : [a, b] R contnua em [a, b], onde a < b, e diferencivel em (a, b). Se f
(x) = 0 para
todo x [a, b], ento f constante em [a, b].
Observe que pelo resultado acima, se f , g so funes diferenciveis que tem a mesma derivada no intervalo
I, ento f e g diferem por uma constante, isto ,
Se f
(x) = g
(x), x I, ento f (x) g(x) = K R.

Prova: Seja a < x < b. Pelo Teorema do Valor Mdio, existe c (a, x) tal que f (x) f (a) = f
(c)(x a).
Como f
(c) = 0, temos f (x) = f (a). Como x arbitrrio, temos f constante em (a, b). Logo temos f constante
em [a, b].
Importante! A funo f (x) =
x
[x[
, denida para todo x R 0, no constante, embora cumpra
f
(x) = 0 para todo x R0. O motivo que o domnio de f no um intervalo.

7.12 Corolrio. Sejam I R um intervalo no degenerado e f , g C
0
(I), derivveis em int I. Temos:
77
UNEB 2009.1
(i) se f
(x) 0 para todo x int I, ento f crescente;

(ii) se f
(x) > 0 para todo x int I, ento f estritamente crescente;

(iii) se f
(x) 0 para todo x int I, ento f decrescente;

(iv) se f
(x) < 0 para todo x int I, ento f estritamente decrescente;

(v) se f
(x) = g
(x) para todo x int I, ento f g constante.

Prova: Provemos (i). Sejam a, b I com a < b. Aplicando o Teorema do Valor Mdio 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 crescente.
Os itens (ii), (iii) e (iv) so anlogos ao item (i); e o item (v) basta aplicar o Corolrio 7.11 funo f g.
Nota 22. No verdade que se f
(c) > 0 para algum ponto c no domnio de f implique em f crescente

numa vizinhana de c. Como exemplo considere
g(x) =
_
_
x +2x
2
sen
_
1
x
_
, se x ,= 0
0, se x = 0
que diferencivel em zero com g
(0) = 1, mas no crescente em nenhuma vizinhana do zero.

Outra aplicao do Teorema do Valor Mdio segue no exemplo abaixo.
Exemplo 7.6. Seja f (x) = e
x
. Ento f
(x) = e
x
. Mostre que e
x
> 1 + x para todo x ,= 0.
Soluo: Seja x > 0. Ento aplicando o Teorema do Valor Mdio em [0, x] temos que existe c (0, x) tal
que
e
x
e
0
= e
c
(x 0).
Como c > 0, ento e
c
> e
0
= 1, donde
e
x
> 1 + x.
Para x < 0, os argumentos so semelhantes.
78

Adriano Cattai
Anlise Real
Nota 23.
Esse simples exemplo (acima), nos permite mostrar que para todo n N, vale lim
x+
x
n
e
x
= 0. Vejamos.
Temos e
x
n+1
> 1 +
x
n + 1
>
x
n +1
se x > 0. Elevando potncia n + 1 e escrevendo A = (n + 1)
n+1
,
obtemos
e
x
>
x
n+1
A
, donde
e
x
x
n
>
x
A
, ou
x
n
e
x
<
A
x
.
O resultado segue-se.
De modo geral, conclumos que lim
x+
p(x)
e
x
= 0, para todo polinmio p. De fato, se a
n
x
n
o termo de
mais alto grau de p, sabe que lim
x+
p(x)
x
n
= a
n
. Logo
lim
x+
p(x)
e
x
= lim
x+
p(x)
x
n

x
n
e
x
= a
n
0 = 0.
7.13 Corolrio. Seja f : I R derivvel no intervalo I. Se existe k R tal que [ f
(x)[ k para todo x I

ento, quaisquer que sejam x, y I, tem-se
[ f (x) f (y)[ k [x y[.
Soluo: Dados x, y I, f contnua no intervalo fechado cujas extremidades so x e y e derivvel no
intervalo aberto correspondente. Logo, f (x) f (y) = f
(c) (x y), em que c um ponto entre x e y. Como

f
(c) k, vem
[ f (x) f (y)[ = [ f
(c)[ [x y[ k [x y[.
Veja! A funo que possui sua derivada limitada num intervalo aberto lipschitziana, e portanto
uniformemente contnua.
Em particular, se I = (a, b), existem lim
xa
+
f (x) e lim
xa
f (x).
Exemplo 7.7 (Contra-Exemplo). A funo f : (0, +) R, denida por f (x) = sen
_
1
x
_
, no possuindo
limite direita no ponto 0, tem derivada ilimitada em qualquer intervalo do tipo (0, ). Sabemos que, para
x ,= 0, f
(x) =
1
x
2
cos
_
1
x
_
.
Nota 24. Se f contnua em [a, b] e derivvel em (a, b), segue-se por passagem ao limite que a desigual-
dade [ f (x) f (y)[ k [x y[ ainda vlida para x, y [a, b], desde que [ f
(x)[ k para todo x (a, b).

7.14 Corolrio. Seja f contnua em [a, b] e derivvel em (a, b). Se existe lim
xa
+
f (x) = L ento existe f
+
(a) e vale
f
+
(a) = L
Prova: Basta mostrar que, dada arbritariamente uma seqncia de pontos x
n
> a com limx
n
= a tem-se
lim
n+
f (x
n
) f (a)
x
n
a
= L. Ora, pelo teorema do valor mdio, para cada n N existe y
n
, com a < y
n
< x
n
, tal
que
f (x
n
) f (a)
x
n
a
= f
(y
n
).
evidente que y
n
a. Logo lim
n+
f
(y
n
) = L, o que fornece o resultado desejado.
79
UNEB 2009.1
Evidente, um enunciado anlogo vlido para o limite esquerda.
7.15 Corolrio.
O teorema que segue, uma generalizao do Teorema do Valor Mdio.
7.16 Teorema (De Cauchy). Se f , g C ([a, b]) (com a < b) so derivveis em (a, b) e g
no se anula em (a, b),

ento g(a) ,= g(b) e existe c (a, b) tal que
f (b) f (a)
g(b) g(a)
=
f
(c)
g
(c)
.
Prova: Observamos inicialmente que g(a) ,= g(b), pois seno, pelo Teorema de Rolle, g
se anularia em
algum ponto de (a, b). Considere a funo 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)) .
fcil ver que h satisfaz as hipteses 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.
Dizemos que o Teorema de Cauchy uma generalizao do Teorema do Valor Mdio. Mas observe que na
sua demonstrao, usamos o Teorema de Rolle que aparecia como caso particular do Teorema do Valor Mdio.
Ou seja, mostramos as seguintes implicaes:
Teorema do Valor Mdio
Teorema de Rolle
Teorema de Cauchy
Teorema do Valor Mdio

Portanto estes trs resultados so equivalentes.
7.4 Regras de LHospital
7.17 Proposio (Regra de LHospital 0/0). Sejam f e g funes derivveis em(a, b). Se lim
xa
+
f (x) = lim
xa
+
g(x) =
0, g
no se anula em (a, b) e existe lim

xa
+
f
(x)
g
(x)
(nito ou no), ento existe lim
xa
+
f (x)
g(x)
e
lim
xa
+
f (x)
g(x)
= lim
xa
+
f
(x)
g
(x)
.
Prova: Como limx a
+
f (x) = 0, modicando ou estendendo f , se necessrio, podemos supor que
f (a) = 0. Analogamente, g(a) = 0. Desta forma f e g so contnuas em [a, b).
80

Adriano Cattai
Anlise Real
Seja x (a, b). Aplicando o Teorema de Cauchy s funes 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)
.
O resultado segue da igualdade acima observando que y a
+
quando x a
+
.
A proposio tambm vlida quando no seu enunciado substitumos x a
+
por x b
. Da mesma
forma, a Regra de LHospital vale para limites do tipo x a. A seguir veremos o caso em que x + (o caso
x anlogo).
7.18 Corolrio. Sejam f e g funes derivveis em (a, +). Se lim
x+
f (x) = lim
x+
g(x) = 0, g
no se anula em
(a, +) e existe lim
x+
f
(x)
g
(x)
x+
f (x)
g(x)
e
lim
x+
f (x)
g(x)
= lim
x+
f
(x)
g
(x)
.
Prova: Considere a funo F denida sobre um intervalo (0, b) por F(y) = f
_
1
y
_
. Analogamente deni-
mos G(y) = g
_
1
y
_
. Os seguintes fatos so de vericao imediata:
(i) F e G so derivveis com F
(y) =
f
_
1
y
_
y
2
e G
(y) =
g
_
1
y
_
y
2
(segue que G
no 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
y0
+
g(x) = 0;
(iv) lim
y0
+
F
(y)
G
(y)
= lim
y0
+
f
_
1
y
_
g
_
1
y
_ = lim
y0
+
f
(x)
g
(x)
.
Pela proposio anterior, lim
y0
+
F(y)
G(y)
= lim
y0
+
f
(x)
g
(x)
. Ento
lim
y0
+
f (x)
g(x)
= lim
y0
+
f
_
1
y
_
g
_
1
y
_ = lim
y0
+
F(y)
G(y)
= lim
y0
+
f
(x)
g
(x)
.
7.19 Proposio (Regra de LHospital /). Sejam f e g funes derivveis em (a, b). Se lim
xa
+
f (x) =
lim
xa
+
g(x) = +, g
no se anula em (a, b) e existe lim

xa
+
f
(x)
g
(x)
xa
+
f (x)
g(x)
e
lim
xa
+
f (x)
g(x)
= lim
xa
+
f
(x)
g
(x)
.
A proposio tambm vlida nos casos x b
e x a. Abaixo veremos o caso em que x +

(analogamente, o caso em que x ).
7.20 Proposio. Sejam f e g funes derivveis em (a, +). Se lim
x+
f (x) = lim
x+
g(x) = +, g
no se anula
em (a, +) e existe lim
x+
f
(x)
g
(x)
, ento existe lim
x+
f (x)
g(x)
e
lim
x+
f (x)
g(x)
= lim
x+
f
(x)
g
(x)
.
81
UNEB 2009.1
Referncias Bibliogrcas
[1] VILA, Geraldo. Anlise Matemtica para Licenciatura. 3
a
edio, revisada e ampliada. Edgard Blcher,
So Paulo. 2006;
[2] LIMA, Elon Lages. Anlise Real, VOL. 1. Coleo Matemtica Universitria. 10
a
edio. IMPA, Rio de
Janeiro. 2008;
[3] LIMA, Elon Lages. Curso de Anlise, VOL. 1. 12
a
edio. IMPA, Rio de Janeiro. 2007;
[4] MALTA, Iaci; PESCO, Sinsio & LOPES, Hlio. Clculo a uma varivel: uma introduo ao clculo. VOL.
1. Ed. PUC-RIO, Rio de Janeiro, 2002;
[5] FARIA, Isabel; MESQUITA, Ana Isabel & CADIMA, Jorge. Apontamentos de Anlise Matemtica I. Insti-
tuto Superior de Agronomia. Universidade Tcnica de Lisboa. 2005.
Texto composto em L
A
T
E
X2
, APC, 6 de maio de 2009

82

Adriano Cattai

AnaliseReal Cattai Uneb

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

AnaliseReal Cattai Uneb

Uploaded by

Copyright:

Available Formats

ANLISE REAL

(N2) A adio e a multiplicao so comutativas:

= 0, 1, 2, 3, . . . (conjunto dos inteiros no positivos)

= . . . , 3, 2, 1, 1, 2, 3, . . . (conjunto dos inteiros no nulos)

dos inteiros maiores ou iguais a

. Como a S, certamente a < m, logo a

, isto , m1 S. Conforme (ii), teremos

e consideremos o polgono convexo a

. Agora, a soma dos ngulos do polgono original ser S

2 so irracionais, no entanto a + b = 1 racional.

, ento existe L tal que x A

aberto, existe um > 0 tal que

A, temos que (x , x + ) A. Assim, todo ponto x de A um ponto

aberto. Temos que A =

o conjunto dos pontos de acumulao de X.

so abertos, diz-se que ( uma cobertura aberta. Quando L =

L tal que ainda se tem X

. Temos ento 0 <

que nos leva a esta confuso. Se no tivermos

. Para tal n as duas concluses anteriores so vlidas. Temos ento

Isto conclui a demonstrao.

f (x) = 1, ento no existe limite de f no zero.

existe > 0 tal que

coleo de abertos em R tal que f (K)

aberto emR tal que f

uma cobertura aberta

. Ento se x, y A e [x y[ < , temos que

x. Como [0, 1] compacto, e g contnua, ento g

(x) chamada de derivada de f .

y. Para y > 0 temos ento

(x) = 1 para todo x no domnio de f . No nal da seo 6.1, deixamos um

(c) = 0. Observamos inicialmente

(x), x I, ento f (x) g(x) = K R.

(x) = 0 para todo x R0. O motivo que o domnio de f no um intervalo.

(x) 0 para todo x int I, ento f crescente;

(x) > 0 para todo x int I, ento f estritamente crescente;

(x) 0 para todo x int I, ento f decrescente;

(x) < 0 para todo x int I, ento f estritamente decrescente;

(x) para todo x int I, ento f g constante.

(c) > 0 para algum ponto c no domnio de f implique em f crescente

(0) = 1, mas no crescente em nenhuma vizinhana do zero.

(x)[ k para todo x I

(c) (x y), em que c um ponto entre x e y. Como

(x)[ k para todo x (a, b).

no se anula em (a, b),

Teorema do Valor Mdio

no se anula em (a, b) e existe lim

no se anula em (a, b) e existe lim

e x a. Abaixo veremos o caso em que x +

, APC, 6 de maio de 2009

You might also like