Análise Real PDF

A NLISE R EAL
(MA0062)
Adriano Pedreira Cattai

http://cattai.mat.br
Universidade do Estado da Bahia UNEB
Semestre 2009.2
UNEB 2009.2
Sumrio
Apresentao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema e Demonstraes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Nmeros Naturais e Nmeros Inteiros

1.1
1.1.1
Nmeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Fundamentao Axiomtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Subtrao em N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.2
1.2
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.1
Fundamentao Axiomtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Subtrao em Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2
1.2.3
1.3
Princpio da Boa Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

O Princpio da Induo Completa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.1
Mtodo da Recorrncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3.2
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
3.1
27
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 Subsequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.2
Sequncias Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3
Sequencias Montonas e Sequencias Limitadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.4
Sequncias de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.5
Limites Infinitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
5.1
6 Funes Contnuas
6.1
57
Limites Laterais, Infinitos e no Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

63
O Teorema do Valor Intermedirio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

2 Adriano Cattai
Anlise Real
6.2
Funes contnuas Definidas 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 Bibliogrficas
82
UNEB 2009.2
A NLISE R EAL
Adriano Pedreira Cattai
http://cattai.mat.br
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 definir 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 bibliografia) 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 significa considerado vlido ou adequado ou considerado auto
4 Adriano Cattai
Anlise Real
evidente.
Um Teorema uma proposio glorificada. Ou seja, um resultado importante que se destaca. Usualmente
deixa-se o termo teorema para as afirmaes que podem ser provadas de grande importncia matemtica.
So dados outros nomes para os outros tipos dessas afirmaes (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 definio, muitas vezes tendo suas demonstraes 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 finita de
argumentos lgicos mostrando que determinada afirmao 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 suficiente para Q.
Ao final de uma demonstrao matemtica, usual aperecer Q.E.D (ou QED) que uma abreviatura para
Quod erat demonstrandum, uma expresso em Latim que significa 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 fim de simplificar a notao, admitimos no que se segue que a

http://cattai.mat.br 5
UNEB 2009.2
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, definies e teoremas j existentes.
Constri-se uma cadeia de condies intermedirias (R1 , R2 , . . . , Rn ) que decorrem umas das outras, de tal forma
que a transitividade da implicao lgica nos permite chegar validade de Q, admitindo a validade de P:
P ( x ) R1 ( x ) R2 ( 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.
Este teorema pode ser assim reescrito:

Se a, b R so pares, ento a + b par.
|
{z
}
| {z }
P( x )
Q( x )
Prova Contra-Recproco
Da lgica, temos que a implicao P Q logicamente equivalente ao seu contra-recproco, isto , afirmao 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 p2 par, ento p par.
| {z }
| {z }
P( x )
Q( x )
Prova: Devemos ter que, para nmeros naturais, se p mpar, ento p2 mpar. De fato,
| {z }
| {z }
Q( x )
p mpar
P( x )
p = 2n + 1, n N p2 = 4n2 + 4n + 1 p2 = 2q + 1, q = 2n2 + 2n N
p2 mpar.
Prova por Contradio (ou reduo ao absurdo)

Consiste em provar que admitir P em conjunto com Q gera uma contradio, ou impossibilidade, designada de absurdo. Vejamos como isso ocorre na prtica.

6 Adriano Cattai
Anlise Real
1
Teorema C. dado um nmero real a. Se |a {z
> 0}, ento > 0.
|a {z }
P( x )
Q( x )
1
1
Prova: A negao da consequncia > 0 < 0 (ignoramos a igualdade a zero, por no ser possvel para
a
a
qualquer a R). Mostraremos que no possvel verificar-se esta condio em simultneo com a premissa
a > 0. Ora,
a>0
1
a < 0 1 < 0,
1
a
<0
a
o que , certamente, uma afirmao falsa. Aqui est o absurdo e, portanto, a > 0
1
> 0.
a
Prova por Induo

Um caso base provado e uma regra de induo usada para provar uma srie de outros casos. Precisamente:
Seja P(n) uma condio com uma varivel n N, tal que:
1. condio inicial: o nmero n = 1 verifica a condio P(n); e
2. hiptese de induo: sempre que o nmero natural n verifica a condio P(n), ento o nmero n + 1 tambm
a verifica:
P ( n) P ( n + 1).
Ento, a condio P(n) verifica-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 finito de casos e provando cada um separadamente.

UNEB 2009.2
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, N ganha o nome (N o conjunto 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 final 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 razoavelmente pequena de propriedades bsicas e das duas operaes (soma e multiplicao) iremos obter as demais
propriedades.
Existe uma axiomtica, idealizada no final do sculo XIX pelo matemtico italiano Giuseppe Peano, que,
com quatro axiomas, consegue no s definir a adio e a multiplicao nos naturais, como tambm deduzir as
demais propriedades.
1.1.1 Fundamentao Axiomtica

Entre os nmeros naturais esto definidas duas operaes fundamentais: a adio (+) e a multiplicao (), e
uma relao de ordem menor do que (<). A operaes so assim definidas:
Adio. Associa os nmeros m, n N soma m + n.

+ : NN N
(m, n) 7 m + n
Multiplicao. Associa os nmeros m, n N ao produto m n.
: NN N
(m, n) 7 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 fluente 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 definidas:
a, b, a , b N, a = a b = b a + b = a + b a b = a b
(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
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.
Fique atento!
Alm destas propriedades, o conjunto N possui:

(N5) Integridade: dados a, b N, tem-se a + b N e a b N.
(N6) Lei da Tricotomia: Dados a, b N, uma, e apenas uma, das seguintes possibilidades verificada:
(i) a = b;
(ii) c N; b = a + c;
(iii) c N; a = b + c;
1.1 Definio (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 verificada. Analogamente, a propriedade (iii) sendo verificada, diremos
que b menor do que a, e escrevemos b < a.
Nota 1.
Com a definio acima, a lei da tricotomia nos diz que, dados a, b N, uma, e apenas uma, das
seguintes possibilidades verificada:
(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 definies, 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.

UNEB 2009.2
(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 consequncia do fato da adio ser bem definida (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 definida. 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 d1 , d2 N tais que b = a + d1 e c = b + d2 . Logo, usando a
associatividade da adio, temos que:
c = b + d2 = ( a + d1 ) + d2 = a + ( d1 + d2 ),
em que d1 + d2 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 em N
Dados dois nmeros naturais a e b, com a < b, sabemos que existe um nmero natural c tal que b = a + c.
Neste caso, definimos 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) 7 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 definio (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 definido. 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 N tais que a < b e c < d. Mostre que b a < d c b + c < a + d.

UNEB 2009.2
EP 1.2. Sejam a, b, c N tais que a (b c) esteja bem definido. Mostre que ( a + c) b est bem definido e
que a (b c) = ( a + c) b.
EP 1.3. Sejam a, b, c N tais que a < c e b < c. Mostre que, se c a < c b, ento a > b.
EP 1.4. Sejam a, b, c N tais que b + c < a. Mostre que a (b + c) e ( a b) c esto bem definidos e que vale
a igualdade a (b + c) = ( a b) c.
EP 1.5. Sejam a, b, c N tais 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, em 1889 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 definio 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 empregamos no captulo anterior, dos Nmeros Naturais, permitindo chegar mais rapidamente a resultados significativos. Mas, afinal, o que so os nmeros inteiros?
1.2.1 Fundamentao Axiomtica

Os nmeros inteiros formam um conjunto, que denotaremos por Z, assim definido:
Z = N {0} {n; n N },
no qual esto definidas duas operaes, a adio e a multiplicao, que definimos 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 verifica a equao a + x = 0. Deste modo, a
verifica a equao ( a) + x = 0, implicando que a o oposto de a, que indicado por ( a).

UNEB 2009.2
(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, verifica-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.
Em N definimos a relao menor do que (<) e que observamos no ser uma relao de ordem. Em Z, est
definida a relao menor do que ou igual (), que uma relao de ordem (verifique isso!) e que tambm
permite comparar seus elementos, da seguinte forma:
1.9 Definio (Relao de Ordem em Z). 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 definio, a Proposio 1.3 pode ser reescrita como:

1.10 Proposio.
(i) A relao menor do que ou igual reflexiva:
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 em Z
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, definimos 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) 7 c := b a b = a + c
De outro modo, pela existncia do simtrico aditivo, podemos definir em Z a subtrao, estabelecendo que
a b := a + (b), para todos a e b pertencentes a Z.
: ZZ Z
( a, b) 7 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. Em Z no existe esta preocupao.
1.2.2 Princpio da Boa Ordem

Para apresentar nosso ltimo axioma, introduziremos alguns conceitos.
1.11 Definio. 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 m0 X diz-se elemento mnimo de X se, para todo a X, tem-se que m0 a (verifique, se
existe um elemento mnimo de X ele nico!).
De modo anlogo, define-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 m2 < m. Assim, tambm
m2 > 0 e, como m < 1, da transitividade temos m2 < 1. Logo m2 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.

UNEB 2009.2
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;
(c) Se a2 = a, ento a = 0 ou a = 1;
(b) Se a2 = 0, ento a = 0;
(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, reflexiva, antisimtrica e transitiva.
EP 1.8. Seja a Z, mostre que:

(a) Se a 0, ento a 0;
(d) 1 > 0;
(b) Se a 0, ento a 0;
(e) Se a < b, ento a > b.
(c) a2 0 (terminologia usual: todo quadrado no negativo);

EP 1.9. Sejam a, b, c, d Z, prove que:
(a) Se a b e c 0, ento ac bc;
(c) Se a b e c 0, ento ac bc;
(b) Se c > 0 e ac < bc, ento a < b;
(d) Se c < 0 e ac > bc, ento a < b;
(e) a2 ab + b2 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 a2 < b3 . verdade que, se a < b, ento a2 < b2 ?
EP 1.10. Mostre que a equao x2 + 1 = 0 no tem soluo em Z.
1.3 O Princpio da Induo Completa

As cincias naturais utilizam o mtodo chamado induo emprica para formular leis que devem reger determinados 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,
frequentemente satisfatrio. A validade de um teorema matemtico se estabelece de forma totalmente diferente.
Verificar que uma certa afirmao verdadeira num grande nmero de casos particulares no permitir
concluir que ela vlida. Por exemplo, considere a expresso p(n) = n2 n + 41 e considere a seguinte afirmao: 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, com um pouco de pacincia, poder verificar que a afirmao
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 verificar sua validade? Evidentemente, impossvel demonstr-la em todos os casos particulares.
Para demonstrar a verdade desse tipo de proposio, que na realidade uma sequencia infinita 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 calcularem a 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:
Sn = 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
Sn
+ ... +
Sn
+ ( n 1) + ( n 2) + . . . +
2Sn
= ( n + 1) + ( n + 1) + ( n + 1) + . . . + ( n + 1)
Da segue que 2Sn = n(n + 1), e, portanto

Sn =
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 afirmao 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
m 1 < m. Temos ainda que m 1 < m = min(S ), logo m 1 S , isto , m 1 S. Conforme (ii), teremos
ento que m = (m 1) + 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 afirmao 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 afirmao P(n) verdadeira para todo inteiro n a.

UNEB 2009.2
Prova: Basta considerar o conjunto S dos inteiros n a para os quais P(n) verdadeira e verificar 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)
verdadeira para todo n N.
2
1(1 + 1)
. Deste modo, nossa afirmao verdadeira para
2
n = 1. Deveremos mostrar agora que, se a afirmao verdadeira para n = k, ento tambm verdadeira para
Para n = 1 a frmula acima vlida, pois 1 =
n = k + 1. Assim, estamos admitindo, ento, como hiptese de induo, que 1 + 2 + 3 + . . . + k =
k ( k + 1)
verdadeiro.
Somando k + 1 a ambos os membros dessa igualdade, temos
1 + 2 + 3 + . . . + k + ( k + 1) =
k ( k + 1)
k ( k + 1) + 2( k + 1)
+ ( k + 1) =
,
2
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
Sn = (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 afirmao vlida para n = k 3, isto , que a soma dos ngulos internos de um polgono
convexo de k lados Sk = (k 2) 180 e consideremos o polgono convexo a0 a2 . . . ak com k + 1 lados. O

polgono a0 a2 . . . ak que se obtm traando o segmento a0 a2 tem k lados, consequentemente, a soma dos seus
ngulos Sk = (k 2) 180 . Agora, a soma dos ngulos do polgono original ser Sk mais a soma dos ngulos
do tringulo a0 a1 a2 , isto ,
sk+1 = Sk + 180 = (k 2) 180 + 180 = (k 1) 180 .

Exemplo 1.3. A desigualdade 2n3 > 3n2 + 3n + 1 falsa para n = 1 e n = 2. Porm, para n = 3, temos 54 > 37,
que uma afirmao verdadeira. Provaremos que 2n2 > 3n2 + 3n + 1, n 3.
Suponhamos, ento, que a afirmao verdadeira para n = k 3, isto , que 2k3 > 3k2 + 3k + 1
verdadeira. O que deveremos fazer que a afirmao 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(k3 + 3k2 + 3k + 1) = 2k3 + 6k2 + 6k + 2.

18 Adriano Cattai
Anlise Real
Usando a hiptese de induo, vem
2( k + 1)3
> 3k2 + 3k + 1 + 6k2 + 6k + 2

= 3(k2 + 2k + 1) + 3k + 6k2
= 3(k + 1)2 + 3k + 6k2 .
Como k 3, temos que 6k2 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
Sn = 1 + 3 + 5 + . . . + (2n 1).
Vamos calcular Sn para alguns valores de n:
S1 = 1, S2 = 1 + 3 = 4, S3 = 1 + 3 + 5 = 9, S4 = 1 + 3 + 5 + 7 = 16, S5 = 1 + 3 + 5 + 7 + 9 = 25.
Os casos particulares acima nos conduzem a conjecturar que Sn = n2 . Mas como ter certeza de que no
estamos cometendo um engano? Bom, o nico jeito usar a induo matemtica.
Definamos p(n) : Sn = n2 . Temos p(1) : S1 = 1 = 12 , portanto verdade. Suporemos p(k), k 1 verdade,
isto , 1 + 3 + 5 + . . . + (2k 1) = k2 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) = k2 , obtemos

1 + 3 + 5 + . . . + (2k 1) + (2k + 1) = k2 + (2k + 1) = (k + 1)2 ,
ou seja, temos Sk+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
definir novos conceitos, o chamado mtodo da recorrncia.
Por exemplo, dado um inteiro a podemos definir potncia de a de expoente positivo da seguinte forma:
(i) a1 = a;
(ii) Para cada inteiro positivo n, definimos an+1 = a an .
Este par de condies d uma regra que especifica o significado do smbolo an para cada inteiro n 1. Por
conveno, definiremos a0 = 1.
O mtodo de recorrncia tambm usado para definir o smbolo n! (fatorial de n). Definimos:
(i) 1! = 1;

UNEB 2009.2
(ii) Para cada inteiro positivo n 2, definimos n! = n (n 1)!.
Assim, temos n! como o produto de todos os fatores positivos menores ou iguais a n. Define-se, 0! = 1.
1.17 Proposio. Sejam a e b dois inteiros. Para quaisquer m e n inteiros no negativos, temos que:
(ii) (am )n = amn ;
(i) am an = am+n ;
(iii) ( a b)n = an bn .
Prova: Provaremos apenas (i). Fixemos a e m arbitrariamente e demonstraremos a relao por induo
sobre n. Temos claramente, pelas definies, que
a m a1 = a m a = a m +1 .
Por outro lado, supondo que am an = am+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:
n(n + 1)(2n + 1)
(a) 12 + 22 + 32 + . . . + n2 =
;
6
)
(
n( n + 1) 2
(b) 13 + 23 + . . . + n3 =
;
2
(e)
(c) 13 + 23 + . . . + n3 = (1 + 2 + . . . + n)2 ;
(d)
1
1
1
n
+
+...+
=
;
12 23
n( n + 1)
n+1
1
1
1
n( n + 3)
+
+...+
=
.
123 234
n(n + 1)(n + 2)
4(n + 1)(n + 2)
EP 1.12. Ache uma frmula para cada uma das somas seguintes:
(a) 2 + 4 + . . . + 2n;
(c) 2 + 4 + 8 + . . . + 2n ;
(b) 2 + 5 + 8 + . . . + (3n 1);
(d)
1 1 1
1
+ + +...+ n.
2 4 8
2
EP 1.13. Mostre por induo que:

(a) 2n > n, para todo n N;
(f) n < 2n , para todo n N;
(b) n! > 2n , para todo n N {1, 2, 3};
(g)
(c) n! > n2 , para todo n N {1, 2, 3};

(d) n! > n3 , para todo n N {1, 2, 3, 4, 5};
(e) n! > 3n , para todo n N {1, 2, 3, 4, 5, 6};
1 x n +1
= 1 + x + . . . + x n se x = 1;
1x
n( n 1) 2
(h) (1 + x )n 1 + nx +
x se x 0;
2
(i) (1 + x )2n > 1 + 2nx se x = 0.
EP 1.14. Sejam m, n Z. Decidir se as afirmativas 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 an = bn , ento a = b;
(b) Se n par e an = bn , ento a = b;

20 Adriano Cattai
Anlise Real
(c) Se a e b so positivos e
an
<
bn ,
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 2n 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 finitos, os enumerveis e os no-enumerveis. A noo de conjunto enumervel est estreitamente ligada ao conjunto N dos nmeros naturais, em que os empregamos para a contagem dos conjuntos
finitos, 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 definir 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
I4 = {1, 2, 3, 4} como contra-domnio que f ainda seria injetiva. Porm, isto no seria possvel se I4 fosse
{1, 2, 3} pois, neste caso, pelo menos um elemento de I4 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 destinada a este feito tem um nmero suficiente 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 final 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 contrrio e, finalmente, 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 definio.

UNEB 2009.2
Notao!
Indicaremos pelo smbolo In o conjunto {1, 2, . . . , n} dos nmeros naturais, desde 1 at n.
Mais precisamente, dado n N, temos
In = { p N; 1 p n}.
Estas consideraes nos levam s seguintes definies.
2.1 Definio. Seja A um conjunto no-vazio. Se existe n N e uma funo injetiva : A In diremos que A
finito; caso contrrio, A infinito. O menor nmero n que verifica esta propriedade dito nmero de elementos
de A e escrevemos #A = n. Diremos tambm que o conjunto vazio finito e que seu nmero de elementos
zero.
2.2 Definio. 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 Definio. 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 finito A no vazio bem definido graas ao Princpio da Boa Ordem. De fato, o conjunto dos nmeros n N que verificam a propriedade existe funo injetiva
: A In um subconjunto no vazio (pois A finito) de N e, portanto, possui um elemento mnimo.
Os seguintes fatos decorrem imediatamente das definies:
(i) Cada conjunto In finito e possui n elementos, ou seja #In = n;
(ii) Se : A B uma bijeo, um desses conjuntos finito se, e somente se, o outro .
Intuitivamente, uma bijeo : In A significa uma contagem dos elementos de A. Pondo (1) =
a1 , (2) = a2 , . . . , (n) = an , temos A = { a1 , a2 , . . . , an }. Esta a representao ordinria de um conjunto
finito.
Para que o nmero de elementos de um conjunto no seja uma noo ambgua devemos provar que, se
existem duas bijees : In A e : Im A, ento m = n. Considerando a funo composta = 1
: In Im , basta ento provar que, se existe uma bijeo : In Im , ento m = n. Para fixar idias,
suponhamos m n. Da, Im In . A unicidade do nmero de elementos de um conjunto finito ser, portanto,
uma consequncia da proposio mais geral seguinte.
2.4 Teorema. Seja A In . Se existir uma bijeo : In A, ento A = In .
Prova: Veja, por exemplo, em Elon volume 01.
Como consequncia desta, temos:
2.5 Corolrio. No pode existir uma bijeo : A B de um conjunto finito A sobre uma parte prpria B A.
2.6 Teorema. Se A um conjunto finito ento todo subconjunto B A finito. O nmero de elementos de B
no excede o de A e s igual quando B = A.

22 Adriano Cattai
Anlise Real
Prova: A prova 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 finito 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 definio, existe uma funo injetiva : A B.
Para concluir, devemos mostrar que existe funo sobrejetiva : B A. Fixemos um elemento y0 A. Para
todo x B definimos ( x ) da seguinte maneira. Se x ( A) tomamos ( x ) = y0 , 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 definio 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. Definimos
(y) = x. Mostremos que injetiva. Se (y1 ) = (y2 ) (com y1 , y2 A), ento y1 = ( (y1 )) = ( (y2 )) =
y2 .
Verifique!
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,
m, se n = 2m,
m = 1, 2, 3, . . .
( n) =
m, se n = 2m + 1, m = 0, 1, 2, . . .
Assim, conclumos que #N = #Z.
Exemplo 2.3. verdade que #N2 = #N. De fato, #N #N2 , pois a funo : N N2 dada por (n) = (n, n)
claramente injetiva. Por outro lado, vejamos que #N2 #N. Pela unicidade da fatorao de naturais como
produto de primos (Teorema Fundamental da Aritmtica), temos que a funo : N2 N dada por (m, n) =
2m 3n injetiva. Outra demonstrao, bastante popular, para #N2 = #N obtida atravs do esquema mostrado
na figura no Exemplo 2.6.
Uma bijeo : N N2 definida seguindo as setas da seguinte maneira:

(1) = (1, 1), (2) = (1, 2), (3) = (2, 1), (4) = (1, 3), (5) = (2, 2), . . .
Definimos anteriormente conjunto infinito como sendo o conjunto que no finito. Explicitaremos esse
fato. O conjunto A infinito quando no vazio e, alm disso, seja qual for o n N, no existe uma bijeo
: In A.

UNEB 2009.2
Por exemplo, o conjunto N dos nmeros naturais infinito. De fato, dada qualquer funo : In N, seja
p = (1) + (2) + . . . + (n). Ento p > ( x ), para todo x In , donde p ( In ). Logo, nenhuma funo
: In N sobrejetiva.
Outra maneira de verificar que N infinito considerar o conjunto P = {2, 4, 6, . . .} dos nmeros pares e
definir a bijeo : N P, em que (n) = 2n. Como P uma parte prpria de N, segue-se do corolrio 2.5
que N no finito
Os fatos vistos acima sobre conjuntos finitos fornecem, por excluso, resultados sobre conjuntos infinitos.
Por exemplo, se : A B injetiva e A infinito, ento B tambm .
Outros exemplos de conjuntos infinitos so Z e Q, pois ambos contm o conjunto N. Segundo uma proposio
devida a Euclides, o conjunto dos nmeros primos infinito.
2.9 Definio. 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 finitos de N.
2.10 Teorema. Seja A N no-vazio. As seguintes afirmaes so equivalentes:
(a) A finito;
(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 significa 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 infinitos de N.
2.11 Teorema. Sejam A e B conjuntos disjuntos tais que #A = m e #B = n. Ento, A B finito e #( A B) =
m + n.
Prova: Dadas as bijees : Im A e : In B, definamos a funo : Im+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 A1 , . . . , Ak conjuntos finitos, disjuntos dois a dois, com #Ai = mi . Ento,
Ai finito e
i =1
k
possui mi elementos.
i
Nota 5. Se, no corolrio acima, eliminarmos a hiptese de disjuno dos conjuntos dois a dois, ento
Ai
i =1
k
ter no mximo mi elementos.

i
2.13 Corolrio. Sejam A1 , . . . , Ak conjuntos finitos com #Ai = mi . Ento o produto cartesiano A1 A2 . . . An
k
finito e possui mi elementos.

i

24 Adriano Cattai
Anlise Real
2.2 Conjuntos Enumerveis e Conjuntos No-Enumerveis

2.14 Definio. Dizemos que um conjunto A enumervel quando finito ou quando existe uma bijeo : A
N (ou : N A). No segundo caso, A diz-se infinito enumervel e, pondo-se a1 = (1), a2 = (2), . . . , an =
(n), . . ., tem-se A = { a1 , a2 , . . . , an , . . .}. 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, definida por (n) = 2n, mostra que o conjunto P dos nmeros pares
infinito enumervel. Analogamente, : n 7 2n 1 define uma bijeo de N sobre o conjunto dos nmeros
naturais mpares, o qual , portanto, infinito enumervel.
Exemplo 2.5. O conjunto Z dos nmeros inteiros infinito enumervel. Basta notar que a funo : Z N,
definida 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.
Exemplo 2.6. 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 figura (abaixo) ilus-
trando uma contagem para Q, de uma lista de dupla entrada onde as primeiras coordenadas representam 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 N e : B N. Definimos : A B N da seguinte maneira:
2( x ), se x A,
(x) =
2( x ) + 1, se x B A.
Temos que bem definida e , claramente, injetiva (observe que ( A) ( B) = pois os elementos de ( A)
so nmeros pares, enquanto que os de ( B A) so mpares).

UNEB 2009.2
Mais geralmente, temos:
2.16 Proposio. Se, para cada n N, An enumervel, ento
An enumervel.
n =1
Prova: Sem perda de generalidade, podemos supor que An = para todo n N. Seja A =
An . Por
n =1
hiptese, para cada n N temos que An enumervel, logo, existe n : N An sobrejetiva. Vamos mostrar
que a funo
NN
(n, m)
n (m)
sobrejetiva. De fato, se x A, ento existe n N tal que x An . Como n sobrejetiva, existe m N tal
que n (m) = x. Segue que (n, m) = n (m) = x. No exemplo 2.3 vimos que #N = #N2 . Portanto, existe
: N N2 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 finito, enumervel. Se for infinito, definiremos indutivamente uma bijeo : N A.
Poremos (1) como o menor elemento de A. Suponhamos (1), . . . , (n) definidos de modo a satisfazerem
as seguintes condies:
(a) (1) < (2) < . . . < (n);
(b) pondo Bn = A { (1), . . . , (n)}, tem-se (n) < x para todo x Bn
Em seguida, notando que Bn = (pois A infinito) definimos (n + 1) como o menor elemento de Bn . Isto
completa a definio 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 Bn para todo n e, portanto, x > (n), qualquer que fosse n N. Ento o conjunto infinito
(N ) N seria 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 N N, dada por
( a, b) = ( ( a), (b)) injetiva. Assim sendo, pelo fato que N N enumervel (consequncia do Exemplo
2.3). Segue pelo Corolrio 2.18 que A B enumervel.
2.20 Proposio. Sejam A1 , . . . , An conjuntos enumerveis, ento A1 . . . An enumervel.

Prova: Deixamos como exerccio a verificao deste resultado, que pode ser obtida por induo.

26 Adriano Cattai
Anlise Real
Nota 7. 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 A1 A2 . . . An . . . de
conjuntos A1 , A2 , . . . , An , . . . infinitos enumerveis.
Captulo 3
Nmeros Reais
Tudo quanto vai ser dito no decorrer deste material se referir a conjuntos de nmeros reais: funes
definidas 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 especificadas.
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.

UNEB 2009.2
(a) A soma x + (y) ser indicada com a notao x y e chamada a diferena entre x e y. A operao ( x, y) 7
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. Analogamente, 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 K {0}, y K; x y = y x = 1.
O inverso do nmero x = 0 designar-se- por x 1 ou
1
.
x
3.2 Observao.
x
x
em vez de x y1 . A operao ( x, y) 7 , definida
y
y
x
para qualquer x e todo y = 0 em K, chama-se diviso e o resultado o quociente de x por y. No se divide
y
x
por zero: no tem sentido, assim o zero no possui inverso multiplicativo;
0
x
(b) Se y = 0, tem-se = z x = y z. Da se deduz a utilssima lei do corte:
y
(a) Dados x e y em K, com y = 0, escreve-se tambm
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 fim, as operaes de adio e multiplicao num corpo K acham-se relacionadas por um axioma, com o
qual fica completa a definio 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 x2 = y2 , temos que x = y. De fato, x2 = y2 implica x2 y2 = 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, definido por
Q :=
p
; p, q Z e q = 0
q
p p
p q + p q p p
p p
0
+ =
e =
um corpo. O 0 para qualquer q = 0. O simtrico
q
q
qq
q q
qq
q
p
p
p
q
aditivo de e, o inverso multiplicativo do nmero racional = 0 .
q
q
q
p
com as operaes
p(t)
, onde p e q so polinmios com coeficientes
q( t )
racionais, sendo q no identicamente nulo um corpo. Verifique.
Exemplo 3.2. O conjunto Q (t), das funes racionais r (t) =
Exemplo 3.3. O conjunto Z2 = {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.

UNEB 2009.2
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
significa unio disjunta. Os elementos de P chamam-se negativos. Note que, num corpo ordenado, se a = 0,
ento a2 P. De fato, sendo a = 0, temos a P ou a P. No primeiro caso, a2 = a a P e, no segundo,
a2 = ( 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
Intuitivamente, p e q tm o mesmo sinal.
p
tais que p q N.
q
p(t)
positiva quando, no polinmio p q,
q( t )
o coeficiente do termo de mais alto grau for positivo. O conjunto P das fraes positivas, segundo esta
(b) O corpo Q (t) pode ser ordenado chamando-se uma frao r (t) =
definio, cumpre as condies (P1) e (P2).
Nota 8. O corpo Z2 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 significar 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 significa 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 > yz quando z < 0.

30 Adriano Cattai
Anlise Real
Prova: Elon p. 13 ed 10
Num corpo ordenado K, escreve-se x y para significar 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 Definio. 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 yz 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, infinito. Assim, podemos ver que o conjunto dos
nmeros naturais N est imerso em K, isto N K.
Como estamos fazendo, os simtricos n dos elementos n N e mais o zero (0 K) constituem 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
m
que #N #Q. A definio de nmero racional diz que a funo : Z N Q dada por (m, n) =
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 em K permite-nos definir o valor absoluto, ou mdulo, de um nmero x K, vejamos.
3.8 Definio (Mdulo ou Valor Absoluto). O mdulo ou valor absoluto de um nmero x K definido por:
x, se x 0;
x =
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 definio.

UNEB 2009.2
Fique atento!
O valor absoluto de x o maior dos nmeros x e x. Assim, outra maneira de se definir o
valor absoluto consiste em pr:
x = max{ x, 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 0 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 significa 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 .
(
a
)
a+
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 x2 = x 2 , pois x um dos elementos x ou x e vale x2 = ( x )2 .
Logo
x y2 = ( x y)2 = x2 y2 = x 2 y2 = ( 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 Definio.
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 inferiormente, 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 N tal que n a > b;
(iii) dados qualquer a > 0 em K, existe n N tal que 0 <
Saiba que...
1
< a.
n
Um corpo ordenado K chama-se arquimediano quando nele vlida qualquer das trs
condies equivalentes citadas na proposio acima.
3.14 Definio.
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 nfimo do conjunto limitado inferiormente Y K, quando a
a maior das contas inferiores de Y. Usamos a seguinte notao: a = inf Y.
Nota 9.
b K supremo de um conjunto X K se:

(S1) x X x b;
(S2) c x, x X c b.
a K nfimo de um conjunto Y K se:

(I1) y Y y a;
(I2) c y, y Y c a.
Condio (S2) acima, afirma 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 sup Y.

UNEB 2009.2
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
nfimo.
3.15 Observao. Se um conjunto X K possuir elemento mximo, este ser o seu supremo, e, se possuir
elemento mnimo, ele ser seu nfimo. 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 finito possui nfimo
e supremos.
Exemplo 3.5.
(a) Sejam os conjuntos X = (, k1 ] e Y = [k2 , +) com k1 , k2 K. Ento k1 sup X X e k2 = 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
1
, com n N. Assim, inf Y = 0 Y e sup Y = Y.
2n
2
3.1.3 A polmica Descoberta dos Incomensurveis: os Nmeros Irracionais

A insuficincia mais grave dos nmeros racionais, para efeitos da Anlise Matemtica, o fato de que alguns
conjuntos limitados de nmeros racionais no possuem supremo (ou nfimo). Este fato est ligado inexistncia
de razes quadradas racionais de certos nmeros inteiros, mas uma dificuldade que vai muito alm dessa falta.
3.16 Definio. 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.
m
a
Da conclui-se que = .
b
n
Pitgoras e seus discpulos descobriram o seguinte:
3.17 Lema. No existe um nmero racional cujo quadrado seja igual a 2.
( )2
p
p
Prova: Suponhamos, por absurdo, que exista o racional tal que p e q sejam primos entre si e
= 2.
q
q
Da, temos que p2 = 2q2 e, portanto, p2 par, o que implica que p tambm . Logo, existe um inteiro k tal que
p = 2k. Temos assim 2q2 = p2 = 4k2 e, portanto, q2 = 2k2 . Da conclumos que q2 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, 12 + 12 , donde escrevemos d2 = 2, e ento a medida d 2, um nmero no racional. Temos a

seguinte definio.
3.18 Definio (Nmeros Irracionais). Os nmeros de um corpo ordenado K que no so racionais so denominados de irracionais. Designaremos por I o conjunto dos nmeros irracionais.
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.

34 Adriano Cattai
Anlise Real
3.19 Proposio.
(i) Se p > 1 um inteiro primo, ento
p irracional;
(ii) Se p1 , . . . , pn so inteiros primos distintos, ento
p1 . . . pn 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 definir nmero real do seguinte modo:
3.20 Definio (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, fica aberta a possibilidade dele ser um nmero inteiro
ou simplesmente um natural.
3.21 Definio (Corpo Ordenado Completo). Um corpo ordenado K chama-se completo quando todo subconjunto no-vazio, limitado superiormente, X K, possui supremo em K.
Da definio que acabamos de enunciar segue, imediatamente, que num corpo ordenado completo todo
conjunto no-vazio, limitado inferiormente, Y K, possui nfimo em K.
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 significado de
espalhados por toda parte, considere a seguinte definio.
3.22 Definio (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 em R, for possvel encontrar x X tal que a < x < b.
Exemplo 3.6. Seja X = Z o conjunto dos nmeros reais que no so inteiros denso em R, pois todo intervalo
( a, b) um conjunto infinito, enquanto existe no mximo um nmero finito de inteiros n tais que a < n < b.
Logo, qualquer intervalo ( a, b) contm elementos de X.

UNEB 2009.2
3.23 Teorema. O conjunto Q e o conjunto I = R Q so ambos densos em R.
O teorema abaixo, s vezes chamado Princpio dos Intervalos Encaixados, usado por alguns autores na
definio dos nmeros reais.
3.24 Teorema (dos Intervalos Encaixantes). Seja I1 I2 . . . In . . . uma sequencia decrescente de
intervalos limitados e fechados In = [ an , bn ]. A interseo
n =1
In no vazia. Isto , existe pelo menos um
nmero real x tal que x In para todo n N. Mais precisamente, temos

b = inf bn .
In = [ a, b], onde a = sup an e
Prova: De [ an , bn ] [ an+1 , bn+1 ] obtemos que an an+1 bn+1 bn . Seja A = { an ; n N } e B =
{bn ; n N }. A limitado, a1 uma cota inferior e cada bn uma cota superior de A. Analogamente, B
tambm limitado. Sejam a = sup A e b = inf B. Como cada bn cota superior de A, temos a bn para cada n.
Assim, a cota inferior de B e, portanto, a b. Podemos ento escrever:
a1 a2 . . . a b . . . bn . . . b2 b1 .
Conclumos que a e b pertencem a todos intervalos In , donde [ a, b] In , para cada n. Logo [ a, b]
n = 1 In .
Nenhum x < a e y > b pode pertencer a todos os In . De fato, sendo x < a = sup A, existe algum an A tal
que x < an , ou seja, x In . Do mesmo modo, y > b implica y > bm , para algum m, donde y Im . Conclumos
ento que
n = 1 In
= [ 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
consequncia, obtemos #Q < #(R Q ). De fato, se fosse #(R Q ) #Q = #N, ento, como R = Q (R Q ),
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 I1 = [ a1 , d1 ] um intervalo fechado tal que (1) I1 . Dividimos este intervalo
em trs partes, da seguinte maneira: tomamos b1 , c1 I1 tais que a1 < b1 < c1 < d1 e assim obtemos
I1 = [ a1 , b1 ] [b1 , c1 ] [c1 , d1 ]. Certamente (2) no pertence a algum destes trs intervalos que denotaremos
I2 . Repetimos o processo com o intervalo I2 : o dividimos em trs partes e definimos I3 como sendo uma destas
partes tal que (3) I3 . Continuando indefinidamente este processo, construmos uma famlia ( In )nN de
intervalos fechados tais que In In+1 e (n) In qualquer que seja n N. Pelo teorema anterior existe s tal
que s In 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 simplificadas 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 Definio. 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 Definio. 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 definio 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 um intervalo
aberto e no vazio, ento int X = X. De maneira geral, temos a seguinte definio.
3.30 Definio. Um subconjunto A R chama-se um conjunto aberto quando todos os seus pontos so interiores,
isto , quando int A = A.
Conforme esta definio, 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 intervalos 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 = . Portanto, no possuem intervalos e nem conjuntos abertos.
Ateno!
O conjunto vazio aberto. De fato, negar esta afirmao significa 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.

UNEB 2009.2
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=
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 finita de conjuntos abertos um conjunto aberto.
A interseo infinita de abertos no um aberto. De fato, An =
Ateno!
n =1 A n
Pratique!
= {0}, que no aberto.
)
1 1
,
, n N, implica
n n
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 10. Para todo X vale a reunio disjunta R = int X int(R X ) em que formado pelos
pontos x R tais que toda vizinhana de x contm pontos de X e de R X. O conjunto chama-se

fronteira de X, que denotamos tambm por X.
3.2.2 Conjuntos Fechados

3.33 Definio. Diz-se que um ponto a aderente ao conjunto X R quando a limite de alguma sequncia de
pontos xn X.
Evidentemente, todo ponto a de X aderente a X, basta tomar xn = a.

3.34 Definio. 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 Definio. 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 afirmao significa admitir que e, em
particular, admitir que existe ( xn )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 = lim xn , onde xn X para todo n N. Dada uma vizinhana
qualquer V de a temos que xn V para todo n suficientemente grande, logo V X = .

(
Reciprocamente,
se toda vizinhana de a contm pontos de X, podemos escolher em cada intervalo
)
1
1
1
a ,a+
, n N um ponto xn X. Ento xn a < , logo lim xn = a e a aderente a X.
n
n
n
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,
1
para todo n N, podemos escolher xn X com a xn < a + , logo a = lim xn . Analogamente, v-se que
n
b = lim yn , yn 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 11. 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 Va de a que no
contm pontos de F, isto Va 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 F1 e F2 so fechados ento F1 F2 fechado;

UNEB 2009.2
(ii) Se ( F ) L uma famlia de conjuntos fechados, ento a interseco
F=
um conjunto fechado.
Prova:
(i) Os conjuntos A1 = R F1 e A2 = R F2 so abertos. Logo, temos que A1 A2 = R ( F1 F2 ) aberto,
pois interseco finita de abertos. E assim, como o complementar de F1 F2 aberto, este conjunto
fechado.
(ii) Para cada L, o conjunto A = R F aberto. Temos que A =

Logo, F fechado.
A aberto. Mas A = R F.
Exemplo 3.15. Todo conjunto finito F = { x1 , x2 , . . . , xn } 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 Definio. 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 infinidade de pontos de X.
Em particular, se X tem ponto de acumulao, ento X infinito, ou seja, conjuntos finitos 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 = lim xn ; xn X { a}.
{
}
1
Exemplo 3.19. X =
; n N X = {0 }
n
3.42 Definio. 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 Definio. Um conjunto X, no qual todos os seus pontos so isolados, chamado de conjunto discreto.
Exemplo 3.20. Os conjuntos N e Z so discretos.

40 Adriano Cattai
Anlise Real
3.2.4 Conjuntos Compactos

3.44 Definio (Cobertura). Uma cobertura de um conjunto X uma famlia de conjuntos C tais que
X
C .
Quando todos os conjuntos C so abertos, diz-se que uma cobertura aberta. Quando L = {1 , . . . , n } um
conjunto finito, diz-se que C1 . . . Cn uma cobertura finita. Se L L tal que ainda se tem X
diz-se que = (C ) L uma subcobertura de .
C ,
Exemplo 3.21.
(
)
(
)
(
)
9
constituem uma cobertura aberta para o intervalo
(a) Os intervalos C1 = 0, 23 , C2 = 13 , 1 e C3 = 21 , 10
[
]
[
]
X = 14 , 34 , com L = {1, 2, 3}, pois X = 14 , 34 C1 C2 C3 = (0, 1). Tomando L = {1, 2}, temos a
[
]
subcobertura = {C1 , C2 } para X, pois X = 41 , 34 C1 C2 = (0, 1).
(b) Como (0, 1)
n =1
)
{(
)}
1
1
, 1 , ento =
,1
uma cobertura aberta de (0, 1).
n
n
n =1
(c) Se para x R, temos Cx = ( x 1, x + 1), ento = {Cx } x R uma cobertura aberta de R.

3.45 Teorema (Borel-Lebesgue). Toda cobertura aberta de um conjunto limitado e fechado possui uma subcobertura finita.
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 finita. De fato, a reunio de um nmero finito de intervalos (n, n) igual ao maior
deles e, portanto, no pode ser R.

)}
1
,2
,
n
n N
da qual no
extrair uma subcobertura finita porque areunio de um nmero finito de intervalos
( se pode
)
1
da forma
, 2 o maior deles e, portanto, no pode conter (0, 1].
n
(b) O intervalo (0, 1], sendo um conjunto limitado, mas no fechado, possui a cobertura aberta
{(
3.46 Teorema. As seguintes afirmaes a respeito de um conjunto K R so equivalentes:

(1) K limitado e fechado;
(2) Toda cobertura aberta de K possui subcobertura finita;
(3) Todo subconjunto infinito 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 infinito limitado X R possui algum ponto de acumulao.

UNEB 2009.2
3.48 Definio (Conjunto Compacto). Um conjunto K R que cumpre umas das (e portanto todas as) condies
do Teorema 3.46 dito compacto.
Note que!
Para mostrar que um determinado conjunto compacto precisamos provar que para toda
cobertura aberta existe subcobertura finita. Para mostar que no compacto basta achar uma
cobertura que no possui subcobertura finita.
Exemplo 3.23.
)
1
, 1 , mas se existisse {Cn1 , . . . , Cn p } tal que
n
(a) O conjunto (0, 1) no compacto. De fato, (0, 1) n=1

(
)
(
)
p
1
1
(0, 1) i=1
, 1 , ento (0, 1)
, 1 , em que M = max{n1 , . . . , n p } > 0, um absurdo.
ni
M
(b) Seja K = { x1 , x2 , . . . , xn } um conjunto finito 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 Ci tal que xi Ci (tal conjunto
sempre existe, pois uma cobertura de K). Ento C1 , . . . , Cn geram uma subcobertura finita para K. Logo
K compacto e, conclumos que todo subconjunto finito compacto;
famlia de intervalos abertos Cxi , de centro xi , tal que Cxi K = { xi }. Esta famlia uma cobertura aberta
de K, pois casa xi K pertence a Cxi . Assim K compacto, e conclumos que todo conjunto finito
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 12. 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 Definio. 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 ( xn )nN A tal
que xn x.
A prxima proposio nos fornece uma condio necessria e suficiente 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 em R. 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

1
caso b 0 anlogo). Como R arquimediano, existe n N tal que 0 < < a. Seja m N o menor natural
n
tal que m 1 < n a, ou seja, m N satisfaz
m1
m
<a< .
n
n
Para concluir que
m
m
m
( a, b) Q basta mostrar que
< b. Suponhamos, por absurdo, que
> b. Neste caso,
n
n
n
m1
m
m m1
1
<a<b<
ba <
ba < ,
n
n
n
n
n
contradizendo n >
Pratique!
1
.
ba
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
infinitas).
Todos os conceitos e resultados importantes da Anlise Matemtica se referem, quer explcita quer implicitamente, 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 sofisticados, como por exemplo, derivadas e integrais, sero estudados posteriormente. Do ponto
de vista intuitivo, sugerimos que pense uma sequncia ( x1 , x2 , . . . , xn , . . .) de nmeros reais como uma sequncia
de pontos da reta e no seu limite, que definiremos a seguir, como um ponto do qual os pontos xn tornam-se
arbitrariamente prximos, desde que se tome o ndice n suficientemente grande. Um resultado crucial para
justificar essa imagem geomtrica :
Dados o nmeros reais a, x, , com > 0, as trs afirmaes 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 .

UNEB 2009.2
Outra considerao importante que fazemos: quando X N um conjunto infinito, costuma-se dizer que X
contm nmeros naturais arbitrariamente grandes. Isto quer dizer que, dado qualquer n1 N, existe n X
tal que n > n1 . Em particular, se existir um nmero no N tal que X contm todos os nmeros naturais n > n0 ,
ento X infinito.
4.1 Sequncias e Subsequncias

4.1 Definio. Uma sequncia de nmeros reais uma funo x : N R para a qual denotamos o valor de x
em n por xn em vez de x (n).
Geralmente usamos a notao ( xn )nN para representar uma sequncia x : N R. s vezes a notaremos
tambm por ( x1 , x2 , . . . , xn , . . .). Dizemos que xn o termo de ordem n ou que xn o n-simo termo da sequncia.
Quando quisermos explicitar que a imagem da sequncia ( xn )nN est contida em A R escreveremos
( xn )nN A.
Como sequncias so funes, as definies de funo limitada, crescente, decrescente, montona, etc. tambm fazem sentido para sequncias.
Exemplo 4.1. Seja a R e tomemos xn = a para todo n N. A sequncia ( xn )nN constante. imediato que
( xn )nN limitada.
Exemplo 4.2. A sequncia (1, 0, 1, 0, 1, 0, . . .) limitada mas no montona.

Exemplo 4.3. Sejam a, r R. Considere x1 = a, x2 = a + r, x3 = a + 2r, de maneira geral, xn = a + (n 1)r. A
sequncia ( xn )nN uma Progresso Aritmtica de primeiro termo a e razo r. Se r = 0, ento ( xn )nN constante
e, portanto, limitada. Se r > 0, ento ( xn )nN crescente e, portanto, limitada inferiormente. Finalmente, se
r < 0, ento ( xn )nN decrescente e, portanto, limitada superiormente.
4.2 Definio. Dizemos que (yk )kN uma subsequncia de ( xn )nN se existe uma sequncia (nk )kN N
crescente tal que yk = xnk para todo k N.
Exemplo 4.4. Seja ( xn )nN a Progresso Aritmtica de termo inicial a e razo r. A Progresso Aritmtica (yk )kN
de termo inicial a e razo 2r uma subsequncia de ( xn )nN . De fato, tomando nk = 2k 1, (k N ) obtemos

xnk = a + (nk 1)r = a + (2k 2)r = a + (k 1)(2r ) = yk .
4.2 Sequncias Convergentes

Intuitivamente, uma sequncia ( xn )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 ( xn )nN converge para x quando a distncia entre xn e x diminui
medida que n cresce, ou seja, a funo f (n) = xn 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 Definio. Uma sequncia ( xn )nN dita convergente se existe x R de modo que
> 0, N N tal que n N xn x < .

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

Talvez voc conhea a notao lim xn = x para xn x. Vamos refletir sobre ela. Por enquanto, faamos de
n +
conta que no conhecemos a definio de limite. Suponhamos que ao abrir um livro de Anlise, pela primeira
vez, encontremos as seguintes inscries:
xn 0 e xn 1.
No ficaramos chocados. Porm, se estivesse escrito
lim xn = 0 e
n +
lim xn = 1,
n +
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 xn = x fortemente enganosa.
n +
A prxima proposio nos dar direito ao uso da notao lim xn = x.

n +
4.4 Proposio. Sejam ( xn )nN uma sequncia e x, y R tais que xn x e xn y. Ento x = y.

Prova: Suponhamos, por absurdo, que x = y. Seja =
x y
> 0. Como xn x, existe N N tal que
2
n N xn x < .
Tambm temos xn y. Logo, existe N N tal que
n N xn y < .
Seja n o maior dos nmeros N e N . Para tal n as duas concluses anteriores so vlidas. Temos ento
x y x xn + xn y < + = 2 = x y.
Conclumos que x y < x y, o que absurdo.
4.5 Proposio. Uma sequncia ( xn )nN tende a x se, e somente se, toda subsequncia de ( xn )nN tende a x.
Prova: Suponhamos que exista x R tal que xn x. Seja (yk )kN uma subsequncia de ( xn )nN , isto ,
yk = xnk ( k N ) para alguma sequncia (nk )kN N crescente. Mostremos que yk x. Seja > 0. Como
xn x, existe N N tal que se n N, ento xn x < . Como (nk )kN N crescente, existe K N tal
que se k K, ento nk N. Segue que
k K yk x < .

UNEB 2009.2
Portanto (yk )kN converge para x. A recproca imediata (basta observar que ( xn )nN subsequncia de si
mesma).
Exemplo 4.7. A sequncia (1, 0, 1, 0, 1, 0, . . .) divergente. De fato, se ela fosse convergente, ento pela proposio
anterior todas as suas subsequncias seriam convergentes para o mesmo limite. Porm, (1, 1, 1, . . .) e (0, 0, 0, . . .)
so duas de suas subsequncias sendo que a primeira converge para 1 enquanto que a segunda converge para
0.
Como corolrio da proposio anterior, obtemos que se xn tende a x, ento xn+2007 tende a x. No h nada
de especial com o nmero 2.007. Mais geralmente, fixado p N, temos que se xn tende a x, ento xn+ p tende
a x. fcil perceber que a recproca tambm verdadeira, ou seja, se para algum p N temos que xn+ p tende
a x, ento porque xn tende a x. Verifique! A importncia deste fato a seguinte. Se conhecermos alguma
propriedade que garanta a convergncia de uma sequncia e soubermos que tal propriedade s valida a partir
do seu p-simo termo ento, ainda sim, podemos concluir que a sequncia convergente. Vejamos um exemplo
esclarecedor.
Exemplo 4.8. Sabemos
que sequncias constantes so convergentes. Considere a sequncia (no constante)

1000
dada por xn =
, sendo x a funo Parte Inteira de x, definida abaixo:
n
x = m se m Z e m x < m + 1.
fcil ver que xn = 0 para todo n > 1000. Ou seja, ( xn )nN constante a partir do seu milsimo-primeiro
termo. Conclumos que ela convergente.
4.6 Teorema. Toda sequncia convergente limitada.

Prova: Seja ( xn )nN uma sequncia convergente para x R. Tomando = 1 na definio de sequncia
convergente, conclumos que existe N N tal que se n N, ento
xn x < 1, isto , xn ( x 1, x + 1).

Tomando
a = min { x1 , . . . , x N , x 1} e b = max { x1 , . . . , x N , x + 1}
temos imediatamente que xn [ a, b] para todo n N. Portanto ( xn )nN limitada.
4.3 Sequencias Montonas e Sequencias 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 ( xn )nN crescente e limitada superiormente, ento xn sup { xn ; n N }. Da mesma
forma, se ( xn )nN decrescente e limitada inferiormente, ento xn inf { xn ; n N }.
Prova: Vamos provar apenas a primeira parte da proposio j que a segunda se demonstra de modo
anlogo. Seja s = sup { xn ; n N }. Dado > 0, tome N N tal que x < x N s. Logo, para n N, temos
x < x N xn s. Conclumos da que xn s < .

46 Adriano Cattai
Anlise Real
4.8 Teorema (Bolzano-Weierstrass). Toda sequncia limitada possui subsequncia convergente.
Prova: Sejam ( xn )nN uma sequncia limitada. Considere o seguinte conjunto:
N = { n N; xn > xm , m > n} .
Existem duas possibilidades: N infinito ou N finito.
1o caso: N infinito.
Escrevamos N = {n1 , n2 , n3 , . . .} com n1 < n2 < n3 < . . . Assim, se i < j ento ni < n j e, como ni N,
obtemos que xni > xn j . Conclumos que a subsequncia ( xnk )kN decrescente. Sendo ela limitada
obtemos, finalmente, que ela convergente.
2o caso: N finito. Como N finito, existe n1 N N cota superior de N. Ora, n1 N logo, existe n2 > n1 (e
portanto n2 N ) tal que xn1 xn2 . Mas de n2 N segue que existe n3 > n2 (e portanto n3 N ) tal que
xn2 xn3 . Por induo, definimos uma subsequncia ( xnk )kN que crescente e, portanto, convergente
(pois ela limitada).
4.4 Sequncias de Cauchy

4.9 Definio. Uma sequncia ( xn )nN dita de Cauchy se
> 0, N N tal que n, m N xn xm < .

Uma sequncia de Cauchy se seus termos se aproximam uns dos outros. Repare que no apenas termos
consecutivos mas sim todos eles. natural acreditar que qualquer sequncia convergente de Cauchy e viceversa. Vamos admitir, por hora, que sequncias convergentes so de Cauchy (este fato ser demonstrado a
seguir). Faamos alguns comentrios sobre a recproca.
Considere uma sequncia ( xn )nN de nmeros racionais convergente para, por exemplo, 2? (existe tal
sequncia?). Sendo convergente ela de Cauchy. Como a definio de sequncia de Cauchy no faz meno ao
limite, mesmo se s conhecssemos nmeros racionais ainda estaramos de acordo que ( xn )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 sequncia de Cauchy convergente.
J que sequncias de Cauchy so convergentes em R mas no em Q, isto deve estar relacionado completeza. De fato, alguns autores usam sequncias de Cauchy de nmeros racionais para construir R. A vantagem desta construo que ela pode ser empregada para completar outros conjuntos (ou melhor, espaos
mtricos) que no sejam corpos ordenados.
4.10 Teorema. Uma sequncia convergente se, e somente se, ela de Cauchy.
Prova: Seja ( xn )nN uma sequncia convergente para o limite x. Dado > 0, existe N N tal que se
n N, ento xn x < . Portanto, se m, n N temos

2
xn xm xn x + x xm <
+ = .
2 2
Conclumos que ( xn )nN uma sequncia de Cauchy.

UNEB 2009.2
Reciprocamente, suponhamos que ( xn )nN de Cauchy. Ento, > 0, N N tal que n, m N
xn xm < . Da, xm < xn < xm + , logo xn [ xm , xm + ]. Tomando a = min{ x1 , x2 , . . . , x N , xm }
e b = max{ x1 , x2 , . . . , x N , xm + }. Logo, xn [ a, b], ou seja, ( xn )nN limitada. Pelo Teorema de BolzanoWeierstrass, ( xn )nN tem subsequncia ( xnk )kinN convergente para o limite x.
Mostremos que xn x. Seja > 0. Como ( xn )nN de Cauchy, existe N N tal que
n, m N xn xm <
Como xnk x, existe k N tal que nk N e xnk x <
.
2
(4.1)
. Da e de (4.1) segue que, se n N, ento

2
xn x xn xnk + xnk x <
+ = .
2 2
4.5 Limites Infinitos

Existem sequncias divergentes que possuem limite! Isto apenas um jogo de palavras. A definio seguinte
diz que certas sequncias tm limites que no so nmeros reais. No diremos que tais sequncias so convergentes.
4.11 Definio. Seja ( xn )nN uma sequncia. Dizemos que xn tende a mais infinito quando n tende a mais infinito
ou que mais infinito limite da sequncia e escrevemos xn + ou lim xn = + se,
n +
M R, N N tal que n N xn > M.

4.12 Definio. Seja ( xn )nN uma sequncia. Dizemos que xn tende a menos infinito quando n tende a mais
infinito ou que menos infinito limite da sequncia e escrevemos xn ou lim xn = se,
n +
M R, N N tal que n N xn < M.

Insistimos no fato que se xn + ou xn , ento no podemos dizer que a sequncia convergente.
Uma sequncia dita convergente exclusivamente quando satisfaz a condio da Definio 4.3. Alm disto, se
xn +, ento ( xn )nN ilimitada superiormente e, portanto, divergente. Da mesma forma, se xn ,
ento ( xn )nN ilimitada inferiormente e, portanto, divergente.
Nota 13. Com estas convenes sobre uso dos termos "sequncia convergente"e de "limite de sequncia"a
Proposio 4.11 tambm vlida (obviamente com outra demonstrao) se substituirmos x por + ou
por . Como xn > M equivalente a xn < M, temos que xn + se, e somente se, xn .
Portanto toda afirmao sobre limite mais infinito tem uma anloga para limite menos infinito.
4.6 Operaes com Limites

Temos a seguir algumas propriedades aritmticas de limites finitos.
4.13 Proposio. Sejam ( xn )nN e (yn )nN convergentes para x e y, respectivamente, e c R. Temos:
(i) xn + yn x + y;
(ii) xn yn x y;

48 Adriano Cattai
Anlise Real
(iii) c xn c x;
1
1
(iv) se y = 0, ento y
n y .
Prova:
(i) Seja > 0. Graas s convergncias de ( xn )nN e (yn )nN , existem N e N tais que, se n N , ento
xn x < , e se n N , ento yn y < . Seja N = max N , N . Assim, se n N, ento n N e

2
2
n N e, da,
( xn + yn ) ( x + y) = ( xn x ) + (yn y) xn x + yn y <
+ = .
2 2
Mostramos assim que xn + yn x + y.

(ii) Seja > 0. Como ( xn )nN convergente, ela limitada. Logo, existe C > 0 tal que xn < C para todo
n N. Seja N N tal que se n N, ento xn x < e yn y < . Desta forma, para n N, temos
xn yn x y xn yn xn y + xn y x y = xn yn y + y xn x
C yn y + y xn x < (C + y).
Isto mostra que xn yn converge para x y.
(iii) consequncia do item anterior, tomando yn = c para todo n N.
(iv) Seja > 0 e N N tal que, se n N , ento yn y < . Temos ainda que y = 0, consequentemente,
y
existe N N tal que, yn >
, isto , yn 1 < 2y1 , quando n N . Tomando N = max { N , N },
2
para todo n N, temos que

1

1 = y yn < 2
yn
y
yn y
y 2
Isto conclui a demonstrao.
Exemplo 4.9. Seja r R. A sequncia (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, finalmente, 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, (rn )nN divergente.
Deixamos como exerccio o estudo dos casos r = 1 e r = 1.

Vejamos agora as propriedades aritmticas de limites infinitos.
4.14 Proposio. Sejam ( xn )nN e (yn )nN duas sequncias e c > 0. Suponhamos que xn +. Temos:
(i) se (yn )nN limitada inferiormente, ento xn + yn +;
(ii) se yn c para todo n N, ento xn yn +;
(iii) c xn +;

UNEB 2009.2
(iv) xn1 0.
Prova:
(i) Seja a R tal que a yn para todo n N. Dado M R, como xn +, existe N N tal que se n N,
ento xn > M a. Segue que se n N, ento xn + yn xn + a > M. Conclumos que xn + yn +.
(ii) Dado M R, podemos tomar N N tal que se n N, ento xn >

xn yn xn c > M M. Portanto xn yn +.
M
. Desta forma, se n N, ento
c
(iii) consequncia do item anterior, tomando yn = c para todo n N.

(iv) Dado > 0, tomemos N N tal que se n N, ento xn > 1 . Segue que se n N, ento xn1 0 =
xn1 < . Conclumos que xn1 0.
4.7 Limite Superior e Limite Inferior

No estudo de limites de subsequncias conveniente fazer a seguinte definio.
4.15 Definio. Dizemos que x R valor de aderncia de ( xn )nN se existe subsequncia de ( xn )nN conver-
gente para x.
O Teorema de Bolzano-Weierstrass diz que toda sequncia limitada possui valor de aderncia.
Observe que se ( xn )nN limitada superiormente, ento o conjunto dos seus valores de aderncia tambm
limitado superiormente. Analogamente, se ( xn )nN limitada inferiormente, ento o conjunto de seus valores
de aderncia tambm .
4.16 Definio. Seja A o conjunto dos valores de aderncia de ( xn )nN . O limite superior de ( xn )nN definido
por
lim sup xn =
n +
+ se ( xn )nN ilimitada superiormente;
sup A
se ( xn )nN limitada superiormente e A = ;
se ( xn )nN limitada superiormente e A = .
O limite inferior de ( xn )nN definido por
se ( xn )nN ilimitada inferiormente;
lim inf xn =
inf A se ( xn )nN limitada inferiormente e A = ;
n +
+ se ( x )
n n N limitada inferiormente e A = .
Essencialmente, o limite superior de uma sequncia o seu maior valor de aderncia, enquanto que o limite
inferior seu menor valor de aderncia, veja a Proposio 4.18.
A Proposio 4.5 diz que ( xn )nN converge para x se, e somente se, x o nico valor de aderncia de ( xn )nN .
Isto tambm pode ser expresso por
lim xn = x lim inf xn = lim sup xn = x.
n +
n +
n +
Pode parecer estranho tomar como definio de limite superior de uma sequncia limitada superiormente e sem valor de aderncia. A razo que, nestas condies, a sequncia tende a . Desta forma, o
resultado do pargrafo anterior tambm vlido para limites infinitos.

50 Adriano Cattai
4.17 Proposio. Seja ( xn )nN
Anlise Real
uma sequncia limitada superiormente e que no tem valor de aderncia. Ento
xn .
De fato, da definio, lim sup xn = . Pela proposio 4.5, ( xn )nN convergente, logo ( xn )nN tambm
no converge, assim xn .
4.18 Proposio. Existe subsequncia ( xnk )kN de ( xn )nN tal que
lim xnk = lim sup xn .
k +
n +
Em particular, se lim sup xn R, ento este o maior valor de aderncia de ( xn )nN .

n +
Prova: Seja A o conjunto dos valores de aderncia de xn . Suponhamos inicialmente que ( xn )nN seja
ilimitada superiormente e, portanto,
lim sup xn = +.
n +
Neste caso, imediato que ( xn )nN tem subsequncia que tende a + .
Suponhamos, agora, que ( xn )nN seja limitada superiormente e A = . Portanto,

lim sup xn = .
n +
Se ( xn )nN for limitada inferiormente, ento ( xn )nN ser limitada e, pelo Teorema de Bolzano-Weierstrass,
teremos A = . Logo, ( xn )nN ilimitada inferiormente e, portanto, tem subsequncia tendendo a .
Finalmente, suponhamos que ( xn )nN seja limitada superiormente e A = . Como j observado antes, A
limitado superiormente e, portanto, seu supremo s finito. Vamos mostrar que s A. Aplicando sucessivamente o resultado da observao abaixo, obtemos:
a1 A tal que s a1 > s 1;
a2 A tal que s a2 > s 1/2;
a3 A tal que s a3 > s 1/3; . . .

Como a1 valor de aderncia de ( xn )nN e s + 1 > a1 > s 1, existe n1 N tal que s + 1 > xn1 > s 1.
1
1
Tambm temos a2 A, logo, existe n2 > n1 tal que s +
> xn2 > s . Prosseguindo deste forma,
2
2
construmos uma subsequncia ( xnk )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 Definio. Considere uma sequncia ( xn )nN . Para cada n N definimos
n
Sn =
x i = x1 + . . . + x n .
i =1

UNEB 2009.2
A sequncia (Sn )nN dita das somas parciais da srie
Escrevemos
e xn o n-simo termo ou termo geral da srie.
xn
lim Sn
xn = n+
n =1
quando o limite acima existe e, neste caso, ele dito limite da srie. Dizemos que
xn convergente ou divergente se (Sn )nN convergente ou divergente, respectivamente. Finalmente, dizemos que xn absolutamente
convergente se a srie xn convergente.
Exemplo 4.10. Considere a Srie Geomtrica de termo geral xn = r (n1). Temos
Sn = 1 + r + r 2 + . . . + r n 2 + r n 1 .
Se r = 1, ento imediato que Sn = n. Segue que (Sn )nN diverge e, portanto,
xn diverge.
Suponhamos
r = 1. Multiplicando Sn por r obtemos

rSn
= r + r 2 + r 3 + . . . + r n 1 + r n
= 1 + r + r 2 + r 3 + . . . + r n 1 + r n 1
= Sn + r n 1.
Portanto, Sn =
rn 1
. Assim, xn converge se, e somente se, r < 1 e, neste caso,
r1
+
xn = 1 r .
n =1
A prxima proposio uma verso da Proposio 4.13 para sries.

4.21 Proposio. Sejam xn e yn duas sries convergentes e c R. Temos que
(i) ( xn + yn ) convergente para xn + yn ;
(ii) (c xn ) convergente para c xn .
Prova: A demonstrao consequncia da Proposio 4.13. Basta aplic-la para as sequncias das somas
parciais de xn e de yn .
Observamos que, em geral,
+
n =1
n =1
n =1
( xn yn ) = xn yn .
Fique Atento!
Passamos ao estudo da natureza de sries, ou seja, estamos interessados em critrios que determinem se uma
srie convergente ou divergente.
4.22 Teorema.
(i) xn converge se, e somente se,

n

> 0, N N tal que n m N xi < .
i=m
(ii) Se xn converge, ento xn 0.

52 Adriano Cattai
Anlise Real
(iii) Toda srie absolutamente convergente convergente.
Prova:
(i) O critrio dado diz simplesmente que a sequncia das somas parciais de Cauchy. O resultado segue do
Teorema 4.10.
(ii) Segue de (i), tomando m = n. Ou, de outro modo, seja Sn = x1 + x2 + . . . + xn . Ento existe s = lim Sn .
Evidentemente, tem-se tambm s = lim Sn1 . Logo
0 = s s = lim Sn lim Sn1 = lim(Sn Sn1 ) = lim xn .
(iii) Observamos que para todo m, n N temos

m

xi
i=n
xi

i .
i=n
i=n
m
Portanto, por (i), a convergncia de xn implica a de xn .
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 xn 0 necessria para a convergncia da srie xn porm ela no
1
suficiente. A Srie Harmnica o contra exemplo mais famoso. De fato, temos
n
S2
S4
S8
Portanto, S2n > 1 +
1
= 1+ ,
2
1 1
= S2 + +
3 4
1 1 1 1
= S4 + + + +
5 6 7 8
..
.
2
1
= 1+2 ,
4
2
1 4
1
1+2 + = 1+3
2 8
2
> S2 +
>
n
. Da, segue que lim S2n = +. Conclumos que a srie diverge.
n +
2
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 xn uma srie
de termos negativos, ento ( xn ) 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 xn que
tenha termos de sinais variveis. Ora, se ao aplicarmos algum destes critrios para a srie xn concluirmos
que ela convergente, ento, como toda srie absolutamente convergente convergente, concluiremos que xn
converge. Por outro lado, se o critrio nada disser, ou mesmo se ele nos informar que xn divergente, em
geral, nada poderemos afirmar sobre a convergncia da srie xn .
Observamos tambm o seguinte fato, j mencionado no caso de sequncias. Os primeiros termos de uma
srie nada influem na sua natureza. De fato, a srie xn converge se, e somente se, a srie xn+2007 converge.
De maneira geral, fixado p N a srie xn convergente se, e somente se, a srie xn+ p convergente. Desta
forma, todos os critrios que determinam a natureza de uma srie atravs de alguma propriedade verificada
por todos os seus termos continuam vlidos se a tal propriedade verificada partir de algum termo (por

UNEB 2009.2
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 sequncia de suas somas
parciais limitada superiormente.
Prova: Por definio, xn convergente se, e somente se, a sequncia de suas somas parciais (Sn )nN
convergente. Como xn 0, temos imediatamente que (Sn )nN crescente. Logo, (Sn )nN convergente se, e
somente se, ela limitada superiormente (ver proposies 4.6 e 4.7)
4.24 Teorema (Critrio da Comparao). Sejam ( xn )nN e (yn )nN tais que 0 xn yn para todo n N.
(i) Se yn converge, ento xn converge.
(ii) Se xn diverge, ento yn diverge.
Prova: Sejam (Sn )nN e ( Tn )nN as sequncias de somas parciais de
xn e yn , respectivamente.
De
xn yn segue imediatamente que Sn Tn para todo n N. Assim, se (Sn )nN ilimitada superiormente,
ento ( Tn )nN tambm . Por outro lado, se ( Tn )nN limitada superiormente, ento (Sn )nN tambm .
Conclumos graas Proposio 4.23.
4.25 Proposio. Sejam y R e ( xn )nN uma sequncia convergente para x R. Temos:

(a) Se y < x, ento existe N N tal que y < xn para todo n N.
(b) Se x < y, ento existe N N tal que xn < y para todo n N.
(c) Se xn y para todo n N, ento x y;
(d) Se xn y para todo n N, ento x y.
Exemplo 4.12. Vamos estudar a natureza da srie
ela diverge pois neste caso lim xn = 0.
np
segundo os valores de p. claro que se p 0, ento
n +
Suponhamos 0 p 1. Temos
conclumos que a srie diverge.
1
1
p para todo n N. Portanto, por comparao com a Srie Harmnica,
n
n
Finalmente, consideremos o caso p > 1. Mostraremos que a srie converge. Seja (Sn )nN a sequncia das
somas parciais. Para todo n N, temos

Sn
1
1
1
+ p +...+ p
2p
3
n
1
1
1
1
1+ p + p +...+ p +...+ n
2
3
n
(2 1) p
(
) (
)
(
)
1
1
1
1
1
1
1
1
1+
+
+
+
+
+
+
.
.
.
+
+
.
.
.
+
2p
3p
4p
5p
6p
7p
(2n 1) p
( 2 n 1 ) p
= 1+
1+
2
4
2 n 1
+
+
.
.
.
+
=
2p
4p
( 2 n 1 ) p
( 21 p ) i 1 .
i =1
Como p > 1 temos 21 p < 1 e, portanto, a Srie Geomtrica de razo 21 p converge. Segue que (Sn )nN
1
limitada superiormente e portanto p convergente.
n

54 Adriano Cattai
4.26 Teorema (Teste da Razo, ou de dAlembert). Seja ( xn )nN

(i) Se lim
x n +1
< 1, ento xn convergente.
xn
(ii) Se lim
x n +1
> 1, ento xn divergente.
xn
n +
n +
Anlise Real
uma sequncia de nmeros positivos.
Prova:
x
(i) Tomemos r R tal que lim n+1 < r < 1. O resultado da proposio 4.25 garante que existe N N tal
n + x n
x
que n+1 < r para todo n N. Temos ento:
xn
x N +1
< rx N ;
x N +2
< rx N +1
< r2 x N ;
x N +3
..
.
< rx N +2
< r3 x N ;
De maneira geral, xn < r n N x N , para todo n N. Tomando yn = r n N x N (para todo n N ) temos
que xn yn para todo n N. Como yn uma Srie Geomtrica de razo r (0, 1), ela convergente.
O resultado segue do Critrio de Comparao.
x n +1
1 para todo n N.
xn
xn para todo n N. Segue que a sequncia dos termos gerais da srie crescente a
(ii) Usando o resultado da proposio 4.25 conclumos que existe N N tal que
Portanto, xn+1
partir do N-simo termo e, portanto, no converge para zero. Logo, a srie divergente.
Exemplo 4.13. A srie
1
convergente pois
n!
1
( n +1 ) !
lim
1
n +
n!
= lim
Analogamente, dado x R, mostra-se que

Nota 14. Quando lim
vergncia).
n +
n +
n!
1
= lim
= 0.
(n + 1)! n+ n + 1
xn
xn
(absolutamente) convergente e, em particular,
0.
n!
n!
x n +1
= 1, o Teste da Razo nada permite concluir (nem convergncia nem dixn
H outras verses do Teste da Razo. A aqui apresentada no a mais geral delas. Por exemplo, em (i), podemos substituir o smbolo de limite pelo smbolo de limite superior que a afirmao continua vlida. Analogamente, a concluso de (ii) permanece vlida ao substituirmos o smbolo de limite pelo de limite inferior.
1
Exemplo 4.14. Vejamos exemplos para os quais o Teste da Razo no conclusivo. Considere as sries e
n
1
n2 . J vimos que a primeira divergente enquanto que a segunda convergente. Porm, para ambas temos
x
que lim n+1 = 1. De fato,
n + x n
1
n +1
n + 1
n
lim
n
= 1 e lim
n + n + 1
n +
= lim
1
( n +1 ) 2
1
n2
n2
= 1.
n + ( n + 1)2
= lim
4.27 Teorema (Teste da Raiz, ou de Cauchy). Seja ( xn )nN uma sequncia de nmeros positivos.

UNEB 2009.2
(i) Se lim n xn < 1, ento xn convergente.

n +
(ii) Se lim
n +
xn > 1, ento xn divergente.
Prova:
(i) Seja r R tal que lim
ou seja, xn <
rn
n +
xn < r < 1. Da Proposio 4.25(a) obtemos que existe N N tal que
xn < r,
para todo n N. O resultado segue por comparao com a Srie Geomtrica r n .
(i) Anlogo ao item anterior.
Nota 15. Quando lim
n +
cia).
xn = 1, o Teste da Raiz nada permite concluir (nem convergncia nem divergn-
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 eficiente 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 definio.
4.28 Definio. A funo Parte Inteira definida, 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 ( pn )nN a sequncia estritamente crescentes dos nmeros primos ( p1 = 2, p2 = 3, p3 =
1
5, . . .). A srie
diverge.
pn
Prova: Suponhamos por absurdo que
1
converge. Portanto existe N N tal que
pn
+
n= N
1
1
< .
pn
2
Seja M = 22N . 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 <

56 Adriano Cattai
M
M
e #B
chegando assim a uma contradio.
2
2
O nmero de mltiplos do primo p que so menores que M
#A
n= N
M
pn
n= N
M
. Segue que
p
Anlise Real
M
M
< .
pn
2
Tambm fcil ver que todo m B pode ser escrito como m = a b2 sendo a um produto de primos
distintos, todos menores que p N , e b2 um produto de quadrados de primos, tambm menores que p N . Existem
exatamente 2 N 1 nmeros nas condies de a. Temos ainda que b2 m M e portanto b M = 2 N . Segue

M
que existem, no mximo, 2 N nmeros nas condies de b. Portanto #B 2 N 1 2 N = 22N 1 =
.
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 x0 sem, entretanto, assumir este valor. Este o assunto desta seo. Muitas vezes f ( x )
se aproximar de f ( x0 ), 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 x0 sem, entretanto, 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 x0 , no necessrio que f ( x0 ) esteja definido. Ou seja, no necessrio que x0
pertena ao domnio de f . Porm, preciso que seja possvel se aproximar de x0 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,
x0 ponto de acumulao de A. Lembramos que esta condio significa que x0 A { x0}, isto , existe uma
sequncia ( xn )nN A { x0 } convergente para x0 .
Sejam f : A R R e x0 um ponto de acumulao de A. Como expressar de maneira rigorosa que f ( x ) se
aproxima de L R quando x se aproxima de x0 ? 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 x0 . A idia intuitiva correta
dizer que f ( x ) to prximo de L quanto quisermos, bastando para isto tomar x suficientemente prximo de
x0 . Vejamos a definio rigorosa.
5.1 Definio. Sejam f : A R R e x0 um ponto de acumulao de A. Dizemos que existe o limite de f ( x )
quando x tende a x0 R e ele vale L R se
> 0, > 0 tal que x A, 0 < x x0 < f ( x ) L < .

Neste caso, escrevemos lim f ( x ) = L.
x x0
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 x0 quando x0 ponto de acumulao do domnio de f . Daqui por diante, esta condio ficar subentendida quando estivermos
considerando limites.

UNEB 2009.2
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 R {0}. Vamos supor que lim f ( x ) =
x 0
L. Tomando = 1 na definio de limite, obtemos a existncia de > 0 tal que f ( x ) L < 1 quando
0 < x < . Portanto,
Absurdo!
( )
(

(
) ( )
)

2 = 1 (1) = f
f f
L + f
L < 1 + 1 = 2.
2
2
2
2
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 afirmativo, 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 f ( x ) = 1.
x 0
Pratique!
Da mesma maneira mostra-se que se g : A R R constante igual a c, ou seja, g( x ) =

c, x A, e x0 A { x0 }, ento lim g( x ) = c.
x x0
O exemplo anterior atpico. Se x0 , e so como na Definio 5.1, ento, geralmente, depende de e

de x0 . Muitas vezes esta dependncia indicada na notao = (, x0 ). Os exemplos a seguir ilustram esta
dependncia. No primeiro deles depende apenas de e, no segundo, depende tanto de quanto de x0 .
Exemplo 5.3. Sejam f : R R, dada por f ( x ) = x para todo x R, e x0 R. Mostre que lim f ( x ) = x0 .
x x0
Soluo: Dado > 0, tomando = , obtemos

x R, 0 < x x0 < f ( x ) f ( x0 ) = x x0 < = .
Exemplo 5.4. Sejam f : R R, dada por f ( x ) = x2 para todo x R, e x0 R. Mostre que lim f ( x ) = x02
x x0
Soluo: Fixado > 0, tomamos = min 1,

. Desta forma, se 0 < x x0 < , ento
2 x0 + 1
x < x0 + x0 + 1. Alm disto,
f ( x ) x02 = x2 x02 = x x0 x + x0 < ( x + x0 ) < (2 x0 + 1) = .

58 Adriano Cattai
Anlise Real
Nota 16. O exemplo anterior pode nos induzir a pensar que achar em funo de e de x0 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 x0 (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 definida 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 (2x + 1) = 3 e ento mostrar que o caso.
x 1
Investiguemos, inicialmente, se existe uma correspondncia entre as vizinhanas de L = 3 e x0 = 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 < . Portanto, se fizermos = , teremos 0 < x 1 < .

2
2
Deste modo, dado > 0, tomando = , obtemos

2
x R, 0 < x 1 < f ( x ) 3 = 2x + 1 3 = 2 x 1 < 2 = 2
= .
2
No exemplo anterior, intumos que lim (2x + 1) = 3 e provamos que o caso. No entanto, no mencionamos
x 1
a possibilidade de existir outra valor L R diferente de 3 para lim (2x + 1). Na verdade, no existe, pois quando
x 1
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 x0 A um ponto de acumulao. Se lim f ( x ) = L e

x x0
lim f ( x ) = M ento L = M.
x x0
sempre que
Prova: Dado > 0 existe 1 > 0 e 2 > 0 tais que para x A, temos f ( x ) L <
2
0 < x x0 < 1 e f ( x ) M < sempre que 0 < x x0 < 2 . Seja = min{1 , 2 }. Ento f ( x ) L <
2
2
e f ( x ) M < sempre que 0 < x a < .

2
Seja x A tal que 0 < x x0 < , 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 a x + b = a x0 + b.

x x0
5.3 Teorema. Sejam f : A R e a A { x0 }. Ento lim f ( x ) = L se, e somente se, para toda sequncia de
x x0
pontos ( xn )nN A { x0 } com lim xn = x0 , tenha-se lim f ( xn ) = L.

UNEB 2009.2
Prova: Suponhamos que lim f ( x ) = L e mostremos que se ( xn )nN A { x0 } e xn x0 , ento
x x0
f ( xn ) L. Seja > 0. Por hiptese, existe > 0 tal que
x A, 0 < x x0 < f ( x ) L < .
(5.1)
Ora, xn x0 , logo, existe N N tal que se n N, ento xn x0 < . Assim, para n N, ao tomar x = xn
em (5.1) obtemos f ( xn ) L < . Conclumos que f ( xn ) L.
Reciprocamente, suponhamos que seja falso que lim f ( x ) = L. Isto significa que existe > 0 tal que
x x0
> 0, x A tal que 0 < x x0 < e f ( x ) L .

Para cada n N, ao tomar =
(5.2)
1
em (5.2) obtemos xn A tal que
n
0 < x n x0 <
1
e f ( xn ) L .
n
Constri-se desta maneira uma sequncia ( xn )nN A { x0 } convergente para x0 sem que f ( xn ) L.
Absurdo!
Vejamos como esta proposio facilita o clculo de limites.

Exemplo 5.6. Sejam f : R R, dada por f ( x ) = x2 para todo x R, a R e ( xn )nN R { a} convergente
para a. Temos ento que f ( xn ) = x2n a2 . Como a sequncia ( xn )nN arbitrria, conclumos que lim f ( x ) =
xa
a2 .
5.4 Teorema. Seja f : A R R. Se lim f ( x ) = L < M, ento existe > 0 tal que f ( x ) < M para todo x A
x x0
tal que 0 < x x0 < . Uma concluso anloga vale quando L > M.
Prova: Tomando = M L > 0, na definio de limite, obtemos > 0 tal que f ( x ) L < M L se
x A e 0 < x x0 < . Ora
f ( x ) L f ( x ) L < M L f ( x ) < M.
5.5 Corolrio. Se lim f ( x ) = L > 0 ento existe > 0 tal que f ( x ) > 0 para todo x A tal que 0 < x x0 < .
x x0
5.6 Corolrio. Se f ( x ) g( x ) para todo x A { x0 } e lim f ( x ) = L e lim g( x ) = M, ento L M.

x x0
x x0
5.7 Teorema (Operaes com limites). Sejam f , g : A R, x0 A com lim f ( x ) = L e lim g( x ) = M. Ento:
x x0
x x0
(i) lim [ f ( x ) g( x )] = L M;
x x0
(ii) lim [ f ( x ) g( x )] = L M;
x x0
(iii) lim
x x0
f (x)
L
=
se M = 0;
g( x )
M
(iv) Se lim f ( x ) = 0 e g uma funo limitada numa vizinhana de x0 , ento lim f ( x ) g( x ) = 0.

x x0
x x0
Prova:
(i) Dado arbitrariamente > 0, existem 1 > 0 e 2 > 0 tais que para 0 < x x0 < 1 temos f ( x ) L <

60 Adriano Cattai
Anlise Real
e para 0 < x x0 < 2 temos g( x ) M < . Seja = min{1 , 2 }. Assim, se 0 < x x0 < temos
2
f ( x ) L < e g( x ) M < . Logo,

2
2
[ f ( x ) + g( x )] [ L + M ] f ( x ) L + g( x ) M

+ = .
2 2
Portanto lim [ f ( x ) + g( x )] = L + M.
x x0
(ii) Sejam dadas duas sequncias reais ( xn ) e (yn ), n N com lim xn = x0 e lim yn = y0 . Considerando (yn )
uma sequncia limitada por uma constante positiva k temos:
xn yn x0 y0 = ( xn x0 )yn + x0 (yn y0 )
( xn x0 )yn + x0 (yn y0 )
k ( xn x0 ) + x0 (yn y0 )
Tanto xn x0 como yn y0 podem ser tomados arbitrariamente pequenos, desde que n seja sufi
cientemente grande. Assim dado > 0 podemos considerar xn x0 <
a partir de um certo n1 e
2k
a partir de um certo n2 . Sendo n = max{n1 , n2 } teremos:

y n y0 <
2 x0
xn yn x0 y0 k xn x0 + x0 yn y0 < k

+ x0
= + = .
2k
2 x0
2 2
Logo, xn yn x0 y0 < e ento lim xn yn = x0 y0 , isto , pelo teorema 5.3 temos lim [ f ( x ) g( x )] =
x x0
L M.
xn
1
= xn
e j mostramos que o limite do produto o produto dos limites,
yn
yn
1
1
basta mostrar que se lim yn = y0 ento lim
=
com y0 = 0.
yn
y0

1
1
y n y0
y
Observe que =
; como y0 = 0, a partir de um certo n1 temos yn > 0 ; e dado
yn
y
yn y
2
(iii) Como temos a igualdade
y 2
> 0, a partir de um certo n2 , podemos ter yn y0 menor que 0 . Considerando n = max{n1 , n2 }
2

1
1
y0 2 /2
1
1

teremos que <
= . E assim temos lim
= .
yn
y0
yn
y0
y20 /2
(iv) Temos que, se lim xn = 0 e (yn ) uma sequncia limitada, ento existe c > 0 tal que yn c para todo
n N. Dado arbitrariamente > 0, existe n0 N tal que para n > n0 temos xn < . Ento para
c
n > n0 temos xn yn = xn yn < c = . Logo lim xn yn = 0 e portanto lim f ( x ) g( x ) = 0.

x x0
c
Perceba!
Pratique!
No item (ii) da proposio acima, se f ( x ) = c R, ento lim [c g( x )] = c lim g( x ).

x x0
x x0
x3 8
.
x 2 x 2 4
Usando as propriedades operatrias de limites calcule o valor de lim
5.8 Teorema (Teorema do Sanduche). Sejam f , g, h : A R, a A e lim f ( x ) = lim g( x ) = L. Se f ( x )

h( x ) g( x ) para todo x X = A{ x0 }, ento lim h( x ) = L.
x x0
x x0
x x0
Prova: Dado arbitrariamente > 0, existe 1 > 0 e 2 > 0 tais que para x X temos L f ( x ) L +
sempre que 0 < x x0 < 1 e L g( x ) L + sempre que 0 < x x0 < 2 . Seja = min{1 , 2 }.
Ento para x X e 0 < x x0 < temos L f ( x ) h( x ) g( x ) L + . Logo, L h( x ) L +

UNEB 2009.2
e ento lim h( x ) = L.
x x0
Exemplo 5.7. Se g : A R definida por g( x ) = x sen( x ), ento tem-se que lim g( x ) = 0.

x 0
Exemplo 5.8. Para todo polinmio p : R R dado por p( x ) = a0 + a1 x + . . . + an x n tem-se lim p( x ) = p( x0 )

x x0
p( x )
para todo a R. Tambm para toda funo racional f ( x ) =
, quociente de dois polinmios, tem-se
q( x )
lim f ( x ) = f ( x0 ) desde que q( x0 ) = 0.
x x0
5.1 Limites Laterais, Infinitos e no Infinito

5.9 Definio. Seja f : A R R e agora x0 ponto de acumulao de A ( x0 , +). Dizemos que L limite
direita de f em x0 se para todo > 0 existe > 0 tal que
x A, 0 < x x0 < f ( x ) L < .

Neste caso escrevemos lim f ( x ) = L.
x x0+
Similarmente, definimos:
5.10 Definio. Seja f : A R R e agora x0 ponto de acumulao de A (, x0 ). Dizemos que L limite
esquerda de f em x0 se para todo > 0 existe > 0 tal que
x A, 0 < x0 x < f ( x ) L < .

Neste caso escrevemos lim f ( x ) = L.
x x0
Nota 17. possvel mostrar que se x0 ponto de acumulao tanto de A ( x0 , +) como de A (, x0 ),
ento
lim f ( x ) = L lim f ( x ) = lim f ( x ) = L
x x0
x x0+
Exemplo 5.9. Seja

f (x) =
x x0
1, se x > 0
0, se x = 0
1, se x < 0
Como lim f ( x ) = 1 e lim f ( x ) = 1, ento no existe limite de f no zero.

x 0+
x 0
Outra definio importante a de limite infinito.

5.11 Definio. Dizemos que f tende a + em x0 se para todo M R + existe > 0 tal que
x A, 0 < x x0 < f ( x ) > M.
Escrevemos ento que lim f ( x ) = +.
x x0
Similarmente definimos:

62 Adriano Cattai
Anlise Real
5.12 Definio. Dizemos que f tende a em x0 se para todo N R existe > 0 tal que
x A, 0 < x x0 < f ( x ) < N.
Escrevemos ento que lim f ( x ) = .
x x0
1
1
= +, pois dado M > 0, tomando = temos
2
x 0 x
M
Exemplo 5.10. lim
0 < x 0 < M x 2 < 2 =
1
1
2 > M.
M
x
Finalmente definimos limites no infinito.

5.13 Definio. 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 < .
Escrevemos ento que lim f ( x ) = L.
x +
Analogamente definimos:
5.14 Definio. 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 < .
Escrevemos ento que lim f ( x ) = L.
x
Cuidado!
Nem sempre existe limite no infinito. 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 x2 um
nmero prximo de 9. Outra, x2 estar cada vez mais prximo de 9 quanto mais prximo x estiver de 3. Por
esta razo dizemos que a funo f ( x ) = x2 (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 x0 do seu domnio se f ( x ) est prximo de f ( x0 )
quando x est prximo de x0 . Induzidos pela discusso que precedeu a definio de limite de funes, somos
tentados a dizer que f : A R contnua em x0 quando
lim f ( x ) = f ( x0 )
(6.1)
x x0
quase isto, mas no exatamente. O problema um detalhe tcnico. A definio de lim f ( x ) exige que x0
x x0
seja ponto de acumulao de A. Por outro lado, para que f ( x0 ) tenha sentido devemos ter x0 A. Estas duas
condies podem ser incompatveis (veremos um exemplo a seguir). Entretanto, quando x0 verificar ambas as
condies a definio que faremos ser equivalente a (6.1).

UNEB 2009.2
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 f ( x ). Por outro lado, 1 A e 1 A {1} = [0, 1]. Logo, no existe f (1), porm,
pode existir lim f ( x ).
x 2
x 1
6.1 Definio. Sejam f : A R R e x0 A. Dizemos que f contnua em x0 se
> 0, > 0; x A, x x0 < f ( x ) f ( x0 ) < .

Dizemos ainda que f contnua, se f contnua em todo ponto de A e escrevemos f C0 ( A). Mais precisa-
mente, f C0 ( A) se
y A, > 0, > 0 tal que x A, x y < f ( x ) f (y) <

Ateno!
(6.2)
Alguns autores costumam denotar por C ( A), em vez de C0 ( A), ao conjunto das funes
contnuas em A.
Observe que a definio de continuidade tem (como espervamos) uma relao muito grande com a definio
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 ) = x2 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 grficos 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 grfico 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
1
x N e x n < , ento x = n e, portanto, g( x ) g(n) = 0 < . Conclumos que g contnua em n e, como
2
n arbitrrio, conclumos que g contnua!
1
independente de e de n. Mais que isto, nem a definio de g no foi necessria
2
na demonstrao. Moral da histria: funes definidas em N no apenas so contnuas como so muito conObserve que tomamos =
tnuas!
Algumas observaes so importantes:
Importante
Na definio 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 definida em x0 e seu valor a coincide com o limite no ponto a, ento a funo
contnua no ponto a. Isto , se x0 A A, ento f contnua em x0 lim f ( x ) = f ( x0 ).
x x0
Exemplo 6.3. Se x0 um ponto isolado de A ento toda funo f : A R contnua no ponto x0 .

Exemplo 6.4. A funo f : R R, dada por f ( x ) = 2x + 1 contnua em x0 = 1. Verifique!
Exemplo 6.5. Todo polinmio p : R R uma funo contnua. Verifique!
Exemplo 6.6. Toda funo racional
tais que f ( x ) = 0. Verifique!

64 Adriano Cattai
p( x )
contnua em todos os pontos de seu domnio para os quais q( x ) = 0,
q( x )
Anlise Real
6.2 Definio. Uma funo f : A R dita descontnua no ponto x0 A se existe > 0 tal que para todo
> 0 pode-se achar x A tal que x x0 < e f ( x ) f ( x0 ) .
Passemos s proposies que nos poupam, em muitos casos, o trabalho com s e s. Todas elas tm demonstraes 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 x0 A. A funo f contnua em x0 se, e somente se, lim f ( xn ) = f ( x0 )
n +
para toda sequncia ( xn )nN A convergente para x0 .
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 xn ,
lim f ( xn ) = f
n +
n +
desde que a sequncia ( xn )nN esteja contida no domnio de f e seja convergente para um ponto deste conjunto.
Exemplo 6.7. Seja f : R R, dada por
1,
f (x) =
0,
se x Q
se x Q
Dado x0 R arbitrrio, tomando sequncias ( xn )nN Q e (yn )nN Q convergentes para x0 , obtemos que
f ( xn ) 1 e f (yn ) 0. Conclumos assim que f descontnua em qualquer ponto.
6.4 Corolrio. Dadas as funes f , g : A R contnuas no ponto x0 A, ento f + g, f g, f g so contnuas

f
neste mesmo ponto. Se g( x0 ) = 0, ento tambm contnua no ponto x0 .
g
6.5 Proposio. Sejam f : A R R e g : B R A tais que f ( A) B. Se f contnua em x0 e g contnua
em y0 = f ( x0 ), ento g f contnua em x0 . Segue que se f e g so contnuas, ento g f contnua.
Prova: Seja ( xn )nN A convergente para x0 . Como f contnua temos que f ( xn ) f ( x0 ) = y0 , e como
g contnua em y0 temos que g ( f ( xn )) g(y0 ) = g ( f ( x0 )). Segue que g f contnua em x0 .
6.6 Proposio. Seja f : A R R contnua em x0 A. Se f ( x0 ) < L R, ento existe > 0 tal que f ( x ) < L
para todo x A tal que x x0 < . Temos uma concluso anloga se f ( x0 ) > 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 ( xn )nN S tal que xn c. Temos que f ( xn ) = L para todo n N e
como f contnua em c temos
lim f ( xn ) = f (c).
n +
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

UNEB 2009.2
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 definida por f ( x ) = x3 6x2 + 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 ) = an x n + an1 x n1 + . . . + a1 x + a0 , onde an > 0 e n mpar.

Mostre que:
(a) lim p( x ) = +;
x +
(b) lim p( x ) = ;
x
(c) p( x ) tem raiz, isto , existe x0 R tal que p( x0 ) = 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 definio de nfimo e supremo, existem y1 , y2 J tais que a < y1 < y < y2 < b.
Como J = f ( I ), existem x1 , x2 I tais que f ( x1 ) = y1 e f ( x2 ) = y2 . Como f ( x1 ) = f ( x2 ), obtemos
que x1 = x2 . Suponhamos, por simplicidade, que x1 < x2 . Aplicando o Teorema do Valor Intermedirio
funo f no intervalo [ x1 , x2 ] conclumos que existe x ( x1 , x2 ) 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 x1 < x2 < x3 I tais que f ( x1 ) <
f ( x2 ) > f ( x3 ) ou f ( x1 ) > f ( x2 ) < f ( x3 ). Consideremos o primeiro caso (o segundo anlogo). Seja
L ( f ( x1 ), f ( x2 )) (( f ( x3 ), f ( x2 )). Graas ao Teorema do Valor Intermedirio, existem s ( x1 , x2 ) e
t ( x2 , x3 ) tais que f (s) = f (t) = L, contrariando a injetividade de f .
(iii) J sabemos que f montona. Para fixar as idias, suponhamos que f crescente. Seja y J e (yn )nN
J tal que yn y. Vamos mostrar que f 1 (yn ) 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 yn y, existe n0 N tal que

66 Adriano Cattai
f (s) < yn < f (t) se n n0 . Neste caso,
f 1 ( y
f 1 (y)
n)
f 1 ( y )
< se n n0 .
f 1 ( y
< s <
Exemplo 6.9. Existncia da raiz n-zima de um nmero real a, isto ,
n)
< t <
f 1 ( y )
Anlise Real
+ . Portanto
a, a R.
Considere a funo f [0, +) [0, +) definida por f ( x ) = x n , n N. Como f crescente (estritamente
crescente), temos que f injetora, f (0) = 0 e lim f ( x ) = +, donde f sobrejetora e, portanto, bijetora.
x +
Dado a [0, +), existe um nmero b [0, +) tal que f (b) = a, isto , bn = a, ou seja, b = n a.
Quando n for mpar, a bijeo ser de R em R.
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 definio: f contnua em A se f contnua

em todos os elementos de A. A notao f A indica que f definida 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 em R.
6.2 Funes contnuas Definidas em Compactos

A compacidade pode ser bem explorada em vrias aplicaes. A compacidade uma propriedade preservada 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 )
G . Logo K
1
f ( G ). Por f ser
contnua, para todo existe H aberto em R tal que f 1 ( G ) = H K. Portanto { H } uma cobertura aberta
de K. Como K compacto, ento existe { H1 , . . . , Hn } cobertura finita. Logo,

K
e ento f (K )
i =1
f (K ) compacto.
i =1
H i =
i =1
H i K =
f 1 ( G i ) ,
i =1
f ( Gi ). Portanto, achamos uma subcobertura finita para f (K ), e conclumos assim que
6.10 Definio. 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.
1
A funo f ( x ) = no limitada em R+ . Entretanto f ( x ) limitada em
x
neste intervalo.
1
, +
2

1
pois 2 para todo x
x

UNEB 2009.2
6.11 Corolrio. Seja f : K R contnua. Se K R compacto, ento f limitada em K.
6.12 Definio. Sejam f : A R R e B A. Se f ( x0 ) f ( x ) para todo x B, ento dizemos que x0 um
ponto de mximo de f em B. Neste caso, f ( x0 ) o valor mximo de f em B. Se f ( x0 ) f ( x ) para todo x B, ento

x0 dito ponto de mnimo de f em B e f ( x0 ) o valor mnimo de f em B. Se x0 ponto de mximo ou de mnimo
em B, ento x0 chamado de extremo em B. Em particular, quando B = A trata-se de mximo global ou mnimo

global ou extremo global de f .
Nota 18. Se uma funo f como acima definida assume seus valores mximo e mnimo em A, ento f
limitada em A.
1
no limitada em (1, 1), mas limitada em
Exemplo 6.11. A funo f : (1, 1) R dada por f ( x ) =
1
x2
[
]
1 1
, , por exemplo.
2 2
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].
1
1
limitada em R, assume seu valor mximo em x = 0, pois 0 <
1 + x2
1 + x2
1 = h(0). h no assume seu valor mnimo, isto porque inf h(R ) = 0 = h( x ) para todo x R.
Exemplo 6.13. A funo h( x ) =
y
1
x
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 xn K tal que f ( xn ) > n. Claramente, temos que lim f ( xn ) = +. Como
n +
K compacto, a sequncia ( xn )nN possui uma subsequncia convergente para algum x K (por abuso
de notao, tal subsequncia tambm ser denotada ( xn )nN , isto no deve atrapalhar o seu entendimento).
Como f contnua conclumos que f ( x ) = lim f ( xn ) = +. Absurdo!
n +
Mostremos agora que existe ponto de mximo em K. Sendo f limitada superiormente em K, existe M =
sup{ f ( x ); x K }. Tomemos uma sequncia ( xn )nN K tal que lim f ( xn ) = M. Como anteriormente,
n +
podemos extrair uma subsequncia, ainda denotada ( xn )nN , convergente para x0 K. Da continuidade de
f conclumos que f ( x0 ) = lim f ( xn ) = M. Segue que x0 um mximo de f em K.
n +
A demonstrao da existncia de um ponto de mnimo de f em K anloga
6.3 Funes Uniformemente Contnuas

Considere g( x ) =

68 Adriano Cattai
1
, para x (0, 1). Seja c (0, 1). Ento
x
1 1
xc
g(c) g( x ) = =
.
c
x
cx
Anlise Real
Para mostrarmos que g contnua em c. seja > 0. Sem perda de generalidade, podemos assumir que < 1, e
c2
portanto c < 1. Seja =
. Ento
2
x c < c < x + = x +
Logo
x c < g( x ) g(c) =
c2
c
c
< x + < x.
2
2
2
x c
c2
c
<
=
=
<
cx
cx
2cx
2x
c
1
onde usamos que < x na ltima desigualdade. Mostramos ento, usando s e s que contnua em todo
2
x
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 Definio. 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 definies de continuidade e continuidade uniforme. Apenas trocamos a
expresso y A de lugar. Isto realmente uma grande diferena. A definio 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
definio de continuidade uniforme nos diz mais que isto: possvel encontrar , independente de y.
Ainda, na definio, x e y desempenham papis inteiramente simtricos. Fixado , a escolha de s depende
de , ao contrrio do que sucede na definio 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 definida por
{
1 se x [2, 0)
f (x) =
1 se x (0, 2]
no uniformemente contnua em [2, 2]{0}, apesar de ser obviamente contnua. Para verificarmos que no
uniformente contnua, fixando = 1, possvel, qualquer que seja > 0, encontrar pontos x, y em [2, 2]{0},
por exemplo
{
}
{
}
x = max 2,
y = min
,2 ,
4
4
{
}
tais que x y = min

, 4 < e f ( x ) f (y) = 1 1 = 2 > 1 = .
4
Vejamos exemplos de funes uniformemente contnuas.
Exemplo 6.14. A funo f ( x ) = sen( x ) uniformemente contnua em R, 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:

(
)
(
)
(
)
(
)

x+y
x y
cos x + y sen x y
sen( x ) sen(y) = 2 cos
sen
=
2

2
2

2
( 2 )

x y
x
y
2

2 sen

2 = x y .
2

UNEB 2009.2
Exemplo 6.15. Veremos, a partir da definio, que a funo f ( x ) = 7 x2 uniformemente contnua em [10, 1],
isto , que verdadeira a proposio
> 0 > 0 x, y [10, 1], x y < 7 x2 (7 y2 ) < .

Assim, seja > 0. Como
7 x2 (7 y2 ) = x2 + y2 = x y x + y 20 x y,
segue que
se <
.
20
x y < 7 x2 (7 y2 ) < ,
Vejamos outro exemplo de funo contnua que no uniformemente contnua.

Exemplo 6.16. Vimos que f : R R, dada por f ( x ) = x2 para todo x R, contnua. No entanto f no
uniformemente contnua em R, isto , falsa a proposio
> 0 > 0 x, y R, x y < x2 y2 < .

Da igualdade x2 y2 = 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 uniformemente contnuas.
6.15 Teorema (de Cantor). Se K compacto e f C0 (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) .

1
Tomando, para cada n N, =
construmos duas sequncias ( xn )nN K e (yn )nN K tais que
n
1
xn yn <
e f ( xn ) f (yn ) para todo n N. Podemos extrair uma subsequncia de ( xn )nN
n
(ainda denotada ( xn )nN ) convergente para x K. Como lim ( xn yn ) = 0, obtemos que (yn )nN tamn +
bm converge para x. Como f contnua, temos lim f ( xn ) =

n +
lim f (yn ) = f ( x ). Conclumos que
n +
lim ( f ( xn ) f (yn )) = 0, contrariando f ( xn ) f (yn ) para todo n N.
n +
Nota 19. 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 em R. Veremos que f uniformemente contnua em todo o subconjunto 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 uniformemente contnua nesse intervalo, sendo, portanto, uniformemente contnua em A [m, M ].

70 Adriano Cattai
Anlise Real
6.16 Definio. Uma funo f : A R R dita Lipschitz continua (ou Lipschitz, ou Lipschitziana) se existe
> 0 tal que
f ( x ) f (y) x y x, y A.
Dizemos que f no expansiva se for lipschitziana para = 1, ou seja, f ( x ) f (y) x y e, uma contrao
se existe (0, 1) tal que f ( X ) f (y) < x y.

Ateno!
Note que se f uma contrao, ento f uniformemente contnua
6.17 Teorema. Se A R e f : A R, e f de Lipschitz, ento f uniformemente contnua em A.

Prova: Seja R tal que
Dado > 0, seja =
f ( x ) f (y) x y, x, y A.
. 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
1
x = g( x ) g(0) x 0 = x x > 0,
x
um absurdo. Logo g no de Lipschitz apesar de ser uniformemente contnua em seu domnio.

Exemplo 6.19. A funo f ( x ) = x2 lipschitziana em [0, 1]. De fato,
x2 y2 = 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 ) = x2 no uniformemente contnua em R.
O fato da funo ser uniformemente contnua depende do conjunto. Claro que se uma funo for uniformemente 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.

UNEB 2009.2
As funes afins (funes g : R R da forma g( x ) = ax + b, sendo a e b constantes, isto , funes cujos
grficos so retas) so mais simples de serem manipuladas do que outras funes (cujos grficos no so retas).
Por isto, pode ser til saber se possvel (e em caso afirmativo, de que modo) aproximar uma funo qualquer
por outra que seja afim. Intuitivamente, dada a funo f , queremos encontrar uma funo afim g que mais se
parea com f . Vejamos um exemplo que foge um pouco do contexto mas que suficientemente 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
significa 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 definida numa vizinhana de x0 queremos determinar a funo afim g, dada por g( x ) = ax + b, que mais se parea com f na vizinhana de x0 (lembre-se que
esta semelhana local, isto , perto de x0 ). Determinar g significa determinar as constantes a e b. Ser mais
conveniente, modificando a constante b, escrever a funo g na forma g( x ) = a( x x0 ) + b (convena-se que
toda funo afim pode ser escrita desta forma).
Como proceder? A resposta depende, claro, do que se entende por aproximar uma funo. Devemos
precisar o que significa g ser a funo afim 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( x0 ) = f ( x0 );
(ii) lim ( f ( x ) g( x )) = 0.
x x0
fcil ver que a primeira condio equivalente a b = f ( x0 ). A condio (ii ) significa que o erro r ( x ) =
f ( x ) g( x ) cometido ao aproximar f por g no ponto x fica to pequeno quanto quisermos bastando para isto
tomar x suficientemente prximo de x0 . Substituindo g por sua expresso em (ii) obtemos
lim [ f ( x ) ( a( x x0 ) + f ( x0 ))] = 0 lim f ( x ) = lim ( f ( x0 ) + a( x x0 )) = f ( x0 ).
x x0
x x0
x x0
Ou seja, (ii) equivalente continuidade de f em x0 . 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 definio.
7.1 Definio. Seja f : A R R dizemos que f derivvel em x0 A se existe a R tal que
lim
x x0
f ( x ) ( f ( x0 ) + a( x x0 ))
= 0.
x x0
(7.1)
Esta definio acima difere daquela clssica presente na maioria (seno todos) os livros de Clculo. A
proposio seguinte resolve esta confuso mostrando que as duas definies so equivalentes. A escolha pela
Definio 7.1 se deve ao fato que ela pode ser facilmente generalizada para funes de mais variveis (inclusive
infinitas!).
7.2 Proposio. Uma funo f : A R derivvel em x0 A se, e somente se, o limite abaixo existe e finito.
lim
x x0

72 Adriano Cattai
f ( x ) f ( x0 )
.
x x0
Anlise Real
Neste caso, a constante a em (7.1) nica e igual ao limite acima.
Prova: Pelo fato que

f ( x ) ( f ( x0 ) + a( x x0 ))
f ( x ) f ( x0 )
=
a,
x x0
x x0
temos portanto,
lim
x x0
f ( x ) ( f ( x0 ) + a( x x0 ))
=0
x x0
lim
x x0
f ( x ) f ( x0 )
= a.
x x0
7.3 Definio. Seja f : A R. Se f derivvel em x0 A, ento a derivada de f em x0 denotada por f ( x0 ) e

definida por
f ( x0 ) = lim
x x0
f ( x ) f ( x0 )
.
x x0
Se f derivvel em todo ponto do seu domnio, ento dizemos simplesmente que f derivvel. A funo f ,
definida no conjunto dos pontos onde f derivvel, que a cada x associa f ( x ) chamada de derivada de f .
Se f derivvel em x0 , ento a reta de equao g( x ) = f ( x0 ) + f ( x0 )( x x0 ) a reta que melhor aproxima
o grfico de f numa vizinhana de x0 . Tal reta chamada de reta tangente ao grfico de f no ponto x0 .
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 x0 R e, no caso afirmativo, quanto vale f ( x0 )?
Soluo: Determinar se f derivvel em x0 corresponde a determinar se f pode ser bem aproximada

por uma funo afim numa vizinhana de x0 . Neste exemplo, f j afim e portanto pode ser muito bem
aproximada por ela mesma. Alm disto, sendo a derivada igual ao coeficiente do termo em x da aproximao,
temos imediatamente que f ( x0 ) = a qualquer que seja x0 R. Vamos verificar isto rigorosamente a partir da
definio. Temos
lim
x x0
ax + b ax0 b
f ( x ) f ( x0 )
= lim
= a.
x x0
x x0
x x0
Assim, f derivvel em todo ponto x0 R com f ( x0 ) = a. Em particular, se f constante ( a = 0), obtemos

que f ( x0 ) = 0 para todo x0 R.
Exemplo 7.2. Verifique que a funo dada por f ( x ) = x n para todo x R (n N ) derivvel em qualquer
ponto x0 R com f ( x0 ) = n x0n1 .
Soluo: Como x n x0n = ( x x0 ) ( x n1 + x n2 x0 + . . . + xx0n2 + x0n1 ), temos

lim
x x0
x n x0n
= lim ( x n1 + x n2 x0 + . . . + xx0n2 + x0n1 ) = nx0n1 .
x x0
x x0
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.

UNEB 2009.2
7.2 Propriedades Operatrias

As propriedades operatrias das derivadas so, em sua maioria, consequncias imediatas das propriedades
anlogas sobre limites.
7.4 Proposio. Sejam f , g : A R R derivveis em x0 A e seja c R. Temos:
(i) f g derivvel em x0 e ( f g) ( x0 ) = f ( x0 ) g ( x0 );
(ii) f g derivvel em x0 e ( f g) ( x0 ) = f ( x0 ) g( x0 ) + f ( x0 ) g ( x0 );
(iii) se g( x0 ) = 0, ento
f
derivvel em x0 e
g
( )
f
f ( x0 ) g ( x0 ) f ( x0 ) g ( x0 )
( x0 ) =
.
g
g ( x0 )2
Prova:
(i) Basta notar que
( f g)( x ) ( f g)( x0 )
f ( x ) f ( x0 )
g ( x ) g ( x0 )
=
x x0
x x0
x x0
e aplicar a Proposio 5.7, sobre propriedades de limites.
(ii) Como 0 = f ( x ) g( x0 ) f ( x ) g( x0 ), veja as seguintes igualdades:
( f g)( x ) ( f g)( x0 )
x x0
=
=
=
f ( x ) g ( x ) f ( x0 ) g ( x0 ) + f ( x ) g ( x0 ) f ( x ) g ( x0 )
x x0
( f ( x ) f ( x0 )) g( x0 ) + f ( x ) ( g( x ) g( x0 ))
x x0
g ( x ) g ( x0 )
f ( x ) f ( x0 )
g ( x0 ) + f ( x )
.
x x0
x x0
Pela Proposio 5.7, tem-se (ii).

(iii) Como 0 = f ( x0 ) g( x0 ) f ( x0 ) g( x0 ), com clculo anlogo obtemos:
( gf )( x ) ( gf )( x0 )
x x0
=
=
f ( x ) g ( x0 ) f ( x0 ) g ( x ) + f ( x0 ) g ( x0 ) f ( x0 ) g ( x0 )
g ( x ) g ( x0 )
x x0
(
)
1
f ( x ) f ( x0 )
g ( x ) g ( x0 )
g ( x0 ) f ( x0 )
.
g ( x ) g ( x0 )
x x0
x x0
Da, pela Proposio 5.7, conclui-se o resultado.
Perceba!
Se no item (ii) da proposio fizermos f ( x ) = c R, ento teremos c g derivvel em x0 e

( c g ) ( x0 ) = c g ( x0 );
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 definida). Se f derivvel em x0 A e g derivvel em f ( x0 ) B, ento g f derivvel em x0 e, alm
disto,
( g f ) ( x0 ) = g ( f ( x0 )) f ( x0 ).

74 Adriano Cattai
Anlise Real
Prova: Seja r : B R dada por
g(y) g ( f ( x0 )) g ( f ( x0 )) ,
y f ( x0 )
r(y) =
0,
imediato que
se y = f ( x0 ),
se y = f ( x0 ).
lim r (y) = 0 = r ( f ( x0 )).
y f ( x 0)
Se y B e y = f ( x0 ), ento
g(y) g ( f ( x0 )) = g ( f ( x0 )) (y f ( x0 )) + r (y) (y f ( x0 )) .
Como a equao acima , trivialmente, verdadeira para y = f ( x0 ) temos que ela vlida para todo y B.
Fazendo y = f ( x ) com x A, x = x0 , na equao acima e dividindo-a por x x0 , obtemos
g ( f ( x )) g ( f ( x0 ))
f ( x ) f ( x0 )
f ( x ) f ( x0 )
= g ( f ( x0 ))
+ r ( f ( x ))
.
x x0
x x0
x x0
Como f contnua em x0 e r contnua em f ( x0 ), da Proposio 6.5 obtemos que lim r ( f ( x )) = 0. Conclux x0
mos a demonstrao, fazendo x x0 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 x0 A com f ( x0 ) = 0 e f 1

contnua em f ( x0 ), ento f 1 derivvel em f ( x0 ) e, alm disto,
f 1
(
) 1
.
( f ( x0 )) = f ( x0 )
Prova: Seja y0 = f ( x0 ). Como f derivvel em x0 temos que x0 A { x0 } e, portanto, existe uma
sequncia ( xn )nN A { x0 } convergente para x0 . Como f injetiva temos que ( f ( xn ))nN B {y0 }.
Alm disto, da continuidade de f segue que f ( xn ) y0 e, portanto, y0 B {y0 }.

Seja (yn )nN B {y0 } convergente para y0 . Vamos mostrar que
lim
n +
f 1 ( y n ) f 1 ( y 0 )
1
=
.
y n y0
f ( x0 )
O resultado seguir da Proposio 5.3.

Definindo xn = f 1 (yn ), para todo n N, temos que ( xn )nN A { x0 } e, como f 1 contnua em y0 ,
( xn )nN converge para x0 . Segue que
f 1 ( y n ) f 1 ( y 0 )
x n x0
1
=

, quando n +.
y n y0
f ( x n ) f ( x0 )
f ( x0 )
Exemplo 7.3. Vimos que a funo f : [0, +) [0, +), dada por f ( x ) = x2 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
1
= .
2x
2 y

UNEB 2009.2
Nota 20. 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
ny
n 1
n
Note que g no diferencivel no zero pois f (0) = 0.

Exemplo 7.4. Seja f : [0, 1) [2, 3] [0, 2] definida 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 final da seo 6.1, deixamos um
exerccio para verificar que f uma bijeo com inversa descontnua em 1. Portanto, f 1 no derivvel em 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 extremos 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, usaremos 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 Definio. Seja f : A R R. Dizemos que x0 A um ponto de mximo local de f se x0 ponto de
mximo de f na interseo de A com uma vizinhana de x0 . Mutatis mutandis define-se ponto de mnimo local e
ponto de extremo local (veja a Definio 6.12).
Ateno!
Todo extremo global extremo local.
7.8 Teorema (Dos Extremos Locais). Seja f : A R R. Se x0 A um extremo local de f tal que x0 int A
e f derivvel em x0 , ento f ( x0 ) = 0.
Prova: Suponhamos que x0 um ponto de mximo local de f .

Como x0 ponto de mximo local no interior de A, existe > 0 tal que se x x0 < , ento x A e
f ( x ) f ( x0 )
f ( x ) f ( x0 ). Portanto, para x0 < x < x0 + temos
0. Segue que
x x0
lim
x x0+
Por outro lado, para x0 < x < x0 temos
f ( x ) f ( x0 )
0.
x x0
f ( x ) f ( x0 )
0. Portanto,
x x0
lim
x x0+
f ( x ) f ( x0 )
0.
x x0
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:
x0 extremo global x0 extremo local
x0 int A e f derivvel em x0

76 Adriano Cattai
f ( x0 ) = 0.
Anlise Real
Desta forma, se x0 extremo global, ento x0 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
(1 x )(5 x ), se 0 x 1,
f (x) =
( x 1)(5 x ), se 1 < x 4
Segue que f derivvel em todo ponto x A {1} (verifique). Alm disto,
2x 6, se 0 x < 1,
f (x) =
6 2x, se 1 < x 4.
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 verificao 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 definida sobre o compacto [ a, b] dada por

g( x ) = f ( x ) f ( a)
f ( b) f ( a )
( x a ).
ba
Temos que g C ([ a, b]) e g derivvel em ( a, b) com

g ( x ) = f ( x )
f ( b) f ( a )
.
ba
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 extremos, 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 definida 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].

UNEB 2009.2
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!
x
, definida para todo x R {0}, no constante, embora cumpra
x
f ( x ) = 0 para todo x R {0}. O motivo que o domnio de f no um intervalo.

A funo f ( x ) =
7.12 Corolrio. Sejam I R um intervalo no degenerado e f , g C0 ( I ), derivveis em int I. Temos:

(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 )
= f (c) 0.
ba
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 21. 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
( )
x + 2x2 sen
,
x
g( x ) =
0,
se x = 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 e0 = e c ( x 0 ) .
Como c > 0, ento ec > e0 = 1, donde
e x > 1 + x.
Para x < 0, os argumentos so semelhantes.

78 Adriano Cattai
Anlise Real
Nota 22.
xn
Esse simples exemplo (acima), nos permite mostrar que para todo n N, vale lim x = 0. Vejamos.
x + e
x
x
x
Temos e n+1 > 1 +
>
se x > 0. Elevando potncia n + 1 e escrevendo A = (n + 1)n+1,
n+1
n+1
obtemos
x n +1
ex
x
xn
A
ex >
, donde n > , ou x < .
A
x
A
e
x
O resultado segue-se.
p( x )
= 0, para todo polinmio p. De fato, se an x n o termo de
ex
p( x )
mais alto grau de p, sabe que lim
= an . Logo
x + x n
De modo geral, conclumos que lim
x +
lim
x +
p( x )
p( x ) x n
= lim
x = an 0 = 0.
x
x + x n
e
e
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
Veja!
f ( x ) f (y) = f (c) x y k x y.
A funo que possui sua derivada limitada num intervalo aberto lipschitziana, e portanto
uniformemente contnua.
Em particular, se I = ( a, b), existem lim f ( x ) e lim f ( x ).
x a+
x a
( )
1
Exemplo 7.7 (Contra-Exemplo). A funo f : (0, +) R, definida por f ( x ) = sen
, no possuindo
x
limite direita no ponto
( 0,
) tem derivada ilimitada em qualquer intervalo do tipo (0, ). Sabemos que, para
1
1
x = 0, f ( x ) = 2 cos
.
x
x
Nota 23. Se f contnua em [ a, b] e derivvel em ( a, b), segue-se por passagem ao limite que a desigualdade f ( x ) f (y) k x y ainda vlida para x, y [ a, b], desde que f ( x ) k para todo x ( a, b).
( a ) e vale
7.14 Corolrio. Seja f contnua em [ a, b] e derivvel em ( a, b). Se existe lim f ( x ) = L ento existe f +
x a+
( a) = L
f+
Prova: Basta mostrar que, dada arbritariamente uma sequncia de pontos xn > a com lim xn = a tem-se
f ( xn ) f ( a)
lim
= L. Ora, pelo teorema do valor mdio, para cada n N existe yn , com a < yn < xn , tal
n +
xn a
que
f ( xn ) f ( a)
= f ( y n ).
xn a
evidente que yn a. Logo lim f (yn ) = L, o que fornece o resultado desejado.
n +

UNEB 2009.2
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 )
f (c)
= .
g ( b) g ( a )
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, definida sobre [ a, b], dada por
h( x ) = f ( x ) f ( a)
f ( b) f ( a )
( g( x ) g( a)) .
g ( b) 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 (c) = 0.
g ( b) g ( a )
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 f ( x ) = lim g( x ) =
f (x)
f (x)
0, g no se anula em ( a, b) e existe lim
(finito ou no), ento existe lim
e
+
+
xa g (x)
x a g( x )
lim
x a+
x a+
x a+
f (x)
f (x)
= lim
.
g( x )
x a+ g ( x )
Prova: Como lim x a+ f ( x ) = 0, modificando 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)
f ( x ) f ( a)
f (y)
=
=
.
g( x )
g( x ) g( a)
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 f ( x ) = lim g( x ) = 0, g no se anula em
x +
f (x)
f (x)
e
( a, +) e existe lim
x + g ( x )
x + g ( x )
lim
x +
x +
f (x)
f (x)
= lim
.
x + g ( x )
g( x )
( )
1
. Analogamente definiProva: Considere a funo F definida sobre um intervalo (0, b) por F (y) = f
y
( )
1
mos G (y) = g
. Os seguintes fatos so de verificao imediata:
y
( )
( )
f 1y
g y1
(i) F e G so derivveis com F (y) =
e G (y) =
(segue que G no se anula);
y2
y2
( )
1
(ii) lim F (y) = lim f
= lim f ( x ) = 0;
+
+
x +
y
y 0
y 0
( )
1
(iii) lim G (y) = lim g
= lim g( x ) = 0;
y
y 0+
y 0+
y 0+
( )
f 1y
F (y)
f (x)
( ) = lim
(iv) lim
= lim
.
y 0+ G ( y )
y 0+ g ( x )
y 0+ g 1
y
Pela proposio anterior, lim
y 0+
F(y)
f (x)
= lim
. Ento
G(y)
y 0+ g ( x )
f
( )
1
y
f (x)
F(y)
f (x)
lim
= lim ( ) = lim
= lim
.
y 0+ G ( y )
y 0+ g ( x )
y 0+ g 1
y 0+ g ( x )
y
7.19 Proposio (Regra de LHospital /). Sejam f e g funes derivveis em ( a, b). Se lim f ( x ) =
x a+
f (x)
f (x)
lim g( x ) = +, g no se anula em ( a, b) e existe lim
e
x a+
x a+ g ( x )
x a+ g( x )
lim
x a+
f (x)
f (x)
= lim
.
g( x )
x a+ 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 f ( x ) = lim g( x ) = +, g no se anula
f (x)
f (x)
em ( a, +) e existe lim
, ento existe lim
e
x + g ( x )
x + g ( x )
lim
x +
x +
x +
f (x)
f (x)
= lim
.
x + g ( x )
g( x )

UNEB 2009.2
Referncias Bibliogrficas
[1] VILA, Geraldo. Anlise Matemtica para Licenciatura. 3a edio, revisada e ampliada. Edgard Blcher,
So Paulo. 2006;
[2] LIMA, Elon Lages. Anlise Real, VOL. 1. Coleo Matemtica Universitria. 10a edio. IMPA, Rio de
Janeiro. 2008;
[3] LIMA, Elon Lages. Curso de Anlise, VOL. 1. 12a 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. Instituto Superior de Agronomia. Universidade Tcnica de Lisboa. 2005.
Texto composto em LATEX 2 , APC, 25 de setembro de 2009

82 Adriano Cattai

Análise Real PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Análise Real PDF

Enviado por

Direitos autorais:

Formatos disponíveis

A NLISE R EAL

Adriano Pedreira Cattai

1 Nmeros Naturais e Nmeros Inteiros

Princpio da Boa Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2 Conjuntos Finitos, Enumerveis e No-Enumerveis

Conjuntos Enumerveis e Conjuntos No-Enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

Mdulo ou Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

A polmica Descoberta dos Incomensurveis: os Nmeros Irracionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

O Conjunto dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

Noes Topolgicas da Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

Sequencias Montonas e Sequencias Limitadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

Operaes com Limites. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

Limite Superior e Limite Inferior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

A Srie dos Inversos dos Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

Limites Laterais, Infinitos e no Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

O Teorema do Valor Intermedirio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

Funes contnuas Definidas em Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

Funes Uniformemente Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

Extremos Locais e o Teorema do Valor Mdio (Lagrange) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

Adriano Pedreira Cattai.

a + b = 2m + 2n a + b = 2(m + n) a + b = 2p, p = m + n Z a + b par.

Este teorema pode ser assim reescrito:

Prova por Contradio (ou reduo ao absurdo)

Prova por Induo

Prova por Construo

Prova por Exausto

Nmeros Naturais e Nmeros Inteiros

1.1 Nmeros Naturais

1.1.1 Fundamentao Axiomtica

Adio. Associa os nmeros m, n N soma m + n.

Alm destas propriedades, o conjunto N possui:

Utilizamos a notao b > a, que se l b maior do que a, para representar a < b.

a, b, c N, a < b b < c a < c.

1. a = b. Isto levaria a a c = b c, absurdo!

Nota 2. A subtrao no uma operao associativa, de fato:

b a = d, temos b = a + d. Multiplicando por c ambos os membros desta ltima igualdade, obtemos c b =

1.1.2 Exerccios Propostos

1.2 Nmeros Inteiros

1.2.1 Fundamentao Axiomtica

Z + = {0, 1, 2, 3, . . .} (conjunto dos inteiros no negativos)

( a) (b) = ( a (b)) = (( a b)),

Com esta definio, a Proposio 1.3 pode ser reescrita como:

1.2.2 Princpio da Boa Ordem

existe um elemento mnimo de X ele nico!).

1.2.3 Exerccios Propostos

(d) A equao a + x = b tem uma nica soluo.

EP 1.8. Seja a Z, mostre que:

(e) Se a < b, ento a > b.

(c) a2 0 (terminologia usual: todo quadrado no negativo);

(c) Se a b e c 0, ento ac bc;

(b) Se c > 0 e ac < bc, ento a < b;

(d) Se c < 0 e ac > bc, ento a < b;

(e) a2 ab + b2 0 (dica: separar em casos, por exemplo: a, b 0);

1.3 O Princpio da Induo Completa

Da segue que 2Sn = n(n + 1), e, portanto

ento que m = (m 1) + 1 S, uma contradio, j que m S .

n = k + 1. Assim, estamos admitindo, ento, como hiptese de induo, que 1 + 2 + 3 + . . . + k =

que a frmula correspondente a n = k + 1, cuja validade queramos demonstrar.

convexo de k lados Sk = (k 2) 180 e consideremos o polgono convexo a0 a2 . . . ak com k + 1 lados. O

sk+1 = Sk + 180 = (k 2) 180 + 180 = (k 1) 180 .

> 3k2 + 3k + 1 + 6k2 + 6k + 2

Como k 3, temos que 6k2 54 > 3 + 1 e substituindo na frmula acima obtemos:

isto , 1 + 3 + 5 + . . . + (2k 1) = k2 a nossa hiptese de induo. Mostraremos que p(k + 1) tambm