UNIVERSIDADE TECNOLOGICA

FEDERAL DO PARANA

EM MATEMATICA

PROGRAMA DE POS-GRADUAC
AO

CRISTIANE BENDER

DE
DA RESOLUC
UM ESTUDO DE ANALISE
REAL ATRAVES
AO

EXERCICIOS

MONOGRAFIA DE ESPECIALIZAC
AO

CAMPO MOURAO
2011

CRISTIANE BENDER

DE
DA RESOLUC
UM ESTUDO DE ANALISE
REAL ATRAVES
AO

EXERCICIOS

Monografia apresentada ao Programa de Posgraduaca o em Matematica da Universidade Tecnologica Federal do Parana como requisito parcial para obtenca o do ttulo de Especialista em

Ciencias Area
de Concentraca o: Matematica.
Orientador:

Adilandri Mercio Lobeiro

Co-orientador: Juan Amadeo Soriano Palomino

CAMPO MOURAO
2011


TERMO DE APROVAC
AO

Cristiane Bender

Um estudo de analise real atraves da resoluca o de exerccios

Monografia apresentada ao Programa de Pos-graduaca o em Matematica da Universidade Tecnologica Federal do Parana como requisito parcial para obtenca o do ttulo de Especialista em

Ciencias Area
de Concentraca o: Matematica.

Orientador: Prof. Msc. Adilandri Mercio

Lobeiro

Prof. PhD. Juan Amadeo Soriano Palomino

Prof. Msc. Nayene Michele Pitta Paiao

Campo Mourao, 2011

Aos meus pais Darci e Ana Maria

AGRADECIMENTOS

` Deus em primeiro lugar, pois e aquele que possibilita e acrescenta todas as outras coisas.
A
Aos meus pais, pela vida, pelo exemplo e por tudo o que representam para mim.
Ao meu namorado, que talvez nao tenha compreendido, mas respeitou a distancia quando
precisei buscar algo melhor para minha vida.
Ao meu orientador que fez da loucura dos seus sonhos a possibilidade de realizar os meus.
Este que muito me ensinou e me deu esperanca e condico es para ir mais alem.
` minha amiga, minha irma, Tatiane, que sem duvida foi quem me deu o maior empurrao
A
para fazer esta especializaca o e que esteve a cada dia estudando e construindo os seus conhecimentos junto com os meus.
` mais dois membros da minha famlia de Campo Mourao, Marco e Vanessa, que tambem
A
contribuiram para que os momentos de estudo fossem mais agradaveis.
Juntando-se a esses, posso citar o Roney, o Alex, a Tita, o Michael, a Renata, o Brill, o
Wilian, a Jessica, a Keila, a Hissai, a Simone, a Valeria, a Luciana, o Fernando, a Elieger, o
Izonei, a Clcia e a Joice que nao foram apenas colegas de curso, tornaram-se amigos, pessoas
muito especiais para mim.

O detalhe e o tudo que completa o todo

(Autor desconhecido)

RESUMO

BENDER, Cristiane. Um estudo de analise real atraves da resoluca o de exerccios. 122 f.

Monografia Programa de Pos-graduaca o em Matematica, Universidade Tecnologica Federal
do Parana. Campo Mourao, 2011.
Este trabalho e um estudo de analise real atraves da resoluca o alternada de exerccios do livro
Analise Real volume 1 Funco es de uma variavel real. Cujo objetivo principal e aprender esta
disciplina e ainda minimizar as dificuldades encontradas pelos estudantes da mesma, procurando oferecer ao leitor uma resoluca o detalhada dos exerccios de forma a contribuir para o
aprendizado dessa disciplina que e tao importante para o saber matematico. Em cada captulo
consta uma revisao dos principais resultados utilizados para resoluca o dos exerccios. Foram
abordados os seguintes conteudos: Conjuntos Finitos e Infinitos, Numeros Reais, Sequencias
de Numeros Reais, Series Numericas, Algumas Noco es Topologicas, Limites de Funco es e
Funco es Contnuas.
Palavras-chave: estudo, analise real, resoluca o de exerccios.

ABSTRACT

BENDER, Cristiane. A study of real analysis by solving exercises. 122 f. Monografia Programa de Pos-graduaca o em Matematica, Universidade Tecnologica Federal do Parana. Campo
Mourao, 2011.
This is a study of real analysis by solving alternating exercises from the book Real Analysis
Volume 1 Functions of one variable real. Whose main objective is to learn the subject and
minimizeg the difficulties encountered by students of it, trying to offer the reader a comprehensive resolution of the exercises in order to contribute to the learning of that subject which is
so important when learning math. Each chapter contains a review of the main results used for
solving exercises. We addressed the following contents: Finite and Infinite Sets, Real Numbers,
Sequences of Real Numbers, Numerical Series, Some Topological Notions, Limits of Functions
and Continuous Functions.
Keywords: study, real analysis, solving exercises.


SUMARIO

1 INTRODUC
AO
..............................................................
2 CONJUNTOS FINITOS E INFINITOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1 NUMEROS
NATURAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 CONJUNTOS FINITOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 CONJUNTOS INFINITOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4 CONJUNTOS ENUMERAVEIS

...............................................

2.5 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.1 Seca o 1: Numeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.2 Seca o 2: Conjuntos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.3 Seca o 3: Conjuntos Infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.4 Seca o 4: Conjuntos Enumeraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 REAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1 IR E UM CORPO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 IR E UM CORPO ORDENADO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 IR E UM CORPO ORDENADO COMPLETO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.1 Seca o 1: IR e um Corpo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.2 Seca o 2: IR e um Corpo Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.3 Seca o 3: IR e um Corpo Ordenado Completo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 SEQUENCIAS
DE NUMEROS
REAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.1 LIMITE DE UMA SEQUENCIA

..............................................
4.2 LIMITES E DESIGUALDADES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.3 OPERAC
OES
COM LIMITES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 LIMITES INFINITOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.1 Seca o 1: Limite de uma Sequencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.2 Seca o 2: Limites e desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.3 Seca o 3: Operaco es com Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.4 Seca o 4: Limites Infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 SERIES
NUMERICAS
.......................................................

5.1 SERIES CONVERGENTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.2 SERIES
ABSOLUTAMENTE CONVERGENTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.3 TESTES DE CONVERGENCIA

..............................................

5.4 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.1 Seca o 1: Series convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.2 Seca o 2: Series absolutamente convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.3 Seca o 3: Testes de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6 ALGUMAS NOC
OES
TOPOLOGICAS
.......................................
6.1 CONJUNTOS ABERTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 CONJUNTOS FECHADOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6.3 PONTOS DE ACUMULACAO

...............................................

8
9
9
11
12
12
14
14
16
24
27
31
31
32
35
39
39
40
43
47
47
49
49
50
52
52
54
57
64
69
69
71
72
73
73
75
77
81
81
82
85

6.4 CONJUNTOS COMPACTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

6.5 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
6.5.1 Seca o 1: Conjuntos abertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
6.5.2 Seca o 2: Conjuntos fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.5.3 Seca o 3: Pontos de acumulaca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.5.4 Seca o 4: Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

7 LIMITES DE FUNC
OES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
E PRIMEIRAS PROPRIEDADES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.1 DEFINIC
AO
7.2 LIMITES LATERAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
7.3 LIMITES NO INFINITO, LIMITES INFINITOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
7.4 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
7.4.1 Seca o 1: Definica o e primeiras propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
7.4.2 Seca o 2: Limites laterais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
7.4.3 Seca o 3: Limites no infinito, limites infinitos, expressoes indeterminadas . . . . . . . . . 104

8 FUNC
OES
CONTINUAS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

8.1 DEFINIC
AO E PRIMEIRAS PROPRIEDADES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

8.2 FUNC
OES
CONTINUAS NUM INTERVALO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

8.3 FUNC
OES CONTINUAS EM CONJUNTOS COMPACTOS . . . . . . . . . . . . . . . . . . . . . 107
8.4 CONTINUIDADE UNIFORME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
8.5 EXERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
8.5.1 Seca o 1: Definica o e primeiras propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
8.5.2 Seca o 2: Funco es contnuas num intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
8.5.3 Seca o 3: Funco es contnuas em conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
8.5.4 Seca o 4: Continuidade uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

9 CONCLUSAO
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121

REFERENCIAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

INTRODUC
AO

Este trabalho tem como foco a resoluca o de parte dos exerccios do livro Analise Real
volume 1 Funco es de Uma Variaveldo autor Elon Lages Lima.
Preciso deixar claro que estudar Analise, e o grande objetivo deste trabalho. E que uma
pessoa com o mesmo objetivo deve tomar cuidado ao utiliza-lo. Devo alerta-lo que o conhecimento e um processo que depende de cada etapa. Digo isso, porque os erros fazem parte deste
processo, e pode ser muito u til desde que aprendamos com eles. Voce deve ler a teoria quantas
vezes seja necessario ate entender muito bem, depois deve ler o exerccio com atenca o para
entao tentar resolve-lo, nunca olhe a resoluca o antes de tentar exaustivamente resolve-lo, pois e
neste momento que voce realmente estara aprendendo os conceitos.
Utilize este trabalho para ver um jeito diferente do seu de resolver o exerccio e talvez
encontrar uma forma mais facil. Nao ha uma u nica maneira de resolver, tentamos fazer da
forma mais didatica possvel, para facilitar o entendimento de cada passagem.
Este trabalho possibilitou o estudo dos seguintes conteudos: conjuntos finitos e infinitos,
numeros reais, sequencias de numeros reais, series numericas, noco es topologicas, limites de
funco es e funco es contnuas. E contem a resoluca o dos exerccios de forma alternada, pois e
um trabalho realizado junto com a aluna Tatiane Tambarussi que traz em sua monografia os
exerccios nao resolvidos aqui.
Em cada captulo, alem dos exerccios, consta uma lista dos principais resultados utilizados
para resoluca o destes, porem para um estudo do conteudo recomenda-se o uso do livro base,
(LIMA, 2008), onde se encontra a demonstraca o dos resultados, alem de exemplos, muito importantes para a compreensao do conteudo. Ou ainda as seguintes bibliografias (LIMA, 2009),

(AVILA,
2004) ou (FIGUEIREDO, 1975).

CONJUNTOS FINITOS E INFINITOS

2.1

NUMEROS
NATURAIS
O conjunto IN dos numeros naturais e caracterizado pelos seguintes fatos:

1. Existe uma funca o injetiva s : IN IN . A imagem s(n) de cada numero natural

n IN chama-se o sucessor de n.

2. Existe um u nico numero natural 1 IN tal que 1 6= s(n) para todo n IN.
3. Princpio da Induca o: Se X IN e um subconjunto tal que 1 X e, para todo n X tem-se
tambem s(n) X (s(X) X), entao X = IN.

As propriedades (1),(2),(3) acima chamam-se os axiomas de Peano. O Princpio da Induca o

(axioma (3)) significa que todo numero natural n pode ser obtido a partir de 1, tomando-se seu
sucessor s(1), o sucessor deste, s(s(1)), e assim por diante.
O princpio da induca o serve de base para um metodo de demonstraca o de teoremas sobre
numeros naturais, conhecido como o metodo de induca o (ou recorrencia), o qual funciona assim: se uma propriedade P e valida para o numero 1 e se, supondo P valida para o numero
n da resultar que P e valida tambem para seu sucessor s(n), entao P e valida para todos os
numeros naturais.
No conjunto IN dos numeros naturais sao definidas duas operaco es fundamentais:
Adica o:

Multiplicaca o:

+ : IN IN

IN

(m, n)

m+n

: IN IN

IN

(m, n)

mn

10

que sao caracterizadas pelas seguintes igualdades, que lhes servem de definica o:
1. m + 1 = s(m);
2. m + s(n) = s(m + n);
3. m 1 = m;
4. m (n + 1) = m n + m;
Temos as seguintes propriedades da adica o e da multiplicaca o:
1. Associatividade:
(m + n) + p = m + (n + p);
m (n p) = (m n) p
2. Distributividade: m (n + p) = m n + m p;
3. Comutatividade:
m + n = n + m;
mn = nm
4. Lei do corte:
m + n = m + p n = p;
mn = m p n = p
Abordaremos agora a relaca o de ordem entre numeros naturais. Dados os numeros naturais
m, n, dizemos que:
m e menor do que n (m < n) quando existe p IN tal que n = m + p;
m n significa que m < n ou m = n.
Proposica o 2.1 (Transitividade) Se m < n e n < p entao m < p.
Dados m, n IN quaisquer, vale uma, e somente uma, das tres alternativas:
m < n, m > n

ou

m = n.

Uma das mais importantes propriedades da relaca o de ordem m < n entre os numeros naturais e o chamado princpio da boa-ordenaca o.

11

Teorema 2.1 (Princpio da Boa Ordenaca o) . Todo subconjunto nao vazio A IN possui um

menor elemento, isto e , um elemento n0 A tal que n0 n para todo n A.

2.2

CONJUNTOS FINITOS
Indicaremos pelo smbolo In o conjunto {1, , n} dos numeros naturais desde 1 ate n.

Notaca o: In = {p IN, 1 p n}

Definica o 2.1 Um conjunto X diz-se finito quando e vazio (X = 0)

/ ou quando existe, para algum
n IN, uma bijeca o : In X . Escrevendo x1 = (1), x2 = (2), , xn = (n) temos

entao X = {x1 , x2 , , xn }.
Observaca o 2.1

A bijeca o chama-se uma contagem dos elementos de X e o numero

n chama-se o numero de elementos, ou numero cardinal do conjunto finito X. Notaca o:

Card X = n.
Se X = 0,
/ diz que o numero de elementos de X e zero, ou seja, Card X = 0;
Cada conjunto In e finito e possui n elementos, ou seja, Card In = n;
Se f : X Y e uma bijeca o, um desses conjuntos e finito se, e somente se, o outro
e .

Lema 2.1 Se f : X Y e uma bijeca o e a X, b Y . Entao existe uma bijeca o

g : X Y tal que g(a) = b.

Teorema 2.2 Se A e um subconjunto proprio de In (A In e A 6= In ). Entao nao existe uma

bijeca o f : A In .

Corolario 2.1 Se existem bijeco es f : In X e g : Im X entao m = n.

Corolario 2.2 Seja X um conjunto finito. Uma aplicaca o f : X X e injetiva se, e
somente se, e sobrejetiva.

Corolario 2.3 Se Y e subconjunto proprio de X (Y X e Y 6= X) e X e finito entao nao pode

existir uma bijeca o f : X Y .

Teorema 2.3 Todo subconjunto de um conjunto finito e finito.

12

Corolario 2.4 Dada f : X Y

1. Se f e injetiva e Y e finito entao X e finito.
2. Se f e sobrejetiva e X e finito entao Y e finito.
Definica o 2.2 Um subconjunto X IN diz-se limitado quando existe p IN tal que x p para
todo x X.

Corolario 2.5 Um subconjunto X IN e finito se, e somente se, e limitado.

2.3

CONJUNTOS INFINITOS

Definica o 2.3 X e um conjunto infinito quando X nao e finito (X 6= 0/ e nao existe, seja qual for
n IN, bijeca o f : In X).

Teorema 2.4 Se X e infinito, entao existe uma aplicaca o injetiva f : IN X.

Corolario 2.6 Um conjunto X e infinito se, e somente se, existe uma bijeca o : X Y

sobre um subconjunto proprio Y X.

2.4

CONJUNTOS ENUMERAVEIS

Definica o 2.4 Um conjunto X e enumeravel quando e finito ou existe uma bijeca o f : IN X.

Observaca o 2.2

f : IN X chama-se uma enumeraca o dos elementos de X. Es-

crevendo f (1) = x1 , f (2) = x2 , , f (xn ) = xn , tem-se entao X = {x1 , x2 , , xn , }.

Se X e um conjunto infinito entao existe uma f : IN X injetiva onde f (IN) X.

Logo f : IN f (IN) X e uma bijeca o, e portanto todo conjunto infinito possui
um subconjunto infinito enumeravel.

Teorema 2.5 Todo subconjunto X IN e eunumeravel.

Corolario 2.7 Seja f : X Y injetiva. Se Y e enumeravel entao X tambem e . Em
particular, todo subconjunto de um conjunto enumeravel e enumeravel.

13

Corolario 2.8 Seja f : X Y sobrejetiva. Se X e enumeravel entao Y tambem e .

Corolario 2.9 O produto cartesiano de dois conjuntos enumeraveis e um conjunto enumeravel.
Corolario 2.10 A reuniao de uma famlia enumeravel de conjuntos enumeraveis e enumeravel.

14

2.5
2.5.1

EXERCICIOS
Seca o 1: Numeros Naturais

1. Usando induca o, prove:

n(n + 1)
.
2
(b) 1 + 3 + 5 + . . . + 2n 1 = n2 .
(a) 1 + 2 + . . . + n =

2. Dados m, n IN com n > m, prove que ou n e multiplo de m ou existem q, r IN tais que

n = mq + r e r < m. Prove que q e r sao u nicos com esta propriedade.
Resoluca o:
Sejam m, n IN com n > m, ha duas possibilidades:
(a) n e multiplo de m. Se n e multiplo de m, temos n = mq para algum q conveniente.
(b) n nao e multiplo de m.
Se n nao e multiplo de m, segue que n esta situado entre dois multiplos consecutivos
de m, isto e , existe um natural q, tal que
mq < n < m(q + 1)
o que e equivalente a
0 < n mq < m.

(1)

Considerando n mq = r IN, temos de (1)

0<r<m
onde n = mq + r.
Segue de (a) e (b) que se n > m entao ou n e multiplo de m ou existem q, r IN tais

que n = mq + r e 0 < r < m.

Vamos provar a unicidade.

Suponhamos que existem q1 , r1 IN tais que n = mq1 + r1 e 0 < r1 < m. Vamos mostrar

que r = r1 e q = q1 . Sendo mq + r = mq1 + r1 , entao

m(q q1 ) = r1 r.
Dados r e r1 , pela tricotomia temos:

(2)

15

(a) r1 < r.
Se r1 < r entao r1 r < 0.
Logo, de (2) temos m(q q1 ) < 0
Como m > 0, segue que q q1 < 0, assim q1 q > 0, ou ainda, q1 q 1.
De (2) segue:
r = r1 + m(q1 q),
levando em conta que m > 0, r1 > 0 e q1 q 1, temos
r > m
o que e um absurdo, pois r < m.
(b) r1 > r.
Se r1 > r entao r1 r > 0, logo de (2) obtemos m(q q1 ) > 0. Sendo m > 0, entao

q q1 > 0, ou melhor, q q1 1.
Analisando (2) temos

r1 = m(q q1 ) + r
e como m > 0, r > 0 e q q1 1, chegamos em r1 > m, o que e um absurdo ja que
r1 < m.

De (a) e (b) conclumos que r1 = r. Usando este fato e observando (2), temos q = q1 .

3. Seja X IN um subconjunto nao-vazio tal que m, n X m n, m + n X. Prove que

existe k IN tal que X e o conjunto dos multiplos de k.

4. Dado n IN, prove que nao existe x IN tal que n < x < n + 1.
Resoluca o:
Suponhamos por absurdo que dado n IN, x IN tal que:
n < x < n + 1.

(3)

Como n, x IN e x > n segue que existe p IN, tal que x = n + p. Substituindo x em (3)
temos

n < n+ p < n+1

16

Adicionando (n) obtemos

0 < p < 1
o que e um absurdo, pois p IN.
Portanto nossa hipotese do raciocnio por absurdo e refutada, ou seja, dado n IN, nao
existe x IN tal que

n < x < n + 1.

5. Prove o princpio de induca o como uma conseque ncia do princpio da boa ordenaca o.
2.5.2

Seca o 2: Conjuntos Finitos

1. Indicando com card X o numero de elementos do conjunto finito X, prove.

(a) Se X e finito e Y X entao card Y card X.
Resoluca o:
Se X e um conjunto finito entao ha dois casos a considerar:
i. X = 0.
/
Se X = 0,
/ como Y X entao Y = 0,
/ logo
card Y = 0 0 = card X
o que satisfaz card Y card X.
ii. X 6= 0.
/

Se X 6= 0/ temos duas possibilidades para o conjunto Y X:

A. Y = 0.
/
Sendo Y = 0/ temos card Y = 0. Como X 6= 0/ consideramos card X = m,

m IN.

Assim,

card Y = 0 m =
o que mostra card Y card X.
B. Y 6= 0.
/

card X,

17

Por hipotese X e finito e Y X, logo Y e finito pois todo subconjunto de

um conjunto finito e finito.

Como X e Y sao finitos e diferentes do conjunto vazio, temos que existem

bijeco es:
f : In X e g : Im Y
onde I = {p IN, p }. Segue que card X = n e card Y = m. Queremos
provar que m n, ou seja, card Y card X.
Suponhamos por absurdo que m > n.

Como Y X, a funca o h : Y In e a restrica o de uma funca o f 1 : X In .

Sendo f 1 uma bijeca o temos que

h = f 1 |Y : Y f 1 In ,
e bijeca o, conforme a ilustraca o:

Como g : Im Y e uma bijeca o podemos estender a representaca o:

onde = h g : Im f 1 (Y ) In e uma bijeca o, pois e a composta das

bijeco es h e g.

Dizer que e uma bijeca o de Im em f 1 (Y ), significa que card f 1 (Y ) =

m.

18

Considerando que f 1 (Y ) In ( f 1 (Y ) In e f 1 (Y ) 6= In ), assim card In

> card f 1 (Y ), ou seja n > m. Isso contradiz a suposica o de que m > n.

Portanto m n, ou seja, conclumos que card Y card X.
(b) Se X e Y sao finitos entao X Y e finito e
card (X Y ) = card X + card Y card (X Y ).
Resoluca o:
Como X e Y sao conjuntos finitos temos quatro possibilidades a analisar:
i. X = 0/ e Y = 0.
/

Se X = 0/ = Y , entao card X = 0 = card Y . Tambem, X Y = 0/ = X Y e

card (X Y ) = 0 = card (X Y ). Portanto,

card (X Y ) = card X + card Y card (X Y ).

ii. X = 0/ e Y 6= 0.
/

Se X = 0/ e Y 6= 0,
/ entao card X = 0 e card Y 6= 0. Nota-se que X Y = Y e
X Y = 0,
/ da card (X Y ) = card Y e card (X Y ) = 0.

Portanto,

card (X Y ) = card Y

= card Y + 0 + 0

= card Y + card X card (X Y ).

iii. X 6= 0/ e Y = 0.
/

Raciocnio analogo ao anterior.

iv. X 6= 0/ e Y 6= 0.
/

Sendo X 6= 0/ e Y 6= 0/ temos, card X 6= 0 e card Y 6= 0 e como X e Y sao finitos

temos que existem as bijeco es:

f : Icard X X

g : Icard Y Y

Vamos analisar agora a interseca o entre X e Y . Temos dois casos a considerar:

A. X Y = 0.
/

Se X Y = 0,
/ entao card (X Y ) = 0. Seja h : Icard X+card Y X Y

uma funca o bijetiva definida por

19

h(n) =

f (n),

se

g(card X + card Y (n 1)),

se

n card X.

n card Y.

Como Icard X=card Y e finito e h e uma bijeca o, segue que X Y e finito e

card (X Y ) = card X + card Y . Portanto,

card (X Y ) = card X + card Y card (X Y ).

B. X Y 6= 0.
/

Se X Y 6= 0,
/ temos tres casos:

X Y.

Se X Y , entao X Y = Y e X Y = X, logo card (X Y ) = card Y e

card (X Y ) = card X. Assim:

card (X Y ) = card Y

= card Y + 0
= card Y + (card X card X)

= card Y + card X card (X Y ).

Y X.

Raciocnio analogo ao anterior.

X 6 Y e Y 6 X.

Sabemos que X Y 6= 0/ e se X 6 Y e Y 6 X, entao Y X 6= 0.

/ Como
(Y X) (X Y ) = Y temos que card ((Y X) (X Y )) = card Y .

Pelo fato de (Y X) (X Y ) = 0,
/ segue do item A que card (Y X) +
card (X Y ) card ((Y X) (X Y )) = card Y , entao
card (Y X) + card (X Y ) = card Y.

(4)

Como X Y = X (Y X) temos que card (X Y ) = card (X (Y X)).

Sendo X 6= 0/ e Y X 6= 0/ segue que, X (Y X) = 0.

/ Portanto pelo item

A, temos card (X Y ) = card X + card (Y X) card (X (Y X))

entao

card (X Y ) = card X + card (Y X).

(5)

20

De (4) e (5), temos

card (X Y ) = card X + card Y card (X Y ).

(c) Se X e Y sao finitos entao X Y e finito e

card (X Y ) = card X card Y.
Resoluca o:
Como X e Y sao conjuntos finitos, podemos considerar:
i. X = 0/ ou Y = 0.
/
A. Se X = 0/ ou Y = 0,
/ entao X Y = 0,
/ card X = 0 e card Y 6= 0. Isto mostra
que X Y e finito e card (X Y ) = 0. Portanto,

card (X Y ) = 0 = 0 n = card X card Y.

B. X 6= 0/ ou Y = 0.
/

Analogo ao anterior.

C. X = 0/ e Y = 0.
/
Se X = 0/ e Y = 0/ entao X Y = 0/ e card X = 0 = card Y . Isto mostra que
X Y e finito e card (X Y ) = 0.
Assim,

card (X Y ) = 0 = 0 0 = card X card Y.

ii. X 6= 0/ e Y 6= 0.
/

Se X 6= 0/ e Y 6= 0,
/ temos X = {x1 , x2 , , xm } para m IN e Y = {y1 , y2 , , yn }
para algum n IN.

Logo, card X = m e card Y = n. Entao, X Y = {X1 X2 Xn } e um

conjunto finito, onde Xi = X {yi }, 1 i n. Segue que:

X1 = X {y1 } = {x1 , x2 , , xm } {y1 } = {(x1 , y1 ), (x2 , y1 ), , (xm , y1 )}

..
.
Xn = X {yn } = {x1 , x2 , , xm } {yn } = {(x1 , yn ), (x2 , yn ), , (xm , yn )}

21

Como Xi X j = 0,
/ i 6= j e card Xi = m, i = 1, , n temos,
card (X Y ) = card (X1 X2 Xn )

= card X1 + card X2 + + card Xn

= |m + m +
{z + m}
n

= m n.
Portanto,

card (X Y ) = card X card Y.

2. Seja (X) o conjunto cujos elementos sao os subconjuntos de X. Prove por induca o que
se X e finito entao card (X) = 2 card X .
3. Seja F (X;Y ) o conjunto das funco es f : X Y . Se card X = m e card Y = n, prove que
card F (X;Y ) = nm .

Resoluca o:
Seja X = Z {a}, a
/ Z entao para cada funca o f : Z Y ha exatamente n maneiras de

estende-la a uma funca o f : X Y , pois card Y = n.

De fato, basta considerarmos
n = 1,
f1 : X

x 7 f1 (x) =

..
.

y1 ,

se x = a

f (x),

se x Z

22

n = n,
fn : X

x 7 fn (x) =

yn ,

se x = a

f (x),

se x Z

Logo,
card F (X;Y ) = [card F (X;Y )] n
onde x = Z {a}, tal que a
/ Z, (usaremos esta ideia para provar a proposica o abaixo,
usando o princpio de induca o).
Considere a proposica o:
P(m) : card F (X;Y ) = nm , card X = m e card Y = n, n, m 1.
Utilizaremos o metodo de induca o sobre m para provar que P(m) e verdadeira, m 1.
Se m = 1, temos card X = 1 e como X = Z {a}, a
/ Z, conclumos que Z = 0.
/

O que mostra,
card F (X;Y ) = n
isto implica que P(1) e verdadeira.

23

Se m = 2, temos card X = 2, da X = Z {a}, onde card Z = 1, ou seja, Z = {b}.

..
.

Isto significa que,

card F (X;Y ) = card F (X;Y ) n
o que mostra que P(2) e verdadeira.
Suponhamos que P(m) e verdadeira para m = k, ou seja,
card F (X;Y ) = nk .

24

Mostraremos que P(m) e verdadeira para m = k + 1, ou seja,

card F (X;Y ) = nk+1 .
Para m = k + 1 temos card X = k + 1 e como X = Z {a} temos card Z = k e card {a} =
1. Sabemos que card F (X;Y ) = card F (X;Y )n, onde card F (X;Y ) = nk por hipotese
de induca o. Portanto,
card F (X;Y ) = card F (X;Y ) n
= nk n
= nk+1

isto mostra que P(k + 1) e verdadeira.

Conclumos pelo metodo de induca o, que P(m) e verdadeira, m 1, ou seja,
card F (X;Y ) = nm
onde card X = m e card Y = n.

4. Prove que todo conjunto finito nao-vazio X de numeros naturais contem um elemento
maximo (isto e , existe x0 X tal que x x0 , x X).
2.5.3

Seca o 3: Conjuntos Infinitos

1. Dada f : X Y , prove:
(a) Se X e infinito e f e injetiva entao Y e infinito.
Resoluca o:
Temos por hipotese que X e infinito e a aplicaca o f : X Y e injetiva, queremos
mostrar que Y e infinito.

Como X e infinito, podemos definir uma funca o injetiva g : IN X, conforme diagrama:

25

Sabendo que f e g sao injetivas temos que f g : IN Y e injetiva, pois a composta

de funco es injetivas e injetiva. Donde conclumos que Y e infinito.

(b) Se Y e infinito e f e sobrejetiva, entao X e infinito.

Resoluca o:
Sendo f : X Y sobrejetiva por hipotese, temos que y Y podemos escolher
x = g(y) Y tal que f (x) = y. Isto define uma aplicaca o g : Y X injetiva, como
iremos provar. Note que

De fato, g e injetiva pois considerando y1 , y2 Y , com g(y1 ) = g(y2 ). Aplicando

a f em ambos os membros obtemos f (g(y1 )) = f (g(y2 )), o que implica em ( f

g)(y1 ) = ( f g)(y2 ). Devido a definica o da composta temos y1 = y2 .

Como por hipotese Y e infinito, temos que existe uma aplicaca o injetiva h : IN Y ,

tal que

26

g h : IN X e injetiva, por ser a composta de funco es injetivas.

Portanto, X e infinito.

2. Sejam X um conjunto finito e Y um conjunto infinito. Prove que existe uma funca o
injetiva f : X Y e uma funca o sobrejetiva g: Y X.
3. Prove que o conjunto P dos numeros primos e infinito.
Resoluca o:
Seja P o cojunto dos numeros primos, suponhamos por absurdo que P e finito entao
P = {x1 , x2 , , xm } com xi IN, i = 1, , m.
Considerando um numero natural p, tal que p = x1 x2 . . . xm e adicionando 1 a este

resultado, determinamos y = p + 1 IN. Desta forma, y nao e primo pois e diferente de

todos os xi P, ou ainda, y > xi , xi P.

Logo se y nao e primo, entao pode ser decomposto em um produto de fatores primos.
Sendo p = x1 . . . xm , onde xi P, temos que p e divisvel por todos os xi . Como

y = p + 1, exclui-se a possibilidade de y ser divissel por qualquer xi P. Logo, y nao

pode ser decomposto em fatores primos, portanto, y e primo.

Conclumos que existe y primo tal que y

/ P, isto contradiz a hipotese do raciocnio por
absurdo, o que implica em P ser infinito.

4. De exemplo de uma sequencia decrescente X1 X2 ... Xn ... de conjuntos infinitos

cuja intersecca o

n=1

Xn seja vazia.

27

2.5.4

Seca o 4: Conjuntos Enumeraveis

1. Defina f : IN IN IN pondo f (1, n) = 2n 1 e f (m + 1, n) = 2m (2n 1). Prove que f

e uma bijeca o.

Resoluca o:
Seja f : IN IN IN definida por
(
2n 1,
f (x, y) =
2m (2n 1),

se x = 1 e y = n
se x = m + 1 e y = n

Vamos provar que f e uma bijeca o.

Parte 1- f e injetiva.
(a) x1 = 1 e x2 = 1.
Seja x1 = 1 e x2 = 1. Suponhamos que f (x1 , y1 ) = f (x2 , y2 ), da,
f (1, y1 ) = f (1, y2 )
2y1 1 = 2y2 1
2y1 = y2

y1 = y2 .
Portanto, (x1 , y1 ) = (x2 , y2 ).
(b) x1 = 1 e x2 6= 1.

Como x1 = 1 e x2 6= 1, temos (x1 , y1 ) 6= (x2 , y2 ). Sendo x2 6= 1, entao x2 =

x2 + 1, onde x2 IN. Da f (x1 , y1 ) = f (1, y1 ) = 2y1 1 e f (x2 , y2 ) = f (x2 +

1, y2 ) = 2x2 (2y2 1). Como f (x1 , y1 ) e mpar e f (x2 , y2 ) e par conclumos que
f (x1 , y1 ) 6= f (x2 , y2 ).

(c) x1 6= 1 e x2 = 1.

Analogo ao anterior.

(d) x1 6= 1 e x2 6= 1.

Como x1 6= 1 e x2 6= 1, temos x1 = x1 + 1 e x2 = x2 + 1. Ha dois casos a

considerar:

i. x1 = x2 .
Se x1 = x2 , entao x1 = x2 . Considerando f (x1 , y1 ) = f (x2 , y2 ), temos

2x1 (2y1 1) = 2x1 (2y2 1)

2y1 1 = 2y2 1
y1 = y2 .

28

logo (x1 , y1 ) = (x2 , y2 ).

ii. x1 6= x2 .

Como x1 6= x2 temos que (x1 , y1 ) 6= (x2 , y2 ) e x1 = x2 . Vamos considerar

dois casos:
A. y1 = y2 .

Considerando y1 = y2 e sabendo que x1 6= x2 , ou seja, x1, 6= x2, temos:

f (x1 , y1 ) = 2x1 (2y1 1) = 2x1 f (1, y1 )

e
f (x2 , y2 ) = 2x2 (2y2 1) = 2x1 f (1, y2 ).

Como 2x1 6= 2x2 obtemos 2x1 f (1, y1 ) 6= 2x2 f (1, y2 ), pois f (1, y1 ) = f (1, y2 ).

Conclumos que f (x1 , y1 ) 6= f (x2 , y2 ).

B. y1 6= y2 .

Como y1 6= y2 temos que 2y1 1 6= 2y2 1, onde 2y1 1 e 2y2 1 sao

numeros primos. Pelo fato de x1 6= x2 temos x1 6= x2 , da 2x1 6= 2x2 .

Sabendo que f (x1 , y1 ) = 2x1 (2y1 1) e f (x2 , y2 ) = 2x2 (2y2 1), con-

clumos que f (x1 , y1 ) 6= f (x2 , y2 ), pois a fatoraca o de numeros primos e

u nica.

Parte 2- f e sobre.
(a) Dado um numero mpar k IN temos
k = 2n 1,
onde n IN, logo existe n =

k+1
2

IN e x = 1 tal que

f (1, n) = 2n 1 = 2

k+1
2

1 = k.

(b) Dado um numero par k IN, seja m o maior numero natural tal que k e divisvel
por 2m , logo k = 2m l, onde l e mpar. Como l e mpar temos l = 2n 1, ou

seja, n =

l+1
2 .

Da existe m e n IN tal que

f (m + 1, n) = 2m (2n 1)

1
= 2m 2 l+1
2
= 2m (l + 1 1)

= 2m l.
Portanto, f e sobre.

29

2. Prove que existe g: IN IN sobrejetiva tal que g1 (n) e infinito, para cada n IN.
3. Exprima IN = IN1 IN2 ... INn ... como uniao infinita de subconjuntos infinitos, dois
a dois disjuntos.
Resoluca o:
Seja IN = IN {0}. Definimos:

1 : IN Im (1 )
n

1 (n)

= 2n ,

onde IN1 = Im (1 ) IN.

2 : IN IN

Im (2 )

(n1 , n2 ) 7 2 (n1 , n2 ) = 2n1 3n2 ,

/
sendo IN2 = Im (2 ) IN1 e IN1 IN2 = 0.

3 : IN IN IN

Im (3 )

7 3 (n1 , n2 , n3 ) = 2n1 3n2 5n3 ,

(n1 , n2 , n3 )

onde IN3 = Im (3 ) (IN1 IN2 ), com IN3 IN1 = 0/ e IN3 IN2 = 0.

/

4 : IN IN IN IN
(n1 , n2 , n3 , n4 )

Im (4 )

7 4 (n1 , n2 , n3 , n4 ) = 2n1 3n2 5n3 7n4 ,

/ IN4 IN2 = 0,
/ IN4 IN1 = 0.
/
com IN4 = Im (4 ) (IN1 IN2 IN3 ) e IN4 IN3 = 0,
..
.

k : IN IN IN
(n1 , n2 , , nk )

Im (k )

7 k (n1 , n2 , , nk ) = 2n1 3n2 5n3 pnk ,

sendo p o k-esimo numero primo. E IN INk = Im (k ) (IN1 IN2 INk1 ), onde

INk IN1 = 0,
/ INk IN2 = 0,
/ , INk INk1 = 0.
/
...

Como todo numero natural pode ser decomposto em um produto de numeros primos,
temos pela definica o da i , com i IN, que IN = IN1 IN2 INk , onde INi e
infinito e INi IN j = 0,
/ para i 6= j, i, j IN.

30

4. Para cada n N, seja n = {X N; card X = n }. Prove que n e enumeravel. Conclua que

o conjunto f dos subconjuntos finitos de N e enumeravel.

5. Prove que o conjunto (N) de todos os subconjuntos de N nao e enumeravel.

6. Sejam Y enumeravel e f : X Y tal que, para cada y Y , f 1 (y) e enumeravel. Prove que X e
enumeravel.

31

REAIS

3.1

IR E UM CORPO
Isto significa que estao definidas em IR duas operaco es (IR, +, ) chamadas adica o e multi-

plicaca o, que cumprem certas condico es

+ : IR IR IR

(x, y) 7 x + y

: IR IR IR

(x, y) 7 x y

que satisfazem os axiomas:

1. Associatividade: para quaisquer x, y, z IR tem-se
x + (y + z) = (x + y) + z
x.(y.z) = (x.y).z
2. Comutatividade: para quaisquer x, y IR tem-se
x+y = y+x
x.y = y.x
3. Existencia do elemento neutro: para qualquer x IR,
0 IR ; x + 0 = x

1 IR ; x.1 = x
4. Existencia do elemento inverso:
Dado x IR; (x) IR tal que x + (x) = 0.

Dado x IR; x 6= 0, x1 IR tal que x.x1 = 1.

32

5. Distributividade: para x, y, z IR quaisquer, tem-se x (y + z) = x y + x z.

Dos axiomas acima resultam todas as regras de manipulaca o com os numeros reais. A ttulo
de exemplo, estabeleceremos algumas delas.
a) da Comutatividade
(i) 0 + x = x.
(ii) (x) + (x) = 0.
(iii) 1.x = x.
(iv) x1 .x = 1.
b) da Distributividade
(i) x.0 = 0, x IR.
(ii) x.y = 0 = x = 0 ou y = 0.
(iii) Regra de sinais
(a) x.(y) = (x).y = (xy);
(b) (x)(y) = xy.
(iv) x2 = y2 = x = y.
3.2

IR E UM CORPO ORDENADO
Isto significa que existe um subconjunto IR+ IR, chamado o conjunto dos numeros reais

positivos, que cumpre as seguintes condico es:

(P1 ) Seja x, y IR+ entao x + y IR+ e x y IR+

(P2 ) Dado x IR tem-se uma das tres alternativas:
x IR+

ou

(x) IR+

ou

x = 0.

Se indicarmos com IR o conjunto dos numeros (x) onde x IR+ , a condica o P2 diz

que IR = IR+ IR {0} e os conjuntos, IR+ , IR e {0} sao dois a dois disjuntos. Os
numeros y IR chama-se negativos.

Proposica o 3.1 x 6= 0 tem-se x2 IR+ .

33

Definica o 3.1 Diz-se que x e menor do que y e escreve-se x < y quando y x IR+ , isto e ,
y = x + z onde z IR+ . Neste caso, escreve-se tambem y > x e diz-se que y e maior do que x.
Em particular,

x > 0 significa x IR+ , isto e , x e positivo;

x < 0 significa que x IR+ , ou seja, x e negativo.
A relaca o de ordem x < y em IR satisfaz as seguintes propriedades:
1. Transitividade: se x < y e y < z entao x < z.
2. Tricotomia: Dados x, y IR tem-se uma das tres alternativas.
x = y, x < y

ou

y < x.

3. Monotonicidade da adica o: se x < y entao x + z < y + z, z IR.

(
z > 0 xz < yz
4. Monotonicidade da multiplicaca o: se x < y entao
z < 0 xz > yz
Mais geralmente, x, y, x , y IR
(i) x < y e x < y = x + x < y + y ;
(ii) 0 < x < y e 0 < x < y = x.x < y.y ;
(iii) 0 < x < y = y1 < x1 .
Como 1 IR e positivo, segue que
1 < 1+1+1+1 <
podemos entao considerar IN IR. Segue que ZZ IR pois 0 IR e n IR n IR. Alem
disso, se m, n ZZ com n 6= 0 entao

m
= m.n1 IR
n
o que nos permite concluir que Q IR. Assim
IN ZZ Q IR.

34

Proposica o 3.2 (Desigualdade de Bernoulli) Para todo numero real x 1 e todo n IN,
tem-se

(1 + x)n 1 + nx.
Definica o 3.2 (Modulo) Dado x IR, definimos o modulo de x por

x se x > 0
|x| =

ou ainda

se

x=0

se

x<0

|x| = max{x, x}
e o maior dos numeros reais x e x.
Observaca o 3.1

1. |x| x |x|, x IR.

2. |x| e o u nico numero nao negativo cujo quadrado e x2 , ou seja, |x|2 = x2 .

Proposica o 3.3 Se x, y IR entao
(i) |x + y| |x| + |y|;
(ii) |x.y| = |x|.|y|.
Teorema 3.1 Sejam x, a IR. As seguintes afirmaco es sao equivalentes.
(i) a x a;
(ii) x a e x a;
(iii) |x| a.
Corolario 3.1 Dados a, x, b IR, tem-se |x a| b se, e somente se, a b x a + b.
Usaremos as seguintes notaco es para representar tipos especiais de conjuntos de numeros
reais, chamados intervalos:
Intervalos limitados com extremos a, b.

35

fechado: [a, b] = {x IR; a x b};

aberto: (a, b) = {x IR; a < x < b};
fechado a` esquerda: [a, b) = {x IR; a x < b};
fechado a` direita: (a, b] = {x IR; a < x b}.
Intervalos ilimitados
Semi-reta esquerda fechada de origem b: (, b] = {x IR; x b};
Semi-reta esquerda aberta de origem b: (, b) = {x IR; x < b};
Semi-reta direita fechada de origem a: [a, +) = {x IR; x a};
Semi-reta direita aberta de origem a: (a, +) = {x IR; x > a};
Reta: (, +) = IR.
Teorema 3.2 Num corpo ordenado K, as seguintes afirmaco es sao equivalentes:
(i) IN K e ilimitado superiormente.
(ii) dados a, b K, com a > 0, existe n IN tal que n a > b.
(iii) dado qualquer a > 0 em K, existe n IN tal que 0 <

1
< a.
n

Definica o 3.3 Um corpo ordenado K chama-se arquimediano quando nele e valida qualquer
das tres condico es equivalentes citadas no teoerema 3.2.
Observaca o 3.2 O corpo Q dos numeros racionais e arquimediano.
3.3

IR E UM CORPO ORDENADO COMPLETO

Nada do que foi dito ate agora permite distinguir IR de Q pois os numeros racionais tambem

constituem um corpo ordenado. Acabaremos agora nossa caracterizaca o de IR, descrevendo-o

como um corpo ordenado completo, propriedade que Q nao tem.
Definica o 3.4 Seja X IR. Dizemos que X e limitado superiormente quando existe k IR tal
que

x k, x X

36

e todo k com esta proriedade e denominado uma cota superior de X.

Definica o 3.5 Seja X IR limitado superiormente e nao vazio. Dizemos que b e supremo de

X. Se b e a menor das cotas superiores

b = sup X.
Equivalentemente, b e supremo de X se, e somente se:
(i) x b, x X.
(ii) Se c e uma cota superior de X, entao b c.
(iii) > 0, existe x X tal que b < x.
Definica o 3.6 Seja X IR dizemos que X e limitado inferiormente quando existe m IR tal

que

m x, x X
e todo m com esta propriedade e denominado uma cota inferior de X.
Definica o 3.7 Seja X IR limitado inferiormente e nao vazio. Dizemos que a e o nfimo de X
se a e a maior das cotas inferiores

a = inf X.
Equivalentemente, a e o nfimo de X se, e somente se:
(i) a x, x X.
(ii) Se c e uma cota inferior de X entao c a.
(iii) > 0, existe x X tal que x < a + .
Definica o 3.8 Um numero b X e o maior elemento (elemento maximo) do conjunto X quando
b x, x X
Isto quer dizer que b = sup X que pertence a X.

37

Definica o 3.9 Um numero a X e o menor elemento (elemento mnimo) do conjunto X quando

a x, x X
Isto quer dizer que a = inf X que pertence a X.
Definica o 3.10 Se X e limitado superiormente e inferiormente, diz-se que X e um conjunto
limitado. Isto significa que X esta contido em algum intervalo limitado [a, b] ou que existe
k > 0 tal que se x X entao |x| k.
A insuficiencia mais grave dos numeros racionais, para efeitos da analise matematica, e o fato
de alguns conjuntos limitados de numeros racionais nao possuirem supremo (ou nfimo). Este
fato esta ligado a` inexistencia de razes quadradas racionais de certos numeros inteiros, mas e
uma dificuldade que vai muito alem dessa falta.
Pitagoras e seus discpulos descobriram o seguinte:
Lema 3.1 Nao existe um numero racional cujo quadrado seja igual a 2.
Proposica o 3.4 Sejam
X = {x Q; x 0 e x2 < 2} Q
e
Y = {y Q; y > 0 e y2 > 2} Q
entao nao existem sup X nem infY em Q.
Observaca o 3.3 Com base na proposica o (3.4), observamos que se existir um corpo ordenado
no qual todo conjunto nao-vazio, limitado superiormente, possua supremo, existira, nesse dito
corpo, um elemento a > 0 cujo quadrado e 2. Com efeito, tal corpo, sendo ordenado contem
Q, logo contem o conjunto X e nele existira a = sup X, cujo quadrado, nao podendo ser menor

nem maior do que 2, devera ser igual a 2. Escreve-se a = 2.

Definica o 3.11 (Corpo Ordenado Completo) Um corpo ordenado K chama-se completo quando todo subconjunto nao vazio, limitado superiormente, X K, possui supremo em K.
Resulta da definica o que, num corpo ordenado completo, todo conjunto nao-vazio, limitado
inferiormente, Y K, possui um nfimo.
Adotaremos, a partir de agora, o axioma fundamental da Analise Matematica.

38

Axioma 3.1 (Axioma Fundamental da Analise Matematica) Existe um corpo ordenado completo, IR, chamado o corpo dos numeros reais.
Como foi observado, existe em IR um numero positivo a tal que a2 = 2. Este numero e

representado pelo smbolo 2 o qual nao e numero racional.

Aos elementos do conjunto IR Q, isto e , aos numeros que nao sao racionais, chamaremos

de numeros irracionais. Assim 2 e um numero irracional.

Proposica o 3.5 Dados m, n IN, se

m 6 IN entao

m (IR Q).

Mostraremos agora que os numeros irracionais se acham espalhados por toda parte entre
os numeros reais. Em seguida, provaremos que ha mais numeros irracionais do que racionais.
Para explicar precisamente o que significa espalhados por toda parte, comecaremos com uma
definica o.
Definica o 3.12 (Denso) Um conjunto X IR chama-se denso em IR quando todo intervalo

aberto (a, b) contem algum ponto de X. Em outras palavras, diremos que o conjunto X de

numeros reais e denso em IR quando, dados arbitrariamente a < b em IR, for possvel encontrar
x X tal que a < x < b.
Teorema 3.3 O conjunto Q dos numeros racionais e o conjunto IR Q dos numeros irracionais
sao ambos densos em IR.

Teorema 3.4 (Intervalos Encaixados) Seja I1 I2 In uma sequencia decrescente

de intervalos limitados e fechados In = [an , bn ] entao +
ao e vazia.
n=1 In n
Teorema 3.5 O conjunto dos numeros reais nao e enumeravel.
Corolario 3.2 Todo intervalo nao-degenerado de numeros reais e nao-enumeravel.
Corolario 3.3 O conjunto dos numeros irracionais nao e enumeravel.

39

3.4
3.4.1

EXERCICIOS
Seca o 1: IR e um Corpo

1. Prove as seguintes unicidades:

(a) Se x + = x para algum x IR entao = 0;
Resoluca o:
Temos x + = x, x IR.
Somando (x) a ambos os membros da igualdade obtemos:
x + + (x) = x + (x)
x + (x) + = 0

0+ = 0

= 0.

(b) Se x u = x para todo x IR entao u = 1;

Resoluca o:
Seja x u = x para todo x IR, ha dois casos a considerar:
i. x = 0.
Se x = 0, entao 0 u = 0. Segue que u pode ser qualquer numero real, em

particular, u = 1.

ii. x 6= 0. Se x 6= 0, multiplicamos a identidade x u = x por x1 , assim

x1 x u = x1 x
1u = 1

u = 1.

(c) Se x + y = 0 entao y = x;
Resoluca o:
Adicionando (x) a x + y = 0 temos:
(x) + x + y = 0 + (x)

0 + y = x

y = x.

40

(d) Se x.y = 1 entao y = x1 .

Resoluca o:
Como x y = 1, temos que x 6= 0 e y 6= 0.

Multiplicando x y = 1 por x1 , obtemos:

x1 x y = 1 x1
1 y = x1

y = x1 .

a c (ad + bc)  a   c  ac
+ =
e
=
b d
bd
b
d
bd
 a 1 b
3. Se a 6= 0 e b 6= 0 em IR, prove que (a b)1 = a1 b1 e conclua que
= .
b
a
Resoluca o:

2. Dados a, b, c, d IR, se b 6= 0 e d 6= 0 prove que

Sejam a 6= 0 e b 6= 0 numeros reais, logo:

(a b)1 = (a b)1 (a1 a) (b b1 )
= (a b)1 a1 (a b) b1

= (a b)1 (a b) a1 b1

= 1 a1 b1

= a1 b1 .
Temos ainda que:
 a 1
b

4. Prove que

3.4.2

a b1

1

a1 b1

1

= a1 b = b a1 =

(1 xn+1 )
= 1 + x + . . . + xn para todo x 6= 1.
(1 x)

Seca o 2: IR e um Corpo Ordenado

1. Para quaisquer x,y,z IR, prove que |x z| |x y| + |y z|.

Resoluca o:
Sejam x, y, z IR. Temos
|x y| = |x + (y + y) z|
= |(x y) + (y z)|

|x y| + |y z| .

b
.
a

41

Portanto,
|x z| |x y| + |y z| .

2. Prove que ||x| |y|| |x y| para quaisquer x, y IR.

3. Dados x, y IR, se x2 + y2 = 0 prove que x = y = 0.
Resoluca o:
Sejam x, y IR, onde x2 + y2 = 0. Logo
x2 = y2

(1)

e como todo numero real diferente de zero tem quadrado positivo (Proposica o (3.1)),
temos:
(a) x2
/ IR .
(b) x2
/ IR+ .
pois se x2 IR+ entao de (1) y2 IR2 , o que e um absurdo.
De (a), (b) e pelo fato de IR ser um corpo ordenado, temos que x2 = 0, ou ainda, x x = 0,

o que implica que x = 0.

Como x2 = 0, segue de (1) que y2 = 0, ou melhor, y2 = 0, de onde conclumos que

y = 0.

Portanto, x = y = 0.


n(n

1)
x2 se x 0.
4. Prove por induca o que (1 + x)n 1 + nx +
2


5. Para todo x 6= 0 em IR, prove que (1 + x)2n > 1 + 2nx, n 1.

Resoluca o:
Seja x 6= 0 um numero real qualquer, logo
(1 + x)2n =
onde n 1.


n
(1 + x)2
= (1 + 2x + x2 )n ,

(2)

42

Para mostrarmos que (1 + x)2n > (1 + 2nx) queremos aplicar a Desigualdade de Bernoulli
em (1 + 2x + x2 )n . Para isso e necessario verificar que 2x + x2 1. De fato, como

(x = 1)2 , x IR, temos que x2 + 2x + 1 0, o que acarreta x2 + 2x 1.

Aplicamos a Desigualdade de Bernoulli em (2) e temos
(1 + x)2n = (1 + 2x + x2 )n 1 + (2x + x2 )n
= 1 + 2nx + x2 n

> 1 + 2nx
Conclumos que (1 + x)2n > 1 + 2nx, x 6= 0 e n 1.

6. Prove que |a b| < |a| < |b| + .

n

7. Use o fato de que trinomio do segundo grau f ( ) = (xi + yi )2 e 0 para todo IR

i=1

para provar a desigualdade de Cauchy-Schwarz

n

xi yi

i=1

!2

xi2

i=1

y2i

i=1

Prove ainda que vale a igualdade se, e somente se, existe tal que xi = yi para todo
i = 1, , n, ou y1 = = yn = 0.
Resoluca o:
n

Sejam x1 , y1 IR, i = 1, , x, tal que f ( ) = (xi + yi )2 0. Logo,

i=1

f ( ) =
f ( ) =

(xi2 + 2xi yi + 2y2i ) 0

i=1
n

xi2 + 2 xiyi + 2 y2i

i=1

y2i

f ( ) =

i=1

i=1
!

i=1

2 + 2 xi yi +
i=1

xi2

i=1

i=1

i=1

i=1

Podemos escrever f ( ) = a 2 + b + c, onde a = y2i , b = 2 xi yi e c = xi2 . Como

f ( ) 0 e IR, devemos ter 0, ou seja, b2 4ac 0. Da
n

2 xi yi
i=1

!2

y2i

i=1

xi2

i=1

43
n

xi yi

i=1

Portanto,
n

xi yi

i=1

!2

!2

y2i

i=1

xi2

i=1

xi2

i=1

y2i

i=1

o que verifica a Desigualdade de Cauchy Schwarz.

Alem disso, se xi = yi , para todo i = 1, , n, temos
n

xi yi

i=1

!2

( yi)yi

i=1
n

y2i

i=1

!2

y2i

= 2

i=1
n

2y2i

i=1
n

xi2

i=1

!2

y2i

i=1
n

y2i

i=1!

y2i

i=1

Conclumos que
n

xi yi

i=1

!2

xi2

i=1

y2i

i=1

an
a1
,...,
pertencem a um intervalo ( , ) e b1 , . . . , bn sao positivos, prove que
b1
bn
(a1 + . . . + an )
pertence a ( , ). Nas mesmas condico es, se t1 , . . . ,tn R+ prove que
(b1 + . . . + bn )
(t1 a1 + . . . + tn an )
tambem pertence ao intervalo ( , ).
(t1 b1 + . . . + tn bn )

8. Se

3.4.3

Seca o 3: IR e um Corpo Ordenado Completo

1. Diz-se que uma funca o f : X IR e limitada superiormente quando sua imagem f (X) =

{ f (x); x X} e um conjunto limitado superiormente. Entao poe-se sup f = sup{ f (x), x

X}. Prove que se f , g : X IR sao limitadas superiormente o mesmo ocorre com a soma

f + g : X IR e tem-se sup( f + g) sup f + sup g. De um exemplo de sup( f + g) <

sup f + sup g. Enuncie e prove um resultado analogo para inf.

Resoluca o:

44

Sejam f , g funco es reais definidas em X limitadas superiormente. Logo, os conjuntos

f (X) = { f (x); x X}, g(X) = {g(x); x X} sao limitados superiormente. E, sup f =

sup { f (x); x X} e sup g = sup {g(x); x X}.

Vamos provar que f + g : X IR e limitada superiormente, ou seja, que o conjunto

( f + g)(X) = {( f + g)(x); x X} e limitado superiormente e

sup( f + g) = sup {( f + g)(x); x X}

= sup { f (x) + g(x); x X} .
Para isso basta encontrar uma cota superior do conjunto ( f +g)(X) = { f (x) + g(x); x X}.

Vamos mostrar que sup f + sup g e uma cota superior para esse conjunto.
Com efeito,
sup f = sup { f (x); x X} f (x), x X.
sup g = sup {g(x); x X} g(x), x X.

Logo,
sup f + sup g = sup { f (x); x X} + sup {g(x); x X}
f (x) + g(x), x X
= ( f + g)(x), x X.
Isto mostra que
sup( f + g) sup f + sup g.
Portanto, ( f + g) : X IR e limitada superiormente.
Uma funca o f : X IR e limitada inferiormente quando sua imagem f (X) = { f (x); x

X} e um conjunto limitado inferiormente. Entao poe-se inf f = inf{ f (x), x X}. Deve-

mos provar que se f , g : X IR sao limitadas inferiormente o mesmo ocorre com a soma
f + g : X IR e tem-se inf( f + g) inf f + inf g.

De fato, sejam f , g funco es reais definidas limitadas inferiormente. Logo, f (X) =

{ f (x); x X} e g(X) = {g(x); x X} sao conjuntos limitados inferiormente. E, inf f =

inf { f (x); x X} e inf g = inf {g(x); x X}.

Vamos provar que f + g : X IR e limitada inferiormente, isto e , que o conjunto ( f +

45

g)(X) = {( f + g)(x); x X} e limitado inferiormente e

inf( f + g) = inf {( f + g)(x); x X}
= inf { f (x) + g(x); x X} .
Para isso basta encontrar uma cota inferior do conjunto ( f +g)(X) = { f (x) + g(x); x X}.

Vamos mostrar que inf f + inf g e uma cota inferior para esse conjunto.
Com efeito,
inf f = inf { f (x); x X} f (x), x X.
inf g = inf {g(x); x X} g(x), x X.

Logo,
inf f + inf g = inf { f (x); x X} + inf {g(x); x X}
f (x) + g(x), x X

= ( f + g)(x), x X.
Disto podemos concluir que

inf f + inf g inf( f + g).

Portanto, ( f + g) : X IR e limitada inferiormente.
Exemplo:
Sejam
f : IR IR
x

7 f (x) = sen x

g : IR IR
x

7 g(x) = sen x

Temos que ( f + g) : IR IR e definida por

( f + g)(x) = f (x) + g(x)
= sen x sen x
= 0
x IR, ou seja, f + g e a funca o nula.
Observe que:

46

(a) sup f = 1, sup g = 1 e sup( f + g) = 0 < 1 + 1 = sup f + sup g.

Portanto,
sup( f + g) < sup f + sup g.
(b) inf f = 1, inf g = 1 e inf( f + g) = 0 > 1 1 = inf f + inf g.
De onde conclumos que
inf( f + g) > inf f + inf g.

2. Dadas as funco es f , g : X IR+ limitadas superiormente, prove que o produto f g :

X IR+ e uma funca o limitada (superior e inferiormente) com sup( f g) sup f sup g
e inf( f g) inf f inf g. De exemplos onde se tenha < e nao =.

47

4.1

SEQUENCIAS
DE NUMEROS
REAIS

LIMITE DE UMA SEQUENCIA

Definica o 4.1 Denominamos sequencia de numeros reais a toda funca o

x : IN
n

IR

7 x(n) = xn

que associa a cada numero natural n um real xn , chamado o n-esimo termo da sequencia.

x.

Escreve-se (x1 , x2 , , xn , ) ou (xn )nIN , ou simplesmente (xn ), para indicar a sequencia

A notaca o da sequencia (xn ) nao deve levar o leitor a confundir com o conjunto dos seus

valores ou conjunto dos seus termos que e dado por x (IN) = {x1 , x2 , , xn , }.
Definica o 4.2 Dizemos que uma sequencia de numeros reais (xn ) e limitada superiormente
quando existe c IR tal que

xn c, n IN.

Definica o 4.3 Dizemos que uma sequencia de numeros reais (xn ) e limitada inferiormente
quando existe c IR tal que

xn c, n IN.

Definica o 4.4 Dizemos que uma sequencia de numeros reais (xn ) e limitada se (xn ) e limitada
inferiormente e superiormente. Ou seja, existem numeros reais a, b tais que
a xn b, n IN,
ou ainda, existe k IR tal que

|xn | k, n IN.

48

Definica o 4.5 Seja x = (xn )nIN uma sequencia de numeros reais. Dado IN IN com IN

infinito, isto e , ilimitado, ou ainda, n0 IN existe nk IN tal que n0 < nk entao a restrica o
da sequencia (xn )nIN ao conjunto IN e denominada uma subsequencia da sequencia (xn )nIN .
Denota-se (xn )nIN ou (xnk )kIN .
Definica o 4.6 Dizemos que uma sequencia (xn )nIN tem limite a IR quando para todo > 0

dado arbitrariamente, pode-se obter um numero natural n0 IN tal que todos os termos xn ,
com ndice n > n0 cumprem a condica o |xn a| < e escreve
lim xn = a

ou
xn a

> 0, n0 IN tal que

se n > n0 entao |xn a| <

Uma sequencia que possui limite e convergente, caso contrario diz-se divergente.
Teorema 4.1 (Unicidade do Limite) O limite de uma sequencia (xn )nIN e u nico.
Teorema 4.2 Se (xn )nIN converge para a entao toda subsequencia de (xn ) tambem converge
para a.
Observaca o 4.1 Temos pela contrapositiva do teorema (4.2) que se existe uma subsequencia
de (xn )nIN que nao converge para a entao (xn )nIN nao converge para a.
Teorema 4.3 Toda sequencia convergente e limitada.
Observaca o 4.2 Porem nem toda sequencia limitada e convergente.
Observaca o 4.3 Temos pela contrapositiva do teorema (4.3) que se (xn )nIN e ilimitada entao
(xn )nIN nao e convergente.
Definica o 4.7 (Sequencia Monotona) Para todo n IN,
i) se xn xn+1 dizemos que (xn )nIN e nao-decrescente.
ii) se xn xn+1 dizemos que (xn )nIN e nao-crescente.
iii) se xn < xn+1 dizemos que (xn )nIN e crescente.
iv) se xn > xn+1 dizemos que (xn )nIN e decrescente.

49

Teorema 4.4 Toda sequencia monotona limitada e convergente.

Teorema 4.5 (Teorema de Bolzano Weierstrass) Toda sequencia limitada de numeros reais
possui uma subsequencia convergente.
Teorema 4.6 A fim de que a IR seja limite de uma subsequencia de (xn )nIN e necessario e

suficiente que, para todo > 0, exista uma infinidade de ndices n tais que xn (a , a + ).
4.2

LIMITES E DESIGUALDADES
Dizemos que (xn )nIN satisfaz uma propriedade P para n suficientemente grande quando

existe um ndice n0 IN tal que P se verifica n > n0 .

Teorema 4.7 Seja a = lim xn . Se b < a entao para n suficientemente grande tem-se b < xn .
n

Analogamente, se a < b entao para todo n suficientemente grande tem-se xn < b, n IN.
Corolario 4.1 Seja a = lim xn . Se 0 < a entao para n suficientemente grande tem-se 0 < xn .
n

Analogamente, se a < 0 entao para todo n suficientemente grande tem-se xn < 0, n IN.
Corolario 4.2 Seja a = lim xn e b = lim yn . Se xn yn para todo n suficientemente grande
n

entao a b. Em particular, se xn b para n suficientemente grande entao lim xn b.

n

Teorema 4.8 (Teorema do Sanduche) Se lim xn = lim yn = a e xn zn yn para n suficienn

temente grande, entao lim zn = a.

n

4.3

OPERAC
OES
COM LIMITES

Teorema 4.9 Se lim xn = 0 e (yn )nIN e uma sequencia limitada (convergente ou nao) entao
n

lim (xn yn ) = 0

Teorema 4.10 Se lim xn = a e lim yn = b, entao:

n

1. lim (xn yn ) = a b;
n

2. lim (xn yn ) = a b;
n

50

xn a
= , se b 6= 0.
n yn
b

3. lim

Observaca o 4.4 Uma das constantes mais importantes da Analise Matematica e o numero e,
que e limite da sequencia (1 + 1n )n . Tem-se 2 < e < 3.
Exemplo 4.1 Consideremos a sequencia cujo n-esimo termo e xn =

n
n = n1/n . Temos xn 1

para todo n IN. Esta sequencia e decrescente a partir do seu terceiro termo. Com efeito, a

desigualdade n n > n+1 n + 1 e equivalente a n1/n > (n + 1)1/n+1 . Elevando a desigualdade

acima a n(n + 1) obtemos:
nn+1 > (n + 1)n n nn > (n + 1)n n >
Como 1 + n1

n

n+1 n
n

n >

1 + 1n

< 3 para todo n, a desigualdade acima e verdadeira para todo n 3.

n

Portanto, existe L = lim n1/n . E tem-se L 1, pois xn 1, para todo n IN.

Considerando a subsequencia (2n)1/2n , como a subsequencia converge para o mesmo limite
da sequencia temos:

h
h
i
h
i2
i
= lim (2n)1/n = lim 21/n n1/n = lim 21/n lim n1/n = L.
L2 = lim (2n)1/2n

Como L 1, segue que L = 1. Conclumos que lim n1/n = 1.

4.4

LIMITES INFINITOS
Entre as sequencias divergentes, destacaremos um tipo que se comporta com certa regulari-

dade, a saber, aquelas cujos valores se tornam e mantem arbitrariamente grandes positivamente
ou arbitrariamente grandes negativamente.
Definica o 4.8 Dizemos que lim xn = + se A > 0, n0 IN tal que se n > n0 entao xn > A.
n

Definica o 4.9 Dizemos que lim xn = se A > 0, n0 IN tal que se n > n0 entao xn < A.
n

Observaca o 4.5

1. + e nao sao numeros;

2. Se lim xn = + e lim yn = as sequencias (xn )nIN e (yn )nIN nao convergem;

n

3. lim (xn ) = + lim (xn ) = ;

n

51

4. Se lim xn = + entao a sequencia (xn )nIN nao e limitada superiormente. A recproca

n

e falsa, ou seja, se a sequencia nao e limitada (e ilimitada) superiormente entao nao

necessariamente lim (xn ) = +. Basta observar a sequencia
n

(xn )nIN = (n + (1)n n)nIN .

5. Se (xn )nIN e nao-decrescente e (xn )nIN e ilimitada superiormente temos que lim xn =
n

+.
Teorema 4.11

1. Se lim xn = + e (yn )nIN e limitada inferiormente entao

n

lim (xn + yn ) = +.

2. Se lim xn = + e existe c > 0 tal que yn > c para todo n IN entao

n

lim (xn yn ) = +.

3. Se xn > c > 0, yn > 0 para todo n IN e lim yn = 0 entao

n

xn
= +.
n yn
lim

4. Se (xn )nIN e limitada e lim yn = + entao

n

xn
= 0.
n yn
lim

Observaca o 4.6 As hipoteses feitas nas diversas partes do teorema anterior tem por objetivo
evitar algumas das chamadas expressoes indeterminadas. Tais como:
1. + ;
2. 0 (+);
3.

0
e ;
0

4. 0 ;
5. 1 ;
6. 00 .

52

4.5
4.5.1

EXERCICIOS
Seca o 1: Limite de uma Sequencia

1. Uma sequencia (xn ) diz-se periodica quando existe p IN tal que xn+p = xn para todo
n IN. Prove que toda sequencia periodica convergente e constante.

Resoluca o:
Seja (xn )nIN uma sequencia periodica convergente. Suponhamos, por absurdo, que
(xn )nIN nao e constante. Entao existem elementos xi 6= xk em (xn )nIN , com i 6= k, tais
que:

A sequencia xi , xi+p , xi+2p , , onde xi = xi+np , n IN, converge para xi .


A sequencia xk , xk+p , xk+2p , , onde xk = xk+np , n IN, converge para xk .

Isto mostra que existem pelo menos duas subsequencias de (xn )nIN , que convergem respectivamente para xi e xk , com xi 6= xk , o que contraria a hipotese de convergencia de
(xn )nIN . Portanto, (xn )nIN e constante.

2. Dadas as sequencias (xn ) e (yn ), defina (zn ) pondo z2n1 = xn e z2n = yn . Se lim xn =
lim yn = a, prove que lim zn = a.
3. Se lim xn = a, prove que lim |xn | = |a|.
Resoluca o:
Temos por hipotese que lim xn = a, ou seja, dado > 0 existe n0 IN tal que se n > n0

entao |xn a| < .

Devemos provar que lim |xn | = |a|, isto e , dado > 0 existe n0 IN tal que n > n0 implica
||xn | |a|| < .

Sabemos que no conjunto dos numeros reais vale

||xn | |a|| |xn | |a|.
Disto segue que
||xn | |a|| |xn | |a| < , n > n0 .

53

Logo, se n > n0 entao

||xn | |a|| < .
Portanto, lim |xn | = |a|.

4. Se uma sequencia monotona tem uma subsequencia convergente, prove que a sequencia
e , ela propria, convergente.
5. Um numero a chama-se valor de aderencia da sequencia (xn ) quando e limite de uma
subsequencia de (xn ). Para cada um dos conjuntos A, B e C abaixo, ache uma sequencia
que o tenha como conjunto dos seus valores de aderencia. A = {1, 2, 3}, B = IN, C = [0, 1].
Resoluca o:
Dado o conjunto A = {1, 2, 3} considere a sequencia (xn )nIN = (1, 2, 3, 1, 2, 3, ) limi-

tada e nao convergente, pois possui tres subsequencias constantes, x3n2 = 1, x3n1 = 2 e
x3n = 3, com limites 1, 2 e 3, respectivamente. Isto mostra que a sequencia (xn )nIN tem
A = {1, 2, 3} como conjunto dos seus valores de aderencia.
Agora, dado o conjunto B = IN vamos encontrar uma sequencia (yn )nIN que possua
B como o conjunto dos seus valores de aderencia, para isso considere o conjunto dos

numeros naturais IN = IN1 IN2 INn , INi IN j = 0/ para todo i 6= j (veja o

exerccio (3) da seca o 4 do captulo 1).

Fazendo yn = k se n IN, obtemos a sequencia (yn )nIN = (1, 1, 2, 1, 3, 2, 4, 1, 2, 3, 5, 2, 6, 4,

3, 1, ). Pelo fato de que cada conjunto INk , k IN e infinito, podemos afirmar que cada
numero natural se repetira infinitas vezes na sequencia (yn )nIN , isso significa que (yn )nIN

possui subsequencias (ynk )kIN tal que k IN, definida por ynk = k que convergem para

k, respectivamente. Conclumos que B = IN e o conjunto dos valores de aderencia da

sequencia (yn )nIN .
Seja x [0, 1], segue que existem infinitos numeros racionais ri , i IN no intervalo (x ,
x + ), ou seja, dado uma enumeraca o arbitraria (r1 , r2 , , rn , ) dos numeros racionais

existe uma infinidade de ndices n tais que rn (x , x + ). Isto mostra que x [0, 1]

e limite de uma subsequencia de (rn )nIN , conforme teorema (4.6). Como x [0, 1] e

qualquer, conclumos que C = [0, 1] e o conjunto dos valores de aderencia da sequencia

(rn )nIN .

54

6. A fim de que o numero real a seja valor de aderencia de (xn ) e necessario e suficiente que,
para todo o > 0 e todo k IN dados, exista n > k tal que |xn a| < .
7. A fim de que o numero real b nao seja valor de aderencia da sequencia (xn )nIN e necessario
e suficiente que existam n0 IN e > 0 tais que n > n0 |xn b| .
Resoluca o:
Se b e valor de aderencia da sequencia (xn )nIN , entao para todo > 0 e todo k > 0 dados,
existe n > k tal que |xn b| < . Temos pela contrapositiva que existem > 0 e k IN

tal que se n > k entao |xn b| implica que b nao e valor de aderencia de (xn )nIN .

Analogamente, sabemos que para todo > 0 e todo k IN dados, existe n > k tal que

|xn b| < acarreta que b e valor de aderencia de (xn )nIN . Novamente pela contrapositiva, se b nao e valor de aderencia de (xn )nIN entao existe k IN e > 0 tal que se n > k

entao |xn b|

4.5.2

Seca o 2: Limites e desigualdades

1. Se lim xn = a, lim yn = b e |xn yn | para todo n IN, prove que |a b| .

n+

n+

2. Sejam lim xn = a e lim yn = b. Se a < b, prove que existe n0 IN tal que n > n0 =
n+

n+

xn < yn .

Resoluca o:
Temos lim xn = a e lim yn = b. Disto segue que dado > 0, existem n1 , n2 IN tais
n+

n+

que:

n > n1 |xn a| < xn (a , a + ) ;

n > n2 |yn b| < yn (b , b + ) .

Se a < b, tomemos =

ba
> 0 e n0 = max {n1 , n2 }. Desta foma, se n > n0 temos:
2

a < xn < a +
ba
ba
a
< xn < a +
2
2
a+b
3a b
< xn <
2
2
Da, xn <

b < yn < b +
ba
ba
b
< yn < b +
2
2
3b a
b+a
< yn <
.
2
2

a+b
< yn , ou seja,
2
x n < y n , n > n0 .

55

3. Se o numero real a nao e o limite da sequencia limitada (xn )nIN , prove que alguma
subsequencia de (xn )nIN converge para um limite b 6= a.
4. Prove que uma sequencia limitada converge se, e somente se, possui um u nico valor de
aderencia.
Resoluca o:
() Seja (xn )nIN uma sequencia limitada convergente, logo existe a = lim xn . Da
n+

toda subsequencia de (xn )nIN converge para a. Ou seja, (xn )nIN possui um u nico valor
de aderencia.
() Seja a o u nico valor de aderencia de (xn )nIN , logo existe uma subsequencia (xnk )kIN
de (xn )nIN que converge para a. Como a e o u nico valor de aderencia, conclumos que
toda subsequencia de (xn )nIN converge para a. Vamos mostrar que a sequencia (xn )nIN
converge para a.
Suponhamos que existe um numero real a que nao e limite da sequencia limitada (xn )nIN ,
logo existe alguma subsequencia de (xn )nIN que converge para c, onde c 6= a, o que e um

absudo, pois toda subsequencia de (xn )nIN converge para a.

1
5. Quais sao os valores de aderencia da subsequencia (xn )nIN tal que x2n1 = n e x2n = ?
n
Esta sequencia converge?

6. Dados, a, b IR+ , defina indutivamente as sequencia (xn )nIN e (yn )nIN pondo x1 = ab,
(a + b)
(xn yn )

y1 =
e xn+1 = xn yn , yn+1 =
. Prove que (xn )nIN e (yn )nIN convergem
2
2
para o mesmo limite.
Resoluca o:
Temos que a media aritmetica e maior que a media geometrica, pois dados a, b IR+ ,

56

segue que:
(a b)2

>

0
0

a2 2ab b2

>

a2 + 2ab + b2

>

(a + b)2
p
(a + b)2

>

a2 2ab + 4ab + b2 >

4ab

4ab

>
4ab

> 2 ab

>
ab,

(a + b)
a+b
2

4ab

isto e , y1 > x1 . Analogamente yn > xn , n.

Vamos mostrar agora que xn < xn+1 , temos que
xn

<

yn

xn xn <

yn xn

xn+1

xn2 < yn xn
p

xn2 <
yn xn

xn

<

com isso concluimos que (xn )nIN e monotona crescente.

Mostraremos agora que (yn )nIN e decrescente, segue que:

xn

<

xn

< 2yn yn

yn

xn + yn <
xn + yn

<
2
yn+1 <

2yn
yn
yn .

Disto resulta que

a < x1 < x2 < < xn < xn+1 < < yn+1 < yn < < y2 < y1 < b.
Logo (xn )nIN e (yn )nIN sao sequencias monotonas limitadas, da existem x = lim xn e
n+

y = lim yn . Vamos mostrar que (xn )nIN e (yn )nIN possuem o mesmo limite, ou seja,
n+

x = y. Temos,
y = lim yn+1 = lim
n+

n+

xn + yn
2

1
1
lim (xn + yn ) = (x + y) .
2 n+
2

57

x+y
2
2y = x + y

y.

7. Diz-se que (xn ) e uma sequencia de Cauchy quando, para todo > 0 dado, existe n0 IN
tal que m, n > n0 |xm xn | < .

(a) Prove que toda sequencia de Cauchy e limitada.

(b) Prove que a sequencia de Cauchy nao pode ter dois valores de aderencia distintos.
(c) Prove que uma sequencia (xn ) e convergente se, e somente se, e de Cauchy.
4.5.3

Seca o 3: Operaco es com Limites

1. Prove que, para todo p IN, tem-se lim

n = 1.

n+p

Resoluca o:
Vamos mostrar que lim

n+p

n = 1, n, p IN.
1

Considere (xn )nIN onde xn = n n+p . Temos que xn 1 n IN. Observe tambem que
n+ p > n
1
1
<

n+ p
n
1
1
n n+p n n .
Portanto,
1

1 n n+p n n .
Da,
1

lim 1 lim n n+p lim n n .

Como lim n n = 1 (pelo exemplo (4.1)), conclumos pelo Teorema do Sanduche que
n

lim n

1
n+p

= 1.

2. Se existem > 0 e k IN tais que xn nk para todo n suficientemente

grande, prove
q
p

n
n
que lim n xn = 1. Use este fato para calcular lim n + k, lim n + n, lim n log n e
n
n
n
n
p
lim n n log n.
n

58

3. Dado a > 0, defina indutivamente a sequencia (xn )nIN pondo x1 =

a e xn+1 = a + xn .

Prove que (xn )nIN e convergente e calcule seu limite

L=

a<

a + x1 = x2 . E supondo xn1 < xn , vem que xn2 =

a+

a + a + ...

Resoluca o:
Podemos observar que x1 =

2 , donde x < x
a + xn1 < a + xn = xn+1
encia (xn )nIN e monotona
n
n+1 , ou seja, a sequ

crescente.
Considerando c a u nica raiz positiva da equaca o x2 x a = 0, com efeito

1 1 + 4a
x=
2
logo

1 + 1 + 4a
x =
>0
2
,

1 1 + 4a
>0
x =
2
,,

pois como a > 0, temos

4a > 0
1 + 4a

1 + 4a

1 1 + 4a

1 1 + 4a
2

> 1
> 1
< 0
< 0.

Da, temos c2 = a + c. Logo podemos afirmar que xn < c, n IN, ou seja, (xn )nIN e
limitada.

De fato, para n = 1, temos x1 =

a < c, ja que c2 = a + c, isto e , c2 > a, entao, c > a.

Supondo a afirmaca o verdadeira para n = k, temos xk < c. Logo para n = k + 1 temos

xk+1 = ( a + xk )2 = a + xk < a + c = c2 , da xk+1 < c. Portanto, xn < c, n IN.

Donde podemos concluir que (xn )nIN e convergente, isto e , existe lim xn = L.
n

59

Sabendo que (xn+1 )2 = a + xn , temos:

lim x2
n n+1
lim x2
n n+1

= lim (a + xn )
n

= lim a + lim xn
n

lim x2 lim xn a
n n+1 n

= 0

L2 L a

= 0

= c.

Portanto, lim xn = c.
n

4. Seja en = (xn a/ a) o erro relativo na n-esima etapa do calculo de a. Prove que

en+1 = en 2 /2(1+en ). Conclua que en 0, 01 en+1 0, 00005 en+2 0, 00000000125

e observe a rapidez de convergencia do metodo.

5. Dado a > 0, defina indutivamente a sequencia (xn )nIN pondo x1 /a e xn+1 = 1/(a + xn ).
Considere o numero c, raiz positiva da equaca o x2 + ax 1 = 0, o u nico numero positivo
tal que c = 1/(a + c). Prove que

x2 < x4 < ... < x2n < ... < c < ... < x2n1 < ... < x3 < x1 ,
e que lim xn = c. O numero c pode ser considerado como a soma da fraca o contnua
1
a + a+

1
1
1
a+ a+...

Resoluca o:
Sabendo que xn+1 =

1
, n IN temos:
a + xn

1
.
a + x1
a + x1
1
1
= 2
=
n = 2 x3 =
.
1
a + x2 a + a+x
a + ax1 + 1
1

n = 1 x2 =

..
.
1
.
a + xk1
1
a + xk1
1
=
= 2
.
n = k xk+1 =
1
a + xk a + a+x
a + axk1 + 1
k1

n = k 1 xk =

n = k + 1 xk+2 =

1
1
a + xk
=
.
=
1
a + xk+1 a + a+x
a2 + axk + 1
k

60

Considerando c a u nica raiz positiva da equaca o x2 + ax + 1 = 0, obtemos c =

1
Temos por hipotese que x1 = , logo
a
x1 =

1
1
>
= c,
a
a+c

x1 > c =

1
1
= x2 ,
>
a + c a + x1

1
.
a+c

o que acarreta x1 > c. Da,

1
, obtemos x1 (a + x1 ) > 1. Multiplicando
a + x1
ambos os membros da inequaca o por a e somando x1 temos: x1 (a2 + ax1 + 1) > a + x1 .

o que implica x1 > c > x2 . Tendo x1 >

Da,
x1 >
Como x2 < c e x3 =

a + x1
= x3 .
a2 + ax1 + 1

1
1
>
= c, temos
a + x2 a + c
x1 > x3 > c > x 2 .

Analogamente, x4 =

1
1
<
= c, entao x4 < c. Alem disso, observe que
a + x3 a + c
x4

Ainda x2 < x3 =

a2 + ax1 + 1
1
= 3
.
=
a + x3
a + a2 x1 + 2a + x1

a + x1
. Entao, x2 (a2 + ax1 + 1) < a + x1 , multiplicando por a e
+
1
1

a2 + ax

somando 1, temos:

x2 a3 + a2 x1 + a + 1 <


<
x2 a3 + a2 x1 + a + x12


x2 a3 + a2 x1 + 2a + x1 <

x2

a2 + ax1 + 1
a2 + ax1 + 1

a2 + ax1 + 1
a2 + ax1 + 1
< 3
= x4 .
a + a2 x1 + 2a + x1

Assim temos x1 > x3 > c > x4 > x2 .

Vamos mostrar por induca o sobre n que n IN, x2n3 > x2n1 > c > x2n > x2n2 .
Para n = 1 e verdade, pois ja foi mostrado que x1 > c > x2 . E verdade tambem para n = 2,
pois vimos que x1 > x3 > c > x4 > x2 .

61

Supondo que e valido para n = k, ou seja,

x1 > > x2k3 > x2k1 > c > x2k > x2k2 > > x2 .
Vamos mostrar que e valido para n = k + 1.
x1 > > x2k1 > x2k+1 > c > x2k+2 > x2k > > x2 .
Como x2k < c temos:
1
1
= c x2k+1 > c.
>
a + x2k
a+c

x2k+1 =
Da
x2k+2 =

1
1
<
= c x2k+2 < c.
a + x2k+1
a+c

Pela hipotese de induca o x2k2 < c, entao:

x2k1 =

1
1
= c x2k1 > c.
>
a + x2k2
a+c

Donde,
x2k =

1
1
<
= c x2k < c.
a + x2k1
a+c

Sabemos que x2k > x2k2 , da

a + x2k > a + x2k2
1
1
<

a + x2k
a + x2k2
x2k+1 <
x2k1 .
Disto segue que
a + x2k+1 < a + x2k1
1
1
>

a + x2k+1
a + x2k1

x2k+2
>
x2k .
Logo,
x1 > x3 > > x2n1 > > c > > x2n > > x4 > x2 ,
n IN. Disto segue que as subsequencias x2n e x2n1 sao limitadas e monotonas. Portanto, lim x2n = e lim x2n1 = .
n

62

1
1
a + xn
=
, por passagem ao limite, fornece
= 2
1
a + xn+1
a + axn + 1
a + a+xn
a+
a+
e= 2
, logo 2 + a 1 = 0 e 2 + a 1 = 0. Como e
= 2
a + a + 1
a + a + 1
sao positivos, vem = = c.
A relaca o xn+2 =

6. Dado a > 0, defina indutivamente a sequencia (yn ), pondo y1 = a e yn+1 = a + 1/yn .

Mostre que lim yn = a + c, onde c e como no exerccio anterior.
7. Defina a sequencia (an ) indutivamente, pondo a1 = a2 = 1 e an+2 = an+1 + an para todo
n IN. Escreva xn = an /an+1 e prove que lim xn = c, onde c e u nico numero positivo tal

que 1/(c + 1) = c. O termo an chama-se o n-esimo numero de Fibonacci e c = (1 +

5)/2 e o numero de ouro da Geometria Classica.

Resoluca o:
Temos c > 0. Disto segue que
1
a1 1
= >
= c.
x1 =
a2 1 c + 1
a2
1
1
a2
=
=
<
x2 =
= c, logo x1 > x2 .
a3 a2 + a1 1 + x1 c + 1
a3
1
1
a3
=
=
>
= c x3 > c.
x3 =
a4 a3 + a2 1 + x2 1 + c
Alem disso,
1
1 + x1
1
x3 =
=
=
.
1
1 + x2 1 + 1+x
2 + x1
1

Como x1 >

1
= x1 + x12 > 1 x1 (1 + x1 ) > 1, somando x1 a desigualdade temos,
1 + x1
x1 (1 + x1 ) + x1 > 1 + x1

x1 (1 + x1 + 1)

x1

Da x1 > x3 > c > x2 .

Temos ainda
2 + x1
1
1
=
x4 =
=
.
1+x1
1 + x3 1 + 2+x
3 + 2x1
2
Note que
1
1
<
= c x4 < c.
x4 =
1 + x3 1 + c

> 1 + x1
1 + x1
>
= x3 .
2 + x1

63

Como x2 < x3 =

1 + x1
. Entao, x2 (2 + x1 ) < 1 + x1 , somando 1, obtemos:
2 + x1
x2 (2 + x1 ) + 1

< 1 + x1 + 1

x2 (2 + x1 + x12 )

<

2 + x1

<

2 + x1

x2 (2 + x1 + 1 + x1 ) <

2 + x1

x2 (2 + x1 +

1
1
1+x1

x2 (3 + 2x1 )

<

x2

<

2 + x1
2 + x1
3 + 2x1

= x4 .

Segue que x1 > x3 > c > x4 > x2 .

Mostraremos por induca o sobre n que as subsequencias x2n e x2n1 sao monotonas limitadas, ou seja,
x2n3 > x2n1 > c > x2n > x2n2 , n IN.
Vimos que e verdade para n = 1, ja que x1 > c > x3 . Tambem para n = 2, pois x1 > x3 >
c > x4 > x2 . Suponhamos que e valido para n = k entao temos
x1 > > x2k3 > x2k1 > c > x2k > x2k2 > > x2 .
Vamos provar que vale para n = k + 1,
x1 > > x2k1 > x2k+1 > c > x2k+2 > x2k > > x2 .
Temos da hipotese de induca o que x2k < c, entao
x2k+1 =

1
1
= c x2k+1 > c.
>
1 + x2k
1+c

Da
x2k+2 =

1
1
<
= c x2k+2 < c.
1 + x2k+1
1+c

Tambem da hipotese de induca o x2k2 < c, entao:

x2k1 =

1
1
>
= c x2k1 > c.
1 + x2k2
1+c

Donde,
x2k =

1
1
<
= c x2k < c.
1 + x2k1
1+c

64

Temos da hipotese de induca o que x2k2 < x2k , entao

1 + x2k > 1 + x2k2
1
1

<
a + x2k
a + x2k2

x2k+1 < x2k1 .

Disto segue que
1 + x2k+1 < 1 + x2k1
1
1
>

1 + x2k+1
1 + x2k1

x2k+2 > x2k .

Logo,
x1 > x3 > > x2n1 > > c > > x2n > > x4 > x2 ,
n IN. Portanto, existe lim x2n = a e lim x2n1 = b.
n

A relaca o xn+2 =
a=

1 + xn
1
1
=
=
, por passagem ao limite, fornece
1
1 + xn+1 1 + a+x
2 + xn
n

1+a
2a + a2 = 1 + a a2 + a 1 = 0
2+a

e
1+b
b2 + 2b = 1 + b b2 + b 1 = 0.
2+b
Como a e b sao positivos, podemos concluir que a = b = c.

b=

4.5.4

Seca o 4: Limites Infinitos

1. Prove que lim n n! = +.

2. Se lim xn = + e a IR, prove: lim
n

Resoluca o:

hp

log(xn + a)

i
p
log xn = 0

65

lim

hp
i
p
log (xn + a) log xn


p


p
log
(x
+
a)
+
log
x
n
n
p

log (xn + a) log xn p
= lim

n
log (xn + a) + log xn

2

2

#
"
log (xn + a) log xn
log (xn + a) log xn
p

= lim p
n
log (xn + a) + log xn
log (xn + a) + log xn

p

= lim
n




log 1 + xan
= lim p

= lim p

n
n
log (xn + a) + log xn
log (xn + a) + log xn

log

xn +a
xn





 
a
a
log lim 1 +
lim log 1 +
n
n
xn
xn
i=
i
hp
hp
p
p
lim
log (xn + a) + log xn
lim
log (xn + a) + log xn


a
log lim 1 + lim
n
n xn
log [1 + 0]
i=
i
hp
hp
p
p
log (xn + a) + log xn
log (xn + a) + log xn
lim
lim

0
log 1
i=
i
hp
hp
p
p
log (xn + a) + log xn
log (xn + a) + log xn
lim
lim

= 0.
Conclumos que
lim

hp

log (xn + a)

i
p
log xn = 0.

3. Dado k IN e a > 0, determine o limite

n!
.
n nk an
lim

66

Supondo a > 0 e a 6= e calcule

an n!
nk an n!
e
lim
.
n nn
n
nn
lim

(Para o caso a = e, ver exerccio 9, seca o 1, captulo 11.)

4. Mostre que lim log(n + 1)/ log n = 1.
n+

Resoluca o:
Note que




1
log
1
+
log (n + 1)
log (n + 1) log n log n+1
n
n
1 =
=
=
.
log n
log n
log n
log n
E ainda,


1

log lim 1 + lim
log 1 + n1
n+
n+ n
log 1
0
lim
=
=
=
= 0.
n+
log n
lim log n
lim log n
lim log n
n+

n+

n+

Logo
lim

n+

entao,


log 1 + 1n
log (n + 1)
1 = lim
= 0,
n+
logn
log n

log (n + 1)
lim 1 = 0.
n+
log n
Portanto,
log (n + 1)
= 1.
lim
n+
log n
lim

n+

5. Sejam (xn ) uma sequencia arbitraria e (yn ) uma sequencia crescente, com lim yn = +.
Supondo que lim(xn+1 xn )/(yn+1 yn ) = a, prove que lim xn /yn = a. Conclua que se

lim(xn+1 xn ) = a entao lim xn /n = a. Em particular, de lim log(1 + 1/n) = 0, conclua

que lim(log n)/n = 0.

6. Se lim xn = a e (tn ) e uma sequencia de numeros positivos com

lim(t1 + ... + tn ) = +,
prove que
lim

t1 x1 + ... + tn xn
= a.
t1 + ... + tn

67

Em particular, se yn =

x1 + ... + xn
, tem-se ainda lim yn = a.
n

Resoluca o:
Considere as sequencias
(xn )nIN = (t1 x1 + t2 x2 + + tn xn )nIN
e
(yn )nIN = (t1 + t2 + + tn )nIN ,
onde lim xn = a e lim yn = +.
n+

n+

xn+1 xn
xn
= a, entao lim
= a.
n+ yn+1 yn
n+ yn

Pelo exerccio anterior, temos que se lim

Observe que

t1 x1 + t2 x2 + + tn xn + tn+1 xn+1 (t1 x1 + + tn xn )

n+
t1 + t2 + + tn + tn+1 (t1 + t2 + + tn )
tn+1 xn+1
lim
n+ tn+1
= lim xn+1

xn+1 xn
=
n+ yn+1 yn
=
lim

lim

n+

= a.
Da,
xn
= a.
n+ yn
lim

Entao,

t1 x1 + ... + tn xn
= a.
n+ t1 + ... + tn
Em particular, considere a sequencia
lim

(tn )nIN = (1 + 1 + 1 + + 1)nIN ,

temos pelo exerccio anterior que lim xn = a, e (tn )nIN e uma sequencia de numeros
n+

positivos onde
lim tn =

n+

lim (1 + 1 + 1 + + 1) = +.

n+

68

Da
a =

t1 x1 + t2 x2 + + tn xn
n+
t1 + t2 + + tn
lim

lim

1x1 + 1x2 + + 1xn

1+1++1

lim

x1 + x2 + + x n
.
n

n+

n+

69

SERIES
NUMERICAS

SERIES
CONVERGENTES

5.1

Definica o 5.1 Dada uma sequencia (an )nIN de numeros reais, denomina-se serie a soma infinita
a1 + a2 + a3 + + an +
+

Indicaremos a serie por

an, ou seja,

n=1

a1 + a2 + a3 + + an + =

an.

n=1

Como algebricamente so tem sentido somas finitas, e necessario definir soma infinita.
+

Definica o 5.2 Dada uma serie

an, denomina-se sequencia de somas parciais da serie dada

n=1

a` sequencia (sn )nIN definida por

n

sn =

ak = a1 + a2 + a3 + + an

k=1

Definica o 5.3 Dizemos que uma serie converge se a sequencia de somas parciais converge, isto
e , lim sn = s, s IR. Neste caso
n+

lim sn
an = s = n+

n=1

Teorema 5.1 Se |a| < 1. A serie geometrica

1 + a1 + a2 + + an + =
converge.

an

n=0

70

1. Suponha que (an )nIN seja uma sequencia de termos nao negativos

Observaca o 5.1

(an 0, n IN). Assim, a sequencia das somas parciais da serie

an e

n=1

sn = a1 + a2 + + an =

ak

n=1

e nao decrescente, pois

sn = a1 + + an a1 + + an + an+1 = sn+1
entao
sn sn+1
Para que (sn )nIN convirja basta que (sn )nIN seja limitada superiormente (pois toda
sequencia monotona e limitada e convergente).
+

2. Se (an )nIN esta nas mesmas condico es do tem anterior e se an converge e (a n )nIN
n=1

uma subsequencia de (an )nIN entao a n converge.

n=1

Exemplo 5.1 (A Serie Harmonica) A serie

n diverge.

n=1

+
+
1
1
1
=
s
fosse
convergente
ent
a
o
=
t
e
2n
2n 1 = u tambem seriam
n
n=1
n=1
n=1
convergentes. Alem disso, como S2n = tn + un , fazendo n teramos s = t + u. Mas t =
+
1
1 + 1 s
2n = 2 n = 2 , portanto u = t = 2s .
n=1
n=1
+

De fato se

Por outro lado

u t = lim (un tn )
n 
 



1
1 1
1
1

+
++
1
= lim
n
2
3 4 
2n
1 2n


1
1
1
1
+ + ++
> 0,
= lim
n 2
12 30
(2n 1)2n
+

logo u > t contradica o. Portanto

n e divergente.

n=1
+

Teorema 5.2 Se

lim an = 0.
an converge entao n+

n=1

71

Observaca o 5.2
+

1. A contrapositiva do teorema (5.2) diz que: Se lim an 6= 0 entao a

n+

an diverge.

n=1

2. Nao vale a recproca do teorema (5.2): Se lim an = 0 entao nada podemos dizer a
n+

respeito da convergencia da serie.

Teorema 5.3 (Criterio de Comparaca o) Sejam

n=1

n=1

an e

bn series de termos nao negativos.

Suponha que existam c > 0 e n0 IN tais que an c bn , n n0 . Logo

1. Se

2. Se

n=1

n=1

bn converge entao an converge.

n=1

n=1

an diverge entao
+

Teorema 5.4 A serie

bn diverge.

n p diverge se p 1 e converge se p > 1.

n=1

5.2

SERIES
ABSOLUTAMENTE CONVERGENTES

Definica o 5.4 Uma serie

n=1

n=1

an diz-se absolutamente convergente quando |an| converge.

+

Observaca o 5.3

1. Quando 1 < a < 1 a serie geometrica

gente.

an e absolutamente conver-

n=1

2. Uma serie convergente cujos termos nao mudam de sinal e absolutamente convergente.
Teorema 5.5 (Leibniz) Se (an )nIN e uma sequencia monotona decrescente que tende para
+

zero entao

(1)n+1an e uma serie convergente.

n=1

Definica o 5.5 Uma serie convergente

an

n=1

mente convergente.

tal que

|an| diverge chama-se condicional-

n=1

Observaca o 5.4 A serie

(1)n+1
n e condicionalmente convergente.
n=1

Teorema 5.6 Toda serie absolutamente convergente e convergente.

72

5.3

TESTES DE CONVERGENCIA
+

Teorema 5.7 Seja bn uma serie absolutamente convergente, com bn 6= 0 para todo n IN.
 n=1

+
an
Se a sequencia
for limitada (em particular, se for convergente) entao a serie an sera
bn
n=1
absolutamente convergente.
Corolario 5.1 (Teste
de dAlembert) Seja an 6= 0 para todo n IN. Se existir uma constante

+
 an+1 
 c < 1 para todo n suficientemente grande entao a serie an sera absoluc tal que 
an 
n=1
tamente convergente.
Corolario 5.2 (Teste de dAlembert ou Teste da Razao) Se an 6= 0 n IN e suponha que
exista o limite



 an+1 

=L
lim
n+  an 

1. Se L < 1 a serie

an converge absolutamente;

n=1
+

2. Se L > 1 a serie

an diverge;

n=1

3. Se L = 1 nada podemos afirmar.

Teorema 5.8 (Teste de Cauchy) Se existe c IR tal que
+

mente grande entao a serie

p
n

|an | c < 1 para todo n suficiente-

an sera absolutamente convergente.

n=1

Corolario 5.3 (Teste de Cauchy ou Teste da Raiz) Suponha que

lim

n+
+

1. Se L < 1 a serie

p
n
|an | = L

an e absolutamente convergente;

n=1

2. Se L > 1 entao a serie

an e divergente;

n=1

3. Se L = 1 nada podemos afirmar.



p
 an+1 
 = L entao lim n |an | = L
Teorema 5.9 Seja an 6= 0. Se lim 
n an 
n

73

5.4
5.4.1

EXERCICIOS
Seca o 1: Series convergentes




1
1. Dadas as series an e bn , com an = n + 1 e bn = log 1 +
, mostre que lim an =
n
n
n=1
n=1
lim bn = 0. Calcule explicitamente as n-esimas reduzidas sn e tn destas series e mostre
+

que lim sn = lim tn = +, logo as series dadas sao divergentes.

n

2. Use o criterio de comparaca o para provar que

n2

e convergente, a partir da con-

n=1
+

vergencia de

n(n + 1) .

n=1

Resoluca o:
+

Sabemos da hipotese que

n(n + 1) e convergente.

n=1

Temos n2 n, n.
Adicionando n2 e dividindo por 2 obtemos:
n2

n(n + 1)
.
2

Disto segue que,

1

n2

Como

1
n(n + 1)
2

2
1

.
n2
n(n + 1)

n(n + 1) e convergente e utilizando o Criterio de comparaca o, podemos con-

n=1
+

cluir que

n2 e convergente.

n=1

3. Seja sn a n-esima reduzida da serie harmonica. Prove que para n = 2m tem-se sn > 1 + m2
e conclua da que a serie harmonica e divergente.
+

4. Mostre que a serie

n=2

Resoluca o:

n log n diverge.

74
+

Tomando a reduzida sn da serie

n log n , temos:

n=2

sn


 

1
1
1
1
1
1
1
+
+
+
+
+
+
++
=
2 log 2
3 log 3 4 log 4
5 log 5 6 log 6 7 log 7 8 log 8


1
1
++ n
n1
n1
(2
+ 1) log (2
+ 1)
2 log 2n

1
2
4
8
2n1
+
+
+
++ n
2 log 2 4 log 4 8 log 8 16 log 16
2 log 2n

1
1
1
1
1
+
+
+
++
2
3
4
2 log 2 2 log 2
2 log 2
2 log 2
2 log 2n

1 1 1
1
> 1+ + + ++
2 3 4
n
= tn .
+

Temos que tn e a soma parcial da serie harmonica, e como a serie harmonica

n=2
+

1
divergente, conclumos pelo criterio de comparaca o que
diverge.
n=2 n log n
+

5. Mostre que se r > 1 a serie

n(log n)r converge.

n=2
+

6. Prove que a serie

log n
converge.
2
n=1 n

Resoluca o:
Observe que log n <

n, para n suficientemente grande. Assim, dividindo essa desigual-

dade por n2 obtemos:

log n
<
0 <
n2

n
.
2
n

Como

1
1
n
=
=
1
3
2
n
n 2 n2
n2
3
1
Note que 0 < < 1, e > 1, logo
n
2

 3
1 2
=
.
n

 3
1 2
n e convergente, conforme teorema (5.4).

75

Portanto, pelo criterio de comparaca o temos que a serie

log n
converge para n sufin2

cientemente grande.

7. Prove: se a1 an e
5.4.2

lim nan = 0.
an converge entao n

n=1

Seca o 2: Series absolutamente convergentes

1. Se

n=1

n=1

an e convergente e an 0 para todo n IN entao a serie

anxn e absolutamente

convergente para todo x [1, 1] e

+

n=1

n=1

an sen (nx) , an cos(nx)

sao absolutamente convergentes para todo x IR.

Resoluca o:
+

Vamos provar inicialmente que

anxn e absolutamente convergente, x [1, 1].

n=1

Se x = 1, entao:

|(1)nan|

|(1)|n |an|

|an|

an.

an.

Se x = 1, temos:

|1nan|

|an|

Se |x| < 1, entao |xn | < 1, da:

|anxn|

|an| |xn|

<

|an|

an.

Logo |an xn | an , x [1, 1]. Como an e convergente, temos pelo criterio

de comparaca o que |an xn | e convergente, logo an xn converge absolutamente.

Agora vamos mostrar que an sen (nx) e an cos(nx) sao absolutamente convergentes
para todo numero real.
Temos que |an sen (nx)| = |an | | sen (nx)| e |an cos(nx)| = |an | |cos(nx)|.

76

Comos as funco es sen e cos sao limitadas, com | sen (nx)| 1 e |cos(nx)| 1, x IR.
Conclumos pelo que provamos acima que

|an sen (nx)| an

|an cos(nx)| an,

ou seja, que an sen (nx), an cos(nx) convergem absolutamente, x IR.

1 2 1 2 1 2 1 2 1
2. A serie 1 + + + + + tem termos alternadamente positivos
2 3 3 4 4 5 5 6 6
e negativos e seu termo geral tende para zero. Entretanto e divergente. Por que isto nao
contradiz o Teorema de Leibniz?
+

3. De exemplo de uma serie convergente

an e de uma sequencia limitada (xn)nIN tais

n=2
+

que a serie

anxn seja divergente. Examine o que ocorre se uma das hipoteses seguintes

n=1

for verificada:
(a) (xn )nIN e convergente.
+

(b)

an e absolutamente convergente.

n=1

4. Prove que e convergente a serie obtida alterando-se os sinais dos termos da serie harmonica,
de modo que fiquem p termos positivos (p IN fixado) seguidos de p termos negativos,

alternadamente.
+

an e absolutamente convergente
n=0
an b0 e prove que lim cn = 0.
n+

5. Se

e lim bn = 0, ponha cn = a0 bn + a1 bn1 + +

n+

Resoluca o:
Seja

n=0

n=0

an absolutamente convergente, digamos

|an| = A e |bn| B, para todo n 0.

e |an |+|an+1 |+ < .

2A
2B
Considerando cn = a0 bn + a1 bn1 + + an0 bnn0 + + an b0 , temos:

Dado > 0, existe n0 IN tal que se n n0 entao |bn 0| <

|cn | = |a0 bn + a1 bn1 + + an0 bnn0 + + an b0 |

|a0 bn + a1 bn1 + + an0 bnn0 | + |an0 +1 bnn0 1 + + an b0 |

+ (|an0 +1 | + + |an |) B
< (|a0 | + |a1 | + + |ano |)
2A

< A
+
B
2A 2B
= .

77

Logo, |cn | < , da |cn 0| < .

Portanto, lim cn = 0.

6. Se

7. Se

n=1

n=1

an e absolutamente convergente, prove que

n=1

n=1

n=0

a2n e

b2n convergem, prove que

a2n converge.

anbn converge absolutamente.

Resoluca o:
+

Vamos mostrar que

an bn e absolutamente convergente, para tanto basta provarmos

n=0
+

que

|an bn| converge.

n=0

Utilizando a Desigualdade de Cauchy-Schwarz, temos que

+

|an bn|

n=0

Da, como por hipotese

!2

|an bn|

n=0

an bn

n=0

!2

n=0

n=0

a2n b2n.

n=0

n=0

n=0
+

n=0

a2n e

b2n convergem, temos que

a2n

Desta forma, pelo criterio de comparaca o, podemos afirmar que

b2n converge.

|an bn| converge,

n=0
+

portanto,

an bn converge absolutamente.

n=0

8. Prove: uma serie

an e absolutamente convergente se, e somente se, e limitado o con-

n=1

junto de todas as somas finitas formadas com os termos an .

5.4.3

Seca o 3: Testes de convergencia

+
p
1. Prove que se existir uma infinidade de ndices n tais que n |an | 1 entao a serie an
n=1


+
 an+1 
 1 para todo n > n0 entao an diverge.
diverge. Se an 6= 0 para todo n e 
an 
n=1

Resoluca o:

Se existir uma infinidade de ndices n tais que

p
n
|an | 1, entao existe uma infinidade de
+

ndices n para os quais |an | 1. Logo an nao tende para zero. Portanto

an diverge.

n=0

78



 an+1 
 1 para todo n > n0 , entao |an+1 | |an |, n > n0 , e consequentemente,
Agora se 
an 
+

lim an 6= 0, logo a serie

an diverge.

n=0

2. Se 0 < a < b < 1, a serie a + b + a2 + b2 + a3 + b3 + e convergente. Mostre que o teste

de Cauchy conduz a este resultado mas o teste de dAlembert e inconclusivo.


+ 
log n n
e convergente usando ambos os testes, de dAlembert
3. Determine se a serie
n
n=1
e Cauchy.
Resoluca o:
Inicialmente vamos provar a convergencia da serie

+ 

n=1

Cauchy:

log n
n

n

empregando o Teste de

"s


n  #

 log n 

n  log n
 = 0.
 = lim 
L = lim


n  n 
n
n
+ 


log n n
Logo L = 0 < 1. Portanto,
e convergente.
n
n=1

+ 
log n n
converge usando o teste de dAlembert:
Agora vamos mostrar que
n
n=1


L = lim
n


log (n + 1) n+1

n+1

n


log n
n

= lim

"

log (n + 1)
n+1

1 

= lim



log (n + 1)
n+1



log (n + 1)
n+1

n
n+1

n 

= 0,

log (n + 1)
lim
n
n+1

n
log n

log (n + 1)
log n

Como


n 

n #

n 

79

e,
lim



n
n+1

n 

= lim

"

1


n+1 n
n

= lim

"

1

n
1 + 1n

1
,
e


log (n + 1) n
precisamos mostrar que
e limitada.
log n


n+1 n
< n, logo (n + 1)n < nn+1 e tomando logaritmos
De fato, para n 3 temos
n


log (n + 1) n
log (n + 1) n + 1
<
. Entao
<
temos n log (n + 1) < (n + 1) log n, donde
log n
n
log n

n
n+1
< e.
n


log (n + 1) n
e limitada. Disto resulta que L = 0 < 1. Portanto, o teste de
Logo,
log n

+ 
log n n
.
dAlembert confirma a convergencia de
n
n=1

4. Dada um sequencia de numeros positivos xn , com lim xn = a, prove que lim

n

a.

n
x1 x2 x n =

5. Determine para quais valores de x cada uma das series abaixo e convergente
+

(a)

nk xn

(d)

nnxn

(e)

n=1
+

(b)
(c)

n=1
+ n
x

n!xn

n=1
+ n
x

2
n=1 n

n
n=1 n

Resoluca o:
+

(a) Para determinar o valor de x que possibilita a convergencia da serie

nk xn em-

n=1

pregamos o teste de Cauchy:

q

k
k
lim n nk xn  = lim |x| n n = lim |x| lim n n = |x| 1 = |x| .
n

Logo

nk xn converge se |x| < 1.

n=1

(b) Para o caso da serie

nnxn tambem usaremos o teste de Cauchy:

n=1

lim

p
n

|nn xn | = lim |n| |x| = L.

n

80

Assim, a serie converge somente se L < 1, ou seja, se x = 0.

+

(c) Utilizaremos novamente o teste de Cauchy para a serie

xn
n:
n=1 n

s 
x
xn
 xn 
 
 n
lim n  n  = lim   = lim   = 0.
n
n n
n n
n

Como 0 < 1, a serie converge para todo < x < .

+

(d) No caso da serie

n!xn empregaremos o teste de dAlembert:

n=1



 (n + 1)! xn+1 
 = lim |(n + 1) x| = L.
lim 

n
n 
n! xn

Portanto, a serie converge somente se L < 1, isto e , somente se x = 0.

+

(e) Para a serie

xn
n2 utilizaremos o teste de Cauchy:
n=1
s 
n
 n
|x| n
n x 
lim  2  = lim 2
n
n n n
n

Disto segue que a serie converge se |x| < 1.

= |x| .

81

6.1

ALGUMAS NOC
OES
TOPOLOGICAS

CONJUNTOS ABERTOS

Definica o 6.1 (Ponto Interior) Dado X IR dizemos que a e ponto interior de X quando existe

> 0 tal que (a , a + ) X.

Definica o 6.2 (Interior de X) O conjunto de todos os pontos interiores de X e denomindado

interior de X, denotado por int X.
Definica o 6.3 (Conjunto Aberto) Um conjunto A IR e aberto se int A = A, isto e , todo ponto
de A e ponto interior a A.

Definica o 6.4 (Vizinhanca de a) Quando a int X diz-se que o conjunto X e uma vizinhanca
do ponto a.

Observaca o 6.1

1. Se o conjunto X possui algum ponto interior, ele deve conter pelo menos

um intervalo aberto, logo e infinito. Assim, se X = {x1 , x2 , , xn } e um conjunto finito,

nenhum dos seus pontos e interior, ou seja, temos int X = 0.

/ Melhor ainda, como todo
intervalo aberto e um conjunto nao-enumeravel, se int X 6= 0/ entao X e nao-enumeravel.

Em particular, temos:

(a) O conjunto IN dos numeros naturais e enumeravel logo nao possui pontos interiores,
isto e , int IN = 0,
/ isto mostra que IN nao e aberto.
(b) O conjunto ZZ dos numeros inteiros e enumeravel logo nao possui pontos interiores,
isto e , int ZZ = 0,
/ isto mostra que ZZ nao e aberto.
(c) O conjunto Q dos numeros racionais e enumeravel logo nao possui pontos interiores, isto e , int Q = 0,
/ isto mostra que Q nao e aberto.
(d) O conjunto IRQ dos numeros irracionais, apesar de ser nao-enumeravel, nao possui pontos interiores. De fato, todo intervalo aberto deve conter numeros racionais,

82

logo IRQ nao pode conter um intervalo aberto. Assim int(IRQ) = 0,

/ isto mostra
que IR Q nao e aberto.
2. Se X = (a, b), ou X = (, b), ou X = (a, +), entao int X = X, ou seja, X e aberto.
3. Se Y = [c, +) e Z = (, d] entao int Y = (c, +) e int Z = (, d). Portanto nao sao
abertos.
4. O conjunto vazio e aberto. Com efeito, um conjunto X so pode deixar de ser aberto se
existir em X algum ponto que nao seja interior. Como nao existe ponto algum em 0,
/
somos forcados a admitir que 0/ e aberto.
5. A reta IR e um conjunto aberto.
6. Um intervalo (limitado ou nao) e um conjunto aberto se, e somente se, e um intervalo
aberto.
O limite de uma sequencia pode ser reformulado em termos de conjuntos abertos.
Teorema 6.1 lim xn = L se, e somente se, para todo aberto A contendo L, existe n0 IN tal
n+

que xn A, n n0 .
Teorema 6.2

1. Se A1 e A2 sao conjuntos abertos, entao A1 A2 e um conjunto aberto.

2. Se (A ) L e uma famlia de conjuntos abertos, entao a reuniao A =

aberto.

A e um conjunto

Observaca o 6.2 A interseca o de um numero finito de conjuntos abertos e ainda um conjunto

aberto. O caso de uma famlia infinita de conjuntos abertos pode ter uma interseca o que nao e
um conjunto aberto. Observe o proximo exemplo.
Teorema 6.3 Se F = {x1 , x2 , , xn } e um conjunto finito de numeros reais entao o complementar IR F e aberto.

6.2

CONJUNTOS FECHADOS

Definica o 6.5 (Ponto aderente) Dado X IR, dizemos que a e ponto aderente de X quando a
e limite de uma sequencia de pontos xn X.

83

Observaca o 6.3
a.

1. Todo ponto a X e aderente a X, basta tomar os xn = a, da lim xn =

n+

2. Pode-se ter a aderente a X sem que a X. Por exemplo, X = (0, +), entao a = 0
/ X,
1
1
mas a = 0 e aderente a X, pois 0 = lim , onde X.
n+ n
n
3. Um numero a chama-se valor de aderencia da sequencia (xn ) quando e limite de uma
subsequencia de (xn ).
4. Todo valor de aderencia de uma sequencia (xn ) e um ponto aderente de um conjunto X.
Mas, a recproca e falsa. Nem todo ponto aderente a de X e valor de aderencia de (xn ).


1
Por exemplo, como lim
= 0, o u nico valor de aderencia de (xn )nIN = 1n nIN e 0,
n+ n
mas todos os pontos xn por pertencerem a X = (0, +), sao pontos aderentes a X.
Definica o 6.6 (Fecho) O conjunto dos pontos aderentes a X e denominado fecho de X, denotado por X.
Definica o 6.7 (Conjunto Fechado) Um conjunto X IR e fechado quando X = X.
Observaca o 6.4 As seguintes afirmaco es sao equivalentes:
1. Um conjunto X IR e fechado se, e somente se, todo ponto aderente a X pertence a X.
2. Para que X IR seja fechado e necessario e suficiente que cumpra a seguinte condica o:
se xn X para todo n IN e lim xn = a, entao a X.
n

Teorema 6.4 Um ponto a e aderente ao conjunto X se, e somente se, toda vizinhanca de a
contem algum ponto de X (V X 6= 0/ para toda vizinhanca de a)
Pelo teorema acima, a fim de que um ponto a nao pertenca a X e necessario e suficiente que
exista uma vizinhanca V , onde a V tal que V X = 0.
/
Teorema 6.5 Um conjunto F e fechado se, e somente se, o complementar A = IR F e aberto.
Teorema 6.6 O fecho de qualquer conjunto e um conjunto fechado. (Ou seja, X = X para todo
X IR.)
Teorema 6.7

1. Se F1 e F2 sao conjuntos fechados entao F1 F2 e fechado.

84

2. Se (F ) L e uma famlia qualquer de conjuntos fechados entao F =

F e fechado.

Uma reuniao infinita de conjuntos fechados pode nao ser um conjunto fechado.
Observaca o 6.5

1. Todo conjunto finito F = {x1 , x2 , , xn } e fechado pois, seu comple-

mentar IR F e aberto (Teorema (6.3)).

2. ZZ e fechado pois, seu complementar IR ZZ e aberto.

3. IN e fechado pois, seu complementar IR IN e aberto.
4. IR e o conjunto vazio sao fechados pois, seus respectivos complementares, o conjunto
vazio e IR sao abertos.
5. Existem conjuntos que nao sao fechados nem abertos, como Q, IR Q, ou um intervalo
do tipo [a, b) ou (a, b].

Definica o 6.8 (Denso) Sejam X, Y conjuntos de numeros reais, com X Y . Dizemos que X e
denso em Y quando Y X, isto e , quando todo b Y e aderente a X.

Observaca o 6.6 As seguintes afirmaco es sao equivalentes a dizer que X e denso em Y . (Em
todas elas, supoe-se X Y .)
1. Todo ponto de Y e limite de uma sequencia de pontos de X.
2. Y X.
3. Para todo y Y e todo > 0 tem-se (y , y + ) X 6= 0.
/
4. Todo intervalo aberto que contenha um ponto de Y deve conter tambem algum ponto de
X. (Note que um intervalo aberto contendo y Y deve conter um intervalo da forma

(y , y + ).)
Observaca o 6.7

1. Q e denso em IR, ou seja, IR Q.

2. IR Q e denso em IR, ou seja, IR IR Q.

Definica o 6.9 (Cisao do Conjunto) Uma cisao do conjunto X IR e uma decomposica o X =
A B tal que A B = A B = 0/ (isto e , nenhum ponto de A e aderente a B e nenhum ponto de

B e aderente a A). (Em particular, A e B sao disjuntos.)

85

A decomposica o X = X 0/ chama-se a cisao trivial.

Teorema 6.8 Um intervalo da reta so admite a cisao trivial.
Corolario 6.1 Os u nicos subconjuntos de IR que sao simultaneamente abertos e fechados sao
IR e 0.
/
6.3

PONTOS DE ACUMULACAO

Definica o 6.10 (Ponto de Acumulaca o) Um numero a IR e ponto de acumulaca o do conjunto X IR quando toda vizinhanca V de a contem algum ponto de X diferente do proprio a,

isto e , V (X {a}) 6= 0.
/ Equivalentemente: > 0, (a , a + ) (X {a}) 6= 0.
/ Indica-se

com X o conjunto dos pontos de acumulaca o de X.

Observaca o 6.8

1. A condica o a X (a e ponto de acumulaca o de X) exprime-se simboli-

camente do seguinte modo:

> 0 x X; 0 < |x a| < .

2. a X a X {a}.
Definica o 6.11 (Ponto Isolado) Se a X nao e ponto de acumulaca o de X, entao a e ponto
isolado de X. Isto significa que existe > 0 tal que a e o u nico ponto de X no intervalo

(a , a + ).
Definica o 6.12 (Conjunto Discreto) Quando todos os pontos do conjunto X sao isolados, X
chama-se conjunto discreto.
Teorema 6.9 Dados X IR e a IR, as seguintes afirmaco es sao equivalentes:
1. a e um ponto de acumulaca o de X;
2. a e limite de uma sequencia de pontos xn X a;
3. Todo intervalo aberto de centro a contem uma infinidade de pontos de X.
Observaca o 6.9

1. Se X e finito entao X = 0.
/ (Conjunto finito nao tem ponto de acumulaca o).

A contra positiva diz: Se X 6= 0/ entao X e infinito. Observe o tem 2 e verifique que nao
vale a volta da contra positiva;

86

2. ZZ e infinito mas todos os pontos de ZZ sao isolados, ou seja, ZZ = 0;

/
3. Q = IR;
4. (IR Q) = IR;
5. (a, b) = (a, b] = [a, b) = [a, b];
6. Dado X = {x1 , x2 , , xn , } onde lim xn = a, temos:
n+

(a) Se
/ X temos a 6=
 a
 xn , para todo n IN, entao X = {a}. Por exemplo, se X =
1 1
1
1
1, , , , , onde lim = 0 entao X = {0}, isto e , 0 e o u nico ponto de
n+ n
2 3
n
acumulaca o de X.

(b) Se a X, pode-se ter X = {a} ou X = 0.

/ Por exemplo:
i. A sequencia (a, a, a, ) tem X = 0.
/


1
1
1
ii. A sequencia a, a + 1, a + , a + , , a + , tem-se X = {a}.
2
3
n
Segue-se uma versao do Teorema de Bolzano-Weierstrass em termos de ponto de acumulaca o.
Teorema 6.10 Todo conjunto infinito limitado de numeros reais admite pelo menos um ponto
de acumulaca o.
Teorema 6.11 Para todo X IR, tem-se X = X X . Ou seja, o fecho de um conjunto X e

obtido acrescentando-se a X os seus pontos de acumulaca o.

Corolario 6.2 X e fechado se, e somente se, X X.

Corolario 6.3 Se todos os pontos do conjunto X sao isolados entao X e enumeravel.

6.4

CONJUNTOS COMPACTOS

Definica o 6.13 (Conjunto Compacto) Um conjunto X IR e um conjunto compacto se X e

fechado e limitado.

Teorema 6.12 Um conjunto X IR e compacto se, e somente se, toda sequencia de pontos em
X possui uma subsequencia que converge para um ponto de X.

87

Observaca o 6.10 Seja X IR um conjunto compacto (nao vazio). Por ser limitado, existem

= inf xn e = sup xn
Por ser compacto, pelo teorema anterior e pertencem a X. Portanto todo conjunto X IR

possui um elemento maximo e um elemento mnimo, ou seja, se X e compacto entao existem

x1 , x2 X tais que

x1 x x 2

x X.
O teorema a seguir generaliza o principo dos intervalos encaixados.
Teorema 6.13 Dada uma sequencia decrescente X1 X2 X3 Xn de conjuntos

compactos nao vazios, existe (pelo menos) um numero real que pertence a todos os Xn , ou seja,
+
T

n=1

Xn 6= 0.
/

Definica o 6.14 (Cobertura de X) Dado um conjunto X chama-se cobertura de X uma famlia

C = {C ; L}
de conjunto C tais que X
Observaca o 6.11
aberta.

C .

1. Se C e um conjunto aberto, , a cobertura chama-se cobertura

2. Se L = {1 , 2 , , n } e um conjunto finito e ainda se tem X C1 C2 Cn diz-se

que C = {Ci ; i L} e uma cobertura finita.

3. Se L L e tal que ainda se tem X

uma subcobertura de C.

C entao C = {C ; L } e denominada

Teorema 6.14 (Borel-Lebesgue) Toda cobertura aberta de um conjunto compacto possui uma
subcobertura finita.

88

6.5
6.5.1

EXERCICIOS
Seca o 1: Conjuntos abertos

1. Prove que, para todo X IR tem-se int(int X) = int X e conclua que int X e um conjunto
aberto.

Resoluca o:
Precisamos provar que int (int X) int X e int X int (int X).
() E facil ver que int (int X) int X, ja que o interior de todo conjunto esta contido no
mesmo.

() Para mostrarmos que int X int (int X) tomamos a int X. Assim, existe > 0

tal que (a , a + ) X. Logo, basta mostrarmos que (a , a + ) int X, isto e ,

a int (int X).

Se y (a , a+ ), seja o menor dos numeros positivos y (a ), (a+ )y. Entao,

(y , y + ) (a , a + ) X.

Desta forma, y int X. Portanto, (a , a + ) int X.

Conclumos que int (int X) = int X, ou seja, que todos os pontos de int X sao interiores a
int X, isto e , int X e um conjunto aberto.

2. Seja A IR um conjunto com a seguinte propriedade: toda sequencia (xn )nIN que con-

verge para um ponto a A tem seus termos xn pertencentes a A para todo n suficiente-

mente grande. Prove que A e aberto.

3. Prove que int(A B) int A int B e int(A B) = int A int B quaisquer que sejam A, B
IR. Se A = (0, 1] e B = [1, 2), mostre que int(A B) 6= int A intB.

Resoluca o:
Para provarmos que int (A B) (int A int B), tomemos x (int A int B), assim
x int A ou x int B.

Se x int A, existe > 0 tal que (x , x + ) A A B, logo x int(A B).

Da mesma forma, se x int B, existe > 0 tal que (x , x + ) B (A B), logo

x int (A B).

89

Note que em qualquer dos casos x int (A B), entao

int (A B) int A int B.
Agora vamos mostrar que int (A B) = int A int B.

Para tanto, seja x int (A B). Logo, existe > 0 tal que
(x , x + ) (A B) A

(x , x + ) (A B) B.

Da, x int A e x int B, isto e , x int A int B. Entao,

int (A B) int A int B.

(1)

Tomando x (int A int B), existe > 0 tal que

(x , x + ) A

(x , x + ) B,

ou seja, (x , x + ) (A B). Logo, x int (A B). E portanto,

(int A int B) int (A B).

(2)

De (1) e (2) segue que:

(int A int B) = int (A B).
Seja A = (0, 1] e B = [1, 2], devemos mostrar que int (A B) 6= (int A int B).
Temos que A B = (0, 2). Entao, int (A B) = (0, 2). Temos ainda que int A = (0, 1)

e int B = (1, 2), da (int A int B) = (0, 2) {1}.

Portanto, int (A B) 6= (int A int B).

4. Para todo X IR, prove que vale a reuniao disjunta IR = int X int(IR X) F, onde F

e formado pelos pontos x IR tais que toda vizinhanca de x contem pontos de X e pontos

de IR X. O conjunto F = f r X chama-se a fronteira de X. Prove que A IR e aberto se,

e somente se A f r A = 0.
/

5. Para cada um dos conjuntos seguintes, determine sua fronteira: X = [0, 1], Y = (0, 1)
(1, 2), Z = Q, W = ZZ.
Resoluca o:

90

Seja X IR, chama-se fronteira de X o conjunto f r X, formado pelos pontos x IR tais

que toda vizinhanca de x contem pontos de X e pontos de IR X. Desta forma temos:

f r X = f r [0, 1] = {0, 1}, pois para todo > 0, temos (0 , 0 + ) X 6= 0/ e (0

, 0 + ) (IR X) 6= 0.
/ Da mesma forma (1 , 1 + ) X 6= 0/ e (1 , 1 +
) (IR X) 6= 0,
/ > 0. Para qualquer ponto x a esquerda de 0 e a direita de 1,

existe > 0 tal que a vizinhanca (x , x + ) X = 0.

/ E para os pontos y tais que
/
0 < y < 1, existe > 0 tal que y , y + ) (IR X) = 0.

f rY = f r [(0, 1) (1, 2)] = {0, 1, 2}

f r Z = f r Q = IR
f rW = f r ZZ = ZZ
6. Sejam I1 I2 In intervalos limitados dois a dois distintos, cuja interseca o
I=

+
T

In nao e vazia. Prove que I e um intervalo, o qual nunca e aberto.

n=1

6.5.2

Seca o 2: Conjuntos fechados

1. Sejam I um intervalo nao-degenerado e k > 1 um numero natural. Prove que o conjunto

dos numeros racionais

m
kn ,

e denso em I.

cujos denominadores sao potenciais de k com expoente n IN,

Resoluca o:
Temos que R I e denso em I se, e somente se, ha pontos de R em todo o intervalo
(y , y + ) com y I.



m m+1
1
Se n e tao grande que > , os intervalos n , n
tem comprimento menor do que

k
k
m+1 m
m+1
1
1
, pois
n = n , e n < . Logo, se m e o menor inteiro tal que y + n ,
n
k
k
k
k
k
m
m
entao n < y + , desta forma n (x , x + ).
k
k
kn

2. Prove que, para todo X IR, vale X = X f r(X). Conclua que X e fechado se, e somente
se, X f r X.

3. Para todo X IR, prove que IR int X = IR X e IR X = int(IR X).

Resoluca o:
Provaremos inicialmente que IR int X = IR X.

91

(a) (IR int X) IR X.

Seja a (IR int X), logo a IR e a
/ int X. Isso significa que toda vizinhanca de

a contem pontos que nao estao em X, ou seja, toda vizinhanca de a contem pontos
de (IR X), assim a IR X. Da (IR int X) IR X.
(b) IR X (IR int X).
O exerccio anterior (2) nos tras que X = X f r X. Assim, seja a IR X, temos
que a (IR X) ou a f r (IR X) (toda vizinhanca de a contem pontos de IR X
e de IR (IR X) = X).

Se a (IR X), como int X X, temos que a (IR int X). Senao, a e ponto de
fronteira de X e do mesmo modo a (IR int X). De qualquer forma, temos que

IR X (IR int X).

De (a) e (b) segue que IR int X = IR X.

Agora vamos mostrar que IR X = int (IR X).
(c) IR X int (IR X).

Considere b IR X. Desta forma b IR e b

/ X. Logo existe > 0 tal que

(b , b + ) IR, porem (b , b + ) X = 0.
/ Da, b int (IR X), donde
IR X int (IR X).

(d) int (IR X) IR X.

Seja b int (IR X), logo existe uma vizinhanca de b inteiramente contida em (IR
X). Da, tal vizinhanca de b nao contem pontos de X, ou seja, a
/ X. Portanto,
a (IR X) e int (IR X) (IR X).

Conclumos de (c) e (d) que int (IR X) = IR X.

4. Se X IR e aberto (respectivamente, fechado) e X = A B e uma cisao, prove que A e B

sao abertos (respectivamente, fechados).

5. Prove que se X IR tem fronteira vazia entao X = 0/ ou X = IR.

Resoluca o:
Considere X IR e f r X = 0/ entao os dois casos seguintes ocorrem:
X f r X, ja que o conjunto 0/ esta contido em Y , seja qual for o conjunto Y .
X f r X = 0,
/ pois Y 0/ = 0,
/ qualquer que seja Y .

92

No primeiro caso temos que X e um conjunto fechado e no segundo X e um conjunto

aberto. Porem os u nicos subconjuntos de IR que sao simultaneamente fechados e abertos
sao 0/ e IR. Da, X = 0/ ou X = IR.

6. Sejam X,Y IR. Prove que X Y = X Y e que X Y X Y . De exemplo em que

X Y 6= X Y .

7. Dada uma sequencia (xn )nIN , prove que o fecho do conjunto X = {xn ; n IN} e X =
X A, onde A e o conjunto dos valores de aderencia de (xn )nIN .
Resoluca o:
Devemos mostrar que X = X A.
1. X A X.
Seja x X A, logo x X ou x A. Se x X, como X X, temos x X. Se x A,

entao x e valor de aderencia de alguma (xn )nIN , ou seja, x e limite de uma sequencia
de X, logo x X.
De qualquer forma x X. Portanto, X A X.
2. X X A.
Seja x X, logo x e aderente a X, ou seja, x e limite de alguma sequencia (xn )nIN
X, entao x A.

Disto segue que x X A. Donde resulta que X X A.

De (1) e (2) podemos concluir que X = X A.

6.5.3

Seca o 3: Pontos de acumulaca o

1. Prove que, para todo X IR, tem-se X = X X . Conclua que X e fechado se, e somente
se, contem todos os seus pontos de acumulaca o.

2. Prove que toda coleca o de intervalos nao degenerados dois a dois disjuntos e enumeravel.
Resoluca o:
Seja X = {I , IN} uma coleca o de intervalos nao degenerados dois a dois disjuntos.

Logo, I p Iq = 0,
/ p, q IN.

93

Uma vez que tais intervalos sao nao-degenerados, existe infinitos numeros racionais dentro de cada um deles. Assim, podemos escolher em cada intervalo I da coleca o um
numero racional r . A correspondencia X Q e injetiva. Como o conjunto dos numeros
racionais e enumeravel, podemos concluir que X e enumeravel.

3. Prove que se todos os pontos do conjunto X IR sao isolados entao pode-se escolher,
para cada x X, num intervalo aberto Ix , de centro x. tal que x 6= y Ix Iy = 0.
/

4. Prove que se todo conjunto nao enumeravel X IR possui algum ponto de acumulaca o
a X.

Resoluca o:
Vamos provar a contrapositiva: Se um conjunto X IR nao possui ponto de acumulaca o,
entao X e enumeravel.

De fato, temos do exerccio (2) que se todos os pontos do conjunto X sao isolados, entao
existe uma famlia de intervalos abertos Ix , com centro em x X, tais que os mesmos

sao dois a dois disjuntos. Como toda famlia de intervalos nao degenerados, dois a dois
disjuntos, e enumeravel, exerccio (3), segue-se que X e enumeravel. Provando a contrapositiva e desta forma o exerccio.

5. Prove que, para todo X IR, X e um conjunto fechado.

6. Seja a um ponto de acumulaca o do conjunto X. Prove que existe uma sequencia crescente
ou uma sequencia decrescente de pontos xn X com lim xn = a.
n

Resoluca o:
/
Seja a ponto de acumulaca o de X. Logo > 0, (a , a + ) (X {a}) 6= 0.


Consideremos 1 = 1. Entao existe x1 X tal que |x1 a| < 1. Seja 2 = min |x1 a| , 12 .


Entao existe x2 X tal que |x2 a| < 2 . Seja 3 = min x2 a, 1  . Entao existe x3 X
3

tal que |x3 a| < 3 .

Procedendo assim, obteremos uma sequencia (xn )nIN de elementos de X tais que |xn a| <
1
e 0 < |xn+1 a| < |xn a|.
n
Desta forma, se a xn para n suficientemente grande, obtemos uma sequencia crescente
(xn )nIN de elementos de X, tais que lim (xn ) = a. Se a xn para n suficientemente
n

grande obtemos uma sequencia decrescente (xn )nIN tais que lim (xn ) = a.
n

94

6.5.4

Seca o 4: Conjuntos compactos

1. Prove que o conjunto A dos valores de aderencia de uma sequencia (xn )nIN e fechado.
Se a sequencia for limitada, A e compacto, logo existem l e L, respectivamente o menor
e o maior valor de aderencia da sequencia limitada (xn )nIN . Costuma-se escrever l =
lim inf xn e L = lim sup xn .

2. Prove que uma reuniao finita e uma interseca o arbitraria de conjuntos compactos e um
conjunto compacto.
Resoluca o:
Sejam A e B conjuntos compactos, mostraremos que A B e um conjunto compacto.
Tomando x A B temos que x A ou x B. Se x A entao existe k1 IR tal que x k1 ,

x A. E se x B existe k2 IR tal que x k2 x B. Seja k = max {k1 , k2 } entao

x k, x A B, isto e , A B e limitado.

Como A e B sao fechados, segue do Teorema 6.7 que A B e fechado.

Portanto, A B e compacto.
Agora, vamos provar que a intersecca o arbitraria de conjuntos compactos e um conjunto
compacto.
Considere F =

F , onde F e compacto, L. Seja x F entao x F , para todo

L. Como F e limitado, segue que existe k tal que x k , x F . Supondo, sem

perda de generalidade, que F forma uma sequencia nao-decrescente tal que F1 F2

F3 F e seja k o maior dos k , assim x k para todo x F =

a interseca o e limitada.

F . Logo

Como F e fechado, L, segue do Teorema 6.7 que F e fechado.

3. De exemplo de uma sequencia decrescente de conjuntos fechados nao-vazios F1 F2

Fn e uma sequencia decrescente de conjuntos limitados nao-vazios L1 L2

Ln tais que

n=1

Fn = 0/ e

Ln = 0.
/

n=1

4. Sejam X, Y conjuntos disjuntos e nao-vazios, com X compacto e Y fechado. Prove que

existem x0 X, y0 Y tais que |x0 y0 | |x y| para quaisquer x X, y Y .

95

Resoluca o:
Seja = inf {|x y| ; x X, y Y }. Entao, |x y|, x X e y Y . Vamos provar

que = |x0 y0 |.

De fato, existem sequencias de pontos xn X e yn Y tais que lim |xn yn | = .

Como X e compacto podemos admitir que lim xn = x0 X. Temos ainda que |yn | =

|yn xn + xn | |yn xn | + |xn |, ou seja, (yn ) e uma sequencia limitada, da temos que

(yn ) possui uma subsequencia convergente, isto e , lim yn = y0 Y . Logo, lim |xn yn | =
|x0 y0 | = .

5. Um conjunto compacto cujos pontos sao todos isolados e finito. De exemplo de um

conjunto fechado ilimitado X e um conjunto limitado nao-fechado Y , cujos pontos sao
todos isolados.
6. Prove que se X e compacto entao os seguintes conjuntos tambem sao compactos:
(a) S = {x + y; x, y X};
(b) D = {x y; x, y X};
(c) P = {x y; x, y X};
(d) Q = {x/y; x, y X}.
Resoluca o:
Se X e compacto temos que X e limitado e fechado. Como X e limitado segue que existe
k > 0 tal que |x| k, x X.
(a) Para provarmos que S e compacto precisamos provar que:
S e limitado;

Com efeito, se x, y X, da |x| k e |y| k. Seja s = x + y, s S. Entao,

|x + y| |x| + |y| k + k = 2k |s| 2k.
Portanto, S e limitado.

S e fechado;

Suponhamos que lim(xn + yn ) = s, xn , yn X. Devemos mostrar que s S.

Como X e limitado, toda sequencia de pontos de X e limitada e possui uma

subsequencia convergente. Logo, existe IN IN infinito tal que lim xn = x0

nIN

X (pois X e fechado).

96

Entao, como yn = yn + xn xn , temos:

lim yn =

nIN

lim (yn + xn ) lim xn = s x0 ,

nIN

nIN

chamando s x0 de y0 , temos que existe o limite lim yn = y0 X. E da,

nIN

s = lim (xn + yn ) = lim xn + lim yn = x0 + y0 S, ou seja, s S. Portanto, S

nIN

nIN

nIN

e fechado.
Donde conclumos que S e compacto.
(b) Vamos provar que D e compacto:
D e limitado;

Sejam x, y X, tomando d = x y D temos:

|d| = |x y| |x| + |y| k + k = 2k.
Portanto, D e limitado.

D e fechado;

Suponhamos que lim(xn yn ) = d, xn , yn X. Da mesma forma que no item

anterior, como X e limitado, existe IN IN infinito tal que lim yn = y0 X,

nIN

como xn = xn yn + yn temos
lim xn =

nIN

lim (xn yn ) + lim yn = d + y0 .

nIN

nIN

Fazendo d + y0 = x0 temos que existe lim xn = x0 X. Da

nIN

d =

lim (xn yn ) =

nIN

lim xn lim yn = x0 y0 S,

nIN

nIN

entao d S. Logo D e fechado.

Portanto, D e compacto.
(c) Agora mostraremos que P e compacto.
P e limitado;

Seja p = x y P, entao temos:

|p| = |x y| = |x| |y| k k = k2 , p P.

Logo, P e limitado.
P e fechado;

Suponhamos que lim(xn yn ) = p, xn , yn X. Como X e compacto existe IN

97

IN infinito tal que lim xn = x0 X. Como yn =

nIN

lim (xn yn )

xn y n
=
= lim
xn
nIN

lim yn

nIN

xn yn
, segue que
xn

nIN

lim xn

p
,
x0

nIN

considerando

p
= y0 , existe o lim yn = y0 X. Da,
x0
nIN
lim (xn yn ) =

p =

nIN

lim xn lim yn = x0 y0 P
nIN

nIN

Portanto p P, donde segue que P e fechado.

Logo, P e compacto.
(d) Mostraremos que Q tambem e compacto.
Q e limitado;
x
Seja q = Q, entao:
y
 
x
|x|
k
|q| =   =

= 1.
|y|
y
k

Portanto, Q e limitado por 1.

Q e fechado;

xn

= q, com xn , yn X. Como X e compacto existe IN

yn
xn yn
, segue que
IN infinito tal que lim yn = y0 X. Como xn =
yn
nIN

Suponhamos que lim

lim xn =

nIN

lim

nIN

xn yn
=
yn

lim

nIN

xn
lim yn = q y0 .
yn nIN

Fazendo x0 = q y0 X, existe o limite lim yn = y0 X. Da,

nIN

xn
=
q = lim
nIN yn

lim xn

nIN

lim yn

nIN

Logo q Q entao Q e fechado.

Portanto, Q e compacto.

x0
Q.
y0

98

LIMITES DE FUNC
OES

7.1

E PRIMEIRAS PROPRIEDADES
DEFINIC
AO

Definica o 7.1 Sejam X IR um conjunto de numeros reais, f : X IR uma funca o real cujo

domnio e X e a X um ponto acumulaca o do conjunto X. Diz-se que o numero real L e

limite de f (x) quando x tende para a, e escreve-se limxa f (x) = L, quando para todo > 0

dado arbitrariamente, pode-se obter > 0 tal que se tem | f (x) L| < sempre que x X e

0 < |x a| < .

Teorema 7.1 Sejam f , g : X IR, a X , lim f (x) = L e lim g(x) = M. Se L < M entao existe
xa

xa

> 0 tal que f (x) < g(x) para todo x X como 0 < |x a| < .

Teorema 7.2 (Teorema do Sanduche) Sejam f , g, h : X IR, a X e lim f (x) = lim g(x) =
xa

xa

L. Se f (x) h(x) g(x) para todo x X {a} entao lim h(x) = L.

xa

Teorema 7.3 Sejam f : X IR e a X . A fim de que seja lim f (x) = L e necessario e suficiente
xa

que, para toda sequencia de pontos xn X a com lim xn = a, tenha-se lim f (xn ) = L.

Corolario 7.1 (Unicidade do limite) Sejam f : X IR e a X . Se lim f (x) = L e lim f (x) =

xa

xa

M entao L = M.

Corolario 7.2 (Operaco es com limites). Sejam f , g : IR, a X , com lim f (x) = L e lim g(x) =
xa

xa

M. Entao

1. lim f (x) g(x) = L M;

xa

2. lim f (x) g(x) = L M;

xa

f (x)
g(x)
xa

3. lim

L
M,

se M 6= 0;

4. Se lim f (x) = 0 e g e limitada numa vizinhanca de a, tem-se lim f (x) g(x) = 0

xa

xa

99

Teorema 7.4 Sejam f : X IR, a X , se existe lim f (x) entao f e limitada numa vizinhanca
xa

de a, isto e , existem > 0 e c > 0 tais que x X, 0 < |x a| < implica | f (x)| c.

7.2

LIMITES LATERAIS

Definica o 7.2 (Ponto de acumulaca o a` direita) Um numero real a e dito ponto de acunulaca o a
direita de X IR, quando toda vizinhanca de a contem algum ponto x X com x > a. Escreve-

se: a X+ .

/ A fim de que a X+ e necessario

Equivalentemente para todo > 0 tem-se X (a, a + ) 6= 0.
e suficiente que a seja limite de uma sequencia de pontos xn > a, pertencentes a X. Finalmente

a e um ponto de acumulaca o a` direita para o conjunto X se, e somente se, e um ponto de

acumulaca o ordinario do conjunto Y = X (a, +).
Definica o 7.3 (Ponto de acumulaca o a` esquerda) Diz-se que a e um ponto de acunulaca o a

esquerda de X IR, quando para todo > 0 tem-se X (a , a) 6= 0,

/ ou seja, a Z onde

Z = (, a) X. Representa-se: a X .

Para que isto aconteca, e necessario e suficiente que a = lim xn , onde (xn ) e uma sequencia cujos
termos xn < a pertencem a X.
Quando a X+ X diz-se que a e um ponto de acumulaca o bilateral de X.
Definica o 7.4 (Limite a` direita) Sejam f : X IR, a X+ . Diz-se que o numero real L e
limite a direita de f (x) quando x tende para a, e dado > 0, pode-se obter > 0 tal que

| f (x) L| < sempre que x X e 0 < x a < . Escreve-se L = lim f (x). Simbolicamente:
lim f (x) = L. . > 0; x X (a, a + ) | f (x) L| < .

xa+

xa+

Definica o 7.5 (Limite a` esquerda) Considerando f : X IR e a X , dizemos que L e limite a`

esquerda de f (x) quando para todo > 0, pode-se > 0 tal que x X (a , a) | f (x)

L| < . Escreve-se: L = lim f (x).

xa

Os resultados enunciados para limites tambem sao validos para limites laterais.
Dado a X+ X , existe lim f (x) = L se, e somente se, existem e sao iguais os limites
xa

laterais.

lim f (x) =

xa+

lim f (x) = L.

xa

100

Teorema 7.5 Seja f : X IR uma funca o monotona limitada. Para todo a X+ e todo b X

existem lim f (x) = L e lim f (x) = M. Ou seja, existem sempre limites laterais de uma funca o
xa+

monotona limitada.
7.3

xa

LIMITES NO INFINITO, LIMITES INFINITOS

Definica o 7.6 Seja X IR ilimitado superiormente. Dada f : X IR, escreve-se: lim f (x) =
x+

L, quando o numero real L satisfaz a` seguinte condica o:

> 0 A > 0; x X, x > A | f (x) L| <

Definica o 7.7 Seja X IR ilimitado inferiormente. Dada f : X IR, escreve-se: lim f (x) =
x

L, quando o numero real > 0 dado, existir A > 0 tal que x < A | f (x) L| < .

Os limites para x + e x sao de certo modo, limites laterais, o primeiro e um limite

a` esquerda e o segundo a` direita. O limite de uma sequencia e um caso particular de limite no

infinito.
Definica o 7.8 (Limites Infinitos) Sejam X IR, a X , f : X IR. Diremos que lim f (x) = +
xa

quando, para todo A > 0 dado, existe > 0 tal que 0 < |x a| < , x X f (x) > A

Definica o 7.9 (Limites Infinitos) Sejam X IR, a X , f : X IR. Temos que lim f (x) =
xa

quando, para todo A > 0 dado, existe > 0 tal que 0 < |x a| < , x X f (x) < A

101

7.4
7.4.1

EXERCICIOS
Seca o 1: Definica o e primeiras propriedades

1. Sejam f : X IR, a X e Y = f (X {a}). Se lim f (x) = L entao L Y .

xa

2. Sejam f : X IR, a X . A fim de que exista lim f (x) e suficiente que, para toda
xa

sequencia de pontos xn X {a} com lim xn = a, a sequencia ( f (xn )) seja convergente.

Resoluca o:
Suponhamos que exista lim f (x) e xn , yn X {a} tal que lim xn = lim yn = a.
xa

Desta forma, definimos (zn ), considerando z2n1 = xn e z2n = yn . Da, temos lim z2n1 =
lim xn = a e lim z2n = lim yn = a. Logo, lim zn = a. Como pelo Teorema (7.3) f (x) convergir e xn convergir implica na convergencia de f (xn ), entao ( f (zn )) converge. Portanto,
lim f (xn ) = lim f (yn ), ja que ( f (xn )) e ( f (yn )) sao subsequencias de ( f (zn )).

3. Sejam f : X IR, g : Y IR com f (X) Y , a X e b Y Y .

Se
lim f (x) = b e lim g(y) = c,

xa

yb

prove que lim g( f (x)) = c, contanto que c = g(b) ou entao que x 6= a implique f (x) 6= b.
xa

4. Sejam f , g : IR IR definidas por f (x) = 0 se x e irracional e f (x) = x se x Q; g(0) = 1 e

g(x) = 0 se x 6= 0. Mostre que lim f (x) = 0 e lim g(y) = 0, porem nao existe lim g( f (x)).
x0

y0

x0

Resoluca o:
Temos
f (x) =

0, x IR|Q

x, x Q

Vamos provar inicialmente que lim f (x) = 0.

x0

Se x IR|Q temos:
lim f (x) = lim 0 = 0.

x0

x0

Se x Q temos:
lim f (x) = lim x = 0.

x0

x0

e g(x) =

1, x = 0
0, x 6= 0

102

O que mostra que lim f (x) = 0.

x0

Mostraremos agora que lim g(y) = 0.

y0

De fato, lim g(y) = lim 0 = 0, ja que y 0, mas y 6= 0.

y0

y0

Agora calcularemos lim g ( f (x)):

x0

No caso de x Q, segue:
lim g ( f (x)) = lim g (x) = lim 0 = 0.

x0

x0

x0

Porem para x IR|Q, temos:

lim g ( f (x)) = lim g (0) = lim 1 = 1.

x0

x0

x0

Como lim g ( f (x)) quando x Q e diferente de lim g ( f (x)) quando x IR|Q, segue que
x0

x0

lim g ( f (x)) nao existe.

x0

5. Seja f : IR IR definida por f (0) = 0 e f (x) = sin(1/x) se x 6= 0. Mostre que para todo
c [1, 1] existe uma sequencia de pontos xn 6= 0 tais que lim xn = 0 e lim f (xn ) = c.

7.4.2

Seca o 2: Limites laterais

1. Prove que a X+ (respectivamente, a X ) se, e somente se, a = lim xn e limite de uma

sequencia decrescente (respectivamente, crescente) de pontos pertencentes ao conjunto
X.
Resoluca o:

() Seja a X+ , tal que lim xn = a, devemos mostrar que (xn ) e uma sequencia decrescente de pontos de X.

Como a X+ , para todo > 0, tem-se X (a, a + ) 6= 0.

/
Assim, dado 1 = 1 temos X (a, a + 1) 6= 0,
/ ou seja, existe x1 (a, a + 1) X.
/ isto e , existe x2 (a, a + 2 ) X.
Seja 2 = min {|x1 a| , 1/2}, entao X (a, a + 2 ) 6= 0,
..
.
Seja n = min {|xn1 a| , 1/n}, entao X (a, a + n ) 6= 0,
/ ou seja, existe xn (a, a + n )
X.

Procedendo desta forma, obtemos uma sequencia (xn ) de pontos de X tal que
0 < |xn+1 a| < |xn a|

1
|xn a| < .
n

103

Como xn > a, n IN, temos xn a > 0, o que implica em |xn a| = xn a, n IN.

Da, da primeira desigualdade segue que xn+1 < xn , isto e , a sequencia (xn ) e decrescente,
e da segunda desigualdade resulta que lim xn = a.
() Reciprocamente, seja a = lim xn tal que (xn ) e uma sequencia decrescente de pontos

de X. Vamos mostrar que a X+ .

De fato, como lim xn = a, dado > 0, existe n0 IN tal que n n0 implica
/
(a , a + ) [(xn ) {a}] 6= 0.

(1)

Mas como (xn ) e decrescente temos a xn , n IN. Logo,

/
(a , a) (xn ) = 0.

(2)

De (1) e (2) segue que

(a, a + ) (xn ) 6= 0,
/

ou seja, a X+ .

2. Prove que lim f (x) = L (respectivamente, lim f (x) = L) se, e somente se, para toda
xa+

xa

sequencia decrescente (respectivamente, crescente) de pontos xn X com lim xn = a temse lim f (xn ) = L.



3. Seja f : IR{0} IR definida por f (x) = 1/ 1 + a1/x , onde a > 1. Prove que lim f (x) =
x0+

0 e lim f (x) = 1.
x0

Resoluca o:
1
= 0.
x0+ 1 + a1/x

Devemos provar que lim

1
= +.
x0+ x

De fato, lim

Da, como a > 1, lim a1/x = +.

x0+

1
= 0.
x0+ 1 + a1/x

Logo, lim

1
= 1.
x0 1 + a1/x

Vamos provar agora que lim

1
= .
x0 x

Com efeito, lim

Logo, para a > 1 temos lim a1/x = 0.

x0

104

1
1
= 1.
=
x0 1 + a1/x
1+0

Segue que lim

4. Sejam f : X IR monotona e a X+ . Se existir uma sequencia de pontos xn X com

xn > a, lim xn = a e lim f (xn ) = L entao lim f (x) = L.
xa+

5. Dada f : IR {0} IR, definida por f (x) = sen (1/x)/(1 + 21/x ), determine o conjunto
dos numeros L tais que L = lim f (xn ), com lim xn = 0, xn 6= 0.

Resoluca o:
Como a funca o seno e limitada por 1, isto e , | sen | 1, . Seja c [1, 1] e tome uma
sequencia (xn ) tal que xn < 0 com lim xn = 0 e sen (1/xn ) = c, para todo n.
sen (1/xn )
1
1
Assim, f (xn ) =
= sen (1/xn )
= c
.
1/x
1/x
1+2 n
1+2 n
1 + 21/xn


1
Logo, lim f (xn ) = lim c
.
1 + 21/xn
1
Como lim xn = 0 e xn < 0, temos lim = .
xn
Da, lim 21/xn = 0.
1
1
=
Desta forma, lim
= 1.
1/x
1+0
1+2 n


1
= c 1 = c.
Portanto, lim c
1 + 21/xn
Conclumos que o conjunto dos numeros L tais que L = lim f (xn ) e [1, 1].

7.4.3

Seca o 3: Limites no infinito, limites infinitos, expressoes indeterminadas

1. Seja p : IR IR um polinomio nao constante, isto e , para todo x IR, p(x) = a0 + a1 x +

+ an xn , com an 6= 0 e n 1. Prove que se n e par entao lim p(x) = lim p(x) = +
x+

se an > 0 e = se an < 0. Se n e mpar entao lim = + e lim p(x) = quando

x+

an > 0 e os sinais dos limites sao trocados quando an < 0.

2. Seja f : IR IR, definida por f (x) = x sen x. Prove que, para todo c IR, existe uma
sequencia xn IR com lim xn = + e lim f (xn ) = c.
n

Resoluca o:
Ao considerarmos 2 n 2 x 2 n + 2 , a funca o sen x assume todos os valores y
[1, 1]. Entao a funca o x sen x assume todos os valores de

2 n a

+ 2 n.

105

Dado c IR, existe n0 IN tal que para todo n n0 temos

2 n c 2 n + 2 .

Logo, para todo n n0 , existe xn [2 n 2 , 2 n + 2 ] tal que xn sen xn = c.

Entao lim xn = + e lim f (xn ) = c.

3. Seja f : [a, +) IR limitada. Para cada t a indiquemos com Mt o sup e mt o inf de f

no intervalo I = [t, +). Com wt = Mt mt indicaremos a oscilaca o de f em I. Prove que

existem lim Mt e lim mt . Prove que existe lim f (x) se e somente se, lim wt = 0.
x+

t+

x+

t+

106

8.1

FUNC
OES
CONTINUAS

E PRIMEIRAS PROPRIEDADES
DEFINIC
AO

Definica o 8.1 (Continuidade) Uma funca o f : X IR, definida no conjunto X IR, diz-se

contnua no ponto a IR quando, para todo > 0 dado arbitrariamente, pode-se obter > 0

tal que x X e |x a| < impliquem | f (x) f (a)| < , de outra maneira podemos escrever
que f e contnua no ponto a significa:

> 0 > 0; x X, |x a| < | f (x) f (a)| < .

Definica o 8.2 (Funca o Contnua) Diz-se que f : X IR e uma funca o contnua quando f e
contnua em todos os pontos a X.

Definica o 8.3 (Continuidade Local) A continuidade e um fenomeno local, isto e , a funca o f :

X IR e contnua no ponto a X se, e somente se, existe uma vizinhanca V de a tal que a
restrica o de f a V X e contnua no ponto a.
Observaca o 8.1

Se a e um ponto isolado do conjunto X isto e , dado > 0 tem-se X

( a, + a) = {a}, em toda a funca o f : X IR e contnua no ponto a.

Se X e um conjunto discreto, como ZZ por exemplo, entao toda a funca o inteira e contnua
o mesmo acontece com o conjunto dos numeros naturais.

Se a X X , ou seja, se a X e a X entao f : X IR e contnua no ponto a se, e

somente se, lim f (x) = f (a).
xa

Nao ha restrico es para a definica o de continuidade quando x = a pois nesta situaca o

teramos obviamente > 0.

Teorema 8.1 Sejam f , g : X IR contnuas no ponto a X, com f (a) < g(a). Existe > 0 tal

que f (x) < g(x) para todo x X (a , a + ).

107

Corolario 8.1 Sejam f : X IR contnua no ponto a X. Se f (a) 6= 0 existe > 0 tal que,

para todo x X (a , a + ), f (x) tem o mesmo sinal de f (a).

Teorema 8.2 A fim de que a funca o f : X IR seja contnua no ponto a e necessario e suficiente que, para toda sequencia de pontos xn X com lim xn = a, se tenha lim f (xn ) = f (a).

Corolario 8.2 Se f , g : X IR sao contnuas no ponto a X entao sao contnuas nesse mesmo

ponto as funco es f + g, f g : X IR, bem como a funca o f /g, caso seja g(a) 6= 0.

Teorema 8.3 Sejam f : X IR contnua no ponto a X, g : Y IR contnua no ponto b =

f (a) Y e f (X) Y , de modo que a composta g f : X IR esta bem definida. Entao g f e

contnua no ponto a.
8.2

FUNC
OES
CONTINUAS NUM INTERVALO

Teorema 8.4 (Teorema do Valor Intermediario) Seja f : [a, b] IR contnua. Se f (a) < d <
f (b) entao existe c (a, b) tal que f (c) = d.

Corolario 8.3 Se I IR e um intervalo e f : I IR e contnua entao f (I) e um intervalo.

Teorema 8.5 Seja I IR um intervalo. Toda funca o contnua injetiva f : I IR e monotona e
sua inversa g : J I definida no intervalo J = f (I), e contnua.

Corolario 8.4 Para todo n IN, a funca o g : [0, +) [0, +) definida por g(x) =

x e

contnua.

Diz-se um homeomorfismo entre X e Y quando X IR e Y IR e uma bijeca o contnua f :

X Y cuja inversa f 1 : Y X e tambem contnua. O Teorema 8.5 diz, portanto que se I e

um intervalo entao toda funca o contnua e injetiva f : I IR e um homeomorfismo entre I e o

intervalo J = f (I).
8.3

FUNC
OES
CONTINUAS EM CONJUNTOS COMPACTOS
O teorema a seguir assegura a existencia de valores maximos e mnimos de uma funca o

contnua quando seu domnio e compacto.

108

Teorema 8.6 (Weierstrass) Seja f : X IR contnua no conjunto compacto X IR. Existem

x0 e x1 tais que f (x0 ) f (x) f (x1 ) para todo x X.

Teorema 8.7 A imagem f (X) de um conjunto compacto X IR por uma funca o contnua f :
X IR e um conjunto compacto.

Corolario 8.5 Se X IR e compacto entao toda funca o contnua f : X IR e limitada, isto e ,

existe c > 0 tal que | f (x)| c para todo x X.

Teorema 8.8 Se X IR e compacto entao toda bijeca o contnua f : X Y IR tem inversa

contnua g : Y X.
8.4

CONTINUIDADE UNIFORME
Seja f : X IR contnua. Dado > 0, para cada x X pode-se achar > 0 tal que y X,

|y x| < implicam | f (y) f (x)| < .

O numero positivo nao depende apenas do > 0 dado mas tambem do ponto x no qual
a continuidade de f e examinada. Nem sempre dado > 0, pode-se encontrar um > 0 que
sirva em todos os pontos x X (mesmo sendo f contnua em todos esses pontos).
Definica o 8.4 Uma funca o f : X IR diz-se uniformemente contnua no conjunto X quando,
para todo > 0 dado arbitrariamente, pode-se obter > 0 tal que x, y X, |yx| < implicam

| f (y) f (x)| < .

Observaca o 8.2

Uma funca o uniformemente contnua f : X IR e contnua em todos

os pontos do conjunto X. A recproca nao e verdadeira.

A continuidade de uma funca o f : X IR no ponto a X significa que pode se ter f (x)

tao proximo de f (a) quanto se deseje, ou seja a esta fixo e x se aproxima dele afim de

que f (x) se aproxime da f (a). Ja na continuidade uniforme, pode-se fazer com que f (x)
e f (y) se tornem tao proximos quanto se queira, bastando que x, y X estejam tambem

proximos.

Podemos distinguir a continuidade uniforme, se cada ponto x X possui uma vizinhanca

V tal que a restrica o V X e contnua entao f e comtnua. Mas nao podemos afirmar

para f uniformemente contnua. Isso se exprime dizendo que a continuidade e uma noca o
local enquanto a continuidade uniforme e um conceito global.

109

Definica o 8.5 (Funca o Lipschitziana) Um funca o e dita Funca o Lipschitziana quando existe
uma constante k > 0 (chamada constante de Lipschitz da funca o) tal que
| f (x) f (y)| k|x y|,
sejam quais forem x, y X

Toda funca o lipschitziana f : X IR e uniformemente contnua dado > 0, tome-se = .

k

Entao x, y X, |x y| < | f (y) f (x)| k|x y| < k =

k
Teorema 8.9 A fim de que f : X IR seja uniformemente contnua e necessario e suficiente

que, para todo par de sequencias (xn ), (yn ) em X com lim(yn xn ) = 0 tenha-se lim [ f (yn ) f (xn )] =
0.

Teorema 8.10 Seja X IR compacto. Toda funca o contnua f : X IR e uniformemente

contnua.

Teorema 8.11 Toda funca o f : X IR, uniformemente contnua num conjunto limitado X, e

uma funca o limitada.

Teorema 8.12 Se f : X IR e uniformemente contnua entao para cada a X (mesmo que a

nao pertenca a X), existe lim f (x).

xa

110

8.5
8.5.1

EXERCICIOS
Seca o 1: Definica o e primeiras propriedades

1. Sejam f , g : X IR contnuas no ponto a X. Prove que sao contnuas no ponto a as

funco es , : X IR, definidas por (x) = max { f (x), g(x)} e (x) = min { f (x), g(x)}
para todo x X.

Resoluca o:
Como f e g sao funco es contnuas, dado /2 > 0 existe 1 > 0 e 2 > 0 tais que:
|x a| < 1 | f (x) f (a)| < /2;
|x a| < 2 |g(x) g(a)| < /2.
Sejam (x) = max { f (x), g(x)} e (x) = min { f (x), g(x)}, x X. Tomando =
min {1 , 2 }, para todo x X, com |x a| < , devemos mostrar que | (x) (a)| < e

| (x) (a)| < .

Sabendo que max { f (x), g(x)} = 12 [ f (x) + g(x) + | f (x) g(x)|], temos:


| (x) (a)| =  12 [ f (x) + g(x) + | f (x) g(x)|] 12 [ f (a) + g(a) + | f (a) g(a)|]
=

=
=

1
2 |[ f (x) + g(x)] [ f (a) + g(a)] + | f (x) g(x)| | f (a) g(a)||
1
2 | f (x) f (a) + g(x) g(a) + | f (x) g(x)| | f (a) g(a)||
1
2 [| f (x) f (a)| + |g(x) g(a)| + || f (x) g(x)| | f (a) g(a)||]
1
2 [| f (x) f (a)| + |g(x) g(a)| + | f (x) g(x) [ f (a) g(a)]|]
1
2 [| f (x) f (a)| + |g(x) g(a)| + |[ f (x) f (a)] + [g(a) g(x)]|]
1
2 [| f (x) f (a)| + |g(x) g(a)| + | f (x) f (a)| + |g(a) g(x)|]
1
2 [| f (x) f (a)| + | f (x) f (a)| + |g(x) g(a)| + |g(x) g(a)|]
1
2 [2 | f (x) f (a)| + 2 |g(x) g(a)|]

= | f (x) f (a)| + |g(x) g(a)|

<

+ 2

= .
Logo, e contnua.

111

Agora, considerando o fato de que min { f (x), g(x)} = 12 [ f (x) + g(x) | f (x) g(x)|], temos:


| (x) (a)| =  12 [ f (x) + g(x) | f (x) g(x)|] 21 [ f (a) + g(a) | f (a) g(a)|]
=

1
2 | f (x) f (a) + g(x) g(a) + [| f (a) g(a)| | f (x) g(x)|]|
1
2 [| f (x) f (a)| + |g(x) g(a)| + || f (a) g(a)| | f (x) g(x)||]
1
2 [| f (x) f (a)| + |g(x) g(a)| + | f (a) g(a) [ f (x) g(x)]|]
1
2 [| f (x) f (a)| + |g(x) g(a)| + |[ f (a) f (x)] + [g(x) g(a)]|]
1
2 [| f (x) f (a)| + |g(x) g(a)| + |[ f (x) f (a)]| + |g(x) g(a)|]
1
2 [| f (x) f (a)| + | f (x) f (a)| + |g(x) g(a)| + |g(x) g(a)|]
1
2 [2 | f (x) f (a)| + 2 |g(x) g(a)|]

= | f (x) f (a)| + |g(x) g(a)|

<

+ 2

= .
Portanto, tambem e contnua.

2. Sejam f , g : X IR contnuas. Prove que se X e aberto entao o conjunto A = {x X;

f (x) 6= g(x)} e aberto e se X e fechado o conjunto F = {x X; f (x) = g(x)} e fechado.

3. Uma funca o f : X IR diz-se semi-contnua superiormente (scs) no ponto a X quando,

para cada c > f (a) dado, existe > 0 tal que x X, |x a| < implicam f (x) < c. Defina
funca o semi-contnua inferiormente (sci) no ponto a. Prove que f e contnua no ponto a
se, e somente se, e scs e sci nesse ponto.
Resoluca o:
Uma funca o f : X IR e dita semi-contnua inferiormente(sci) no ponto a X quando,

para cada c < f (a) dado, existe > 0 tal que x X, |x a| < implicam f (x) > c.

Provaremos agora que f e contnua no ponto a se, e somente se, e scs e sci nesse ponto.
() Como f e contnua no ponto a, para todo > 0 dado arbitrariamente, pode-se obter

> 0 tal que x X e |x a| < impliquem | f (x) f (a)| < .

Para provarmos que f e scs no ponto a suponhamos c > c > f (a), devemos mostrar

que c > f (x).

De fato, | f (x) f (a)| < implica

f (a) <
f (x)

f (x)

f (x)

<

f (a) +

< f (a) + < c + = c

<

c,

112

Logo, f e scs.
Para mostrarmos que f e sci no ponto a suponhamos c < c + < f (a), precisamos provar
que c < f (x).
Com efeito, | f (x) f (a)| < implica

f (a) <

f (x)

<

f (x)

< f (a) +

= c+ <

f (a)

< f (x)

Logo, f e sci.
() Temos que f e sci e scs no ponto a. Suponhamos por absurdo que f nao e contnua
neste ponto.
Entao existe > 0 tal que > 0, se x X e |x a| < entao | f (x) f (a)| .
Da, f (x) f (a) ou f (x) f (a) . E, portanto,
f (x) f (a) + > f (a) > c

f (x) >

c.

ou
f (x) f (a) < f (a) < c

f (x) <

c.

Disto segue que f e scs ou f e sci, o que e um absurdo, pois contradiz nossa hipotese.
Logo f e contnua.

4. Seja f : IR IR contnua. Prove que se f (x) = 0 para todo x X entao f (x) = 0 para
todo x X.

5. Prove que f : IR IR e contnua se, e somente se, para todo X IR, tem-se f (X) f (X).
Resoluca o:
() Seja f : IR IR contnua. Tomando y f (X), precisamos mostrar que y f (X), ou

/
seja, para todo > 0 temos (y , y + ) f (X) 6= 0.

De fato, como y f (X) temos y = f (x0 ), para algum x0 X. Da, para todo > 0 temos
/ Logo, pelo fato de f ser contnua temos
(x0 , x0 + ) X 6= 0.
f ((x0 , x0 + )) (y , y + ).

113

Segue que
f (x0 ) f ((x0 , x0 + )) (y , y + ).
Alem disso, como x0 X, temos que x0 (x0 , x0 + ) e x0 X, logo
f (x0 ) f ((x0 , x0 + ))

f (x) f (X).

Portanto, f (x0 ) (y , y + ) f (X), isto e , y = f (x0 ) f (X). Da, f (X) f (X).

() Reciprocamente, seja X IR tal que f (X) f (X). Vamos mostrar que f e contnua

em a IR.

Suponhamos que f nao seja contnua em a. Logo, existem > 0 e (xn )nIN IR tal que
lim xn = a e lim f (xn ) 6= f (a), ou seja, | f (xn ) f (a)| .

/ f (X). Assim, f (X) nao

Ao considerarmos X = {x1 , x2 , , xn , } temos a X e f (a)
esta contido em f (X), o que e um absurdo.
Portanto, f e contnua em a.

6. Sejam f , g : X IR contnuas no ponto a. Suponha que, em cada vizinhanca V de a,

existam pontos x, y tais que f (x) < g(x) e f (y) > g(y). Prove que f (a) = g(a).

7. Seja f : X IR descontnua no ponto a X. Prove que existe > 0 com a seguinte

propriedade: ou se pode achar uma sequencia de pontos xn X com lim xn = a e f (xn ) >
f (a) + para todo n IN ou acha-se (yn ) com yn X, lim yn = a e f (yn ) < f (a) para

todo n IN.
Resoluca o:

Se f : X IR e descontnua no ponto a X, entao existe > 0 tal que > 0 pode-se

achar x X para os quais

|x a| <

| f (x) f (a)| .

Desta forma, temos que existe uma sequencia (zn )nIN X tal que lim zn = a e | f (zn ) f (a)|
n



Logo, existe um subconjunto A1 IN, A1 = nk1 , nk2 , , nki , tal que
f (znk ) f (a) > , nki A1 .

114

Denotando (znk ) = (xn ), temos lim xn = a e f (xn ) > + f (a).

n


De forma analoga, existe um subconjunto A2 IN, A2 = mk1 , mk2 , , mk j , IN tal
que

f (zmk ) f (a) < , mki A2 .

Denotando, (zmk ) = (yn ), temos que lim yn = a e f (yn ) f (a) < . Logo,
n

f (a) + < f (yn )

8.5.2

f (a) > f (yn )

f (yn ) < f (a) .

Seca o 2: Funco es contnuas num intervalo

1. Uma funca o f : X IR diz-se localmente constante quando todo ponto de X possui uma

vizinhanca V tal que f e constante em V X. Prove que toda funca o f : I IR, localmente
constante num intervalo I, e constante.

2. Seja f : I IR uma funca o monotona, definida no intervalo I. Se a imagem f (I) e um

intervalo, prove que f e contnua.
Resoluca o:
Suponhamos, sem perda de generalidade, que f seja monotona nao-decrescente. Sejam
a intI, l = lim f (x) e L = lim f (x).
xa

xa+

Se f nao e contnua no ponto a I, tomando x, y I, x < a < y e z 6= f (a) tal que l < z < L,
f (x) < z < f (y). Mas z 6= f (I), logo, f (I) nao e um intervalo. Absurdo!

Portanto, f e contnua no ponto a.

115

Se a e um extremo do intervalo, digamos extremo direito, consideremos lim f (x) = l.

xa

Se f e descontnua em x = a, entao l < f (a). Seja x I tal que x < a e z 6= f (a) tal que

l < z < f (a). Logo, f (x) < z < f (a), mas z 6= f (I). Desta forma, tambem f (I) nao e um
intervalo. Absurdo!
Logo, f e contnua.

3. Diz-se que uma funca o f : I IR, definida no intervalo I, tem a propriedade do valor

intermediario quando a imagem f (J) de todo intervalo J I e um intervalo. Mostre que

a funca o f : IR IR, dada por f (x) = sen (1/x) se x 6= 0 e f (0) = 0, tem a propriedade

do valor intermediario, embora seja descontnua.

4. Seja f : I IR uma funca o com a propriedade do valor intermediario. Se, para cada

c IR, existe apenas um numero finito de pontos x I tais que f (x) = c, prove que f e
contnua.

Resoluca o:
Seja a I. Suponhamos por absurdo que f seja descontnua em a I. Assim, existe uma
sequencia (xn )nIN I e > 0 tal que (xn ) a e | f (xn ) f (a)| entao
f (xn ) + f (a) ou f (xn ) f (a) .
Consideremos f (xn ) + f (a). Seja c ( f (a), f (a + )). Pela propriedade do valor

intermediario, para cada n IN existe (zn ) entre xn e a tal que f (zn ) = c, onde (zn ) e um
conjunto infinito, contradica o.

Portanto, f e contnua em a.

5. Seja f : [0, 1] IR contnua, tal que f (0) = f (1). Prove que existe x [0, 1/2] tal que
f (x) = f (x + 1/2). Prove o mesmo resultado com 1/3 em vez de 1/2. Generalize.

116

8.5.3

Seca o 3: Funco es contnuas em conjuntos compactos

1. Seja f : IR IR contnua, tal que lim f (x) = lim f (x) = +. Prove que existe x0 IR
x+

tal que f (x0 ) f (x) para todo x IR.

Resoluca o:
Como lim f (x) = lim = , segue que existe A > 0 tal que, se x X temos |x| < A.
x

Fixemos a IR tal que a [A, A], entao

f (x) > f (a).

(1)

Restringindo a funca o f ao conjunto compacto [A, A], temos que f (X) tambem e um
conjunto compacto, ja que f e contnua. Da f (X) possui um menor elemento f (x0 ), tal
que f (x0 ) f (y), y [A, A], em particular temos
f (x0 ) f (a).

(2)

De (1) e (2) segue que f (x0 ) f (a) < f (x), logo

f (x0 ) f (x), x IR.

2. Seja f : IR IR contnua, com lim f (x) = + e lim f (x) = . Prove que, para todo
x+

c IR dado, existe entre as razes x da equaca o f (x) = c uma cujo modulo |x| e mnimo.

3. Prove que nao existe uma funca o contnua f : [a, b] IR que assuma cada um dos seus
valores f (x), x [a, b], exatamente duas vezes.

Resoluca o:
Vamos supor por absurdo que a funca o contnua f : [a, b] IR assuma cada um dos seus

valores f (x), x [a, b], exatamente duas vezes, ou seja, suponhamos que temos f (x) = d1
e f (x) = d2 , com d1 , d2 IR e d1 6= d2 , x [a, b].

Considere xn [a, b] tal que lim xn = c, como xn [a, b] fechado temos que c [a, b]. E

como f e contnua temos lim f (xn ) = f (c), como c [a, b], f (c) = d1 e f (c) = d2 , entao

lim f (xn ) = d1 e lim f (xn ) = d2 , o que e um absurdo pela unicidade do limite. Logo, so
podemos ter d1 = d2 .

117

4. Uma funca o f : IR IR diz-se periodica quando existe p IR+ tal que f (x + p) = f (x)
para todo x IR. Prove que toda funca o contnua periodica f : IR IR e limitada e atinge

seus valores maximos e mnimo, isto e , existem x0 , x1 IR tais que f (x0 ) f (x) f (x1 )
para todo x IR.

5. Seja f : X IR contnua no conjunto compacto X. Prove que, para todo > 0 dado,

existe k > 0 tal que x, y X, |y x| | f (y) f (x)| k |y x|. (Isto significa

que f cumpre a condica o de Lipschitz contanto que os pontos x, y nao estejam muito
proximos.)
Resoluca o:
Suponhamos por contradica o que existe > 0 tal que k > 0 e portanto, n IN,

existem xn , yn X tal que

|xn yn |

| f (yn ) f (xn )| n |xn yn | .

Uma vez que X e compacto sejam (xn ) e (yn ) subsequencias de (xn ) e (yn ), ja renomeadas,
tal que lim xn = a e lim yn = b. Assim,
|a b|

lim

x+

| f (xn ) f (yn )|
n |xn yn |
lim
= lim n = +.
x+
x+
|xn yn |
|xn yn |

Da,
+ =

| f (b) f (a)|
| f (xn ) f (yn )|
.
=
x+
|xn yn |
|b a|
lim

Portanto, f nao e limitada em X IR. Absurdo!

8.5.4

Seca o 4: Continuidade uniforme

1. Se toda funca o contnua f : X IR e uniformemente contnua, prove que o conjunto X e

fechado porem nao necessariamente compacto.

2. Mostre que a funca o contnua f : IR IR, dada por f (x) = sen (x2 ), nao e uniformemente
contnua.

Resoluca o:
Tomemos um par de sequencias de numeros reais (xn ) =

n + /2 e (yn ) = n .

118

Temos:
lim (xn yn ) = lim

hp
i
n + /2 n

p

= lim
n

"

 p

n + /2 n
n + /2 + n

n + /2 + n

n + /2 n
= lim p

n
n + /2 + n

= 0.
Mas,
lim [ f (xn ) f (yn )] = lim [sen(n + /2) sen(n )]

= lim 1
n

= 1.
Portanto temos lim (xn yn ) = 0 sem que tenhamos lim [ f (xn ) f (yn )] = 0. Isto sign

nifica que f nao e uniformemente contnua.

3. Dada f : X IR uniformemente contnua, defina : X IR pondo (x) = f (x) se x X

e um ponto isolado e (x) = lim f (y) se x X . Prove que e uniformemente contnua

yx

e (x) = f (x) para todo x X.

4. Seja f : IR IR contnua. Se existem lim f (x) e lim f (x), prove que f e uniformex+

mente contnua. Mesma conclusao vale se existem os limites de f (x)x quando x .

Resoluca o:
Consideremos L1 = lim f (x). Disto segue que dado > 0, existe > 0 tal que, se x
n

entao | f (x) L1 | < /4, x IR. Logo, se x e y entao

| f (x) f (y)| = | f (x) L1 + L1 f (y)| | f (x) L1 | + | f (y) L1 | <

+ .
4 4

Logo
| f (x) f (y)| <

.
2

(3)

119

Tambem, se lim f (x) = L2 , para todo > 0 dado, existe tal que se x entao
x

| f (x) L2 | < /4, x IR. Assim, se x e y entao

| f (x) f (y)| = | f (x) L2 + L2 f (y)| | f (x) L2 | + | f (x) + L2 | <

+ .
4 4

Logo,
| f (x) f (y)| <

.
2

(4)

Desta forma, construmos um intervalo [ , ]. Sendo este um intervalo compacto, como

f e contnua segue que existe > 0 tal que, se x, y [ , ]

|x y| < | f (x) f (y)| < .

2

(5)

Agora se x < e y [ , ], considerando |x y| < temos de (4) e (5)

| f (x) f (y)| = | f (x) f ( ) + f ( ) f (y)|

| f (x) f ( )| + | f (y) f ( )|

+
<
2 2
= .

Da mesma forma, se x > , y [ , ] e |x y| < por (3) e (5) temos

| f (x) f (y)| = | f (x) f ( ) + f ( ) f (y)|

| f (x) f ( )| + | f (y) f ( )|

<
+
2 2
= .

Portanto f e uniformemente contnua.

Agora verificaremos a continuidade uniforme de f (x) x.
Seja lim [ f (x)x] = l1 entao dado > 0, existe > 0 tal que, se x entao | f (x) x l1 | <
x

/4, x IR. Logo, se x e y entao

| f (x) x f (y) + y| = | f (x) x l1 + l1 f (y) + y|

| f (x) x l1 | + | f (y) y l1 |

+
<
4 4

.
=
2

(6)

Se lim f (x) x = l2 , dado > 0 existe > 0 tal que, se x entao | f (x) x l2 | <
x

120

/4. Da se x e y entao
| f (x) x f (y) + y| = | f (x) x l2 + l2 f (y) + y|
| f (x) x l2 | + | f (y) y l2 |

<
+
4 4

=
.
2

(7)

Considere o intervalo [ , ]. Como este intervalo e compacto e f (x) x e uma funca o

contnua temos que existe > 0 tal que, se x, y [ , ].

|x y| < | f (x) x f (y) + y| < .

2

(8)

Diante disso, se x < e y [ , ], considerando |x y| < por (7) e (8) temos

| f (x) x f (y) + y| = | f (x) x f ( ) + + f ( ) f (y) + y|

| f (x) x f ( ) + | + | f (y) y f ( ) + |

<
+
2 2
= .

E ainda, se x > , y [ , ] e |x y| < por (6) e (8) segue que

| f (x) x f (y) + y| = | f (x) x f ( ) + + f ( ) f (y) + y|

| f (x) x f ( ) + | + | f (y) y f ( ) + |

+
<
2 2
= .

Portanto, f (x) x tambem e uniformemente contnua.

5. Sejam f , g : X IR uniformemente contnuas. Prove que f +g e uniformemente contnua.

O mesmo ocorre com o produto f g, desde que f e g sejam limitadas. Prove que

, : X IR, dadas por (x) = max { f (x), g(x)} e (x) = min { f (x), g(x)} x X

sao uniformemente contnuas.

121

CONCLUSAO

Ao termino deste trabalho, que muito acrescentou a nossa base de conhecimentos, notamos
o quanto fomos transformados. Nao foram poucas as vezes que estudamos o conteudo mas
quando chegamos nos exerccios nao tnhamos ideia de como resolve-los, e entao tinhamos que
estudar novamente. Houve vezes que fizemos coisas erradas e nosso orientador pacientemente
corrigiu. Outras que recorremos a` dica do autor e levamos semanas para entende-la e para
conseguirmos concluir o exerccio. E vezes que simplesmente nao conseguimos fazer. Nao
pense que o nosso trabalho foi facil. Mas agora observando o quanto amadurecemos e o quanto
aprendemos, vemos que tudo valeu a pena. Aprendemos a estudar, a persistir, e a perceber a
importancia de cada detalhe.
Sugerimos esta experiencia a` todos aqueles que querem aprender analise real, pois a fixaca o
do conteudo ocorre no momento em que aplicamos os conceitos para resolver um problema.
Quando olhamos a resoluca o de um exerccio podemos ate compreender suas passagens, mas
logo esqueceremos. Mas quando resolvemos um exerccio, construmos a ideia em nossas
mentes e entao isso nos acompanha por muito mais tempo.
No incio, nossa intenca o era resolver todos os exerccios do livro, mas nao houve tempo
para fazermos isso com qualidade, ja que buscamos fazer tudo de forma detalhada pensando no
nosso aprendizado e tambem no leitor desse trabalho. Porem pretendemos estudar e resolver os
demais exerccios do livro para entao publica-los, com o proposito de contribuir para o estudo
da analise real. Desta forma, as contribuico es para o mesmo serao bem-vindas pelo e-mail
cris bndr@hotmail.com.

122

REFERENCIAS

AVILA,
G. Caculo das Funco es de uma variavel. 7. ed. Rio de Janeiro: Livros Tecnicos e
Cientficos, 2004.
FIGUEIREDO, D. G. de. Analise I. 7. ed. Rio de Janeiro: Livros Tecnicos e Cientficos, 1975.
LIMA, E. L. Analise real volume 1 Funco es de uma variavel. 10. ed. Rio de Janeiro:
Associaca o Instituto Nacional de Matematica Pura e Aplicada, 2008.
LIMA, E. L. Curso de Analise vol 1. 12. ed. Rio de Janeiro: Associaca o Instituto Nacional de
Matematica Pura e Aplicada, 2009.