UNIVERSIDADE ESTADUAL DA PARAÍBA

CENTRO DE CIÊNCIAS E TECNOLOGIA

DEPARTAMENTO DE MATEMÁTICA

MISAELLE DO NASCIMENTO OLIVEIRA

O TEOREMA DE ARZELÁ-ASCOLI E APLICAÇÕES

Campina Grande - PB
Março de 2014
 MISAELLE DO NASCIMENTO OLIVEIRA

O TEOREMA DE ARZELÁ-ASCOLI E APLICAÇÕES

Trabalho de conclusão do curso de Espe-

cialização em Matemática Pura e Aplicada
da Universidade Estadual da Paraíba. Em
cumprimento às exigências para obtenção
do Título de Especialista em Matemática.

Orientadora: Profa . Dra . LUCIANA ROZE DE FREITAS

Campina Grande - PB
Março de 2014
 MISAELLE DO NASCIMENTO OLIVEIRA

O TEOREMA DE ARZELÁ-ASCOLI E APLICAÇÕES

Trabalho de conclusão do curso de Espe-

cialização em Matemática Pura e Aplicada
da Universidade Estadual da Paraíba. Em
cumprimento às exigências para obtenção
do Título de Especialista em Matemática.

Aprovado pela banca examinadora em 17 de Março de 2014.

Banca Examinadora
Dedico este trabalho a minha família
que sempre está me dando apoio, em
especial a meus pais, pelas angústias
e preocupações que passaram por mi-
nha causa, por terem dedicado suas
vidas a mim, pelo amor carinho e es-
tímulo que me ofereceram, ao meu fi-
lho, que sem dúvida alguma, plantou
em mim forças para que eu pudesse
chegar ao fim, a prima da minha mãe,
Maria José, que me acolheu em sua
casa com tanta felicidade, dedico-lhes
essa conquista como gratidão.
 Agradecimentos

Primeiramente, a Deus por este sonho realizado. Pelo dom da vida, pela fé e perseverança
para vencer os obstáculos surgidos nesta fase da minha vida, a todos os professores que
lecionaram no curso, em especial à Professora Luciana Roze de Freitas, que mim orientou
com tanto carinho, paciência e compreensão e esteve ao meu lado durante esta última fase do
curso, ao Professor Aldo Trajano Lourêdo pela compreensão em momentos de angústia, ao
Professor Luiz Lima de Oliveira Júnior que desde o curso de graduação têm estado presente
nesta minha caminhada, aos colegas que trilharam este caminho comigo e as pessoas que
indiretamente com o seu carinho, muitas vezes, uma palavra amiga, contribuiram de forma
significativa para este momento, a meus pais pelo apoio e carinho em todos os momentos
nesta fase da minha especialização.
“No fim tudo termina bem.
Se tudo não estiver bem, é
porque ainda não é o fim."

(Autor Desconhecido)
 Resumo

O presente trabalho tem como objetivo apresentar um resultado de Análise utilizado nas
mais diversas áreas da matemática pura, o Teorema de Arzelá-Ascoli, que nos dirá quais
as condições necessárias para que uma sequência de funções contínuas definidas num sub-
conjunto compacto de um espaço métrico tenha uma subsequência uniformemente conver-
gente. Posteriormente, utilizamos o teorema para garantir a existência de soluções de uma
E.D.O. - Equações Diferenciais Ordinárias. Como suporte a este estudo, elencamos resulta-
dos primordiais para o desenvolvimento desta pesquisa. Primeiramente, coletamos concei-
tos básicos elementares, em seguida, demonstramos em duas versões o teorema principal, o
qual, posteriormente, é aplicado no Teorema de Peano, concluindo assim, a pesquisa.

Palavras Chave: E.D.O.; Matemática Pura; Teorema de Peano.

 Abstract

This paper aims to present a result of analysis used in several areas of pure mathematics, the
Arzelá-Ascoli theorem, that will tell us what are the necessary conditions for a sequence of
continuous functions defined on a compact subset of a metric space has a uniformly conver-
gent subsequence. Subsequently, we use the theorem to guarantee the existence of solutions
of an ODE - Ordinary Differential Equations. To support this study, we selected primary
outcomes for the development of this research. First, collect elementary basics then shown
in two versions main theorem, which subsequently is applied in the Peano theorem, thus
completing the study.

Keywords: O.D.E; Pure Mathematics; Peano theorem.

 SUMÁRIO

Introdução 9

1 Resultados Preliminares 11
1.1 Espaços Métricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.1 Espaços Métricos Completos . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2 Contrações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3 Conjuntos Totalmente Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . 24

2 O Teorema de Arzelá-Ascoli 27
2.1 Equicontinuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

3 Aplicações 34

Conclusão 39

Referências 40

A Contexto Histórico 41

B Desigualdade de Minkowski 43

C Demonstração do Exemplo (1.7) 46

D Mais alguns Resultados 47

 Introdução

A análise é uma área da matemática que estuda a criação de resultados impor-

tantes para o seu bom entendimento e de outras áreas, como por exemplo, Topologia, Ge-
ometria Diferencial, EDO - Equações Diferenciais Ordinárias, que se configura como nosso
objeto de estudo, entre outros. Isto é, visa elaborar formulações rigorosas e precisas para
ideias que até então eram intuitivas do cálculo. Tal feitio é possível através de postulados e
teoremas, dos quais, comprova-se sua veracidade através do desenvolvimento das demons-
trações.
Neste estudo, iremos utilizar um resultado muito usado na matemática pura
e na promoção de teorias matemáticas, o Teorema de Arzelá-Ascoli, que possui várias apli-
cações na análise real e análise funcional, que, sem sombra de dúvidas, é primordial para a
existência de soluções de uma edo.
Tal teorema é interessante, pois fornece subsídios sobre quais as condições que
uma sequência de funções deve ter para possuir uma subsequência convergente.
Ambos, Césare Arzelá e Giulio Ascoli1 estudaram sobre equicontinuidade e
o Teorema de Arzelá-Ascoli foi uma generalização de um resultado mais fraco que o pro-
vado por Ascoli. Um outro conceito importantíssimo para este estudo foi o então resultado
elaborado por Arzelá, onde provou o conceito de convergência uniforme gradual que dá
uma condição necessária e suficiente para uma série de funções contínuas convergir para
uma função contínua (1883). Além disso, observamos a quantidade de conceitos que o per-
meiam. Dentre os quais, apresentamos alguns resultados necessários para o entendimento
total ou de parte do exposto aqui.
Uma vez reunidas todas as pesquisas; feito um estudo dos resultados que evi-
denciam o objetivo deste trabalho, organizamos o mesmo em três capítulos. No capítulo
1
Ver apêndice A
 10

I, veremos alguns pré-requisitos que são indispensáveis para uma melhor compreensão do
Teorema de Arzelá-Ascoli, bem como da sua aplicação. No Capítulo II, estudaremos em
detalhes o teorema mencionado anteriormente, bem como, apresentaremos uma demons-
tração detalhada de fácil compreensão. No terceiro e último capítulo, iremos apresentar
uma importante aplicação do Teorema de Arzelá-Ascoli nas Equações Diferenciais Ordiná-
rias, o Teorema de Peano, que exige apenas a continuidade como condição de regularidade,
para garantir a existência de solução de um Problema de Valor Inicial.
1 Resultados Preliminares

Nesse Capítulo veremos alguns resultados preliminares utilizados no desen-

volvimento desta monografia, que servirão de base para uma melhor compreensão do Te-
orema de Arzelá-Ascoli, citaremos algumas definições e resultados importantes da Teoria
dos Espaços Métricos, que serão utilizados no decorrer de nossa pesquisa. Estes resultados
poderão ser verificados pelo leitor nas referências [1] e [3] ou em qualquer outro livro que
aborde tal teoria. Neste trabalho, serão enunciados apenas os resultados essenciais para o
desenvolvimento do assunto central.

1.1 Espaços Métricos

Definição 1.1. Seja X um conjunto. Uma função ρ : X × X −→ [0, ∞) satisfazendo as
condições:

(i) ρ(x, y) = 0 ⇐⇒ x = y;

(ii) ρ(x, y) = ρ(y, x); ∀x, y ∈ X;

(iii) ρ(x, z) ≤ ρ(x, y) + ρ(y, z); ∀x, y, z ∈ X

é dita uma métrica em X.

Um Espaço Métrico consiste de um conjunto X e uma métrica ρ em X. Denotamos por

(X, ρ) para indicar o espaço métrico consistindo do conjunto X e da métrica ρ.

Exemplo 1.1. Seja X um conjunto não vazio qualquer. Defina ρ : X × X −→ [0, ∞) pondo:
(
1, se x 6= y
ρ(x, y) =
0, se x = y.
ρ(x, y) constitui uma métrica sobre X.
De fato, dados x, y, z ∈ X temos:

(i) ρ(x, y) = 0 ⇐⇒ y = x.
 12

(ii) Se x = y então ρ(x, y) = 0 = ρ(y, x). Se x 6= y ⇒ ρ(x, y) = 1, por definição.

Também,
y 6= x ⇒ ρ(y, x) = 1.

Logo, ρ(x, y) = ρ(y, x), ∀x, y ∈ X.

(iii) Sejam x, y, z ∈ X. Então,

ρ(x, z) = 0 ou ρ(x, z) = 1,
ρ(x, y) = 0 ou ρ(x, y) = 1,
ρ(y, z) = 0 ou ρ(y, z) = 1.

Daí

ρ(x, y) + ρ(y, z) = 0 ⇒ ρ(x, z) = 0 ou ρ(x, y) + ρ(y, z) = 1 ou ρ(x, y) + ρ(y, z) = 2,

logo, de qualquer forma obteremos

ρ(x, z) ≤ ρ(x, y) + ρ(y, z).

A função ρ é uma métrica chamada métrica discreta e (X, ρ) é um espaço métrico.

Exemplo 1.2. A reta real R munido da métrica d, onde para x, y ∈ R

d(x, y) = |x − y|

é um espaço métrico.
Com efeito,
(i) d(x, y) = 0 ⇔ |x − y| = 0 ⇔ x = y;

(ii) d(x, y) = |x − y| = |y − x| = d(y, x) para todo x, y ∈ R;

(iii) d(x, z) = |x − z| = |x − y + y − z| ≤ |x − y| + |z − y| = d(x, y) + d(z, y).

Portanto, (X, d) é um espaço métrico.
 P  p1
n n n p
Exemplo 1.3. Seja (R , ρp ), com ρp (x, y) = kx − ykp , x, y ∈ R e kξkp = i=1 |ξi |
é um
espaço métrico.
De fato, sejam x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) e z = (z1 , z2 , . . . , zn ) ∈ Rn .
(i) ρp (x, y) = 0 ⇐⇒ x = y
p
p
ρp (x, y) = kx − ykp = k(x1 − y1 , . . . , xn − yn )kp = |x1 − y1 |p + . . . + |xn − yn |p =
= 0.
 13

Como, |xi − yi | ≥ 0, com 1 ≤ i ≤ n e

|x1 − y1 |p + . . . + |xn − yn |p = 0p = 0, 1≤p<∞

temos que

|x1 − y1 |p = 0, . . . , |xn − yn |p = 0 ⇔ x1 = y1 , . . . , xn = yn ⇔ x = y.

(ii) ρp (x, y) = ρp (y, x), ∀ x, y ∈ Rn

p
p
p
p
ρp (x, y) = kx − ykp = |x1 − y1 |p + . . . + |xn − yn |p = |y1 − x1 |p + . . . + |yn − xn |p
= ky − xkp = ρp (y, x), ∀x, y ∈ Rn

(iii) ρp (x, z) ≤ ρp (x, y) + ρp (y, z)1

ρp (x, z) = kx − zkp = kx − y + y − zkp ≤

≤ kx − ykp + ky − zkp =
= ρp (x, y) + ρp (y, x) ∀x, y ∈ Rn .

Portanto, (Rn , ρp ) é um espaço métrico.

Exemplo 1.4. Sejam (Mi , di ), i = 1, . . . , n, espaços métricos. Podemos dotar o produto M =

M1 × · · · × Mn de uma métrica, definindo a distância de x = (x1 , . . . , xn ) a y = (y1 , . . . , yn )
como sendo

dmax (x, y) = max di (xi , yi ),

1≤i≤n

ou

n
X
ds (x, y) = di (xi , yi ),
i=1

ou ainda,

v
u n
uX
d(x, y) = t di (xi , yi )2 .
i=1

1
ver desigualdade de H. Minkowski no Apêncide (B).
 14

Para quaisquer x, y ∈ M , valem as desigualdades:

dmax (x, y) ≤ d(x, y) ≤ ds (x, y) ≤ n · dmax (x, y). (1.1)

(Ver [1], pág. 7).

Particularmente, quando M1 = . . . = Mn = R, obtemos o espaço euclidiano Rn , como
produto cartesiano de n cópias do espaço métrico R. Salvo menção explícita em contrário,
consideraremos Rn munido da última dentre as três métricas descritas acima, a qual deno-
minaremos métrica euclidiana.
A fim de não nos estendermos demasiadamente, justificaremos, apenas, as proprie-
dades da métrica euclidiana. As outras seguem de argumentos análogos.
Sejam x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) e z = (z1 , . . . , zn ) ∈ M . Temos,
(i)
v
u n
uX
d(x, y) = 0 ⇐⇒ t di (xi , yi )2 = 0
i=1

⇐⇒ di (xi , yi )2 = 0, ∀i ∈ {1, . . . , n}
⇐⇒ xi = yi , ∀i ∈ {1, . . . , n}
⇐⇒ x = y.

(ii) Observe que

v v
u n u n
uX uX
d(x, y) = t 2
di (xi , yi ) = t di (yi , xi )2 = d(y, x).
i=1 i=1

Pois, para cada i ∈ {1, . . . , n}, di constitui uma métrica em Mi e, portanto, di (xi , yi ) =
di (yi , xi ), ∀i ∈ {1, . . . , n}.
(iii) Temos v
u n
uX
d(x, z) = t di (xi , zi )2
i=1

e mostraremos
d(x, z) ≤ d(x, y) + d(y, z).

De fato, a verificação da desigualdade acima, segue análogo do item (iii), exemplo 1.3,
onde particularizamos p, para, p = 2.
 15

Exemplo 1.5. Seja C ([a, b], R) = {f : [a, b] −→ R ; f contínua} com a métrica da convergên-
cia uniforme ρ(f, g) = kf − gk∞ , f, g ∈ C ([a, b], R) e kf k∞ = sup{|f (t)| : t ∈ [a, b]}, ∀ f ∈
C ([a, b], R) . Note que, tal supremo existe pois, f é limitada.2
(i) ρ(f, g) = 0 ⇐⇒ f = g.
De fato, sejam f, g ∈ C ([a, b], R). Daí,

ρ(f, g) = kf − gk∞ = sup |f (t) − g(t)| = 0 ⇔

t∈[a,b]

⇔ |f (t) − g(t)| = 0 ⇔ f (t) = g(t), t ∈ [a, b].

(ii) ρ(f, g) = ρ(g, f ), ∀ f, g ∈ C ([a, b], R) , t ∈ [a, b].

De fato,

ρ(f, g) = kf − gk∞ = sup |f (t) − g(t)| = sup |g(t) − f (t)| =

t∈[a,b] t∈[a,b]

= kg − f k∞ = ρ(g, f ).

(iii) ρ(f, h) ≤ ρ(f, g) + ρ(g, h), ∀f, g, h ∈ C ([a, b], R) , t ∈ [a, b].
De fato,

ρ(f, g) = kf − gk∞ = sup |f (t) − g(t)| = sup |f (t) − h(t) + h(t) − g(t)|
t∈[a,b] t∈[a,b]

≤ sup |f (t) − h(t)| + sup |h(t) − g(t)| = kf − hk∞ + kh − gk∞

t∈[a,b] t∈[a,b]

= ρ(f, h) + ρ(h, g).

Logo,
ρ(f, g) ≤ ρ(f, h) + ρ(h, g).

Portanto, C ([a, b], R) munido da métrica da convergência uniforme é um espaço mé-

trico.

Agora, definiremos alguns conceitos relacionados a subconjuntos de espaços métri-

cos. Entre eles, a noção de bola é fundamental no estudo dos espaços métricos.
Seja x um ponto no espaço métrico (X, ρ). Dado um número real r > 0, definimos:

Definição 1.2. A bola aberta de centro x e raio r é definida como sendo o conjunto Br (x) dos
pontos de X cuja distância a x é menor que r. Ou seja,

Br (x) := {y ∈ X ; ρ(x, y) < r}.

2
Ver Apêndice D, Teorema de Weierstrass
 16

Definição 1.3. A bola fechada de centro x e raio r é definida como sendo o conjunto Br [x]
dos pontos de X, cuja distância a x é menor do que ou igual a r. Ou seja,

Br [x] := {y ∈ X ; ρ(x, y) ≤ r}.

Definição 1.4. Seja (X, ρ) um espaço métrico, um conjunto E ⊂ X é dito aberto em (X, ρ) se,
para cada x ∈ E existe rx > 0 tal que Brx (x) ⊂ E.

Definição 1.5. Seja (X, ρ) um espaço métrico, um conjunto F ⊂ X é dito fechado em (X, ρ)
se F c (complementar de F com respeito a X) é aberto em (X, ρ).

Diante das definições apresentadas, temos a seguinte proposição:

Proposição 1.1. Seja (X, ρ) um espaço métrico. Então vale:

(i) A união qualquer de conjuntos abertos em (X, ρ) é um conjunto aberto;

(ii) A interseção finita de conjuntos abertos em (X, ρ) é um conjunto aberto em (X, ρ);

(iii) A interseção qualquer de conjuntos fechados em (X, ρ) é um conjunto fechado em

(X, ρ);

(iv) A união finita de conjuntos fechados em (X, ρ) é um conjunto fechado.

Demonstração. (i) Seja A uma coleção qualquer de conjuntos abertos em X. Denotemos por
U a união de todos os conjuntos abertos pertencentes a A.
Queremos mostrar que U é aberto.
Seja x ∈ U, então x ∈ A para algum conjunto aberto A ∈ A. Portanto, existe δ > 0 tal
que Bδ (x) ⊂ A. Mas, A ⊂ U, logo Bδ (x) ⊂ U. Donde U é aberto.
(ii) Sejam A1 , A2 , . . . , Ak uma coleção finita de conjuntos abertos em X e A = ki=1 Ai .
T

Tome x ∈ A, logo x ∈ Ai para todo i ∈ {1, 2, . . . , k} e portanto, existem números positivos

δ1 , δ2 , . . . , δk tais que Bδi (x) ⊂ Ai . Seja δ = min1≤i≤k δi . Assim, Bδ (x) ⊂ Bδi (x) ⊂ Ai , para
todo i ∈ {1, 2, . . . , k}. Donde,
Bδ (x) ⊂ A

Com isso, mostramos que A é aberto.

(iii) Seja F = {Fi ; i ∈ Λ} onde Λ é um conjunto de índices arbitrário, uma família
qualquer de conjuntos fechados. Assim, para cada i ∈ Λ, Fic é aberto em X. Seja F = i∈Λ Fi .
T

Queremos mostrar que F é fechado.

c S
Note que, F c = = i∈Λ Fic . Desde que Fic é aberto em X para cada i, pelo
T
i∈Λ Fi
item (i) obtemos F c aberto e portanto, F é fechado em X.
(iv) Sejam F1 , F2 , . . . , Fk uma coleção finita de conjuntos fechados em X e F = ki=1 Fi .
S
 17

Temos que !c
k
[ k
\
c
F = Fi = Fic
i=1 i=1

mas, a última interseção nos dá um conjunto aberto por (ii). Portanto, F c é aberto, o que
implica em F fechado.

Definição 1.6. Seja E ⊂ (X, ρ) um subconjunto do espaço métrico X munido da métrica ρ.

Definimos:
(i) O interior de E, denotado por intE, como sendo a união de todos os abertos de (X, ρ)
contidos em E, isto é,
[
intE = {A ; A é aberto e A ⊂ E };

(ii) O fecho de E, denotado por E, como sendo a interseção de todos os fechados de (X, ρ)
que contém E. Isto é,
\
E = {F ; F é fechado e E ⊂ F };

(iii) E é dito denso em X se E = X e nunca denso se intE = ∅.

Definição 1.7. Seja (X, ρ) um espaço métrico, x ∈ X e (xn )n ⊂ X. Dizemos que (xn ) converge
para x em X se d(xn , x) → 0 em R quando n → ∞. Assim, quando isso acontece, escrevemos

xn −→ x em X.

Proposição 1.2. Se E ⊂ X, então as seguintes condições são equivalentes:

(i) x ∈ E;

(ii) Br (x) ∩ E 6= ∅, ∀r > 0;

(iii) existe (xn ) ⊂ E tal que xn → x, com x ∈ E.

Demonstração. (i) ⇒ (ii) Suponha, por contradição, que existe r > 0 tal que Br (x) ∩ E = ∅,
Br (x) ⊂ E c , logo, x ∈ intE c . Como (intE c )c é fechado e E ⊂ (intE c )c e x 6∈ (intE c )c , temos
que
x 6∈ E.

Contradizendo o item (i). Daí, segue que

Br (x) ∩ E 6= ∅, ∀r > 0.

(ii) ⇒ (iii) Se Br (x) ∩ E 6= ∅, ∀r > 0, então, x ∈ E ou x ∈ E − E.

Se x ∈ E, podemos tomar a sequencia constante xn = x para todo n. Se, x ∈ E − E,
tomemos, para cada n,
xn ∈ B 1 (x) ∩ E 6= ∅.
n
 18

Em ambos os casos, (xn ) ⊂ E converge para x.

(iii) ⇒ (i) Suponha que existe uma sequência (xn ) de elementos de E, tal que

xn −→ x e x 6∈ E,

c
então por (ii), existe r > 0 tal que Br (x) ⊂ E e, portanto, existe n0 ∈ N, tal que ∀n > n0
c
temos xn ∈ E , o que é um absurdo, pois (xn ) ∈ E. Donde concluímos que x ∈ E.

Definição 1.8. Sejam (X1 , ρ1 ), (X2 , ρ2 ) espaços métricos. Uma função f : X1 −→ X2 é dita
contínua em um ponto x de X1 se, dado ε > 0, existe δ > 0 tal que

y ∈ X1 , ρ1 (y, x) < δ =⇒ ρ2 (f (y), f (x)) < ε.

Se f é contínua em todo ponto de X1 dizemos, apenas, que f é contínua.

Observação 1.1. Dizer que f é contínua em x ∈ X1 , de acordo  coma definição acima, é

−1
dizer que: para todo ε > 0, existe δ > 0 tal que Bδ (x) ⊂ f Bε (f (x)) . Daí, enunciamos o
seguinte resultado.

Proposição 1.3. Sejam (X1 , ρ1 ), (X2 , ρ2 ) espaços métricos. Uma função f : X1 −→ X2 é con-
tínua se, e somente se, a imagem inversa f −1 (U ) de qualquer conjunto aberto U ⊂ (X2 , ρ2 ) é
um conjunto aberto em (X1 , ρ1 ).

Demonstração. (⇒) Seja f contínua e U um aberto de X2 . Se y ∈ f −1 (U ) e ε > 0 tal que

Bε (f (y)) ⊂ U , então, existe δ > 0 tal que
 
Bδ (y) ⊂ f −1 Bε (f (y)) ⊂ f −1 (U ),

logo, y é interior a f −1 (U ). Donde segue que, f −1 (U ) é aberto.

(⇐) Por outro lado, suponha f −1 (U ) aberto em (X1 , ρ1 ) sempre que U é aberto em (X2 , ρ2 ).
Se x ∈ X1 , então f (x) ∈ X2 e, portanto, dado ε > 0 temos que

Bε (f (x)) ⊂ X2
 
−1
e, consequentemente, f Bε (f (x)) é um aberto em X1 que contém x.
 
Segue que, existe δ > 0 tal que Bδ (x) ⊂ f −1 Bε (f (x)) e f é contínua em x. Como x é
arbitrário, segue que f é contínua.
 19

1.1.1 Espaços Métricos Completos

Definição 1.9. Seja (X, ρ) um espaço métrico. Uma sequência (xn ) ⊂ X é dita de Cauchy em
X quando, dado ε > 0 existe n0 ∈ N tal que

m, n > n0 =⇒ ρ(xm , xn ) < ε.

Definição 1.10. Um conjunto E ⊂ (X, ρ) é dito completo se toda sequência de Cauchy em E

converge para um elemento de E.

Proposição 1.4. Toda sequência convergente é de Cauchy.

Demonstração. Seja (xn ) uma sequência, se lim xn = a no espaço métrico M então, dado ε > 0,
existe n0 ∈ N tal que
ε
n > n0 ⇒ ρ(xn , a) < .
2
Daí, se tomarmos m, n > n0 teremos

ε ε
ρ(xm , xn ) ≤ ρ(xm , a) + ρ(xn , a) < + = ε.
2 2

Logo, (xn ) é de Cauchy.

Exemplo 1.6. O espaço métrico (X, ρ), onde X é um conjunto não vazio e ρ é a métrica
discreta em X é um espaço métrico completo.
De fato, seja (xn ) ⊂ X uma sequência de Cauchy. Tome ε < 1, logo

ρ(xn , xm ) < ε acarreta ρ(xn , xm ) = 0,

ou ainda,
xn = xm , para todo n, m ∈ N.

Logo,
xn = x0 para algum x0 ∈ X e para todo n ∈ N.

Portanto, (xn ) converge para x0 ∈ X. Donde, segue que, (X, ρ) é completo.

Exemplo 1.7. O espaço (R, d), onde d(x, y) = |x − y| para x, y ∈ R é completo.

(Ver Apêndice (C)).

Exemplo 1.8. Seja M = M1 × · · · × Mn , onde Mi é um espaço métrico completo, 1 ≤ i ≤ n.

Dada uma sequência (xk )k∈N em M , denotaremos o seu k-ésimo termo por

xk = (xk1 , xk2 , . . . , xkn ).

 20

Assim, (xk ) determina n sequências (xki )k∈N ⊂ Mi . Segue-se imediatamente da Definição

1.10 e das desigualdades em (1.1) que uma sequência

xk = (xk1 , . . . , xkn )

em M converge para a = (a1 , . . . , an ) ∈ M , numa, dentre as três métricas do Exemplo 1.4 se,
e somente se, converge nas duas outras. Em particular,

xk = (xk1 , . . . , xkn ) −→ a = (a1 , . . . , an ) ∈ M

(qualquer que seja, dentre as três já referidas, a métrica considerada em M ) se, e somente,
xki −→ ai , i = 1, . . . , n (segundo di ).

Exemplo 1.9. O Rn , munido de qualquer das métricas definidas no Exemplo 1.4, é um espaço
métrico completo.
Segue diretamente do exemplo 1.8 e do fato de R ser completo pelo exemplo 1.7.
 
Exemplo 1.10. O espaço das funções contínuas de [a, b] em R, C [a, b]; R , munido da mé-
trica da convergênciauniforme, é completo.
Seja (fn ) ⊂ C [a, b]; R uma sequência de Cauchy. Assim, dado ε > 0, existe um
n0 ∈ N tal que, para m, n > n0 , tem-se

d(fm (x), fn (x)) = sup |fm (x) − fn (x)| < ε. (1.2)

x∈[a,b]

Daí, para qualquer x0 ∈ [a, b] fixado, vale

|fm (x0 ) − fn (x0 )| < ε, ∀m, n > n0 .

Isso mostra que, (fn (x0 )) é uma sequência de Cauchy em R e desde que R é completo (Exem-
plo 1.7), (fn (x0 )) converge, ou seja, existe y = f (x0 ) ∈ R tal que fn (x0 ) → y quando n → ∞.
Desta forma, defina

f : [a, b] −→ R
x 7−→ f (x) = lim fn (x).
n→∞

Observe que f está bem definida graças a unicidade do limite que a define .
Agora, basta mostrar que
fn −→ f

e
f ∈ C ([a, b], R) ,
 21

respectivamente.
De 1.2 fazendo m → ∞, temos

sup |fn (x) − f (x)| ≤ ε, ∀n > n0 .

x∈[a,b]

Donde,
||fn − f || < ε ∀n ≥ n0 .

Segue que, (fn (x)) converge uniformente para f (x).

3
Como cada fn é contínua em [a, b] e a convergência
  é uniforme segue,
 pelo
 teorema (D.1)
que f é contínua em [a, b], ou seja, f ∈ C [a, b]; R . E portanto, C [a, b]; R é completo.

Proposição 1.5. Sejam (X, ρ) um espaço métrico e M ⊂ (X, ρ) um subespaço. Assim,

(i) Se (X, ρ) é completo e M é fechado, então M é completo;
(ii) Se M é completo, então M é fechado.

Demonstração. (i) Seja (xn ) ⊂ M uma sequência de Cauchy. Desde que (X, ρ) é completo,
(xn ) converge para algum elemento x ∈ X. Mas, M é fechado e, portanto, x ∈ M . Donde M
é completo.
(ii) Seja x ∈ M , logo, pela Proposição 1.2, existe (xn ) ⊂ M que converge para x. Como,
pela Proposição 1.4 toda sequência convergente é de Cauchy, temos x ∈ M e, portanto, M é
fechado.

1.2 Contrações
Definição 1.11. Seja (X, ρ) um espaço métrico completo. Uma aplicação T : X → X é
chamada uma contração em X, se existe 0 < k < 1 tal que

ρ(T x, T y) ≤ kρ(x, y)

para todo x, y ∈ X.

Definição 1.12. (Ponto Fixo) O ponto fixo de uma aplicação T : X → X é um elemento x ∈ X

tal que
T (x) = x.

Teorema 1.1. (Princípio de Contração de Banach) Se X é um espaço métrico completo e T é uma

contração em X, então T tem um único ponto fixo.
3
Ver Apêndice D
 22

Demonstração. Vamos construir uma sequência (xn ) ⊂ X e mostrar que ela é de Cauchy, de
modo que convirja em X. Depois, provaremos que o limite de (xn ) é ponto fixo de T e T não
possui outros pontos fixos.
Tome x0 ∈ X arbitrário e defina uma sequência iterativa (xn ) da seguinte
forma:

x 0 = x0
x1 = T (x0 )
x2 = T (x1 ) = T 2 (x0 )
..
.
xn = T (xn−1 ) = T n (x0 ).
..
.

Observe que

ρ(xn+1 , xn ) = ρ(T (xn ), T (xn−1 ))

≤ kρ(xn , xn−1 )
≤ kρ(T (xn−1 ), T (xn−2 ))
≤ k 2 ρ(xn−1 , xn−2 )
..
.
≤ k n ρ(x1 , x0 ).

Assim, usando a desigualdade triangular, a soma de uma progressão geométrica e a relação

acima, obtemos, para n > m

ρ(xm , xn ) ≤ ρ(xm , xm+1 ) + ρ(xm+1 , xm+2 ) + . . . + ρ(xn−1 , xn )

≤ k m ρ(x1 , x0 ) + k m+1 ρ(x1 , x0 ) + . . . + k n−1 ρ(x1 , x0 )
= (k m + k m+1 + . . . + k n−1 )ρ(x1 , x0 )
= k m (1 + k + . . . + k n−1−m )ρ(x1 , x0 )
1
≤ km ρ(x1 , x0 ). (1.3)
1−k

Agora, como 0 < k < 1, dado ε > 0 existe n0 ∈ N tal que, se m > n0 temos

km
ρ(x1 , x0 ) < ε. (1.4)
1−k
 23

Portanto, se n > m > n0 , então de (1.3) e (1.4), segue que

ρ(xm , xn ) < ε,

ou seja, (xn ) é uma sequência de Cauchy. E, como X é completo, concluímos que (xn ) con-
verge, isto é, xn → x, com x ∈ X.
Agora mostraremos que x é um ponto fixo da aplicação T .
Da desigualdade triangular e da definição de contração temos:

0 ≤ ρ(x, T x) ≤ ρ(x, xm ) + ρ(xm , T x)

≤ ρ(x, xm ) + ρ(T (xm−1 ), T x)
≤ ρ(x, xm ) + kρ(xm−1 , x). (1.5)

Como xm → x, fazendo m → ∞ temos ρ(x, xm ) + kρ(xm−1 , x) → 0 e, portanto, de (1.5),

obtemos
ρ(x, T x) = 0,

isto é, T x = x, portanto x é ponto fixo de T .

Suponha agora, que x0 também é ponto fixo de T , isto é, T (x0 ) = x0 . Desde que
T é uma contração, temos

ρ(x, x0 ) = ρ(T x, T x0 ) ≤ kρ(x, x0 )

daí,
ρ(x, x0 ) − kρ(x, x0 ) ≤ 0

o que implica em,

(1 − k)ρ(x, x0 ) ≤ 0

mas (1 − k) > 0 pois 0 < k < 1, logo

0 ≤ ρ(x, x0 ) ≤ 0

ou ainda,
ρ(x, x0 ) = 0

e, portanto x = x0 , donde concluímos que o ponto fixo de T é único.

 24

1.3 Conjuntos Totalmente Limitados

Definição 1.13. Sejam (X, ρ) um espaço métrico, x ∈ X e E ⊂ X, um subconjunto não vazio.
Definimos a distância de x ao conjunto E, como sendo

ρ(x, E) = inf ρ(x, y).

y∈E

Observação 1.1. Note que, tal ínfimo existe, pois, todo conjunto não-vazio e limitado inferi-
ormente possui ínfimo.

Definição 1.14. Sejam E, F ⊂ X subconjuntos não vazios de um espaço métrico (X, ρ). A
distância de E a F , denotada por ρ(E, F ) é o número

ρ(E, F ) = inf{ρ(y, z) ; y ∈ E e z ∈ F }.

Definição 1.15. O diâmetro de um subconjunto E ⊂ (X, ρ), onde (X, ρ) é um espaço métrico,
é dado por
diam(E) = sup{ρ(x, y) ; x, y ∈ E}.

Um subconjunto F de um espaço métrico (X, ρ) é dito limitado quando diam(F ) < ∞.

Se E é um subconjunto de X e {Vα }α∈Λ 4 é uma família de conjuntos, tal que, E ⊂
∪α∈Λ Vα dizemos que {Vα }α∈Λ é uma cobertura de E.

Definição 1.16. Se (X, ρ) é um espaço métrico, dizemos que E ⊂ X é totalmente limitado se,
para cada ε > 0, E pode ser coberto por um número finito de bolas de raio ε, isto é, existem
a1 , a2 , . . . , an ∈ E tais que E ⊂ ∪ni=1 Bε (ai ).

Lema 1.1. (Propriedade de Bolzano-Weirstrass) Seja E um subconjunto de um espaço métrico

(X, ρ). E é completo e totalmente limitado se, e somente se, toda sequência em E tem uma
subsequência que converge para um ponto de E.

Demonstração. (⇒) Suponha que E é completo e totalmente limitado. Seja (xn ) uma sequên-
cia em E. Pela Definição 1.16, E pode ser coberto por um número finito de bolas de raio
ε = 21 assim, para n > n0 , n0 ∈ N ao menos uma dessas bolas contém xn . Sendo assim,
tome xn ∈ B1 ⊂ ∪nj=1 B (aj ) para n ∈ N1 . Logo, pela definição 1.16 E ∩ B1 pode ser coberto
por um número finito de bolas de raio 212 e, portanto, uma dessas bolas deve conter xn para
n > n1 ∈ N. Considere então, xn ∈ B2 para n ∈ N2 . Assim, por meio de um processo indu-
tivo, obtemos uma sequência de bolas Bj de raio 21j e uma sequência N ⊃ N1 ⊃ N2 ⊃ . . . ⊃ Nj
decrescente de subconjuntos infinitos Nj de N tais que xn ∈ Bj para n ∈ Nj . Agora, esco-
lha n1 ∈ N1 , n2 ∈ N2 , . . . de tal forma que n1 < n2 < . . . < nj . Então, xnj ∈ B 1j (aj ) e
2

4
Em todo o texto Λ denota um conjunto arbitrário de índices.
 25

ρ(xnk , xnj ) < 21j + 21j = 22j se k > j. Logo, (xnj ) é uma sequência de Cauchy em E, a qual é
uma subsequência de (xn ) e, portanto, converge para um elemento de E, pois, E é completo.
(⇐) Suponha que E não é completo e que toda sequência em E possui uma sub-
sequência que converge para um elemento de E. Logo, existe (xn ), uma sequência de Cau-
chy em E, que não converge para um elemento de E. Desta forma, nenhuma subsequência
(xnj ) ⊂ (xn ) converge em E, pois do contrário (xn ) convergiria para o mesmo limite. Con-
tradizendo a hipótese de toda sequência em E possuir uma subsequência convergente em
E. Logo, E é completo.
Suponha agora que E não é totalmente limitado e toda sequência em E possui uma
subsequência que converge para um elemento de E. Assim, existe ε > 0, e existe um con-
junto finito F = {a1 , a2 , . . . , ak } tal que E 6⊂ ∪kj=1 Bε (aj ).Escolha x1 , x2 , . . . , xk ∈ E tal que
xk+1 ∈ E − ∪kj=1 Bε (aj ). Então, ρ(xn , xm ) ≥ ε para todo m, n e, portanto, (xn ) não pode ter
subsequência convergente.

Lema 1.2. Seja E um subconjunto de um espaço métrico (X, ρ). As seguintes afirmações são
equivalentes:
(i)(Propriedade de Bolzano-Weirstrass) Toda sequência em E possui uma subsequência
que converge para um ponto de E.
(ii)(Propriedade de Heine - Borel) Para cada cobertura, {Vα }α∈Λ , de E por abertos de
(X, ρ), existe um conjunto finito I ⊂ Λ tal que {Vα }α∈I cobre E.

Demonstração. (⇒) Suponha, por contradição, que para todo n ∈ N existe uma bola Bn de
raio 21n tal que Bn ∩ E 6= ∅ e Bn 6⊂ Vα para algum α ∈ Λ. Tome xn ∈ Bn ∩ E. Então, por (i),
existe uma subsequência (xnj ) de (xn ) que converge para algum x em E. Por simplicidade
de notação, continuaremos denotando a subsequência por (xn ).
Note que se x ∈ E, então x ∈ Vα para algum α ∈ Λ e, como Vα é aberto, existe ε > 0 tal
que Bε (x) ⊂ Vα . Assim, fazendo n suficientemente grande, tal que ρ(xn , x) < 21n < 3ε , temos
então,
Bn (x) ⊂ Bε (x) ⊂ Vα ,

contradizendo a hipótese de Bn (x) 6⊂ Vα .

(⇐) Suponha que existe (xn ) ⊂ E que não possui subsequência convergente. Assim,
para cada x ∈ E, existe uma bola B(x) centrada em x que contém xn para alguma quantidade
finita de índices n. Então
∪B(x) = {Bx }x∈E

é uma cobertura de E por abertos sem cobertura finita. Contradição!. Logo, toda sequência
(xn ) ⊂ E possui subsequência convergente.
 26

Definição 1.17. Seja X um subconjunto de um espaço métrico M. Uma cobertura de X é

uma família C = (Cλ )λ∈L de subconjuntos de M tal que
[
X⊂ Cλ .
λ∈L

A cobertura C é dita aberta quando cada conjunto Cλ , λ ∈ L, é aberto em M.

A cobertura C diz-se finita quando L é um conjunto finito, ou seja, C tem um conjunto
finito de elementos.
Se existe um subconjunto L0 ⊂ L tal que
[
X⊂ Cλ
λ∈L0

e C0 ⊂ C, onde C0 = (Cλ )λ∈L0 , então a subfamília C0 é relativamente a C uma subcobertura de

X.

Definição 1.18. Um subconjunto X ⊂ M de um espaço métrico M é dito compacto quando

toda cobertura aberta de X possui uma subcobertura finita.

Definição 1.19. Um subconjunto X ⊂ M diz-se relativamente compacto quando seu fecho X é

compacto.
2 O Teorema de Arzelá-Ascoli

Seja M um espaço métrico. Que condições deve um subconjunto X ⊂ M satisfazer

para possuir fecho compacto? Quando M = Rn , a fim de X ⊂ M ser compacto é necessário
e suficiente que X seja limitado. Isso decorre imediatamente da caracterização dos espaços
métricos compactos que demos anteriormente. Com efeito, um subconjunto de Rn é fechado
e limitado se, e somente se, é completo e totalmente limitado, o que ocorre se, e somente se,
ele é compacto. Ora, X ⊂ Rn limitado equivale a X ⊂ Rn limitado.

No entanto, não é verdade, em geral, que X ⊂ M limitado, implica X ⊂ M compacto.

Neste contexto, dispomos do seguinte resultado, devido ao matemático húngaro F. Riesz, o
qual relaciona a compacidade da bola unitária fechada de um espaço vetorial normado (uma
propriedade topológica) e a dimensão desse espaço (um invariante algébrico):

Teorema 2.1 ( Riesz). Seja V um espaço vetorial normado. A bola unitária B[0; 1] é compacta se, e
somente se, dim V < ∞. (ver [5]).

Assim, por exemplo, a bola unitária fechada B[0; 1] de V = C([0, 1]; R), formada pelas fun-
ções contínuas f : [0; 1] → R tais que |f (x)| ≤ 1 para todo x ∈ [0, 1], embora limitada e
fechada, não é compacta, pois dim V = ∞.
O Teorema de Arzelá-Ascoli, nosso principal resultado, a ser estabelecido neste capí-
tulo, assevera que a equicontinuidade é a condição adicional que um subconjunto limitado de
C(K; Rn ), com K compacto, precisa cumprir para ter fecho compacto.

2.1 Equicontinuidade
No que se segue,

F(M ; N ) := {f : M −→ N ; f contínua}.

Comecemos com a seguinte

 28

Definição 2.1 (E QUICONTINUIDADE ). Um conjunto E ⊂ F(M ; N ) é dito equicontínuo no

ponto a ∈ M quando, para todo  > 0, existe δ > 0 tal que ρ(x, a) < δ em M implique
ρ(f (x), f (a)) < ε, seja qual for f ∈ E. E diz-se equicontínuo quando é equicontínuo em todos
os pontos de M . Uma sequência de aplicações (fn )n∈N ⊂ F(M ; N ) diz-se equicontínua no
ponto a ∈ M (respectivamente, equicontínua) quando o conjunto {f1 , f2 , . . . , fn , . . .} o for.
Observação 2.1. Evidentemente, se E é equicontínuo no ponto a, então toda função f ∈ E é
contínua em a.
Observação 2.2. Se uma sequência equicontínua (fn ) ⊂ F(M ; N ) converge pontualmente
para f : M → N , então o conjunto {f, f1 , f2 , . . . , fn , . . .} é equicontínuo.
De fato, dados a ∈ M e ε > 0, existe δ > 0 tal que

ε
ρ(x, a) < δ ⇒ ρ(fn (x), fn (a)) < ∀ n.
2

Fazendo n → ∞, obtemos
ε
ρ(f (x), f (a)) ≤ < ε.
2
Em particular, f é contínua.
Lema 2.1. Se uma sequência equicontínua (fn ) converge pontualmente para f , então a con-
vergência é uniforme em cada parte compacta K ⊂ M .

Demonstração. Seja K ⊂ M compacto e seja ε > 0. Como fn −→ f pontualmente, para cada

x ∈ K, existe nx ∈ N tal que

ε
n ≥ nx ⇒ ρ(fn (x), f (x)) < .
3

Pela Observação 2.2, {f, f1 , f2 , . . . , fn , . . .} é equicontínuo. Logo, para cada x ∈ K, existe

uma bola aberta Bx , contendo x, tal que

ε ε
y ∈ Bx ⇒ ρ(fn (y), fn (x)) < e ρ(f (y), f (x)) < .
3 3
S
Da cobertura aberta K ⊂ x∈K Bx , extraímos uma subcobertura finita

K ⊂ Bx1 ∪ . . . ∪ Bxp .

Seja n0 := max{nx1 , . . . , nxp }. Se n > n0 e x ∈ K, existe i ∈ {1, . . . , p} tal que x ∈ Bxi . Logo,

ε
ρ(fn (x), fn (xi )) < .
3

Assim,

ρ(fn (x), f (x)) ≤ ρ(fn (x), fn (xi )) + ρ(fn (xi ), f (xi )) + ρ(f (xi ), f (x)) < ε.
 29

Proposição 2.1. Seja (fn ) equicontínua. Suponhamos que, para cada x ∈ M , o conjunto
{fn (x) : n ∈ N} tenha fecho completo em N . Se (fn ) converge pontualmente num subonjunto
denso D ⊂ M , então (fn ) converge uniformemente em cada parte compacta de M .

Demonstração. Basta notar que (fn ) converge pontualmente em todo o M . Com efeito, to-
mando arbitrariamente x ∈ M , dado ε > 0, existe uma bola aberta B, contendo x, tal que

ε
y ∈ B ⇒ ρ(fn (y), fn (x)) < para todo n.
3

Escolhamos e fixemos y ∈ B ∩ D. Como existe limn fn (y), existe n0 ∈ N tal que

ε
m, n > n0 ⇒ ρ(fm (y), fn (y)) < .
3

Assim, se m, n > n0 , então

ρ(fm (x), fn (x)) ≤ ρ(fm (x), fm (y)) + ρ(fm (y), fn (y)) + ρ(fn (y), fn (x)) < ε.

Sendo, pois, (fn (x)) de Cauchy existe, por hipótese, limn fn (x). O resultado segue-se do
Lema anterior.

2.2 Resultado principal

Antes de enunciarmos e provarmos o resultado principal, fixemos a terminologia.

Definição 2.1. Sejam M, N espaços métricos. Uma aplicação f : M −→ N diz-se unifor-

memente contínua quando, para todo ε > 0 dado, existir δ > 0 tal que, para quaisquer

x, y ∈ M, ρ(x, y) < δ ⇒ ρ(f (x), f (y)) < ε.

Proposição 2.2. Se o espaço métrico M é compacto, então toda aplicação contínua

f : M −→ N

é uniformemente contínua.

Demonstração. Suponha que f não é contínua logo, existe ε > 0 e para cada n ∈ N, pontos
xn , yn ∈ M tais que
1
ρ(xn , yn ) < (2.1)
n
e
ρ(f (xn ), f (yn )) ≥ ε. (2.2)
 30

Passando a uma subsequência se preciso for, supomos, pela compacidade de M, que existe
lim xn = a ∈ M . Então, por (2.1), lim yn = a também. Segue, da continuidade de f e da
distância, que
lim ρ(f (xn ), f (yn )) = ρ(f (a), f (a)) = 0,
n→∞

o que é uma contradição, pois, ρ(f (xn ), f (yn )) ≥ ε para todo n.

No Teorema que veremos em seguida, o espaço métrico N será considerado

como N = R.
Seja (X, ρ) um espaço métrico compacto. Definimos,

C(X, R) := {f : X −→ R ; f contínua}

o espaço métrico das funções contínuas com a métrica uniforme, donde segue análogo do
Exemplo (1.10), que C(X, R) é completo.

Definição 2.2. Uma família F de funções é dita uniformemente limitada se existe K > 0 tal que

|f (x)| ≤ K, ∀ x ∈ X.

Podemos, finalmente, enunciar e demonstrar o seguinte

Teorema 2.2. (Arzelá-Ascoli). Se (X, ρ) é um espaço métrico compacto, um subconjunto F de

C(X, R) é relativamente compacto se, e somente se, é uniformemente limitado e equicontínuo.

Demonstração. (⇒) Suponha que F é relativamente compacto, isto implica que o fecho F é
compacto e, por sua vez, é totalmente limitado. Como, F ⊂ F temos que F é totalmente
limitado, logo, dado ε > 0 existem f1 , f2 , . . . , fn ∈ C(X, R) tais que
n
[
F⊂ B 3ε (fi ).
i=1

Seja f ∈ F, arbitrário. Assim, f ∈ B 3ε (fi0 ) para algum i0 ∈ {1, 2, . . . , n}, assim, para x ∈ X

|f (x)| = |f (x) − fi0 (x) + fi0 (x)| ≤ |f (x) − fi0 (x)| + |fi0 (x)|
ε ε
≤ + Mi0 ≤ + max Mi
3 3 1≤i≤n
ε
≤ +M =M f,
3

onde Mi = max |fi (x)| e M = max Mi .

x∈X 1≤i≤n
Portanto |f (x)| ≤ M
f, para todo x ∈ X e para todo f ∈ F e, consequentemente, F é unifor-
memente limitado.
 31

Vamos agora mostrar, que F é equicontínua. Sejam f ∈ F e, x, x0 ∈ X arbitrários. Note

que
|f (x) − f (x0 )| ≤ |f (x) − fi (x)| + |fi (x) − fi (x0 )| + |fi (x0 ) − f (x0 )|

para cada i = 1, 2, . . . , n. Escolha j ∈ {1, 2 . . . , n} tal que f ∈ B 3ε (fj ), ou seja,

ε
sup |f (x) − fj (x)| <
x∈X 3

Logo,

|f (x) − f (x0 )| ≤ |f (x) − fj (x)| + |fj (x) − fj (x0 )| + |fj (x0 ) − f (x0 )|
2ε
≤ + |fj (x) − fj (x0 )|.
3

Como X é compacto, temos que f1 , f2 , . . . , fn são uniformemente contínuas, em particular,

dado ε > 0 existe δ > 0 tal que

ε
ρ(x, x0 ) < δ =⇒ |fj (x) − fj (x0 )| < .
3

Donde segue que,

ρ(x, x0 ) < δ =⇒ |f (x) − f (x0 )| < ε.

Como f ∈ F é qualquer, segue que F é equicontínuo.

(⇐) Reciprocamente, suponha que F é uniformemente limitado e equicontínuo, e
assim, queremos mostrar que o fecho F de F é compacto, ou seja, que F é completo e total-
mente limitado. Agora, recorde que o F é fechado e está contido no espaço completo das
funções contínuas C(X, R), logo F é completo, portanto resta-nos provar que F é totalmente
limitado.
Observe que se F é totalmente limitado então F é totalmente limitado. Logo, dado
ε > 0 devemos mostrar que existe {f1 , . . . , fn } ⊂ F tal que
[
F⊂ Bε (fi ).
1≤i≤n

Por hipótese, temos o seguinte:

1. (Limitação uniforme) existe M ≥ 0 ; |f (x)| ≤ M, ∀x ∈ X, ∀f ∈ F;

2. (Equicontinuidade) existe δ > 0 ; ρ(x, y) < δ =⇒ |f (x)−f (y)| < 4ε , ∀x, y ∈ X ∀f ∈ F;

3. (Compacidade de X) existe x1 , x2 , . . . , xn ∈ X; X ⊂ ∪ni=1 Bδ (xi ).

 32

Agora, escolha um inteiro positivo m e divida o intervalo [−M, M ] em k = 2M m intervalos

de comprimento m1 de tal modo que m1 < 4ε . Sejam y1 , y2 , . . . , yk os respectivos centros de
cada um dos subintervalos de [−M, M ].

Escreva E = {x1 , x2 , . . . , xn } ⊂ X, F = {y1 , y2 , . . . , yk } ⊂ R e seja

L = {α : E → F ; α é uma função}

uma família, claramente finita, constituída por todas as possíveis funções α : E → F .

Para cada α ∈ L considere uma família Fα ⊂ F, tal que

ε
Fα := {f ∈ F ; |f (xi ) − α(xi )| < , 1 ≤ i ≤ n} (2.3)
4

onde α(xi ) é igual a algum yj , 1 ≤ j ≤ k, e f (xi ) pertence a algum subintervalo de [−M, M ].

Considere a família {Fα }α∈L então, podemos observar que
[
F⊂ Fα . (2.4)
α∈L

Além disso,temos (2.3)

[ [
Fα ⊂ Bε (f ). (2.5)
α∈L f ∈Fα

De fato, dados f, g ∈ Fα e x ∈ X tem-se que, x ∈ Bδ (xi ) para algum i ∈ {1, 2, . . . , n},

então
P or2. 2.3 2.3 P or2.
z }| { z }| { z }| { z }| {
|f (x) − g(x)| ≤ |f (x) − f (xi )| + |f (xi ) − α(xi )| + |α(xi ) − g(xi )| + |g(xi ) − g(x)|
ε ε ε ε
< + + + =ε
4 4 4 4

logo,
sup |f (x) − g(x)| ≤ ε
x∈X

o que implica,
diam Fα ≤ ε

donde segue que

Fα ⊂ Bε (f ).
 33

Portanto, de (2.4) e (2.5), segue que

[
F⊂ Bε (f ).
f ∈Fα

Corolário 2.3. Seja (fn )n∈N uma sequência de aplicações contínuos fn : [a, b] −→ R e supo-
nha que existem constantes M, K > 0 tais que, para cada n ∈ N e quaisquer s, t ∈ [a, b],

|fn (s) − fn (t)| ≤ K|s − t| e |fn (t)| ≤ M, ∀ n. (2.6)

Então existe uma subsequência de (fn ) que é uniformemente convergente para uma
certa aplicação contínua f : [a, b] −→ R.

Demonstração. Observe que as desigualdades em (2.7) nos dão a informação de que, a

sequência de funções formam uma família equicontínua e uniformemente limitada. Logo, o
resultado é imediato do Teorema de Arzelá-Ascoli.

Corolário 2.4. Seja (fn )n∈N uma sequência de aplicações contínuas fn : [a, b] −→ Rm e supo-
nha que existem constantes M, K > 0 tais que, para cada n ∈ N e quaisquer s, t ∈ [a, b],

|fn (s) − fn (t)| ≤ K|s − t| e |fn (t)| ≤ M, ∀ n. (2.7)

Então existe uma subsequência de (fn ) que é uniformemente convergente para uma
certa aplicação contínua f : [a, b] −→ Rm .1

Demonstração. A demonstração segue imediata do (2.3), onde aplicamos o resultado nas

sequências componentes.

1
Ver [2]
3 Aplicações

Finalmente, apresentaremos uma das aplicações do Teorema de Arzelá-Ascoli.

Tal aplicação, o Teorema de Peano, é um importante resultado da teoria das Equações Di-
ferenciais Ordinárias, o qual, sob hipóteses mais fracas do que às enunciadas no Teorema
de Picard, garante a existência de soluções para Problemas de Valor Inicial (ou Problema de
Cauchy) sem preocupar-se com a unicidade.
Considere o problema de valor inicial

x0 = f (t, x), x(t0 ) = x0 (3.1)

de uma equação diferencial ordinária em Rn definida pela aplicação f : U −→ Rn contínua

num aberto U ⊆ R × Rn .
Uma solução da equação x0 = f (t, x) em U é uma função ϕ : I −→ Rn derivável no intervalo
I ⊂ R, cujo gráfico está totalmente contido em U , isto é,

(t, ϕ(t)) ∈ U e ϕ0 (t) = (t, ϕ(t)), ∀ t ∈ I.

As soluções de x0 = f (t, x) também são denominadas de curvas integrais da equação.

Fixado um ponto (t0 , x0 ) ∈ U , dizemos que uma solução ϕ satisfaz a condição inicial

ϕ(t0 ) = x0 , se t0 ∈ I

e
ϕ(t0 ) = x0 ,

neste caso dizemos que ϕ é uma solução do problema de valor inicial (3.1).
Observe que se ϕ : I → Rn é uma solução do problema (3.1) em I, então
0
integrando x = f (t, x) em I obtemos
Z t
ϕ(t) = x0 + f (s, ϕ(s))ds, para t ∈ I. (3.2)
t0
 35

Reciprocamente, se ϕ : I → Rn é uma função contínua que satisfaz (3.2), então usando o

Teorema Fundamental do Cálculo concluímos que ϕ é uma solução de (3.1) em I.
Podemos garantir a existência de soluções do problema de valor inicial (3.1)
supondo apenas a continuidade de f (t, x). Para isto iremos considerar f : U −→ Rn uma
aplicação contínua no aberto U ⊆ Rn+1 e (t0 , x0 ) ∈ U um ponto qualquer fixado. Escolhemos
constantes a > 0, b > 0 tais que
Ra,b = Ia × Bb ⊆ U,

onde Iα = [t0 −a, t0 +a] ⊆ R e Bb = {x ∈ Rn ; |x − x0 | ≤ b} e finalmente fixamos as constantes

M := max{|f (t, x)|; (t, x) ∈ Ra,b }

e  
b
α = min a, .
M
Lema 3.1. Dado qualquer 0 < ε ≤ δ existe uma aplicação contínua ϕε : [t0 − δ, t0 + α] −→ Rn
tal que, para quaisquer t, u ∈ [t0 − δ, t0 + α], valem

|ϕε (t) − ϕε (u)| ≤ M |t − u| e |ϕε (t) − x0 | ≤ b (3.3)

e, para qualquer t0 ≤ t ≤ t0 + α, vale

Z t
ϕε (t) = x0 + f (s, ϕε (s − ε))ds. (3.4)
t0

Demonstração. Definimos
(
x0 t ∈ [t0 − δ, t0 ],
ϕε (t) = Rt
x0 + t0 f (s, x0 )ds t ∈ [t0 , t0 + α1 ],
onde α1 = min{α, }. Observe que para qualquer t ∈ [t0 , t0 + α1 ] vale
Z t Z t
f (s, x0 )ds = f (s, ϕε (s − ε))ds,
t0 t0

pois t0 ≤ s ≤ t ≤ t0 + α1 , então t0 − δ ≤ t0 −  ≤ s −  ≤ t0 . Portanto, (3.4) ocorre em

[t0 , t0 + α1 ].
As desigualdades em (3.3) são imediatas para t, u ∈ [t0 − δ, t0 ]. Para

u, t ∈ [t0 , t0 + α1 ],

temos Z t
|ϕε (t) − ϕε (u)| ≤ f (s, x0 )ds ≤ M |t − t0 |
u
 36

e Z t
|ϕε (t) − x0 | ≤ f (s, x0 )ds ≤ M |t − u| ≤ M α1 ≤ M α ≤ b.
t0

Observe que se u ≤ t0 ≤ t, temos

|ϕε (t) − ϕε (u)| ≤ |ϕε (t) − x0 | ≤ M |t − t0 | ≤ b.

De modo que as desigualdades (3.3), ocorrem para quaisquer t, u ∈ [t0 − δ, t0 + α1 ].

Se α1 = α, o lema está provado; se α1 < α, tomamos α2 = min{α, 2} e defini-
mos Z t
ϕε (t) = x0 + f (s, x0 )ds t ∈ [t0 + α1 , t0 + α2 ],
t0

Assim, estendemos ϕε a uma aplicação contínua satisfazendo (3.3) para t, u ∈ [t0 − δ, t0 + α2 ].

Se α2 < α, tomamos α3 = min{α, 3} e continuamos a estender ϕε até obter,
em no máximo n < α + 1 passos, uma apliacação contínua ϕε : [t0 − δ, t0 + α] −→ Rn tal que,
para quaisquer t, u ∈ [t0 − δ, t0 + α], valem (3.3) e para qualquer t0 ≤ t ≤ t0 + α, vale (3.4).

Lema 3.2. Seja (ϕn ) uma sequência de C ([a − 1, b], Rm ) que converge uniformemente para
ϕ em [a − 1, b] e defina ϕ̃n (s) = ϕn (s − n1 ) para a ≤ s ≤ b. Mostre que (ϕ̃n ) converge
uniformemente para a restrição de ϕ a [a, b].

Demonstração. Por hipótese, ϕn −→ ϕ uniformemente em C ([a − 1, b], Rm ) , o que implica

que dado  > 0, existe n0 ∈ N

ε
kϕn (s) − ϕ(s)k < , ∀ n ≥ n0 , ∀s ∈ [a − 1, b]. (3.5)
2

Como cada ϕn ∈ C ([a − 1, b], Rm ) é contínua e está definida em um compacto segue que, ϕn
é uniformemente contínua, ou seja, existe δ > 0

kϕn (s) − ϕn (t)k < ε, sempre que |s − t| < δ, ∀ s, t ∈ [a − 1, b]. (3.6)

Daí, para s ∈ [a, b]

kϕ̃n (s) − ϕ(s)k = kϕ̃n (s) − ϕn (s) + ϕn (s) − ϕ(s)k

≤ kϕ̃n (s) − ϕn (s)k + kϕn (s) − ϕ(s)k
ε
≤ kϕ̃n (s) − ϕn (s)k +
2
1 ε
= kϕn (s − ) − ϕn (s)k + ∀ n ≥ n0 (3.7)
n 2

Por (3.6), temos

1 ε 1
kϕn (s − ) − ϕn (s)k < < ε, se |s − (s − )| < δ.
n 2 n
 37

Tomando n1 = max{n0 , 1/δ}, segue que

ε ε
kϕ̃n (s) − ϕ(s)k ≤ + = ε, ∀ n ≥ n1 .
2 2

Portanto,
ϕ̃n −→ ϕ uniformemente em C ([a, b]) .

Lema 3.3. Sejam (fn ) uma sequência de C ([a, b], Rm ) que converge uniformemente para f


em [a, b] e g : Rm −→ Rk uma aplicação uniformemente contínua. Defina hn , h ∈ C [a, b], Rk
pela composição, ou seja, hn (s) = g(fn (s)) e h(s) = g(f (s)) para a ≤ s ≤ b. Mostre que (hn )
converge uniformemente para h em [a, b].

Demonstração. Queremos mostrar que (hn ) converge uniformemente para h em [a, b]. Sejam
hn (s) = g(fn (s)) e h(s) = g(f (s)). Dado ε > 0, ∃ δ > 0 tal que

kg(u) − g(v)k < ε sempre que ku − vk < δ ∀ u, v ∈ Rm

logo, como (fn ) converge uniformemente, temos que existe n0 ∈ N tal que,

kfn (s) − f (s)k < δ, para todo n > n0 e para todo ∈ [a, b].

Daí, segue-se que

khn (s) − h(s)k = kg(fn (s)) − g(f (s)) ≤ ε,

∀ n ≥ n0 , ∀ s ∈ [a, b].

Agora utilizando o Teorema de Ascoli-Arzelá obtemos a existência de soluções

para equações contínuas.

Teorema 3.1. (Cauchy-Peano). Sejam f : U −→ Rn uma aplicação contínua definida no

aberto U ⊆ Rn , (t0 , x0 ) ∈ U um ponto e a > 0, b > 0 tais que Ra, b = Ia ×Bb ⊆ U . Então, existe
uma solução do problema do valor inicial ( 3.1) definida no intervalo fechado [t0 − α, t0 + α]
onde α > 0 é dado por α = min{a, Mb }, com M > 0 uma cota superior qualquer de |f (t, x)|
no retângulo Ra, b .

Demonstração. considerando às hipóteses do teorema, fixamos δ > 0 e, para cada εn = n1 , n ∈

N, tomamos a aplicação ϕn = ϕεn como no Lema 3.1. Pelas desigualdades em ( 3.3), temos
que, (ϕn ) em C([t0 − δ, t0 + α], Ra,b ) satisfaz as hipóteses do Corolário 2.3, o qual, garante a
existência de uma aplicação contínua ϕ : [t0 − δ, t0 + α] −→ Ra,b que é o limite uniforme de
uma subsequência de (ϕn ). Pelos lemas ( 3.2) e ( 3.3), vimos que, da convergência uniforme
 38

de ϕn (s) −→ ϕ(s) no compacto [t0 − δ, t0 + α] e da continuidade uniforme de f no compacto

Ra,b decorre que
1
f (s, ϕn (s − )) −→ f (s, ϕ(s))
n
converge uniformemente em [t0 , t0 + α]. Fixamos t0 ≤ t ≤ t0 + α, e passando o limite com
n −→ ∞ de ambos os lados da equação
Z t
1
ϕn (t) = x0 + f (s, ϕn (s − ))ds,
t0 n

donde obtemos Z t
ϕ(t) = x0 + f (s, ϕ(s))ds,
t0

isto é, concluímos que ϕ(t) é uma solução de x0 = f (t, x), x(t0 ) = x0 . Analogamente, mostra-
mos que existe uma solução para x0 = f (t, x), x(t0 ) = x0 em [t0 − α, t0 ] e assim, como ambas
soluções possuem valor x0 e derivada f (t0 , x0 ) no ponto t0 , basta concatená-las, para obter
uma solução definida em todo intervalo [t0 − α, t0 + α].
 Conclusão

objetivo desta pesquisa foi abordar o Teorema de Arzelá-Ascoli e aplicá-lo num

resultado que dá garantias suficientes para a existência de soluções de uma EDO. Para obter
as demonstrações de tais teoremas, foi necessário o estudo de diversos conceitos relacio-
nados á análise matemática. Sendo assim, preocupamo-nos em organizar bem a estrutura
deste trabalho, para que ao ser consultado, o leitor não tenha dificuldades em entender o
que abordamos aqui.
Todavia, salientamos que na aplicação foi possível perceber que o Teorema de
Peano configura-se como um resultado forte na teoria das equações diferenciais ordinárias,
exigindo apenas na condição de regularidade da função que a mesma seja contínua.
Em suma, diante do estudo que propomos neste trabalho, esperamos que em
face do que foi apresentado, possamos contribuir para uma melhor compreensão por parte
do leitor. E assim, instiga-los á pesquisa, não só do teorema de Arzelá-Ascoli e das suas
aplicações, mas também de qualquer outro resultado que se queira conhecer da análise ma-
temática.
 Referências Bibliográficas

[1] LIMA, Elon L. Espaços Métricos. Associação Instituto Nacional de Matemàtica Pura e
Aplicada, 2003, 299pp.(Projeto Euclides)

[2] DOERING, Claus Ivo. Equações Diferenciais Ordinárias/ Claus Ivo Doering, Artur Os-
car Lopes. 5.ed. Rio de Janeiro: IMPA, 2012. 421 p.: il.; 23 cm. (Coleção matemática
universitária)

[3] KREYSZIG, Erwin. Introductory Functional Analysis with Applications, John Wiley
Classic Library, 1989.

[4] SOTOMAYOR Tello, Jorge Manuel. Lições de Equações Diferenciais Ordinárias/Jorge

Sotomayor - Rio de Janeiro: Instituto de Matemática Pura e Aplicada, 1979. (Projeto
Euclides)

[5] BRÉZIS, H.;Functional Analysis, Sobolev Spaces and Partial Differential Equations.
Springer, New York, 2011.

[6] LIMA, Elon L. Curso de análise: vol. 2. 9 ed. Rio de Janeiro: IMPA, 2006.

[7] LIMA, Elon Lages. Análise real: vol. 1. 11 ed. Rio de Janeiro: IMPA, 2012.
A Contexto Histórico

Figura A.1: Giulio Ascoli

Giulio Ascoli, nasceu em 20 de Janeiro de 1843 em Trieste, Itália e morreu em

12 de Julho de 1896 em Milão. Ele foi um matemático Italiano, estudante da Escola Normal
de Pisa, onde graduou-se em 1868.
Por volta de 1872 ele se tornou professor de Álgebra e Cálculo do Politecnico
di Milano University e em 1879 foi professor de matemática na Reale Istituto Tecnico Superiore,
onde, em 1901, o homenagearam afixando uma placa que o lembra.
Membro correspondente do Istituto Lombardo, fez importantes contribuições
para a teoria de funções de uma variável real e à série de Fourier. Por exemplo, Ascoli
introduziu equicontinuidade em 1884, um tema considerado como um dos conceitos funda-
mentais da teoria das funções reais.

Por sua vez, Cesare Arzelá nasceu em 6 de março de 1847, em Santo Stefano di
Magra, La Spezia, Itália e morreu em 15 de março de 1912, em sua Terra Natal. De família
com meios financeiros limitados. Frequentou o liceu em Sarzana por dois anos 1856-1858.
Posteriormente, ele foi para o Liceu, em Pisa, onde passou três anos 1858-1861. Após ter
ganho um concurso de admissão para a Escola Normal Superior de Pisa, que lhe deu uma
bolsa de estudos, ele começou seus estudos como um estudante de ciências matemáticas e
 42

Figura A.2: Césare Arzelá

físicas, em novembro de 1861. Em 1869 Arzelá graduou-se tendo seu trabalho concluído
com a dissertação sobre a teoria do potencial.
Depois de se formar, Arzelà continuou a frequentar cursos de análise superior,
física matemática e mecânica superior, entre outros. Iniciou sua carreira de professor no
Liceu de Macerata e, após dois anos, pediu licença para continuar seus estudos em Pisa
no ano de 1872-1873, passando a frequentar um curso sobre a elasticidade dado por Enrico
Betti, que também o orientou em sua tese e, um curso sobre a teoria de funções de uma
variável real dada por Ulisse Dini.
Arzelá deixou várias contribuições, entre elas, o mais importante trabalho ci-
entífico, onde elaborou o conceito de convergência uniforme gradual que dá uma condição
necessária e suficiente para uma série de funções contínuas convergir para uma função con-
tínua ( 1883 ). Na verdade, ele publicou três artigos em 1885: Sulla Integrazione por série;
Sulla integrabilità di una serie di Funzioni e Sui prodotti Infiniti. Foi quatro anos depois que
ele publicou o resultado para o qual ele é mais conhecido hoje em seu artigo Sulle Funzioni
di linee (1895). Ele provou o resultado hoje conhecido como o teorema de Ascoli - Arzelà
sobre a existência de uma subsequência uniformemente convergente em cada seqüência de
funções equilimitada e equicontinua. Ambos, Giulio Ascoli e Arzelà tinham estudado o con-
ceito de equicontinuidade e o teorema de Arzelà era uma generalização de um muito mais
fraco do que tinha sido provado por Ascoli, em 1884.
Note-se que hoje o teorema de Ascoli - Arzelà é um resultado sobre compaci-
dade mas, essa ideia só foi introduzida por Maurice Fréchet em 1904.
B Desigualdade de Minkowski

Exemplo 1.3

∞
! p1 ∞
! p1 ∞
! p1
X X X
|ξi − ηi |p ≤ |ξk |p + |ηm |p . (B.1)
i=1 k=1 m=1

onde x = (ξi ) ∈ lp e y = (η i ) ∈ lp , e p ≥ 1. Para somas finitas essa desigualdade foi

dada por H.M inkowski (1896).

Demonstração. Para p = 1 a desigualdade segue prontamente a apartir da desigualdade tri-

angular para números.
Seja p > 1. Para simplificar as fórmulas vamos escrever ξi + ηi = ωi . A desigualdade
triangular para números nós dá

|ωi |p = |ξi + ηi ||ωi |p−1 ≤ (|ξi | + |ηi |)|ωi |p−1 . (B.2)

Aplicando o somatório de j variando a um n qualquer fixo, obtemos

n
X n
X n
X
p p−1
|ωj | ≤ |ξj ||ωj | + |ηj ||ωj |p−1 . (B.3)
j=1 j=1 j=1

Para a primeira soma à direita, aplicamos a desigualdade de Holder dada por

∞ ∞
! p1 ∞
! 1q
X X X
|ξj ηj | ≤ |ξk |p |ηm |q (B.4)
j=1 k=1 m=1

e encontramos ! p1 ! 1q
n
X n
X n
X
|ξj ||ωj |p−1 ≤ |ξk |p (|ωm |p−1 )q . (B.5)
j=1 k=1 m=1
 44

Á direita temos simplesmente

(p − 1)q = pq − q = p + q − q = p

pois, pq = p + q onde p e q são ditos expoentes conjugados. Já que, sendo p > 1 definimos q por

1 1
+ = 1.
p q

O que implica (p − 1)(q − 1) = 1. Assim,

1
= q − 1,
p−1

de modo que
u = tp−1 implica t = uq−1

Analogamente, da última soma em (B.3), obtemos

n n
! p1 n
! 1q
X X X
|ηj ||ωj |p−1 ≤ |ηk |p |ωm |p . (B.6)
j=1 k=1 m=1

Daí, de (B.5) e (B.6) segue que

n

n
! p1 n
! p1  n
! 1q
X  X X  X
|ωj |p ≤ |ξk |p + |ηk |p |ωm |p . (B.7)
  m=1
j=1 k=1 k=1

1 1
Dividindo pelo o último fator na direita e observando que 1 − = , obtemos (B.1)
q p
com n em vez de ∞.
Agora n −→ ∞. À direita, isso gera duas séries que convergem, porque, x, y ∈ lp .
Por isso, a série no lado esquerdo também converge, e (B.1) está provada.
Assim, de (B.1) segue-se que a série em

∞
! p1
X
ρ(x, y) = |ξj − ηj |p , (B.8)
j=1
 45

converge. (B.1) também produz a desigualdade triangular. Na verdade, tendo qualquer

x, y, z ∈ lp , escrevendo z = (ζj ) e usando a desigualdade triangular para números, obtemos
X 
ρ(x, y) = |ξj − ηj |p ;
hX i p1
≤ (|ξj − ζj | + |ζj − ηj |)p
X  1 X 1
p p p p
≤ |ξj − ζj | + |ζj − ηj | ;
= ρ(x, z) + ρ(z, y).

Isto completa a prova de que lp é um espaço métrico.

C Demonstração do Exemplo (1.7)

Demonstração. Seja (xn ) uma sequência de Cauchy em R. Para cada n ∈ N,

Xn = {xn , xn+1 , . . .},

temos
X 1 ⊃ X2 ⊃ . . . ⊃ Xn ⊃ . . .

e os conjuntos Xn são limitados. Seja an = inf X onde n = 1, 2, 3, . . .. Então, a1 ≤ a2 ≤

. . . ≤ an ≤ . . . ≤ b = sup ·X1 . Como toda sequência monótona limitada de números reais
é convergente, então, existe o número a = lim an . Assim temos que a = lim xn . Daí, basta
mostrar que a é limite de uma subsequência de (xn ). De fato, sejam dados arbitrariamente
ε > 0 e n1 ∈ N, podemos obter n > n1 tal que xn ∈ (a − ε, a + ε).1 Logo, sendo a = lim an ,
existe m > n1 tal que a − ε < am < a + ε. Como,

am = inf Xm ,

existe n ≥ m e, portanto, n > n1 tal que

am ≤ xn < a + ε,

isto é,
xn ∈ (a − ε, a + ε).

1
Ver [1], Proposição 3, pág. 162 e Proposição 4, pág. 119.
D Mais alguns Resultados

Proposição D.1. Se uma sequência de funções fn : X −→ R converge uniformemente para

f : X −→ R e cada fn é contínua no ponto a ∈ X então f é contínua no ponto a.

Demonstração. Dado ε > 0, existe n0 ∈ N tal que

ε
n > n0 ⇒ |fn (x) − f (x)| < ,
3

para todo x ∈ X.
Fixemos um número natural n > n0 . Como fn é contínua no ponto a, existe δ > 0 tal
que x ∈ X,
ε
|x − a| < δ =⇒ |fn (x) − fn (a)| < ,
3
donde

|f (x) − f (a)| = |f (x) − fn (x) + fn (x) − fn (a) + fn (a) − f (a)| ≤

≤ |fn (x) − f (x)| + |fn (x) − fn (a)| + |fn (a) − f (a)| <
ε ε ε
< + + = ε.
3 3 3

Donde segue o resultado.

 48

Proposição D.2. (Weierstrass). Se M é compacto, toda função real contínua f : M −→ R é

limitada e atinge seus valores máximo e mínimo em M. Isto é, existem x0 , x1 ∈ M tais que
f (x0 ) ≤ f (x) ≤ f (x1 ) para qualquer x ∈ M.

Demonstração. Como a imagem f (M ) é um subconjunto compacto de R. Logo, é limitado

e fechado. Donde segue que, f é limitada e tomando α = inf f (M ), β = sup f (M ), daí
α ∈ f (M ), β ∈ f (M ). O que implica que, existem x0 , x1 ∈ M tais que f (x0 ) = α, f (x1 ) = β.
Portanto, f (x0 ) ≤ f (x) ≤ f (x1 ) para todo x ∈ M.