análise

REAL
licenciatura em
matemática

Ministério da Educação - MEC

Coordenação de Aperfeiçoamento
de Pessoal de Nível Superior
Universidade Aberta do Brasil
Instituto Federal de Educação,
Ciência e Tecnologia do Ceará
 MINISTÉRIO DA EDUCAÇÃO
Universidade Aberta do Brasil
Instituto Federal de Educação, Ciência e Tecnologia do Ceará
Diretoria de Educação a Distância

Licenciatura em Matemática

Análise Real

Ângelo Papa Neto

Zellaber Gondim Guimarães

Fortaleza, CE
2011
Créditos
Presidente Maria Luiza Maia
Dilma Vana Rousseff Saskia Natália Brígido Batista
Ministro da Educação Equipe Arte, Criação e Produção Visual
Fernando Haddad Ábner Di Cavalcanti Medeiros
Secretário da SEED Benghson da Silveira Dantas
Luís Fernando Massonetto Cícero Felipe da Silva Figueiredo
Elson Felipe Gonçalves Mascarenha
Diretor de Educação a Distância
Germano José Barros Pinheiro
Celso Costa
Gilvandenys Leite Sales Júnior
Reitor do IFCE José Albério Beserra
Cláudio Ricardo Gomes de Lima José Stelio Sampaio Bastos Neto
Pró-Reitor de Ensino Lucas de Brito Arruda
Gilmar Lopes Ribeiro Marco Augusto M. Oliveira Júnior
Diretora de EAD/IFCE e Navar de Medeiros Mendonça e Nascimento
Coordenadora UAB/IFCE Samuel da Silva Bezerra
Cassandra Ribeiro Joye Equipe Web
Vice-Coordenadora UAB Benghson da Silveira Dantas
Régia Talina Silva Araújo Fabrice Marc Joye
Hanna França Menezes
Coordenador do Curso de
Herculano Gonçalves Santos
Tecnologia em Hotelaria
Luiz Bezerra de Andrade FIlho
José Solon Sales e Silva
Lucas do Amaral Saboya
Coordenador do Curso de Ricardo Werlang
Licenciatura em Matemática Samantha Onofre Lóssio
Priscila Rodrigues de Alcântara Tibério Bezerra Soares
Elaboração do conteúdo Revisão Textual
Ângelo Papa Neto Aurea Suely Zavam
Zellaber Gondim Guimarães Nukácia Meyre Araújo de Almeida
Colaboradora Revisão Web
Lívia Maria de Lima Santiago Antônio Carlos Marques Júnior
Equipe Pedagógica e Design Instrucional Débora Liberato Arruda Hissa
Ana Cláudia Uchôa Araújo Saulo Garcia
Andréa Maria Rocha Rodrigues Logística
Carla Anaíle Moreira de Oliveira Francisco Roberto Dias de Aguiar
Cristiane Borges Braga
Secretários
Eliana Moreira de Oliveira
Breno Giovanni Silva Araújo
Gina Maria Porto de Aguiar
Francisca Venâncio da Silva
Glória Monteiro Macedo
Iraci de Oliveira Moraes Schmidlin Auxiliar
Isabel Cristina Pereira da Costa Ana Paula Gomes Correia
Jane Fontes Guedes Bernardo Matias de Carvalho
Karine Nascimento Portela Charlene Oliveira da Silveira
Lívia Maria de Lima Santiago Isabella de Castro Britto
Lourdes Losane Rocha de Sousa Nathália Rodrigues Moreira
Luciana Andrade Rodrigues Virgínia Ferreira Moreira
Maria Irene Silva de Moura Vivianny de Lima Santiago
Maria Vanda Silvino da Silva Wagner Souto Fernandes
Marília Maia Moreira
 Catalogação na Fonte: Islânia Fernandes Araújo (CRB 3 - Nº 917)

213a Papa Neto, Ângelo.

Análise real / Ângelo Papa Neto, Zelalber Gondim Guimarães;
Coordenação Cassandra Ribeiro Joye. - Fortaleza: UAB/IFCE, 2011.
140p.: il. ; 27cm.

ISBN 978-85-475-0018-4

1. MATEMÁTICA - NÚMEROS REAIS. 2. CONTINUIDADE. 3.

DERIVADA. 4. ANÁLISE REAL. I. Joye, Cassandra Ribeiro (Coord.). II.
Instituto Federal de Educação, Ciência e Tecnologia do Ceará – IFCE. III.
Universidade Aberta do Brasil – UAB. IV. Título.
CDD – 515
Apresentação 7
Referências 140
Currículo 141
SUMÁRIO
AULA 1 Números reais – parte 1 8
Tópico 1 Os números irracionais 9
Tópico 2 Propriedades dos números reais 18

AULA 2 Números reais - parte 2 28

Tópico 1 Valor absoluto 29
Tópico 2 Completude de um corpo K 36
Tópico 3 Enumerabilidade 44

AULA 3 Sequências e séries 50

Tópico 1 Definição de sequência 51
Tópico 2 Operações com sequências 57
Tópico 3 Sequências com limites infinitos 62
Tópico 4 Séries numéricas 65

AULA 4 Noções topológicas na reta real 70

Tópico 1 Conjuntos abertos e fechados 71
Tópico 2 Conjuntos fechados 75
Tópico 3 Conjuntos compactos 79
AULA 5 Limites de funções 82
Tópico 1 Definição, propriedades e exemplos de limites
de funções 83
Tópico 2 Limites laterais 91
Tópico 3 Limites no infinito e limites infinitos 96

AULA 6 Limites de funções 99

Tópico 1 Definição e exemplos de funções contínuas 100
Tópico 2 O teorema do valor intermediárioo 107

AULA 7 A derivada de função real 114

Tópico 1 Conceitos de derivada de função real 115
Tópico 2 Propriedades operatórias das derivadas 119
Tópico 3 O teorema do valor médio 125

AULA 8 Integral de Riemann 128

Tópico 1 A integral de Riemann 129
Tópico 2 Propriedades da integral 134
Tópico 3 Teorema fundamental do cálculo 137
APRESENTAÇÃO
Os números reais surgiram na Grécia Antiga, em conexão com o estudo de problemas
geométricos. Com o desenvolvimento da Geometria Analítica e do Cálculo a partir do século
XVII, os números reais passaram a ocupar uma posição central na Matemática e em suas
aplicações. Do tratamento matemático dado a problemas clássicos da Física, emergiram as
noções de função, continuidade, derivação e integração.

A partir do século XIX, houve uma crescente formalização destas noções, que passaram a
ser tratadas sob um novo padrão de rigor. Os personagens centrais destas aulas serão os
números reais e as funções reais de uma variável real que apresentam alguma regularidade,
seja do ponto de vista topológico (continuidade), seja do ponto de vista geométrico (suavidade,
ou seja, derivabilidade). Serão estudados também os teoremas centrais do Cálculo, sob um
ponto de vista mais geral e mais profundo, dentro do espírito de crescente rigor que permeia
o desenvolvimento dos objetos matemáticos.

Em nossa disciplina, estudaremos aspectos importantes da construção dos números reais;

estudos sobre os conceitos de sequências e séries; limites, derivadas e integral de uma função.

Bons estudos!

APRESENTAÇÃO 7
 AULA 1 Números reais –
parte 1

Olá, aluno (a),

Iniciamos aqui o nosso curso introdutório de Análise Real. Estudaremos, ao

longo do curso, certas funções que possuem domínio e contradomínio formados
por números reais. Assim, é importante que tenhamos uma noção precisa do
que é número real e como estes números se organizam. Nesta primeira aula,
estabeleceremos a noção de número real. Veremos, no tópico 1, que os números
racionais não são suficientes para medirmos comprimentos de segmentos, o que
nos dá uma motivação geométrica para a introdução dos números reais. No tópico
2, adotaremos um ponto de vista mais formal, definindo o conjunto dos números
reais através de suas propriedades básicas.

Objetivos

• Reconhecer a necessidade do estudo dos números reais

• Identificar as propriedades que caracterizam o conjunto dos números reais
• Perceber a conexão entre números reais e pontos em uma reta

8 Análise Real
TÓPICO 1 Os números irracionais
O bjetivos
• Identificar as questões geométricas que motivaram o
estudo de números não racionais
• Compreender os princípios básicos da teoria de Eudoxo
sobre as proporções

O s números naturais – 1,2,3, ... – são suficientemente adequados

para contar objetos e para enumerá-los. A geometria exige,
a priori, a introdução de números racionais, pois o processo
de medida se dá por comparação com uma unidade. Cerca de 500 anos antes de
Cristo, matemáticos gregos perceberam que mesmo os números racionais não eram
suficientes para realizar medições. Percebeu-se, então, a existência de magnitudes
incomensuráveis, interpretadas hoje como números irracionais.

1.1 A CRISE PITAGÓRICA

A descoberta, atribuída a Hipaso de Metaponto, um pitagórico que
viveu no século V a.C., de que existem segmentos de reta incomensuráveis
causou uma profunda crise intelectual e filosófica na escola pitagórica.
Para termos uma ideia da magnitude desta crise, basta lembrar que
os pitagóricos não eram apenas um grupo pioneiro na Filosofia e na
Matemática, mas também adotavam certos princípios matemáticos como
dogmas religiosos. Um desses princípios era o de que quaisquer medidas
poderiam ser feitas usando-se apenas números racionais, que podem ser
Hipaso de Metaponto

AULA 1 TÓPICO 1 9
 obtidos a partir de uma unidade multiplicando-se e dividindo-se essa unidade em
partes iguais.
De um modo mais preciso, um segmento de reta a pode ser medido usando-
se um outro segmento e como unidade de medida. Se e cabe um número inteiro
n de vezes em a , isto é, se n cópias do segmento de reta e , colocadas lado a lado,
cobrem perfeitamente o segmento a , dizemos que a tem medida n , ou que mede
n unidadesde e .
Dois segmentos a e b são ditos comensuráveis se existe um segmento
e que, quando tomado como unidade de medida, faça com que a e b tenham
medidas inteiras, isto é,
m

a = e ++ e ,

+
b = e + e ,

n

onde m e n são inteiros positivos.

O segmento e é chamado medida comum de a e b .
Uma maneira prática de encontrar a medida comum e de dois segmentos
comensuráveis dados a e b é dada na proposição 3 do livro X dos Elementos de
Euclides. Trata-se, simplesmente, do algoritmo da divisão. Descrevemos, abaixo, o
modo como Euclides exibe o algoritmo:
1. Se a e b são segmentos congruentes, nada há a fazer. Suponhamos, pois,
que um dos segmentos é menor do que o outro, digamos a < b .
2. Retiremos de b o maior número possível n0 de segmentos congruentes a
a , obtendo a1 , tal que
b = n0 a + a1 e 0 £ a1 < a.
Se a1 = 0 , então e = a e algoritmo termina.
3. Caso 0 < a1 < a , repitamos o procedimento anterior, para obtermos um
segmento a2 tal que
a = n1a1 + a2 e 0 £ a2 < a1 .
Se a2 = 0 , então e = a1 .
4. Repita os passos acima até que ai = 0 , para algum i ³ 1 . Quando isso
ocorre, a medida comum de a e b é e = ai-1 .

A partir do algoritmo acima, podemos expressar a / b em função da

sequência n0 ,, ni :

10 Análise Real
 a a 1 1 1
= = = =
b n0 a + a1 n + a1 n + 1 n0 +
1
0
a0
0
a2 1
n1 + n1 +  +
a1 1
ni-1 +
ni

A combinação de frações
1
[0; n0 , n1 ,, ni ] =
1
n0 +
1
n1 +  +
1
ni-1 +
ni

é chamada fração contínua.

Para os pitagóricos, o algoritmo descrito acima sempre terminava em um
número finito de passos. Assim, dados dois segmentos de reta, existiria sempre uma
medida comum e todos os segmentos de reta seriam comensuráveis. Isto também
significa que, para os pitagóricos, uma fração contínua sempre seria finita. Hipaso,
no entanto, conseguiu produzir uma fração contínua infinita, gerada a partir de
dois segmentos de reta incomensuráveis.
A insígnia da escola pitagórica era o
pentagrama , que é a figura obtida traçando-se
as diagonais de um pentágono regular.
você sa b i a?
A figura do pentagrama foi largamente difundida
entre astrólogos e esotéricos e, até a idade
média, acreditava-se que ela retinha grande
poder místico. De acordo com a lenda popular
alemã, Fausto exorcizou Mefistófeles usando um
pentagrama.

Figura 2 - Pentagrama

Dada a importância do pentagrama para a escola pitagórica, supõe-se que

Hipaso tenha descoberto a existência de segmentos incomensuráveis estudando
esta figura. Não há, porém, documentação que comprove isto. A seguir,

AULA 1 TÓPICO 1 11
 mostraremos que o lado a e a diagonal d de um pentágono regular são segmentos
d
incomensuráveis. De fato, mostraremos que a razão j = , conhecida como razão
a
áurea, ou número de ouro, não é um número
racional.

vo c ê sab i a?
O Número de Ouro é um número irracional
misterioso e enigmático que nos surge numa
infinidade de elementos da natureza na forma de
uma razão, sendo considerado por muitos como
uma oferta de Deus ao mundo.
Fonte: http://www.educ.fc.ul.pt/icm/icm99/
icm17/ouro.htm

Figura 3 - Pentágono regular

Observando a Figura 3, vemos que a = AE e d = AD . O triângulo AEH é

isósceles, com a = AE = AH . Os triângulos DEH e ADE são semelhantes, logo

AD AE
= .
DE DH

Como DH = AD - AH = AD - AE = d - a , a igualdade acima toma a forma

d a
= .
a d -a
Podemos, então, escrever
d a d 1 1 1 1
= =1 + =1 + =1 + =1 + =1 + .
a d -a d -a a d -a a -d 1
1- 1- 1+ 1+
d a a a
a-d
Este procedimento pode ser repetido, o que equivale a considerar um
pentagrama menor semelhante ao original (veja a Figura 3). Mais ainda, este
procedimento pode ser repetido indefinidamente. Assim, obtemos:

d 1
j= =1 + = [1;1,1,1,]
a 1
1+
1+

12 Análise Real
 o que significa que o algoritmo de Euclides não termina em um número finito de
etapas.
Baseado em fatos deste tipo, Hipaso concluiu que existem segmentos de
reta incomensuráveis, isto é, que não admitem uma medida comum. No exemplo
descrito acima, a diagonal d e o lado a do pentágono regular são incomensuráveis.
As frações
1 1 3 1 5 1 8
1,1 + = 2,1 + = ,1 + = ,1 + =
1 1+1 2 1 3 1 5
1+ 1+
1+1 1
1+
1+1
são aproximações de j . Em geral, a sequência de frações contínuas finitas do tipo
1
1+
1
1+
1
1 ++
1+1
tem o seguinte aspecto:

3 5 8 13 F
1,2, , , , ,, n ,
2 3 5 8 Fn+1

onde F1 =1, F2 =1 e Fn+1 = Fn + Fn-1 , para todo

n ³ 2 . A sequência F1 , F2 ,, Fn ,, é chamada

sa i ba ma i s! sequência de Fibonacci, em homenagem a

Leonardo de Pisa, ou Leonardo Fibonacci,
O matemático Leonardo Pisa, conhecido como
pioneiro no seu estudo.
Fibonacci, propôs, no século XIII, a sequência
Mais adiante, discutiremos
o
numérica abaixo: (1, 1, 2, 3, 5, 8, 13, 21, 34, 55,
comportamento desta sequência quando n
89, …)
cresce. Veremos, em particular que
Fonte: http://www.infoescola.com/matematica/
sequencia-de-fibonacci/ 1+ 5
j= .
2

1.2 A TEORIA DAS PROPORÇÕES DE EUDOXO

No livro X dos Elementos de Euclides, há uma demonstração de que a diagonal
e o lado de um quadrado são segmentos incomensuráveis. A ideia, assim como no
caso do pentagrama de Hipaso, é mostrar que o algoritmo usado para encontrar a
medida comum dos dois segmentos não termina após um número finito de passos.
Se a é a medida do lado de um quadrado e d é a medida de sua diagonal, o
d
Teorema de Pitágoras nos diz que a 2 + a 2 = d 2 , logo = 2 . Assim, afirmar que
a

AULA 1 TÓPICO 1 13
 a diagonal e o lado de um quadrado são incomensuráveis é equivalente a afirmar
que 2 é irracional.
Não repetiremos aqui a demonstração clássica de Euclides. Em vez disso,
daremos uma demonstração geométrica, no espírito da Matemática grega.
Consideremos, por uma questão de simplicidade e porque não há perda de
generalidade, um quadrado de lado 1 e com diagonal d . Supor que 1 e d são
comensuráveis é equivalente a supor que existe uma medida comum e tal que
a
d = ae e 1= be , ou seja, d = , com a e b inteiros positivos.
b

Figura 4 – Quadrados semelhantes

Vamos, pois, supor que a diagonal do quadrado de lado 1 é um número

racional a / b . Podemos considerar um novo quadrado semelhante ao quadrado de
lado 1, de modo que a razão de semelhança seja b . Assim, o novo quadrado tem
lado b e diagonal a , como indicado na figura acima.
A seguir, indicaremos como construir um triângulo CEF , com lados inteiros,
semelhante ao triângulo ABC (veja a Figura 5).

Figura 5 – Triângulos ABC e DEF com lados inteiros

14 Análise Real
 Inicialmente, tracemos um arco de circunferência, com centro no ponto A
e raio AB = b . Seja E o ponto onde esse arco corta a diagonal AC do quadrado.
Temos: EC = AC - AE = a - b . Pelo ponto E , tracemos uma perpendicular à
diagonal AC , que corta o lado BC no ponto F . Como FE e FB são tangentes
a uma mesma circunferência, temos FE = FB . Por outro lado, o triângulo CEF é

retângulo e um de seus ângulos internos mede 45 , logo é um triângulo isósceles, com
FE = EC = a - b . Assim, FB = FE = a - b e CF = BC - FB = b - (a - b) = 2b - a .
Portanto, o triângulo CEF é semelhante ao triângulo ABC e possui os lados
inteiros. Agora vamos ao passo crucial: podemos repetir este procedimento
para o triângulo CEF , de modo a obtermos um outro triângulo ainda menor,
semelhante a CEF , e com os três lados inteiros. Como este procedimento pode
ser repetido indefinidamente, podemos obter triângulos arbitrariamente pequenos
com lados inteiros. Em particular, existe um triângulo semelhante a ABC , com
lados inteiros e contido em um círculo de diâmetro 1. Isso é impossível, pois os
lados do triângulo, sendo inteiros, devem ser necessariamente maiores ou iguais
a 1, mas estando o triângulo contido em um círculo de diâmetro 1, pelo menos
um dos seus lados deve ser menor do que o diâmetro, ou seja, menor do que 1.
Evidentemente, isto é um absurdo, pois não existem número inteiros positivos
menores do que 1. A contradição veio de supormos que a diagonal do quadrado de
lado 1 é um número racional. Logo, 2 não pode ser racional.
Cerca de dois séculos depois da descoberta de Hipaso, outro sábio
grego, Eudoxo de Knidos (408 a.C. - 355 a.C.), elaborou a teoria geométrica das
proporções, ferramenta capaz de lidar com quantidades incomensuráveis. A seguir,
descreveremos brevemente as ideias centrais da teoria de Eudoxo e o modo como
podem ser encontradas no livro V dos Elementos de Euclides.
Para Eudoxo, magnitudes de um mesmo tipo podem ser somadas. Assim,
podemos somar os comprimentos de dois segmentos para obtermos o comprimento
de um terceiro segmento. Da mesma forma, a soma de áreas de figuras planas é igual
à área de alguma figura plana. Eudoxo assume implicitamente que esta soma de
magnitudes é associativa e comutativa. Magnitudes de um mesmo tipo podem ser
comparadas: dadas duas magnitudes a e b de um mesmo tipo (dois comprimentos,
por exemplo), temos a < b , a = b ou b < a . O produto de uma magnitude por um
número natural tem sentido: na = a +  + a ( n vezes). Vale, ainda, a seguinte
propriedade fundamental, conhecida como:

AULA 1 TÓPICO 1 15
 Princípio de Arquimedes: dadas duas magnitudes a e b , existe n
natural tal que na > b .

No tópico seguinte, veremos como estas ideias podem ser formalizadas.

Em linguagem moderna, podemos dizer que Eudoxo considerava o conjunto das
magnitudes como um corpo ordenado arquimediano.
O objeto central da teoria de Eudoxo são as razões entre magnitudes de
um mesmo tipo, comensuráveis ou não. Para permitir que razões possam ser
comparadas, a seguinte definição é introduzida:

ma < nb ⇔ mA < nB,

a A 
= é equivalente a ma = nb ⇔ mA = nB, (1)
b B ma > nb ⇔ mA > nB

Na definição (1) está implícito o fato de que os racionais são densos na reta
real. Demonstraremos este fato no Teorema 1 da página 16, ainda nesta aula. Por
enquanto, é suficiente notarmos que a densidade de Q em R significa que, entre
dois números reais distintos, há pelo menos um número racional.
Em particular, se a ¹ A , podemos supor que uma das frações é menor do
b B
que a outra, digamos a < A . Então, existe n , com m e n inteiros positivos
b B m
(lembremos que estamos lidando com magnitudes que são positivas) tal que

Figura 6 – Entre a/b e A/B existe um número racional n/m

Sendo assim, a < n implica que ma < nb e n < A implica que nB < mA ,
b m m B
o que contradiz uma das equivalências de (1). Reciprocamente, se valem as três
equivalências de (1), então não pode existir um número racional entre a e
A que,
b B
portanto, correspondem a um mesmo ponto sobre a reta, isto é, são iguais. De um modo
a
mais preciso, o que Eudoxo afirma é que duas razões e A são iguais se e somente
n a b B n A
se, para quaisquer m, n inteiros positivos, < é equivalente a < .
m b m B
É notável que esta seja exatamente a ideia sobre a qual R. Dedekind, no
século XIX (logo, mais de 2200 anos depois de Eudoxo!), se baseou para definir
número real como um corte, ou seção.

16 Análise Real
 Concluímos aqui nosso primeiro tópico, que tratou da origem histórica
do estudo dos números irracionais. A descoberta dos números irracionais,
compreendidos pelos antigos gregos como magnitudes incomensuráveis, trouxe à
tona a necessidade de se trabalhar com um conjunto de números mais amplo do
que o conjunto dos racionais, mesmo para lidar com questões simples de geometria
plana, como a semelhança de triângulos. Este conjunto mais amplo passou, bem
mais tarde, a ser chamado de conjunto dos números reais, mas a determinação
precisa do conjunto dos números reais só se deu no final do século XIX. Vale notar
ainda que, desde sua origem, os números irracionais estão associados a processos,
ou algoritmos, que não cessam após um número finito de passos, ou seja, processos
de interação que continuam indefinidamente.
Assim, a descoberta dos números irracionais trouxe pela primeira vez à cena
matemática a presença do infinito, tão abominado pelos antigos gregos. Das várias
tentativas de se encontrar modos eficazes para lidar com estes processos infinitos,
nasceu e se desenvolveu o que chamamos hoje de Análise Matemática.

AULA 1 TÓPICO 1 17
 TÓPICO 2 Propriedades dos
números reais
O bjetivos
• Reconhecer as propriedades que definem o conjunto dos
números reais
• Realizar intuitivamente a noção de completude e perceber a
necessidade de se considerar esta noção

N o Tópico 1 desta aula, vimos que os números racionais não são

suficientes para descrevermos todas as grandezas geométricas.
Assim, torna-se necessário o estudo de um conjunto numérico
mais amplo, mas que tenha ainda certas propriedades básicas.
Neste tópico, colocaremos de modo preciso que propriedades são essenciais
para a definição de número real. De um modo geral, os reais devem possuir uma
estrutura algébrica (de corpo), uma estrutura combinatória (de conjunto totalmente
ordenado) e uma estrutura topológica (de conjunto completo), e estas três estruturas
devem ser compatíveis. Apresentaremos, então, a estrutura algébrica e a estrutura
combinatória dos reais, e assim veremos que os reais formam um corpo ordenado
arquimediano. Na Aula 2, estudaremos os aspectos topológicos do conjunto dos
reais, isto é, sua completude.

2.1 OS NÚMEROS REAIS FORMAM UM CORPO

Ao estudar geometria, vemos que dois segmentos AB e CD podem ser
somados e que o resultado desta soma é um novo segmento. Fazemos isso da
seguinte maneira: consideramos, na semirreta AB , o único ponto X tal que B
está entre A e X e BX é congruente a CD . Chamamos o segmento AX de soma
dos segmentos AB e CD e denotamos AX = AB + CD .
Nos quatro primeiros livros dos Elementos, Euclides não faz menção alguma
a medidas de segmentos. Ao contrário, ele desenvolve uma aritmética de segmentos

18 Análise Real
 nos moldes da definição de soma, dada acima, obtendo assim uma teoria puramente
geométrica.
Entretanto, para lidar com a noção de semelhança, Euclides precisou associar
a cada objeto geométrico uma magnitude, que nada mais é do que sua medida.
Assim, a magnitude é um número associado a um objeto geométrico.
A um segmento de reta podemos associar um número que representa seu
comprimento; a uma figura plana como um círculo ou um quadrado, podemos
associar um número que representa sua área; a um ângulo associamos um número
que representa sua medida (em graus ou em radianos); a uma figura no espaço, como
um cubo ou uma pirâmide, associamos um número que representa seu volume.
Uma vez que segmentos de reta podem ser somados, os números que indicam suas
magnitudes devem admitir também uma operação de soma. Além disso, a área de
um retângulo é dada como o produto das medidas de dois de seus lados. Como a
área de um retângulo também é um número, precisamos definir sobre os números
que indicam magnitudes um produto.
Números racionais podem ser somados e multiplicados, mas, como já
vimos no tópico anterior, os números racionais são insuficientes para exprimir
todas as possíveis magnitudes. Dessa forma, as magnitudes devem ser elementos
de um conjunto R que contenha os racionais e seja munido de duas operações,
uma soma e um produto. Devemos, ainda, exigir que as operações definidas
sobre este conjunto numérico R tenham as mesmas propriedades das respectivas
operações no conjunto Q dos números racionais, ou seja, devemos exigir que R
seja um corpo. Já encontramos a noção de corpo nos cursos de Álgebra Linear e
de Estruturas Algébricas, mas vamos repetir a definição de corpo aqui, por uma
questão metodológica.

Definição de corpo
Um conjunto K , munido de duas
ate nção!
operações binárias + : K ´ K ® K , chamada
Revise o conteúdo de corpo no material da soma, e × : K ´ K ® K , chmada produto, é
disciplina Estruturas Algébricas denominado corpo, se são válidas as seguintes
condições:
1. A soma é associativa: a + (b + c ) = (a + b) + c , para quaisquer
a , b, c Î K .

AULA 1 TÓPICO 2 19
 2. Existe um elemento neutro para a soma: existe e Î K tal que
a + e = e + a = a , para todo a Î K . É possível demonstrar que este
elemento neutro é único e o denotamos por 0 .

3. Todo elemento de K possui inverso aditivo: dado a Î K , existe b Î K

tal que a + b = b + a = e . É possível demonstrar que, para cada a Î K ,
este inverso aditivo é único e o denotamos por -a .

4. A soma é comutativa: a + b = b + a , para quaisquer a, b Î K .

5. O produto é associativo: a(bc ) = (ab)c , para quaisquer a, b, c Î K .

6. Existe um elemento neutro para o produto: existe u Î K tal que

au = ua = a , para todo a Î K . É possível demonstrar que este
elemento neutro é único e o denotamos por 1.

7. Todo elemento não-nulo possui inverso multiplicativo: dado a ¹ 0 ,

onde 0 Î K é a notação do elemento neutro estabelecida no item 2
acima; existe b Î K tal que ab = ba =1 , onde 1 Î K é o elemento
neutro do produto, como no item 6 acima.

8. O produto é comutativo: dados a, b Î K , ab = ba .

9. Soma e produto satisfazem a distributividade: dados a, b, c Î K , temos

a(b + c ) = ab + ac .

Podemos falar, então, no corpo dos números reais, que denotaremos

provisoriamente por R .Assim, por exemplo, a medida do segmento AC 1 + 2
na Figura 7, em que esta soma corresponde à soma do segmento AB , cuja medida
é 1, com o segmento BC , cuja medida é 2 . Da mesma forma, o perímetro de um
triângulo retângulo isósceles de cateto igual a 1 pode ser calculado operando-se
normalmente com as medidas dos catetos e da hipotenusa, que são números reais.

Figura 7 - Segmento AC
O conjunto dos números que representam magnitudes de objetos geométricos
deve ser um corpo, como vimos acima, pois é conveniente que as propriedades

20 Análise Real
 operatórias que valem para os racionais e, consequentemente, para os segmentos
cujas magnitudes são números racionais, sejam válidas para todos os segmentos,
quer tenham magnitudes racionais ou não.

2.2 O CORPO R DOS REAIS É ORDENADO E ARQUIMEDIANO

Tão importante quanto somar ou multiplicar segmentos é comparar
segmentos, isto é, dizer, para dois segmentos dados, qual é o maior. Da mesma
forma, é essencial, em geometria, comparar ângulos, áreas e volumes. Isto implica
automaticamente que o corpo R , com as propriedades acima, deve ainda ser
ordenado, o que significa que, além de possuir duas operações + e × que o fazem
ter estrutura de corpo, sobre R também é preciso definir uma maneira de comparar
seus elementos. Fazemos isso do seguinte modo:
Chamamos de relação de ordem £ sobre R a uma relação que satisfaz,
necessariamente, as seguintes condições:
1. Reflexividade: dado a Î R , a £ a .
2. Antissimetria: se a, b Î R são tais que a £ b e b £ a , então a = b .
3. Transitividade: se a, b, c Î R são tais que a £ b e b £ c , então a £ c .
As relações acima podem ser interpretadas geometricamente, observando-
se a, b e c como medidas de segmentos, por exemplo.Dadas duas magnitudes,
devemos sempre poder decidir qual é a maior, ou se as duas são iguais. Assim, a
relação de ordem £ sobre R deve ser total, isto é, deve satisfazer a condição:
1. Ordem total: se a, b Î R , então a £ b ou b £ a .
Finalmente, a relação de ordem deve ser compatível com as operações no
seguinte sentido:
1. Dados a, b, c Î R , se a £ b , então .
2. Dados a, b Î R , se 0 £ a e 0 £ b , então .
Outro princípio geométrico natural é o
Princípio de Arquimedes, sobre o qual já falamos
na página 12, quando da exposição sobre a

ate nção! Teoria de Eudoxo sobre as proporções.

1. Princípio de Arquimedes: dados
Usamos as notações usuais: a ³ b significa que
a, b Î R , a > 0 , existe n natural tal que na > b .
b £ a , a < b significa que a £ b e a ¹ b ,
Podemos pensar no Princípio de
a > b significa que a ³ b e a ¹ b .
Arquimedes do seguinte modo: seja b a distância
do nosso planeta a estrela mais distante que se

AULA 1 TÓPICO 2 21
 conhece e seja a o diâmetro de um átomo de hidrogênio. Evidentemente, b é muito
grande e a é muito pequeno, mas é possível, pelo menos teoricamente, enfileirar
uma quantidade n de átomos de hidrogênio, mesmo que uma quantidade enorme,
de modo a obter uma distância na maior do que b . Isto é uma propriedade que
se espera que nosso universo tenha, ou seja, espera-se que não existam objetos
infinitamente distantes. O Princípio de Arquimedes capta esta propriedade do
espaço geométrico.
Um subconjunto X Ì R é dito denso em R se, dados a, b Î R , com a < b ,
existe x Î X tal que a < x < b . Usando o Princípio de Arquimedes, podemos
demonstrar que o conjunto Q dos números racionais é denso em R .

Teorema 1: O conjunto Q dos racionais é denso em R .

Demonstração: Sejam x, y Î R , com x < y . Como a := y - x > 0 , pelo

Princípio de Arquimedes, existe um número natural n tal que na >1 . Logo,
1
< a = y - x . A ideia aqui é colocar, lado a lado, uma quantidade inteira de
n
segmentos de medida 1 , de modo que o segmento resultante tenha medida maior
n
do que x e menor do que y , como indicado na Figura 8:

Figura 8 – m cópias justapostas de um segmento de medida 1/n

Novamente o Princípio de Arquimedes nos garante que existe um número

1
natural k tal que k × > x . Como todo subconjunto não-vazio de números naturais
n
possui um menor elemento (Princípio da Boa Ordem), existe um número natural
1 1 m
m tal que x < m × e (m - 1) × < x . Afirmamos que < y . De fato, se ocorresse
n n n
m 1 m -1 1 1
y £ , então y - < . Mas < y - x implica que x - y < - . Logo
n n n n n
1 m -1
teríamos x = y + (x - y ) < y - < , contrariando a escolha de m . Isto posto,
n n
m
vemos que x < < y , o que mostra que Q é denso em R .
n

22 Análise Real
 A relação de ordem em R nos permite definir a noção de intervalo. De fato,
dados a, b Î R , se a < b , chamamos de intervalos com extremo inferior em a e
extremo superior em b , os seguintes conjuntos:
(a, b) ={x Î R|a < x < b},

[a, b ] ={x Î R|a £ x £ b},

(a, b ] ={x Î R|a < x £ b},

[a, b) ={x Î R|a £ x < b}.

Há também notações especiais para os chamados intervalos infinitos:

(a, +¥) ={x Î R|x > a},

(-¥, b) ={x Î R|x < b},

[a, +¥) ={x Î R|x ³ a},

(-¥, b ] ={x Î R|x £ b},

Também faz sentido falarmos em conjunto limitado: um subconjunto

X Ì R não-vazio é dito limitado se existe M Î R , M > 0 , tal que X Ì (-M , M ) ,
ou seja, todo elemento x Î X satisfaz -M < x < M .
A ordem total em R nos fornece, ainda, uma representação linear do corpo
dos números reais. Mais precisamente, dada uma reta r , podemos escolher um
ponto O Î r e identificá-lo com o elemento neutro 0 de R . Este ponto é chamado
origem. Escolhemos um segundo ponto U , à direita de O , e associamos a este
ponto o número 1. O segmento OU é tomado, então, como unidade de medida e
tem, automaticamente, medida igual a 1.
Os outros números reais são identificados com pontos da reta da seguinte
maneira: dado a Î R , a>0, escolhemos A Î r tal que o segmento OA tenha medida
a e A esteja à direita de O . No caso em que a < 0 , o ponto A é escolhido à
esquerda de O e o segmento OA tem medida igual a -a .

AULA 1 TÓPICO 2 23
 Figura 9 – Correspondência entre o número a e o ponto A sobre a reta

Dado um número inteiro positivo n , é tarefa fácil encontrar o ponto da

reta que lhe é correspondente: basta posicionar n cópias de OU justapostas à
direita, de modo a obter um segmento ON que tem medida igual à soma 1 +  + 1
com n parcelas. Logo, o ponto N corresponde ao número n . O número -n é
representado de modo similar, tomando as cópias justapostas do segmento OU à
esquerda.
Para obtermos a representação de um número racional m , devemos,
n
primeiro, dividir o segmento OU em n partes iguais. Cada parte é um segmento de
medida 1 . Escolhemos o único destes segmentos que contém o ponto O , digamos
n
OX . Ao tomarmos m cópias justapostas de OX , obtemos um segmento OY que
tem medida igual a 1 +  + 1 com m parcelas. Assim, a medida do segmento OY
n n
m
é e o ponto Y corresponde, portanto, ao número racional m .
n n
A observação de Hipaso nos leva à conclusão de que existem segmentos
de reta cuja medida é incomensurável com OU . Mais especificamente, é possível
encontrar um ponto P da reta que não corresponda a número racional algum.

Figura 10 – O ponto P corresponde ao número irracional √2

Observando a Figura 10, onde OUAB é um quadrado construído sobre o

segmento OU , AP é um arco do círculo centrado em O e de raio OA igual
à diagonal do quadrado. Como sabemos que a diagonal do quadrado e seu lado
são incomensuráveis e OP tem a mesma medida de OA , pois ambos são raios,
concluímos que o ponto P não corresponde a número racional algum.
Dessa forma, o corpo ordenado dos racionais não é suficentemente grande
para descrever todos os pontos de uma reta. Em outras palavras, embora todo

24 Análise Real
 número racional corresponda a um ponto sobre a reta, existe pelo menos um
ponto da reta que não corresponde a um número racional. Surge, então o seguinte
questionamento:
Existe um corpo ordenado cujos elementos estejam em correspondência
bijetiva com os pontos de uma reta?
Na próxima aula, veremos como colocar de modo preciso a questão
geométrica acima e definiremos o corpo ordenado R dos números reais como aquele
que satisfaz esta condição, isto é, seus elementos correspondem bijetivamente aos
pontos de uma reta.
Concluímos aqui nossa primeira aula, que teve um caráter intuitivo e
geométrico. Exibimos aqui as origens geométricas que motivaram o estudo dos
números reais. O ponto principal é que os números racionais são insuficientes para
o estudo da geometria, mesmo em seu viés mais elementar. Assim, é necessário
lançar mão de um conjunto de números mais amplo, que deve ter as mesmas
propriedades operatórias de Q , ou seja, deve ser um corpo, que deve, assim como
Q , ser totalmente ordenado, e cuja ordem deve ser arquimediana. Além disso, o
corpo ordenado arquimediano de que precisamos, deve estar em correspondência
bijetiva com os pontos de uma reta. Esta última condição, que denominamos
completude, será estudada na Aula 2.

Ati v i da de de a p ro fu n da m e n to
1. Considere o plano cartesiano Q ´ Q , ou seja, o conjunto de pontos do plano que têm coordenadas
racionais. Sejam O a origem (0,0) e A o ponto de coordenadas (0,1) . Existe algum triângulo equilátero
em Q ´ Q , tendo OA como um dos lados? Por quê?
2. Seja ABC um triângulo isósceles retângulo em A e AD a altura relativa à hipotenusa, como mostrado
na figura abaixo.
Verifique que os triângulos ABC e ABD são semelhantes e que os segmentos AB e BD não
incomensuráveis. Discuta como este exemplo justifica a necessidade de se assumir a existência de números
não racionais para se trabalhar com semelhança de triângulos.
3. Determine a expansão dos seguintes números racionais como frações contínuas:

AULA 1 TÓPICO 2 25
 (a) 17
7
(b) 13
31
(c) 55
34
(d) 158
49
4. Demonstração de Euclides da irracionalidade de 2.
a
(a) Para obter uma contradição, suponha que 2 seja racional, isto é,2 = . Verifique que é possível
b
supor que a e b sejam primos entre si, isto é, o máximo divisor comum de a e b é 1 .
a
(b) Mostre que a igualdade 2 = implica a 2 = 2b2 .
b
(c) Mostre que a 2 = 2b2 implica que a é par.
(d) Mostre que a par implica b par.
(e) Conclua que o mdc de a e b é maior ou igual a 2 , o que é uma contradição (por quê?).
5. Considere o número 2 . Podemos escrever
1 1 1
2 =1 + 2 - 1=1 + =1 + =1 + .
1+ 2 2 + 2 -1 1
2+
1+ 2
(a) Verifique que o procedimento acima pode ser repetido indefinidamente e conclua que 2 admite uma
representação como fração contínua infinita [1;2,2,2] .
(b) Use o item (a) acima para mostrar que 2 é irracional. (Sugestão: repita o argumento usado no texto
para demonstrar que a razão áurea j é irracional).
(c) Encontre a expansão de 5 como fração contínua infinita. (Sugestão: comece escrevendo
5 = 2 + 5 - 2 e repita o procedimento usado para 2 ).

Teorema de Tales.

26 Análise Real
O Teorema de Tales afirma que, se duas retas transversais cortam um feixe de retas paralelas, as magnitudes
dos segmentos delimitados pelas transversais são proporcionais. Com a notação da figura anterior, temos:
AB A¢B ¢
= .
BC B ¢C ¢
6. A proposta deste exercício é apresentar uma demonstração do Teorema de Tales que englobe os casos em
que os segmentos são incomensuráveis.
(a) Suponha, primeiramente, que AB e BC são comensuráveis. Seja e a medida comum destes
dois segmentos, ou seja, AB = m × e e BC = n × e , onde m e n são números naturais. Trace
m + n retas paralelas a AA¢ , dividindo o segmento AC em m + n segmentos congruentes
de medida e . Mostre que estas retas paralelas dividem o segmento A ¢B ¢ em m partes e o
segmento B ¢C ¢ em n partes, todas com medida e . Conclua que o teorema é válido neste caso.
(b) Procure adaptar o argumento acima para o caso em que os segmentos AB e BC são incomensuráveis.

AULA 1 TÓPICO 2 27
 AULA 2 Números reais –
parte 2

Na aula 1, fornecemos justificativas geométricas para a necessidade de se

considerar um conjunto numérico mais amplo do que o conjunto dos racionais.
Vimos ainda que este conjunto numérico mais amplo deve ser um corpo ordenado
arquimediano. Há ainda, no entanto, uma questão importante por responder: que
propriedade adicional um tal corpo ordenado arquimediano deve ter para que haja
uma correspondência bijetiva entre seus elementos e os pontos de uma reta? Para
responder esta pergunta, precisamos de uma ferramenta que nos permita calcular
distâncias entre os elementos de um corpo ordenado arquimediano.

No tópico 1 desta aula, veremos que esta ferramenta é o valor absoluto. No

tópico 2 desta aula, veremos que um corpo ordenado arquimediano tem seus
elementos correspondendo bijetivamente aos pontos de uma reta se, e somente
se, satisfaz a propriedade “dos intervalos encaixantes”. Finalmente, no tópico 3,
estabeleceremos a noção de conjunto enumerável e veremos que os reais formam
um conjunto não-enumerável.

Objetivos

• Utilizar a noção de valor absoluto como ferramenta para determinar distâncias

sobre a reta
• Compreender os rudimentos da topologia na reta: abertos, fechados, pontos
de acumulação e fechos
• Assimilar a necessidade da introdução da noção de completude, para
garantir a correspondência bijetiva entre números reais e pontos sobre a reta
orientada
• Compreender a noção de enumerabilidade e justificar a não-enumerabilidade
do conjunto dos números reais

28 Análise Real
TÓPICO 1 Valor absoluto
O bjetivos
• Identificar a noção de valor absoluto e suas propriedades
mais relevantes
• Perceber a possibilidade de existirem vários valores abso-
lutos definidos em um corpo ordenado
• Desenvolver a noção de espaço métrico a partir da noção
de valor absoluto sobre os reais

N a aula 1, vimos que o conjunto dos números reais possui uma

estrutura algébrica (de corpo) e uma estrutura combinatória
(de conjunto totalmente ordenado e arquimediano). O valor
absoluto de um número é a maneira pela qual se pode calcular distâncias entre
números reais. Uma vez definido o valor absoluto sobre um corpo ordenado,
podemos introduzir uma estrutura adicional neste corpo: a de espaço métrico.
Neste tópico, estudaremos as principais propriedades do valor absoluto e algumas
das propriedades dos reais como espaço métrico.
Consideremos um corpo ordenado arquimediano K , por exemplo, o corpo
+
 dos números racionais. Usamos a notação K para indicar o conjunto dos
elementos não-negativos de K , ou seja,
K + ={a Î K |a ³ 0}.
Dado um elemento a Î K , um valor absoluto, ou módulo de a , é uma função
f : K ® K + que satisfaz as seguintes condições:
1. Dado a Î K , f(a ) = 0 se, e somente se, a = 0 .
2. Dados a, b Î K , f(ab) = f(a )f(b) .
3. f(a + b) £ f(a ) + f(b) .

O exemplo mais importante de valor absoluto é dado pela função f : K ® K +

dada por f(a ) =|a |, onde, para cada a Î K ,
ìï a se a ³ 0
|a |= ïí
ï-
ïî a se a < 0

AULA 2 TÓPICO 1 29
 Vamos verificar que, de fato, a função f(a ) =|a | satisfaz as condições 1,2 e
3 acima e, portanto, é um valor absoluto.
Primeiramente, |a |³ 0 para todo a Î K e |a |= 0 implica a = 0 ou -a = 0 ,
isto é, |a |= 0 implica a = 0 .
Para verificarmos a validade da condição 2, consideremos a, b Î K . Temos
alguns casos a considerar:
primeiro, se a ³ 0 e b ³ 0 , temos |a |= a e |b|= b e ab ³ 0 , logo
|ab|= ab =|a ||b|.
no caso em que a ³ 0 e b < 0 , temos |a |= a , |b|= -b e ab £ 0 , logo
|ab|= -ab = a(-b) =|a ||b|. O caso em que a < 0 e b ³ 0 é similar.
no caso em que a < 0 e b < 0 , temos |a |= -a , |b|= -b e ab > 0 , logo
|ab|= ab = (-a )(-b) =|a ||b|.
Finalmente, para verificarmos a validade de 3, devemos também considerar
alguns casos:
primeiro, se a ³ 0 e b ³ 0 , então a + b ³ 0 e |a + b|= a + b =|a |+|b| .
Note que, neste caso, vale a igualdade.
Se a ³ 0 e b < 0 , então |a |= a e |b|= -b . Observe que, neste
caso, b <|b| . Podemos ter duas situações: a + b ³ 0 ou a + b < 0 . Se
a+b³0 , então |a + b|= a + b < a+|b|£|a |+|b| . Se a+b<0 , então
|a + b|= -(a + b) = -a - b £|a |-b =|a |+|b|. O caso em que a < 0 e b ³ 0 é
similar.
Enfim, se a < 0 e b < 0 , temos |a |= -a , |b|= -b e a + b < 0 , logo
|a + b|= -(a + b) = -a - b =|a |+|b|. Observe que, neste caso, também vale a
igualdade.
Vale ressaltar que outros valores absolutos podem ser definidos sobre corpos
ordenados arquimedianos. Podemos, por exemplo, definir sobre o corpo dos
números racionais um valor absoluto para cada número inteiro primo p , chamado
a
valor absoluto p -ádico . De fato, fixado um inteiro primo p , seja r = um
b
número racional, onde podemos supor que a fração é irredutível, ou seja, a e b
são primos entre si. Pelo Teorema Fundamental da Aritmética, existe um único
c
número inteiro n tal que r = pn × , com c e d inteiros não divisíveis por p . A
d
função | | p : Q → Q + , dada por |r |p = p-n , satisfaz as condições 1,2 e 3 da definição
de valor absoluto. Dizemos que |r |p é o valor absoluto p -ádico de r . Este valor
absoluto tem papel central na resolução de equações diofantinas de grau 2, em
Teoria dos Números.

30 Análise Real
 Convém ressaltar que nosso interesse é
o estudo do valor absoluto usual. Por isso, não
teceremos mais comentários sobre os valores
sa i ba ma i s!
absolutos p -ádicos. O leitor interessado pode
Acesse o site www.ime.usp.br/~niski/monitoria/
encontrar mais informações nos exercícios de
corpoarq.pdf e obtenha mais informações sobre
aprofundamento.
as propriedades arquimedianas
Continuamos a denotar por K um corpo
ordenado arquimediano (podemos pensar
momentaneamente em K como sendo o corpo
dos números racionais). Se a, b Î K , o que
significa o valor absoluto da diferença |a - b|?
O exemplo a seguir é elucidativo nesse sentido.
você sa b i a? Exemplo: Vamos resolver a equação
Em 1897, o método de Weierstrass de |x - 1|+|x - 3|= 2 em  . A princípio, por se
desenvolvimento de séries para funções tratar de uma equação, pode parecer estranho
algébricas o conduziu à invenção dos números afirmar que o seu conjunto solução é o intervalo
p-adic. Hensel estava interessado no primo exato [1,3] ={x Î |1 £ x £ 3} . De fato, se x Î [1,3] ,
que divide o discriminante de um campo de
então 1 £ x £ 3 , logo x - 1 ³ 0 e x - 3 £ 0 .
número algébrico. Os números p-adic podem ser
Logo, |x - 1|= x - 1 e |x - 3|= 3 - x , donde
considerados como uma conclusão dos números
|x - 1|+|x - 3|= x - 1 + 3 - x = 2 . Assim, todo
racionais, de um modo diferente da conclusão
elemento do intervalo é solução da equação.
habitual que conduz aos números reais.
Por outro lado, se x <1 ou x > 3 , é possível
Fonte: http://www.somatematica.com.br/
determinar, de modo análogo ao que fizemos
biograf/hensel.php
acima, que x não pode ser solução da equação
(veja a questão 1 da tarefa).
Apresentaremos, agora, outra solução desse problema, que se baseia na
interpretação geométrica da equação: |x - 1| e |x - 3| podem ser vistos como
as distâncias entre x e os elementos 1 e 3 . Afirmar que |x - 1|+|x - 3|= 2 é
equivalente a afirmar que o ponto x está situado na reta de modo que sua distância
ao ponto correspondente a 1, somada à sua distância ao ponto correspondente a 3 ,
seja constante e igual a 2 . Isso acontece exatamente para os números situados no
intervalo [1,3] , que correspondem aos pontos racionais situados no segmento que
liga os pontos correspondentes a 1 e 3 (veja a Figura 1).

AULA 2 TÓPICO 1 31
 Figura 1 - Número real entre 1 e 3

Dessa forma, o valor absoluto |a - b| mede

a distância entre a e b . Se assumirmos que os
números reais estão em correspondência com os
pontos de uma reta, o número |a - b| mede o ate n ç ão !
comprimento do segmento cujas extremidades
Nosso principal objetivo é obter um corpo
são os pontos da reta correspondentes a a e b .
ordenado arquimediano contendo o corpo
Vamos denotar por  o corpo dos números
dos racionais, cujos elementos estejam em
reais. Dado um elemento a Î  , existe um
correspondência com os pontos de uma reta.
único ponto da reta orientada que corresponde
Este é exatamente o corpo dos números reais. A
a a . Por não haver risco de confusão, podemos partir deste ponto, assumiremos que existe um
denotar este ponto também por a . Seja d > 0 corpo ordenado arquimediano cujos pontos estão
um número real positivo, o conjunto dos pontos em correspondência bijetiva com os pontos de
da reta que estão a uma distância menor do que uma reta. No Tópico 2, exibiremos uma condição
d do ponto a é representado pelo intervalo suficiente para que exista esta correspondência.
mostrado na Figura 2.

Figura 2 - Intervalo aberto centrado em a

Podemos escrever o conjunto {x Î  |a - d < x < a + d} como um intervalo

aberto (a - d , a + d ) , chamado intervalo aberto centrado em a . Outro modo de
descrever este intervalo é
(a - d , a + d ) ={x Î  ||x - a |< d}
ou seja, (a - d , a + d ) é o conjunto dos números reais que estão a uma
distância menor do que d do número a .
O valor absoluto usual que definimos sobre o conjunto  dos números reais
nos permite calcular distâncias entre os elementos de  . Mais precisamente, existe
uma função d :  ´  ®  , dada por d (x, y ) =|x - y |, satisfazendo as seguintes
condições:
1. d (x, y ) ³ 0 , para quaisquer x, y Î  e d (x, y ) = 0 se, e somente se, x = y .

32 Análise Real
 2. d (x, y ) = d ( y, x ) , para quaisquer x, y Î  .
3. d (x, y ) £ d (x, z ) + d (z, y ) , para quisquer x, y, z Î 
Estas condições são consequências diretas das propriedades de valor absoluto
que vimos anteriormente (veja o exercício de aprofundamento 3). A função d ,
definida acima, é chamada métrica, e o par (  , d ) é chamado espaço métrico dos
números reais. Em um espaço métrico, podemos definir as importantes noções de
conjunto aberto e de conjunto fechado.
Um subconjunto A Ì  é chamado aberto se, para cada a Î A , existe d > 0
tal que (a - d , a + d ) Í A . Usando a noção de métrica dada acima, (a - d , a + d ) Í A
é equivalente a
d (x, a ) < d Þ x Î A.
Em outras palavras, todo elemento de  que está a uma distância menor do
que d do ponto a Î A , pertence necessariamente ao conjunto A .
Os conjuntos abertos de  satisfazem as seguintes condições:
1. Os subconjuntos Æ e  são abertos.
2. Se A e B são abertos, então A Ç B é aberto.
3. Se ( Ai )iÎI é uma família de abertos, então a união  i ÎI
Ai é um aberto.
A verificação destes fatos é uma tarefa de rotina e não será essencial para os
objetivos deste curso. Assim, não a faremos aqui (veja o exercício de aprofundamento
4).

Exemplos:
1. Todo intervalo aberto é um subconjunto aberto de  . De fato, se
I = (a, b ) é um intervalo aberto e a Î (a, b ) , então a < a < b .
1
Se d = min {a - a, b - a} , então a < a - d e a + d < b . Logo,
2
(a - d , a + d ) Ì I , o que mostra que I é um conjunto aberto.

2. Os intervalos (-¥, a ) e (a, +¥) são abertos. A verificação deste fato

é similar à do exemplo anterior.

3. O conjunto  -  dos números reais não inteiros é aberto em  . De

fato,  -  =  nÎ(n, n + 1) é um união de intervalos abertos, logo,
pelo exemplo 1 e pela condição (iii) acima,  -  é um aberto.

Um subconjunto F Í  é dito fechado se seu complementar  - F for um

conjunto aberto.

AULA 2 TÓPICO 1 33
 Exemplos:
1. Todo intervalo fechado é um conjunto fechado em  . De fato, se
J = [a, b ] , então  - J = (-¥, a ) È (b, +¥) , que é aberto, por ser um
união de dois conjuntos abertos.

2. Todo conjunto finito de números reais é um conjunto fechado em  . De

fato, se C ={a1 , a2 ,, an-1 , an } , então, supondo que a1 < a2 <  < an ,
temos
 - C = (-¥, a1 ) È (a1 , a2 ) È (a2 , a3 ) È  È (an-1 , an ) È (an , ¥)
é uma união de intervalos abertos, logo é um aberto.

3. O conjunto  dos números inteiros é fechado em  . De acordo com o

exemplo 3 acima, o complementar  -  é aberto, logo,  é fechado.

Dado um conjunto X Ì  , um elemento a Î  , não necessariamente um

elemento de X , é dito ponto de acumulação de X se, para cada d > 0 , existe
x Î X , x ¹ a , tal que |x - a |< d . Em outras palavras, se, para cada d > 0 ,
(a - d , a + d ) Ç X
contém algum ponto diferente de a . O conjunto dos pontos de acumulação de
um conjunto X é chamado conjunto derivado de X e denotado por X ¢ . A
união de um conjunto X com o conjunto X ¢ dos seus pontos de acumulação é
chamado fecho de X e é denotado por X , ou seja, X = X È X ¢ . O resultado abaixo
caracteriza os conjuntos fechados.

Teorema 1 Um conjunto X Ì  é fechado se, e somente se, X = X .

Demonstração: Uma vez que X = X È X ¢ , a afirmação X = X é equivalente

a X¢ Ì X .
Vamos supor, de início, que X é fechado. Logo  - X é aberto. Dado a Î X ¢ ,
/ X . Então a Î  - X
para obtermos uma contradição, vamos supor que a Î
e, como este conjunto é aberto, existe d > 0 tal que (a - d , a + d ) Ì  - X .
Por outro lado, como a Î X ¢ , temos que a é um ponto de acumulação de X .
Logo, existe x0 Î X Ç (a - d , a + d ) . Mas, como (a - d , a + d ) Ì  - X , temos
x0 Î X Ç (  - X ) = Æ , o que é um absurdo. A contradição veio do fato de supormos
que existe a Î X ¢ tal que a Î / X . Portanto X ¢ Ì X e X = X .
Reciprocamente, suponhamos que X = X . Isso implica que X ¢ Ì X . Assim,
/ X ¢ . Portanto existe d > 0 tal que
dado a Î  - X , seguramente temos a Î

34 Análise Real
(a - d , a + d ) Ç X = Æ e isso é equivalente a afirmar que (a - d , a + d ) Ì  - X .
Portanto  - X é aberto e X é fechado.
Com este resultado, encerramos o tópico 1. Cabe observar que as noções de
conjunto aberto e de conjunto fechado estudadas acima fazem parte de uma teoria
mais geral, chamada topologia, que estuda os abertos e as funções que, de certo
modo, preservam abertos, chamadas funções contínuas, que estudaremos em uma
aula posterior. O espaço métrico dos números reais, ou, mais geometricamente,
a reta real, é uma espécie de protótipo de espaço onde se podem definir abertos
e fechados. Um ponto fundamental para estudarmos o conjunto dos reais como
espaço métrico foi assumir a identificação dos reais com os pontos de uma reta.
Esta identificação será estabelecida de modo preciso no tópico 2 desta aula, que
iniciaremos a seguir.

AULA 2 TÓPICO 1 35
 TÓPICO 2 Completude de um
corpo K
O bjetivos
• Compreender a noção de supremo e ínfimo de um conjunto
limitado e assimilar suas propriedades básicas
• Perceber que a completude de um corpo ordenado é
condição suficiente para que os elementos de estejam em
correspondência bijetiva com os pontos de uma reta

N este segundo tópico, veremos uma condição suficiente para que

um corpo ordenado arquimediano K admita uma correspondência
f : K ® t bijetiva entre seus elementos e os pontos de uma reta
t . Esta condição, que chamamos completude, pode ser enunciada de diversas
maneiras, dentre as quais escolhemos, para o nosso texto, aquela que envolve a
noção de supremo, que será apresentada neste tópico. O principal resultado deste
tópico é o Teorema 3, que responde as perguntas levantadas na aula 1 e estabelece
a representação geométrica do corpo ordenado dos números reais.
Continuamos assumindo que existe um corpo  ordenado e arquimediano,
cujos elementos estão em correspondência bijetiva com os pontos de uma reta
orientada. Este corpo contém o corpo  dos números racionais e, pelo Teorema 1
da Aula 1,  é denso em  . Isto significa que, para cada número real a e cada
d > 0 , existe um número racional r tal que |a - r |< d , ou seja,
r Î (a - d , a + d ) Ç 
Dizemos que um subconjunto S Ì  é limitado superiormente quando
existe M Î  tal que s £ M , para todo s Î S . Dizemos que S é limitado
inferiormente se existe m Î  tal que m £ s , para todo s Î S . Os números M e
m são chamados, respectivamente, cota superior e cota inferior de S .

36 Análise Real
Exemplos:
1. O intervalo (0,1] é limitado superiormente e inferiormente. Os números
0,-1,-2 são cotas inferiores de (0,1] . Os números 1,2,3 são cotas
superiores de (0,1] .
2. O conjunto  dos números naturais não admite cota superior, mas
qualquer número negativo é cota inferior de  .
3. O conjunto  dos inteiros não admite cota superior nem cota inferior.
4. O intervalo (-¥,0] não admite cota inferior, mas 1 é uma cota superior
de (-¥,0] .
5. O conjunto de números racionais S ={r Î |r 2 < 2} é limitado
superiormente e 2 é uma cota superior de S .

Consideremos um conjunto S Ì  limitado superiormente. O supremo S

é a menor entre todas as cotas superiores de S . O supremo de S é denotado por
supS .
Como já foi observado no início deste tópico, o conjunto dos números reais,
cuja existência está sendo assumida a priori, tem em nossa discussão um caráter
geométrico, pelo menos provisoriamente. Mais precisamente, estamos assumindo
a existência do corpo ordenado arquimediano  cujos elementos estão em
correspondência com os pontos de uma reta. É natural, portanto, que interpretemos
a noção de supremo geometricamente.

Figura 3 - Supremo do conjunto S

Na Figura 3, cada um dos pontos marcados à direita do conjunto S é uma

cota superior de S . O supremo é o ponto da reta assinalado por uma seta. Assim,
o supremo de S é o ponto da reta mais à esquerda que ainda está à direita de S .
Devemos observar que o supremo de um conjunto não necessariamente coin-
cide com o máximo do conjunto. Por exemplo, o intervalo (0,1) ={x Î  |0 < x <1}
x +1
não tem máximo, pois, dado x Î  , 0 < x <1 , temos x < <1 . Por outro lado,
2

AULA 2 TÓPICO 2 37
 sup(0,1) =1 , pois 1 é cota superior de (0,1) e, dado d > 0 , 1 - d não pode ser cota
superior de (0,1) , pois existe x Î  tal que 1 - d < x <1 . Dessa forma, não existe
cota superior de (0,1) menor do que 1, sendo o número 1, portanto, o supremo
de (0,1) .
No caso em que S é limitado inferiormente, o ínfimo de S é a maior entre
as cotas inferirores de S . O ínfimo de S é denotado por inf S .
A mesma discussão que fizemos acima sobre a diferença entre supremo e
máximo vale para ínfimo e mínimo. Convidamos o leitor a produzir um exemplo
de um conjunto que não tenha mínimo e tenha ínfimo (veja a tarefa 2, desta aula).
De um modo mais geral, podemos repetir a discussão acima para caracterizar
o supremo de um conjunto limitado superiormente. Faremos isso no teorema a
seguir, às vezes chamado propriedade de aproximação do supremo.

Teorema 2: Se S é um conjunto de números reais limitado superiormente,

um número real s é o supremo de S se, e somente se,
1. Para todo x Î S , x £ s , isto é, s é uma cota superior de S .
2. Para cada d > 0 , existe x Î S tal que s - d < x £ s .

Demonstração: Vamos, primeiro, supor que s é supremo de S , ou seja, que

s é a menor das cotas superiores de S . Sendo uma cota superior de S , o número
s satisfaz automaticamente a condição 1. Como s é a menor entre todas as cotas
superiores de S , se d > 0 , s - d não pode ser uma cota superior de S , ou seja, não
pode ocorrer x £ s - d , para todo x Î S . Isso significa que existe x Î S tal que
s - d < x . Como s é cota superior de S , temos s - d < x £ s e, portanto, vale a
condição 2.

Figura 4 - Para cada δ > 0 , existe x ∈ S tal que s – δ < x < s Para

Reciprocamente, seja s um número real que satisfaz as condições 1 e 2. A

condição 1 implica imediatamente que s é uma cota superior de S . Se s ¢ < s ,
então s ¢ = s - d , com d = s - s ¢ > 0 . A condição 2 implica, então, que existe x Î S

38 Análise Real
tal que s ¢ = s - d < x . Logo, s ¢ não pode ser cota superior de S . Mostramos assim
que s é a menor cota superior de S , portanto s é o supremo de S .
Vamos observar com um pouco mais de atenção o exemplo 5 dado acima. O
conjunto de números racionais S = {r ∈ Q | r 2 < 2} é limitado superiormente. Cabe
aqui a seguinte pergunta: S possui supremo? Em geral, o que garante que um
determinado conjunto possua supremo? Podemos argumentar geometricamente,
apelando para a identificação de R com a reta. Essa identificação nos permite
assegurar que existe um ponto correspondente a alguma cota superior de S ,
digamos o ponto correspondente ao número 2 , e que podemos “deslocar” este
ponto para a esquerda, mantendo-o sempre à direita de S até uma “posição limite”
(veja a Figura 5).

Figura 5 - Supremo como posição limite de cotas superiores

Devemos, no entanto, admitir que o argumento acima, embora tenha um

forte apelo à intuição geométrica, carece de precisão e rigor.
Voltando ao exemplo 5, vamos mostrar que o conjunto S não possui supremo
em  . Seja a = sup S , temos três possibilidades para a :
1. a 2 < 2 .
2. 2 < a 2 .
3. a 2 = 2 .
Se ocorre (i), consideremos o seguinte número racional
4a
b= > 0.
2 + a2
Podemos escrever
16a 2
b2 = < 2,
(2 - a 2 )2 + 8a 2
e esta última desigualdade é válida, pois, caso contrário, b2 ³ 2 implicaria
16a 2
³ 2 Þ 16a 2 ³ 2(2 - a 2 )2 + 16a 2 Þ 2(2 - a 2 )2 £ 0
(2 - a 2 )2 + 8a 2
um absurdo, pois a 2 < 2 implica 2(2 - a 2 )2 > 0 . Como b2 < 2 então b Î S . Por
outro lado, de a 2 < 2 temos

AULA 2 TÓPICO 2 39
 a2 a2 a2 1 1
a2 < 2 Û <1 Û a 2 - <1 Û a 2 <1 + Û a 2 < (2 + a 2 ) < (2 + 2) = 2.
2 2 2 2 2
4
Segue daí que 1 < 2 , logo 1< o que é equivalente a
2 2+a 2 2 + a2
4a
a< = b,
2 + a2
absurdo, pois b Î S e a é o supremo de S .
Por outro lado, se ocorre (ii) temos
2 + a2 2 + a2
2< < a2 Þ < a.
2 2a
Como a = sup S , existe r Î S tal que
2 + a2
<r £a
2a
consequentemente
2
æ 2 + a 2 ö÷
çç ÷ < r 2 < 2,
çè 2a ÷÷ø
já que r 2 < 2 . Por outro lado, temos
(2 - a 2 )2 + 8a 2
(2 - a 2 )2 ³ 0 Û (2 - a 2 )2 + 8a 2 ³ 8a 2 Û ³2 Û
4a 2
2
(2 + a 2 )2 æ 2ö
Û ³ 2 Û çç 2 + a ÷÷ ³ 2
4a 2 èç 2a ÷ø÷
e chegamos novamente a uma contradição.
Assim, a = sup S satisfaz necessariamente
a condição (iii): a 2 = 2 e, como já demonstramos
na aula 1, nenhum número racional tem o
quadrado igual a 2 . Concluímos que S não
ate n ç ão !
possui supremo em  .
Um corpo ordenado K é dito completo se O exemplo acima mostra que existem
satisfaz a seguinte condição: subconjuntos de que não admitem supremo em

Todo subconjunto S ÌK limitado Q. Esta condição, que falha no caso dos racionais,

superiormente admite supremo em K . é precisamente aquela que deve ser satisfeita por
um corpo ordenado arquimediano para que seus
A condição acima é chamada condição
pontos estejam em correspondência bijetiva com
de completude. Vamos exigir que o conjunto
os pontos de uma reta. Demonstrar que de fato
 dos números reais seja um corpo, ordenado,
existe esta bijeção é nosso objetivo no restante
arquimediano e que também seja completo.
deste tópico.
Repetindo o que fizemos na Aula 1,
associamos os elementos de um corpo ordenado

40 Análise Real
 arquimediano R , contendo  , aos pontos de uma reta t da seguinte forma:
escolhemos dois pontos O e U de t de modo que O esteja à esquerda de U .
Consideramos, então, uma função f : R ® t , tal que f(0) = O e f(1) =U .
Dado um número natural n , seja f(n) = U n , onde U n é o ponto obtido justapondo-
se n cópias de OU à direita de O , de modo que OU n = OU +  + OU ( n vezes).
1
Além disso, f( ) = Vn , onde OVn +  + OVn = OU . Assim, todo número racional
n
positivo m / n tem como imagem o ponto P tal que OP = OVn +  + OVn ( m
vezes). Se r é um número racional
negativo, então f(r ) = Q , onde Q está à esquerda de O e os segmentos QO e OP
são congruentes, com P = f(-r ) .
Seja a Î R é um número (racional ou irracional). Consideremos o conjunto
de números racionais
Ea ={r Î |r < a}.
A condição de completude para R
implica que sup Ea é um elemento de R . V
amos verificar que sup Ea = a . De fato, dado
ate nção! r Î Ea , temos r < a , logo a é um cota superior

Para que as noções de esquerda e direita façam de Ea . Dado d > 0 , a densidade de  em R

sentido, usamos aqui a noção de reta orientada. (Teorema 1 da Aula 1) implica que existe r Î 
Assim, a reta possui uma orientação que fica tal que a - d < r < a . Em particular, a - d não é
estabelecida quando os os pontos e são escolhidos cota superior de Ea . Pelo Teorema 2, a = sup Ea .
e fixados. Podemos, então, definir f(a ) = A , onde A é um
ponto da reta t tal que

1. Se r Î  , A está à direita de f(r ) se, e somente se, r Î Ea .

2. Se A¢ está à esquerda de A , então existe r Î Ea tal que f(r ) é um
ponto entre A¢ e A .

O próximo resultado mostra que a completude, como definida acima, garante

a bijetividade de f .

Teorema 3 Seja R um corpo ordenado completo que contém o corpo

dos números racionais e seja t uma reta orientada, entendida aqui como
um conjunto de pontos, com dois pontos distinguidos O e U . A função
ϕ : R → t definida acima é uma bijeção.

AULA 2 TÓPICO 2 41
 Demonstração: Vamos, primeiro, mostrar que f está bem definida, o que
significa que, para cada a Î R , existe um único ponto A da reta t tal que f(a ) = A.
De fato, se a Î  , a construção que fizemos acima garante que f(a ) é único. Em
geral, se a é um elemento de R , não necessariamente racional, suponhamos que
f(a ) = A e f(a ) = B . Vamos mostrar que A = B . De fato, se A ¹ B , então um dos
dois pontos está à esquerda do outro. Para fixar ideias, podemos supor que B está
à esquerda de A . Como f(a ) = A , a condição (ii) e o fato de B estar à esquerda
de A implicam que existe r0 Î Ea tal que f(r0 ) está entre B e A , em particular,
f(r0 ) está à direita de B . Por outro lado, como f(a ) = B , (i) implica que f(r ) está
à esquerda de B , para todo r Î Ea . Isto gera uma contradição, pois f(r ) estaria ao
mesmo tempo à direita e à esquerda de B . A contradição vem de supormos que A
e B são pontos distintos. Logo, A = B e f está bem definida.
Vamos, agora, mostrar que f é injetiva. Para isso, tomemos a, b Î R tais que
f(a ) = f(b) = A . Queremos mostrar que a = b . Sejam
Ea ={r Î |r < a} e Eb ={r Î |r < b}.
Se r Î Ea , então f(r ) é um ponto de t que está à esquerda de A = f(a ) .
Como A também é igual a f(b) , a condição (i) implica que r Î Eb . Assim, Ea Í Eb .
De modo inteiramente análogo, podemos concluir que Eb Í Ea , logo Ea = Eb e,
consequentemente, a = sup Ea = sup Eb = b .
Finalmente, mostraremos que f é sobrejetiva. Para isso, consideremos
um ponto A Î t . Seja EA ={r Î |f(r ) está à esquerda de A} . Pela condição de
completude, a = sup EA é um elemento de R . Seja f(a ) = A¢ . Pela condição (i),
f(r ) é um ponto situado à esquerda de A¢ , para todo r Î  , r < a . Em particular,
f(r ) está à esquerda de A¢ , para todo r Î EA , pois a = sup EA . Assim, o conjunto
dos pontos do tipo f(r ) , situados à esquerda de A , está contido no conjunto dos
pontos do tipo f(r ) situados à esquerda de A¢ . Como consequência deste fato,
segue que A¢ não pode estar à esquerda de A , pois isso implicaria a existência
de um ponto do tipo f(r ) entre A¢ e A , ou seja, f(r ) estaria à esquerda de A
e não estaria à esquerda de A¢ , o que é impossível, pelo que vimos acima. Por
outro lado, se A estivesse à esquerda de A¢ , então a condição (ii) implicaria a
existência de f(r ) entre A e A¢ , com r Î Ea . Logo, f(r ) estaria à direita de A , o
que implicaria r Î
/ EA . Mas r Î
/ EA implica r ³ a = sup EA e r Î Ea implica r < a .
Portanto a £ r < a é absurdo!
Concluímos, então, que A¢ não pode estar à esquerda nem à direita de A ,
ou seja, f(a ) = A¢ = A e a função f é sobrejetiva, como queríamos demonstrar.

42 Análise Real
 Concluímos aqui o nosso segundo tópico desta aula. Vimos aqui a importante
noção de completude, que diferencia o corpo ordenado dos reais do corpo ordenado
dos racionais. Vimos que a condição de completude é exatamente aquela que nos
permite identificar o conjunto dos números reais com o conjunto dos pontos de
uma reta orientada.
Devido ao caráter introdutório destas
aulas, não trataremos dois pontos importantes:
a existência de um corpo ordenado completo e
sa i ba ma i s!
a unicidade de um corpo ordenado completo.
Mais informações sobre as sequências de Cauchy
A questão da existência pode ser atacada
no site www.ime.usp.br/~tonelli/map0151/pool/
construindo-se efetivamente os números reais
cauchy.pdf
a partir dos números racionais. Existem dois
Mais informações sobre os cortes de Dedekind,
modos clássicos de se fazer esta construção:
acesse o site www.dme.ufcg.edu.br/sites_
via sequências de Cauchy ou via cortes de
pessoais/professores/Marco/Dedekind.pdf
Dedekind. Não entraremos em detalhes, e o
leitor interessado pode consultar um dos livros
citados nas referências. Quanto à unicidade, deve-se demonstrar que dois corpos
ordenados completos são essencialmente idênticos, diferindo apenas quanto à
natureza dos seus elementos. Para isso deve-se construir uma função bijetiva entre
os dois conjuntos que preserve suas estruturas, ou seja, preserve as operações de
soma e de produto e preserve a relação de ordem. Para uma construção deste tipo,
remetemos o leitor interessado novamente a uma das referências bibliográficas.
No tópico 3 a seguir, estudaremos o conjunto dos números reais quanto à sua
enumerabilidade. Veremos que esta é outra diferença marcante entre o conjunto
dos reais e o conjunto dos racionais.

AULA 2 TÓPICO 2 43
 TÓPICO 3 Enumerabilidade
O bjetivos
• Compreender a noção de equivalência de conjuntos
• Saber justificar a enumerabilidade do conjunto dos
racionais e a não-enumerabilidade do conjunto dos
números reais

D ados dois conjuntos finitos A e B , podemos decidir qual dos

dois tem mais elementos simplesmente contando o número de
elementos de cada um. O matemático alemão, nascido na Rússia,
Georg Ferdinand Ludwig Philipp Cantor (1845-1918) estendeu esta possibilidade
de comparação a conjuntos infinitos. Mais precisamente, Cantor estabeleceu a
noção de equivalência entre conjuntos (finitos ou infinitos), que exploraremos, de
maneira introdutória neste tópico.
Nosso principal objetivo é estabelecer que o conjunto dos números reais
não é equivalente ao conjunto dos números racionais: o primeiro possui “mais
elementos” do que o segundo, em um sentido que tornaremos preciso ao longo do
tópico.
Dois conjuntos A e B são ditos equivalentes, de mesma cardinalidade, ou
ainda equipotentes, se existe uma função bijetiva f : A ® B . A notação A ~ B
indica que A é equivalente a B . Notemos, primeiramente, que a equivalência
entre conjuntos, definida acima, tem as seguintes propriedades:
1. A relação ~ é reflexiva, isto é, A ~ A , para todo conjunto A . De fato,
a função identidade Id : A ® A , dada por Id (a ) = a , é uma função
bijetiva, logo A ~ A .

44 Análise Real
 2. A relação ~ é simétrica, isto é, se A e B são conjuntos tais que A ~ B ,
então B:A. De fato, se A ~ B , então existe uma função bijetiva
f : A ® B . Sendo bijetiva, f admite uma inversa, f -1 : B ® A que
também é bijetiva, logo B ~ A .
3. A relação : é transitiva, isto é, se A, B e C são conjuntos tais que
A ~ B e B ~ C , então A ~ C . De fato, A ~ B implica que existe
f : A ® B bijetiva e B ~ C implica que existe g : B ® C bijetiva. A
composta g  f : A ® C é bijetiva, logo A ~ C .
Uma relação reflexiva, simétrica e transitiva, é chamada relação de
equivalência. Assim, podemos dizer que a relação definida acima é uma relação de
equivalência.
Como notação complementar, escrevemos A  B se existe uma função
injetiva f : A ® B . Dizemos, neste caso, que a cardinalidade de A é menor do que
a de B . Escrevemos, ainda, A  B se existe uma função sobrejetiva f : A ® B .
Dizemos, neste caso, que a cardinalidade de A é maior do que a de B .
Um conjunto A é dito finito se existe um número natural n e uma função
bijetiva
f :{1,, n} ® A.
O número n é chamado cardinalidade, ou número de elementos de A .
Usamos a seguinte notação:
|A|= n = número de elementos de A .
A seguir, faremos algumas observações para o caso em que os conjuntos A
e B são finitos.

Teorema 4: Sejam A e B conjuntos finitos.

1. A ~ B se, e somente se, |A|=|B |.
2. A  B se, e somente se, |A|£|B |.
3. A  B se, e somente se, |A|³|B |.

Demonstração: (1) A:B se, e somente se, existe uma funçao bijetiva
f : A ® B . Como A é finito, existe um número natural n e uma função bijetiva
g :{1,, n} ® A . A função
f  g :{1,, n} ® B
sendo a composta de duas funções bijetiva também uma função bijetiva. Logo
|B |= n =|A|.

AULA 2 TÓPICO 3 45
 Reciprocamente, se |A|=|B |= n , então existem funções bijetivas
f :{1,, n} ® A e g :{1,, n} ® B . Assim, a função g  f -1 : A ® B é uma
bijeção, o que mostra que A:B.
(2) Suponha, primeiro, que A  B . Neste caso, existe uma função injetiva
f : A ® B . Supondo que |A|= m e |B |= n , existem bijeções g :{1,, m} ® A
e h :{1,, n} ® B . Assim, a função composta h-1  f  g :{1,, m} ® {1,, n} é
injetiva (pois é a composta de três funções injetivas). Denotando F = h-1  f  g ,
temos {F (1),, F (m )} Í {1,, n} , e, como F é injetiva, {F (1),, F (m )} possui m
elementos. Concluímos daí que m £ n .
Reciprocamente, se |A|= m £ n =|B |, então existem bijeções
f :{1,, m} ® A e g :{1,, n} ® B . Como m £ n , existe uma função injetiva
I :{1,, m} ® {1,, n} , dada por I (k ) = k , para 1 £ k £ m . Assim, a função
composta g  I  f -1 : A ® B é injetiva (pois é composta de funções injetivas) e,
daí, A  B .
(3) O argumento é similar ao usado no item (2). Veja a tarefa 4.
Passemos, agora, a considerar conjuntos infinitos. Um conjunto infinito A
é dito enumerável é equivalente ao conjunto  ={1,2,,} dos números naturais,
isto é, se existe uma função bijetiva f :  ® A . Um conjunto A é chamado
contável se for finito ou se for enumerável.
O exemplo evidente de conjunto enumerável é o próprio conjunto  dos
números naturais. Entretanto, é surpreendente que exista um conjunto infinito X
equivalente a um subconjunto próprio Y Ì X , como veremos no exemplo a seguir.
Exemplo: O conjunto 2 ={2,4,6,} dos números naturais pares é um
subconjunto de  equivalente a  . De fato, a função f :  ® 2 , dada por
f (n) = 2n é bijetiva, logo 2 :  .
Um fato ainda mais surpreendente é que os conjuntos  e  sejam
equipotentes. Este é o resultado do Teorema a seguir.

Teorema 5: O conjunto  dos números racionais é enumerável.

Demonstração: Primeiramente, vamos mostrar que o conjunto + formado

pelos números racionais positivos é enumerável. Lembremos que o conjunto +
é formado por frações do tipo a , com a e b números naturais. Podemos, ainda,
b
supor que a fração a é irredutível, o que significa que o máximo divisor comum
b
entre a e b é igual a 1, ou seja, a e b não têm fatores comuns.

46 Análise Real
 Para cada n Î  , seja An o subconjunto de  dado por

{a
b
a
An = Î + / éirredutívele a + b = n + 1 .
b }
1 1 2 1 3
Por exemplo: A1 ={ } , A2 ={ , } , A3 ={ , } . Observe que 2 Î / A3
1 2 1 3 1 2
1 2 3 4 5 6
pois 2 não é uma fração irredutível. Mais dois exemplos: A6 ={ , , , , , } ,
2 6 5 4 3 2 1
1 3 5 7
A7 ={ , , , } .
7 5 3 1
Afirmamos que
+ = An
nÎ

e que esta união é disjunta. De fato, dado um número racional positivo, podemos

escrevê-lo na forma irredutível, digamos a . Então a Î An , onde n = a + b - 1 .

b b
a c a c a c
Além disso, se = , com Î Am e Î An , então = implica a = b e c = d ,
b d b d b d
pois estas frações são irredutíveis. Assim, m = a + b - 1= n . Isso mostra que, se
m ¹ n , então Am Ç An = Æ .
Observemos, ainda, que An é finito para cada n Î  . Seja, agora,
1 1 2
f :  ®  nÎAn = + , dada por: f (1) = Î A1 , f (2) = Î A2 , f (3) = Î A2 e, em
1 2 1
geral, An ={ f (k ), f (k + 1),, f (m )} , onde k =|A1 |++|An-1 |+1 e m = k+|An |,
para cada n ³ 2 . Como todos os elementos de cada An são distintos e dois conjuntos
Ai e Aj , com i ¹ j , são distintos, temos que a função f é injetiva. Além disso,
como a união dos conjuntos An , n ³ 1 é igual ao conjunto + , a função f é
sobrejetiva. Mostramos, assim, que a função f :  ® + , dada acima, é bijetiva.
Logo  é enumerável.
Seja, agora, - o conjunto dos números racionais negativos. A função
g : + ® - , dada por g (r ) = -r , é uma bijeção, logo + e - são equipotentes
e, portanto, - também é enumerável.
O conjunto dos números racionais pode ser escrito como uma união
 = - È {0} È + . Como - e + são enumeráveis, podemos escrever
- ={a1 , a2 ,}e + ={b1 , b2 ,}.
Consideremos, então, a função F :  ®  , dada por, F (1) = 0 e, para cada
k ³ 1 , F (2k ) = bk e F (2k + 1) = ak . Esta função é bijetiva (veja a tarefa 5). Desta
forma, o conjunto Q dos números racionais é enumerável.
Um conjunto infinito A é dito não-enumerável, se não existe uma bijeção
f :  ® A . Nosso próximo passo é demonstrar que o conjunto dos números reais

AULA 2 TÓPICO 3 47
 não é enumerável. Primeiramente, mostraremos que o conjunto dos números reais
é equipotente ao conjunto dos pontos do intervalo aberto (0,1) .

2x - 1
Lema: A função f : (0,1) ®  , dada por f (x ) = , é bijetiva.
x(1 - x )
Consequentemente, os conjuntos (0,1) e  são equipotentes.

2x - 1 x 2 + (x - 1)2
Demonstração: A derivada da função f (x ) = é f ¢( x ) = 2 .
x(1 - x ) x (x - 1)2
Logo, f ¢(x ) > 0 , para todo x Î (0,1) , o que mostra que a função f (x ) é monótona
crescente, portanto injetiva, no intervalo (0,1) .
Para demonstrar a sobrejetividade de f , basta notar que
2x - 1
lim+ f (x ) = lim+ = -¥
x®0 x ® 0 x (1 - x )

e, por outro lado,

2x - 1
lim- f (x ) = lim- = +¥.
x ®1 x ®1 x (1 - x )

Sendo assim, há uma bijeção entre o intervalo (0,1) e a reta  , o que mostra
que os conjuntos (0,1) e  são equipotentes.

Teorema 6: O conjunto  dos números reais é não-enumerável.

Demonstração: Vamos demonstrar que o conjunto (0,1) , formado pelos

números reais maiores do que zero e menores do que 1, é não-enumerável. Isso
mostra que  é não-enumerável, pois  e (0,1) são equipotentes.
Suponhamos, por absurdo, que (0,1) seja enumerável, isto é, (0,1) ={x1 , x2 ,}.
Podemos escrever cada xi usando sua representação decimal:
xi = 0, ai1ai 2 ai 3 
onde aij Î {0,1,2,3,4,5,6,7,8,9} é um algarismo e podemos supor que esta
representação decimal é infinita. Devemos observar que, caso um número tenha
representação decimal finita, como 0,5 , podemos escrever 0,5 = 0,499 .
Se dois números xk , xi Î (0,1) têm a mesma representação decimal infinita,
então xk = xi . De fato, se xk = 0, ak1ak 2  e xi = 0, ai1ai 2  , então
¥ a ¥ a
xk = å j e xi = å j .
kj ij

j =1 10 j =1 10
Se as representações decimais infinitas de xk e xi coincidem, então akj = aij ,
para todo j ³ 1 . Assim, concluímos que xk = xi .

48 Análise Real
 Usaremos, agora, uma ideia de Cantor conhecida como método da diagonal.
Vamos construir um número x Î (0,1) que não pertence à lista x1 , x2 , x3 , . Para tal,
consideremos x = 0, a1a2a3  onde ai ¹ aii , ou seja, ai é um algarismo diferente
daquele que ocupa a casa decimal i do número xi . Mais especificamente, podemos
escolher ai =1 , se aii ¹ 1 e ai = 2 se aii =1 . Assim, construímos um número
x Î (0,1) cuja representação decimal infinita é diferente da representação decimal
infinita de qualquer elemento da lista x1 , x2 , . Isso mostra que vale a inclusão
{x1 , x2 ,} Ì (0,1) e que estes conjuntos não podem ser iguais, ou seja, (0,1) é não-
enumerável.
Com este resultado encerramos o terceiro e último tópico de nossa segunda
aula. Vimos que o conjunto dos números racionais é enumerável e que o conjunto
dos números reais é não-enumerável. Isto estabelece uma diferença entre  e 
como conjuntos. Este fato também esclarece um ponto importante: os números
irracionais, que historicamente surgiram como exceção, são, na realidade, maioria
entre os reais, no seguinte sentido: o conjunto  -  , sendo o complementar
de um conjunto enumerável em um conjunto não-enumerável, é também não-
enumerável, caso contrário, se  -  fosse enumerável, então  =  È (  - ) ,
sendo a união de dois conjuntos enumeráveis, seria também enumerável, o que
não ocorre. Desta forma é possível concluir que os conjuntos  e  -  são
equipotentes, ou seja, há tantos números irracionais quanto números reais.

AULA 2 TÓPICO 3 49
 AULA 3 Sequências e
séries

Olá, aluno (a),

Nesta aula, iniciaremos o estudo de funções de variáveis reais com imagem no

conjunto dos reais. De início, tomaremos como domínio o conjunto dos naturais,
embora, nesse caso, o domínio seja um conjunto simples e com menos elementos
que a imagem. No entanto, já poderemos ver resultados bem interessantes
e exemplos de funções as quais você, aluno, teve oportunidade de estudar no
ensino médio.

As sequências e séries proporcionam grandes aplicações na Física e nas

engenharias, como, por exemplo, as séries de Fourier e de Bessel. No tópico 1,
daremos alguns exemplos e definições; no tópico 2, veremos as propriedades
e teoremas sobre sequências; no tópico 3, veremos as sequências com limites
infinitos e analisaremos alguns exemplos; no tópico 4, falaremos sobre séries e
abordaremos também os testes de convergências sobre séries e exemplos

Bons estudos!

Objetivos

• Definir sequências e séries numéricas

• Identificar as propriedades das sequências e séries
• Reconhecer os principais teoremas sobre sequências e séries
• Estabelecer relação entre teoria e prática

50 Análise Real
TÓPICO 1 Definição de sequência
O bjetivos
• Identificar a noção de valor absoluto e suas propriedades
mais relevantes
• Perceber a possibilidade de existirem vários valores abso-
lutos definidos em um corpo ordenado
• Desenvolver a noção de espaço métrico a partir da noção
de valor absoluto sobre os reais

N este tópico, iniciaremos o estudo de sequência. Começamos

definindo o conceito de sequência de números reais. Em seguida,
introduziremos as propriedades e os principais teoremas. Teremos
também a oportunidade de desenvolver algumas aplicações.
O estudo de sequências remonta desde o século V antes de Cristo, quando
Zenão de Elea (490 – 425 a. C.) propôs quatro paradoxos que mostravam a
impossibilidade de se descrever por meio de números o movimento contínuo. Esses
quatro paradoxos são: a dicotomia, o de Aquiles e a Tartaruga, o do Flecha e o do
Estádio.
No problema de “Aquiles e a tartaruga”, Zenão indagava se seria
possível Aquiles alcançar uma tartaruga, quando esta se deslocava.
Ele concluiu que a cada ponto que Aquiles chegasse já não alcançaria a
tartaruga porque ela teria se deslocado para outro ponto. Hoje sabemos que
esse problema resulta em uma sequência ou soma de termos infinitos. Nos
trabalhos de Arquimedes sobre o cálculo de áreas sob as curvas quadráticas,
também surge a ideia de sequências. Com a descoberta do cálculo feita por
Figura 1: Zenão de Elea Newton e Liebniz, o estudo de sequências obteve um grande impulso no
seu desenvolvimento.

AULA 3 TÓPICO 1 51
 Definição 1: Uma sequência é uma função com domínio no conjunto dos
números naturais e toma valores (ou imagem) no conjunto dos números reais.
Assim, temos
x: → 
n → x ( n) =
xn
Podemos ver uma sequência como uma lista de números reais em uma
dada ordem:
x1 , x2 , …, xn , …
onde o termo xn é chamado de termo geral ou n-ésimo termo da sequência.

Daqui em diante usaremos a seguinte

notação para representar uma sequência
( xn ) n∈ = ( xn ) n≥1 e muitas vezes só sai b a mai s !
representaremos por ( xn ) . O conjunto de seus
Obtenha mais informações sobre o filósofo
termos será representado por {xn } ⊂  .
Zenão de Elea acessando o link http://www.
Vejamos alguns exemplos de sequências:
mundodosfilosofos.com.br/zenao.htm

Exemplo 1: (um exemplo tratado no

ensino médio) Uma PA é uma sequência em
que cada termo a partir do segundo é obtido
adicionando uma constante ao termo anterior.
xn +=
1 xn + r ate n ç ão !
r é chamado de razão da PA.
O aluno do ensino médio toma o primeiro contato
Uma PG é uma sequência, em que cada
com um tipo bem especial de sequência quando
termo a partir do segundo é obtido multiplicando-
estuda PA e PG.
se uma constante q , isto é,
xn +1 = xn .q
em que q é a razão da PG.

1
Exemplo 2: x :  →  cujo termo geral é dado por: x(n=
) x=
n . O
n
1 1 1 1
conjunto de seus termos é dado por: {1, , , , …, , …} . E o gráfico do conjunto
2 3 4 n
dos seus pontos na imagem é dado abaixo. Como você pode perceber na Figura 2,
esses pontos tendem para zero quando n cresce arbitrariamente.

52 Análise Real
 1
Figura 2: Gráfico da função x(n=
) x=
n
n

Exemplo 3: x :  →  dado por xn = n , cujo conjunto dos termos é

{1, 2,3, …, n, …} que é o conjunto dos naturais (na realidade você pode ver que
xn Id
= = (n) n é a função identidade). Já neste caso os pontos tendem para pontos
arbitrariamente grandes.

Figura 3: Gráfico da função xn = n

Nem toda sequência x :  →  pode ser apresentada como uma expressão
vista nos exemplos acima.
Exemplo 4: Para a sequência dos números que representa o π , dado por
x1 3,=
= x2 3,1,=
x3 3,14,=
x4 3,141,=
x5 3,1415,=
x6 3,14159 … , não existe
fórmula que possa representá-la.
Há, todavia, expressões diferentes que tendem para o mesmo número real
como veremos a seguir.

AULA 3 TÓPICO 1 53
 1 1 1 1
Exemplo 5: xn= (1 + ) n e yn = 1 + + +…+ .
n 2! 3! n!
O principal fato a ser analisado sobre uma sequência é verificar se ela tende
ou não para um número real fixo. No primeiro caso, dizemos que a sequência é
convergente; no segundo, dizemos que é divergente. Podemos, então, enunciar a
seguinte definição.

Definição 2: Dizemos que uma sequência x = ( xn ) n≥1 converge para um

número real a , ou tem limite o número real a , se dado ε > 0 pode-se en-
contrar n0 ∈  tal que para todo n ≥ n0 implica que∣xn − a∣< ε . Em termos
simbólicos tem-se
∀ε > 0, ∃n0 ∈  : ∀n ≥ n0 ⇒∣xn − a∣< ε
Denotaremos a definição acima simbolicamente da seguinte forma:
lim n→∞ xn = a ou xn → a
Quando uma sequência não for convergente, dizemos que é divergente e
representamos por: lim n→∞ xn = ∞ .

Vamos agora aplicar a definição dada acima

para mostrar que a sequência do Exemplo 2
tende a zero, isto é, xn → 0 . De fato, dado ò > 0
arbitrário, escolha n0 ∈  tal que n0 > 1/ ò ate n ç ão !
(um tal n0 pode ser escolhido de acordo com o
Podemos afirmar, com base na definição dada
Princípio de Arquimedes). Se n ≥ n0 então
1 1 anteriormente, que o número real a ∈  é o
xn − 0 = xn = ≤ < 
n n0 limite da sequência x = ( xn ) n≥1 se, somente se,
Um dos fatos que necessitamos mostrar é
para cada ε >0 o conjunto
se uma sequência tem apenas um único limite.
x (a −  , a +  ) = {n ∈  : xn ∈ (a −  , a +  )}
−1

Esse resultado garante que, não importa de tem o complemento finito em  .

que maneira tentemos calcular o limite de uma
sequência, ele será sempre o mesmo.

lim n→∞ xn ae
Teorema 1: Se= =lim n→∞ xn b , então a=b .

a−b
Demonstração: Seja dado  = > 0 , então existe n0 ∈  tal que para
2
todo n1 ≥ n0 implica que . E para todo n2 ≥ n0 também implica que xn − b < / 2 .

54 Análise Real
Agora considere n = mín{n1 , n2 } , então para todo n ≥ n0 implica que
a−b
a − b = a − xn + xn − b ≤ xn − a + xn − b <  =
2
∣a − b∣
o que dá um absurdo, pois teríamos∣a − b∣< .
2
Dizemos que uma sequência ( xn ) n≥1 é injetiva se n ≠ m implica que xn ≠ xm ,
ou ainda que xn = xm ⇒ n = m . Neste caso, diremos que a sequência tem termos
dois a dois distintos.

Definição 3: Diz-se que uma sequência ( xn ) n≥1 é:

Limitada Superiormente quando existe um número real b tal que
xn ≤ b, ∀n ∈  .
Limitada Inferiormente quando existe um número real tal que a ≤ xn ,
∀n ∈  .
Limitada quando é limitada superiormente e inferiormente, ou seja, quando
existem a, b ∈  tais que xn ∈ [a, b] para todo n ∈  . Observem que podemos
{ a ∣∣
tomar∣xn∣≤ c , onde c = máx∣∣ , b }.

Vejamos um exemplo de uma sequência limitada, mas que não é convergente.

Exemplo 6: Considere a sequência xn = (−1) n é óbvio que ∣xn∣≤ 1 é uma

sequência limitada, porém não é convergente. Suponha, por absurdo, que ela
converge, ou seja, xn → a para um certo a ∈  . Então, dado  = 1 / 2 > 0 , por
definição existe n0 ∈  tal que se n > n0 , portanto xn − a <  = 1 / 2 . No entanto,
para cada n , temos
(1) xn − xn+1 ≤ xn − a + a − xn+1 <  +  = 1
E por outro lado, segue que
(2) xn − xn+1 = (−1)n − (−1)n+1 = 2
e de (1) e (2) acima chegamos na contradição 2 < 1 . Dessa forma, concluímos que a
sequência não é convergente.

Definição 4: Dada uma sequência ( xn ) n≥1 , uma subsequência da sequência

( xn ) n≥1 é a restrição da função x :  →  a um subconjunto infinito  ' ⊂ 
dos naturais, em que  ' = {n1 < n2 <  < nk < } e denotaremos por ( xnk ) k∈ .

AULA 3 TÓPICO 1 55
 Dado a ∈  , temos que a é o limite de uma subsequência ( xnk ) k∈
de ( xn ) n≥1 se, somente se, para todo  > 0 , o conjunto dos índices n tais que
xn ∈ (a −  , a +  ) é infinito. E podemos dar a definição.

Definição 5: Dada uma sequência ( xn ) n≥1 , chamamos de valor aderente da se-

quência ( xn ) n≥1 ao número real a ∈  que é o limite de uma subsequência
( xnk ) k∈ ⊂ ( xn ) .

Conforme o exemplo anterior, uma sequência pode ser limitada e não ser
convergente. Veremos, entretanto, que há tipos de sequências cuja limitação
garante que é convergente. Por enquanto, segue o seguinte teorema.

Teorema 2: Se ∣xn∣≤ c é uma sequência limitada e lim n→∞ yn = 0 , então

lim n→∞ xn yn = 0 .

Demonstração: Dado  > 0 arbitrário, seja∣xn∣≤ c e existe n0 ∈  tal que


yn < para todo n ≥ n0 , uma vez que o limite lim n→∞ yn = 0 . Então
c
ε
∣xn y=n∣∣xn∣∣yn∣≤ c. <ε
∣∣c
Ou seja, dado  > 0 , mostramos que existe n0 ∈  tal que para todo n ≥ n0
implica xn yn < . Isso quer dizer que lim n→∞ xn yn = 0 como queríamos provar.

Teorema 3: Toda sequência convergente é limitada.

Demonstração: Com efeito, dado  > 0 qualquer existe n0 ∈  tal que para
todo n ≥ n0 implica que xn − a <  ⇔ xn ∈ (a −  , a +  ) . Isso nos diz que, a partir
do índice n0 + 1 , a sequência é limitada inferiormente por a - e superiormente
por a + . Então, tomando M = min {x1 , x2 ,…, xn0 , a −  , a +  } e, segue que
}
M = max {x1 , x2 ,…, xn0 , a −  , a +  m ≤ xn ≤ M , ∀n ≥ n0 .

56 Análise Real
TÓPICO 2 Operações com sequências
O bjetivos
• Entender as operações com sequências
• Compreender a definição de subsequência
• Conhecer as propriedades de sequência

N este tópico, trataremos de algumas operações sobre as sequências,

definições e a noção fundamental de subsequências e de suas
propriedades.
Inicialmente, vejamos um teorema que estabelece as principais operações
sobre as sequências

Teorema 4: Sejam lim n→∞ xn = a e lim n→∞ yn = b sequências conver-

gentes, então temos:
a) lim n→∞ ( xn + yn ) =lim n→∞ xn + lim n→∞ yn =a+b
b) lim n→∞ ( xn − yn ) =lim n→∞ xn − lim n→∞ yn =a −b
c) lim n→∞ ( xn . yn ) (lim
= = n →∞ xn ).(lim n →∞ yn ) a.b
xn lim n→∞ xn a
d) lim=n →∞ ( ) = , desde que lim n→∞ yn= b ≠ 0
yn lim n→∞ yn b

Demonstração:
a) Dado  > 0 , existem n1 , n2 ∈  tais que:

∀n ≥ n1 ⇒ xn − a < (i)
2

∀n ≥ n2 ⇒ yn − b < (ii)
2
Tomando n0 = máx{n1 , n2 } , então para todo n ≥ n0 implica de (i) e (ii) que
 
(xn + yn ) − (a + b) ≤ xn − a + yn − b < + = 
2 2

AULA 3 TÓPICO 2 57
 E, desse modo, estamos de acordo com a definição que
lim n→∞ ( xn + yn ) =a+b .
b) É análoga ao item a).
c) Por hipótese, temos que xn → a e yn → b e, portanto,∣yn∣≤ M ; então
xn yn − ab = (xn − a ) yn + a( yn − b) ≤ xn − a . yn + a . yn − b o que resulta na
desigualdade
 
≤ M. xn − a + a . yn − b ≤ M. +a. ≤
2.M 2. a
 ε
uma vez que podemos tomar xn − a ≤ e∣yn − b∣≤ , pois as sequências
2.M 2.∣∣a
xn → a e yn → b .
d) Deixaremos como exercício para o aluno.

Vamos definir algumas sequências que serão importantes no decorrer do

curso e nos possibilitarão ver outros resultados.

Definição 6:
Diz-se que uma sequência ( xn ) n≥1 é crescente quando xn < xn +1 , ∀n ∈  ,
ou seja, x1 < x2 < x3 <  < xn <  . Se xn ≤ xn +1 , ∀∈  , a sequência é dita
não-decrescente.
Uma sequência ( xn ) n≥1 é decrescente quando xn > xn +1 , ∀n ∈  , isto é,
x1 > x2 >  xn >  . Agora, se xn ≥ xn +1 , ∀n ∈  , dizemos que a sequência
é não-crescente.

Caro aluno, denominaremos os casos i) e ii) definidos acima como sequências

monótonas. Assim, podemos enunciar o seguinte teorema.

Teorema 5: Toda sequência monótona limitada é convergente.

Demonstração: Sem perda de generalidade, podemos supor que ( xn ) n≥1 é

não-decrescente, ou seja, xn ≤ xn +1 , ∀n ∈  . Seja c ∈  tal que xn ≤ c, ∀n ∈  é
=
limitada e tomemos a Sup { xn : n ∈ } . Vamos mostrar que lim n→∞ xn = a . De
fato, dado  > 0 , como a −  < a , temos que a - não pode ser cota superior do
conjunto dos termos da sequência. Logo, existe n0 ∈  tal que a −  < xn0 ≤ a ,
como xn ≥ xn0 para n ≥ n0 tem-se que a −  < xn0 ≤ xn ≤ a < a +  , ∀n ≥ n0 , ou
seja, lim n→∞ xn = a .

58 Análise Real
 Exemplo 7: No exemplo 5, consideramos uma importante sequência
1
xn= (1 + ) n que define o número irracional e base dos logaritmos naturais. A
n
primeira vez que se teve notícia do surgimento desse número foi em um problema
de juros compostos contínuos (séc. XVII). Assim, temos que
1
= e lim n→∞ (1 + ) n
n
Vamos mostrar que a sequência ( xn ) n≥1 dada acima é limitada e crescente e,
portanto, pelo Teorema 5, é convergente. De acordo com fórmula do binômio de
Newton,
∑ n(n − 1)…(n − [k − 1]) . 1 (1)
n
1 n
n 1
xn =+
n
∑
(1 ) n =   k =
k =1  k  n
1 + k =1
k! nk
n
1  1   2   k − 1  (2)
1 + ∑.
xn = 1 −  1 −  1 − 
k =1 k ! n  n   n 
Se substituirmos n por n + 1 na expressão (2) acima, temos
n +1

1+
∑ 1
. 1 −
1  2   k −1 
xn +1 =  1 −  1 −
k =1

k !  n +1   n +1   n +1 
Se desprezarmos o último termo na expressão acima, estaremos somando
até o termo k = n , como em (2). Observe que cada termo que aparece acima entre
parênteses é maior que os termos em (2), donde concluímos que xn +1 > xn , ou seja,
a sequência é crescente. Para provarmos que ela é limitada, basta observarmos que
cada parêntese que surge em (2) é menor do que 1, de maneira que, para n > 1 ,
segue que
∑
n
11 1 1 1 1
xn < k =1
=2 +
+  + < 2 + + 2 +  + n −1 < 3
k! 2! n! 2 2 2
1
Ora, sendo crescente e limitada, a sequência xn= (1 + ) n tem limite pelo
n
Teorema 5 anterior.
O resultado que enunciamos a seguir é bastante importante, mas não será
dada a demonstração. Convidamos você, aluno, a vê-la nas referências que são
dadas.

Proposição 1 (Bolzano - Weierstrass): Toda sequência limitada de números

reais possui uma subsequência convergente.

AULA 3 TÓPICO 2 59
 O aluno pode perceber que essa afirmação é mais forte que a dada no
Teorema 5. Foi tentando prová-la que o matemático K. Weierstrass (1815 – 1897)
viu a necessidade de fundamentar o conceito de números reais.

Definição 7: Uma sequência ( xn ) n≥1 é chamada de sequência de Cauchy

quando, para todo  > 0 dado, existir n0 ∈  tal que xm − xn < para
quaisquer que sejam m, n > n0 .

Teorema 6 (Cauchy): Uma sequência ( xn ) n≥1 é convergente se, e somente se,

é de Cauchy. Ou seja, uma sequência de Cauchy é uma condição necessária e
suficiente para ser convergente.

Demonstração: Iremos fazer a

demonstração do teorema de Cauchy. Provaremos
primeiramente que a condição é necessária. Ou
ate n ç ão !
seja, se xn → a , então vale a definição 6. De
fato, dado  > 0 existe n0 ∈  tal que m > n0 Um corpo Κ (como exemplo  ) é dito completo
e n > n0 implica xm − a < / 2 e xn − a < / 2 . quando toda sequência de Cauchy em Κ é
Daí e da desigualdade triangular, temos que convergente. O teorema acima é válido, pois os
xm − xn = (xm − a ) + (a − xn ) <  / 2 +  / 2 =  números reais é completo. Mas, veja que em ,
o que prova que a sequência é de Cauchy. se tomarmos uma sequência de números racionais

Para provarmos que a condição é convergindo para 2 ∉  ela será de Cauchy,

pois não irá convergir em  , uma vez que os
suficiente, admitiremos a hipótese de Cauchy
racionais não é um conjunto completo.
e provaremos que a sequência é convergente.
Queremos mostrar que xn → a . Ora, uma vez
que a sequência é de Cauchy, temos que a sequência é limitada. De fato, tomando
m= n0 + 1 , teremos que xn +1 − xn < , logo xn +1 −  < xn < xn +1 +  , donde se
0 0 0

conclui que a sequência é limitada. Então, pelo Teorema de Bolzano-Weierstrass,

temos uma subsequência ( xnk ) que converge para um certo a e, portanto,
xnk − a < / 2 para nk > n0 . Assim, usando este fato e a desigualdade triangular,
obtemos que

xn − a = (xn − xnk ) + (xnk − a ) ≤ xn − xnk + xnk − a <  / 2 +  / 2 = 

e isso mostra que a sequência é convergente.

60 Análise Real
 Uma sequência ( xn ) de Cauchy pode ser apresentada numa maneira
equivalente à apresentada na definição 6, anterior como: dado  > 0 , existe
n0 ∈  tal que para todo p ∈  ,
n > n0 ⇒ xn − xn+ p < 

Como sabemos do teorema anterior, as sequências de Cauchy são

convergentes. Esse tipo de sequência surgiu quando os matemáticos no século XVIII
tentavam processos numéricos para resolver equações. Por exemplo, a equação
x3 − 9x + 2 = x ( x3 + 2) / 9 ou, ainda,
0 pode ser escrita na forma equivalente =
3
x +2
x = f ( x) , onde f ( x) = . Dessa forma, pode-se construir uma sequência
9
numérica infinita, tomando inicialmente um certo valor x1 e em seguida tomar-se:

x2 = f ( x1 ), x3 = f ( x2 ), …, xn +1 = f ( xn ), …
O que se quer provar é se a sequência é de Cauchy, pois nesse caso temos que
é convergente para um certo x0 , que é solução da equação dada. Vejamos a seguir
um exemplo de uma aplicação dessa ideia que são as aproximações sucessivas.

Exemplo 8 (Aproximações Sucessivas): Seja dado 0 ≤ λ < 1 e suponhamos

que a sequência ( xn ) n≥1 satisfaz a seguinte condição:

∣xn + 2 − xn +1∣≤ λ∣xn +1 − xn∣, ∀n ∈ 

Então,∣xn +1 − xn∣≤ λ n −1∣x2 − x1∣, para todo n ∈  .
Com efeito, para n = 1 , temos que a desigualdade é válida como
se ∣xn +1 − xn∣≤ λ ∣x2 − x1∣,
n −1
você pode ver trivialmente. E então
∣xn + 2 − xn +1∣≤ λ∣xn +1 − xn∣≤ λ ∣x2 − x1∣. Deste modo, para m, p ∈  arbitrários,
n

segue que
∣xn + p − xn∣≤∣xn + p − xn + p −1∣+  +∣xn +1 − xn∣≤ (λ n + p −1 + λ n + p − 2 +  + λ n −1 )∣x2 − x1∣(1)

=(1) λ n −1 (λ p −1 + λ p − 2 +  + λ + 1)∣x2 − x1∣(2)

1− λ p λ n −1
= (2) λ n −1. ∣x2 − x1∣≤ ∣x2 − x1∣
1− λ 1− λ
limλ n −1
Assim, como 0 , dado  > 0 , existe n0 ∈  tal que
∣x2 − x1∣=
1− λ
l n−1
0≤ x2 − x1 <  para todo n > n0 . Logo xn+ p − xn < para todo p ∈  e
1−l
n > n0 , ou seja, xm − xn < para quaisquer que sejam m, n > n0 . E portanto, a
sequência ( xn ) n≥1 é de Cauchy e concluímos que é convergente.

AULA 3 TÓPICO 2 61
 TÓPICO 3 Sequências com limites
infinitos
O bjetivos
• Reconhecer uma sequência com limite infinito
• Calcular os limites infinitos de algumas sequências
• Rever as propriedades de sequências com limites infinitos

N este tópico, trataremos de

sequências que não
convergentes, mas têm certa
regularidade, ou seja, os seus limites tornam-
se ou mantêm-se arbitrariamente grandes
são

ate n ç ão !
Com limites infinitos para sequências, podemos
positivamente.
Como foi mencionado no tópico 1, nem
obter coisas indeterminadas, como ∞ −∞,
ou seja, se limxn = +∞ e limyn = −∞ . Nada
toda sequência ( xn ) é convergente. Dessa forma,
podemos afirmar sobre lim( xn + yn ) , pois pode
há sequências que divergem e mantêm certa
ser que a sequência ( xn + yn ) seja convergente,
regularidade, pois seus termos permanecem
ou tenda para +∞ , ou tenda −∞ , ou finalmente
arbitrariamente grandes positivamente ou
não tenha limite algum.
arbitrariamente grandes negativamente.
Quando uma sequência de números reais
( xn ) torna-se arbitrariamente grande positivamente ou tende para mais infinito, a
denotaremos por limxn = +∞ . Assim, dado M > 0 arbitrariamente grande, temos
um n0 ∈  tal que n > n0 que implica xn > M . Há apenas um número finito de
termos ( xn ) tal que xn < M . Na realidade, n0 termos.

Exemplo 9: Como vimos no exemplo 3, a sequência xn = n (e observamos

o seu gráfico) trivialmente tem lim n→∞ xn = +∞ . E também a sequência xn = a n

62 Análise Real
tende para o infinito quando a > 1 . Como, de fato, seja a = 1 + r , com r > 0 , dado
M > 0 , pela desigualdade de Bernoulli, temos que a n = (1 + r ) n > 1 + nr > M .
M −1 M −1
Basta tomar n > . Assim, se tomarmos n0 > e n > n0 , teremos o que
r n r
queríamos, ou seja, a > M . De acordo com o que vimos anteriormente, segue
que lima n = +∞ .
Analogamente, pode-se enunciar que limxn = −∞ . Se dado M > 0
arbitrariamente grande existe n0 ∈  tal que n > n0 ⇒ xn < − M . Como você
pode perceber, limxn = −∞ ⇔ lim(− xn ) = +∞ . Desse modo, mostraremos
somente o caso em que a sequência tende para o infinito positivamente; o outro
caso você poderá obter trivialmente dessa observação feita. Enfatizamos que os
símbolos +∞ e −∞ não são números reais. Vejamos algumas propriedades para a
operação com limites infinitos.

Teorema 7 (Operações com Limites Infinitos):

Se limxn = +∞ e ( yn ) é limitada inferiormente, então lim( xn + yn ) = +∞ ;
Se limxn = +∞ e existe b > 0 tal que yn > b para todo n ∈  , então
limxn . yn = +∞ ;
1
Seja xn > 0∀n ∈  , então limxn = 0 ⇔ lim = +∞ ;
xn
Sejam ( xn ) e ( yn ) sequências de números positivos. Assim: (a) Se xn > c ,
x
∀n ∈  com c > 0 e limyn = 0 . Desse modo, temos que lim n = +∞ ; (b).
yn
xn
No entanto, se∣xn∣< c é limitada e limyn = +∞ , então lim = 0.
yn

Demonstração: Mostraremos apenas o item (4) e deixaremos para você as

outras demonstrações.
c
(4a) Seja dado M > 0 , existe n0 ∈  tal que n > n0 implica 0 < yn <
x c M
e, portanto, 1 > M . Assim, segue que n > n0 implica n > M , então
=
yn c yn c/M
x
lim n = +∞ .
yn
n∣ xn < c , uma vez que xn > 0 e é limitada.
(4b) Existe c > 0 tal que∣x=
c
Dado ò > 0 existe n0 ∈  tal que n > n0 implica que yn >uma vez que
ò
x c
limyn = +∞ . Dessa maneira, para n > n0 , temos que 0 < n < =
ò
xn yn c / ò
e então lim = 0.
yn

AULA 3 TÓPICO 3 63
 Exemplo 9: Se xn= n + a e yn = − n , então limxn = +∞ e limyn = −∞ ,
mas lim( xn + yn ) =
a.
Exemplo 10: Se x=
n n + 1 e yn = − n , então limxn = +∞ e limyn = −∞
.
Porém,
( n +1 + n ) 1
lim( xn +=
yn ) lim( n + 1 −=
n ) lim( n + 1 − n ). = lim = 0
( n +1 + n ) n +1 + n

Exemplo 11: Sejam xn = n 2 e yn = − n , então limxn = +∞ e limyn = −∞ ;

no entanto lim( xn + yn ) = lim(n 2 − n) = +∞ , pois n 2 − n= n(n − 1) > n , para
n ≥ 2 . Portanto, lim( xn + yn ) = −∞ .

Exemplo 12: Consideremos as sequências xn = n e yn =(−1) n − n , então é

óbvio que limxn = +∞ e limyn = −∞ . Porém a sequência ( xn + yn ) =
(−1) n não
possui limite como provamos no exemplo 6.
Há outras expressões indeterminadas que podemos analisar, tais como
∞,
∞
quando limxn = +∞ e limyn = +∞. Do mesmo modo, nada podemos afirmar sobre
o limite da sequência ( xn ) . Para finalizar este tópico, vejamos um exemplo que dá
yn
apenas uma ilustração desse resultado. Outros serão tratados nos exercícios.

Exemplo 13: Sejam xn= n + 1 e yn= n − 1 , então limxn = limyn = +∞ , mas

xn n +1 n(1 + 1/ n) 1 + 1/ n
lim(
= ) lim
= lim = lim= 1
yn n −1 n(1 − 1/ n) 1 − 1/ n

64 Análise Real
TÓPICO 4 Séries numéricas
O bjetivos
• Entender as somas infinitas de termos
• Fazer operações com somas infinitas
• Analisar a convergência ou não das séries numéricas

V ocê já está acostumado a fazer somas de dois termos x1 + x2 ,

três termos x1 + x2 + x3 e até mesmo n termos como:
sn = x1 + x2 +  + xn . As somas infinitas x1 + x2 +  + xn + 
são um assunto com o qual você tomou contato apenas como um caso simples que
é o caso das somas de uma P.G. infinita. O nosso principal objetivo neste tópico é
leva-lo a entender as somas infinitas de termos bem gerais.
No ensino médio, o aluno deparou com somas do tipo:
n
1 + 1/ 2 + 1/ 4 +  + 1/ 2 +  e aprendeu como calcular a soma desses termos
infinitos. Aqui vamos iniciar um estudo mais completo sobre essas somas, que
chamamos de séries numéricas. Uma série numérica é uma soma infinita que
representamos por:
∞

∑x
n =1
n = x1 + x2 +  + xn + 
onde os termos xn são números reais dados. E xn é chamado de termo geral da série.
A partir da sequência ( xn ) de números reais, podemos formar uma nova sequência
( sn ) , onde sn = x1 + x2 +  + xn . Chamamos os números sn de reduzidas da série
ou soma parcial da série. Se a sequência ( sn ) tiver um limite limsn = s , dizemos
∞ ∞
que a série ∑xn é convergente e s = ∑xn = x1 + x2 +  + xn +  = limsn , s será
n =1 n =1 ∞
a soma da série. No caso do limite limsn não existir, diz-se que a série ∑x
n =1
n é

divergente. Você deve ficar atento, pois, às vezes, começaremos a série pelo termo
x0 em vez de x1 , por uma questão de conveniência.

AULA 3 TÓPICO 4 65
 1 − x n +1
Exemplo 14: Sabemos que 1 + x + x 2 +  + x n = , para todo n ∈ 
1− x
x n = 0 se ∣∣
(Pode ser provado por indução!). Ora, temos que lim∣∣ x < 1 , então
2 2 n 1
segue que limsn = lim(1 + x + x +  + xn ) =1 + x + x +  + x +  = .
1− x
Portanto, segue que a série anterior, que é chamada de série geométrica, é
convergente.

Exemplo 15: Agora, daremos um exemplo de uma série que não é

∞
convergente. Considere a série ∑(−1)
n =1
n +1
= 1 − 1 + 1 − 1 +  . Se considerarmos a
soma parcial sn , temos que essa soma é zero se n = par , ou seja, s2n = 0 e é
igual a 1, quando n = ímpar , isto é, s2n +1 = 1 . Portanto, ela é divergente, pois as
subsequências pares e ímpares da soma parcial convergem para valores distintos.
Uma sequência é convergente se toda subsequência converge para o mesmo valor.

Teorema 8: A série∑x converge se, somente se, dado ε > 0 existe n (ε )

n =1
n
m
0

(que pode depender de ε ) tal que∣∑x ∣< ε para todos m ≥ n > n .

i 0
i =n

Demonstração: A prova desse fato decorre do teorema sobre sequência de

Cauchy e deixamos para você fazer essa demonstração.
∞
Corolário 1: Se a série ∑x
n =1
n é convergente, então limxn = 0 , ou seja, o
termo geral tende para zero.
Demonstração: Basta tomarmos m = n e n= n − 1 no teorema anterior,
∣xn∣< ε para todo n > n0 o que decorre o corolário.
então como∣sn − sn −1∣=
∞
1
Exemplo 16: Vamos mostrar que a série harmônica ∑n
n =1
é divergente. De
2n
1 1 1 1 1 1 1 e pelo teorema 8, tomando
fato, seja ∑ i = n + n + 1 +  + 2n > 2n +  + 2n = 2
i =n
ò < 1/ 2 vemos que a série não é convergente.
Você pode ver com esse exemplo que a recíproca do corolário 1 não é
verdadeira. Podemos ter uma série divergente com o termo geral indo para zero. E
mais, que não precisamos ver o que ocorre com todos os termos de uma série; basta
olharmos o que acontece com finitos termos da série. Porém, o exemplo a seguir
restabelece o corolário, mostrando que se o termo geral xn da série não tende para
zero, então a série diverge (temos aqui a contrapositiva).

66 Análise Real
 n
∞
n n , como o termo geral x = n = n . n … n > 1
Exemplo 17: Seja a série ∑
n =1 n !
n
n! 1 2 n
para todo n > 1 , segue do corolário 1 do teorema 8 que a série é divergente.

Teorema 9 (Critério de Comparação): Sejam ∑x e ∑yn n séries de termos

não negativos. Se existem k > 0 e n0 ∈  tais que xn ≤ k . yn para todo
n > n0 , então a convergência de ∑ yn implica a convergência de ∑xn ea
divergência de ∑xn implica a divergência de ∑ yn .

n n
Demonstração: Sejam as somas parciais sn = ∑xi e tn = ∑y j tais que
i =1 j =1
sn ≤ k .tn , ∀n ∈  . Se tivermos que limtn = t , então sn ≤ k .t é crescente e limitada
para todo n ∈  ; logo, pelo teorema 5, é convergente. Por outro lado, se sn é
divergente, portanto é ilimitada e daí temos que tn ≥ sn / k é também ilimitada e
assim divergente.

Exemplo 18: Vamos usar o teorema anterior para mostrar que a série
1
∑ nr é divergente para r < 1 , pois como 1/ nr > 1/ n para todo n ∈  , então
1 1
∑ nr > ∑ n . Como a série harmônica é divergente, segue que a série dada
também diverge.

Teorema 10 (Séries Alternadas): Seja a série ∑(−1)

xn , com os termos n +1

não-crescentes, ou seja, x1 ≥ x2 ≥ x3 ≥ … ≥ xn ≥ … e limxn = 0 , a série

∑(−1)n+1 xn é convergente.
Demonstração: Basta considerarmos as reduzidas de
ordem par e ímpar da série ∑(−1) n +1
xn = x1 − x2 + x3 − x4 +… .
Seja s2n = ( x1 − x2 ) + ( x3 − x4 ) +…+ ( x2n −1 − x2n ) é formada por
termos positivos e não-decrescentes. E a reduzida de ordem ímpar
s2n +1 =x1 − ( x2 − x3 ) − ( x4 − x5 ) −… ( x2n − x2n +1 ) é não-crescente. Observemos
que s2n ≤ s2n +1 ≤ s1 e assim temos que possuem limites de acordo com o teorema
5. Então, seja lims2n = r e lims2n +1 = s , mas como lim=
s2n +1 lims2n + limx2n +1 e
limx2n +1 = 0 isso implica que r = s e, portanto, a série é convergente.

AULA 3 TÓPICO 4 67
 Teorema 11 (Teste da Razão ou Teste de D’Alembert): Seja dada a série
xn +1
∑x n e suponhamos que lim∣
xn
∣= r exista. Então: (a) a série é convergente
se r < 1 ; (b) a série diverge se r > 1 ; (c) e nada podemos afirmar se r = 1 .

xn +1
Demonstração: Vamos demonstrar que (a) sabemos que lim∣ ∣= r ,
xn
xn +1
segue que existe n0 ∈  tal que ∣ ∣≤ k para n ≥ n0 onde r < k < 1 . Dessa
xn
desigualdade obtemos as seguintes desigualdades abaixo:
. xn0∣
∣xn0 +1∣≤ k∣
. xn0 +1∣
∣xn0 + 2∣≤ k∣
. xn0 + 2∣
∣xn +3∣≤ k∣
0


. xn0 + p −1∣
∣xn + p∣≤ k∣
0

fazendo o produto dessas parcelas membro a membro, obtemos∣xn0 + p∣≤ k p∣xn0∣

e essa desigualdade mostra que a série ∑∣x ∣é limitada superiormente pela
n0 + p

série ∑∣x ∣.k n0

p
=∣xn0∣∑k p , que é convergente, pois 0 < k < 1 e, portanto,
concluímos que a série é convergente. Os outros casos deixamos para você
verificar.
Dizemos que uma série converge absolutamente, quando
∞ ∑∣x ∣ é uma n

série convergente. E quando a série ∑x é convergente, mas ∑∣x ∣ não é

n =1
n n

convergente, diz-se que a série é condicionalmente convergente. Um exemplo de

série condicionalmente convergente, mas que não é absolutamente convergente,
é a série alternada dada no teorema 10. Você deve verificar que toda série
absolutamente convergente é condicionalmente convergente.

∞
Teorema 12 (Teste da raiz ou Teste de Cauchy): Seja a série ∑x . Suponha
n =1
n

que o limite lim n∣xn∣= r exista. Então: (a) a série converge absolutamente se
r < 1 ; (b) a série diverge se r > 1 ; (c) e nada se pode afirmar quando r = 1 .

Demonstração: (a) Basta tomar n∣xn∣≤ k e isso existe porque a sequência

converge, com r < k < 1 . Disso segue que∣xn∣≤ k n para todo n ≥ n0 e, portanto,
a série é limitada superiormente por uma série convergente ∑k n
. Então ∑∣x ∣
n

é convergente e, portanto, absolutamente convergente. Os outros casos deixamos

para você verificar usando o teste de comparação.

68 Análise Real
 Esperamos que você tenha achado
interessantes os resultados de sequências e
séries que tratamos nesta aula. Recomendamos
sa i ba ma i s!
que procurem um livro de análise real para
Mais informações sobre sequências e séries acesse
que possam se aprofundar mais no assunto e
os links
ver resultados que, por falta de espaço neste
www.ime.uerj.br/~calculo/LivroV/series.pdf material, não deram para ser tratados aqui. Na
www.ufjf.br/sandro_mazorche/files/2010/08/ próxima aula, veremos uma pouco de noções
Séries.pdf topológicas na reta real.

AULA 3 TÓPICO 4 69
 AULA 4 Noções topológicas
na reta real

Olá, aluno(a),

Esta aula é uma preparação para a próxima aula, que tratará de limite de uma
função real. Embora o conceito de limite já tenha sido estudado por você, aluno, na
disciplina de Cálculo I, aqui você verá uma formulação mais rigorosa e cuidadosa
de algumas questões que não tinham sido formuladas, tais como os conjuntos em
que podemos tomar limites. Sabemos que, quando tomamos limites, os pontos
tendem para certo ponto. É sempre possível fazer isso, em qualquer conjunto?
Essas e outras são questões importantes, sinalizadas em Cálculo 1, serão agora
vistas, pois naquela disciplina não tínhamos como abordá-las.

A partir desses questionamentos, estudaremos, no tópico 1, a definição de

conjunto aberto, interior de um conjunto, e ilustraremos com exemplos. No tópico
2, veremos conjuntos fechados, pontos aderentes e pontos de acumulação. Por
último, no tópico 3, definiremos os conjuntos compactos, que se traduzem em
propriedades importantes para as funções contínuas neles definidas.

O caráter desta aula é preparatório; não se trata, portanto, de uma abordagem

completa e abrangente sobre a topologia da reta. No final desta aula, daremos
algumas referências para que você aprofunde seus conhecimentos.

Vamos lá?!

Objetivos

• Compreender termos como conjuntos abertos, fechados, interior de um

conjunto
• Definir os principais conjuntos necessários à noção de limite
• Reconhecer esses conjuntos e saber usá-los

70 Análise Real
TÓPICO 1 Conjuntos abertos e
fechados
O bjetivos
• Compreender a definição de conjunto aberto e fechado
• Entender os conceitos sobre subconjuntos da reta real

V ocê já deve ter visto a noção de intervalo aberto e intervalo

fechado no ensino médio e até mesmo neste curso de Matemática
na disciplina “Matemática Básica I”. O principal objetivo deste
tópico é ampliar e dar um tratamento mais rigoroso a essa noção intuitiva de intervalo
aberto e consequentemente ampliar conceitos sobre conjuntos abertos para outros
subconjuntos da reta. Veremos também outras definições de subconjuntos da reta
real, como interior, ponto aderente, ponto de acumulação.
De início, relembramos a noção de intervalo da reta, que denotaremos por:
(a, b) = {x Î  : a < x < b} Intervalo Aberto
[a, b ] = {x Î  : a £ x £ b} Intervalo Fechado
[ a, b) = {x Î  : a £ x < b} Semiaberto à Direita
(a, b ] = {x Î  : a < x £ b} Semiaberto à Esquerda
Antes de partirmos para a definição de conjunto aberto em  , vejamos a
noção de interior de um conjunto X . Posteriormente estabeleceremos uma relação
entre o interior de um conjunto X e o fato de ele ser aberto. O primeiro intervalo
no ensino médio é dito aberto, mas não se prova esse resultado. Aqui nós faremos
a comprovação.

AULA 4 TÓPICO 1 71
 Definição 1: Consideremos X Ì  e x Î X . Dizemos que x é um ponto
interior de X quando existe um intervalo (a, b) tal que x Î (a, b) Ì X . Isto
significa que todos os pontos suficientemente próximos de x ainda pertencem
ao conjunto X . Com isso, podemos estabelecer que x Î X é um ponto interior
de X se, somente se, existe  > 0 tal que (x −  , x +  ) ⊂ X . Com efeito, basta
tomar  = min{x − a, b − x}> 0 para x Î (a, b) Ì X , então
a ≤ x −  ≤ x ≤ x +  ≤ b , ou seja, (x −  , x +  ) ⊂ (a, b) ⊂ X .

De agora em diante, representaremos o conjunto dos pontos x Î X Ì  , que

são interiores a X , por I ( X ) e o chamaremos de interior do conjunto X . É óbvio
que I ( X ) Ì X e, ainda, se X Ì Y Þ I ( X ) Ì I (Y ) . Vejamos os exemplos de interiores
de subconjuntos da reta.

Exemplo 1: X = (a, b) ou X = [a, b ] , ou X = (a, b ] , ou ainda X = [ a, b) .

Temos I ( X ) = (a, b) e supomos que X Ì  , para qualquer um dos casos dados
anteriormente. Você pode verificar isso facilmente imitando a demonstração
apresentada no final da definição 1 anterior.

Exemplo 2: Se x0 Î I ( X ) , então existe

 > 0 tal que (x0 −  , x0 +  ) ⊂ X e nesse caso
o conjunto X contém uma quantidade não ate n ç ão !
enumerável de pontos e nesse conjunto X tem
Se a Î I ( X ) , dizemos que o conjunto X é uma
que ter uma quantidade infinita de elementos
vizinhança do ponto a .
(ou pontos). Portanto, todo conjunto finito
X = {x1 , x2 ,¼, xn } tem I ( X ) = Æ . Dessa forma,
também temos que I () = Æ , pois  é enumerável e não pode conter um intervalo
só de racionais. Analogamente, segue que I () = Æ . No entanto, mesmo que o
irracional  -  não seja enumerável, temos que I (  - ) = Æ , pois, para todo ,
teremos que o intervalo (a - e, a + e) Ì (  - ) contém (a −  , a +  ) ⊂ ( R − Q)
algum número racional uma r ∈ (a −  , a +  ) que o racional é denso nos reais.

Definição 2: Diz-se que um conjunto A Ì  é aberto, quando todos o seus

pontos são interiores. Em outras palavras, temos que, para todo x Î A , existe
ò > 0 tal que (a −  , a +  ) ⊂ A , ou ainda, I ( A) = A

72 Análise Real
 É importante que você, aluno, lembre que a noção de limite de uma sequência
lim n®¥ xn = a pode ser reformulada usando a definição de aberto. De fato, se
fizermos A = (a −  , a +  ) para ò > 0 dado, então existe n0 Î  tal que, para todo
n > n0 , implica que xn Î A . Agora, vejamos alguns exemplos de conjuntos abertos
da reta real.

Exemplo 3: A reta real  é obviamente um conjunto aberto, pois contém

todo intervalo (a, b) . O conjunto vazio Æ também é aberto, pois, para não ser
aberto, teríamos que obter um ponto x em Æ que não seja interior, isto é, para
todo ò > 0 , o intervalo (a −  , a +  ) ⊄ ∅ , mas isso não é possível, porque um tal
x não existe em um conjunto vazio. Ou seja, não se pode mostrar que o conjunto
vazio não possui ponto que não seja interior. Desse modo, só podemos concluir que
o vazio é aberto.

Exemplo 4: Todo conjunto aberto não-vazio é não enumerável. Portanto 

e todos os subconjuntos finitos de  não são abertos.

Exemplo 5: Nenhum subconjunto do conjunto dos números irracionais

 -  é aberto, uma vez que todo intervalo aberto contém um número racional,
pois  é denso em  .

Teorema 1: A intersecção de um número finito de conjuntos abertos é um

conjunto aberto.

Demonstração: Sejam A1 , A2 ,¼, An Ì  subconjuntos abertos. Considere

o conjunto A = A1 ÇA2 ÇA3 ÇÇAn e seja x Î A um ponto qualquer, então
x Î Ai para todo i = 1,2,¼, n e assim temos que (x − i , x + i ) ⊂ Ai , ∀i = 1, 2,…, n ,
pois todos os Ai são abertos. Tomando e = min1£i£n{ei } teremos que
(x −  , x +  ) ⊂ (x − i , x +  ) ⊂ Ai para todo 1 £ i £ n e consequentemente segue
que (x - e, x + e) Ì A e consequentemente a conclusão de que A é aberto.

Teorema 2: Seja ( Aa )aÎL uma família arbitrária de subconjuntos abertos em

 . Então a união arbitrária de abertos, A = ÈAa é um aberto.
aÎL

Demonstração: Com efeito, seja x Î A = ÈAa qualquer, então x Î Aa0 para

aÎL
algum a0 Î L . Ora, como Aa0 é aberto, segue que existe  > 0 tal que e, portanto,
A (x −  , x +  ) ⊂ Aa0 ⊂ A é aberto, como queríamos provar.

AULA 4 TÓPICO 1 73
 Observação 3: Um espaço topológico G é uma coleção de subconjuntos
abertos da reta que satisfaz às seguintes condições:
Æ e  são abertos;
A intersecção de finitos abertos é também um conjunto aberto;
A união de uma família arbitrária de abertos é também um conjunto aberto.

Exemplo 6: Seja X = {x1 , x2 ,¼, xn } um conjunto finito de números

reais com x1 < x2 <  < xn . Então, o complemento do conjunto X , que é
 - X = (-¥, x1 )È(x1 , x2 )ÈÈ(xn-1 , xn )È(xn , +¥) , é um conjunto aberto de
acordo com o teorema 2. Assim, o complemento de um conjunto finito de números
reais é um conjunto aberto.

74 Análise Real
TÓPICO 2 Conjuntos fechados
O bjetivos
• Compreender a noção de fechados na reta real
• Relacionar os conjuntos fechados com os conjuntos
abertos
• Perceber a diferença entre conjuntos fechados e abertos

N este tópico, veremos que a definição de conjuntos fechados

é complementar à definição de conjuntos abertos. Mudando
um pouco a relação de operações entre conjuntos (trocando
intersecção por união), poderíamos definir um espaço topológico através dos
conjuntos fechados. Os resultados seguem bem parecidos aos dados anteriormente
em conjuntos abertos.
Começaremos a caminhada definindo um ponto aderente a um subconjunto
X Ì  , que é uma noção fundamental para expressarmos e provarmos as
propriedades relativas a conjuntos fechados.

Definição 3: Dizemos que um ponto a é aderente ao conjunto X Ì  ,

quando limxn = a com os pontos da sequência (xn ) todos pertencentes
xn Î X , "n ao conjunto X Ì  .É óbvio que o ponto a Î X que pertence a
um conjunto X é ponto aderente dele .Basta tomarmos a sequência constante
xn = a, "n Î  .

Outra definição importante para caracterizar um conjunto fechado é o fecho

de um conjunto X , que definimos como:

AULA 4 TÓPICO 2 75
 Definição 4: Chamamos fecho de um conjunto X Ì  , que representamos
por X , ao conjunto formado por todos os pontos aderentes a X Ì  . É
evidente que, se X Ì Y Þ X Ì Y e X Ì X , dizemos que um conjunto X é
fechado quando X = X , isto é, ele contém todos os seus pontos aderentes (
X É X ).

Fica claro, pela definição anterior, que, se X Ì  é fechado se, só se, para
toda sequência (xn ) Ì X convergente, tem-se que limxn = a Î X .
Outra maneira de caracterizar se um conjunto X é denso em um conjunto Y
é quando Y Ì X , ou seja, se, para todo a Î Y , tivermos que limxn = a com xn Î X
é um ponto aderente de X . Desse modo, concluímos que  =  , pois todo número
real é limite de uma sequência de números racionais.

Teorema 3: Um ponto a é aderente ao conjunto X , se, somente se, para toda

vizinhança V (a ) = (a −  , a +  ) do ponto a , houver algum ponto de X .

Demonstração: A afirmação é suficiente, seja a um ponto aderente a X .

Então, limxn = a , com xn Î X . Assim, pela definição de convergência de uma
sequência, dado  > 0 , a vizinhança xn ∈ V (a ) = (a −  , a +  ) contém infinitos
pontos para todo n > n0 , ou seja, temos que Vò (a )ÇX ¹ Æ .
Agora a necessidade da afirmação: se toda vizinhança Vò (a ) do ponto a
1 1
contiver ontos de X , escolhemos as vizinhanças do tipo xn Î (a - , a + ) com
1 n n
xn Î X e assim temos que∣xn - a∣< , e então limxn = a e a é aderente a X .
n
De outra maneira, o que o teorema anterior afirma é que qualquer vizinhança
de um ponto a Î X deve ter intersecção com o fecho do conjunto. Ou, ainda,
a Ï X Û a Î Vò (a )ÇX = Æ . Agora podemos enunciar o principal teorema deste
tópico, que caracteriza um conjunto fechado como o complementar de um conjunto
aberto.

Teorema 4: Um conjunto F Ì  é fechado se, e somente se, seu complemento

A =  - F é aberto.

Demonstração: Consideremos F fechado e a Î A um ponto qualquer em A .

Vamos mostrar que A é aberto. Com efeito, temos que a Ï F , então pelo Teorema 3
demonstrado anteriormente, verificamos que existe uma vizinhança a Î Vò (a ) que
não contém pontos de F . Assim podemos concluir que a Î Vò (a ) Ì A e, portanto,
A é aberto.

76 Análise Real
 Reciprocamente, suponhamos que o conjunto A é aberto e a é um ponto
aderente ao conjunto F =  - A , então, do Teorema 3, segue que toda vizinhança
de a contém pontos de F , e assim a Î Vò (a ) Ë A e a não é um ponto interior a A .
Ora, como A é aberto, temos que a Ï A e, consequentemente, a Î F . E assim todo
ponto aderente a F pertence a F , então F é fechado.

Exemplo 7: Se X = (a, b) , então X = [a, b ] . De fato, basta tomar as sequências

1 1 1 1
em X , a + e b - e como a + ® a e b - ® b , logo [a, b ] Ì (a, b) .
n n n n
Exemplo 8: De maneira mais geral, temos que, para um subconjunto,
X Ì  limitado e X ¹ Æ . Então a = Inf ( X ) e b = Sup( X ) são pontos aderentes
1
a X . Uma vez que, podemos tomar a sequência xn Î X com a £ xn < a + , logo
n
limxn = a e desse modo segue que a Î X . E de maneira análoga, tomamos yn Î X ,
com limyn = b .

Usando a relação de complementar de um conjunto, pode-se provar

facilmente que:
1. Æ e  são fechados;
2. A união finita de fechados é um conjunto fechado (nos abertos é a
intersecção);
3. A intersecção de uma família de fechados é um conjunto fechado.

Faremos a prova de 2 e deixamos para

você a justificativa dos outros casos. Com
efeito, sejam F1 , F2 ,¼, Fn fechados de .
ate nção! Então, pelo Teorema 4, segue que os conjuntos
Você deve notar que, na justificativa da A1 =  - F1 , A2 =  - F2 ,¼, An =  - Fn são
afirmação 2 anterior, fizemos o uso da Lei de abertos. Então, conforme o Teorema 2, temos
Morgan, que afirma que (ÈXi ) = ÇX ou
C C
i que A1 ÇA2 ǼÇAn =  - ( ÈF) i
é aberto.
(ÇXi ) = ÈX No caso acima, usamos na forma
C C
i
1£i£n
Portanto segue novamente, pelo Teorema 4, que
A1 ÇA2 ǼÇAn = [ Ç ( - F )] C
=  -( ÈF) .
ÈF
i i
1£i£n 1£i£n i
é fechado como o complemento de um
Repetindo esses argumentos de maneira análoga, 1£i£n
aberto.
você vai obter as outras demonstrações dos outros
Concluiremos este tópico com uma
casos. Poderíamos fazer a mesma observação
definição de pontos de acumulação que tem
sobre um espaço topológico G com fechados em
vez de abertos. uma grande importância na definição de limites
de uma função f com domínio nos reais. Na

AULA 4 TÓPICO 2 77
 definição do limite de função real, faz-se uso explícito de pontos de acumulação
como você poderá ver na aula seguinte.
Agora podemos enunciar um teorema que elenca algumas equivalências
sobre a definição de pontos acumulação.

Teorema 5: Sejam X Ì  e x0 Î  , então as seguintes afirmações são

equivalentes:
1. x0 é um ponto de acumulação de X ;
2. x0 é o limite de uma sequência de pontos xn Î X -{x0 } ;
3. Todo intervalo aberto de centro em x0 contém uma infinidade de pontos de
X.

Demonstração: Para provarmos que (i) Þ (ii) supondo que (i) ocorre,
1 1
tomamos os intervalos do tipo (x0 - , x0 + ) com xn ¹ x0 e xn Î X . Logo,
n n
teremos que limxn = x0 , o que prova (ii) .
Por outro lado, se admitirmos (ii) , devemos provar (iii) . Mas isso é fato,
pois o conjunto {xn : n > n0 } é infinito , porque, do contrário, existiria um termo
xi , i ³ n que se repetiria infinitas vezes e isso acarretaria que a sequência (xn ) seria
constante e convergente para x0 , mas com xn ¹ x0 por hipótese. O que resultaria
um absurdo! Portanto, segue que (ii) Þ (iii) . Por último, a implicação (iii) Þ (i) é
óbvia da definição de pontos de acumulação.

Exemplo 9: Se um subconjunto X Ì  é finito, então X a = Æ , o conjunto

dos pontos de acumulação, é vazio. Mesmo o conjunto dos inteiros  , que é
infinito, tem o conjunto dos pontos acumulação  a = Æ , uma vez que todos os
seus pontos n Î  são isolados, pois basta tomar intervalos com comprimento
1
 = > 0 que teremos que (n - ò, n + ò)Ç = {n} e a =  .
2

78 Análise Real
TÓPICO 3 Conjuntos compactos
O bjetivos
• Distinguir entre um conjunto fechado e um compacto
• Compreender a noção de compacto de um conjunto
• Saber relacionar a noção de subconjuntos compactos com
suas aplicações

N este último tópico desta aula, analisaremos os subconjuntos da

reta que têm grande importância na análise de convergência de
sequências, sejam numéricas, sejam de funções que não serão
vistas neste curso. Além disso, os conjuntos compactos são importantes também
quando analisamos as funções contínuas definidas sobre eles, pois isso nos garante
a existência de máximos e mínimos para uma função contínua. E é óbvio que saber
se uma função tem um máximo ou mínimo é uma das questões mais relevantes
tanto em estudos teóricos, quanto em estudos práticos. Na verdade, você pode
rever alguns dos interessantes resultados sobre essa questão de máximos e mínimos
de uma função contínua sobre um compacto no curso de cálculo numérico.

Definição 6: Um subconjunto X Ì  é dito

compacto, quando é limitado e fechado em  .

Exemplo 10: Todo subconjunto

ate nção!
X = {x1 , x2 ,¼, xn } Ì  finito é compacto, pois
Advertimos que essa definição 6 de um conjunto
é fechado, uma vez que seu complemento
compacto só é válida em  . Se o subconjunto
 - X = (-¥, x1 )È(x1 , x2 )ȼ(xn-1 , xn )È(xn , +¥)
estivesse em um espaço de dimensão infinita, essa
é aberto e é limitado (você deve justificar!) e,
definição não seria verdadeira. Porém, em espaço
portanto, pela definição é compacto. Outro
de dimensão finita, ela é perfeitamente válida.
exemplo trivial é o intervalo [a, b ] , que é fechado

AULA 4 TÓPICO 3 79
 e limitado na reta. Por outro lado, o intervalo (a, b) é limitado, mas não é fechado
e, portanto, não é compacto. Os números inteiros  não é conjunto compacto; é
fechado, mas não é limitado.

Teorema 6: Um conjunto X Ì  é compacto, se somente se, toda sequência

de pontos em X possuir uma subsequência que converge para um ponto de X .

Demonstração: Se X é compacto, então

toda sequência (xn ) Ì X é limitada, portanto,
pelo Teorema de Bolzano-Weierstrass, temos sai b a mai s !
que existe uma subsequência convergente
Para revisar o Teorema de Bolzano-Weierstrass,
xn j ® x0 Î X , cujo limite está em X , pois X é
acesse o site: wwmat.mat.fc.ul.pt/aninf/2003_2/
fechado.
aninf2/notas/pcomp/Similares
Reciprocamente, se X Ì é um
subconjunto, toda sequência (xn ) Ì X possui
uma subsequência convergente para um ponto dele xn j ® x0 Î X . Então, afirmamos
que X é limitado, pois, do contrário, teríamos para cada n um termo da sequência
(xn ) Ì X com∣xn∣
> n e desse modo a sequência obtida não possuiria subsequência
limitada e, portanto, não seria convergente. Além disso, X é fechado, porque, caso
contrário, existiria um ponto x0 Ï X com limxn = x0 com xn Î X , "n e dessa forma
a sequência (xn ) não teria subsequência nenhuma convergindo para um ponto de
X , uma vez que todas as subsequências teriam como limite o ponto x0 o que nos
leva a uma contradição. Assim, X é fechado e limitado, logo é compacto.
Deste ponto, podemos enunciar um resultado que já foi visto com intervalos
encaixados, e que agora podemos generalizar para conjuntos compactos. Assim, dada
uma sequência decrescente de conjuntos compactos X1 É X2 É X3 É¼É Xn ɼ ,
então existe pelo menos um número real que pertence a todos os conjuntos
compactos Xn . Para sua demonstração, nos valemos do fato de eles serem compactos
e do teorema de Bolzano-Weierstrass.
Para finalizar esta aula, enunciamos, sem demonstração, um resultado
bastante importante, que é o chamado Teorema de Borel-Lebesgue.

Teorema 7 (Borel-Lebesgue): Toda cobertura aberta de um conjunto com-

pacto possui uma subcobertura finita.

80 Análise Real
 A prova pode ser vista nos livros que
colocamos nas referências.
Entendemos uma cobertura de um
sa i ba ma i s!
conjunto X como uma família de abertos ( Al )lÎL
Para mais informações sobre tópicos importantes
tal que X Ì ÈAl . Se o número de aberto
de análise real, acesse o material elaborado pelo lÎL
L = {l1 ,¼,ln } é finito, diz-se que a cobertura
Prof. Adriano Pedreira Cattai, disponível no link
é finita.
cattai.mat.br/site/files/AnaliseReal/AnaliseReal_
cattai_uneb.pdf
Exemplo 11: Os intervalos abertos
In = (1 / n,2) , n Î  é uma cobertura de abertos
do conjunto X = (0,1] , uma vez que X = (0,1] Ì ÈAn . Entretanto, você pode ver
n Î
facilmente que o conjunto X = (0,1] não admite uma subcobertura finita.

AULA 4 TÓPICO 3 81
 AULA 5 Limites de funções

Olá, aluno(a),

Nesta aula, estudaremos a noção de limite, de que já tratamos na aula 3, em um

contexto mais geral. Em vez de considerarmos somente sequências, que são
funções s :  ®  , cujo domínio é o conjunto dos números naturais, consideraremos
funções f : X ®  , em que X é um subconjunto arbitrário de  . Devemos
observar que o conjunto X pode ser igual ao conjunto  dos números naturais, o
que inclui as sequências como um caso particular das funções a serem estudadas
nesta aula. O outro caso relevante é aquele em que X é um intervalo, aberto ou
fechado, de  .

No primeiro tópico, veremos a definição, as propriedades básicas e alguns

exemplos de limites de funções. No tópico 2, estudaremos a noção de limite lateral
e obteremos um critério para a existência de limites de funções. Apresentaremos,
também neste tópico, os limites infinitos e os limites no infinito.

Bons estudos!

Objetivos

• Compreender a noção de limite de função

• Identificar a noção de limite de sequências como caso particular da noção
de limite de funções
• Saber aplicar as propriedades de limites
• Compreender as noções de limite lateral, limite infinito e limite no infinito

82 Análise Real
TÓPICO 1
Definição, propriedades e
exemplos de limites de funções
O bjetivos
• Compreender a definição de limite
• Obter, a partir da definição de limite, suas propriedades

N este primeiro tópico, veremos a definição formal de limite de uma

função, que faz uso da ideia de valor absoluto de números reais
como maneira de medir distâncias sobre a reta, ideia essa que
foi introduzida na aula 2. Mais precisamente, a noção de limite de uma função
formaliza a seguinte ideia: se x se aproxima de um número real a , então f (x ) se
aproxima de algum número real L . Para que um número real x pertencente ao
domínio X da função f se aproxime do número real a , é necessário que a seja
um ponto de acumulação de X , noção que foi apresentada na aula 2.
A partir da definição de limite, obteremos as propriedades que nos permitem
operar com este conceito de modo mais eficaz, sem precisarmos recorrer sempre
à definição. Esta tarefa é uma tanto quanto delicada, e, como você deve notar,
teremos aqui uma dose maior de formalismo, característico da Análise Matemática.
Seja X um subconjunto de  . Vimos, na aula 2, que um elemento a Î  é
chamado ponto de acumulação de X quando, dado d > 0 , existe x Î X , x ¹ a , tal
que |x - a |< d . Isto significa dizer que existem elementos de X arbitrariamente
próximos de a . Assim como na aula 2, denotaremos o conjunto dos pontos de
acumulação de X por X ¢ .
Seja f : X ®  e a Î X ¢ , ou seja, a é um ponto de acumulação de X .
Queremos estudar o comportamento de f (x ) quando x é um elemento de X
próximo de a . A princípio, estudaremos o caso em que f (x ) é estável quando x
está próximo de a , ou seja, o caso em que f (x ) se aproxima de um número real,
quando x se aproxima de a .

AULA 5 TÓPICO 1 83
 Um número L Î  é dito limite de f (x ) , quando x tende a a se, para
todo e > 0 , existe d > 0 tal que 0 <|x - a |< d implica | f (x ) - L|< e . Usamos a
notação
lim f (x ) = L
x®a

para sintetizar as informações acima.

• As afirmações |x - a |< d e | f (x ) - L|< e são equivalentes,

respectivamente, a x Î (a - d , a + d ) e f (x ) Î (L - e, L + e) . Assim, a
definição de limite pode ser reescrita da seguinte forma: para cada
J = (L - e, L + e) , existe I = (a - d , a + d ) -{a} tal que f ( I ) Ì J , em que
f ( I ) indica o conjunto formado pelas imagens dos elementos de I pela
função f , isto é, f ( I ) ={ f (x )|x Î I } . Em outras palavras, todo intervalo
aberto J centrado em L contém a imagem, por f , de um intervalo
aberto I centrado em a , excluído o ponto central a .

• A desigualdade 0 <|x - a | é equivalente a x ¹ a . Em termos de intervalos,

isto significa que podemos tomar o conjunto I = (a - d , a + d ) -{a} , em
vez do intervalo (a - d , a + d ) . Isto se dá porque não nos interessa o
comportamento da função f no ponto a , e sim o seu comportamento
numa vizinhança I de a . Outro modo de interpretar esta informação é
dizer que o limite lim x®a f (x ) não nos dá informação alguma sobre f (a ) ,
que pode, inclusive, não existir. Veremos, mais adiante, que existem
funções f para as quais podemos inferir o valor f (a ) a partir do limite
lim x®a f (x ) . Tais funções são chamadas contínuas e serão o objeto de
estudo da aula 6.

Exemplos:
1. Seja f : (0,1) ®  , dada por f (x ) = 2x + 1 . O número real 1 é um
ponto de acumulação de (0,1) . Assim, faz sentido calcularmos o limite

lim(2x + 1) embora 1 não seja um elemento de (0,1) . Em geral, para

x ®1

que o limite lim x®1f (x ) , com f : X ®  , faça sentido é suficiente que

a seja um ponto de acumulação de X , mas a não precisa ser um
elemento de X .
Para demonstrarmos que lim x®1(2x + 1) = 3 , procedemos da seguinte
e
maneira: dado e > 0 , existe d = > 0 tal que
2
e
|x - 1|< d Þ|x - 1|< Þ 2|x - 1|< e Þ|2x - 2|< e Þ|2x + 1 - 3|< e Þ| f (x ) - 3|< e.
2

84 Análise Real
 Assim, de acordo com a definição de limite, f (x ) tende a 3 quando x tende
a 1.
2. Além de ser uma condição suficiente para que o limite lim x®a f (x ) faça
sentido, o fato de a ser um ponto de acumulação do domínio de f é
também uma condição necessária, isto é, se a não é ponto de acumulação
de f , o limite lim x®a f (x ) não pode ser definido. Para ilustrar este
fato, exibimos a seguir um exemplo: seja f : (0,1) È {2} ®  , dada por
f (x ) = x . A figura 2 é um esboço do gráfico de f .

Figura 1 – Gráfico da função f

/ X ¢ , ou seja, 2 não é ponto

Devemos notar que, se X = (0,1) È {2} , então 2 Î
de acumulação de X . Isso se dá porque, por exemplo, o intervalo (2 - d ,2 + d ) ,
1
com d = , é disjunto de X , isto é, (2 - d ,2 + d ) Ç X ={2} . Neste caso, dizemos
2
que 2 é um ponto isolado de X .
Observemos que |x - 2|< d é equivalente a x Î (2 - d ,2 + d ) . Além disso,
f (x ) só está definida para x Î X e, se I = (2 - d ,2 + d ) -{2} , então I Ç X = Æ ,
logo f ( I ) = Æ . Como o conjunto vazio está contido em qualquer conjunto, para
qualquer número real L e qualquer e > 0 , se J = (L - e, L + e) , então f ( I ) Ì J .
Isso mostra que qualquer número real pode ser considerado o limite de f (x ) quando
x tende a 2 . É claro que este é um caso que devemos evitar, pois queremos que o
limite seja um número real bem definido. Por isso, vamos sempre considerar limites
de funções quando a variável x tende a um elemento a que é ponto de acumulação
do domínio da função.

AULA 5 TÓPICO 1 85
 O resultado a seguir esclarece a questão da unicidade do limite de uma
função.

Teorema 1 (Unicidade do limite): Dados X Í  , f : X ®  e a Î X ¢ , se

lim x®a f (x ) = L1 e lim x®a f (x ) = L2 , então L1 = L2 .

Demonstração: Dado e > 0 , existem d1 > 0 e d2 > 0 tais que |x - a |< d1

implica | f (x ) - L1 |< e / 2 e |x - a |< d2 implica | f (x ) - L2 |< e / 2 . Se d = min{d1 , d2 } ,
então existe x Î X tal que |x - a |< d , pois a Î X ¢ . Para x Î X tal que |x - a |< d ,
temos |x - a |< d1 e |x - a |< d2 . Logo, | f (x ) - L1 |< e / 2 e | f (x ) - L2 |< e / 2 .

Assim, |L1 - L2 |=|L1 - f (x ) + f (x ) - L2 |£| f (x ) - L1 |+| f (x ) - L2 |< e + e = e ,

2 2
onde a primeira desigualdade é a desigualdade triangular.
Mostramos, dessa maneira, que |L1 - L2 |< e para todo e > 0 . Como L1 - L2
é um número real fixado, a única possibilidade é que L1 - L2 = 0 , logo L1 = L2 ,
como queríamos demonstrar.

Teorema 2: Dados X Í  , f : X ®  e a Î X ¢ , se lim x®a f (x ) existe, então f

é limitada em alguma vizinhança de a .

Demonstração: Por hipótese,

lim x®a f (x ) = L , onde L é um número
real. Dado e =1 , existe d>0 tal que ate n ç ão !
0 <|x - a |< d implica | f (x ) - L|<1 , Uma função f : X ®  é dita limitada em
isto é, se x Î (a - d , a + d ) e x ¹ a , então
Y Í X , se existe M Î  , M > 0 , tal que
| f (x )|=| f (x ) - L + L|£| f (x ) - L|+|L|<1+|L| . | f (x )|£ M para todo x Î Y . O resultado a
Fazendo M =1+|L|> 0 , obtemos | f (x )|< M , seguir mostra que, se uma função f tem limite
para todo x Î I , onde I = (a - d , a + d ) -{a} quando x tende a a , então f é limitada em
é uma vizinhança de a . Isso encerra a alguma vizinhança de a .
demonstração.
O resultado a seguir, conhecido como
Teorema do Confronto, ou Teorema do Sanduíche, garante que é possível calcular
o limite de uma função f que é limitada superior e inferiormente por duas outras
funções, g e h, cujos comportamentos para x próximo a um ponto a são controlados.

86 Análise Real
 Teorema 3 (Teorema do confronto): Dados X Ì  , f , g , h : X ®  e a Î X ¢ ,
suponhamos que
g ( x ) £ f ( x ) £ h( x )
para todo x Î X , x ¹ a . Se lim x®a g (x ) = lim x®ah(x ) = L , então lim x®a f (x ) = L .

Demonstração: A figura abaixo dá uma ideia do comportamento da função

f numa vizinhança do ponto a. Note que o gráfico de f é “sanduichado” pelos
gráficos de g e de h. Como lim x®a g (x ) = lim x®ah(x ) = L , pela definição de limite,
para cada e > 0 , existem d > 0 e d > 0 tais que
1 2

|x - a |< d1 Þ| g (x ) - L|< e,
|x - a |< d2 Þ|h(x ) - L|< e.
Assim, se d = min{d1 , d2 } , então |x - a |< d implica que | g (x ) - L|< e e
|h(x ) - L|< e .
Podemos reescrever as duas últimas desigualdades como
L - e < g (x ) < L + e, L - e < g (x ) < L + e.

Figura 2 – Teorema do Confronto

Uma vez que, por hipótese, g (x ) £ f (x ) £ h(x ) , temos

L - e < g (x ) £ f (x ) £ h(x ) < L + e.
Logo, L - e < f (x ) < L + e , ou seja, | f (x ) - L|< e sempre que |x - a |< d .
Isso mostra que lim x®a f (x ) = L , como queríamos demonstrar.

Devemos observar que não é necessário que as desigualdades

g (x ) £ f (x ) £ h(x ) valham para qualquer ponto x do domínio X. De fato, a mesma
demonstração dada acima continua válida se tivermos g (x ) £ f (x ) £ h(x ) para todo

AULA 5 TÓPICO 1 87
 x Î I , onde I Í X é um intervalo da reta tal que a Î I . Como aplicação do Teorema
do Confronto, vamos demonstrar um corolário muito útil no cálculo de limites.

Corolário 4: Sejam X Ì  , a Î X ¢ e f , g : X ®  funções, com f limitada e

lim x®a g (x ) = 0 . Então
lim ( f (x ) × g (x )) = 0
x®a

Demonstração: Como f é limitada, existe um número real positivo M tal

que
0 £| f (x )|£ M ,
para todo x Î X .
Por hipótese, suponhamos que lim x®a g (x ) = 0 , logo lim x®a | g (x )|= 0 (veja
o exercício 2a desta aula). Como | g (x )|³ 0 , podemos multiplicar as desigualdades
0 £| f (x )|£ M por | g (x )| para obtermos
0×| g (x )|£| f (x ) × g (x )|£ M×| g (x )|.
As funções G(x ) = 0 (identicamente nula) e H (x ) = M×| g (x )| são tais que
lim x®aG(x ) = 0 e lim x®aH (x ) = 0 . Pelo Teorema do Confronto, lim x®a | f (x ) × g (x )|= 0 .
Portanto, lim x®a( f (x ) × g (x )) = 0 (veja o exercício 2b desta aula).

O resultado a seguir mostra que, se o limite de uma função é positivo, então

a função é positiva em algum intervalo suficientemente pequeno.

Teorema 5 (Conservação do sinal): Sejam X Ì  , a Î X ¢ e f : X ®  uma

função, tais que lim x®a f (x ) = L , onde L Î  e L > 0 . Então existe d > 0 tal
que f (x ) > 0 , para todo x Î (a - d , a + d ) .

Demonstração: Seja e = L / 2 > 0 . Pela definição de limite, existe d > 0 tal

L 3L L
que, se x Î (a - d , a + d ) então f (x ) Î (L - e, L + e) = ( , ) . Logo 0 < < f (x ) , o
2 2 2
que implica que f (x ) > 0 , para x Î (a - d , a + d ) .

Observemos que, se lim x®a f (x ) = L e L < 0 , então vale um resultado

análogo ao do Teorema 5. De fato, neste caso, existe d > 0 tal que f (x ) < 0 para
x Î (a - d , a + d ) . A demonstração deste fato é inteiramente análoga à do Teorema
5 (veja o exercício de aprofundamento 1).

88 Análise Real
 A seguir, demonstraremos as propriedades operatórias básicas dos limites.

Teorema 6: Sejam X Ì  , a Î X ¢ e f , g : X ®  funções. Suponha que

lim x®a f (x ) e lim x®a g (x ) existam. Então
1. lim x®a( f (x ) + g (x )) = lim x®a f (x ) + lim x®a g (x )
2. lim x®a(k × f (x )) = k × lim x®a f (x ) , onde k Î R é uma constante.
3. lim x®a( f (x ) × g (x )) = lim x®a f (x ) × lim x®a g (x ) .
f (x ) lim x®a f (x )
4. lim x®a = , desde que lim x®a g (x ) ¹ 0 .
g (x ) lim x®a g (x )

Demonstração: Vamos fixar, ao longo da demonstração, a notação

lim x®a f (x ) = L1 e lim x®a g (x ) = L2 .
(1) Observemos que, dado e > 0 , existem d1 > 0 e d2 > 0 tais que
|x - a |< d1 Þ| f (x ) - L1 |< e / 2 e |x - a |< d2 Þ| g (x ) - L2 |< e / 2 . Assim, se
d = min{d1 , d2 } , então
e e
|x - a |< d Þ| f (x ) + g (x ) - (L1 + L2 )|=| f (x ) - L1 + g (x ) - L2 |£| f (x ) - L1 |+| g (x ) - L2 |< + = e .
2 2
Isso mostra que, pela definição de limite, vale a identidade (1).
(2) Usaremos novamente a definição de limite. Se a constante k for igual
a zero, então lim x®a(k × f (x )) = lim x®a 0 = 0 = 0 × L1 , ou seja, a identidade (2) é
verdadeira neste caso. Podemos supor, então, que k ¹ 0 . Dado e > 0 , existe d > 0
tal que |x - a |< d Þ| f (x ) - L1 |< e /|k |. Assim,
e
|x - a |< d Þ|k × f (x ) - k × L1 |=|k |×| f (x ) - L1 |<|k |× = e.
|k |
Isso mostra que lim x®a(k × f (x )) = k × lim x®a f (x ) .
(3) Comecemos observando que
| f (x ) g (x ) - L1L2 |=| f (x ) g (x ) - L1 g (x ) + L1 g (x ) - L1L2 |£| g (x )|×| f (x ) - L1 |+|L1 |×| g (x ) - L2 | (1)
Primeiramente, se L1 = 0 (ou L2 = 0 ) então o resultado que queremos
demonstrar é consequência do Teorema 2 e do Corolário 4. Podemos supor,
então, que L1 ¹ 0 e L2 ¹ 0 . É possível escolher d1 > 0 de modo que
e
|x - a |< d1 Þ| g (x ) - L2 |< .
2|L1 | e
Por outro lado, se |x - a |< d1 , então a desigualdade | g (x ) - L2 |<
2|L1 |
pode ser reescrita como
e e
L2 - < g (x ) < L2 + ,
2|L1 | 2|L1 |
donde deduzimos que
ïì e e ïüï
| g (x )|< m = max ïí L2 - , L2 + ý.
ïï 2|L1 | 2|L1 | ïþï
î

AULA 5 TÓPICO 1 89
 Dessa forma, | g (x )|×| f (x ) - L1 |< m×| f (x ) - L1 |. Podemos, então, escolher
e
d2 > 0 tal que |x - a |< d2 implica | f (x ) - L1 |< . Juntando estas informações
2m
com as desigualdades de (1) vemos que, para todo x Î  tal que |x - a |< d , onde
d = min{d1 , d2 } , temos
| f (x ) g (x ) - L1L2 |£| g (x )|×| f (x ) - L1 |+|L1 |×| g (x ) - L2 |< m×| f (x ) - L1 |+|L1 |×| g ( x ) - L2 |<

e e e e
< m× +|L1 |× = + =e
2m 2|L1 | 2 2

o que demonstra a igualdade em (3).

(4) Para demonstrarmos o último item, notemos, primeiramente, que, se
L2 ¹ 0 , então
æ 1 1ö æ L - g (x ) ö÷ é 1 úù
lim ççç - ÷÷÷ = lim ççç 2 ÷÷ = lim ê(L2 - g (x )) × .
x®a çè g (x ) L2 ÷ø x®a çè g (x )L2 ÷ø x®a êë g (x )L2 úû
Notemos que lim x®a(L2 - g (x )) = 0 , pois lim x®a g (x ) = L2 . Por outro lado,
como L2 ¹ 0 , o Teorema 5 e os comentários feitos logo após a sua demonstração
nos permitem concluir que | g (x )|³ N > 0 , para x Î (a - d , a + d ) , com d > 0
suficientemente pequeno. Logo,
1 1
£
g (x )L2 |N × L2 |
o que significa que a função 1 é limitada. Pelo Corolário 4, temos
g (x )L2
æ 1 1ö é 1 úù
lim ççç - ÷÷÷ = lim ê(L2 - g (x )) × =0
x®a çè g (x ) L2 ÷ø x®a êë g (x )L2 úû
1 1
e, portanto, lim x®a = , se L2 ¹ 0 .
g (x ) L2
Usando, agora, o item (3), obtemos:
f (x ) æ 1 ÷ö æ 1 ÷ö 1 L
lim = lim ççç f (x ) × ÷÷ = lim f (x ) × lim çç
ç
÷÷ = L1 × = 1 .
x®a g (x ) x®a ç
è g (x ) ÷ø x®a x®a èç g (x ) ÷ø L2 L2
Com isso, concluímos a demonstração.

Com este resultado, chegamos ao final do nosso primeiro tópico desta aula 5.
Exibimos a definição formal de limite e usamos esta definição para demonstrarmos
alguns teoremas fundamentais, como o Teorema do Confronto (Teorema 3) e o
Teorema da conservação do sinal (5). Obtivemos também algumas propriedades
operatórias do limite que serão úteis mais adiante.

90 Análise Real
TÓPICO 2 Limites laterais
O bjetivos
• Assimilar a noção de limite lateral
• Usar a noção de limite lateral como critério para a existência
de limite bilateral em um ponto

E xistem exatamente duas maneiras de acessar um ponto a da reta

real por caminhos contidos na reta. Podemos nos aproximar de a
vindo pela esquerda ou pela direita de a . A ideia de limite lateral
é observar o comportamento de uma função f (x ) quando x tende a a mas está
restrito a uma das semirretas determinadas por a sobre a reta real, isto é, forçamos
x a ser maior do que a ou a ser menor do que a . Veremos, neste tópico, que os
limites laterais pela esquerda e pela direita coincidem se, e somente se, o limite
(bilateral, ou seja, no sentido usual definido no tópico anterior) existe.
Seja X Ì  e X ¢ o conjunto dos pontos de acumulação de X . Em geral, X ¢
pode ser vazio, por exemplo, se X é finito ou se X =  , o conjunto dos número
inteiros. Para que faça sentido o cálculo de limites, estamos supondo, ao longo
desta aula, que X ¢ ¹ Æ , ou seja, os conjuntos de números reais considerados nesta
aual têm pontos de acumulação. O caso mais importante é, sem dúvida, aquele em
que X é um intervalo.
Os conjuntos X+¢ ={a Î  | X Ç (a, a + d ) ¹ Æ,"d > 0} e
X-¢ ={a Î  | X Ç (a - d , a ) ¹ Æ,"d > 0} são chamados, respectivamente, conjuntos
dos pontos de acumulação à direita e à esquerda. É claro que X ¢ = X-¢ È X+¢ , e esta
reunião não precisa ser necessariamente disjunta.
Seja f : X ®  e a Î X+¢ . Um número real L é dito limite à direita de f (x ) ,
denotado por lim x®a+ f (x ) = L , quando x tende a a se, para todo e > 0 , existe
d > 0 tal que
x Î (a, a + d ) Þ| f (x ) - L|< e.

AULA 5 TÓPICO 2 91
 A condição x Î (a, a + d ) é equivalente a 0 < x - a < d .
Seja f : X ®  e x Î X-¢ . Um número real L é dito limite à esquerda de
f (x ) , denotado por lim x®a- f (x ) = L , quando x tende a a se, para todo e > 0 ,
existe d > 0 tal que
x Î (a - d , a ) Þ| f (x ) - L|< e.
A condição x Î (a - d , a ) é equivalente a 0 < a - x < d .
O resultado a seguir caracteriza a existência do limite de uma função em um
ponto a Î X+¢ Ç X-¢ .

Teorema 7: Sejam X Ì  , f : X ®  e a Î X-¢ Ç X+¢ . Então o limite lim x®a f (x )

existe se, e somente se, os limites laterais lim x®a+ f (x ) e lim x®a- f (x ) existem e
são iguais. Se lim x®a+ f (x ) = lim x®a- f (x ) = L , então lim x®a f (x ) = L .

Demonstração: Suponha que lim x®a f (x ) = L . Pela definição de limite,

isto significa que, dado e > 0 , existe d > 0 tal que x Î (a - d , a + d ) implica
| f (x ) - L|< e . Em particular x Î (a - d , a ) implica | f (x ) - L|< e , logo
lim x®a- f (x ) = L e x Î (a, a + d ) implica | f (x ) - L|< e , logo lim x®a+ f (x ) = L .

Reciprocamente, se lim x®a+ f (x ) = lim x®a- f (x ) = L , então, dado e > 0 ,

existem d1 > 0 e d2 > 0 tais que
a < x < a + d1 Þ| f (x ) - L|< e,
a - d2 < x < a Þ| f (x ) - L|< e.
Seja d = min{d1 , d2 } , então (a - d , a + d ) Ì (a - d2 , a + d1 ) . A figura a seguir
ilustra o caso em que d = d1 .

Figura 3 – O caso em que d = min{d1 , d2 } = d1

Podemos concluir que, se 0 <|x - a |< d , então x¹a e
x Î (a - d , a + d ) Ì (a - d2 , a + d1 ) , o que implica x Î (a - d2 , a ) È (a, a + d1 ) . Logo,
| f (x ) - L|< e . Isso mostra que lim x®a f (x ) = L .
Exemplo 1: Sejam L, M , a Î  , com a ¹ 0 . Consideremos a função
f :  -{a} ®  , dada por
1æM + L x - a ö÷
f (x ) = çç × x + ( M - L) × ÷.
2 èç a |x - a |ø÷÷

92 Análise Real
 x-a
Se x < a , então x - a < 0 e, consequentemente, = -1 . Logo, neste
|x - a |
caso,
1æM + L ö
f (x ) = çç × x - ( M - L)÷÷÷.
2è a ø
1
Assim, lim x®a- f (x ) = × ( M + L - M + L) = L .
2
x-a
Analogamente, se x > a , então x - a > 0 e =1 . Logo, neste caso,
|x - a |
1 æM + L ö
f (x ) = × çç × x + ( M - L)÷÷÷.
2 è a ø
1
Portanto, lim x®a+ f (x ) = × ( M + L + M - L) = M .
2
Mostramos, portanto, que, dados L e M reais, é possível produzir uma
função que tenha limite lateral pela esquerda igual a L e limite lateral pela direita
igual a M , em um ponto a ¹ 0 . Como consequência do Teorema 7, o limite
lim x®a f (x ) existe se, e somente se, L = M .

Exemplo 2: A função logaritmica L : (0, +¥) ®  , dada por L(x ) = ln x ,

tem como domínio o intervalo aberto I = (0, ¥) . Logo, I-¢ = Æ e I ¢ = I+¢ = [0, +¥) .
Portanto lim x®0-L(x ) não existe e só faz sentido considerarmos o limite lateral
lim x®0+L(x ) . No entanto, mesmo este limite não é um número real. De fato, se
p
lim x®0+L(x ) = p Î  então, para e = , existiria d > 0 tal que
2
p
0 < x < d Þ = p - e < L(x ) < p + e.
2
p
Porém, < L( x ) implicaria 0 < e1/ p < x , onde e » 2,718 é o número de
2
Euler. Mas isso contraria o fato de x poder ser qualquer elemento no intervalo
(0, d ) . A contradição veio de supormos o limite finito, o que não ocorre. Trataremos
de limites deste tipo no próximo tópico.
O exemplo 2 acima exibe o caso em que o domínio de uma função não possui
pontos de acumulação à esquerda e, portanto, o limite lateral à esquerda não
existe. O resultado a seguir mostra que, se X-¢ ¹ Æ e a Î X-¢ , então o limite lateral
lim x®a- f (x ) existe, para uma função monótona e limitada f definida em X , o
mesmo valendo para um ponto de acumulação à direita.
Uma função f : X ®  é dita estritamente crescente se, dados x1 , x2 Î X , com
x1 < x2 , temos f (x1 ) < f (x2 ) . Se, para x1 , x2 Î X , com x1 < x2 , ocorre f (x1 ) > f (x2 ) ,
dizemos que f é estritamente decrescente. Se, para x1 , x2 Î X ocorre f (x1 ) £ f (x2 ) ,
dizemos que f é crescente e se, para x1 , x2 Î X ocorre f (x1 ) ³ f (x2 ) , dizemos que
f é decrescente. Se f é de um dos tipos acima, dizemos que f é uma função
monótona.

AULA 5 TÓPICO 2 93
 Teorema 8: Sejam X Ì  , f : X ®  uma função monótona limitada, a Î X+¢
e b Î X-¢ . Os seguintes limites laterais existem:
L = lim f (x ),
+
x®a
M = lim f (x ).
-
x®a

Demonstração: Vamos supor que a função

f é crescente, sendo os demais casos análogos.
Seja L = inf{ f (x )|x Î X ,x > a} . Vamos mostrar sai b a mai s !
que L = lim x®a+ f (x ) . De fato, pela definição Heinrich Eduard Heine, matemático alemão,
de ínfimo, dado e > 0 , existe b Î X , b > a tal nasceu em 1821 e faleceu em 1881. Em sua
que L £ f (b) < L + e . Como f é crescente, se homenagem, a definição de limite de uma função
a<x<b, então L £ f ( x ) £ f ( b) < L + e . foi chamada definição de Heine. Para mais
Tomando d = b-a > 0 , vemos que, se informações, consulte a página http://www-
a < x < a + d , então L - e < L £ f (x ) < L + e , ou history.mcs.st-and.ac.uk/Biographies/Heine.
seja, | f (x ) - L|< e . De modo inteiramente análo- html.
go, vemos que, se M = sup{ f (x )|x Î X ,x < b} ,
então lim x®b- f (x ) = M .

Na aula 4, vimos que uma função

x:® , cujo domínio é o conjunto
 ={1,2,3,} dos números naturais, é chamada ate n ç ão !
sequência de números reais. Para cada n Î  , Na demonstração do teorema 8, usamos, de modo
usamos a notação xn em vez da notação usual essencial, a propriedade de completude dos reais,

x(n) para o valor da função x em n , e usamos a vista na aula 2.

notação (xn ) para indicar a sequência x :  ®  .

Dizemos que o limite de xn é igual a L se, para
cada e > 0 , existe N Î  tal que
n ³ N Þ|xn - L|< e.
Usamos as notações lim n®¥xn = L , ou lim nxn = L , ou lim xn = L .
A seguir, obteremos uma caracterização de limite de uma função, dada no
Teorema 9, chamada definição de limite segundo Heine.

94 Análise Real
 Teorema 9: Sejam X Í  , f : X ®  uma função e a Î X ¢ . Vale a seguinte
equivalência
lim f (x ) = L Û lim f (xn ) = L
x®a n
Para toda sequência (xn ) tal que lim nxn = a .

Demonstração: (Þ) Suponhamos que lim x®a f (x ) = L . Seja (xn ) uma

sequência que converge para a . Dado e > 0 , existe d > 0 tal que |x - a |< d
implica | f (x ) - L|< e e, para cada d > 0 , existe N natural tal que n ³ N implica
|xn - a |< d . Temos, então, as seguintes implicações:
n ³ N Þ|xn - a |< d Þ| f (xn ) - L|< e.
Mostramos, assim, que, dado e > 0 , existe um número natural N tal que
n ³ N implica | f (xn ) - L|< e . Portanto lim f (xn ) = L .
(Ü) Reciprocamente, vamos supor que lim x®a f (x ) ¹ L e, a partir deste fato,
produziremos uma sequência (xn ) que converge para a tal que lim f (xn ) ¹ L .
1
De fato, para cada n ³ 1 natural, consideremos xn = a + . Dado d > 0 ,
n 1
existe (pela propriedade arquimediana dos reais) n ³ 1 tal que < d , logo
1 n
a - d < a < a + < a + d . Isso mostrea que lim xn = a . Por outro lado, como
n
lim x®a f (x ) ¹ L , existe e > 0 tal que, para todo d > 0 , a - d < x < a + d implica
/ (L - e, L + e) , isto é, | f (x ) - L|³ e . Em particular, xn Î (a - d , a + d ) ,
f (x ) Î
para n natural suficientemente grande. Logo, f (xn ) Î
/ (L - e, L + e) , para n
suficientemente grande, o que nos leva a concluir que lim f (xn ) ¹ L .

Encerramos aqui nosso segundo tópico, que tratou de limites laterais. Vimos
que é possível usar a ideia de limite lateral para testar se uma função possui limite
em um determinado ponto. Vimos, ainda, um resultado (Teorema 9), que nos
permite usar sequências para testar se um determinado limite existe ou não.

AULA 5 TÓPICO 2 95
 TÓPICO 3
Limites no infinito e limites
infinitos
O bjetivos
• Compreender as noções de limite no infinito e
de limite infinito
• Calcular limites no infinito de funções racio-
nais

A té aqui vimos a noção de limite como uma ferramenta para

analisar o comportamento de uma função na vizinhança de um
ponto fixado sobre a reta real. Neste tópico, veremos que é
possível adaptar a definição de limite de modo a nos permitir a análise do
comportamento de uma função quando o valor absoluto |x | da variável torna-se
“arbitrariamente grande”. Veremos ainda que existem funções que assumem
valores arbitrariamente grandes (em valor absoluto) quando a variável x se
aproxima de algum ponto a da reta real.
Vamos, agora, considerar limites quando a variável x torna-se muito grande
em valor absoluto. Estes limites são chamados limites no infinito. Suponhamos
que X Ì  não seja limitado superiormente. Consideremos a função f : X ®  .
Dado L Î  , dizemos que f (x ) tende a L quando x tende ao infinito positivo,
ou a “mais infinito”, quando
Dado e > 0 , existe N Î  , N > 0 , tal que x > N Þ| f (x ) - L|< e .
Indicamos este limite por lim x®+¥ f (x ) = L .
De modo análogo, se X não é limitado inferiormente e f : X ®  é uma
função, então o número M é dito limite de f (x ) quando x tende ao infinito
negativo, ou a “menos infinito”, quando
Dado e > 0 , existe N Î  , N > 0 , tal que x < -N Þ| f (x ) - M |< e .
Indicamos este limite por lim x®-¥ f (x ) = M .

Exemplos:
1 1
1. Temos lim x®+¥ = 0 e lim x®-¥ = 0 . De fato, dado e > 0 , existe
x x
1 1 1
N = >0 tal que x > N = implica 0 < f (x ) = < e , ou seja,
e e x
| f (x ) - 0|< e . O caso x ® -¥ é análogo.

96 Análise Real
 2. Se f (x ) = e x , então lim x®-¥ f (x ) = 0 . De fato, dado e > 0 , existe
N = - ln e tal que x < -N = ln e implica 0 < e x < e ln e = e , ou seja,
x < -N implica |e x - 0|< e .
a
3. lim x®+¥ = 0 , para todo n ³ 1 natural e todo a Î  constante. De
xn
fato, as propriedades operatórias de limite implicam que
n n
a æ1ö æ 1ö
lim n = a lim çç ÷÷÷ = a çç lim ÷÷÷ = a × 0 = 0.
n
x ®+¥ x x ®+¥ è x ø èx®+¥ x ø
4. Se p(x ) e q(x ) são funções polinomiais, então
p( x )
lim = 0,
x ®+¥ q( x )

se o grau do polinômio q(x ) é maior do que o grau do polinômio p(x ) . De

fato, sejam p(x ) = a0 + a1x +  + an x n e seja q(x ) = b0 + b1x +  + bm x m ,
com m > n . Então
a0 a a
+ m1-1 +  + mn-n
p( x ) a0 + a1x +  + an x n x m
x x 0
lim = lim = = = 0.
x ®+¥ q( x ) x ®+¥ b + b x +  + b x
m b b b
0 1 m 0
+ 1 +  + m-1 + bm bm
x m x m-1 x
No limite acima, usamos diversas vezes o resultado exibido no exemplo
anterior.
5. Se p(x ) e q(x ) são funções polinomiais
onde p e q são polinômios de mesmo grau, com
coeficientes líderes an e bn , respectivamente,
então
ate nção!
p(x ) an
lim = .
x ®+¥ q( x ) bn
p( x )
As funções do tipo f (x ) = , onde p(x) e Veja o exercício de aprofundamento 2.
q( x )
q(x) são polinômios e q(x) não é identicamente Dada uma função f : X ®  , onde
nulo, são chamadas funções racionais. X Ì  , e dado a Î X ¢ , pode ocorrer a seguinte
situação:
Dado N > 0 , existe d > 0 tal que
|x - a |< d Þ f (x ) > N . Neste caso, dizemos que
f (x ) tende a “mais infinito” quando x tende a
a e escrevemos lim x®a f (x ) = +¥ .
ate nção!
Se, por outro lado, ocorre o seguinte:
Os símbolos -¥ e +¥ não indicam números. Dado N > 0 , existe d>0 tal que
São símbolos que indicam o comportamento da |x - a |< d Þ f (x ) < -N , dizemos que f (x )
função quando x tende a a . tende a “menos infinito” quando x tende a a e
escrevemos lim x®a f (x ) = -¥ .

AULA 5 TÓPICO 3 97
 Exemplos:
1
1. Se f :  -{0} ®  é dada por f (x ) = , então lim x®0 f (x ) = +¥ .
x2
Observemos, primeiramente, que 0 não pertence ao domínio de f ,
mas 0 é ponto de acumulação do conjunto  -{0} . Dado N > 0 , seja
1
d= . Consequentemente, se |x - 0|< d , então
N
1 1 1
|x |< d Þ|x |< Þ x 2 < Þ f (x ) = 2 > N.
N N x
Isso mostra que lim x®0 f (x ) = +¥ , como queríamos.
2. lim x®0+(ln x ) = -¥ . De fato, dado N > 0 , seja d = e -N > 0 . Se
0 < x < d = e -N , então ln x < ln(e -N ) = -N , e isso mostra que
lim x®0+ (ln x ) = -¥ .

Com estes exemplos, encerramos nosso terceiro tópico e nossa aula 5.

Discutimos a definição e as propriedades do limite de funções. Estudamos, também,
os casos especiais em que o limite é lateral, quando o limite ocorre com x tendendo
a +¥ ou a -¥ e ainda o caso em que o limite é infinito.

Ati v i dade s de ap r o f u dame n to

1. Sejam X Ì  , a Î X ¢ e f : X ®  uma função, tais que lim x®a f ( x ) = L , onde L Î  e L < 0 .

Mostre que existe d > 0 tal que f ( x ) < 0 , para todo x Î (a - d , a + d ) . (Sugestão: proceda como
na demonstração do Teorema 5).
2. Usando o mesmo raciocínio do exemplo 4, mostre que, se p(x ) e q(x ) são funções polinmiais onde
p e q são polinômios de mesmo grau, com coeficientes líderes an e bn , respectivamente, então
p(x ) an
lim = .
x ®+¥ q( x ) bn
3. Dada uma função polinomial p :  ®  , p( x ) = an x n +  + a1x + a0 , com an ¹ 0 , mostre que
a. Se an > 0 e n é par, então lim x®+¥ p(x ) = +¥ e lim x®-¥ p(x ) = +¥ .
b. Se an > 0 e n é ímpar, então lim x®+¥ p(x ) = +¥ e lim x®-¥ p(x ) = -¥ .
c. Se an < 0 e n é par, então lim x®+¥ p(x ) = -¥ e lim x®-¥ p(x ) = -¥ .
d. Se an < 0 e n é ímpar, então lim x®+¥ p(x ) = -¥ e lim x®-¥ p(x ) = +¥ .

98 Análise Real
AULA 6 Limites de funções

Olá, aluno (a),

Nesta aula, estudaremos as funções contínuas. Intuitivamente, podemos imaginar

uma função contínua em um ponto a de seu domínio como sendo uma função
que tenha comportamento estável em uma vizinhança de a . Mais precisamente,
uma função é contínua em a se pequenas variações de um número real x próximo
ao ponto a causam pequenas variações de f (x ) em torno de f (a ) . Para colocar
isso de um modo claro, devemos usar a noção de limite, desenvolvida na aula
5. As funções contínuas têm propriedades adequadas ao estudo de fenômenos
físicos. Estudaremos nesta aula a principal destas propriedades: o Teorema do
Valor Intermediário.

Objetivos

• Compreender a definição de função contínua e interpretar geometricamente

esta definição
• Identificar se uma dada função é ou não é contínua
• Enunciar, demonstrar e aplicar o Teorema do valor Intermediário

AULA 6 99
 TÓPICO 1 Definição e exemplos de
funções contínuas
O bjetivos
• Identificar funções contínuas e funções descontínuas
• Reconhecer e aplicar as propriedades das funções con-
tínuas

N este primeiro tópico, definiremos, de modo preciso, a noção de

função contínua e veremos suas propriedades básicas. As funções
contínuas surgem naturalmente na descrição de fenômenos
naturais, como indica o seguintes exemplo.
Suponhamos que um ponto material esteja
sujeito a uma força constante e não-nula. Como
consequência da segunda lei de Newton, este sai b a mai s !
ponto tem o seu movimento uniformemente Para revisar o conteúdo sobre a Lei de Newton,
acelerado, com aceleração a ¹ 0 . Sua velocidade acesse o site http://efisica.if.usp.br/mecanica/
é dada pela equação v(t ) = v0 + at . Se o tempo basico/2a_lei_de_newton/seg_lei_Newton/
é medido em segundos, após a passagem de 1
segundo, a velocidade do ponto material é de
v(1) = v0 + a . Dizemos que o ponto material sofreu uma aceleração e sua velocidade
variou de v0 a v0 + a . Se a > 0 , então v0 < v0 + a .
É natural se pensar que o ponto material assumiu, no intervalo de tempo
entre 0 e 1, todas as possíveis velocidades entre v0 e v0 + a . Para exprimirmos este
fato, dizemos que a função v(t ) = v0 + at , que fornece a velocidade a cada instante
de tempo entre 0 e 1, é uma função contínua.
Exemplos deste tipo são abundantes na natureza: se uma pessoa nasce com
40cm e quando adulto tem 170cm , em algum momento da vida teve exatamente
100cm de altura. Se um recipiente, a princípio vazio, é cheio em uma hora, em

100 Análise Real

algum instante dessa hora esteve exatamente com medade da capacidade ocupada.
Nestes dois casos, as funções que regem a variação da grandeza (altura da pessoa
ou volume ocupado no recipiente) são contínuas.
Consideremos um subconjunto X Ì  e um ponto a Î X que também seja
ponto de acumulação X , isto é, a Î X ¢ . Dizemos que uma função f : X ®  é
contínua em a , se
1. o limite lim x®a f (x ) existe e
2. vale a igualdade
lim f (x ) = f (a ).
x®a
Uma função f : X ®  é dita contínua se é contínua em todo ponto a Î X .
A continuidade é uma propriedade preservada pelas operações elementares,
como podemos ver no resultado a seguir.

Teorema 1: Sejam X Í  , a Î X e f , g : X ®  duas funções contínuas em

a . Então
1. A função f + g : X ®  , dada por ( f + g )(x ) = f (x ) + g (x ) , é
contínua em a .
2. Dada uma constante k Î  , a função kf : X ®  , dada por
(kf )(x ) = k × f (x ) , é contínua em a .
3. A função fg : X ®  , dada por ( fg )(x ) = f (x ) × g (x ) , é contínua em
a.
f (x )
4. A função f / g : X ®  , dada por ( f / g )(x ) = , é contínua em a ,
g (x )
desde que g (a ) ¹ 0 .

Demonstração: Todos os itens são consequências do Teorema 6, que vimos

na Aula 5, e da hipótese de f e g serem contínuas no ponto a . No último item,
vale ressaltar que, pela continuidade lim x®a g (x ) = g (a ) , logo supor que g (a ) ¹ 0
equivale a supor que lim x®a g (x ) ¹ 0 .
Exibiremos, a seguir, alguns exemplos de funções contínuas. De especial
importância é o exemplo 4, que mostra que toda função polinomial é contínua.

Exemplos:
1. A função constante f : R ®  , f (x ) = k , para todo x Î  , é contínua.
De fato, se a Î  , lim x®a f (x ) = lim x®ak = k = f (a ) .

AULA 6 TÓPICO 1 101

 2. A função identidade f :  ®  ,
f (x ) = x , é contínua.
De fato, dado aÎ ,
lim x®a f (x ) = lim x®ax = a = f (a ) . ate n ç ão !
3. Dado um número inteiro n ³ 2 , seja À primeira vista, pode parecer estranho que a

f :  ®  , dada por f (x ) = x n . função f do exemplo 5 seja contínua. Ocorre

Aplicando o item 3 do Teorema que o único ponto a da reta real onde o limite

1, n - 1 vezes, e o resultado do lim x®a f (x ) não existe é o ponto a = 0 , que

não faz parte do domínio de f . Assim, não faz
exemplo anterior, concluímos que a
sentido perguntar se f é ou não e contínua em
função f é contínua.
a = 0 , pois este ponto não faz parte do domínio
4. Seja p:®  uma função da função f . No exemplo 6, em que 0 faz parte
polinomial, dada por do domínio, a função em questão não é contínua
n n-1
p(x ) = an x + an-1x +  + a1x + a0 . neste ponto.

Aplicando n vezes os itens 1 e 2 do

Teorema 1 e usando os resultados dos exemplos
acima, concluímos que a função p é contínua.
1
5. A função f :  -{0} ®  , dada por f (x ) = é contínua. De fato,
x1 1
dado a Î  -{0} , temos lim x®a f (x ) = lim x®a = = f (a ) . Logo, a
x a
função f é contínua.
1
6. A função f :  ®  , dada por f (x ) = , se x ¹ 0 e f (0) = 0 não é
x
contínua. De fato, 0 é um ponto do domínio de f e lim x®0+ f (x ) = +¥
enquanto lim x®0- f (x ) = -¥ . Como os limites laterais não coincidem,
o limite lim x®0 f (x ) não existe. Portanto, f não é contínua em 0 .

Exemplos:
1. A função é contínua. De fato, dado a Î  ,
f (x ) = senx
x-a
sen
x-a x+a 2 |×|cos x + a |×|x - a |.
|senx - sena |=|2sen cos |=|
2 2 x - a 2
2
Usando o limite trigonométrico fundamental, estudado no curso de Cálculo
x-a
sen
1, obtemos lim x®a 2 =1 . Como a função cos x + a é limitada e |x - a |
x-a 2
2
tende a zero quando x tende a a , obtemos lim x®a |senx - sena |= 0 , ou seja,
lim x®a(senx ) = sena .

102 Análise Real

 2. A função E (x ) = e x é contínua. De fato, dado a Î  ,
ex - ea
|e x - e a |=| |×|x - a |.
x-a ex - ea
Sabemos, do curso de Cálculo I, que lim x®a é a derivada de e x em
x - a
x = a , isto é, é igual a e a . Assim,
æ ex - ea ö
lim |e - e |= lim ççç|
x a
|×|x - a |÷÷÷ = e a × 0 = 0,
x®a x®a è x - a ø÷
o que mostra que e x é contínua.

Dadas duas funções f : X ®  e g : Y ®  , tais que a imagem f ( X ) de

f está contida em Y , ou seja, f ( X ) Í Y , então podemos considerar a função
composta g  f : X ® 

Figura 1: Gráfico da função g f :X®

A seguir, mostraremos que a composta de duas funções contínuas também

é contínua.

Teorema 2: Dadas duas funções contínuas f : X ®  e g : Y ®  , tais que

f ( X ) Í Y , a função composta g  f : X ®  é contínua.

Demonstração: Queremos mostrar que, para todo aÎX ,

lim x®a g ( f (x )) = g ( f (a )) . Como g é contínua, dado e > 0 , existe e ¢ > 0 tal que, se
y Î Y e | y - f (a )|< e ¢ , então | g ( y ) - g ( f (a ))|< e . Como f também é contínua,
existe d > 0 tal que, se |x - a |< d , então | f (x ) - f (a )|< e ¢ . Consequentemente,

|x - a |< d Þ| f (x ) - f (a )|< e ¢ Þ| g ( f (x )) - g ( f (a ))|< e.

Isso mostra que a função g  f é contínua em todo a Î X .

Um ponto a Î X onde uma função f : X ®  não é contínua é chamado

ponto de descontinuidade de f . Uma função que apresenta pelo menos um ponto
de descontinuidade é chamada função descontínua.

AULA 6 TÓPICO 1 103

 Exemplos:
1. A função f :  ®  , dada por
ïì-1 se x £ 0
f (x ) = ïí
ïïî 1 se x > 0
é descontínua em 0 . De fato, lim x®0- f (x ) = -1 ¹ 1= lim x®0+ f (x ) , logo lim x®0 f (x )
não existe e, portanto, f não é contínua em 0 .

Figura 2: Gráfico de função descontínua

2. Uma função com uma infinidade de descontinuidades. Dado um

número real x , a notação ëêx ûú , indica o maior número inteiro que não
supera x , ou seja,
x  = max{n ∈  |n ≤ x}.
Por exemplo, êêë 2 úúû =1 , êëp úû = 3 , êëe úû = 2 , êê 1 úú = 0 , êë5úû = 5 , êë-2,1úû = -3 .
ëê 2 ûú
A função f :  ®  , dada por
f (x ) = x - êëx úû
é descontínua em n , para todo n inteiro. De fato, se n Î  , então
lim x®n- f (x ) = lim x®n (x - êëx úû ) = lim x®n(x - (n - 1)) =1 . Isso ocorre porque, como
x <n
x ® n e x < n , podemos supor que n - 1< x < n , logo êëx úû = n - 1 .
Por outro lado, lim x®n+ f (x ) = lim x®n (x - êëx úû ) = lim x®n(x - n) = 0 . Isso
x >n
ocorre porque, como x ® n e n < x , podemos supor que n < x < n + 1 .
Como os limites laterais são diferentes, lim x®n f (x ) não existe, logo f é
descontínua em n , para cada n inteiro.

104 Análise Real

 Figura 3: Gráfico da função f (x ) = x - êëx úû

3. Uma função descontínua em todos os pontos da reta. Seja f :  ®  ,

/  e f (x ) =1 , se x Î  . Vamos mostrar que
dada por f (x ) = 0 , se x Î
a função f é descontínua em a , para todo número real a . Uma vez
que o conjunto  dos números racionais é denso em  , dados a Î 
e d > 0 , existem r Î  e t Î  -  , tais que |r - a |< d e |t - a |< d .
Se lim x®a f (x ) existisse e fosse igual a L , então existiria d > 0 tal que
1
| f (x ) - L|< para todo x Î  tal que |x - a |< d . Em particular,
2
1 1
teríamos | f (r ) - L|< e | f (t ) - L|< . Mas, sendo r racional e t
2 2
irracional, temos f (r ) =1 e f (t ) = 0 , logo
1 1
1=|1 - 0|=| f (r ) - f (t )|£| f (r ) - L|+| f (t ) - L|< + =1,
2 2
o que é um absurdo. A contradição veio de supormos que o limite
lim x®a f (x ) existia. Logo este limite não existe, para qualquer a Î  o
que mostra que f não pode ser contínua em ponto algum da reta real.

Dada uma função f : X ®  e Y Í  , usamos a seguinte notação

f -1 (Y ) ={x Î X | f (x ) Î Y }.
Este conjunto é chamado imagem inversa ou pré-imagem de Y . O
conjunto f -1 (Y ) pode ser, inclusive, o conjunto vazio, como mostra o primeiro
exemplo abaixo.

Exemplos:
Seja f :  ®  , dada por f (x ) = x 2 e seja Y = (-1,0) ={x Î  |-1< x < 0} .
Então f -1 (Y ) = Æ . De fato, se x Î f -1 (Y ) , então f (x ) Î Y , ou seja, x 2 Î (-1,0) .

AULA 6 TÓPICO 1 105

 Mas isso implicaria -1< x 2 < 0 , o que é uma contradição, pois x 2 ³ 0 , para todo
x Î  . A contradição vem de supormos que existe algum elemento em f -1 (Y ) .
Portanto, este conjunto é vazio.
Se f :  ®  é a função constante f (x ) =1 , então f -1 ({1}) =  .

Na aula 2, vimos a definição de conjunto aberto. Vamos usar esta definição

para caracterizar, no Teorema abaixo, as funções contínuas.

Teorema 3: Dado X Í  , uma função f : X ®  é contínua se, e somente se,

f -1 ( A) é um aberto, para todo aberto A Í  .

Demonstração: Inicialmente, suponhamos que f é contínua. Isto significa

que, dado a Î X , lim x®a f (x ) = f (a ) . Seja A Í  um aberto. Queremos mostrar
que f -1 ( A) é um aberto. Para tal, tomemos a Î f -1 ( A) . Então, f (a ) Î A . Como
A é aberto, existe e > 0 tal que y Î A , sempre que | y - f (a )|< e . Uma vez que
lim x®a f (x ) = f (a ) , existe d > 0 tal que |x - a |< d implica | f (x ) - f (a )|< e . Logo,
-1
|x - a |< d implica f (x ) Î A , ou seja, x Î f ( A) . Dessa forma, mostramos que,
dado a Î f -1 ( A) , existe d > 0 tal que (a - d , a + d ) Ì f -1 ( A) . Isso mostra que
f -1 ( A) é um aberto.
Reciprocamente, suponhamos que f -1 ( A) é aberto para todo aberto A Í  .
Dado a Î X e e > 0 , o intervalo I = ( f (a ) - e, f (a ) + e) é um aberto de  . Assim,
por hipótese, f -1 ( I ) é um aberto e a Î f -1 ( I ) , o que significa que existe d > 0 tal
que (a - d , a + d ) Ì f -1 ( I ) . Logo, dado e > 0 , existe d > 0 tal que
|x - a |< d Þ x Î (a - d , a + d ) Ì f -1 ( I ) Þ f (x ) Î I = ( f (a ) - e, f (a ) + e) Þ| f (x ) - f (a )|< e.
Portanto lim x®a f (x ) = f (a ) .

Com esta caracterização, encerramos o primeiro tópico da aula 6. Vimos aqui

a definição e propriedades das funções contínuas. No próximo tópico, exibiremos
alguns teoremas importantes sobre funções contínuas.

106 Análise Real

TÓPICO 2 O teorema do valor
intermediário
O bjetivos
• Compreender o Teorema do Valor Intermediário
• Exibir exemplos para os quais o Teorema do Valor
Intermediário não é válido
• Aplicar o Teorema do valor Intermediário na localização de
raízes reais de polinômios

N este tópico, estudamos o Teorema do valor intermediário

(Teorema 4) e algumas de suas consequências. O Teorema do
valor Intermediário é a propriedade fundamental das funções
contínuas de uma variável real. Ele garante que as funções contínuas se comportam
como se espera, ou seja, que descrevem de modo adequado certos fenômenos
naturais, como aqueles expostos na introdução do tópico anterior.
Costuma-se afirmar, nos cursos de Cálculo, que o gráfico de uma função
contínua não apresenta saltos. Evidentemente, este não é um bom critério para
verificar se uma dada função é ou não é contínua. De fato, a função tangente ,
embora contínua, tem saltos em seu gráfico. Isso cocorre porque seu dominio é
formado por vários intravalos disjuntos, e não por um intervalo só. Assim, um
critério mais conveniente para verificarmos se
uma dada função é contínua é, primeiramente,
olhá-la como uma transformação. Podemos
sa i ba ma i s! dizer, então, que uma função é contínua se leva
Faça uma revisão sobre função tangente intervalos da reta em intervalos da reta. Para
acessando o site http://ecalculo.if.usp.br/funcoes/ garantir que a imagem de um dado intervalo por
trigonometricas/ftangente/ftangente.htm uma função contínua não contenha ``falhas’’,
precisamos do seguinte resultado fundamental.

AULA 6 TÓPICO 2 107

 Teorema 4 (Teorema do Valor Intermediário): Seja f : [a, b ] ®  uma fun-
ção contínua. Se f (a ) < d < f (b) então existe tal que f (c) = d .

Demonstração: Seja A ={x Î [a, b ]| f (x ) < d } . Como, por hipótese, f (a ) < d

, temos a Î A , logo A ¹ Æ . Tomemos a Î A . Uma vez que f (a ) < d e d < f (b) ,
temos que a ¹ b . Mais precisamente, a Î [a, b ] e a ¹ b implicam a < b .
A função f é contínua em a , logo, dado
e = d - f (a ) > 0 , c Î (a, b) existe d > 0 tal que
[a , a + d ) Ì [ a , b ] e
x Î [a, a + d ) Þ f (x ) Î [ f (a ), f (a ) + e). ate n ç ão !
Em particular, f ( x ) < f (a ) + e = d .
Obtenha mais informações sobre o Teorema do
Assim, se x Î [a, a + d ) , então f (x ) < d , o que
Valor Médio assistindo ao vídeo http://www.
significa que [a, a + d ) Ì A . Disso concluímos youtube.com/watch?v=Da84AXj2rvA
que o conjunto A não possui elemento máximo.
Seja c = sup A . Dado n ³ 1 , existe
1
xn Î A tal que c - < xn £ c . Logo, lim xn = c
n
. Pelo Teorema de Heine (Teorema 9 da aula
5), f (c ) = lim f (xn ) £ d . Se f (c ) < d , então
sai b a mai s !
c pertenceria ao conjunto A , logo teríamos
O Teorema 4 continua válido, com a mesma
c = max A . Mas o conjunto A não possui
demonstração, no caso em que f ( b) < d < f ( a ) .
elemento máximo. Portanto, f (c ) < d não ocorre.
Como f (c ) £ d , deve necessariamente ocorrer a
igualdade f (c ) = d , como queríamos.
Uma consequência importante do Teorema do Valor Intermediário é o
resultado abaixo, devido ao matemático Bernard Placidus Johann Nepomuk
Bolzano (1781-1848).

Teorema 5 (Bolzano): Seja f : [a, b ] ®  uma função contínua. Se f (a ) e f (b)

são números reais com sinais contrários, então existe c Î [a, b ] tal que f (c ) = 0 .

Demonstração: Para fixar ideias, suponhamos que f (a ) < 0 e f (b) > 0 .

Podemos usar o Teorema 4, com d = 0 , obtendo então c Î (a, b) tal que f (c ) = 0 .

108 Análise Real

 O Teorema 6 abaixo garante que uma função contínua leva intervalos em
intervalos.

Teorema 6: Seja I um intervalo. Se f : I ®  é uma função contínua, então

f ( I ) é um intervalo.

Demonstração: Primeiramente,
suponhamos que f é limitada em I . Sejam
ate nção! a = inf xÎI f (x ) e b = sup xÎI f (x ) . Temos
O Teorema 5 nos dá um método para decidir se há f ( I ) Í (a, b ) . Se d é um número real tal que
alguma raiz de uma equação do tipo f ( x ) = 0 , a < d < b , então existe c Î I tal que f (c ) = d .
com f contínua, em um dado intervalo Isso mostra que (a, b ) Í f ( I ) . Assim, pode
I = [a, b ] . Se f (a ) = 0 , ou f (b) = 0 , então a , ocorrer f ( I ) = (a, b ) , f ( I ) = [a, b ) , f ( I ) = (a, b ]
ou b , é uma raiz da equação. Caso f (a ) ¹ 0 e ou f ( I ) = [a, b ] .
f (b) ¹ 0 tenham sinais contrários, o Teorema de No caso em que f não é limitada, a única
Bolzano afirma que há pelo menos uma raiz de diferença é que f ( I ) pode ser um intervalo do
f (x ) = 0 no interior do intervalo I . tipo (a, +¥) ou (-¥, b ) .

Exemplos:
1. Considere a função polinomial P:® , dada por
P (x ) = x - 2x - 3x + 1 .
3 2
Temos P (0) =1> 0 e P (1) = -3 < 0 .
Pelo Teorema 5, existe c , 0 < c <1 , tal que P (c ) = 0 .

2. A função f : [0,1] ®  , dada por

ìï 1 se x=0
ïï
ï
f (x ) = í x se 0 < x <1
ïï
ïîï-1 se x =1
é contínua em (0,1) mas não é contínua em [0,1] . Note que o Teorema
do Valor Intermediário não é válido para esta função, pois ela não é
contínua em [0,1] . De fato, d = -1 / 2 satisfaz f (0) < d < f (1) e não
existe c Î [0,1] tal que f (c ) = -1 / 2 .

3. Se I Ì  é um intervalo e f : I ®  é uma função contínua cuja

imagem é formada apenas por números inteiros, então f é constante.
De fato, pelo Teorema 6, f ( I ) deve ser um intervalo contido no
conjunto dos números inteiros, logo é degenerado, isto é, reduz-se a
um ponto. Portanto, a função f é constante.

AULA 6 TÓPICO 2 109

 Outra aplicação interessante do Teorema 4 é o resultado abaixo, conhecido
como Teorema do Ponto Fixo para intervalos.

Teorema 7: Seja f : [a, b ] ® [a, b ] uma função contínua. Mostre que existe
c Î [a, b ] tal que f (c ) = c . Um número real c tal que f (c ) = c é chamado ponto
fixo de f .

Demonstração: Se f (a ) = a ou f (b) = b ,
não há nada a demonstrar, pois basta
escolhermos c = a ou c = b , respectivamente.
Suponhamos, pois, que f (a ) ¹ a e f (b) ¹ b .
ate n ç ão !
Como o contradomínio de f é o intervalo [a, b ] ,
O Teorema 7 acima é um caso particular do
sabemos que f (a ) ³ a e que f (b) £ b . Como não
“Teorema do Ponto Fixo de Brouwer’’, descoberto
podem ocorrer igualdades nestas desigualdades,
por Luitzen Egbertus Jan Brouwer (1881 - 1966),
temos f (a ) > a e f (b) < b .
que garante a existência de um ponto fixo para
Consideremos, agora, a função
uma função contínua f : C ® C , onde C é um
h : [a, b ] ®  , dada por h(x ) = x - f (x ) . Como f
conjunto compacto e convexo. Este resultado
é contínua, h também é uma função contínua. mais geral tem aplicações à teoria das equações
Além disso, h(a ) < 0 e h(b) > 0 . Pelo Teorema 5, diferenciais ordinárias.
existe c Î (a, b) tal que h(c ) = 0 , o que implica
f (c ) = c , como queríamos demonstrar.
Encerramos este tópico com um importante teorema devido a Karl Theodor
Wilhelm Weierstrass (1815-1897). O Teorema de Weierstrass trata de funções
contínuas cujos domínios são compactos. Relembremos que um conjunto C ,
contido na reta, é chamado compacto se é um conjunto fechado e limitado.
Isto significa que C contém todos os seus pontos de acumulação (pois é fechado)
e existe um número real positivo M tal que |x |£ M , para todo x Î  (pois  é
limitado). Podemos enunciar o teorema da seguinte maneira:

Teorema 8: Seja C Ì  um conjunto compacto e f : C ®  uma função

contínua. Então:
1. a imagem f (C ) da função f é um compacto.
2. existem a, b Î C tais que f (a ) £ f (x ) £ f (b) , para todo x ÎC .

110 Análise Real

 Demonstração: (1) Seja ( yn ) uma sequência em f (C ) . Para cada n ³ 1 ,
existe xn Î C tal que f (xn ) = yn . Como C é compacto, a sequência (xn ) é
limitada, logo admite uma subsequência convergente (xnk ) , digamos, xnk ® x .
Como C é fechado, temos x Î C . Sendo f uma função contínua, obtemos
lim ynk = lim f (xnk ) = f (x ) = y Î f (C ) . Mostramos, assim, que toda sequência em
f (C ) possui uma subsequência que converge para um ponto de f (C ) . Isso implica
de imediato que f (C ) é fechado, pois qualquer ponto de acumulação L de f (C ) é
limite se uma sequência de pontos em f (C ) . Esta sequência de pontos admite uma
subsequência que converge para um ponto de f (C ) , necessariamente igual a L .
Logo, todo ponto de acumulação L de f (C ) é um elemento de f (C ) .
Por outro lado, se f (C ) não fosse limitado, seria possível produzir uma
sequência divergente em f (C ) sem pontos de acumulação, ou seja, sem subsequências
convergentes. Como isso não pode ocorrer, segue que f (C ) é limitado. Logo f (C )
é compacto, como queríamos demonstrar.
(2) Pelo item (1), f (C ) é um compacto de  . Logo, A = inf f (C ) existe,
pois f (C ) é limitado, e A Î f (C ) , porque o ínfimo de um conjunto é um de seus
pontos de acumulação e f (C ) é fechado. Analogamente, B = sup f (C ) Î f (C ) . Como
A, B Î f (C ) , existem a, b Î C tais que f (a ) = A e f (b) = B . Portanto f (a ) £ y £ f (b) ,
para todo y = f (x ) Î f (C ) . Isso encerra a demonstração do Teorema.

Com este resultado, encerramos a aula 6, que tratou das funções contínuas
e de suas propriedades, em especial do Teorema do Valor Intermediário e suas
consequências.

Ati v i da de s de a p ro fu da m e n to
Funções continuas
(Elaborado pelo professor Ângelo Papa Neto)
1. Seja I Ì  , f : I ®  uma função e a Î I tal que f é descontínua em a .
- O ponto a Î I é chamado ponto de descontinuidade de primeira ordem se os limites laterais
L+ = lim x®a+ f (x ) e L- lim x®a- f (x ) existem. Se L+ = L- ¹ f (a ) , dizemos que a é uma
descontinuidade removível. Se L+ ¹ L- , dizemos que a é uma descontinuidade não-removível. Neste
caso, a diferença L+ - L- é chamada salto de descontinuidade de f em a .

AULA 6 TÓPICO 2 111

 - O ponto a Î I é chamado ponto de descontinuidade de segunda ordem se pelo menos um dos
limites laterais L+ ou L- não existe ou é infinito.
Para cada função f :  ®  abaixo, encontre (se existirem) os pontos de descontinuidade e verifique
se são de primeira ou de segunda ordem. No caso de existirem pontos de descontinuidade de primeira
ordem, determine se tais pontos são descontinuidades removíveis e, se for caso, encontre o valor do salto
de descontinuidade:

ìï1 2
ïï (2x + 3) se -¥ < x £ 1
ïï 5
f (x ) = ïí 6 - 5x se 1< x < 3
ïï
ïï x - 3 se 3 £ x < ¥
ïï
î

ìï-2x 2 se x £ 3
f (x ) = ïí
ïïî 3x se 3 < x
|2x - 3|
f (x ) =
2x - 3

f (x ) = x - êëx úû

x +2
f (x ) = x +
|x + 2|

ìï senx
ï se x ¹ 0
f (x ) = ïí x
ïï
ïî 1 se x=0

2. A função d :  ® {0,1} , dada por

ïì1 se x Î 
d (x ) = ïí
ïïî0 se x Î
/

é chamada função de Dirichlet, em homenagem a Johann Peter Gustav Lejeune Dirichlet (1805 – 1859).
Mostre que d é descontínua em cada x Î  .
(Confira a biografia de Dirichlet, acessando o link
http://www-history.mcs.st-and.ac.uk/Biographies/Dirichlet.html)

3. Seja a Î  e seja f :  ®  , dada por f ( x ) = ( x - a ) (2d ( x ) - 1) , onde d é a função de Dirichlet,

2

definida no problema anterior. Mostre que esta função é contínua em apenas um ponto e encontre esse
ponto.

112 Análise Real

 1
4. Considere a função f :  -{1} ®  , dada por f ( x ) = . Encontre os pontos de descontinuidade
1- x
da função composta y = f ( f ( f ( x ))) . Esses pontos são descontinuidades removíveis?
5. Um monge tibetano deixa o monastério às 7 horas da manhã e segue sua caminhada usual para o topo da
montanha, chegando lá às 19h. No dia seguinte, ele acorda cedo e às 7h desce do topo do monte pelo mesmo
caminho que usou na ida, chegando ao monastério às 19h. Mostre que existe um ponto no caminho em que
o monge passará exatamente na mesma hora do dia na ida e na volta.
6. Admitindo que a temperatura T de um ponto qualquer do equador da terra seja uma função contínua,
demonstre que, em qualquer instante, existem pontos antípodas do Equador que estão a um mesma
temperatura. Sugestão: Se P é um ponto sobre o equador, sua posição é determinada por sua longitude q .
Pontos antípodas são pontos diametralmente opostos. Logo se P e Q são antípodas e q é a longitude de P ,
então a longitude de Q é q + p .
7. Seja S 1 ={( x, y ) Î  2 |x 2 + y 2 =1} o círculo de raio 1 centrado na origem. Se f : S 1 ®  é contínua,
mostre que existe ( x, y ) Î S 1 tal que f (x, y ) = f (-x,- y ) . Sugestão: Mesma ideia do exercício anterior.
8. Sejam A e B duas regiões limitadas, com áreas finitas, de um mesmo plano. Mostre que existe uma reta
 que divide A e B simultaneamente ao meio.

AULA 6 TÓPICO 2 113

 AULA 7 A derivada de
função real

Olá, aluno(a),

Nessa aula apresentaremos as funções que possuem derivadas sobre subconjuntos

dos números reais. Veremos que essas funções possuem importantes propriedades
e aplicações. Estabeleceremos as propriedades e aplicações das funções
deriváveis em um intervalo da reta e poderemos observar que isso garante algumas
consequências e resultados em aplicações tanto na matemática quanto em áreas
afins como a Física. Exemplos dessas aplicações são: determinar o máximo e
mínimo de uma função real, estabelecer correlação com a noção de velocidade e
aceleração da Física, fazer aproximações de funções por derivadas.

No mesmo espirito de aulas anteriores, não temos o objetivo de esgotar todo o

assunto, apresentaremos somente os principais resultados e deixaremos alguns
para o aluno fazer a pesquisa na literatura recomendada sobre o assunto para
maiores aprofundamentos.

Objetivos

• Identificar as propriedades das funções deriváveis

• Entender as aplicações das funções deriváveis
• Relacionar as derivadas de uma função ao máximo e mínimo de uma função

114 Análise Real

TÓPICO 1 Conceitos de derivada
de função real
O bjetivos
• Compreender a definição de derivada de uma função real
• Saber reconhecer quais funções tem derivada

A ssim como no Cálculo I, em que fazemos um grande apelo à

noção geométrica na definição da derivada de uma função real
f : I Ì  ® , aqui também, a noção da derivada de uma
função ganha uma grande importância geométrica, que estabelecemos logo a seguir.
Dizemos que uma função f é derivável em ponto x0 Î I e x = x0 + h Î I , I Ì 
aberto, se goza da seguinte condição:
f ( x ) - f (x0 ) f (x0 + h ) - f ( x0 )
f ' (x0 ) = lim = lim
x ® x0 x - x0 h®0 h
se existe e é finito o limite da razão incremental dada acima. O quociente
q (x) = éë f (x) - f (x0 )ùû / (x - x0 ) ou razão incremental para x ¹ x0 é conhecido como
quociente de Newton. O mesmo é uma função que determina o valor da secante
que passa pelos pontos (x0 , f (x0 )) e (x, f (x)) . Geometricamente, as retas secantes
passando pelos pontos A = (x, f (x)) , B = (x0 , f (x0 )) tendem para a tangente ao
gráfico da função f . Conforme representado na figura abaixo:

AULA 7 TÓPICO 1 115

 Figura 1 – retas secantes que passam por A e B

De forma análoga à derivada ordinária de

uma função f , podemos definir as derivadas à
direita e a esquerda, respectivamente, por:
f (x0 + h ) - f ( x0 )
f ' (x0 +) = lim
h®0 + h ate n ç ão !

f (x0 + h ) - f ( x0 )
f ' (x0 -) = lim A partir daqui, faremos o uso de várias notações
h ® 0- h
no caso dos limites existirem e fazendo as para representar a derivada de uma função, entre
dy
necessárias alterações na definição da derivada
elas f ', , Dx0 f ou x
dx
ordinária, teremos a seguinte condição: A
derivada ordinária existirá, se as derivadas dos
limites laterais existirem e forem iguais, ou seja,
f (x0 + h ) - f ( x0 ) f (x0 + h ) - f ( x0 )
f ' (x0 +) = lim = f ' (x0 -) = lim
h®0 + h h ® 0 - h
Exemplo 1: Seja a função dada pela expressão f (x) = x , a função modular,
cujas derivadas laterais são representadas pelo gráfica abaixo:

116 Análise Real

 f (x) - f (0) x
O aluno pode verificar como exercício que lim = lim = -1
x ® 0- x - x
f (x) - f (0) x x®0
e que lim = lim+ = 1 , portanto, as derivadas laterais existem, mas
x®0+ x x®0 x

não são iguais. Portanto, concluímos que a função dada acima não é derivável na
origem.

Observação 1: Uma condição necessária e suficiente para que uma função

f : I Ì  ®  , x0 Î I e x = x0 + h Î I , I Ì  aberto, seja derivável no ponto x0 Î I
r (h)
é que f (x0 + h) = f (x0 ) + f ' (x0 ).h + r (h) , com lim =0.
h®0 h

r ( h ) f (x0 + h ) - f ( x0 )
De fato, basta observar que = - f '(x0 ) , logo
h h
r (h) é f (x0 + h ) - f ( x0 ) ù
lim = 0 Û lim ê - f '(x0 )ú = 0 e decorre da definição da
h®0 h h®0 ê h ú
ë û
derivada de uma função.

Teorema 1: Se f é derivável no ponto x0 Î I Ì , então f é contínua em x0 .

Demonstração: Sabemos que uma função f é contínua em x0 Î I Ì ,

se lim f (x) = f (x0 ) , então como f é derivável no ponto x0 , temos
x ® x0
f ( x ) - f ( x0 )
lim = f '(x0 ) . Daí segue que
x ® x0 x - x0
é f ( x ) - f (x0 ) ù
lim éë f (x) - f (x0 )ùû = lim ê ú .(x - x0 ) =
x ® x0 ê ú
ë x - x0
x ® x0
û
é f ( x ) - f ( x0 ) ù
= lim ê ú . lim (x - x0 ) = f ' (x0 ).0 = 0
x ® x0 ê ú x ® x0
ë x - x0 û

Logo f é contínua em x0 como queríamos provar.

  .
Exemplo 2: Seja a função constante f (x) = c (constante ) para todo xÎ
Então f ' (x) = 0 . Com efeito, por definição temos:
f ( x ) - f ( x0 ) c -c
lim = lim =0
x ® x0 x - x0 x ® x0 x - x
0

Se f (x) = ax + b é uma função afim, tem-se que f ' (x) = a . Por definição,
segue que:
f ( x ) - f ( x0 ) (ax + b) - (ax0 + b) a ( x - x0 )
lim = lim = lim =a
x ® x0 x - x0 x ® x0 x - x0 x ® x0 ( x - x )
0

AULA 7 TÓPICO 1 117

 em que na última igualdade fizemos o cancelamento do termo comum no
denominador e numerador.
Vejamos agora a derivada da função quadrática f (x) = x 2 , utilizando a
definição.
Com efeito,
( x + h)2 - x 2 x 2 + 2hx + h2 - x 2 (2x + h).h
lim = lim = lim = lim (2x + h) = 2x . E
h®0 h h ® 0 h h ® 0 h h®0
n-1
em geral, podemos ver que, f (x) = x , f ' (x) = n.x o que o aluno pode verificar
n

n æn ö
facilmente, utilizando o binômio de Newton, (x + h) = å çç ÷÷÷ x n-k h k .
n
ç ÷
k =1 èk ø

Exemplo 3: (A Regra de L’Hôpital) Muitas vezes nos deparamos com o

f (x ) f (a )
cálculo de limites indeterminados como: lim = com f (a) = g (a) = 0 , se
x®a g (x ) g (a )
as funções f e g são deriváveis em a . Podemos obter uma aplicação interessante
f (x ) - f ( a ) f (x )
da derivada. De fato, sabemos que f' (a) = lim = lim e da mesma
x®a x -a x ® a x-a
g (x ) - g ( a ) g (x )
forma g ' (a) = lim = lim , pois temos que f (a) = g (a) = 0 . Então
x®a x-a x®a x - a

segue que
f (x ) f (x )
f (x ) lim f '(a )
= lim x - a =
x®a x - a
lim =
x®a g (x ) x®a g (x ) g (x ) g '(a )
lim
x -a x ® a x -a
desde que, g '(a ) ¹ 0 . Podemos exemplificar essa regra, através da seguinte
questão, que você teve a oportunidade de ver no Cálculo I, que é calcular o limite de
sen x (sen x )' x=0 cos 0
lim = = = 1 . Você deve observar que nesse exemplo fizemos
x®0 x (x )' x=0 1
uso da derivada da função (sen x) ' = cos x . Essa derivada pode ser provada usando
a definição de derivada da função seno na origem e a identidade trigonométrica
sen (x + h) = sen x.cos h + sen h.cos x .

118 Análise Real

TÓPICO 2 Propriedades operatórias
das derivadas
O bjetivos
• Analisar as propriedades operatórias da derivada
• Estudar as propriedades operatórias através de exemplos
• Fazer aplicações utilizando essas operações

N esse tópico abordaremos as propriedades operatórias das

derivadas de uma função real. Além disso, analisaremos a
derivada de uma composta e de uma inversa de uma função real.
E por fim, daremos exemplos que ilustraram a teoria tratada nesse tópico.

Teorema 2: Sejam as funções f : I Ì  ®  e g : I Ì  ®  diferen-

ciáveis no ponto x0 Î I . Então temos as seguintes propriedades:

1. ( f ± g )'(x0 ) = f '(x0 ) ± g '(x0 ) ;

2. ( f . g)’( x0 ) = f ' (x0 ). g (x0 ) + f (x0 ). g '(x0 ) ;
æ f ö÷
çç ÷ '(x ) = f (x0 ). g (x0 ) - f (x0 ). g '(x0 ) , desde que g (x0 ) ¹ 0 .
'
3.
ççè g ÷÷ø 0 g ( x )2
0

Demonstração:
1. A prova de (1) é imediato se observarmos que
( f + g )(x) - ( f + g )(x0 ) f (x) - f (x0 ) g (x) - g (x0 ) , aplicando o
= +
x - x0 x - x0 x - x0

AULA 7 TÓPICO 2 119

 limite em ambos os membros dessa identidade, obtemos o resultado

para a derivada da soma. E de maneira análoga, o aluno pode ver que

a derivada da diferença é facilmente obtida.

2. Para provarmos a derivada do produto, observemos a seguinte

identidade
( f . g )(x) - ( f . g )(x0 ) f ( x ) g ( x ) - f (x0 ) g ( x ) + f (x0 ) g ( x ) - f (x0 ) g ( x0 )
= =
x - x0 x - x0
f ( x ) - f (x0 ) g ( x ) - g ( x0 )
= g ( x ) + f ( x0 )
x - x0 x - x0
então aplicando o limite no primeiro e terceiro membro da identidade
anterior. Ou seja,

( f . g )(x) - ( f . g )(x0 ) f ( x ) - f (x0 ) g ( x ) - g ( x0 )

lim == lim g (x) + f (x0 ) lim
x ® x0 x - x0 x - x0 x ® x0 x ® x0 x - x0
teremos o resultado que queríamos.

E finalmente, para a prova de (3), devemos primeiramente notar que a

1 1
-
seguinte identidade é válida: f ( x ) f (x0 ) f ( x ) - f (x0 ) 1 para
=- .
x - x0 x - x0 f ( x ). f ( x 0 )
todo x Î I em que f (x) ¹ 0 . Então, aplicando o limite a essa identidade, temos
1 1
-
æ 1 ö÷ f ( x ) f (x0 ) f ( x ) - f (x0 ) 1 f '(x0 )
çç ÷ e
çèç f (x ) ø÷÷ ' = xlim
® x0 x - x
= lim -
x ® x 0 x - x
.
f ( x ) . f ( x )
=-
f ( x ) 2
0 0 0 0 0

no caso geral do quociente basta observarmos que f ( x ) 1 , assim

= f ( x ).
g (x ) g (x )
aplicando a fórmula já provada em (2) para a derivada de um produto. Segue que,
æ f ö÷ æ ö æ ö æ ö
çç ÷ ' = f '.çç 1 ÷÷ + f .çç 1 ÷÷ ' = f ' + f .çç- g ' ÷÷ , basta fazer as operações que obtemos
ççè g ÷÷ø ççè g ÷÷ø ççè g ÷÷ø g ç
çè g ÷ø 2÷

a fórmula da derivada do quociente. Agora, para os casos em que f (x0 ) = 0 e

g (x0 ) = 0 , tomamos sequências tendendo para xn ® x0 , mas que f (xn ) ¹ 0 e
g (xn ) ¹ 0 e o resultado segue naturalmente.
Exemplo 4: Já vimos no exemplo (2) anteriormente, que a derivada da
função f (x) = x n , " n Î  é dada por f ' (x) = nx n-1 . Vamos aplicar a regra 3 da
derivada de um quociente para calcularmos a derivada da função f (x) = x-n
1
, ora temos que f (x) = x-n = n , aplicando a derivada do quociente obtemos
x
(1) ' x n - 1.(x n )' nx n-1 nx n-1 n
=- n+1 . Mesmo quando, f (x) = x ,
r
f ' (x ) = n 2
= - 2n
= - n-1 n +1
(x ) x x x x

120 Análise Real

 m n
com r = . De fato, basta ver que, x m =(x m / n ) , então derivando em ambos os
n n-1
é m ù
membros da igualdade temos que (x )' = mx = n. ê(x )'ú
m m-1 n e daí extraindo a
ê ú
' ë û
æ m ö m m -1
raiz e dividindo por n obtemos que ççx n ÷÷÷ = (x n ) , e então vale para todo
çè ÷ø n
racional r . E podemos estender este resultado para os números reais aÎ   , pois
sabemos que existe uma sequência de racionais rn ® a como a afirmação é válida
para (x rn )' = rn .x rn -1 aplicando o limite resulta na afirmação para (x a )' = a.x a-1
  .
para todo aÎ
Agora faremos uma importante propriedade que é a derivada da inversa de
uma função. Temos que toda função f : I ® contínua e injetiva sobre sua imagem
J = f ( I ) (poderíamos considerar, ao invés da injetividade, que f fosse monótona
em I ) tem uma inversa contínua f -1 : J ® I , admitiremos que f é derivável em
I e analisaremos a derivada da função inversa ( f -1 )' . Portanto, podemos enunciar.

Teorema 3: Seja f : I ® uma função monótona em um intervalo aberto

I . Supondo que f seja derivável em I e f ' (x) ¹ 0 , " x Î I . Então a função
inversa f -1 : J = f (I ) ® é também derivável no intervalo (aberto) J . E te-
1
mos a fórmula seguinte: ( f -1 ) ( y ) =
'
," yÎ J
f '( f ( y ))
-1

Antes de demonstrarmos o teorema acima apresentaremos a regra da cadeia

que nos auxiliará na demonstração do teorema 3 acima.

Teorema 4 (Regra da Cadeia): Consideremos as funções f : I ®

e g : J ® , com f (I ) Ì J e f (x0 ) = y0 . Se f é derivável em x0 e g é
derivável no ponto y0 , então a composta ( g o f ) : I ® é derivável no ponto
x0 , com ( g o f ) ' (x0 ) = g ' ( f (x0 )). f '(x0 ) .

Demonstração: Como g é derivável no ponto y0 , podemos, de acordo com

a observação 1 dessa aula, colocar na forma:
g ( y0 + k ) - g ( y0 )
= g ' ( y0 ) + r2 (k )
k
onde r2 (k) ® 0 , quando k ® 0 . Pondo r2 (0) = 0 podemos escrever essa equação

AULA 7 TÓPICO 2 121

 na forma: g ( y0 + k) - g ( y0 ) = k[ g ' ( y0 ) + r2 (k)] , que continua válida mesmo que
k = 0 . Considere, k = f (x0 + h) - f (x0 ) . Então,

g ( f (x0 + h)) - g ( f (x0 )) g ( y0 + k ) - g ( y0 ) é g ' ( y0 ) + r2 (k)ù k

= =ë û
h h h
f ( 0 ) f ( x0 )
x + h -
== éêë g ' ( f (x0 )) + r2 (k)ùúû .
h
Em que o aluno deve lembrar que, como
f é derivável no ponto x0 , então f é continua
no mesmo. Desse modo, temos que k ® 0 ,
quando h ® 0 . Assim se tomarmos h tendendo
ate n ç ão !
para zero na expressão anterior, obteremos o
resultado que queríamos. A condição para que a derivada (
f ' (x) ¹ 0, " x Î I ), seja não nula, é essencial
no teorema 3. Uma vez que a função f (x) = x
3
Agora podemos proceder à demonstração
  e
é crescente e derivável para todo xÎ
do teorema 3.
f ' (x) = 3x 2 = 0 para x = 0 . Mas, a função
Com efeito, temos
inversa f -1 ( y ) = 3 y não é derivável em
( f -1 o f )(x) = x
y=0.
Derivando a expressão acima e usando a
regra da cadeia, obtemos
( f -1 o f ) ( x ) = 1
'

que resulta (pela regra da cadeia) em ( f -1 ) ( y ). f ' (x) =1 que é o resultado que
'

queríamos provar.
Temos que uma função f : I ® tem um máximo local no ponto x0 Î I
se existe d > 0 tal que para todo x Î I , com x Î (x0 - d , x0 + d )  I implica
que f (x) £ f (x0 ) . E um ponto x0 Î I é um mínimo local se existe d > 0 tal que
para todo x Î (x0 - d , x0 + d )  I implica que f (x) ³ f (x0 ) . Os pontos máximo
e mínimo locais são ditos estritos, quando ocorrem as desigualdades estritas,
f (x) < f (x0 ) e f (x) > f (x0 ) , respectivamente. Agora, quando uma função tem um
máximo ou mínimo em todo o seu domínio, dizemos que a função tem um máximo
ou mínimo absoluto. Como vimos na definição de derivada de uma função é local,
e uma maneira de determinarmos se um ponto é o máximo ou mínimo local de uma
função derivável é respondida pelo seguinte teorema.

122 Análise Real

 Teorema 5: Se uma função f é derivável em um ponto x0 , onde ela assume
valor máximo ou mínimo, então f ' (x0 ) = 0 .

Demonstração: Considere x0 um ponto de máximo, então para h

arbitrariamente pequeno, temos que f (x0 + h) - f (x0 ) £ 0 implica que o quociente
de newton:
f (x0 + h ) - f ( x0 )
£ 0, para h > 0
h

f (x0 + h ) - f ( x0 )
Ou ³ 0 , para h < 0
h
f (x0 + h ) - f ( x0 )
E como consequência, o limite lim = 0 , onde concluímos
h
h®0
que f ' (x0 ) = 0 . E de maneira completamente análoga provamos quando x0 é um
ponto de mínimo.
A recíproca desse teorema não é válida, pois podemos ter f ' (x0 ) = 0 sem que
o ponto x0 seja um máximo ou um mínimo. Conforme vimos, a função f (x) = x 3
tem derivada nula em x0 = 0 , mas esse ponto não é máximo, nem mínimo, como
você pode ver no gráfico abaixo:

é pù
Exemplo 5: Seja a função f : ê 0, ú ®  com f (x) = x cos x , podemos ter
ëê 4 ûú
que a derivada não é necessariamente nula em todos os pontos de máximo ou de

AULA 7 TÓPICO 2 123

 mínimo, se estes são os extremos do intervalo. Pois, a função f (x) = x cos x tem
um mínimo em x = 0 (veja o gráfico a seguir) e um máximo em x = p / 4 , porém a
sua derivada não se anula nesses pontos. Uma vez que f ' (x) = cos (x) - xsen(x ) e
æpö 2 p 2
f ' (0) = 1 > 0 e f ' çç ÷÷÷ = - . >0.
è4ø 2 4 2

124 Análise Real

TÓPICO 3 O teorema do valor
médio
O bjetivos
• Compreender o teorema do valor médio
• Fazer aplicações desse teorema
• Estudar alguns exemplos que ilustrem o teorema

N esse tópico, trataremos de um dos tópicos centrais sobre a

derivada de uma função real, que é o Teorema do Valor Médio.
Esse será obtido como uma consequência do Teorema de Rolle. E
em paralelo obteremos aplicações sobre o Teorema do Valor Médio.
O teorema que tratamos a seguir é uma consequência do teorema 5 do tópico
anterior.

Teorema 6 (de Rolle): Seja f : [ a, b ] ® uma função contínua e derivável

em (a, b) , com f (a) = f (b) . Então, existe pelo menos um c Î (a, b) tal que
f ' (c ) = 0 .

Demonstração: Se a função é constante, segue imediatamente que f ' (x) = 0

para todo x Î [a, b ] . Se a função f não é constante, por ser contínua em um intervalo
compacto, terá de assumir um valor máximo e um mínimo. Então, se f assumir
valores maiores do que f (a ) , ela atingirá um máximo num ponto interno c . E se
assumir valores menores do que f(a), essa função assumirá seu mínimo num ponto
interno c em (a, b) . E em qualquer caso, f ' (c ) = 0 , de acordo com o teorema 5.

AULA 7 TÓPICO 3 125

 Teorema 7 (do Valor Médio ou de Lagrange): Seja uma função
f : [ a, b ] ® contínua em [ a, b ] e derivável no aberto (a, b) . Então existe um
ponto c Î (a, b) tal que
f (b) - f (a) = f '(c )(b - a )

Demonstração: Basta aplicar o teorema de Rolle à função

f (b) - f (a )
q (x ) = f (x ) - f (a ) - (x - a ) . É claro que q (a) = q (b) = 0 . Então,
b-a
existe c Î (a, b) tal que q ' (c ) = 0 , e isso significa que temos:
f (b) - f ( a )
= f '(c )
b-a
que é equivalente à fórmula que queríamos.

Em termos geométricos, o Teorema do Valor Médio significa que existe um

número c Î (a, b) tal que a reta tangente à curva y = f (x ) no ponto (c , f (c )) é
paralela à reta secante que passa pelos pontos (a, f (a)) e (b, f (b)) . O teorema do
valor médio tem uma importante aplicação. Com ele é possível determinar se uma
função f é crescente ou decrescente. Conforme a sua derivada seja positiva ou
negativa, respectivamente.
Assim, se f ' (c ) > 0 para todo c Î (a, b) , então se x1 < x2 implica que
f (x2 ) - f (x1 ) = f ' (c )(x2 - x1 ) > 0 , logo f (x1 ) < f (x2 ) . E analogamente, se f ' (c ) < 0
para todo c Î (a, b) , então segue que se x1 < x2 Þ f (x2 ) - f (x1 ) = f ' (c )(x2 - x1 ) < 0 ,
logo f (x1 ) > f (x2 ) .
Você deve notar que o conhecimento do sinal da derivada em um único
ponto não permite concluir que a função é crescente ou decrescente em todo o seu
domínio. Apenas podemos concluir em uma vizinhança desse ponto.

O Teorema do Valor Médio tem uma generalização que estabelecemos a

seguir.

Teorema 8 (do Valor Médio Generalizado ou de Cauchy): Sejam f e g

funções contínuas no intervalo [a, b ] e deriváveis no intervalo aberto (a, b) e
além disso, suponha que g ' (x)¹ 0 e g (b) - g (a) ¹ 0 . Então existe c Î (a, b)
tal que
f (b) - f (a ) f '(c )
=
g (b) - g (a ) g '(c )

126 Análise Real

 Demonstração: Basta considerar a função
f (b) - f (a )
F (x ) = f (x ) - f (a ) - .( g (x) - g (a)) , então podemos observar que
g (b) - g (a )
F (a) = F (b) = 0 e aplicar o teorema de Rolle.

3.1 DERIVADA DE 2ª ORDEM

A derivada de segunda ordem é dada por f '' (x0 ) = ( f ')'(x0 ) como a derivada
da derivada de uma função. Se procedermos indutivamente dessa maneira obtemos
a n-ésima derivada de uma função f , como sendo f n (x0 ) = ( f n-1 (x0 ))' , desde que
a derivada (n-1)-ésima exista. Um resultado bem conhecido sobre as derivadas
superiores de uma função real é a conhecida fórmula de Taylor infinitesimal,
que diz que se uma função f : I ® é n-vezes derivável em um ponto x0 Î I ,
podemos aproximar uma função pelo “polinômio” de Taylor que é dado por:
f n ( x0 ) n
f (x0 + h) = f (x0 ) + f ' (x0 ).h + f "(x0 ) / 2.h + +
2
.h + r (h)
n!
r (h)
onde lim n = 0 . Chamamos de polinômio, pois podemos expressar uma função
h®0 h
f no ponto x0 por:
n
f i ( x0 ) i
p (h) = å .h
i =0 i!
que aproxima essa função até a ordem n.

AULA 7 TÓPICO 3 127

 AULA 8 Integral de Riemann

Olá, aluno(a),

Estamos chegando ao final de nossa disciplina. Nesta aula, estudaremos alguns

aspectos que envolvem o estudo da integral de Riemann. Dentro de uma cronologia
histórica, a ideia da integral é um conceito mais antigo que o de derivada. Enquanto
o conceito de derivada é do século XVII, o conceito de integral teve um razoável
desenvolvimento com o cálculo de áreas de figuras planas, ou volume de sólidos
através de um método conhecido como método da exaustão, que teve em
Arquimedes um dos seus principais divulgadores.

Nesse período, a Matemática era muito geométrica e não havia simbologia

que possibilitasse um maior desenvolvimento do cálculo integral. Ainda nesta
aula, trataremos dos seguintes conceitos: no tópico 1, veremos a definição da
integral de Riemann e o critério para uma função real ser integrável; no tópico
2, apresentaremos as propriedades da integral; no tópico 3, teremos o principal
resultado desta aula, que é o teorema fundamental do cálculo, e também faremos
algumas aplicações.

Bons estudos!

Objetivos

• Estudar os conceitos sobre a Integral de Riemann

• Compreender e aplicar as definições da integral de Riemann

128 Análise Real

TÓPICO 1 A integral de Riemann
O bjetivos
• Definir a integral como soma de retângulos sob o gráfico
da função
• Analisar quando uma função real é integrável
• Dar alguns exemplos de funções integráveis

N este tópico, começamos a definir o conceito da integral de

Riemann e os aspectos que determinam quando uma função real
é integrável. Veremos que o problema original se inverteu. No
início, o cálculo de áreas utilizava diretamente à integral, hoje definimos primeiro a
integral em termos numéricos, para depois definirmos a área em termos da integral.
Consideraremos que as funções tratadas a seguir são sempre definidas e
limitadas num intervalo I = [a, b ] , a menos que seja estabelecido ao contrário. Uma
partição P desse intervalo é um conjunto finito de pontos dados por:
P = {x0 , x1 ,¼, xn } , com a = x0 < x1 <¼< xn = b e denotaremos por
Dxi = xi - xi-1 o comprimento do i-ésimo subintervalo [ xi-1 , xi ] da partição P.
Diz-se que uma partição P ' é um refinamento de uma partição P se tivermos
que P Ì P ' , ou seja, todos os pontos de P estão em P ' . Como a função f : [ a, b ] ®  é
limitada, consideremos mi = inf { f (x) : xi-1 £ x £ xi } e Mi = sup { f (x) : xi-1 £ x £ xi } .
Define-se a soma inferior da função f com relação à partição P e que denotamos por
n
s ( f , P ) como sendo s ( f , P ) = åmi (xi - xi-1 ) .
i =1

AULA 8 TÓPICO 1 129

 De maneira análoga, temos a soma superior de f , com relação à mesma
n
partição P dada por S ( f , P ) = åMi (xi - xi-1 ) . Em termos geométricos, podemos
i =1
representar essas ideias conforme figuras 1e 2, respectivamente.

Figura 1: Partições retangulares Figura 2: Partições retangulares menores

Supondo que a função f : [ a, b ] ®  é

contínua no intervalo [a, b ] , então sabemos, pelo
teorema de Weierstrass, que a função assume um sai b a mai s !
mínimo e um máximo no intervalo compacto [a, b ] .
Faça uma revisão do teorema de Weierstrass
Sejam m = min f (x ) e M = max f (x ) em [a, b ] ,
acessando o site http://ecalculo.if.usp.br/
assim temos que m £ mi £ Mi £ M e é claro
derivadas/estudo_var_fun/teorema_vm/
que decorre dessa desigualdade a seguinte
teoremas/teo_weierstrass.htm
desigualdade:
m (b - a ) £ s ( f , P ) £ S ( f , P ) £ M ( b - a )
Na Figura 1, cada soma inferior é um valor aproximado por falta do que
devemos entender por área da figura geométrica limitada pelo gráfico de f , pelo
eixo dos x e pelas retas x = a e x = b . Analogamente, cada soma superior é um
valor aproximado por excesso da mesma área.
Agora, mostraremos um resultado que diz que o supremo do conjunto das
somas inferiores é igual ao ínfimo do conjunto das somas superiores, e esse valor
comum é usado para definir a integral de uma função no intervalo I = [a, b ] e tal
que f seja contínua nesse intervalo. Na verdade, esse resultado se estende para
um conjunto mais amplo do que o das funções contínuas, como, por exemplo, o
conjunto das funções integráveis.

130 Análise Real

 Teorema 1: Seja P = {x0 , x1 ,¼, xn } uma partição qualquer do inter-
valo I = [a, b ] e P ' um refinamento de P . Então, s ( f , P ) £ s ( f , P ') e
S ( f , P ') £ S ( f , P ) , ou seja, ao se refinar uma partição, a soma inferior só
pode crescer e a soma superior só pode decrescer.

Prova: Seja um refinamento da partição P , dada por P ' = P È{x '} , isto
é, P ' é formada por mais um ponto. Suponha que x ' Î [xi-1 , xi ] da partição P .
Consideremos Mi = sup { f (x) : x Î [xi-1 , xi ]} e ainda sejam Mi' e Mi'' os supremos de
f nos subintervalos [xi-1 , x '] e [x ', xi ], respectivamente. É evidente que, Mi' £ Mi
e também que Mi'' £ Mi . Vemos ainda que xi - xi-1 = (xi - x ') + (x '- xi-1 ) , então
S ( f , P ) - S ( f , P ' ) = Mi (xi - xi-1 ) - Mi' (xi - x ' ) - Mi'' (x ' - xi-1 ),
que resulta em:
S ( f , P ) - S ( f , P ') = (Mi - Mi' )(xi - x ') + (Mi - Mi'' )(x '- xi-1 ) ³ 0 , o que
prova a segunda desigualdade da soma superior dada no teorema 1. Deixamos para
você, aluno, fazer a prova da desigualdade da soma inferior que é feita de forma
análoga.

Teorema 2: Toda soma inferior é menor ou igual a toda soma superior,

isto é, sejam P e Q partições quaisquer do intervalo [a, b ] , então
s ( f , P ) £ S ( f ,Q ) .

Prova: Com efeito, consideremos a partição P ÈQ É P e P ÈQ É Q

que refina as partições P e Q. Desse modo, temos pelo teorema 1, que
s ( f , P ) £ s ( f , P ÈQ) £ S ( f , P ÈQ ) £ S ( f ,Q) , que é o que queríamos demonstrar.
Como m (b - a) £ s ( f , P ) £ S ( f , P ) £ M (b - a ) , temos que o conjunto das
somas inferiores é limitado superiormente por M (b - a ) , de maneira que o seu
supremo é finito. Este supremo é chamado a integral inferior da função f , ou seja,
b

ò f (x) dx = sup s( f , P )
a

E analogamente, o conjunto das somas superiores é limitado inferiormente
por m(b - a ) , logo tem um ínfimo finito, chamado a integral superior de f , que é
dada por:

b

ò f (x) dx = inf S ( f , P )
a

AULA 8 TÓPICO 1 131

 De acordo com o teorema 2 dado anteriormente,

segue que:
b b

ò f £ò f
a a

Dizemos que uma função f : [ a , b ] ®  é integrável quando essas duas
integrais dadas acima são iguais. E nesse caso, o valor comum da integral inferior e
superior é chamado a integral da função f e que denotaremos por:
b

ò f ( x) dx
a
Exemplo 1: Seja a função f : [ a, b ] ®  definida por:

 0, se x∈Q
f ( x) = 
1, se x ∈ ( R − Q)
Seja uma partição P arbitrária do intervalo [a, b ] , como cada intervalo
[xi-1 , xi ] da partição contém números racionais e irracionais, logo m = 0 e M = 1 .
i i

Portanto, s ( f , P ) = 0 e S ( f , P ) = b - a . Desse modo, f não é integrável, uma vez

b b
que
∫ f ( x ) dx = 0 e ∫ f ( x ) dx=
a a
b−a .

Vejamos um exemplo de uma função integrável, a função constante.

Exemplo 2: Seja a função constante f (x) = c (constante ) para todo x Î [a, b ] .
Então para toda partição P, temos que mi = Mi = c em todos os intervalos, logo
s ( f , P ) = S ( f , P ) = c (b - a ) . Desse modo, decorre que
b b b
f ( x ) dx ∫=
∫= f ( x ) dx ∫=
f ( x ) dx c(b − a )
a a a

Uma pergunta imediata que nos vem é: que condições uma função deve
satisfazer para ser integrável? Baseados nisso, enunciaremos o teorema 3.

Teorema 3: Seja f : [ a , b ] ®  uma função limitada. As afirmações se-

guintes são equivalentes:
f é integrável;
Para todo e > 0 , existem partições P,Q de [a, b ] tais que S ( f ,Q) - s ( f , P ) < e .
Para todo e > 0 , existe uma partição P = {x0 , x1 ,¼, xn } de [a, b ] tal que
n
S ( f , P ) - s ( f , P ) = åwi (xi - xi-1 ) < e , onde wi = Mi - mi e é chamada de
i =1
oscilação de f .

132 Análise Real

 Prova: Sejam L = {s ( f , P ) : P é uma partição de [a, b ]} o conjunto
das somas inferiores e U = {S ( f , P ) : P é uma partição de [a, b ]} o conjunto
das somas superiores. Sabemos que s £ S para toda partição de P de [a, b ] .
Então se i) é válida, temos que sup L = inf U , portanto podemos concluir que
existe ò > 0 tal que S ( f ,Q) - s ( f , P ) < e e assim temos que i)Þ ii) . Agora,
provaremos que ii)Þ iii) , basta observar que se S ( f , P ') - s ( f , P ') < e , então
tomando P ' = P ÈQ que é um refinamento das duas partições e segue do
teorema 1 que s ( f , P ) £ s ( f , P ') £ S ( f , P ') £ S ( f ,Q) , donde concluímos que
S ( f , P ') - s ( f , P ') < e . E por fim, a implicação iii)Þ i) segue naturalmente da
definição da soma superior e inferior.
Com esse resultado fechamos este tópico sobre definição de funções integráveis
e passaremos agora às propriedades da integral no tópico seguinte.

AULA 8 TÓPICO 1 133

 TÓPICO 2 Propriedades da integral
O bjetivos
• Compreender as propriedades da integral
• Aplicar tais propriedades em alguns exemplos

A partir daqui veremos as propriedades da integral e aplicaremos

essas propriedades em alguns exemplos. Poderemos perceber
que as propriedades da integral facilita-nos a vida ao fazermos o
cálculo de algumas integrais.
A primeira propriedade da integral de que tratamos é a que expressa o
fato de que a integral pode ser calculada sobre subintervalos que compõem um
intervalo maior. É importante no caso em que uma função não é contínua em um
ponto interno de um intervalo.

Teorema 4: Seja a < c < b . A função f : [ a, b ] ®  limitada é integrável, se so-

mente se, as restrições f |[ a ,c ] e f |[ c , b ] são integráveis . Portanto, temos

c c b b

∫
a
∫ ∫ ∫
Prova: Sejam a = f , A = f , b = f e B = f . Então, decorre da definição
c
a c

da integral de Riemann, e tomando uma partição que refina a partição dada, que:
b b

∫f e a+b =
A+ B =
a
∫ f . Para isso basta tomar uma partição que contém o ponto
a

c e seja um refinamento das anteriores. Muito bem, sabemos que a £ A e b £ B ,

sendo assim temos que a + b = A + B Û a = A e b = B , ou seja, f é integrável se,
somente se, f |[ a ,c ] e f |[ c , b ] são integráveis.

134 Análise Real

 Teorema 5: Sejam f , g : [ a, b ] ®  funções integráveis. Então:
b b b
f ± g é integrável e vale:
b
ò [ f (x) ± g (x)]dx = ò f (x) dx ± ò g (x) dx ;
b
a a a
Se c Î , temos que ò c. f (c) dx = c ò f (x) dx ; b b
a a
Se f (x) £ g (x ) para todo x Î [a, b ] , então ò f (x) dx £ ò g (x) dx ;
b a b a

Se f (x ) é integrável, então temos ò f (x) dx £ ò f (x ) dx .

a a

Prova: Nós nos preocuparemos em fazer as demonstrações dos itens a) e d) ;

os itens b) e c) deixaremos para você, aluno, como exercício.
''
a) Seja uma P partição arbitrária do intervalo [a, b ] , se denotarmos por m 'i , mi
e mi os ínfimos de f , g e f ± g , respectivamente, no i-ésimo intervalo [xi-1 , xi ] . É fácil
b
ver que m 'i + m £ mi , assim temos que s ( f , P ) ± s ( g , P ) ≤ s ( f ± g , P ) ≤ ∫ ( f ± g )
''
i
a
para toda partição P. Se tomarmos duas partições obteremos ainda que:
b

( )
s ( f , P ) ± s ( g , Q ) ≤ s f , PQ ± s ( g , PQ) ≤ ∫ ( f ± g ) . Então tomando o
a b b b
supremo sobre todas as partições P do intervalo, teremos que ∫ f ± ∫g ≤ ∫ f ± g
a a a
e o mesmo se pode concluir para a integral da soma superior e consequentemente:
b b b b b b

∫ f ± ∫g ≤ ∫ f ± g ≤ ∫ f ± g ≤ ∫ f ± ∫g
a a a a a a

e quando as funções f e g são integráveis as três desigualdades se reduzem a uma

igualdade e daí segue o resultado.
d) Basta observarmos que: - f (x) £ f (x) £ f (x ) e, como por hipótese
f é integrável, segue que se usarmos duas vezes o item c) teremos que
b b b

-ò f (x) dx £ ò f (x) dx £ ò f (x) dx, e pela definição do módulo teremos o

a a a
resultado.

Teorema 6: Toda função f : [ a, b ] ®  contínua é integrável.

Prova: Como uma função contínua em um intervalo compacto é

uniformemente contínua, dado ò > 0 arbitrário, existe d > 0 tal que

AULA 8 TÓPICO 2 135

 x , y Î [ a , b ], x - y < d Þ f ( x ) - f ( y ) < e
Seja P uma partição do intervalo [a, b ] cujos subintervalos da partição
têm comprimentos Di x = xi - xi-1 < d e nesse subintervalo a função um valor
máximo e um valor mínimo que são respectivamente Mi e mi e daí segue que
wi = Mi - mi < e e desse modo obteremos que
n n
S ( f , P ) - s ( f , P ) = åwi (xi - xi-1 ) <ò å (xi - xi-1 ) = e(b - a )
i =1 i =1
e conforme o teorema 3 segue o que queríamos demonstrar.
1
Exemplo 3: Considere a função f : [-1,1] ®  , definida por f (x) = sen
x
se x ¹ 0 e f (0) = 0 . Temos que a função é limitada e descontínua apenas em
x = 0 , logo f é integrável.
Você pode verificar facilmente que, se a função é monótona no intervalo
[a, b ] , então de maneira análoga pode-se mostrar que a função é também integrável.
Deixamos para você a verificação desse resultado. E com isso finalizamos este tópico
2 e partimos para o tópico 3 para demonstrarmos o teorema mais importante dessa
aula: o Teorema Fundamental do Cálculo.

136 Análise Real

TÓPICO 3 Teorema fundamental
do cálculo
O bjetivos
• Realizar o cálculo explícito da integral de uma função
• Compreender a integral como o valor da primitiva de uma
função
• Entender algumas aplicações sobre o cálculo de integrais

A qui apresentamos o principal resultado desta aula: Oo Teorema

Fundamental do Cálculo, que expressa a maneira como se deve
fazer para calcular uma integral de uma função. Nos tópicos
anteriores, vimos quais funções são integráveis, mas não sabemos como fazer para
obter a integral de uma função. A partir deste tópico, nós saberemos como fazer
para calcular a integral de uma função.

Teorema 7 (Fundamental do Cálculo): Seja f : [ a, b ] ®  uma

função contínua, então:
x

A função G (x) = ò f (t) dt é derivável para a < x < b com G ' (x) = f (x )
a
e é contínua em [a, b ] e G (a) = 0 .
Para qualquer função F contínua sobre o intervalo [a, b ] e que diferen-
b

ciável em (a, b) com F ' (x) = f (x ) e em que ò f (x) dx = F (b) - F (a) .

a

Prova: a) Como f : [ a, b ] ®  é contínua, segue que f é

integrável. Para h>0 suficientemente pequeno, tome x + h < b . Então
x +h x

G (x + h) - G ( x ) ò f (t) dt - ò f (t) dt 1
x +h x +h

h
- f (x ) = a

h
a
- f (x ) =
h ò f (t) dt - f (x) = ò [ f (t) - f (x)]dt
x x

AULA 8 TÓPICO 3 137

 x +h
G (x + h) - G ( x ) 1
e portanto temos que - f (x ) £ ò f (t) - f (x ) dt . Se dado
h h x
e > 0 , escolhemos d > 0 para a função f contínua tal que f (x) - f (t ) < e com
x +h
G (x + h) - G ( x ) 1
0 < h £ d , assim obtemos que
h
- f (x) £
h ò f (t) - f (x ) dt < e ,
x
como queríamos provar.

As funções F e G são duas funções contínuas sobre [a, b ] com derivadas

iguais em (a, b) . Isso significa que G (x) = F (x) + c , para algum c . Então
b

ò f = G (b) - 0 = G ( b) - G ( a ) = F ( b) + c - F ( a ) - c = F ( b) - F ( a ) .
a

Corolário 1(Integração por Partes): Sejam f e g funções

reais definidas e tendo derivadas contínuas sobre [a, b ] . Então
b b
b
ò f (x) g '(x) dx =[ f (x). g (x) ] - ò f '(x) g (x)dx
a
a a

Prova: Sabemos que, da regra da derivada do produto, temos que

d
[ f (x). g (x)] = f '(x). g (x) + f (x). g '(x ) aplicando a integral e usando o teorema
dx
fundamental do cálculo
b b b
d
ò dx [ f ( x ) . g ( x )] dx = ò f ' ( x ) . g ( x ) dx + ò f (x). g '(x) dx ,
a a a
que dá o resultado.

Exemplo 4: Seja a função f : [ 0, 2] ®  definida por:

ì
ï 0, 0 £ x 1
f (x ) = ï
í
ï
î1, 1 £ x £ 2
ï
x

tomando F : [ 0, 2] ®  dada por F (x) = ò f (t) dt onde F (x) = 0 se 0 £ x £ 1 e

0
F (x) = x -1 se 1£ x £ 2 . É fácil ver que F é contínua no intervalo [0, 2] , enquanto
a função f não é contínua em x = 1 .

Teorema 8 (Mudança de Variável): Sejam f : [ a, b ] ®  contínua e

g : [ c , d ] ®  derivável, com g ' integrável e g ([ c , d ]) Ì [a, b ] . Então
g (d ) d

ò f (x) dx = ò f ( g (t)) g ' (t) dt

g (c) c

138 Análise Real

 Prova: Como f é uma função contínua, temos que f possui uma primitiva
F : [ a, b ] ®  . Pelo Teorema Fundamental do Cálculo podemos observar que:
g (d )

ò f (x) dx = F ( g (d )) - F ( g (c)) (1)

g (c)
Mas, por outro lado, a regra da cadeia dá
(F  g )'(t) = F '( g (t)). g ' (t) = f ( g (t)). g '(t) e vemos que a função (F  g ) é uma
primitiva da função integrável f ( g (t)). g '(t ) . Então, integrando e usando o teorema
fundamental do cálculo, chegamos ao resultado desejado:
d d

ò f ( g (t)). g '(t) dt = ò (F  g )'(t) dt = F ( g (d )) - F ( g (c)) (2).

c c
Basta igualar a igualdades (1) e (2) e teremos o resultado, veja abaixo.

g (d ) d

ò g (c)
f (x )dx = ò f ( g (t )). g '(t )dt
c

Com esse resultado, chegamos ao fim de mais uma disciplina. Espero que
você tenha apreciado a consistência e a produtividade dos argumentos que
apresentamos para caracterizar o conceito de uma função real, limites, derivadas e
integrais. Esses conceitos mudaram a visão e a forma de encarar os problemas em
Matemática. A Matemática deixa de tratar de objetos estáticos e passa a abordar
objetos em movimento. Por isso, com essa ferramenta matemática, o homem tem
conseguido feitos inimagináveis.

AULA 8 TÓPICO 3 139

 REFERÊNCIAS
ÁVILA, Geraldo. Introdução à análise matemática. 2. ed. São Paulo: Edgard Blücher, 1999.
FIGUEIREDO, D. Guedes. Análise I. 2.ed. Rio de Janeiro: LTC, 1996.
HAZZAN, Samuel. Fundamentos de Matemática Elementar. 3. ed. v. 5, São Paulo: Atual,
1977.
IEZZI, Gelson. Fundamentos de Matemática Elementar. 3. ed. v.6, São Paulo: Atual, 1977.
LIMA, Elon Lages. A matemática do Ensino Médio. 3. ed. v.3, São Paulo: SBM, 2000.
________. A matemática do Ensino Médio. 3. ed., ano. v.2. s/l: SBM.
________. Análise Real. Rio de Janeiro: SBM, 2004. V.1.

140 Análise Real

CURRÍCULO
Angelo Papa Neto

Angelo Papa Neto nasceu em Fortaleza, onde fez seus estudos básicos e sua graduação.
É licenciado em Matemática pela Universidade Federal do Ceará (UFC), onde também fez
seu mestrado. Concluiu o doutorado em Matemática em 2007 na Universidade Estadual de
Campinas (UNICAMP). Sua área de pesquisa é a Álgebra Comutativa, área em que nutre
especial interesse pela Teoria de Valorizações, pela Teoria das Formas Quadráticas e pela
Álgebra Real. É professor efetivo do IFCE desde 1997. Casado desde 2000, é pai de dois
filhos. Na música, é um grande admirador de J. S. Bach, L. Beethoven e Dimitri Shostakovich;
no cinema, de F. W. Murnau, Fritz Lang e A. Hitchcock; na literatura, de F. Kafka, A. Tchekov
e Guimarães Rosa; na gastronomia, de sua esposa Sueli.

Zelalber Gondim Guimarães

Possui mestrado em Matematica pela Universidade Federal do Ceará (1998) . Atualmente é

professor titular da Universidade Regional do Cariri. Tem experiência na área de Matemática ,
com ênfase em Geometria e Topologia.

CURRÍCULO 141
142 Análise Real