03 FundamentosdeAnalise

F UNDAMENTOS
DE
A NLISE
1a Edio - 2.007
SOMESB
S OCIEDADE M ANTENEDORA DE E DUCAO S UPERIOR DA B AHIA S/C LTDA .
W ILLIAM O LIVEIRA
P RESIDENTE
S AMUEL S OARES
S UPERINTENDENTE A DMINISTRATIVO E F INANCEIRO
G ERMANO TABACOF
S UPERINTENDENTE DE E NSINO, P ESQUISA E E XTENSO
P EDRO DALTRO G USMO DA S ILVA
S UPERINTENDENTE DE D ESENVOLVIMENTO E P LANEJAMENTO ACADMICO
FTC-EAD
FACULDADE DE T ECNOLOGIA E C INCIAS E NSINO A D ISTNCIA

R EINALDO DE O LIVEIRA B ORBA
D IRETOR G ERAL
M ARCELO N ERY
D IRETOR ACADMICO
R OBERTO F REDERICO
D IRETOR DE D ESENVOLVIMENTO
M ERHY
E I NOVAES
M RIO F RAGA
D IRETOR C OMERCIAL
J EAN C ARLO N ERONE

D IRETOR
DE
T ECNOLOGIA
A NDR P ORTNOI
D IRETOR A DMINISTRATIVO
F INANCEIRO
R ONALDO C OSTA
G ERENTE DE D ESENVOLVIMENTO E I NOVAES
J ANE F REIRE
G ERENTE DE E NSINO
L US C ARLOS N OGUEIRA A BBEHUSEN
G ERENTE DE S UPORTE T ECNOLGICO
O SMANE C HAVES
C OORD. DE T ELECOMUNICAES E H ARDWARE
J OO J ACOMEL
C OORD. DE P RODUO DE M ATERIAL D IDTICO
M ATERIAL D IDTICO
P RODUO ACADMICA
J ANE F REIRE
G ERENTE DE E NSINO
A NA PAULA A MORIM
S UPERVISO
G ECIARA
DA S ILVA C ARVALHO
C OORDENADOR DE C URSO
A DRIANO P EDREIRA C ATTAI

AUTOR ( A )
P RODUO T CNICA
J OO J ACOMEL
C OORDENAO
C ARLOS M AGNO
R EVISO DE T EXTO
B RITO A LMEIDA S ANTOS
I VANA BA RRETO M ATOS

R EVISO DE C ONTEDO
A DRIANO P EDREIRA C ATTAI
PAULO H ENRIQUE R IBEIRO DO N ASCIMENTO
E DIO
EM
LATEX 2
E QUIPE
A LEXANDRE R IBEIRO, A NGLICA J ORGE , B RUNO LEMOS C EFAS G OMES, C LAUDER F ILHO, DANILO B ARROS D IEGO D ORIA
A RAGO, FBIO G ONALVES, F RANCISCO F RANA J NIOR , H ERMNIO F ILHO, I SRAEL DANTAS, LUCAS DO VALE , MARCIO
S ERAFIM , MARIUCHA P ONTE , RUBERVAL DA F ONSECA E TATIANA C OUTINHO.
c 2007 FTC-EAD
Copyright
Todos os direitos reservados e protegidos pela lei 9.610 de 19/02/98.
proibida a reproduo total ou parcial, por quaisquer meios, sem autorizao prvia, por escrito, da
FTC-EAD- Faculdade de Tecnologia e Cincias - Ensino a distncia.
www.ead.ftc.br
Sumrio
Bloco 1: Nmeros Reais
Tema 1: Axiomtica e Noes Topolgicas
Nmeros Naturais e Nmeros Inteiros
1.1
Nmeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Fundamentao Axiomtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
6
Subtrao em N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.2 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2
Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.1 Fundamentao Axiomtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Subtrao em Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.2 Princpio da Boa Ordem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.3 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.3
O Princpio da Induo Completa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.1
1.3.2
Mtodo da Recorrncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Conjuntos Finitos, Enumerveis e No-Enumerveis

1.4
1.5
Conjuntos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Conjuntos Enumerveis e Conjuntos No-Enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Nmeros Reais
1.6
19
25
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6.1 Corpos Ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.6.2 Relao de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Mdulo ou Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.6.3 A polmica Descoberta dos Incomensurveis: os Nmeros Irracionais . . . . . . . . . . . . . . . . . . . . . . 32

1.6.4 O Conjunto dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.7
Noes Topolgicas da Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.7.1
1.7.2
Conjuntos Abertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.7.3
1.7.4
Pontos de Acumulao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Conjuntos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.7.5
Conjuntos Densos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Tema 2: Seqncias e Sries
40
Seqncias e Sries
40
2.1
Seqncias e Subseqncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.2
2.3
Seqncias Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Seqencias Montonas e Seqencias Limitadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.4
2.5
Seqncias de Cauby . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Limites Infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.6
2.7
Operaes com Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

Limite Superior e Limite Inferior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.8
Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
FUNDAMENTOS DE ANLISE
2.9
A Srie dos Inversos dos Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Bloco 2: Elementos da Anlise Matemtica
54
Tema 3: Limite, Continuidade e Derivada
54
Limites de Funes
54
3.1
Limites Laterais, Infinitos e no Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Funes Contnuas
3.2
O Teorema do Valor Intermedirio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3
Funes contnuas Definidas em Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4
Funes Uniformemente Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
62
64
65
Derivadas
3.5
Derivabilidade e Derivada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6
Propriedades Operatrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7
Extremos Locais e o Teorema do Valor Mdio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8
Regras de LHospital . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
67
69
71
76
Tema 4: Integral de Riemann
78
4.1
4.2
4.3
4.4
Somas Superiores e Inferiores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Integral e Funes Integrveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Os Teoremas Fundamentais do Clculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Mudana de Variveis e Integrao por Partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Referncias Bibliogrficas
FTC EaD | LICENCIATURA EM MATEMTICA
78
81
89
91
92
A PRESENTAO
DA
D ISCIPLINA
Caro aluno,
Muitos resultados matemticos so publicados anualmente. Cada um deles fruto de um trabalho
que envolve duas etapas: a heurstica e a demonstrao. A heurstica consiste no trabalho de
descoberta dos resultados matemticos.
Usando-se casos particulares, fazendo-se analogias, simulaes ou mesmo simplesmente nossa
experincia e intuio, produzimos ou enuciamos o que chamamos de conjectura: a afirmao de
um resultado matemtico do qual temos alguma evidncia da veracidade, mas no a plena certeza.
Uma vez que intumos uma conjectura, passa-se sua demonstrao, que objetiva produzir elementos que permitam que tanto pessoa que intuiu a conjectura, como a qualquer outra pessoa,
convena-se de modo indubitvel da sua veracidade ou, se for o caso, da sua falsidade.
A Matemtica, por se destacar entre as demais cincias por ter um alto padro de rigor, ao
demonstrar a veracidade de uma conjectura matemtica o padro de rigor exige que sejam examinados todos os casos possveis, num encadeamento de dedues que mostram que o resultado
uma conseqncia lgica e irrefutvel de resultados matemticos j aceitos como verdadeiros.
A Anlise Real o ramo da Anlise Matemtica que lida com o conjunto dos nmeros reais
e as funes reais. A anlise real surgiu da necessidade de prover provas rigorosas s idias
intuitivas do clculo tais como continuidade, limite, derivadas, integrais e seqencias de funes. A
apresentao da anlise real em textos introdutrios geralmente comea com provas simples em
teoria dos conjuntos, uma definio precisa do conceito de funo e uma introduo aos nmeros
naturais e a importante tcnica de prova chamada de induo matemtica.
Elaboramos este material para servir como referncia aos estudos introdutrios de Anlise Real
na disciplina Fundamentos de Anlise, do curso de Licenciatura em Matemtica da FTC-EAD.
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, e Integral de Riemann.
Prof.
Adriano Pedreira Cattai.
BLOCO 01
TEMA 01
Nmeros Reais
Axiomtica e Noes Topolgicas
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 X I X , 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 X I X 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
6
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.
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.
(N 1) A adio e a multiplicao so bem definidas:
a, b , a , c N, a = a b = b a + b = a + b a b = a b
(N 2) A adio e a multiplicao so comutativas:
a, b N, a + b = b + a a b = b a
(N 3) A adio e a multiplicao so associativas:
a, b , c N, (a + b ) + c = a + (b + c ) (a b ) c = a (b c )
(N 4) A multiplicao distributiva em relao adio:
a, b , c N, a (b + c ) = a b + a c
A propriedade N 1 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:

(N 5) Integridade: dados a, b N, tem-se a + b N e a b N.
(N 6) 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 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 .
(ii) A multiplicao compatvel e cancelativa com respeito igualdade:
a, b , c N, a = b a c = b c .
Prova:
(i) A implicao a = b a + c = b + c conseqncia do fato da adio ser bem 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:
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.
Note que a relao < no uma relao de ordem, pois no reflexiva e nem anti-simtrica.
Ateno!
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 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 .
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 c < d . 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.
10
(Z2) A existncia do Oposto: para cada a Z existe um nico oposto aditivo, denotado por a, tal que
a + (a) = 0.
(Z3) Propriedade cancelativa para a multiplicao: a, b , c Z, com a 6= 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 (Z 3) 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
11
verifica a equao (a) + x = 0, implicando que a o oposto de a, que indicado por (a).
(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 a c b c .
Prova: Deixamos como exerccio!
12
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.
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!
1.2.2
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.
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 q (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.
13
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 ou b = 1.
Prova: Inicialmente, note que a 6= 0 e b 6= 0, pois caso contrrio ab = 0. Agora, se a 6= 1 e b 6= 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.
1.2.3
Exerccios Propostos
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,
anti-simtrica 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 .
(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 bc , ento a 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 < b 3 . verdade que, se a < b , ento a2 < b 2 ?
EP 1.10. Mostre que a equao x 2 + 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, freqentemente satisfatrio. A validade de um teorema matemtico se estabelece de forma totalmente
diferente.
14
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.
Se nos deparssemos com a frmula
n(n + 1)
,
2
como verificar sua validade? Evidentemente, impossvel demonstr-la em todos os casos particulares.
1 + 2 + 3 + ...+ n =
Para demonstrar a verdade desse tipo de proposio, que na realidade uma seqencia 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
2Sn
... +
(n 1) + (n 2) +
... +
= (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 6 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:

15
(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.
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
k (k + 1)
para n = k + 1. Assim, estamos admitindo, ento, como hiptese de induo, que 1 + 2 + 3 + . . .+ k =
2
verdadeiro.
Para n = 1 a frmula acima vlida, pois 1 =
Somando k + 1 a ambos os membros dessa igualdade, temos

1 + 2 + 3 + . . . + k + (k + 1) =
k (k + 1) + 2(k + 1)
k (k + 1)
+ (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, conseqentemente, 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 2k 3 > 3k 2 + 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.
16
Temos que
2(k + 1)3 = 2(k 3 + 3k 2 + 3k + 1) = 2k 3 + 6k 2 + 6k + 2.
Usando a hiptese de induo, vem
2(k + 1)3
> 3k 2 + 3k + 1 + 6k 2 + 6k + 2
= 3(k 2 + 2k + 1) + 3k + 6k 2
= 3(k + 1)2 + 3k + 6k 2 .
Como k 3, temos que 6k 2 54 > 3 + 1 e substituindo na frmula acima obtemos:

2(k + 1)3 > 3(k + 1)2 + 3k + 3 + 1 = 3(k + 1)2 + 3(k + 1) + 1,
como queramos demonstrar.
Exemplo 1.4. Este exemplo ilustra o primeiro registro da utilizao do Princpio da Induo Matemtica, feita
por Francesco Maurolycus em 1575. Trata-se da determinao de uma frmula exata em funo de n 1 para
a soma dos n primeiros nmeros naturais mpares. Ou seja, busca-se uma frmula para
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) = k 2 a nossa hiptese de induo. Mostraremos que p (k + 1) tambm
verdade.
Somando 2k + 1 a ambos os lados de 1 + 3 + 5 + . . . + (2k 1) = k 2 , obtemos
1 + 3 + 5 + . . . + (2k 1) + (2k + 1) = k 2 + (2k + 1) = (k + 1)2 ,
ou seja, temos 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:
17
(i) 1! = 1;
(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:
n
(i) am an = am+n ;
(iii) (a b )n = an b n .
(ii) (am ) = amn ;
Prova: Provaremos apenas (i). Fixemos a e m arbitrariamente e demonstraremos a relao por induo
sobre n. Temos claramente, pelas definies, que
am a1 = am a = am+1 .
Por outro lado, supondo que am an = am+n , temos que
am an+1 = am (an a) = (am an ) a = am+n a = am+n+1 .

Isto, pelo princpio de Induo Matemtica, prova a nossa propriedade.
1.3.2
Exerccios Propostos
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
n
1
+
+ ...+
=
;
12 23
n(n + 1)
n+1
1
1
n(n + 3)
1
+
+ ...+
=
.
123 234
n(n + 1)(n + 2)
4(n + 1)(n + 2)
EP 1.12. Ache uma frmula para cada uma das somas seguintes:
(c) 2 + 4 + 8 + . . . + 2n ;
(a) 2 + 4 + . . . + 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};
1 x n+1
= 1 + x + . . . + x n se x 6= 1;
1x
n(n 1) 2
x se x 0;
(h) (1 + x )n 1 + nx +
2
(i) (1 + x )2n > 1 + 2nx se x 6= 0.
(e) n! > 3n , para todo n N {1, 2, 3, 4, 5, 6};

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 = b n , ento a = b ;
(b) Se n par e an = b n , ento a = b ;
18
(c) Se a e b so positivos e an 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.
Conjuntos Finitos, Enumerveis e No-Enumerveis

1.4
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 deste tema, 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.
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.
19
1.18 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.
1.19 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 6= #B .
1.20 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 conseqncia da proposio mais geral seguinte.
1.21 Teorema. Seja A In . Se existir uma bijeo : In A, ento A = In .
Prova: Veja, por exemplo, em [2].
Como conseqncia desta, temos:
1.22 Corolrio. No pode existir uma bijeo : A B de um conjunto finito A sobre uma parte prpria
B A.
1.23 Teorema. Se A um conjunto finito ento todo subconjunto B A finito. O nmero de elementos de
B no excede o de X e s igual quando B = A.

Prova: A prova deste teorema decorrente da induo completa combinado com o teorema anterior.
Veja, por exemplo, em [2].
1.24 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 .
20
1.25 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 6 (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 1.5.
(a) Seja A um conjunto no vazio. evidente que #A = #A, pois a funo identidade I d : A A dada por
I d (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 I d : A B
dada por I d (x ) = x para todo x A injetiva.
No exemplo seguinte vamos mostrar que a cardinalidade do conjunto N a mesma do conjunto Z.
Exemplo 1.6. 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,
8
<
(n) =
m, se n = 2m,
m = 1, 2, 3, . . .
m, se n = 2m + 1, m = 0, 1, 2, . . .
Assim, conclumos que #N = #Z.

Exemplo 1.7. 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 abaixo.
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.
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 6 (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 1.22
que N no infinito
21
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.
1.26 Definio. Um conjunto A N chama-se limitado quando existe um m N tal que m n seja qual for o
n N.
Caracterizaremos agora os subconjuntos finitos de N.
1.27 Teorema. Seja A N no-vazio. As seguintes afirmaes so equivalentes:
(a) A finito;
(d) A limitado;
(c) A possui um maior elemento.
Prova: Ver, por exemplo, em [2].
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.
1.28 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.
1.29 Corolrio. Sejam A1 , . . . , Ak conjuntos finitos, disjuntos dois a dois, com #Ai = mi . Ento,
k
[
Ai finito
i =1
e possui
k
X
mi elementos.
Nota 5. Se, no corolrio acima, eliminarmos a hiptese de disjuno dos conjuntos dois a dois, ento
k
[
Ai ter no mximo
i =1
k
X
mi elementos.
1.30 Corolrio. Sejam A1 , . . . , Ak conjuntos finitos com #Ai = mi . Ento o produto cartesiano A1 A2 . . . An
finito e possui
k
Y
mi elementos.
1.5
Conjuntos Enumerveis e Conjuntos No-Enumerveis
1.31 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 =
22
(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 6= enumervel se, e somente se, #A #N.
Exemplo 1.8. 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 1.9. O conjunto Z dos nmeros inteiros infinito enumervel. Basta notar que a funo : Z N,
definida por
8
<
(n) =
2n, se n > 0
2n + 1, se 0
uma bijeo. Logo, 1 : N Z uma enumerao para Z. O exemplo 1.6 outra maneira, na verdade
equivalente a esta, de mostrar que Z enumervel.
Nota 7. Q enumervel. Veremos uma demonstrao deste resultado, mais adiante na seo de corpos
ordenados, quando estabelecermos que N Z Q K. Por hora, apresentamos uma figura (abaixo)
ilustrando 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)
..
..
.
1.32 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:
8
<
(x ) =
2(x ),
se x A,
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).
Mais geralmente, temos:
1.33 Proposio. Se, para cada n N, An enumervel, ento
An enumervel.
n=1
23
Prova: Sem perda de generalidade, podemos supor que An 6= 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)
A
7 n (m)
sobrejetiva. De fato, se x A, ento existe n N tal que x An . Como fn sobrejetiva, existe m N tal
que n (m) = x . Segue que (n, m) = n (m) = x . No exemplo 1.7 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.
1.34 Teorema. Todo subconjunto A N enumervel.
Prova: Se A for finito, enumervel. Se for infinito, definiremos indutivamente uma bijeo : N A.
Poremos (1) = 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 6= (pois A infinito) definimos (n +1) = 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 1.27.
1.35 Corolrio. Um subconjunto de uma conjunto enumervel enumervel. Ou, se : A B injetiva e B

enumervel, ento A enumervel.
1.36 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 (conseqncia do Exemplo
1.7). Segue pelo Corolrio 1.35 que A B enumervel.
1.37 Proposio. Sejam A1 , . . . , An conjuntos enumerveis, ento A1 . . . An enumervel.
Prova: Deixamos como exerccio a verificao deste resultado, que pode ser obtida por induo.
24
Nota 8. O principal exemplo de conjunto no enumervel que veremos neste tema 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.
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.
1.6
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 .
1.38 Observao.
(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;
25
(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 6= 0 designar-se- por x 1 ou
1
.
x
1.39 Observao.
x
x
em vez de x y 1 . A operao (x , y ) 7 , definida
y
y
x
para qualquer x e todo y 6= 0 em K, chama-se diviso e o resultado o quociente de x por y . No se
y
x
divide por zero: no tem sentido, assim o zero no possui inverso multiplicativo;
0
x
(b) Se y 6= 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 6= 0, escreve-se tambm
se x z = y z , ento x = y , desde que z 6= 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 6= 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.
(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 .
26
1.40 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 6= 0, ento obtemos
x y = x 0 e, por corte, y = 0. Assim, num corpo K, tem-se x y 6= 0 sempre que os dois fatores x e y
forem ambos diferentes de zero.
(c) Podemos, ainda, usar este axioma para a explicao das regras dos sinais da lgebra Elementar:
(x ) y = x (y ) = (x y ):
(x ) y + x y = (x + x ) y = 0 y = 0 (x ) y = (x y ).
Analogamente, obtm-se x (y ) = (x y ).
(x ) (y ) = x y :
(x ) (y ) = [x (y )] = [(x y )] = x y .
Em particular (1) (1) = 1.
(d) Dados x , y K tais que x 2 = y 2 , temos que x = y . De fato, x 2 = y 2 implica x 2 y 2 = 0, donde
(x y ) (x + y ) = 0. Assim x y = 0 ou x + y = 0. No primeiro caso temos x = y e no segundo x = y .
Notao
Usa-se a notao (K, +, ) para indicar que K um corpo munido das operaes + e .
Exemplo 1.10. O conjunto dos nmeros racionais, representado por Q, definido por
Q :=
p
; p , q Z e q 6= 0
q
p
p q + p q
p p
p p
0
p
e =
um corpo. O 0
+ =
para qualquer q 6= 0. O
q
q
qq
q q
q q
q
p
p
p
q
simtrico aditivo de e, o inverso multiplicativo do nmero racional 6= 0 .
q
q
q
p
com as operaes
p (t )
, onde p e q so polinmios com coeficiq (t )
entes racionais, sendo q no identicamente nulo um corpo. Verifique.
Exemplo 1.11. O conjunto Q(t ), das funes racionais r (t ) =
Exemplo 1.12. 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.
1.6.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;
27
(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 6= 0,
ento a2 P . De fato, sendo a 6= 0, temos a P ou a P . No primeiro caso, a2 = a q 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 1.13.
(a) Q um corpo ordenado, no qual o conjunto P formado pelos nmeros racionais
p
tais que p q N.
q
Intuitivamente, p e q tm o mesmo sinal.
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 9. 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.
1.6.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 .
1.41 Proposio. Seja K um corpo ordenado. Ento, a relao < goza das seguintes propriedades:
(i) Transitividade: se x < y e y < z , ento x < z ;
(ii) Tricotomia: dados x , y K, ocorre exatamente uma das alternativas:
x = y,
ou x < y , ou y < x
(iii) Monotonicidade da Adio: se x < y , ento x + z < y + z , z K;

(iv) Monotonicidade da Multiplicao: se x < y , ento x z < y z quando z > 0 e x z > y z quando z < 0.
Prova: Consulte seu material online!
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.
1.42 Definio. Uma relao num corpo (K, +, ) dita relao de ordem total ou, simplesmente, relao
de ordem se valem as seguintes propriedades.
28
(i) Ela transitiva: se x y e y z , ento x z ;

(ii) Ela anti-simtrica: se x y e y x , ento x = y ;
(iii) Ela completa: x , y K temos x y ou y x ;
(iv) A adio montona: se x y , ento x + z y + z , z K;
(v) A multiplicao montona: se x y , ento x z y z quando z 0 e x z y z quando z 0.
1.43 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.

1.44 Proposio. Q enumervel.
Prova: Mostraremos que #N = #Q. Como N Z Q, temos que #N #Q. Assim, precisamos
m
mostrar que #N #Q. A definio de nmero racional diz que a funo : ZN Q dada por (m, n) =
n
sobrejetiva. Pelo exemplo 1.9, temos que Z enumervel, e a Proposio 1.36 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.
1.45 Definio (Mdulo ou Valor Absoluto). O mdulo ou valor absoluto de um nmero x K definido por:
8
<
|x | =
x , sex 0;
x , sex < 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.
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:

29
1.46 Teorema. Sejam x e a elementos de um corpo ordenado K. So equivalentes:

(i) a x a;
(iii) |x | a.
(ii) x a e x a;
1.47 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 (x , 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 .
x
|
|
a
a+
1.48 Teorema. Para elementos arbitrrios de um corpo ordenado K, valem:

(i) |x y | = |x | |y |;
(ii) |x + y | |x | + |y |;
(iii) |x | |y | ||x | |y || |x y |;
(iv) |x z | |x y | + |y z |.
Prova:
(i) Note que, seja qual for x K, temos x 2 = |x |2 , pois |x | um dos elementos x ou x e vale x 2 = (x )2 .
Logo
|x y |2 = (x y )2 = x 2 y 2 = |x |2 |y |2 = (|x | |y |)2 .
Segue-se da que |x y | = |x | |y |. Como |x y | e |x | |y | so ambos positivos, conclumos que
|x y | = |x | |y |.
(ii) Temos que, |x | x |x | e |y | y |y |, donde, por adio, (|x | + |y |) x + y |x | + |y |. Ou seja,
|x + y | |x | + |y |.
(iii) Por (ii), temos |x | = |(x y )+ y | |x y |+|y |, o que d |x ||y | |x y |. Analogamente, |y ||x | |y x |.
Claro que |y x | = |x y |. Conclumos que |y | |x | |x y |. Assim, valem, simultaneamente,
|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 ).
1.49 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 K. Em outras palavras tem-se X (, b ]. Cada b com essa propriedade
chama-se conta superior de X .
30
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 ].
1.50 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.
1.51 Definio.
1. Seja X um subconjunto de um corpo ordenado K limitado superiormente. Um elemento b K chamase 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 10.
b K supremo de um conjunto X K se:
(S1) x X x sup X ;
(S2) c x , x X c sup X ;
(S2) Se c inf Y ento existe y Y tal que inf Y < y < c .
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 .
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.
1.52 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
31
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 1.14.
(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 6 X e
sup X = b 6 X ;
(c) Seja Y o conjunto das fraes do tipo
1.6.3
1
1
, com n N. Assim, inf Y = 0 6 Y e sup Y = Y .
n
2
2
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.
1.53 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
m
a = mc e b = nc . Da conclui-se que = .
b
n
Pitgoras e seus discpulos descobriram o seguinte:
1.54 Lema. No existe um nmero racional cujo quadrado seja igual a 2.
p 2
p
tal que p e q sejam primos entre si e
= 2.
q
q
Da, temos que p 2 = 2q 2 e, portanto, p 2 par, o que implica que p tambm . Logo, existe um inteiro k tal que
Prova: Suponhamos, por absurdo, que exista o racional
p = 2k . Temos assim 2q 2 = p 2 = 4k 2 e, portanto, q 2 = 2k 2 . Da conclumos que q 2 par e, logo, q tambm .

Provamos que tanto p quanto q so pares, contradizendo o fato, que eles no possuem divisor comum.
Quando se tem um quadrado de lado medido 1, pelo teorema de Pitgoras a medida d de sua diagonal, ao
quadrado, 12 + 12 , donde escrevemos d 2 = 2, e ento a medida d 2, um nmero no racional. Temos a

seguinte definio.
1.55 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.
1.56 Proposio.
(i) Se p > 1 um inteiro primo, ento
p irracional;
(ii) Se p1 , . . . , pn so inteiros primos distintos, ento

32
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!
1.6.4
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.
O Conjunto dos Nmeros Reais
Podemos definir nmero real do seguinte modo:

1.57 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.
1.58 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.
1.59 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 1.15. 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 .

1.60 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.
33
1.61 Teorema (dos Intervalos Encaixantes). Seja I1 I2 . . . In . . . uma seqencia de decrescente de

intervalos limitados e fechados In = [an , bn ]. A interseo
In no vazia. Isto , existe pelo menos um
n=1
nmero real x tal que x In para todo n N. Mais precisamente, temos
In = [a, b ], onde a = sup an e
b = inf bn .
Prova: Seja A = {am ; m N}. De [an , bn ] [an+1 , bn+1 ] obtemos que an an+1 bn+1 bn . Da, segue
facilmente que am bn quaisquer que sejam m, n N. Em outras palavras, qualquer bn cota superior de
A, assim seja s = sup A. Mostremos que s
n=1
[an , bn ]. Seja n N, temos que s cota superior de A, logo,
s an . Alm disto, s a menor cota superior de A, portanto, s bn . Conclumos que an s bn , ou seja,

s [an , bn ].
J vimos que 2 um nmero irracional. Vamos mostrar agora que na verdade existem mais nmeros
irracionais do que racionais. Mais precisamente na prxima proposio mostraremos que #N #R. Como
conseqncia, obtemos #Q < #(R\Q). De fato, se fosse #(R\Q) #Q = #N, ento, como R = Q (R\Q),
teramos #R #N, impossvel!
1.62 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) 6 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) 6 I3 . Continuando indefinidamente este processo, construmos uma famlia (In )nN
de intervalos fechados e limitados tais que In In+1 e (n) 6 In qualquer que seja n N. Pelo teorema
anterior existe s tal que s In para todo n N. Segue imediatamente que s 6= (n) qualquer que seja n N
e portanto no sobrejetiva.
1.63 Corolrio. Todo intervalo no-degenerado de nmeros reais no enumervel.
1.64 Corolrio. O conjunto dos nmeros irracionais no enumervel.
1.7
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.
34
1.7.1
Conjuntos Abertos
1.65 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
1.66 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 .
(i) Temos sempre que int X X . Porm a incluso inversa no necessariamente verdadeira.
Tomemos, por exemplo, X = [0, 1]. Temos que 1 6 int X pois todo intervalo aberto que
contm 1 tem elementos maiores do que 1 e portanto no est contido em X .
Ateno!
(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.
1.67 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 1.16. 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 1.17. O intervalo (a, b ) aberto, pois todo ponto c deste intervalo (a, b ) um ponto interior.
1.68 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.
35
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 ) A. 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.
1.69 Corolrio. Interseco finita de conjuntos abertos um conjunto aberto.
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 ) 6= int A int B .
Partique!
Exemplo 1.18. Seja B R aberto. Ento, para todo x R, o conjunto x + B = {x + y , y B } aberto.

Analogamente, se x 6= 0, ento o conjunto x B = {xy , y B } aberto.
Nota 11. Para todo X vale a reunio disjunta R = int X int(R X ) F onde F formado pelos pontos
x R tais que toda vizinhana de x contm pontos de X e de R X. O conjunto F = fr X chama-se

fronteria de X , que denotamos tambm por X .
1.7.2
Conjuntos Fechados
1.70 Definio. Diz-se que um ponto a aderente ao conjunto X R quando a limite de alguma seqncia
de pontos xn X .
Evidentemente, todo ponto a de X aderente a X , basta tomar xn = a.
1.71 Definio. Chama-se fecho de um conjunto X ao conjunto X formado por todos os pontos aderentes a
X.
Note que:
X X;
Se X Y ento X Y .
1.72 Definio. Um conjunto X diz-se fechado quando X = X , isto , quando todo ponto aderente a X
pertence a X .
Exemplo 1.19. Os conjuntos [2, 5] e [3, 1] so fechados.
Exemplo 1.20. O conjunto vazio fechado. De fato, negar esta afirmao significa admitir que ( e, em
particular, admitir que existe (xn )nN .
1.73 Teorema. Um ponto a aderente ao conjunto X se, e somente se, toda vizinhana de a contm algum
ponto de X .
36
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 6= .
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
1.74 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 1.21. Seja X R limitado, no vazio. Ento a = inf X e b = sup X so aderentes a X .
Exemplo 1.22. O fecho dos intervalos (a, b ), [a, b ) e (a, b ] o intervalo [a, b ].
Exemplo 1.23. Os conjuntos [a, +), (, b ] e (, +) = R so conjuntos fechados.
Nota 12. Particularmente, temos que se a = b que d [a, a] = {a} temos um conjunto fechado.
1.75 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 6 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 6 A temos que a F. Assim,
todo ponto a aderente a F pertence a F , logo F fechado.
1.76 Teorema.
(i) Se F1 e F2 so fechados ento F1 F2 fechado;
(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 =
L A
aberto. Mas A = R F .
Logo, F fechado.
Exemplo 1.24. Todo conjunto finito F = {x1 , x2 , . . . , xn } fechado.
Exemplo 1.25. Z um conjunto fechado.
37
Exemplo 1.26. Existem conjuntos que no so fechados nem abertos, como [a, b ) e (a, b ].
Exemplo 1.27. Os conjuntos e R so abertos e fechados ao mesmo tempo.
Pratique!
1.7.3
Prove que, para todo X R, vale X = X X . Conclua que X fechado se, e somente se,
X X .
Pontos de Acumulao
1.77 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 .
1.78 Teorema. Sejam X R e a R. So equivalentes:

(i) a ponto de acumulao de X ;
(ii) a = lim xn ; xn X {a}.
Exemplo 1.28. X =
1
;n N
n
X = {0}
1.79 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}.
1.80 Definio. Um conjunto X , no qual todos os seus pontos so isolados, chamado de conjunto discreto.
Exemplo 1.29. os conjuntos N e Z so discretos.
1.7.4
Conjuntos Compactos
1.81 Definio. Um conjunto X R compacto se toda seqncia de pontos de K tem uma subseqncia
convergente para um ponto de K .
Vejamos uma caracterizao bem simples e de uso prtico para conjuntos compactos.
1.82 Teorema (Heine-Borel). Um conjunto X R compacto se, e somente se, ele fechado e limitado.
Perceba:
Todo conjunto finito compacto;

Todo intervalo do tipo [a, b ] compacto;
O conjunto Z no compacto, embora seja fechado, pois ilimitado.
38
Nota 13. Se X R compacto, ento a = inf X e b = sup X pertencem a X . Assim, todo conjunto
compacto possui um elemento mximo e um elemento mnimo.
Terminaremos esta seo com outra caracterizao de compactos. Mesmo no sendo til neste curso,
tal caracterizao importantssima. Em Topologia Geral esta caracterizao a definio de compacidade.
Antes, definiremos cobertura aberta.
1.83 Definio. Uma cobertura aberta para K uma coleo C de conjuntos abertos tais que
AC
1.84 Teorema. Um conjunto K compacto se, e somente se, toda cobertura aberta C para K tem subcobertura
finita, ou seja, existe C C finita que cobertura para K .
1.85 Teorema (Borel-Lebesgue). Se C um cobertura aberta para [a, b ], ento ela tem subcobertura finita.
1.7.5
Conjuntos Densos
1.86 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.
1.87 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 1.30. Q denso em R. De fato, sejam a, b R com a < b . Mostremos que (a, b ) Q 6= . Se
0 (a, b ), ento no h mais nada a ser demonstrado. Se 0 6 (a, b ), ento 0 a ou b 0. Consideremos o
1
caso a 0 (o caso b 0 anlogo). Como R arquimediano, existe n N tal que n >
. Seja m N o
ba
menor natural tal que m > n a, ou seja, m N satisfaz
m
m1
<a< .
n
n
Para concluir que
m
m
m
(a, b ) Q basta mostrar que
 b . Neste
n
n
n
caso,
m
m m1
1
m1
<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.
39
Seqncias e Sries
TEMA 02
Seqncias e Sries
Apresentao
Estudaremos os limites de seqencia 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 que implicitamente, a limites. Da o papel central que esta noo desempenha.
Os limites de seqencias 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 seqencia (x1 , x2 , . . . , xn , . . .) de nmeros reais como uma seqencia de pontos da reta e no seu limite, que definiremos a seguir, como um ponto do qual os pontos xn tornam-se
permanecerem 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| .
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, embora nem todos subconjuntos X N gozem desta propriedade.
2.1
Seqncias e Subseqncias
2.1 Definio. Uma seqncia 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 seqncia 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
seqncia.
Quando quisermos explicitar que a imagem da seqncia (xn )nN est contida em A R escreveremos
(xn )nN A.
40
Como seqncias so funes, as definies de funo limitada, crescente, decrescente, montona, etc.
tambm fazem sentido para seqncias.
Exemplo 2.1. Seja a R e tomemos xn = a para todo n N. A seqncia (xn )nN constante. imediato
que (xn )nN limitada.
Exemplo 2.2. A seqncia (1, 0, 1, 0, 1, 0, . . .) limitada mas no montona.
Exemplo 2.3. Sejam a, r N. Considere x1 = a, x2 = a + r , x3 = a + 2r , de maneira geral, xn = a + (n?1)r . A
seqncia (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 estritamente crescente e, portanto, limitada inferiormente.
Finalmente, se r < 0, ento (xn )nN estritamente decrescente e, portanto, limitada superiormente.
2.2 Definio. Dizemos que (yk )k N uma subseqncia de (xn )nN se existe uma seqncia (nk )k N N
estritamente crescente tal que yk = xnk para todo k N.
Exemplo 2.4.
Seja (xn )nN a Progresso Aritmtica de termo inicial a e razo r . A Progresso Aritmtica (yk )k N de termo
inicial a e razo 2r uma subseqncia 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 .
2.2
Seqncias Convergentes
Intuitivamente, uma seqncia (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 seqncias de nmeros reais mas ilustra bem o que queremos dizer por se aproximar.
maneira.
2.3 Definio. Uma seqncia (xn )nN dita convergente se existe x R de modo que
> 0, N N tal que n N |xn x | < .
Neste caso, escrevemos xn x e dizemos que x limite da seqncia (xn )nN 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 2.5. Seja x R e considere a seqncia 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 2.6. Considere a seqncia xn = para todo n N. Vamos mostrar que xn 0. Dado > 0,
n
1
1
1
1
< . Mas se n N e n N , ento xn =
= xN .
tomemos N N tal que N > . Temos ento 0 <
N
n
N
Logo, podemos escrever
> 0, N N tal que n N |xn 0| < .
41
Talvez voc conhea a notao lim xn = x para xn x . Vamos refletir sobre ela. Por enquanto, faamos
n+
de 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+
2.4 Proposio. Sejam (xn )nN uma seqncia ex , y R tais que xn x e xn y . Ento x = y .
Prova: Suponhamos, por absurdo, que x 6= 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.
2.5 Proposio. Uma seqncia (xn )nN tende a x se, e somente se, toda subseqncia de (xn )nN tende a
x.
Prova: Suponhamos que exista x R tal que xn x . Seja (yk )k N uma subseqncia de (xn )nN , isto ,
yk = xnk ( k N) para alguma seqncia (nk )k N N estritamente crescente. Mostremos que yk x . Seja
> 0. Como xn x , existe N N tal que se n N , ento |xn x | < . Como (nk )k N N estritamente
crescente, existe K N tal que se k K , ento nk N . Segue que
k K |yk x | < .
Portanto (yk )k N converge para x . A recproca imediata (basta observar que (xn )nN subseqncia de si
mesma).
Exemplo 2.7. A seqncia (1, 0, 1, 0, 1, 0, . . .) divergente. De fato, se ela fosse convergente, ento pela
proposio anterior todas as suas subseqncias seriam convergentes para o mesmo limite. Porm, (1, 1, 1, . . .)
e (0, 0, 0, . . .) so duas de suas subseqncias sendo que a primeira converge para 1 enquanto que a segunda
converge para 0.
Como corolrio da proposio anterior, obtemos que se 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
42
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 seqncia e soubermos que tal propriedade s valida a
partir do seu p -simo termo ento, ainda sim, podemos concluir que a seqncia convergente. Vejamos um
exemplo esclarecedor.
Exemplo 2.8. Sabemos que seqncias constantes so convergentes. Considere a seqncia (no cons
1000
, sendo x a funo Parte Inteira de x , definida abaixo:
tante) dada por xn =
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.
2.6 Teorema. Toda seqncia convergente limitada.
Prova: Seja (xn )nN uma seqncia convergente para x R. Tomando = 1 na definio de seqncia
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 , . . . , xN , x 1} e b = max {x1 , . . . , xN , x + 1}

temos imediatamente que xn [a, b ] para todo n N. Portanto (xn )nN limitada.
2.3
Seqencias Montonas e Seqencias Limitadas.
A recproca do Teorema 2.6 falsa como mostra o Exemplo 2.7. Porm, existem algumas recprocas
parciais que veremos nesta seo.
2.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 < xN s . Logo, para n N , temos
x < xN xn s . Conclumos da que |xn s | < .

2.8 Teorema (Bolzano-Weierstrass). Toda seqncia limitada possui subseqncia convergente.
Prova: Sejam (xn )nN uma seqncia 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 < nj e, como ni N ,
43
obtemos que xni > xnj . Conclumos que a subseqncia (xnk )k N 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 6 N logo, existe n2 > n1 (e
portanto n2 6 N ) tal que xn1 xn2 . Mas de n2 6 N segue que existe n3 > n2 (e portanto n3 6 N ) tal que
xn2 xn3 . Por induo, definimos uma subseqncia (xnk )k N que crescente e, portanto, convergente
(pois ela limitada).
2.4
Seqncias de Cauby
2.9 Definio. Uma seqncia (xn )nN dita de Cauchy se

> 0, N N tal que n, m N |xn xm | < .
Uma seqncia de Cauchy se seus termos se aproximam uns dos outros. Repare que no apenas termos
consecutivos mas sim todos eles. natural acreditar que qualquer seqncia convergente de Cauchy e viceversa. Vamos admitir, por hora, que seqncias convergentes so de Cauchy (este fato ser demonstrado a
seguir). Faamos alguns comentrios sobre a recproca.
Considere uma seqncia (xn )nN de nmeros racionais convergente para, por exemplo, 2? (existe tal
seqncia?). Sendo convergente ela de Cauchy. Como a definio de seqncia 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 seqncia de Cauchy convergente.
J que seqncias de Cauchy so convergentes em R mas no em Q, isto deve estar relacionado completeza. De fato, alguns autores usam seqncias 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.
2.10 Teorema. Uma seqncia convergente se, e somente se, ela de Cauchy.
Prova: Seja (xn )nN uma seqncia 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 seqncia de Cauchy.
Reciprocamente, suponhamos que (xn )nN de Cauchy. Um argumento anlogo ao da demonstrao do
Teorema 2.6 mostra que (xn )nN limitada (verifique). Pelo Teorema de Bolzano-Weierstrass, (xn )nN tem
subseqncia (xnk )ki nN 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 | <
.
2
. Da e de ( 2.1) segue que, se n N , ento

2

|xn x | |xn xnk | + |xnk x | < + = .
2 2
Como xnk x , existe k N tal que nk N e |xnk x | <
44
( 2.1)
2.5
Limites Infinitos
Existem seqncias divergentes que possuem limite! Isto apenas um jogo de palavras. A definio
seguinte diz que certas seqncias tm limites que no so nmeros reais. No diremos que tais seqncias
so convergentes.
2.11 Definio. Seja (xn )nN uma seqncia. Dizemos que xn tende a mais infinito quando n tende a mais
infinito ou que mais infinito limite da seqncia e escrevemos xn + ou lim xn = + se,
n+
M R, N N tal que n N xn > M .

2.12 Definio. Seja (xn )nN uma seqncia. Dizemos que xn tende a menos infinito quando n tende a mais
infinito ou que menos infinito limite da seqncia 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 seqncia convergente.
Uma seqncia dita convergente exclusivamente quando satisfaz a condio da Definio 2.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 14. Com estas convenes sobre uso dos termos "seqncia convergente"e de "limite de seqncia"a Proposio 4.11 tambm vlida (obviamente com outra demonstrao) se substituirmos x por
+ ou por . Como xn > M equivalente a xn < M , temos que xn + se, e somente se,
xn inf ty . Portanto toda afirmao sobre limite mais infinito tem uma anloga para limite menos
infinito.
2.6
Operaes com Limites
Temos a seguir algumas propriedades aritmticas de limites finitos.

2.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 ;
(iii) c xn c x ;
(iv) se y 6= 0, ento yn1 y 1 .
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
45
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) conseqncia 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 6= 0, conseqentemente,
|y |
existe N N tal que, |yn | >
, isto , |yn |1 < 2|y |1 , 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 2.9. Seja r R. A seqncia (r n )nN uma Progresso Geomtrica de razo r .
Se |r | < 1, ento multiplicando por |r n | 0, obtemos 0 |r n+1 | |r n |. Logo, (|r n |)nN decrescente,
limitada inferiormente e, portanto, convergente para, digamos, L. Ora, |r n+1 | = |r | |r n |, ento, passando
o limite, obtemos L = |r | L. Como |r | =
6 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.
2.14 Proposio. Sejam (xn )nN e (yn )nN duas seqncias 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 +;
(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 +.
(iii) conseqncia do item anterior, tomando yn = c para todo n N.
46
|M |
. Desta forma, se n N , ento
c
(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.
2.7
Limite Superior e Limite Inferior
No estudo de limites de subseqncias conveniente fazer a seguinte definio.

2.15 Definio. Dizemos que x R valor de aderncia de (xn )nN se existe subseqncia de (xn )nN
convergente para x .
O Teorema de Bolzano-Weierstrass diz que toda seqncia 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 .
2.16 Definio. Seja A o conjunto dos valores de aderncia de (xn )nN . O limite superior de (xn )nN definido
por
8
>
>
<
lim sup xn =
n+
+ se (xn )nN ilimitada superiormente;

sup A se (xn )nN limitada superiormente e A 6= ;
>
>
:
se (xn )nN limitada superiormente e A = .
O limite inferior de (xn )nN definido por

8
>
>
<
lim inf xn =
n+
>
>
:
se (xn )nN ilimitada inferiormente;

inf A se (xn )nN limitada inferiormente e A 6= ;
+ se (xn )nN limitada inferiormente e A = .
Essencialmente, o limite superior de uma seqncia o seu maior valor de aderncia, enquanto que o limite
inferior seu menor valor de aderncia, veja a Proposio 2.18.
A Proposio 2.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 seqncia limitada superiormente e sem valor de aderncia. A razo que, nestas condies, a seqncia tende a . Desta forma, o
resultado do pargrafo anterior tambm vlido para limites infinitos.
2.17 Proposio. Seja (xn )nN uma seqencia limitada superioridade e que no tem valor de aderncia. Ento
xn .
2.18 Proposio. Existe subseqncia (xnk )k N de (xn )nN tal que
lim xnk = lim sup xn .
k +
n+
Em particular, se lim sup R, ento este o maior valor de aderncia de (xn )nN .
n+
47
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 subseqncia 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 6= . Logo, (xn )nN ilimitada inferiormente e, portanto, tem subseqncia tendendo a .
Finalmente, suponhamos que (xn )nN seja limitada superiormente e A 6= . 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.
Tambm temos a2 A, logo, existe n2 > n1 tal que s + 1/2 > xn2 > s 1/2. Prosseguindo deste forma,
construmos uma subseqncia (xnk )k N convergente para s . Segue que s A.
2.19 Observao. Seja A R, no vazio e limitado superiormente. Ento que 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 .
2.8
Sries
2.20 Definio. Considere uma seqncia (xn )nN . Para cada n N definimos
Sn =
n
X
xi = x1 + . . . + xn .
i =1
A seqncia (Sn )nN dita das somas parciais da srie

Escrevemos
+
X
n=1
xn e xn o n-simo termo ou termo geral da srie.
xn = lim Sn
n+
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

absolutamente convergente se a srie
|xn | convergente.
Exemplo 2.10. Considere a Srie Geomtrica de termo geral xn = r (n1) . Temos
Sn = 1 + r + r 2 + . . . + r n2 + r n1 .
48
xn
Se r = 1, ento imediato que Sn = n. Segue que (Sn )nN diverge e, portanto,
xn diverge. Suponhamos
r 6= 1. Multiplicando Sn por r obtemos

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

2.21 Proposio. Sejam
(i)
(ii)
xn e
(xn + yn ) convergente para
yn duas sries convergentes e c R. Temos que
(c xn ) convergente para c
xn +
yn ;
xn .
Prova: A demonstrao conseqncia da Proposio 2.13. Basta aplic-la para as seqncias das
somas parciais de
xn e de
yn .
Observamos que, em geral,

Fique Atento!
+
X
+
X
n=1
n=1
(xn yn ) 6=
xn
+
X
yn .
n=1
Passamos ao estudo da natureza de sries, ou seja, estamos interessados em critrios que determinem se
uma srie convergente ou divergente.
2.22 Teorema.
(i)
xn converge se, e somente se,

> 0, N N tal que n m Nll
(ii) Se

n
X

xi

i =m
< .
xn converge, ento xn 0.
(iii) Toda srie absolutamente convergente convergente.

Prova:
(i) O critrio dado diz simplesmente que a seqncia das somas parciais de Cauchy. O resultado segue
do Teorema 2.10.
(ii) Segue de (i), tomando m = n.
49
(iii) Observamos que para todo m, n N temos

m
X

xi

i =n
Portanto, por (i), a convergncia de
m
X
i =n
|xi | =
|xn | implica a de

m
X

|xi | .

i =n
P
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 2.11. Pelo item (ii), a condio xn 0 necessria para a convergncia da srie
X 1
no suficiente. A Srie Harmnica
o contra exemplo mais famoso. De fato, temos
n
Portanto, S2n > 1 +
S2
S4
S8
=
..
.
1
1+ ,
2
1 1
S2 + +
3 4
1 1 1 1
S4 + + + +
5 6 7 8
xn porm ela
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
X
os critrios aqui expostos podem ser adaptados para sries de termos negativos. De fato, se
xn uma srie
X
(xn ) uma srie de termos positivos e, alm disto, a primeira converge se, e
de termos negativos, ento
somente se, a segunda converge.
Eventualmente, podemos usar tambm critrios sobre sries de termos positivos para uma srie
X
xn que
|xn | concluirtenha termos de sinais variveis. Ora, se ao aplicarmos algum destes critrios para a srie
mos que ela convergente, ento, como toda srie absolutamente convergente convergente, concluiremos
X
X
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 seqncias. Os primeiros termos de uma
X
X
xn converge se, e somente se, a srie
xn+2007
srie nada influem na sua natureza. De fato, a srie
X
xn convergente se, e somente se, a srie

xn+p
converge. De maneira geral, fixado p N a srie
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 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.
2.23 Proposio. Uma srie de termos positivos convergente se, e somente se, a seqncia de suas somas
parciais limitada superiormente.
Prova: Por definio,
xn convergente se, e somente se, a seqncia 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 2.6 e 2.7)
2.24 Teorema (Critrio da Comparao). Sejam (xn )nN e (yn )nN tais que 0 xn yn para todo n N.
50
(i) Se
(ii) Se
yn converge, ento
xn diverge, ento
xn converge.
yn diverge.
Prova: Sejam (Sn )nN e (Tn )nN as seqncias 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 2.23.
2.25 Proposio. Sejam y R e (xn )nN uma seqencia 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 2.12. Vamos estudar a natureza da srie
1
segundo os valores de p . claro que se p 0,
np
ento ela diverge pois neste caso lim xn 6= 0.

n+
Suponhamos 0 p 1. Temos
1
1
p para todo n N. Portanto, por comparao com a Srie Harmnica,
n
n
conclumos que a srie diverge.

Finalmente, consideremos o caso p > 1. Mostraremos que a srie converge. Seja (Sn )nN a seqncia 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
p
1
1
1
1
1
1
1
1
+
+
+
+
+
.
.
.
+
+
+
.
.
.
+
1+
2p
3p
4p
5p
6p
7p
(2n1 )p
(2n 1)
1+
X
2
4
2n1
(21p )i 1 .
1 + p + p + . . . + n1 p =
2
4
(2 )
i =1
Como p > 1 temos 21p < 1 e, portanto, a Srie Geomtrica de razo 21p converge. Segue que (Sn )nN
X 1
limitada superiormente e portanto
convergente.
np
2.26 Teorema (Teste da Razo, ou de dAlembert). Seja (xn )nN uma seqncia de nmeros estritamente
positivos.
X
xn+1
xn convergente.
< 1, ento
n+ xn
(i) Se lim
X
xn+1
xn divergente.
> 1, ento
n+ xn
(ii) Se lim
Prova:
(i) Tomemos r R tal que lim
n+
xn+1
< r < 1. O resultado da proposio 2.25 garante que existe N N
xn
51
xn+1
para todo n N . Temos ento:
xn < r
tal que
xN +1
<
r xN ;
XN +2
<
r xN +1
< r 2 xN ;
XN +3
..
.
<
r xN +2
< r 3 xN ;
De maneira geral, xn < r nN xN , para todo n N . Tomando yn = r nN xN (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.
xn+1
1 para todo n N.
xn
xn para todo n N . Segue que a seqncia dos termos gerais da srie crescente a
(ii) Usando o resultado da proposio 2.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.
X
Exemplo 2.13. A srie
1
convergente pois
n!
1
(n+1)!
1
n+
n!
lim
Analogamente, dado x R, mostra-se que

Nota 15. Quando
lim
n+
1
n!
= lim
= 0.
n+ n + 1
n+ (n + 1)!
= lim
X
xn
xn
(absolutamente) convergente e, em particular,
0.
n!
n!
xn+1
= 1, o Teste da Razo nada permite concluir (nem convergncia nem
xn
divergncia).
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.
Exemplo 2.14. Vejamos exemplos para os quais o Teste da Razo no conclusivo. Considere as sries
1 X 1
. J vimos que a primeira divergente enquanto que a segunda convergente. Porm, para
e
n
n2
xn+1
= 1. De fato,
ambas temos que lim
n+ xn
1
n+1
n+ 1
n
lim
n
=1 e
n+ n + 1
= lim
1
(n+1)2
1
n+
n2
lim
n2
= 1.
n+ (n + 1)2
= lim
2.27 Teorema (Teste da Raiz, ou de Cauchy). Seja (xn )nN uma seqncia de nmeros positivos.
(i) Se lim
n
xn < 1, ento
xn convergente.
(ii) Se lim
n
xn > 1, ento
xn divergente.
n+
n+
Prova:
(i) Seja r R tal que lim
n+
n
xn < r < 1. Da Proposio 2.25(a) obtemos que existe N N tal que n xn < r ,
ou seja, xn < r n para todo n N . O resultado segue por comparao com a Srie Geomtrica
(i) Anlogo ao item anterior.
52
r n.
Nota 16. Quando lim
n+
xn = 1, o Teste da Raiz nada permite concluir (nem convergncia nem diver-
gncia).
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.
2.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.
2.28 Definio. A funo Parte Inteira definida, para todo x R, por
x = n se n Z e n x < n + 1.
Exemplo 2.15. Temos 1 = 1, 1.4 = 1 e 1.5 = 2.
2.29 Proposio. Seja (pn )nN a seqncia estritamente crescentes dos nmeros primos (p1 = 2, p2 =
X 1
3, p3 = 5, . . .). A srie
diverge.
pn
Prova: Suponhamos por absurdo que
1
converge. Portanto existe N N tal que
pn
+
X
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 pN , pN +1 , . . .} ,

B = {m {1, . . . , M } ; m no mltiplo de nenhum dos primos pN , pN +1 . . .} .
M
M
e #B
chegando assim a uma contradio.
2
2
M
O nmero de mltiplos do primo p que so menores que M
. Segue que
p
Vamos mostrar que #A <
#A
+
X
M
n=N
pn
+
X
n=N
M
M
< .
pn
2
Tambm fcil ver que todo m B pode ser escrito como m = a b 2 sendo a um produto de primos
distintos, todos menores que pN , e b 2 um produto de quadrados de primos, tambm menores que pN . Existem
exatamente 2N 1 nmeros nas condies de a. Temos ainda que b 2 m M e portanto b M = 2N .

M
Segue que existem, no mximo, 2N nmeros nas condies de b . Portanto #B 2N 1 2N = 22N 1 = .
2
53
BLOCO 02
TEMA 03
Elementos da Anlise Matemtica

Limite, Continuidade e Derivada
Trabalharemos, aqui, integrais de linha e integrais de superfcie, bem como consideraremos algumas das
suas aplicaes mais comuns. Veremos como integrais de linha podem ser transformados em integrais de
superfcie e vice-versa, o mesmo acontecendo entre integrais de superfcie e integrais triplas, culminando com
os resultados dos teoremas de Gauss, Green e Stokes.
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 cima, 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 \ {x 0}, isto , existe uma seqencia (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 seqencias 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.
3.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!
54
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.
Exemplo 3.1. Seja f : R \ {0} R, dada por

8
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 6 R\{0} ponto de acumulao de R{0}. Vamos supor que lim f (x ) = L.
x 0
Tomando = 1 na definio de limite, obtemos a existncia de > 0 tal que |f (x ) L| < 1 quando 0 < |x | < .
Portanto,
2 = |1 (1)| =
f

2
f

2
< 1 + 1 = 2.
Absurdo!
Exemplo 3.2. Seja f : (0, 1] R dada por f (x ) = 1 para todo x (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 3.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 3.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 3.4. Sejam f : R R, dada por f (x ) = x 2 para todo x R, e x0 R. Mostre que lim f (x ) = x02
x x0
Soluo: Fixado > 0, tomamos = min 1,

|x | < |x0 | + |x0 | + 1. Alm disto,
. Desta forma, se 0 < |x x0 | < , ento

2|x0 | + 1
|f (x ) x02 | = |x 2 x02 | = |x x0 | |x + x0 | < (|x | + |x0 |) < (2|x0 | + 1) = .

55
Nota 17. 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 3.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,
. Portanto, se fizermos = , teremos 0 < |x 1| < .

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

2
|x 1| <
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.
3.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
Prova: Dado > 0 existe 1 > 0 e 2 > 0 tais que para x A, temos |f (x ) L| <
sempre que
2
0 < |x x0 | < 1 e |f (x ) M | < sempre que 0 < |x x0 | < 2 . Seja = min{1 , 2 }. Ento |f (x ) L| < e
2
2
|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
3.3 Teorema. Sejam f : A R e a A \ {x0 }. Ento lim f (x ) = L se, e somente se, para toda seqncia de
x x0
pontos (xn )nN A \ {x0 } com lim xn = x0 , tenha-se lim f (xn ) = L.

56
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

( 3.2)
x A, 0 < |x x0 | < |f (x ) L| < .
Ora, xn x0 , logo, existe N N tal que se n N , ento |xn x0 | < . Assim, para n N , ao tomar x = xn
em ( 3.2) 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
( 3.3)
> 0, x A tal que 0 < |x x0 | < e |f (x ) L| .

Para cada n N, ao tomar =
1
em ( 3.3) obtemos xn A tal que
n
0 < |xn x0 | <
1
e |f (xn ) L| .
n
Constri-se desta maneira uma seqencia (xn )nN A \ {x0 } convergente para x0 sem que f (xn ) L.
Absurdo!
Vejamos como esta proposio facilita o clculo de limites.
Exemplo 3.6. Sejam f : R R, dada por f (x ) = x 2 para todo x R, a R e (xn )nN R \ {a}
convergente para a. Temos ento que f (xn ) = xn2 a2 . Como a seqencia (xn )nN arbitrria, conclumos que
lim f (x ) = a2 .
x a
3.4 Teorema. Seja f : A R R. Se lim x tox0 f (x ) = L < M , ento existe > 0 tal que f (x ) < M para todo
x A 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 .
3.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
3.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
3.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 6= 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:
(ii) Dado arbitrariamente > 0, existem 1 > 0 e 2 > 0 tais que para 0 < |x x0 | < 1 temos |f (x ) L| <
2
e para 0 < |x x0 | < 2 temos |g (x ) M | < . Seja = min{1 , 2 }. Assim, se 0 < |x x0 | < temos
2
57
|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 seqncias reais (xn ) e (bn ), n N com lim xn = x0 e lim yn = y0 . Considerando (yn )
uma seqencia 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 sufici
entemente grande. Assim dado > 0 podemos considerar |xn x0 | <
a partir de um certo n1 e
2
k
|yn y0 | <
a partir de um certo n2 . Sendo n = max{n1 , n2 } teremos:
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 3.3 temos lim [f (x ) g (x )] = L M .
x x0
an
1
= an
e j mostramos que o limite do produto o produto dos limites,
yn
yn
1
1
=
com y0 6= 0.
basta mostrar que se lim yn = x0 ento lim
bn
y0

1
1 |bn y0 |
|y0 |
; como y0 6= 0, a partir de um certo n1 temos |bn | >
; e dado > 0,
Observe que =
bn
y0
bn y0
2
|y0 |2
a partir de um certo n2 , podemos ter |bn y0 | menor que
. Considerando n = max{n1 , n2 } teremos
2

2
1

|y0 | /2
1
1
1
que <
= .
= . E assim temos lim
bn
y0
bn
y0
y02 /2
(ii) Como temos a igualdade
(iv) Temos que, se lim xn = 0 e (yn ) uma seqncia 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 n > n0
c
temos |xn yn | = |xn | |yn | < c = . Logo lim xn yn = 0 e portanto lim f (x ) g (x ) = 0.

x x0
c
Perceba!
No item (ii) da proposio acima, se f (x ) = c R, ento lim [c g (x )] = c lim g (x ).
Pratique!
Usando as propriedades operatrias de limites calcule o valor de lim
x x0
x x0
x3 8
.
x 2 x 2 4
3.8 Teorema (Teorema do Sanduche). Sejam f , g , h : A R, a A e lim f (x ) = lim g (x ) = L. Se

x x0
x x0
f (x ) h(x ) g (x ) para todo x A {x0 }, ento lim h(x ) = L.

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 + e ento
lim h(x ) = L.
x x0
Exemplo 3.7. Se g : A R definida por g (x ) = x sen(x ), ento tem-se que lim g (x ) = 0.

x 0
58
Exemplo 3.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 )
, quociente de dois polinmios, tem-se
para todo a R. Tambm para toda funo racional f (x ) =
q (x )
lim f (x ) = f (x0 ) desde que q (x0 ) 6= 0.
x x0
3.1
Limites Laterais, Infinitos e no Infinito
3.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:
3.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 18. 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
Exemplo 3.9. Seja
x x0
x x0
8
>
>
<
f (x ) = sgn(x ) =
>
>
:
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.

3.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:
3.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
59
Exemplo 3.10. lim x 0
1
1
= +, pois dado M > 0, tomando = temos
x2
M
0 < |x 0| < M x 2 < 2 =
1
1
2 > M.
M
x
Finalmente definimos limites no infinito.

3.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:
3.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 ).
Funes Contnuas
A seguinte frase facilmente aceita pela nossa intuio: se x um nmero prximo de 3, ento x 2 um
nmero prximo de 9. Outra, x 2 estar cada vez mais prximo de 9 quanto mais prximo x estiver de 3. Por
esta razo dizemos que a funo f (x ) = x 2 (para todo x R) contnua no ponto 3. Muitas das funes que
encontramos na Anlise so funes contnuas. Queremos precisar o conceito de continuidade. Observe que
para isto necessrio estabelecer o que queremos dizer com x um nmero prximo de 2.
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
( 3.4)
lim f (x ) = f (x0 )
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 ( 3.4).
Exemplo 3.11. Seja A = [0, 1) {2}. Temos que 2 A mas 2 6 A \ {2} = [0, 1]. Dada f : A R, f (2) tem
sentido ao contrrio de lim f (x ). Por outro lado, 1 6 A e 1 A \ {1} = [0, 1]. Logo, no existe f (1), porm, pode
x 2
existir lim f (x ).
x 1
3.15 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 )| < .
60
Dizemos ainda que f contnua, se f contnua em todo ponto de A e escrevemos f C (A). Mais precisamente, f C (A) se
( 3.5)
y A, > 0, > 0 tal que x A, |x y | < |f (x ) f (y )| <

Ateno!
Alguns autores costumam denotar por C 0 (A), em vez de C (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 ) = x 2 para todo x A.
Exemplo 3.12. 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
1
n N. Se x N e |x n| < , ento x = n e, portanto, |g (x ) g (n)| = 0 < . Conclumos que g contnua em
2
n e, como n arbitrrio, que g contnua!
1
independente de e de n. Mais que isto, nem a definio de g no foi
2
necessria na demonstrao. Moral da histria: funes definidas em N no apenas so contnuas como so
Observe que tomamos =
muito contnuas!
Importante
Algumas observaes so importantes:

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 ) =
x x0
f (x0 ).
Exemplo 3.13. Se x0 um ponto isolado de A ento toda funo f : A R contnua no ponto x0 .

Exemplo 3.14. A funo f : R R, dada por f (x ) = 2x + 1 contnua em x0 = 1. Verifique!
Exemplo 3.15. Todo polinmio p : R R uma funo contnua. Verifique!
Exemplo 3.16. Toda funo racional
p (x )
contnua em todos os pontos de seu domnio para os quais
q (x )
q (x ) 6= 0, tais que f (x ) 6= 0. Verifique!

3.16 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.
61
3.17 Teorema. Sejam f : A R R e x0 A. A funo f contnua em x0 se, e somente se,

lim n +f (xn ) = f (x0 ) para toda seqencia (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 f (xn ) = f
n+
lim xn ,
n+
desde que a seqencia (xn )nN esteja contida no domnio de f e seja convergente para um ponto deste conjunto.
Exemplo 3.17. Seja f : R R, dada por
8
<
f (x ) =
1, se x Q
0, se x 6 Q
Dado x0 R arbitrrio, tomando seqencias (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.

3.18 Corolrio. Dadas as funes f , g : A R contnuas no ponto x0 A, ento f + g , f g , f g so
f
contnuas neste mesmo ponto. Se g (x0 ) 6= 0, ento tambm contnua no ponto x0 .
g
3.19 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 .
3.20 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.
3.2
O Teorema do Valor Intermedirio
3.21 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 x 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 0 tal que se x [a, b ] e |x c | < ,
ento f (x ) < L. Como c c = sup S , o que absurdo.
Exemplo 3.18. Mostre que a funo f : R R definida por f (x ) = x 3 6x 2 + 5x 12 possui pelo menos
uma raiz real no intervalo [5, 6].
62
Soluo: Como vimos no exemplo 3.15, 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.

3.22 Proposio. Seja I um intervalo no degenerado e f : I R contnua. Temos:
(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.
Exemplo 3.19. Existncia da raiz n-zima de um nmero real a, isto ,
n
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 = +, donde f sobrejetora e, portanto, bijetora. Dado
x +
a [0, +), existe um nmero b [0, +) tal que f (b ) = a, isto , b n = a, ou seja, b = n a.

Quando n for mpar, a bijeo ser de R em R.
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 6 int J . Da mesma forma, se y b = sup J , ento
y 6 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 J tais que f (x1 ) = y1 e f (x2 ) = y2 . Como f (x1 ) 6= f (x2 ), obtemos que
x1 6= 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
63
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 f (s ) < yn < f (t ) se n n0 . Neste caso, f 1 (y ) < s < f 1 (yn ) < t < f 1 (y ) + . Portanto
|f 1 (yn ) f 1 (y )| < se n n0 .
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.
3.3
Funes contnuas Definidas em Compactos
A compacidade pode ser bem explorada em vrias aplicaes. A compacidade uma propriedade preservada por funes contnuas.
3.23 Teorema (Preservao de compacidade). Se k R compacto, e f : K R contnua, ento f (K )
compacto.
Prova: Seja G = {G } coleo de abertos em R tal que f (K )
G . Logo K
f 1 (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 )
n
S
n
[
Hi =
i =1
n
[
i =1
Hi K =
n
[
f 1 (Gi ),
i =1
f 1 (Gi ). Portanto, achamos uma subcobertura finita para f (K ), e conclumos assim que
i =1
f (K ) compacto.
3.24 Definio. Dizemos que f : A R limitada em A se existe M R tal que |f (x )| M para todo x A.
Exemplo 3.20.
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
1
, + pois 2 para todo x
2
x
3.25 Corolrio. Seja K R compacto, e f : A R contnua em K . Ento f limitada em K .

3.26 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
64
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 19. Se uma funo f como acima definida assume seus valores mximo e mnimo em A, ento f
limitada em A.
Exemplo 3.21. A funo f : (1, 1) R dada por f (x ) =
1 1
em , , por exemplo.
2 2
1
no limitada em (1, 1), mas limitada
1 x2
Exemplo 3.22. A funo g (x ) = x contnua e limitada em (1, 1), mas no assume valor mximo nem
mnimo em (1, 1). Entretanto f assume seus valores mximo e mnimo em [1, 1].
Exemplo 3.23. A funo h(x ) =
1
limitada em R, assume seu valor mximo em x = 0, pois 0 <
1 + x2
1
1 = h(0). h no assume seu valor mnimo, isto porque inf h(R) = 0 6= h(x ) para todo x R.
1 + x2
y
1
x
De modo geral, temos:
3.27 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 K
n+
compacto, a seqencia (xn )nN possui uma subseqncia convergente para algum x K (por abuso de
notao, tal subseqncia 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 seqencia (xn )nN K tal que lim f (xn ) = M . Como anteriormente,
n+
podemos extrair uma subseqncia, 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
3.4
Funes Uniformemente Contnuas
1
, para x (0, 1). Seja c (0, 1). Ento
x
1 1
x c
g (c ) g (x ) = =
.
c
x
cx
Para mostrarmos que g contnua em c . seja > 0. Sem perda de generalidade, podemos assumir que < 1,
c2
. Ento
e portanto c < 1. Seja =
2
Considere g (x ) =
|x c | < c < x + = x +
c2
c
c
< x + < x.
2
2
2
65
Logo
|x c | < |g (x ) g (c )| =
c 2
c
|x c |
<
=
=
<
cx
cx
2cx
2x
1
c
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.
3.28 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 . Vejamos
um exemplo de funo contnua que no uniformemente contnua.
Exemplo 3.24. Vimos que f : R R, dada por f (x ) = x 2 para todo x R, contnua. Mostremos que ela
1
no uniformemente contnua. Tomemos = 1. Para todo > 0, tomando x = e y = x + , temos que
4
2
|x y | < porm

|f (x ) f (y )| = |x 2 y 2 | = x = = .
4
Isto mostra que f no uniformemente contnua.
O resultado abaixo garante que todas as funes contnuas em conjuntos fechados limitados so uniformemente contnuas.
3.29 Teorema. Se K compacto e f C (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 seqencias (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 subseqncia de (xn )nN (ainda
n
denotada (xn )nN ) convergente para x K . Como lim (xn yn ) = 0, obtemos que (yn )nN tambm converge
n+
para x . Como f contnua, temos lim f (xn ) = lim f (yn ) = f (x ). Conclumos que lim (f (xn ) f (yn )) = 0,
n+
n+
n+
contrariando |f (xn ) f (yn )| para todo n N.

3.30 Definio. Uma funo f : A R R dita Lipschitz continua (ou Lipschitz, ou Lippschitziana) se
existe > 0 tal que
|f (x ) f (y )| = |x y | x , y A.
66
3.31 Definio. Seja f : A R R. Dizemos que f uma contrao se existe (0, 1) tal que
|f (x ) f (y )| |x y | x , y A.
Ateno!
Note que se f uma contrao, ento f uniformemente contnua
3.32 Teorema. Se A R e f : A R, e f de Lipschitz, ento f uniformemente contnua em A.

Prova: Seja R tal que
|f (x ) f (y )| |x y |, x , y A.
Dado > 0, seja =
. Ento se x , y A e |x y | < , temos que

k
|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 3.25. 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.
Derivadas
3.5
Derivabilidade e Derivada
Vamos a uma breve introduo, escrita pelo professor Cassio Neri, da UFRJ.
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.).
67
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.
3.33 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
( 3.6)
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 3.33 se deve ao fato que ela pode ser facilmente generalizada para funes de mais variveis
(inclusive infinitas!).
3.34 Proposio. Uma funo f : A R derivvel em x0 A se, e somente se, o limite abaixo existe e
finito.
lim
x x0
f (x ) f (x0 )
.
x x0
Neste caso, a constante a em ( 3.6) nica e igual ao limite acima.

Prova: Pelo fato que
f (x ) f (x0 )
f (x ) (f (x0 ) + a(x 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
3.35 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 .
68
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 3.26. 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
f (x ) f (x0 )
ax + b ax0 b
= 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 3.27. 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 ) = nx0n1 .
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.
3.6
Propriedades Operatrias
As propriedades operatrias das derivadas so, em sua maioria, conseqncias imediatas das propriedades
anlogas sobre limites.
3.36 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 ) 6= 0, ento
f
derivvel em x0 e
g
f
g
(x0 ) =
f (x0 ) g (x0 ) f (x0 ) g (x0 )

.
g (x0 )2
Prova:
(i) Basta notar que
f (x ) f (x0 ) g (x ) g (x0 )
(f g )(x ) (f + g )(x0 )
=
x x0
x x0
x x0
69
e aplicar a Proposio 3.7, sobre propriedades de limites.

(ii) 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 3.7, tem-se (ii).

(iii) Com um clculo anlogo ao anterior, obtemos
( gf )(x ) ( gf )(x0 )
x x0
1
g (x )g (x0 )
f (x ) f (x0 )
g (x ) g (x0 )
.
g (x0 ) f (x0 )
x x0
x x0
Da, pela Proposio 3.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 );
3.37 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 ).
Prova: Seja r : B R dada por
8
<
r (y ) =
imediato que
g (y ) g (f (x0 ))
g (f (x0 )) , se y 6= f (x0 ),
y f (x0 )
0,
se y = f (x0 ).
lim r (y ) = 0 = r (f (x0 )).
y f (x0 )
Se y B e y 6= 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 6= x0 , na equao acima e dividindo-a por x x0 , obtemos
f (x ) f (x0 )
f (x ) f (x0 )
g (f (x )) g (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 3.19 obtemos que lim r (f (x )) = 0.
x x0
Conclumos a demonstrao, fazendo x x0 na equao acima e usando a Proposio 3.7.

3.38 Proposio. Sejam A, B R e f : A B invertvel. Se f derivvel em x0 A com f (x0 ) 6= 0 e f 1
contnua em f (x0 ), ento f 1 derivvel em f (x0 ) e, alm disto,
f 1
(f (x0 )) = (f (x0 ))
Prova: Seja y0 = f (x0 ). Como f derivvel em x0 temos que x0 A {x0 } e, portanto, existe uma
seqncia (xn )nN A {x0 } convergente para x0 . Como f injetiva temos que (f (xn ))nN B {y0 }. Alm
70
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
1
f 1 (yn ) f 1 (y0 )
=
.
n+
yn y0
f (x0 )
lim
O resultado seguir da Proposio 3.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
xn x0
1
f 1 (yn ) f 1 (y0 )
=

, quando n +.
yn y0
f (xn ) f (x0 )
f (x0 )
Exemplo 3.28. Vimos que a funo f : [0, +) [0, +), dada por f (x ) = x 2 para todo x 0 tem inversa
contnua. Como a derivada de f s se anula em 0, a proposio anterior implica que f 1 derivvel em f (x )

se x > 0, ou seja, f 1 derivvel em (0, +). Alm disto, em y = f (x ) > 0, a derivada de f 1 dada por
(f 1 ) (y ) =
(x )
1
1
= .
2x
2 y
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 ) =
ny
n1
n
Note que g no diferencivel no zero pois f (0) = 0.

Exemplo 3.29. 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
3.2, deixamos um
exerccio para verificar que f uma bijeo com inversa descontnua em 1. Portanto, f 1 no derivvel em 1.
3.7
Extremos Locais e o Teorema do Valor Mdio
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. Este ltimo um dos
teoremas mais fundamentais da Anlise Real.
3.39 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 3.26).
Ateno!
Todo extremo global extremo local.
3.40 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.
71
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 )
0. Segue que
f (x ) f (x0 ). Portanto, para x0 < x < x0 + temos
x x0
f (x ) f (x0 )
0.
x x0
lim
x x0+
Por outro lado, para x0 < x < x0 temos
f (x ) f (x0 )
0. Portanto,
x x0
f (x ) f (x0 )
0.
x x0
lim+
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
f (x0 ) = 0.
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 3.30. 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

8
<
f (x ) =
(1 x )(5 x ), se 0 x 1,
(x 1)(5 x ), se 1 < x 4
Segue que f derivvel em todo ponto x A {1} (verifique). Alm disto,

8
f (x ) =
<
:
2x 6, se 0 x < 1,
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 .
3.41 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 )
72
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 ) 6= g (a) = g (b ) e portanto c (a, b ). Do Teorema dos Extremos Locais
segue que g (c ) = 0.
3.42 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.
3.43 Corolrio. Seja f : [a, b ] R contnua em [a, b ], onde a < b , e diferencivel em (a, b ). Se f (x ) = 0 para
todo x [a, b ], ento f constante em [a, b ].
Observe que pelo resultado acima, se f , g so funes diferenciveis que tem a mesma derivada no intervalo I , ento f e g diferem por uma constante, isto ,
Se f (x ) = g (x ), x I , ento f (x ) g (x ) = K R.
Prova: Seja a < x < b . Pelo Teorema do Valor Mdio, existe c (a, x ) tal que f (x ) f (a) = f (c )(x a).
Como f (c ) = 0, temos f (x ) = f (a). Como x arbitrrio, temos f constante em (a, b ). Logo temos f constante
em [a, b ].
Importante!
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 ) =
3.44 Corolrio. Sejam I R um intervalo no degenerado e f , g C (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 3.43 funo f g .
73
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
8
>
<
g (x ) =
>
:
x + 2x 2 sen
1
, se x 6= 0
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 3.31. Seja f (x ) = e x . Ento f (x ) = e x . Mostre que e x > 1 + x para todo x 6= 0.
Soluo: Seja x > 0. Ento aplicando o Teorema do Valor Mdio em [0, x ] temos que existe c (0, x ) tal
que
e x e 0 = e c (x 0).
Como c > 0, ento e c > e 0 = 1, donde
ex > 1 + x.
Para x < 0, os argumentos so semelhantes.
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
A
ex
xn
x n+1
> , ou x < .
, donde
ex >
n
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
x + e x
p (x )
mais alto grau de p , sabe que lim
= an . Logo
x + x n
De modo geral, conclumos que lim
p (x ) x n
p (x )
= lim
x = an 0 = 0.
x
x + x n
x + e
e
lim
3.45 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
74
|f (x ) f (y )| = |f (c )| |x y | k |x y |.
Veja!
A funo que possui sua derivada limitada num intervalo aberto lipschitziana, e portanto
uniformemente contnua.
Em particular, se I = (a, b ), existem lim+ f (x ) e lim f (x ).
x a
x a
1
, no possuindo
x
limite direita no ponto 0, tem derivada ilimitada em qualquer intervalo do tipo (0, ). Sabemos que, para x 6= 0,

1
1
.
f (x ) = 2 cos
x
x
Exemplo 3.32 (Contra-Exemplo). A funo f : (0, +) R, definida por f (x ) = sen
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 ).
3.46 Corolrio. Seja f contnua em [a, b ] e derivvel em (a, b ). Se existe lim+ f (x ) = L ento existe f+ (a) e
x a
vale f+ (a) = L
Prova: Basta mostrar que, dada arbritariamente uma seqncia 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 (yn ).
xn a
evidente que yn a. Logo lim f (yn ) = L, o que fornece o resultado desejado.
n+
Evidente, um enunciado anlogo vlido para o limite esquerda.

3.47 Corolrio.
O teorema que segue, uma generalizao do Teorema do Valor Mdio.
3.48 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) 6= g (b ) e existe c (a, b ) tal que
f (c )
f (b ) f (a)
= .
g (b ) g (a)
g (c )
Prova: Observamos inicialmente que g (a) 6= 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:
75
Teorema do Valor Mdio
Teorema de Rolle
Teorema de Cauchy
Teorema do Valor Mdio

portanto estes trs resultados so equivalentes.
3.8
Regras de LHospital
3.49 Proposio (Regra de lHospital 0/0). Sejam f e g funes derivveis em (a, b ). Se lim+ f (x ) =
x a
f (x )
f (x )
lim+ g (x ) = 0, g no se anula em (a, b ) e existe lim+
(finito ou no), ento 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 )
Prova: Como lim x toa+ 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 ).

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).
3.50 Corolrio. Sejam f e g funes derivveis em (a, +). Se lim f (x ) = lim g (x ) = 0, g no se anula
x +
x +
f (x )
f (x )
(finito ou no), ento existe lim
e
em (a, +) e existe lim
x + g (x )
x + g (x )
f (x )
f (x )
= lim
.
x + g (x )
x + g (x )
lim
Prova: Considere a funo F definida sobre um intervalo (0, b ) por F (y ) = f
definimos G (y ) = g
1
. Os seguintes fatos so de verificao imediata:
y
(i) F e G so derivveis com F (y ) =
(ii) lim+ F (y ) = lim+ f

y 0
y 0
1
y
(iii) lim+ G (y ) = lim+ g

y 0
76
1
. Analogamente
y
y 0

1
y
y2
1
y
= lim f (x ) = 0;
x +
= lim+ g (x ) = 0;
y 0
e G (y ) =

1
y
y2
(segue que G no se anula);
f y1
F (y )
f (x )
= lim+ = lim+
.
(iv) lim+
y 0 g 1
y 0 G (y )
y 0 g (x )
y
Pela proposio anterior, lim+
y 0
f (x )
F (y )
= lim+ . Ento
G (y ) y 0 g (x )

f y1
f (x )
F (y )
f (x )
lim+
= lim+ = lim+
= lim+ .
1
y 0 g (x )
y 0 G (y )
y 0 g
y 0 g (x )
y
3.51 Proposio (Regra de lHospital /). Sejam f e g funes derivveis em (a, b ). Se lim+ f (x ) =
x a
f (x )
f (x )
(finito ou no), ento existe lim+
e
lim+ g (x ) = +, g no se anula em (a, b ) e existe lim +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 ).
3.52 Proposio. Sejam f e g funes derivveis em (a, +). Se lim f (x ) = lim g (x ) = +, g no se
x +
x +
f (x )
f (x )
anula em (a, +) e existe lim
, ento existe lim
e
x + g (x )
x + g (x )
f (x )
f (x )
= lim
.
x + g (x )
x + g (x )
lim
77
Integral de Riemann
TEMA 04
Apresentao
O conceito de integral tem suas origens no Mtodo da Exausto devido, provavelmente, a Eudoxo, e teve
Arquimedes 1 como um dos seus grandes desenvolvedores. A motivao deste mtodo foi o clculo de reas
e volumes de figuras com fronteiras curvas.
A principal motivao para os conceitos que veremos neste tema encontra-se no seguinte problema. Suponhamos dada uma funo f : [a, b ] R, limitada no intervalo [a, b ]. Admitamos, por simplicidade, que f seja
no negativa para todo x [a, b ]. Consideremos o conjunto A = {(x , y ) R2 ; a x b , 0 y f (x )},
formado pelos pontos do plano compreendidos entre o eixo das abscissas, o grfico de f e as retas verticais
x = a e x = b . Qual a rea deste conjunto? Para tanto, necessrio que se tenha uma boa idia do significado
da palavra rea de A. A rea deste conjunto calculada levando em considerao que sabemos calcular
reas de polgonos e tomar aproximaes por falta destes nmeros dos polgonos contidos em A. Isto equivale
a por a rea de A igual aos supremos das reas dos polgonos contidos em A. Poderamos, tambm, considerar as reas dos polgonos que contm A como aproximaes por excesso para a rea de A. Neste caso,
definiramos a rea de A como o nfimo das reas dos polgonos que contm A
Apresentaremos aqui a Integral de Riemann, criada por Bernhard Riemann 2 , que foi a primeira definio
rigorosa de uma integral de uma funo em um intervalo.
4.1
Somas Superiores e Inferiores
4.1 Definio. Chamamos partio de [a, b ] qualquer P [a, b ] finito tal que a, b P . O conjunto das parties
de [a, b ] denotado P[a, b ].
A definio acima no exclui a possibilidade a = b . Neste caso, a nica partio do intervalo (degenerado)
{a} P = {a}. imediato que se P , Q P[a, b ], ento P Q P[a, b ].
Se P P[a, b ], ento ao escrever P = {x0 , . . . , xn }, deixaremos sub-entendido que a = x0 . . . xn = b .
4.2 Definio. Seja f uma funo limitada em [a, b ] e P = {x0 , . . . , xn } uma partio de [a, b ]. Para cada
i {1, . . . , n},tomemos
mi = inf {f (x ); x [xi 1 , xi ]}
e Mi = sup {f (x ); x [xi 1 , xi ]} .
Definimos a soma inferior e a soma superior de f com relao partio P , respectivamente, por
I (f ; P ) =
n
X
i =1
mi (xi xi 1 ) e S (f ; P ) =
1 Arquimedes:
2 Georg
78
n
X
i =1
Mi (xi xi 1 ).
287 A.C., Siracusa, Itlia - 212 A.C., Siracusa, Itlia.

Friedrich Bernhard Riemann: 17/09/1826, Breselenz, Alemanha - 20/07/1866, Selasca, Itlia.
A interpretao geomtrica de I (f ; P ) e S (f ; P ) para uma funo f contnua e positiva dada na figura

abaixo. A rea com hachurado simples corresponde a S (f ; P ) enquanto que a rea com hachurado duplo a
I (f ; P ). Vemos ento que S (f ; P ) e I (f ; P ) so aproximaes por excesso e por falta, respectivamente,para a
rea da regio delimitada pelo grfico de f , o eixo x , a reta x = a e a reta x = b . Observamos, ainda, que a
rea de hachurado duplo est contida na rea de hachurado simples, refletindo o fato que I (f ; P ) S (f ; P ).
x0 = a x1
x2
xi
xi +1
xn1 xn = b
Exemplo 4.1. Se a um elemento do domnio de f , ento f limitada em {a} e I (f ; {a}) = S (f ; {a}) = 0.

Exemplo 4.2. Consideremos uma funo f constante, igual a c , em um intervalo [a, b ]. Seja P = {x0 , . . . , xn }
uma partio de [a, b ]. Temos
mi = inf {f (x ); x [xi 1 , xi ]} = c .
Portanto,
I (f ; P ) =
n
X
i =1
mi (xi xi 1 ) = c
n
X
i =1
(xi xi 1 ) = c (b a).
Analogamente, obtemos S (f ; P ) = c (b a).

4.3 Definio. Dadas duas parties, P e Q , de um intervalo [a, b ], diz-se que Q mais fina do que P (ou que
Q refina P ) se Q P .
Exemplo 4.3. P = {1, 2, , 5} uma partio do intervalo [1, 5] e que Q = {1, 2, 3, , 5} mais fina do que P .
O resultado seguinte afirma que, quando se refina uma partio, a soma inferior de uma funo f no
diminui e a soma superior no aumenta.
4.4 Proposio. Seja f : [a, b ] R limitada e Q P duas parties de [a, b ]. Ento
s (f ; Q ) s (f ; P ) e S (f ; Q ) S (f ; P ).
Prova: Provamos apenas o resultado relativo soma superior, pois o outro caso inteiramente anlogo.
Suponhamos que
Q = P r = {x0 , x1 , . . . , xn } {r }
ou seja, que Q refina P por acrscimo de um s ponto r . Naturalmente, r (xi 1 , xi ), para algum 1 i n.
Definindo
M1 = sup{f (x ); x [xi 1 , r ]} e M2 = sup{f (x ); x [r , xi ]},

79
evidente que Mi M1 e Mi M2 . Assim
S (f , P ) S (f , Q ) =
Mi (xi xi 1 ) M1 (r xi 1 ) M2 (xi r )
Mi (xi r + r xi 1 ) M1 (r xi 1 ) M2 (xi r )
(Mi M1 )(r xi 1 ) + (Mi M2 )(xi r )
0.
No caso geral, em que Q se obtm de P acrescentando-lhe k pontos, repete-se este raciocnio k vezes.
fcil ver que I (f ; P ) S (f ; P ). A proposio a seguir uma generalizao destes resultados.
4.5 Proposio. Seja f uma funo limitada em [a, b ]. Temos:
I (f ; P ) I (f ; P Q ) S (f ; P Q ) S (f ; Q ) P , Q P[a, b ].
Prova: Sejam P = {x0 , . . . , xn } e Q = {y0 , . . . , ym }, parties de [a, b ], e j {1, . . . , n} tal que y1
[xj 1 , xj ]. Escrevemos
I (f ; P ) =
n
X
i =1
n
X
i =1
i 6=j
mi (xi xi 1 ) =
n
X
i =1
i 6=j
mi (xi xi 1 ) + mj (xj xj 1 )
mi (xi xi 1) + mj (xj y1 ) + mj (y1 xj 1 )
( 4.7)
Tomando p = inf {f (x ); x [y1 , xj ]} e q = inf {f (x ); x [xj 1 , y1 ]}, temos
I (f ; P {y1 }) =
n
X
i =1
i 6=1
mi (xi xi 1 ) + p (xj y1 ) + q (y1 xj 1 ).
( 4.8)
Ora, [xj 1 , y1 ] [y1 , xj ] = [xj 1 , xj ], logo, mj p e mj q . De ( 4.7) e de ( 4.8), obtemos
I (f ; P ) I f ; P {y1 } .
( 4.9)
S (f ; Q {x1 }) S (f ; Q ).
( 4.10)
Analogamente, mostra-se que
Usando ( 4.9), m 1 vezes, e ( 4.10), n 1 vezes, conclumos que
I (f ; P )
I (f ; P {y1 }) . . . I (f ; P {y1 , . . . , ym1 } = I (f ; P Q )

S (f ; P Q ) = S (f ; Q {x1 , . . . , xn1 }) . . . S (f ; Q {x1 } S (f ; Q ).
4.6 Corolrio. Seja f uma funo limitada em [a, b ]. Ento {I (f ; P ); P P[a, b ]} limitado superiormente e
{S (f ; P ); P P[a, b ]} limitado inferiormente. Alm disto,
sup {I (f ; P ); P P[a, b ]} inf {S (f ; P ); P P[a, b ]} .
Prova: Da proposio anterior temos
I (f ; P ) S (f ; Q )P , Q P[a, b ].
80
Ou seja, I (f ; P ) cota inferior para {S (f ; Q ); Q P[a, b ]}. Como o nfimo a maior cota inferior, temos
I (f ; P ) inf {S (f ; Q ); Q P[a, b ]} , P P[a, b ].

Portanto,inf {S (f ; Q ); Q P[a, b ]} cota superior de {I (f ; P ); P P[a, b ]}. Finalmente, usando que o supremo
a menor cota inferior obtemos o resultado.
4.2
Integral e Funes Integrveis
4.7 Definio. Seja f uma funo limitada em [a, b ]. Dizemos que f (Riemann) integrvel em [a, b ] se
sup {I (f ; P ); P P[a, b ]} = inf {S (f ; P ); P P[a, b ]} .
Neste caso, a integral de f em [a, b ] definida por
Z b
f (x )dx = inf {S (f ; P ); P P[a, b ]} .
Ateno!
Ao dizer que uma funo integrvel ficar subentendido que ela limitada.
Exemplo 4.4. Sejam

f uma funo e a um elemento de seu domnio, como no Exemplo 4.1. Temos que f
Z
a
integrvel em {a} e
f (x )dx = 0.
a
Exemplo 4.5. Considere uma funo f constante, igual a c , num intervalo [a, b ]. Vimos, no Exemplo 4.2, que
I (f ; P ) = S (f ; P ) = c (b a) para toda partio P P[a, b ]. Segue da que f integrvel em [a, b ] e

Z b
Z b
f (x )dx =
a
c dx = c (b a).
Exemplo 4.6. Considere a funo f dada por f (x ) = x para todo x R. Mostrar que f integrvel em [0, 1]
1
e que sua integral, neste intervalo, vale .
2
Soluo: Tomemos n N e consideremos a partio Pn = {x0 , . . . , xn }. Sendo xi =
i
i {0, . . . , n},
n
para cada i {0, . . . , n} temos
xi xi 1 =
i 1
1
i
i
=
e Mi = sup {x ; x [xi 1 , xi ]} = xi = .
n
n
n
n
Portanto,
S (f ; Pn ) =
n
X
i =1
Analogamente, obtemos I (f ; Pn ) =
Mi (xi xi 1 ) =
n
X
i =1
1 n(n + 1)
n+1
i
= 2
=
.
2
n
n
2
2n
n1
. Conclumos que
2n
n+1
n1
sup {I (f ; P ); P P[0, 1]} inf {S (f ; P ); P P[0, 1]}
n N.
2n
2n
Tomando o limite quando n + obtemos o resultado desejado.
Exemplo 4.7. Mostre que a funo f dada por
8
<
f (x ) =
1, se x Q
1, se x I = R Q
81
no integrvel em nenhuma intervalo [a, b ] no degenerado.

Soluo: Como Q e I so densos em R, qualquer intervalo aberto intercepta estes conjuntos. Portanto,
para qualquer P = {x0 , . . . , xn } partio de [a, b ] com x0 < . . . < xn , temos
inf {f (x ); x [xi 1 , xi ]} = 1 e sup {f (x ); x [xi 1 , xi ]} = 1 i {1, . . . , n}.
Logo, I (f ; P ) = a b e S (f ; P ) = b a para toda P P[a, b ]. Segue que
sup {I (f ; P ); P P[a, b ]} = a b < 0 < b a = inf {S (f ; P ); P P[a, b ]} .
Conclumos que f no integrvel em [a, b ].
Voc capaz de mostrar que a funo de Dirichlet f dada por
f (x ) =
Pratique!
1, se x Q
0, se x 6 Q
no integrvel em nenhuma intervalo [a, b ] no degenerado.

Vejamos algumas propriedades importantes das funes integrveis. Comeamos por um lema til que ser
usado muitas vezes sem ser explicitamente mencionado. Portanto, muito importante que o leitor memorize-o.
4.8 Lema. Seja f uma funo limitada em [a, b ]. Ento, f integrvel em [a, b ] se, e somente se,
> 0, P P[a, b ] tal que S (f ; P ) I (f ; P ) .
( 4.11)
Prova: Suponhamos que f seja integrvel e seja s a sua integral, isto ,
s = sup {I (f ; P ); P P[a, b ]} = inf {S (f ; P ); P P[a, b ]} .

Dado > 0, da definio de s segue que existem P1 , P2 P[a, b ] tais que
< I (f ; P1 ) s S (f ; P2 ) < s + .
2
2
Tomando P = P1 P2 , pela Proposio 4.5, temos
< I (f ; P1 ) I (f ; P ) S (f ; P ) S (f ; P2 ) < s +
2
2
e, portanto, S (f ; P ) I (f ; P ) < .
Reciprocamente, suponhamos que f no seja integrvel. Para toda partio P P[a, b ] temos
I (f ; P ) sup {I (f ; Q ); Q P[a, b ]} < inf {S (f ; Q ); Q P[a, b ]} S (f ; P ).

Portanto, tomando
=
inf {S (f ; Q ); Q P[a, b ]} sup {I (f ; Q ); Q P[a, b ]}

> 0,
2
obtemos que S (f ; P ) I (f ; P ) > , contrariando ( 4.11).

Reportamo-nos mais uma vez figura do incio da seo, veja que a quantidade S (f ; P ) I (f ; P ) corresponde rea pintada de cinza e que no est riscada. O lema anterior nos diz que esta quantidade ser
arbitrariamente pequena (bastando tomar uma partio adequada) se, e somente se, f for integrvel.
82
A noo de continuidade para uma funo f : X R uma noo local: se para cada ponto x X
existir uma vizinhana Vx tal que a restrio de f a Vx X contnua, ento f contnua em X . Introduzse, em seguida, uma noo de continuidade global, que no decorre diretamente do comportamento de f na
vizinhana de cada ponto.
4.9 Definio. Seja X R. Uma funo f : X R diz-se uniformemente contnua em X se
> 0, > 0; x , y X , |x y | < |f (x ) f (y )| < .
Nesta 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 causa.
Exemplo 4.8. A funo f : [2, 2] \ {0} R definida por
8
<
f (x ) =
1, se x [2, 0)
1, se x (0, 2]
no uniformemente contnua em [2, 2] \ {0}, apesar de ser obviamente contnua. Da fato, fixado = 1,
possvel, qualquer que seja > 0, encontrar pontos x , y [2, 2] \ {0}, por exemplo
x = max 2,
tais que |x y | = min
e y = min
,2 ,
4
, 2 < e |f (x ) f (y )| = | 1 1| = 2 > 1 = .
4
A demonstrao do resultado seguinte pode ser consultada em [2], pg. 191.

4.10 Teorema. Uma funo contnua num conjunto limitado e fechado X R (compacto) uniformemente
contnua em X .
A funo do exemplo anterior falha a condio de estar definida num conjunto fechado.
4.11 Teorema. Se f contnua em [a, b ], ento f integrvel em [a, b ].
Prova: Sabemos que f limitada em [a, b ], graas ao Teorema de Weierstrass. Mostremos que f
integrvel.
Dado > 0, usando que f uniformemente contnua em [a, b ], existe > 0 tal que
( 4.12)
x , y [a, b ] e |x y | < = f (x ) f (y ) < .

Seja P = {x0 , . . . , xn } uma partio de [a, b ] tal que xi xi 1 < , para todo i {1, . . . , n}. Definindo,
mi = inf {f (y ); y [xi 1 , xi ]}
e Mi = sup {f (x ); x [xi 1 , xi ]} ,
de ( 4.12), obtemos Mi mi . Portanto,
S (f ; P ) I (f ; P ) =
n
X
i =1
(Mi mi ) (xi xi 1 )
n
X
i =1
(xi xi 1 ) = (b a).
Este teorema e o Exemplo 4.7 so duas faces da mesma moeda (perceba que a funo vista naquele
exemplo descontnua em todo ponto), pois existe uma relao estreita entre a integrabilidade e continuidade.
83
4.12 Proposio. Sejam c R, P P[a, b ] e f uma funo limitada em [a, b ]. Ento

(i) Se c 0, ento S (c f ; P ) = c S (f ; P ) e I (c f ; P ) = c I (f ; P );
(ii) Se c < 0, ento S (c f ; P ) = c I (f ; P ) e I (c f ; P ) = c S (f ; P ).
4.13 Proposio. Sejam P , Q P[a, b ] e f uma funo limitada em [a, b ]. Se P Q , ento I (f ; P ) I (f ; Q )
S (f ; Q ) S (f ; P ).
4.14 Proposio. Seja c R. Se f e g so integrveis em [a, b ], ento f + g , c f e f g so integrveis em
[a, b ], alm disso,
Z b
Z b
f (x ) + g (x )dx =
(i)
Z b
f (x )dx +
Z b
(ii)
a
Z b
c f (x )dx = c
f (x )dx ;
a
Z b
(iii)
a
f (x )dx ;
a
Z b
f (x ) g (x )dx =
Z b
f (x )dx
f (x )dx .
a
Prova: Primeiramente, f + g , c f e f g so limitadas em [a, b ] (Por que?).

Dado > 0, como f e g so integrveis, existe P = {x0 , . . . , xn } partio de [a, b ] tal que
Z b
Z b
f (x )dx < I (f ; P ) S (f ; P ) <
Z b
f (x )dx +
( 4.13)
g (x )dx + .
( 4.14)
a
Z b
g (x )dx < I (g ; P ) S (g ; P ) <
Para cada i 1, . . . , n, temos

sup {f (x ) + g (x ); x [xi 1 , xi ]} sup {f (x ); x [xi 1 , xi ]} + sup {g (x ); x [xi 1 , xi ]}
Multiplicando por xi xi 1 e somando de i = 1 at i = n obtemos
S (f + g ; P ) S (f ; P ) + S (g ; P ).
Desta desigualdade, de ( 4.13) e de ( 4.14) segue que
Z b
Z b
f (x )dx +
S (f + g ; P ) <
a
g (x )dx + 2.
a
Analogamente, mostra-se que

Z b
Z b
f (x )dx +
a
g (x )dx 2 0 arbitrrio,
segue do Lema 4.8 que f + g integrvel. Alm disto,
Z b
Z b
f (x )dx +
a
Z b
g (x )dx 2 <
Z b
(f (x ) + g (x ))dx <
a
Z b
f (x )dx +
a
g (x )dx + 2.
a
Finalmente, fazendo 0, conclumos (i).

Suponhamos agora que c 0 (o caso c < 0 tratado de modo anlogo). Multiplicando ( 4.13) por c e
84
usando a proposio 4.12, obtemos

Z b
c
a
Z b
f (x )dx c I (c f ; P ) c
Z b
f (x )dx S (c f ; P ) c
f (x )dx + c .
Segue que S (c f ; P ) I (c f ; P ) 2c . Novamente, como > 0 arbritrio, do Lema 4.8, obtemos que
c f integrvel. Tomando o limite quando 0 conclumos (ii).

Obtemos que f g integrvel em [a, b ] e que vale (iii ) como conseqncia imediata de (i) e (ii).
Z 1
xdx =
Exemplo 4.9. Sabendo que

0
1
e
2
Z 1
x 2 dx =
Z 1
1
, determine
3
(x + 5x 2 )dx .
Soluo: Pelas propriedades vistas na proposio acima, temos

Z 1
(x + 5x 2 )dx =
Z 1
Z 1
xdx +
0
5x 2 dx =
Z 1
Z 1
xdx + 5
x 2 dx =
1
13
1
+5 =
.
2
3
6
No esprito da proposio anterior, podemos lhe perguntar sobre o produto e o quociente de funes integrveis. Observamos, desde j, que o quociente de funes limitadas pode no ser limitado (quando o
denominador tende a zero em algum ponto). Sobre o produto, ser prefervel adiar um pouco esta questo.
Antes disto, demonstraremos duas proposies.
4.15 Proposio. Sejam f e g integrveis em [a, b ]. Se f g em [a, b ], ento
Z b
Z b
f (x )dx
g (x )dx .
a
Prova: Seja P = {x0 , . . . , xn } uma partio de [a, b ]. Do fato sup{f (x ); x A} sup{g (x ); x A}, para
f (x ) g (x ) em A, para todo i {1, . . . , n}, obtemos

sup {f (x ); x [xi 1 , xi ]} sup {g (x ); x [xi 1 , xi ]} .
Multiplicando por xi xi 1 e somando de i = 1 at i = n obtemos
S (f ; P ) S (g ; P ) P P[a, b ].
Finalmente, como inf{f (x ); x A} inf{g (x ); x A}, para f (x ) g (x ) em A, obtemos
inf {S (f ; P ); P P[a, b ]} inf {S (g ; P ); P P[a, b ]} .
Que a concluso desejada.
4.16 Proposio. Se f integrvel em [a, b ], ento |f | integrvel em [a, b ]; alm disso,
Z
b

a

(x )dx
Z b
|f (x )|dx .
Prova: Mais uma tarefa! mostrar que |f | limitada em [a, b ].

Dado > 0, seja P = {x0 , . . . , xn } uma partio de [a, b ] tal que S (f ; P ) I (f ; P ) . Para cada
i {1, . . . , n}, denotamos
mi = inf {f (x ); x [xi 1 , xi ]} ,
Mi = sup {f (x ); x [xi 1 , xi ]} ,
mi = inf {|f (x )|; x [xi 1 , xi ]} ,
M i = sup {|f (x )|; x [xi 1 , xi ]} .

85
Se x , y [xi 1 , xi ], ento f (x ), f (y ) [mi , Mi ]. Portanto, |f (x ) f (y )| Mi mi . Da desigualdade triangular

obtemos
|f (x )| |f (y )| Mi mi = |f (x )| |f (y )| + Mi mi .
Como o supremo a menor cota superior, temos
M i |f (y )| + Mi mi = M i Mi + mi |f (y )|.
Como o nfimo a maior cota inferior, temos
M i Mi + mi mi = M i mi Mi mi .
Multiplicando a ltima relao por xi xi 1 e somando de i = 1 at i = n obtemos
S (|f |; P ) I (|f |; P ) S (f ; P ) I (f ; P ) .
Do Lema 4.8 conclumos que |f | integrvel.
Como f |f | e f |f |, temos que
Z b
Z b
f (x )dx
Za b
f (x )dx
a
Za b
=
a
|f (x )|dx ;
Z b
(f (x )) dx
|f (x )|dx .
Da obtemos a concluso final.

A recproca da proposio anterior falsa. Ou seja, |f | pode ser limitada e integrvel em [a, b ], sem que f
seja integrvel neste intervalo. Por exemplo, considere a funo f dada por f (x ) = 1, se x Q, e f (x ) = 1
se x 6 Q. J vimos que f no integrvel em [0, 1]. Porm, a funo |f | constante (igual a 1) e, portanto,
integrvel neste intervalo.
4.17 Proposio. Se f e g so integrveis em [a, b ], ento f g integrvel em [a, b ].
Prova: Inicialmente, f g limitada em [a, b ] (verifique!).

Vamos considerar o caso particular em que f = g . Pela Proposio 4.16 temos que |f | limitada
(digamos, pela cota superior M > 0) e integrvel. Logo, dado > 0, existe uma partio P = {x0 , . . . , xn } de
[a, b ] tal que
S (|f |; P ) I (|f |; P )
.
2M
Para cada i {1, . . . , n}, denotamos
mi = inf {|f (x )|; x [xi 1 , xi ]} ,

2
mi = inf{f (x ) ; x [xi 1 , xi ]},
Mi = sup {|f (x )|; x [xi 1 , xi ]} ,
M i = sup{f (x )2 ; x [xi 1 , xi ]}.
Desta forma, para todo x [xi 1 , xi ], temos mi2 f (x )2 Mi2 . Portanto,
mi2 mi f (x )2 M i Mi2 .
86
Conclumos da que
S (f 2 ; P ) I (f 2 ; P ) =
n
X
i =1
n
X
i =1
2M
(M i
m i ) (xi xi 1 )
(Mi2 mi2 ) (xi xi 1 ) =
n
X
i =1
n
X
i =1
(Mi + mi ) (Mi mi ) (xi xi 1 )
(Mi mi ) (xi xi 1 ) = 2M [S (|f |; P ) I (|f |; P )] .
Pelo Lema 4.8 obtemos que f 2 integrvel.

O caso geral segue imediatamente do caso particular j demonstrado, da Proposio 4.14 e da igualdade
f g =
Cuidado!
(f + g )2 (f g )2
.
4
Perceba que errado afirmar que a integral do produto o produto das integrais. Veja o
exemplo abaixo.
Exemplo 4.10. Considere a funo f dada por f (x ) = x 2 para todo x R. Vamos mostrar que f integrvel
1
em [0, 1] e que sua integral, neste intervalo, vale
3
Soluo: Como vimos que a funo h(x ) = x integrvel em [0, 1], ento, pela proposio acima, temos
que f (x ) = x 2 tambm integrvel em [0, 1]. Tomemos n N e consideremos a partio Pn = {x0 , . . . , xn }.
Sendo xi =
i
i {0, . . . , n}, para cada i {0, . . . , n} temos
n
xi xi 1 =
Portanto,
S (f ; Pn ) =
i 1
1
i
=
e Mi = sup x 2 ; x [xi 1 , xi ] = xi2 =
n
n
n
n
X
i =1
Mi (xi xi 1 ) =
Analogamente obtemos I (f ; Pn ) =
n
X
i =1
i
n
1
1
= 3
n
n
n
X
i2 =
1
6 n(n
i =1
i
n
+ 1)(2n + 1)
.
n3
n(n + 1)(n 1)
. Conclumos que
3n 3
n(n + 1)(n 1)
sup {I (f ; P ); P P[0, 1]} inf {S (f ; P ); P P[0, 1]}
3n 3
1
6 n(n
+ 1)(2n + 1)
n N.
n3
Tomando o limite quando n + obtemos o resultado desejado.

4.18 Proposio. Seja c (a, b ). Uma funo f integrvel em [a, b ] se, e somente se, ela integrvel em
[a, c ] e em [c , b ]. Neste caso,
Z b
Z c
f (x )dx =
a
Z b
f (x )dx +
a
( 4.15)
f (x )dx .
c
Prova: Novamente, outro resultado para funes limitadas: f limitada em [a, b ] se, e somente se, f
limitada em [a, c ] e em [c , b ].
Sejam P P[a, b ], P1 P[a, c ] e P2 P[c , b ] tais que P = P1 P2 . Mais precisamente, podemos escrever
P1 = {x0 , . . . , xn } , P2 = {xn , . . . , xm } e P = {x0 , . . . , xn , . . . , xm } .

87
Para cada i {1, . . . , m} definimos xi = xi xi 1 . Temos
S (f ; P ) =
=
i =1
X
i =1
m sup {f (x ); x [xi 1 , xi ]} xi
n sup {f (x ); x [xi 1 , xi ]} xi +
i =n+1
m sup {f (x ); x [xi 1 , xi ]} xi
= S (f ; P1 ) + S (f ; P2 ).
Do mesmo modo, mostra-se que I (f ; P ) = I (f ; P1 ) + I (f ; P2 ).
Se f integrvel em [a, b ], ento, dado > 0, existe P P[a, b ] tal que S (f ; P ) I (f ; P ) . Graas
Proposio 4.5 podemos supor que c P . Tomando P1 e P2 , como antes, obtemos
[S (f ; P1 ) I (f ; P1 )] + [S (f ; P2 ) I (f ; P2 )] = S (f ; P ) I (f ; P ) .
As quantidades entre colchetes so positivas e tm soma inferior ou igual a ; logo, cada uma delas inferior
ou igual a . Portanto, f integrvel em [a, c ] e em [c , b ].
Reciprocamente, se f integrvel em [a, c ] e em [c , b ], ento, dado > 0, existem P1 P[a, c ] e P2
P[c , b ] tais que
Z c
Z c
f (x )dx I (f ; P1 ) S (f ; P1 )
Z b
Z b
f (x )dx I (f ; P2 ) S (f ; P2 )
f (x )dx +
a
f (x )dx + .
c
Somando, obtemos
Z c
Z b
f (x )dx +
a
f (x )dx 2
I (f ; P1 ) + I (f ; P2 ) S (f ; P1 ) + S (f ; P2 )
Z c
Z b
f (x )dx +
a
Portanto, para P = P1 P2 , temos

Z c
Z b
f (x )dx +
a
f (x )dx + 2.
c
Z c
f (x )dx 2 I (f ; P ) S (f ; P )
Z b
f (x )dx +
a
f (x )dx + 2.
c
Segue da que S (f ; P ) I (f ; P ) 4. Conclumos que f integrvel em [a, b ]. Alm disto, da relao acima
obtemos,
Z c
Z b
f (x )dx +
a
Z b
f (x )dx 2
Z c
f (x )dx
Z b
f (x )dx +
a
f (x )dx + 2.
c
Terminamos a demonstrao tomando o limite 0.

Seja f uma funo limitada e integrvel em [0, b ]. Se 0 < a < b , ento, pela proposio anterior,
Z b
Z a
f (x )dx =
0
Z b
f (x )dx +
0
f (x )dx .
( 4.16)
Do resultado obtido no Exemplo 4.4 obtemos que ( 4.16) tambm vale para a = 0 ou a = b . Suponhamos,
agora, que 0 < b < a. Neste caso, ( 4.16) perde o sentido, pois o segundo termo do lado direito no est
definido. Entretanto, se f limitada e integrvel em [0, a], ento, novamente pela proposio anterior, podemos
dizer que
Z b
Z a
f (x )dx =
0
Z a
f (x )dx
f (x )dx .
b
Comparando a igualdade acima com ( 4.16) conclumos que s existe uma forma de definir a integral de a at
b , com b < a, para que ( 4.16) faa sentido. Esta a motivao para a prxima definio.
88
4.19 Definio. Seja f integrvel em [a, b ]. A integral de f de b at a definida por

Z a
Z b
f (x )dx =
f (x )dx .
a
Feita esta definio, temos a seguinte generalizao para ( 4.15).

4.20 Proposio. Seja f integrvel em [A, B ]. Ento
Z b
Z c
f (x )dx =
a
Z b
f (x )dx +
a
f (x )dx ,
c
quaisquer que sejam a, b , c [A, B ].

Prova: conseqncia da Proposio 4.18 e da Definio ?? (verifique!).
Finalmente, enunciamos, sem demonstrao, uma outra condio suficiente de integrabilidade, que mostra
que uma funo limitada no-integrvel tem necessariamente uma infinidade no-numervel de descontinuidades.
4.21 Teorema. Se o conjunto das descontinuidades de uma funo limitada f : [a, b ] R for numervel,
ento f integrvel em [a, b ].
4.3
Os Teoremas Fundamentais do Clculo
4.22 Teorema (Primeiro Teorema Fundamental do Clculo). Se F derivvel em [a, b ], e f = F integrvel em

[a, b ], ento
Z b
f (x )dx = F (b ) F (a).
Prova: Seja > 0. Tomemos P = {x0 , . . . , xn }, partio de [a, b ], tal que S (f ; P ) I (f ; P ) . Temos
F (b ) F (a) = F (xn) F (x0 ) =
n
X
i =1
[F (xi ) F (xi 1 )].
Para cada i N, aplicando o Teorema do Valor Mdio a F em [xi 1 , xi ], obtemos a existncia de yi (xi 1 , xi )
tal que F (xi ) F (xi 1 ) = F (yi ) (xi xi 1 ). Substituindo na relao acima, obtemos
F (b ) F (a) =
n
X
i =1
F (yi ) (xi xi 1 ) =
n
X
i =1
f (yi ) (xi xi 1 ).
Como yi (xi 1 , xi ), temos

inf {f (x ); x [xi 1 , xi ]} f (yi ) sup {f (x ); x [xi 1 , xi ]} .
Portanto,
I (f ; P ) F (b ) F (a) S (f ; P ).
Alm disto,
Z b
I (f ; P )
f (x )dx S (f ; P ).
89
Das duas ltimas relaes obtemos

[F (b )

(x )dx
Z b
F (a)]
f
a
S (f ; P ) I (f ; P ) .
Como arbitrrio, conclumos o resultado.

O teorema anterior no diz que se F derivvel, ento f = F integrvel. De fato, Volterra 3
em Sui principii del calcolo integrale, encontrou um exemplo de funo derivvel com derivada
limitada, porm, no integrvel.
Cuidado!
4.23 Teorema (Segundo Teorema Fundamental do Clculo). Se f integrvel em [a, b ], ento F : [a, b ] R
definida por
Z x
f (s )ds x [a, b ]
F (x ) =
a
Lipschitz contnua. Alm disto, se f contnua em x0 [a, b ], ento F derivvel em x0 e F (x0 ) = f (x0 ).
Prova: Sejam x , y [a, b ] com y < x . Seja ainda M R tal que |f (s )| M para todo s [a, b ]. Temos
|F (x ) F (y )|
Z
x

Za
x

y
=
=
Z y
f (s )ds
f

(s )ds
Z
x
f (s )ds =
a
Z
x
Za x
|f (s )|ds
Z a
f (s )ds
f (s )ds +
y
Mds = M |x y |.
Isto demonstra a primeira parte do teorema.

Suponhamos que f seja contnua em x0 . Dado > 0, tomemos > 0 tal que
s [a, b ] e |s x0 | < == |f (s ) f (x0 )| < .

Assim, para todo x [a, b ], com 0 < |x x0 | < , temos
1
F (x ) F (x0 )
=
x x0
x x0
Z x
0
Z x
f (s )ds
1
f (s )ds =
x x0
Z x
f (s )ds .
x0
Subtraindo f (x0 ) na equao anterior e observando que

1
f (x0 ) =
x x0
Z x
f (x0 )ds ,
x0
obtemos

F (x )

x

F (x0 )
f (x0 ) =
x0

x

x
x
x

1
1
f (s )ds
f (x0 )ds
x0 Zx0
x x0 x0
Z x
x

1
1
(f (s ) f (x0 ))ds
|f (s ) f (x0 )|ds
x0Z x0
x x0 x0
x
1
ds = .
x x0 x0
Da, segue o resultado.

4.24 Corolrio. Sejam f C ([a, b ]), c R e F : [a, b ] R dada por
Z x
F (x ) = c +
a
f (s )ds x [a, b ].
Ento F = f .
4.25 Definio. Se F derivvel em [a, b ] com F = f , ento dizemos que F uma primitiva, antiderivada ou
integral indefinida de f em [a, b ].
O Corolrio 4.24 diz que se f C ([a, b ]), ento F uma primitiva de f em [a, b ].
90
4.4
Mudana de Variveis e Integrao por Partes
4.26 Proposio. Seja g derivvel em [a, b ] com g integrvel neste intervalo. Se f contnua em g ([a, b ]),
ento
Z g (b)
Z b
f (g (x )) g (x )dx .
f (x )dx =
g (a)
Prova: A funo f contnua e, portanto, integrvel. Tambm integrvel o produto das funes integrveis f g e g (observe que f g contnua).
Pelos Teoremas de Weierstrass e do Valor Intermedirio, temos que g ([a, b ]) o intervalo fechado [c , d ],
sendo c e d , respectivamente, os valores mnimo e mximo de g em [a, b ]. Assim, a funo contnua f tem
primitiva F em [c , d ]. Pela Regra da Cadeia, para todo x [a, b ], temos
(F g ) (x ) = F (g (x ))g (x ) = f (g (x ))g (x ).
Pelo Teorema Fundamental do Clculo, temos
Z gb
F (g (b )) F (g (a)) =
Z gb
F (x )dx =
ga
f (x )dx
ga
Z b
F (g (b )) F (g (a)) = (F g )(b ) (F g )(a) =
f (g (x ))g (x )dx .
a
Da, segue o resultado.

4.27 Proposio. Sejam f e g funes derivveis em [a, b ] com f e g integrveis. Ento
Z b
Z b
f (x )g (x )dx = f (b ) g (b ) f (a) g (a)
f (x ) g (x )dx .
Prova: Pelo Teorema Fundamental do Clculo, temos

Z b
f (b ) g (b ) f (a) g (a) =
Z b
(f g ) (x )dx =
(f (x ) g (x ) + f (x ) g (x ))dx .
O resultado segue da, observando que f g e f g so integrveis (Proposio 4.17) e usando a Proposio
4.14 (i).
91
Referncias Bibliogrficas
[1] VILA, Geraldo Severo de Souza; Anlise Matemtica para Licenciatura. 3a edio, revisada e ampliada. So Paulo: Edgard Blcher, 2006.
[2] LIMA, Elon Lages; Coleo Matemtica Universitria. Anlise Real, VOL. 1. Rio de Janeiro: IMPA,
2004.
[3] FIGUEIREDO, Djairo Guedes; Anlise I. Rio de Janeiro: LTC, 1975.
[4] VILA, Geraldo S.; Introduo Anlise Matemtica. 2a edio. So Paulo: Edgard Blucher, 1999.
[5] LIMA, Elon Lages; Curso de Anlise. Rio de Janeiro: IMPA, 1976.
92
www.ead.ftc.br

03 FundamentosdeAnalise

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

03 FundamentosdeAnalise

Enviado por

Direitos autorais:

Formatos disponíveis

F UNDAMENTOS

FACULDADE DE T ECNOLOGIA E C INCIAS E NSINO A D ISTNCIA

J EAN C ARLO N ERONE

A DRIANO P EDREIRA C ATTAI

B RITO A LMEIDA S ANTOS

I VANA BA RRETO M ATOS

Tema 1: Axiomtica e Noes Topolgicas

Nmeros Naturais e Nmeros Inteiros

1.2.3 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

Conjuntos Finitos, Enumerveis e No-Enumerveis

1.6.3 A polmica Descoberta dos Incomensurveis: os Nmeros Irracionais . . . . . . . . . . . . . . . . . . . . . . 32

Tema 2: Seqncias e Sries

Operaes com Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

A Srie dos Inversos dos Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

Bloco 2: Elementos da Anlise Matemtica

Tema 3: Limite, Continuidade e Derivada

Tema 4: Integral de Riemann

Somas Superiores e Inferiores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

FTC EaD | LICENCIATURA EM MATEMTICA

Adriano Pedreira Cattai.

Nmeros Naturais e Nmeros Inteiros

FTC EaD | LICENCIATURA EM MATEMTICA

Alm destas propriedades, o conjunto N possui:

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

(i) A adio compatvel e cancelativa com respeito igualdade:

a c = b c . Assim, pela tricotomia, temos trs possibilidades:

FTC EaD | LICENCIATURA EM MATEMTICA

a c = b c , pela tricotomia, temos trs possibilidades:

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

Os nmeros inteiros formam um conjunto, que denotaremos por Z, assim definido:

FTC EaD | LICENCIATURA EM MATEMTICA

(i) A relao menor do que ou igual reflexiva:

FTC EaD | LICENCIATURA EM MATEMTICA

Princpio da Boa Ordem

Para apresentar nosso ltimo axioma, introduziremos alguns conceitos.

EP 1.6. Sejam a, b Z, mostre que:

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

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

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

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

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

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

O Princpio da Induo Completa

FTC EaD | LICENCIATURA EM MATEMTICA

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

n a est dada uma afirmao P (n) de forma que:

(i) P (a) verdadeira;

Somando k + 1 a ambos os membros dessa igualdade, temos

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

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

FTC EaD | LICENCIATURA EM MATEMTICA

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

(ii) (am ) = amn ;

am an+1 = am (an a) = (am an ) a = am+n a = am+n+1 .

EP 1.11. Mostre as seguintes frmulas por induo:

EP 1.13. Mostre por induo que:

(f) n < 2n , para todo n N;

(b) n! > 2n , para todo n N {1, 2, 3};

(c) n! > n2 , para todo n N {1, 2, 3};

(e) n! > 3n , para todo n N {1, 2, 3, 4, 5, 6};

(b) (m + n)! = m! + n!, para todo m, n 1.

EP 1.15. Sejam a e b inteiros e n um natural. Provar que:

FTC EaD | LICENCIATURA EM MATEMTICA

(i) Ela transitiva: se x y e y z , ento x z ;