Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia

Departamento de Matemtica

Espaos Mtricos: uma introduo

Autor: Daniela Hiromi Cavamura Endo

Orientador: Francisco Braun

Disciplina: Trabalho de Concluso do Curso

Curso: Licenciatura em Matemtica

Professores Responsveis: Selma Helena de Jesus Nicola

Joo Carlos Vieira Sampaio
Alessandra Aparecida Verri

So Carlos, 13 de agosto de 2015.

 Espaos Mtricos: uma introduo

Autor: Daniela Hiromi Cavamura Endo

Orientador: Francisco Braun

Disciplina: Trabalho de Concluso do Curso

Curso: Licenciatura em Matemtica

Professores Responsveis: Selma Helena de Jesus Nicola

Joo Carlos Vieira Sampaio
Alessandra Aparecida Verri

Instituio: Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica

So Carlos, 13 de agosto de 2015.

Nome do Autor (aluno) Nome do Orientador (orientador)

Agradecimentos

Agradeo primeiramente a Deus por ter me dado condies para seguir em frente e estar
aqui correndo atrs dos meus objetivos, e ter colocado pessoas maravilhosas no meu
caminho, as quais sempre estaro no meu corao. Agradeo aos meus antepassados, pois
sem eles eu tambm no estaria aqui.
A toda minha famlia, meus agradecimentos eternos por toda ajuda e fora. Mas
principalmente, para as pessoas que mais amo e admiro, meus pais Julia e Hiroo, por
tudo que j fizeram e ainda fazem por mim, por todo amor que tm me dado, e por
passarem valores to ricos que levarei para a vida toda, e pela minha irm Marcela, um
exemplo de pessoa, que sempre esta do meu lado, minha melhor companheira. No tenho
palavras que expressem a imensa gratido e orgulho que sinto em t-los em minha vida.
Agradecimentos especiais para v Carola por tanta bondade que h em seu corao e
ter cuidado de mim com tanto amor, e para famlia Shinozaki, os quais considero minha
segunda famlia, muito obrigado por todo carinho.
No poderia esquecer da pessoa que me faz to feliz, que me apoia, me ajuda e segue
firme ao meu lado, meu namorado e companheiro, a pessoa que mais me aguenta, Edson
agradeo por tudo, mas principalmente pela pacincia e compreenso que tem demons-
trado nos momentos mais difceis.
No posso deixar de citar meus amigos, da escola, faculdade, infncia, e aqueles que
conheci a pouco tempo, mas que j conquistaram minha confiana e respeito. Dentre
todos destaco aqueles que se fizeram mais presentes nestes ltimos tempos e tiveram uma
especial importncia neste semestre to difcil, Daiane, Junia, Lucas, Elard e Hiroshi
agradeo pela ajuda, pela preocupao, por acreditarem em mim, mas principalmente
por estarem do meu lado. Agradeo tambm ao time de beisebol e softbol da UFSCar,
e especialmente galera da rep Yakuza que sempre fizeram com que me sentisse em
casa, destaco Yuiti, Camila, Martinez, Massao, Guilherme, Marcelo e Cau, obrigada por
deixarem eu fazer parte dessa famlia e estarem presentes nesta etapa.
Meus sinceros agradecimentos a todos os meus professores por compartilharem seus
conhecimentos e contrinurem para minha formao, mas pricipalmente ao meu orientador
Francisco Braun, o qual tenho tanta admirao, muito obrigada por toda pacincia e
empenho para me encaminhar neste trabalho.
E por fim e no menos importante, agradeo a todas as pessoas que contrinuram
direta ou indiretamente para a finalizao de mais uma importante etapa da minha vida.
Resumo

Neste trabalho apresentamos uma introduo aos Espaos Mtricos, partindo da defini-
o, trabalhando alguns exemplos, definindo e entendendo os conceitos primrios deste
contexto, como bolas abertas, funes contnuas, noes de Topologia, culminando com o
Teorema do Ponto Fixo de Banach.
 vii

Sumrio

Introduo xiii

1 Espaos Mtricos: noes bsicas 1

1.1 Mtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Bolas e Esferas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Conjuntos Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2 Funes Contnuas 21
2.1 Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3 Conceitos e Noes de Topologia 25

3.1 Conjuntos Abertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

4 Sequncias 31
4.1 Limite de Sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2 Convergncia e Topologia . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3 Sequncias de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

5 Pontos Fixos 39
5.1 Teorema do Ponto Fixo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
 ix

Lista de Figuras

1.1 Distncia entre as funes x e x2 no intervalo [0, 1] . . . . . . . . . . . . . 9

1.2 Crculo de raio 1 centrado na origem . . . . . . . . . . . . . . . . . . . . . 15
1.3 Quadrado centrado na origem, com diagonais paralelos os eixos . . . . . . 15
1.4 Quadrado centrado na origem, com lados paralelos os eixos . . . . . . . . . 16
1.5 Grfico de g na amplitude 2r . . . . . . . . . . . . . . . . . . . . . . . . . 16
 xi

Lista de Tabelas

3.1 Contrapontos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
xii Lista de Tabelas
 xiii

Introduo

Neste trabalho, tive a oportunidade de estudar conceitos mais abstratos e mais gerais do
que vistos em minha graduao em Licenciatura em Matemtica. Os cursos de Espaos
Mtricos e Topologia no fizeram parte da minha formao, por isso foi muito interessante
de conhecer, mesmo em um nvel introdutrio. Este estudo teve como objetivo comple-
mentar minha formao, alm de conhecer assuntos mais abstratos, como bolas e noes
de topologia, obter uma base um pouco mais geral de alguns conceitos j conhecidos como
conjuntos limitados, funes contnuas, limites de sequncias, entre outros.
O trabalho est organizado em cinco captulos, com os seguintes temas: Espaos M-
tricos: noes bsicas, Funes Contnuas, Conceitos e Noes de Topologia, Sequncias
e Ponto Fixo, respectivamente. E que sero explorados da seguinte maneira:
No Captulo 1, sero apresentados os conceitos iniciais de Espaos Mtricos. Em
primeiro momento, um estudo da definio trabalhando com mtricas. Em Rn podemos
definir trs diferentes maneiras de medir distncias, mas em R essas trs mtricas so
iguais. Outros exemplos importantes de mtrica so explorados, como Espaos Vetoriais
normados e Espaos Vetoriais com produto interno. Logo aps, abordado o conceito de
bolas, em R as bolas abertas so intervalos abertos, em R2 poder ser um crculo, ou um
quadrado dependendo da mtrica usada. Finalizamos o captulo com conjuntos limitados,
agora, numa noo mais geral explorando as ideias de bolas.
J no Captulo 2, sero trabalhados somente as funes contnuas e algumas proprie-
dades, destacando as funes Lipschitzianas, em particular, as contraes que sero muito
importantes para o Teorema do Ponto Fixo.
No Captulo 3, trabalharemos as noes de conjuntos abertos e fechados, com conceitos
um pouco mais abstratos usando bolas para definir conjuntos.
No Captulo 4, sero apresentados os conceitos de sequncias, trabalhando limites de
sequncia, e as sequncias de Cauchy que possuem interessantes relaes como, sequncias
convergentes so de Cauchy, j a recproca no verdadeira. Quando vale a recproca,
dizemos que o Espao Mtrico completo. Isto tambm ser importante para o Teorema
do Ponto Fixo, explorado no Captulo seguinte.
No ltimo captulo, ser demonstrado o Teorema do Ponto Fixo de Banach, usando
alguns conceitos anteriores, como Espao Mtrico Completo, contraes, sequncias de
Cauchy, entre outros. Finalizamos o trabalho com alguns exemplos de mtodos de apro-
ximaes sucessivas.
 1

Captulo 1

Espaos Mtricos: noes bsicas

1.1 Mtrica
Definio 1.1. Dado um conjunto M 6= , chamamos de uma mtrica em M uma funo
d : M M R, que associa a cada par ordenado (x, y) M M, um nmero real
d(x, y), chamado distncia de x a y, de modo que satifaa s seguintes condies para
dados x, y, z M:

(i) d(x, x) = 0;

(ii) Se x 6= y ento d(x, y) > 0;

(iii) d(x, y) = d(y, x);

(iv) d(x, z) d(x, y) + d(y, z).

Um Espao Mtrico um conjunto munido de uma mtrica. Em outras palavras, um

par ordenado (M, d), em que M um conjunto no vazio e d uma mtrica em M.

Portanto, ter um conjunto e uma mtrica nesse conjunto que satisfaa s condies
mostradas acima nos garante ter um espao mtrico.
Nesta primeira seo, veremos vrios exemplos de espaos mtricos, desde os mais
simples como o exemplo abaixo, aos com estruturas mais ricas, como por exemplo, os
espaos euclidianos com distintas distncias.

Exemplo 1.2.
Considerando um conjunto M formado por trs objetos aleatrios, por exemplo uma
caneta, uma borracha e uma tesoura, denotados por c, b e t, respectivamente, e definamos
a seguinte funo d : M M R: a distncia de um elemento com ele mesmo zero,
ou seja, d(x, x) = 0 para qualquer x M; e a distncia de um objeto com qualquer outro
objeto diferente dele um, ou seja, d(x, y) = 1 para quaisquer x, y M, com x 6= y.
Vamos mostrar que (M, d) um espao mtrico. Para isso, temos que verificar que so
vlidas as propriedades da Definio 1.1. De fato, pela construo, temos que d(x, x) = 0
2 1. Espaos Mtricos: noes bsicas

para qualquer x M e d(x, y) = 1 > 0 para quaisquer x, y M, com x 6= y. Logo as

condies (i) e (ii) esto verificadas. Tambm imediata a condio (iii), pois d(x, y) =
1 = d(y, x) para quaisquer x, y M, com x 6= y. Agora, para mostramos o (iv), d(x, z)
d(x, y) + d(y, z) para qualquer x, y, z M, vamos separar em casos: Sejam x, y, z
{c, b, t}.
Caso(1): Se x = z, ento claro que d(x, z) d(x, y) + d(y, z), independentemente de
quem seja y, pois 0 menor ou igual que a soma de quaisquer nmeros positivos, inclusive
o prprio zero;
Caso(2): Se x 6= z, ento certamente temos que ou x 6= y ou z 6= y (pois, se x = y e y = z
ento x = z contrariando a hiptese). Logo, d(x, y) + d(y, z) 1 = d(x, z).

Este exemplo pode facilmente ser generalizado para um conjunto no vazio qualquer.

Exemplo 1.3 (Mtrica zero-um).

Agora, consideremos um conjunto M qualquer. E definamos a mtrica d : M M R
como no exemplo anterior, ou seja, colocando d(x, x) = 0 e d(x, y) = 1 se x 6= y. Vejamos
que d assim definida uma mtrica.
Analisando a demonstrao do Exemplo 1.2, observamos que no foi usado explicita-
mente o fato de M ter s trs elementos, da mesma forma como naquele exemplo, trivial
concluir que no caso atual d uma mtrica.

Observao 1.4. Para o prximo exemplo, utilizaremos o seguinte resultado de R (desi-

gualdade triangular)
|a + b| |a| + |b|,

a, b R.

Demonstrao. Temos que por definio de mdulo, a, b R,

(
a + b, Se a + b 0;
|a + b| = (1.1)
a b, Se a + b < 0.

Temos que a R, a |a|, pois se a 0, a a = |a|. Ja se a < 0, a a = |a|.

Da mesma forma acontece para b. Assim,

|a| a |a| e |b| b |b|.

Ento, somando as desigualdades:

|a| |b| a + b |a| + |b|,

temos que nos leva a

a + b |a| + |b| e a b |a| + |b|
1.1. Mtrica 3

Logo, de (1.1), segue que

|a + b| |a| + |b|

Observao 1.5. Com a observao acima, fica simples garantir que a funo d : R R
[0, ) definida por d(x, y) = |x y| uma mtrica em R.

Demonstrao. De fato, (i), (ii) e (iii) so trivialmente verificados. J (iv), segue da

observao anterior, pois

d(x, y) = |x y| = |x z + z y| |x z| + |z y| = d(x, z) + d(z, y),

x, y, z R.

Generalizando, temos o seguinte

Exemplo 1.6 (Espao Euclidiano Rn ).

Neste exemplo, definiremos trs maneiras diferentes de medir distncias entre dois pontos
em Rn . Assim, com o mesmo conjunto Rn , teremos trs espaos mtricos distintos. Pontos
em Rn so as listas x = (x1 , ..., xn ) em que cada uma das n coordenadas xi , com i = 1, ..n,
um nmero real. Dados x = (x1 , ..., xn ) e y = (y1 , ..., yn ), definamos d, d , d : Rn Rn R
por

q " n
# 21
X
(x1 y1 )2 + ... + (xn yn )2 = (xi yi )2
2
d(x, y) = ,
i=1
n
X

d (x, y) = |x1 y1 | + ... + |xn yn | = |xi yi |,
i=1
d (x, y) = max{|x1 y1 |, ..., |xn yn |} = max1in |xi yi |.

Observemos que q
em R, isto , quando n = 1, d = d = d = |x y|. De fato, para cada
x, y R, d(x, y) = 2
(x y)2 = |x y|, d (x, y) = |x y| e d (x, y) = max{|x y|} =
|x y|.
Mostremos que as funes d, d , d : Rn Rn R so mtricas.
De fato, verifiquemos as quatro condies da Definio 1.1 para garantir que d, d, d
sejam mtricas:

(i) Para cada x Rn ,

q
(x1 x1 )2 + ... + (xn xn )2 =
2 2 2
d(x, x) = 0 + ... + 0 = 0 = 0;

d (x, x) = |x1 x1 | + ... + |xn xn | = |0| + ... + |0| = 0;

4 1. Espaos Mtricos: noes bsicas

d (x, x) = max{|x1 x1 |, ..., |xn xn |} = max{0, ..., 0} = 0.

(ii) Se x 6= y, isto , existe i {1, ...n} tal que xi 6= yi , temos

q q
(x1 y1 )2 + ... + (xn yn )2 (xi yi )2 = |xi yi | > 0;
2 2
d(x, y) =

d (x, y) =|x1 y1 | + ... + |xn yn | |xi yi | > 0;

d (x, y) = max{|x1 y1 |, ..., |xn yn |} |xi yi | > 0.

(iii) Se x, y Rn ,
q
d(x, y) = (x1 y1 )2 + ... + (xn yn )2
2

q
= (y1 x1 )2 + ... + (yn xn )2
2

=d(y, x);

d (x, y) =|x1 y1 | + ... + |xn yn | = |y1 x1 | + ... + |yn xn |

=d (y, x);

d (x, y) = max{|x1 y1 |, ..., |xn yn |} = max{|y1 x1 |, ..., |yn xn |}

=d (y, x).

(iv) Se x, y, z Rn , temos:

d (x, z) =|x1 z1 | + ... + |xn zn |

=|x1 y1 + y1 z1 | + ... + |xn yn + yn zn |
|x1 y1 | + |y1 z1 | + ... + |xn yn | + |yn zn |
=d (x, y) + d (y, z),
 1.1. Mtrica 5

em que na desigualdade acima foi usada a Observao 1.4;

d (x, z) = max{|x1 z1 |, ..., |xn zn |}

= max{|x1 y1 + y1 z1 |, ..., |xn yn + yn zn |}
max{|x1 y1 | + |y1 z1 |, ..., |xn yn | + |yn zn |}
= max{|x1 y1 |, ..., |xn yn |} + max{|y1 z1 |, ..., |yn zn |}
=d (x, y) + d (y, z),

em que na desigualdade acima tambm foi usada a Observao 1.4.

A verificao de (iv) para a mtrica d ser feita na Observao 1.16, mais abaixo.

Logo, mostramos que so satisfeitas as quatro condies (i), (ii), (iii) e (iv) necessrias
para que d, d , d : Rn Rn R sejam mtricas.

A proposio a seguir apresenta relaes entre mtricas d, d e d , mostrando

Proposio 1.7. Sejam d, d e d as mtricas definidas no Exemplo 1.6. Quaisquer que

sejam x, y Rn , tem-se:

d (x, y) d(x, y) d (x, y) nd (x, y).

Demonstrao. Primeiramente, separaremos em trs afirmaes:

1o : d (x, y) d(x, y);

2o : d(x, y) d (x, y);

3o : d (x, y) nd (x, y).

Agora, provemos cada uma delas:

1o : Tomando o quadrado de d(x, y), temos:

n
X
2 2 2
d(x, y) = (x1 y1 ) + ... + (xn yn ) = (xi yi )2 (1.2)
i=1

Observemos que existe i0 {1, ..., n} tal que d (x, y) = max1in {|xi yi |} = |xi0 yi0 |.
Ento,
Xn
2 2

d (x, y) = |xi0 yi0 | (xi yi )2 = d(x, y)2 .
i=1

Extraindo a raiz quadrada dos dois lados chegaremos a

|d (x, y)| |d(x, y)|,

e como distncias so nmeros positivos, segue a 1o .

 6 1. Espaos Mtricos: noes bsicas

2o : Por definio de d, temos de 1.2 que

n
" n #
2
X 2
X
d (x, y) = (xi yi ) + 2 |xi yi ||xj yj | d(x, y). (1.3)
i=1 i6=j

Logo, segue o 2o .

3o : Temos que d (x, y) = |x1 y1 | + ... + |xn yn | e nd (x, y) = n[max1in {|xi yi |}].
Assim,

d (x, y) =|x1 y1 | + ... + |xn yn |

max1in {|xi yi |} + ... + max1in {|xi yi |}
| {z }
n

=nd (x, y).

Portanto d (x, y) nd (x, y).

Logo, relacionando as trs afirmaes provadas acima mostramos que d (x, y)
d(x, y) d (x, y) nd (x, y).

Os dois lemas abaixo sero usados no prximo exemplo (Espaos de Funes) e so

propriedades da reta interessantes por si s. Antes, lembremos que um conjunto X R
dito limitado superiormente se existe c R tal que x c, para todo x X. Neste caso,
c dito um limitante superior de X. Analogamente, se X R limitado inferiormente,
d R um limitante inferior de X se d x, para todo x X.
Seguem as definies de supremo e nfimo:

Definio 1.8. Dado X R um conjunto limitado superiormente, dizemos que o

supremo de X, denotando = sup X, se satisfizer

(i) limitante superior de X, isto , x , x X;

(ii) o menor limitante superior de X, isto , se c < ento existe x X tal que
c x < .

Agora, dado Y R um conjunto limitado inferiormente. Definimos o nfimo de Y ,

denotado por = inf Y , se satisfazer

(1) um limitante inferior, ou seja, y Y , tem-se y;

(2) o maior dos limitantes inferiores, ou seja, se t R, t > , ento y Y tal que
t > y .

Lembramos que, em R, todo conjunto no vazio e limitado superiormente admite

supremo, bem como todo conjunto no vazio e limitado inferiormente admite nfimo.
1.1. Mtrica 7

Lema 1.9. Sejam A, B R limitados superiormente. Seja, ainda,

C = A + B = {x + y | x A e y B}.

Ento C limitado superiormente e sup C = sup A + sup B

Demonstrao. Dado c C, segue que existem x A e y B tais que c = x+y sup A+

sup B. Logo sup A+sup B um limitante superior de C, portanto sup C sup A+sup B,
provando, em particular que C limitado superiormente.
Seja l < sup A + sup B, ento existem l1 e l2 tais que l = l1 + l2 e l1 < sup A e
l2 < sup B. Logo, existem x A e y B satisfazendo l1 < x e l2 < y. Consequentemente,
l = l1 + l2 < x + y. Isto , sup A + sup B o menor limitante superior de C. Portanto,
pela Definio 1.8,
sup A + sup B = sup C

Lema 1.10. Seja A R limitado superiormente e B A, ento sup B sup A.

Demonstrao. Para todo b B, dado que b A, logo b sup A. Portanto, sup B

sup A, pela Definio 1.8.

Exemplo 1.11 (Espaos de Funes).

Seja X um conjunto arbitrrio. Uma funo real f : X R chama-se limitada quando
existe um nmero Kf > 0 tal que

|f (x)| Kf , x X.

Indicaremos com B(X; R) o conjunto das funes limitadas f : X R.

Observemos que a soma, a diferena e o produto de funes limitadas so ainda limi-
tadas. De fato, considere f, g : X R funes limitadas, ou seja, existem kf , kg R tal
que |f (x)| kf e |g(x)| kg , x X. Ento para todo x X,

|(f + g)(x)| = |f (x) + g(x)| |f (x)| + |g(x)| kf + kg .

Assim, a soma de funes limitadas limitada. Alm disso, dados R, f B, f B,

pois
|f (x)| = |||f (x)| kf

Logo, segue que a combinao linear de funo limitada tambm limitada. E finalmente,

|(f g)(x)| = |f (x)g(x)| = |f (x)||g(x)| kf kg .

Assim, provamos tambm que o produto de funes limitadas so limitadas.

8 1. Espaos Mtricos: noes bsicas

Considerando o conjunto B(X; R) observemos que as operaes produto e soma deste

conjunto so associativos e comutativos, e tambm vale a distributividade. Agora, consi-
dere as funes (f )(x) = f (x), x X, 0B (x) = 0, x X e 1B (x) = 1, x X, ou
seja, cada elemento deste conjunto tem seu inverso em relao a operao soma, 0B (x)
o elemento neutro da soma e 1B (x) o elemento neutro do produto. Ento, temos que
B(X; R) um anel comutativo com unidade.
Definimos agora uma mtrica em B(X; R) pondo, para f, g B(X; R) arbitrrias,

d(f, g) = supxX |f (x) g(x)| (1.4)

Verifiquemos as condies que fazem de d uma mtrica:

(i) d(f, f ) = supxX |f (x) f (x)| = 0;

(ii) Se f 6= g, existe x X tal que f (x) 6= g(x). Da, d(f, g) = supxX |f (x) g(x)|
|f (x) g(x)| > 0;

(iii) d(f, g) = supxX |f (x) g(x)| = supxX |g(x) f (x)| = d(g, f );

(iv) Dados f, g, h B(X; R), tomemos A, B e C R como segue:

A = {|f (x) g(x)| | x X};

B = {|g(x) h(x)| | x X};

C = {|f (x) h(x)| | x X}.

Para provar a propriedade (iv), basta mostrar que

sup C sup A + sup B.

Seja
D = {|f (x) g(x)| + |g(x) h(x)| | x X}.

claro que D A + B. Da, pelos Lemas 1.9 e 1.10 temos que,

sup D sup A + sup B. (1.5)

Por outro lado, dado x X,

|f (x) h(x)| =|f (x) g(x) + g(x) h(x)|

|f (x) g(x)| + |g(x) h(x)|
sup D.
1.1. Mtrica 9

Logo, da definio de C e de sup,

sup C sup D. (1.6)

Por (1.5) e (1.6) chegamos, portanto, que

sup C sup A + sup B,

como queramos.
Seja X = [a, b]. Dadas f, g : [a, b] R limitadas, observamos que geometricamente, a
distncia d(f, g) o comprimento do maior segmento vertical que se pode traar ligando o
grfico de f ao grfico de g. Assim, por exemplo, no espao mtrico B([0, 1]; R), a distncia
4
da funo f (x) = x2 funo g(x) = x3 d(f, g) = sup |x2 x3 | = 27 = 0.1481481481...,
com x [0, 1]. (Ver Figura 1.11)

Figura 1.1: Distncia entre as funes x e x2 no intervalo [0, 1]

Os dois exemplos seguintes apresentam norma e produto em espaos vetoriais, respec-

tivamente. Os dois do origem a espaos mtricos como veremos. Aps estes exemplos,
veremos que a distncia d vista anteriormente em Rn provm de uma norma, que provm
de um produto interno. S depois poderemos provar a desigualdade (iv) que ficou faltando
ao definirmos d.

Exemplo 1.12 (Espaos Vetoriais Normados).

Uma norma em um espao vetorial real E uma funo real k k : E R, que associa
cada vetor x E ao nmero real no negativo kxk, chamado a norma de x, de modo a
serem cumpridas as condies abaixo para quaisquer x, y E e R:

(I) Se x 6= 0 ento kxk > 0;

(II) kxk = ||kxk;

10 1. Espaos Mtricos: noes bsicas

(III) kx + yk kxk + kyk.

Um espao vetorial normado um par (E, k k) onde E um espao vetorial real e k k

uma norma em E. Observemos que (I) e (II) garante que kxk > 0 x 6= 0.
Afirmamos que todo espao vetorial normado (E, k k) torna-se um espao mtrico
por meio da definio d : E E R dada por

d(x, y) = kx yk.

Para mostrar que d(x, y) = kx yk uma mtrica em E, devemos verificar as quatro

condies de mtrica

(i) d(x, x) = kx xk = k0k = k0.0k = |0|k0k = 0 (pela condio (II));

(ii) Pela condio (I) temos que se d(x, y) = kx yk = 0 ento x y = 0. Logo, x = y.

Portanto, se x 6= y ento d(x, y) = kx yk > 0, por (I);

(iii) d(x, y) = kx yk = k(1)(y x)k = | 1|ky xk = ky xk = d(y, x), em que na

3a igualdade usamos a Condio (II). Logo,

d(x, y) = d(y, x).

(iv) Por fim,

d(x, z) =||x z|| = ||x y + y z|| = ||(x y) + (y z)||

||x y|| + ||y z|| = d(x, y) + d(y, z).

em que a desigualdade acima segue da condio (III).

Logo,
d(x, z) d(x, y) + d(y, z)

Portanto, a distncia d(x, y) = ||x y|| uma mtrica em E.

Exemplo 1.13 (Espaos Vetoriais com Produto Interno).

Seja E um espao vetorial real. Um produto interno em E uma funo h, i : EE R,
que associa cada par ordenado de vetores (x, y) E E a um nmero real chamado
produto interno de x por y, representado por hx, yi, de maneira que sejam satisfeitas as
seguintes condies: Para x, x , y E e R arbitrrios:

(1) hx + x , yi = hx, yi + hx , yi;

(2) hx, yi = hx, yi;

(3) hx, yi = hy, xi;

1.1. Mtrica 11

(4) x 6= 0 = hx, xi > 0.

Veremos agora que um produto interno define uma norma em E.

Definimos a norma de um vetor x E, em um espao vetorial com produto interno,
p
da seguinte maneira: ||x|| = hx, xi, ou seja, ||x||2 = hx, xi. Mostremos que a funo
definida k k : E E R de fato uma norma.
Pela prpria definio kxk 0

(I) Se x 6= 0, ento pela condio (4) acima temos que hx, xi > 0. Assim, kxk =
p
hx, xi > 0, ou seja, kxk > 0.
p p p p
(II) kxk = hx, xi = hx, xi = hx, xi = 2 hx, xi = ||||x||,
R e x E.
Em que a 2a e 4a igualdades decorrem da Condio (2) acima e da 3a igualdade
segue da Condio (3) acima.
Logo, kxk = ||kxk, R e para todo x E.

(III) Temos que a desigualdade kx + yk kxk + kyk decorre da Desigualdade de Cauchy-

Schwarz, que veremos no teorema seguinte.

Teorema 1.14 (Desigualdade de Cauchy-Schwarz). Dado E espao vetorial com produto

interno h, i, defina k k conforme o Exemplo 1.13. Ento

|hx, yi| kxkkyk, x, y E.

Demonstrao. Sejam x, y E. Se x = 0, ento a desigualdade evidente, pois |h0, yi| =

0 e k0k.kyk = 0.
Suponha, ento x 6= 0. Assim, dado t R, temos pelas propriedades (1), (2), (3) e
pela definio que

ktx + yk2 =htx + y, tx + yi

=htx + y, txi + htx + y, yi
=t(htx + y, xi) + htx + y, yi
=t(htx, xi + hy, xi) + htx, yi + hy, yi
=t(thx, xi + hy, xi) + thx, yi + hy, yi
=t2 kxk2 + 2thx, yi + kyk2 .

Isto ,
0 ktx + yk2 = kxk2 t2 + 2hx, yit + kyk2 .

Portanto, para cada x 6= 0 e y em E, temos uma inequao quadrtica em que do lado

direito tem uma funo quadrtica cujo grfico uma parbola com concavidade para
12 1. Espaos Mtricos: noes bsicas

cima. Estudando o sinal, para que a inequao se verifique, devemos ter o discriminante
Delta da funo quadrtica satisfizando 0. Pois, se > 0 existiriam duas razes,
o que significa que teramos uma parte da parbola negativa, o que no pode acontecer.
Assim,

=(2hx, yi)2 4kxk2 kyk2 0

4hx, yi2 4kxk2 kyk2 0
hx, yi2 kxk2 kyk2 0
|hx, yi| kxkkyk,

como queramos provar.

Definio 1.15. Definimos agora um produto interno em Rn , denotando x =

(x1 , x2 , ..., xn ) os elementos de Rn , seja h, i : Rn Rn R a funo definida por

hx, yi = x1 y1 + x2 y2 + ... + xn yn .

Verifiquemos que h, i um Produto Interno:

Sejam x = (x1 , ..., xn ), x = (x1 , ..., xn ) e y = (y1 , ..., yn ) Rn e R arbitr-
rios.Verifiquemos as quatro condies para produto interno:

(1) Aplicando a definio acima:

hx + x , yi =(x1 + x1 )y1 + ... + (xn + xn )yn

=x1 y1 + x1 y1 + ... + xn yn + xn yn
=x1 y1 + ... + xn yn + x1 y1 + ... + xn yn
=hx, yi + hx , yi.

Logo hx + x , yi = hx, yi + hx , yi.

(2) hx, yi = x1 y1 + ... + xn yn = (x1 y1 + ... + xn yn ) = hx, yi.

Logo hx, yi = hx, yi.

(3) hx, yi = x1 y1 + ... + xn yn = y1 x1 + ... + y1 x1 = hy, xi.

Logo hx, yi = hy, xi.

(4) Seja x = (x1 , ..., xn ) 6= (0, ..., 0) = 0. Temos que extiste i {1, ..., n} tal que xi 6= 0.
Da

hx, xi = x1 x1 + ... + xn xn = x1 2 + ... + xn 2 xi 2 > 0.

Logo x 6= 0 = hx, xi > 0

1.2. Bolas e Esferas 13

Observao 1.16. Da, consideremos a norma kxk de acordo com o Exemplo 1.13.
p
||x|| = hx, xi.

Usando 1.12, segue que d(x, y) = kx yk uma mtrica em Rn . evidente que d = d

como no Exemplo 1.6.
Logo d(x, z) d(x, y) + d(y, z) que era algo que havamos deixado de mostrar naquele
exemplo.

1.2 Bolas e Esferas

Definio 1.17. Seja M um espao mtrico e a um ponto em M. Dado r > 0 um nmero
real, definimos bola aberta, bola fechada e esfera da seguinte maneira:

1. A bola aberta de centro a e raio r o conjunto, denotado por B(a; r), dos pontos
de M cuja distncia ao ponto a menor do que r. Ou seja,

B(a; r) = {x M | d(x, a) < r}.

2. A bola fechada de centro a e raio r o conjunto, denotado por B[a; r], formado
pelos pontos de M que esto a uma distncia menor do que ou igual a r do ponto
a. Ou seja,
B[a; r] = {x M | d(x, a) r}.

3. A esfera de centro a e raio r o conjunto, denotado por S(a; r), formado pelos
pontos x M tais que d(x; a) = r. Assim:

S(a; r) = {x M | d(x, a) = r}.

Podemos observar que B[a; r] = B(a; r) S(a; r), sendo claramente disjunta a unio.

Observao 1.18. Quando a mtrica d provm de uma norma no espao vetorial E, isto
, d(x, y) = kx yk, temos:

B(a; r) ={x E | kx ak < r};

B[a; r] ={x E | kx ak r};
S(a; r) ={x E | kx ak = r}.

Exemplo 1.19. Consideremos M com a mtrica do Exemplo 1.3 (mtrica zero-um), ou

seja, (
0, se x = y;
d(x, y) =
1, se x 6= y.
14 1. Espaos Mtricos: noes bsicas

Observemos que dado x, a M, temos:

d(x, a) < 1 x = a;

d(x, a) 1 x 6= a.

Assim, para todo a M, temos:

Se r = 1, ento

B(a; 1) ={x M | d(x, a) < 1} = {a};

S(a; 1) ={x M | d(x, a) = 1} = M {a}
B[a; 1] ={x M | d(x, a) 1} = M;

Se r > 1, ento

B(a; r) ={x M | d(x, a) < r} = M;

S(a; r) ={x M | d(x, a) = r} = ;
B[a; r] =B(a; r) S(a; r) = M = M.

Se 0 < r < 1 ento

B(a; r) ={x M | d(x, a) < r} = {a};

S(a; r) ={x M | d(x, a) = r} = ;
B[a; r] ={a} = {a}.

Exemplo 1.20. No plano R2 , as mtricas d, d e d correspondem em termos de bolas

s seguintes figuras:
Para todo a R2 e r > 0, a bola aberta B(a; r) = {x R2 | d(x, a) < r} interior de
um crculo de centro a e raio r, se
q
d(x, a) = (x1 a1 )2 + (x2 a2 )2 < r (x1 a1 )2 + (x2 a2 )2 < r 2 .
2
(1.7)

Ou o interior de um quadrado de centro a e diagonais paralelos aos eixos, cada uma

medindo 2r, se
d (x, a) = |x1 a1 | + |x2 a2 |. (1.8)

Ou ento o interior de um quadrado de centro a e lados paralelos aos eixos com medida
2r cada, se

d (x, a) = max{|x1 a1 |, |x2 a2 |} < r |x1 a1 | < r ou |x2 a2 | < r. (1.9)

Sejam a = (0, 0) e r = 1. Usando a mtrica d da Equao (1.7), temos d((x, y), (0, 0)) =
1.2. Bolas e Esferas 15

p
2
x2 + y 2 , ento
B(a, 1) = {(x, y) R2 | x2 + y 2 < 1}.

o interior da figura a seguir:

Figura 1.2: Crculo de raio 1 centrado na origem

Agora, usando a mtrica d da Equao (1.8), temos d ((x, y), (0, 0)) = |x| + |y|, ento

B(a, 1) = {(x, y) R2 | |x| + |y| < 1}.

Verifiquemos que para x = 0 ento |y| < 1, e para y = 0 ento |x| < 1, ou seja, as retas
y = 1, y = 1, x = 1 e x = 1 delimitam um quadrado com lados paralelos aos eixos.
Analisemos agora os casos, para x > 0, y > 0 temos que x + y < 1, ou seja, y < 1 x;
para x < 0, y > 0 temos que x + y < 1, ou seja, y < 1 + x; para x > 0, y < 0 temos
que x y < 1, ou seja, y < 1 x; para x < 0, y < 0 temos que x y < 1, ou seja,
y < 1 + x. Assim, cada reta delimita uma parte para que a bola aberta B(a; 1) seja o
interior da figura abaixo

Figura 1.3: Quadrado centrado na origem, com diagonais paralelos os eixos

16 1. Espaos Mtricos: noes bsicas

Enfim, usando a mtrica d da Equao (1.9), temos d ((x, y), (0, 0)) = max{|x|, |y|},
ento
B(a, 1) = {(x, y) R2 | max{|x|, |y|} < 1}.

Verificando as condies, para x = 0 ento |y| < 1 e, para y = 0 ento |x| < 1. Assim, a
B(a, 1) interior da figura a seguir:

Figura 1.4: Quadrado centrado na origem, com lados paralelos os eixos

Observemos que para cada mtrica, a esfera S(a; r) representa o contorno das respec-
tivas figuras e a bola fechada B[a; r] a unio de B(a; r) e S(a; r).

Exemplo 1.21. Seja f B([a, b], R) e considere a mtrica do Exemplo 1.11. Se g :

[a, b] R uma funo limitada, ento g pertence B[f ; r], se, e somente se, sup |f (x)
g(x)| r, isto , se sup |f (x) g(x)| r, x [a, b], ento, em particular, |f (x) g(x)|
r, x [a, b], ou seja, f (x) r g(x) f (x) + r, x [a, b].
Para ilustrar, considere o intervalo [0.5, 0.5], e as funes f (x) = 5x3 + 0.5x2 0.5x +
0.3 e g(x) = 1.1x+0.4. Temos que g B[f, r], com r = 0.5, pois para todo x [0.5, 0.5],
g est entre as faixas f (x)r = 5x3 +0.5x2 0.5x0.2 e f (x)+r = 5x3 +0.5x2 0.5x+0.8.
Como mostra a figura abaixo:

Figura 1.5: Grfico da funo g que pertence a faixa de amplitude 2r em torno de f no

intervalo [0, 5, 0.5]
1.3. Conjuntos Limitados 17

Agora, se g B(f ; r) ento f (x) r < g(x) < f (x) + r, x [a, b]. Observemos que,
por outro lado, mesmo que f (x) r < g(x) < f (x) + r, x [a, b], isto no garante que g
pertena B(f ; r), pois se sup |g(x) f (x)| = r, [a, b], ento g
/ B(f ; r).

Definio 1.22. Seja M um espao mtrico. Um ponto a M isolado de M se existe

uma bola em torno de a que no contm nenhum ponto de M, ou seja, existe r > 0 tal
que B(a; r) = {a}.

Observemos que um ponto a M no ser isolado significa afirmar que para todo
r > 0 pode-se encontrar um ponto a0 M, com a 6= a0 tal que 0 < d(a0 , a) < r, ou seja,
a0 B(a; r).

Definio 1.23. Quando todos os pontos de um espao mtrico M so pontos isolados,

chamamos M de discreto.

Proposio 1.24. Seja M um espao mtrico. Dados os pontos a, b M tais que a 6= b,

sejam r > 0 e s > 0 tais que r + s d(a, b). Ento as bolas abertas B(a; r) e B(b; s) so
disjuntas.

Demonstrao. Suponhamos por absurdo que as bolas abertas B(a; r) e B(b; s) no so

disjuntas, ou seja, existe x B(a; r) B(b; s). Ento teramos d(a, x) < r e d(x, b) < s.
Assim,
d(a, b) d(a, x) + d(x, b) < r + s d(a, b),

sendo que a primeira desigualdade decorre da condio (iv) de mtrica, e a ltima desi-
gualdade decorre da hiptese.
Logo, chegamos que d(a, b) < d(a, b), o que uma contradio. Portanto B(a; r) e
B(b; s) so disjuntas.

Corolrio 1.25. Sejam a, b pontos no espao mtrico M tais que a 6= b. Se r + s <

d(a, b),com r > 0 e s > 0, ento as bolas fechadas B[a; r] e B[b; s] so disjuntas.

Demonstrao. Suponha por absurdo que existe x B[a; r] B[b, s], ento d(a, x) r e
d(b, x) s. Temos que, como antes

d(a, b) d(a, x) + d(x, b) = d(a, x) + d(b, x) r + s < d(a, b),

Logo chegamos numa contradio, pois d(a, b) < d(a, b). Portanto, B[a; r] e B[b; s] so
disjuntas.

1.3 Conjuntos Limitados

Veremos agora uma generalizao para espaos mtricos da noo de conjuntos limitados
que j vimos na reta.
18 1. Espaos Mtricos: noes bsicas

Definio 1.26. Seja X 6= 0 um subconjunto de um espao mtrico M. Dizemos que X

limitado quando existe k > 0 constante tal que d(x, y) k para quaisquer x, y X.
Ao menor desses nmeros k chamamos de dimetro de X, denotado por diam(X). Isto ,
de acordo com a Definio 1.8, verifiquemos que faz sentido definir o diam(X) conforme

diam(X) = sup{d(x, y) | x, y X}, (1.10)

Pois escrevemos diam(X) = quando X no limitado.

Alm disso, quando diam(X) = , isto significa que, dado um k R qualquer,

existem pontos xk , yk X tais que d(xk , yk ) > k.
Podemos observar que se X limitado e Y X ento Y tambm limitado e
diam(Y ) diam(X). De fato, Se X limitado ento k > 0 tal que d(x, y) k,
x, y X. Sejam x0 , y0 Y , como por hiptese Y X ento x0 , y0 X. Logo,
d(x, y) k e portanto, Y tambm limitado. Alm disso, como Y X e pelo Lema 1.10
j verificado mais acima, temos que

sup{d(x0 , y0 ) | x0 , y0 Y } sup{d(x, y) | x, y X},

logo, diam(Y ) diam(X).

Exemplo 1.27. Toda bola B(a; r) em um espao mtrico um conjunto limitado e seu
dimetro no ultrapassa 2r. O mesmo vale para as bolas fechadas e esferas.
De fato, se x, y B(a; r), temos que d(x, a) < r e d(y, a) < r. Assim,

d(x, y) d(x, a) + d(a, y) = d(x, a) + d(y, a) < r + r = 2r.

Veja tambm que, dados x, y B[a; r], temos que d(x, a) r e d(y, a) r. Ento,

d(x, y) d(x, a) + d(a, y) r + r = 2r.

Da mesma forma, sejam x, y S(a; r), temos que d(x, a) = r e d(y, a) = r. Logo,

d(x, y) d(x, a) + d(a, y) = r + r = 2r.

Observe que nem sempre o dimetro 2r, pois pelo Exemplo 1.19 S(a; r) pode ser vazio.

Exemplo 1.28. Se X e Y so conjuntos limitados em um espao mtrico, ento X Y

limitado.
Para X = ou Y = no h o que fazer. Ento, seja a X um ponto fixado e outro
ponto b Y tambm fixado. Como X e Y so limitados, existem k1 > 0 e k2 > 0 tais que
d(x, a) k1 , x X e d(y, b) k2 , y Y . Ento, pondo k = k1 + k2 + d(a, b), temos
1.3. Conjuntos Limitados 19

que para x X e y Y arbitrrios:

d(x, y) d(x, a) + d(a, b) + d(b, y) k1 + d(a, b) + k2 = k

Logo, d(x, y) k, para todo x, y X Y e portanto X Y um conjunto limitado.

20 1. Espaos Mtricos: noes bsicas
 21

Captulo 2

Funes Contnuas

Neste captulo, estudaremos as funes entre espaos mtricos. Mais precisamente, as

funes contnuas, que, como veremos generalizam as funes contnuas da reta.

2.1 Definio
Trabalharemos com mtricas em dois ou mais espaos mtricos distintos. Vamos deno-
tar as distncias em cada um deles com a mesma letra d sempre que isso no causar
ambiguidade.
Sejam M, N espaos mtricos e f : M N uma funo. Podemos pensar intuitiva-
mente que a ideia de uma funo contnua quando pequenas variaes no domnio da
funo ocasionam pequenas variaes na imagem. Lembrando que para intervalos aber-
tos em termos de limites, continuidade em x0 significa que limxx0 f (x) = f (x0 ). Agora,
formalizando esse conceito dizemos:
A funo f : M N contnua no ponto x = x0 M quando, para todo > 0 dado,
existe > 0 tal que d(x, x0 ) < d(f (x), f (x0 )) < . Ou seja, quando dada qualquer
bola aberta B = B(f (x0 ), ) de centro f (x0 ), existe uma bola B = B(x0 , ), de centro
x0 , tal que f (B) B = B(f (x0 ), ). Dizemos que f : M N contnua quando for
contnua em todos os pontos de M. Vejamos exemplos de funes contnuas.

Exemplo 2.1 (Funo Lipschitziana).

Diante das diversas funes contnuas descamos as Funes Lipschitizianas por possuirem
algumas propriedades interessantes e que sero verificadas a seguir.
Sejam M, N espaos mtricos e f : M N uma funo. Dizemos que f uma funo
Lipschitziana se existir c > 0 constante, chamada constante de Lipschitz, tal que

d(f (x), f (y)) cd(x, y),

quaisquer que sejam x, y M. Afirmamos que funes Lipschitzianas so contnuas em

cada ponto a M.
22 2. Funes Contnuas

De fato, dado > 0 queremos encontrar um > 0 tal que satisfaa d(x, a) <
d(f (x), f (a)) < . Basta tomar = c . Pois d(x, a) < d(f (x), f (a)) cd(x, a) < c =
c( c ) = , sendo que a primeira desigualdade decorre da definio de funo Lipzchitziana.
Logo, f contnua.

Observemos que se as funes f, g : M R so Lipzchitzianas, f + g e kf , em

que k R, tambm so. Ento toda combinao linear k1 f1 + ... + kn fn de funes
Lipschitzianas Lipschitziana. De fato, como f, g : M R so Lipschitzianas, ento
existem c1 , c2 > 0 tal que |f (x) f (y)| c1 |x y| e |g(x) g(y)| c2 |x y|, para todo
x, y M. Assim,

|(f + g)(x) (f + g)(y)| =|f (x) + g(x) (f (y) + g(y))|

=|f (x) f (x) + g(x) g(y)|
|f (x) f (y)| + |g(x) g(y)|
c1 |x y| + c2 |x y| = c |x y|,

sendo c = c1 + c2 > 0. Assim, f + g Lipschitiziana. Do mesmo modo kf tambm

Lipschitiana, pois

|kf (x) kf (y)| =|k(f (x) f (y))| = |k||f (x) f (y)|

|k|c1 |x y| = c|x y|,

sendo c = |k|c1 > 0. Mostremos ento que a combinao linear k1 f1 + ... + kn fn

Lipschitiziana. Como f1 , ..., fn so funes contnuas, ento existem c1 , ..., cn > 0 tais que
para todo x, y M, temos que |f1 (x) f2 (x)| c1 |x y|, ..., |fn(x) fn (y)| cn |x y|.
Ento,

|k1 f1 (x) + ... + kn fn (x) (k1 f1 (y) + ... + kn fn (y))|

=|k1 f1 (x) k1 f1 (y) + ... + kn fn (x) kn fn (y)|
=|k1 (f1 (x) f1 (y)) + ... + kn (fn (x) fn (y))|
|k1 (f1 (x) f1 (y))| + ... + |kn (fn (x) fn (y))|
=|k1 ||(f1 (x) f1 (y))| + ... + |kn ||(fn (x) fn (y))|
|k1 |c1 |x y| + ... + |kn |cn |x y|
=(|k1 |c1 + ... + |kn |cn )|x y| = c|x y|,

sendo c = |k1 |c1 + ... + |kn |cn > 0. Logo, a combinao linear k1 f1 + ... + kn fn Lipschi-
tiziana.

Observemos tambm que seja f : I R uma funo real, diferenciavel e definida em

um intervalo I, existe c I tal que |f (x)| c, para todo x I. Ento, pelo Teorema do
2.1. Definio 23

Valor Mdio, dados quaisquer a, b I, existe x entre a, b tal que

|f (a) f (b)| = |f (x)|a b| |f (x)||a b| c|a b|.

Logo, toda funo com derivada limitada em um intervalo Lipschitiziana.

Exemplo 2.2 (Contrao e Contrao Fraca).

O conceito de contrao ser essencial para provar o Teorema do Ponto Fixo de Banach.
Sejam f : M N uma funo e M, N espaos mtricos. Definimos f uma contrao
se f for Lipschitziana com 0 < c < 1. E quando c = 1 denominamos f como sendo uma
contrao fraca. Logo a funo f contnua, pois Lischitiziana.
Considere uma funo g : M R por g(x) = d(x, X). Verifiquemos que g uma
contrao fraca, e portanto contnua. De fato,

d(g(x), g(y)) = |g(x) g(y)| = |d(x, X) d(y, X)| d(x, y).

segue que a ltima desigualdade decorre do Lema 2.4. Logo, provamos que g uma
contrao fraca.

Agora, vamos definir distncia de um ponto a um conjunto antes de provar o lema

2.4 abaixo. Dados x0 M e X M, temos que a distncia de x0 a X, denotado por
d(x0 , X), definido por

d(x0 , X) = inf{d(x0 , x), x X}.

Isto est bem definido, pois o conjunto {d(x0 , x), x X} limitado inferiormente.

Lema 2.3. Se a , > 0, ento a 0.

Demonstrao. De fato, se a < 0 bvio. Ento verifiquemos, a 0. Suponha por

absurdo que a > 0, e tome = a2 0 < a = a2 , implica que a = a . Absurdo, pois
por hiptese a =
6 0. Logo, a 0.

Lema 2.4. Seja M um espao mtrico. Dados X M e x0 , y0 M vale

|d(x0 , X) d(y0 , X)| d(x0 , y0 ).

Demonstrao. Dado > 0, pela definio de nfimo 1.8, existe x X tal que d(x0 , x) <
d(x0 , X) + d(x0 , X) < d(x0 , x) + . Para este x tambm vale (pela definio de
nfimo 1.8) d(y0, X) d(y0, x). Logo,

d(y0, X) d(x0 , X) d(y0 , x) d(x0 , x) + d(x0 , y0) + ,

em que usamos a propriedade (iv) de mtrica na ltima desigualdade.

24 2. Funes Contnuas

Portanto, d(y0 , X) d(x0 , X) d(x0 , y0 ) + . Como vale para todo , ento como
visto no Lema 2.3 acima, d(y0 , X) d(x0 , X) d(x0 , y0 ).

Exemplo 2.5 (Descontinuidade).

Seja M, N espaos mtricos. Dizemos que uma funo f : M N descontnua no
ponto a quando ela no contnua em a. Isto , existe > 0, para todo > 0, pode se
obter x M tal que d(x , a) < e d(f (x ), f (a)) .
Considere : R R uma funo em que (x) = 1 se x Q e (x) = 0 se x / Q. Em
1
qualquer ponto a R, descontnua. De fato, basta tomar = 2 , ento dado > 0,
tomemos x tal que |x a| < , sendo x Q se a
/ Q ento |(x ) (a)| = |0 1| =
1
1 2
= .(E temos o mesmo resultado sendo x
/ Q se a Q)

Proposio 2.6. Sejam f e g funes contnuas. Se f : A B contnua no ponto a,

e g : B C contnua no ponto f (a), ento g f : A C contnua no ponto a. Ou
seja, a composta de duas funes contnuas contnua.

Demonstrao. verifiquemos que a composta de duas funes contnuas contnua. Seja

> 0 dado. Como, por hiptese, g contnua em f (a), podemos obter > 0 tal que para
yM
d(y, f (a)) < d(g(y), g(f (a))) < . (2.1)

Agora, para o > 0 acima, como f contnua no ponto a, por hiptese, podemos obter
> 0 tal que
d(x, a) < d(f (x), f (a)) < ,

da, de 2.1,segue que

d(g(f (x), g(f (a))) < ,

Logo, provamos que a composta de duas funes contnuas tambm contnua.

Corolrio 2.7. Sejam M um espao mtrico e um conjunto X M. Se f : M N

contnua no ponto a X ento f |X : X N contnua no ponto a.

Demonstrao. A restrio f |X uma composio do tipo f i, onde i : X M uma

funo de incluso, ou seja, i(x) = x, com x X. Assim, d(i(x), i(a)) = d(x, a), em
particular, d(i(x), i(a)) d(x, a), logo i uma contrao fraca e portanto uma funo
contnua. Como por hiptese f contnua, a Proposio 2.6 nos garante que a composio
f i contnua. Logo, f |X contnua.
 25

Captulo 3

Conceitos e Noes de Topologia

3.1 Conjuntos Abertos

Sejam M um espao mtrico e um subconjunto X M. Dizemos que a X um ponto
interior a X quando existe r > 0 tal que a bola aberta de raio r centrada em a est toda
contida em X, ou seja, quando existe r > 0 tal que d(x, a) < r ento x X. Assim, o
ponto b X no interior a X se existir algum ponto que no pertence a X em toda
bola aberta de centro b.
Definimos a fronteira de X em M (denotamos pelo conjunto X), o conjunto formado
pelos pontos b M tais que toda bola aberta de centro b contm uma parte pertencente
a X e a outra no seu complementar M X.

Exemplo 3.1. Na reta, o interior do intervalo [0, 1) o intervalo aberto (0, 1) e sua
fronteira so os pontos 0, 1 somente.
De fato, se a (0, 1), ou seja, 0 < a < 1, e tomando r = min{a, 1 a}, ento
garantimos que (a r, a + r) [0, 1). Logo a ponto interior de [0, 1). Como todo
intervalo aberto de centro 0 contm nmeros negativos e nmeros entre [0,1), ento 0
fronteira de [0, 1). Agora, notamos que 1
/ [0, 1), mas todo intervalo aberto de centro
em 1 contm nmeros positivos menores do que 1 e menores do que 1, assim 1 [1, 0).
Os nicos pontos pertencentes a fronteira so 0 e 1, pois para qualquer outro nmero
a, conseguimos intervalos abertos contidos em a ou totalmente contidos em [0, 1) ou no
interceptados [0, 1).

Exemplo 3.2. Seja Q o conjunto dos nmeros racionais. No existe ponto interior de
Q em R, pois no existe intervalo aberto formado apenas por nmeros racionais, ou seja,
qualquer intervalo aberto contm nmeros racionais e irracionais, logo a fronteira de Q
toda a reta R.

Definio 3.3. Sejam um espao mtrico M e um subconjunto A M, dizemos que

A aberto em M se todos seus pontos forem pontos interiores. Assim, A aberto
A A = para cada x A, podemos obter um raio r > 0 tal que B(x; r) A.
26 3. Conceitos e Noes de Topologia

Lema 3.4. Sejam A e B conjuntos abertos, ento A B aberto.

Demonstrao. Se A aberto, ento para cada a A, existe rA > 0 tal que B(a; rA ) A.
Do mesmo modo, se B aberto, ento para cada b B, existe rB > 0 tal que B(b; rB ) B.
Seja A B 6= ento existe x A B, ou seja, x A e x B. Como A e B so abertos,
existem rA , rB > 0 tais que B(x; rA ) A e B(x, rB )subsetB. Tomando r = min{rA , rB },
ento B(x; r) B(x; rA ) A e B(x; r) B(x; rB ) B. Logo, B(x; r) A B.
Portando, A B aberto.

Proposio 3.5. Em um espao mtrico M qualquer, uma bola aberta B(a; r) um

conjunto aberto.

Demonstrao. Seja x B(a; r), ento d(a, x) < r. Assim, s = r d(a, x) um nmero
positivo.
Afirmao: B(x; s) B(a; r). De fato, seja y B(x; s), ento d(x, y) < s e portanto
d(a, y) d(a, x) + d(x, y) < d(a, x) + s = r. Logo, y B(a; r).

Exemplo 3.6. Seja M um espao mtrico, o conjunto {a} M um conjunto aberto

em M se, e somente se, a um ponto isolado. De fato, se {a} aberto, ento x {a},
existe > 0 tal que B(x; ) {a} > 0 tal que B(a; ) {a}. Como {a} B(a, ),
ento {a} = B(a, ). Logo, pela definio 1.22, a ponto isolado.
Reciprocamente, Se a um ponto isolado em M, ento pela definio 1.22, existe
> 0 tal que B(a; ) = {a} ento B(a; ) {a} ento x {a}, existe > 0 tal que
B(x, ) {a}. Logo, {a} aberto.

Exemplo 3.7. Em qualquer espao mtrico M, o complementar de uma bola fechada

B[a; r] = {x M | d(x, a) r} um conjunto aberto A = M B[a; r] = {x M |
d(x, a) > r}.
Primeiramente, verifiquemos que A um conjunto aberto. Seja b A, ou seja,
d(a, b) > r. tomemos um nmero k de modo que r + k < d(a, b). E pelo Corolrio 1.25
sabemos que as bolas fechadas B[a; r] e B[b; k] so disjuntas. E que B[a; r] B(b; k) = ,
ou seja, B(b; k) M B[a; r]. Logo, todo ponto b A interior, e portanto, A
aberto. Agora, seja H = {a1 , .., an }um subconjunto finito qualquer de M, se b M H
e r = min{d(b, a1 ), ..., d(b an )} > 0 ento a bola aberta B(b; r) no contm nenhum dos
pontos a1 , .., an , ou seja, B(b; r) M H. Logo, M H que complementar de H
aberto em M.

Proposio 3.8. Sejam M, N espaos mtricos. A funo f : M N contnua,

se, e somente se, a imagem inversa f 1 (A ) de todo subconjunto aberto A N um
subconjunto aberto de M.

Demonstrao. Suponhamos que f seja contnua, queremos mostrar que dado A aberto
em N, f 1 (A ) aberto em M. De fato, para cada a f 1 (A ), temos que f (a) A da,
3.2. Conjuntos Fechados 27

por definio, existe > 0 tal que B(f (a); ) A . Sendo f contnua em a, segue que por
definio, existe > 0 tal que f (B(a; )) B(f (a); ) A , ou seja, B(a; ) f 1 (A ).
Logo, f 1 (A ) aberto.
Reciprocamente, verifiquemos a volta, ou seja, suponhamos que f 1 (A ) de cada A
N aberto seja um aberto em M. Queremos mostrar que f contnua. De fato, seja
a M. Dado > 0, a bola B(f (a); ) um aberto em N. Logo, f 1 (A ) aberto em M,
contendo a, ento, existe > 0 tal que B(a; ) f 1 (A ), ou seja, f (B(a; )) B(f (a); ).
E portanto, f contnua em a.

Exemplo 3.9. Sejam f, g : M N contnuas. O conjunto A = {x M | f (x) 6= g(x)}

aberto em M.
De fato, seja x0 A, ento f (x0 ) 6= g(x0 ). Assim, d(f (x0 ), g(x0 )) > 0. Sejam
rf > 0, rg > 0, satisfazendo d(f (x0 ), g(x0)) > rf +rg . Pela Proposio 1.24, B(f (x0 ); rf )
B(g(x0 ); rg ) = . Considere o conjunto B = f 1 (B(f (x0 ); rf )) g 1 (B(g(x0 ); rg )), que
aberto, pois f, g so contnuas, imagem inversa de aberto aberto, interseo de aberto
aberto. Como x0 B existe r > 0 tal que B(x0 , r) B. Afirmao: B A. De fato,
se x B ento x f 1 (B(f (x); rf )) e x g 1(B(g(x); rg )), ou seja, f (x) B(f (x); rf )
e g(x) B(g(x); rg ). Ento, f (x) 6= g(x), logo, x A.
Portanto, B(x0 ; r) A, prova que A aberto.

3.2 Conjuntos Fechados

Um ponto aderente a um subconjunto A de um espao mtrico M definido como um
ponto a quando existem pontos de A arbitrariamente prximos de a, ou seja, d(a, A) = 0,
isto , paratodo > 0 dado, existe x A tal que d(a, x) < . Ou equivalentemente:

(i) > 0, existe x B(a; ) A;

(ii) para todo aberto A contendo a, tem-se A A 6= ;

(iii) toda vizinhana de a tem pontos em comum com A.

Exemplo 3.10. Todo ponto a A aderente a A. Do mesmo modo, os pontos da

fronteira de A tambm so aderentes a A. Observemos o Exemplo 3.1, no intervalo [0, 1),
0 aderente, pois 0 [0, 1) ou por ser ponto de fronteira. Alm disso, 1 tambm
aderente, pois tambm fronteira.

Chamamos de fecho ou aderncia de um conjunto A em um espao mtrico M, o

conjunto A dos pontos de M que so aderentes a A. Assim, a A significa que o ponto
a aderente a A em M. Notemos que = , M = M e A A para todo A M. Alm
disso, X Y ento X Y , pois X X e Y Y .

Definio 3.11. Dizemos que um conjunto F contido no espao mtrico M fechado

em M, se seu complementar M F for aberto em M.
28 3. Conceitos e Noes de Topologia

Relacionando o conceito de aderncia e fechado, segue a proposio abaixo:

Proposio 3.12. Seja F M um conjunto, F fechado se, e somente se, contm todos
os pontos aderentes, ou seja, F = F .

Demonstrao. Mostremos a ida. Temos que f fechado, ou seja, M F aberto, o que

significa que para todo a M F existe r > 0 tal que Ba; r) M F . Assim, para
todo a M F , existe B(a; r) que no contm pontos de F . Logo, esses pontos que no
pertencem a F tambm no so aderentes a ele, pois B(a; r) F = . Agora, provemos
a volta, ou seja, F contm todos os seus pontos aderentes de F . Assim, os pontos que
no pertencem a F tambm no so aderentes a ele, ou seja, para todo a M F ,
podemos encontrar B(a; r) F = . Ento, para todo a M F , existe r > 0 tal que
B(a; r) M F , ou seja, M F aberto, e portanto F fechado.

Exemplo 3.13. Seja M um espao mtrico, toda bola fechada B[a; r] um subconjunto
fechado de M.
De fato, toda bola fechada B[a; r], de acordo com o Exemplo 3.7, tem que seu com-
plementar um conjunto aberto, logo, pela Definio 3.11 garantimos que B[a; r] M
um conjunto fechado.

Exemplo 3.14. A fronteira X de qualquer conjunto X M um subconjunto fechado

de M.
De fato, o conjunto X contm os seus pontos aderentes, pois todos so pontos de
fronteira de X. De acordo com a Proposio 3.12 acima podemos garantir ento que o
conjunto X fechado.

Proposio 3.15. Sejam M, N espaos mtricos. A funo f : M N contnua

se, e somente se, a imagem inversa f 1 (F ) de todo conjunto fechado F N seja um
subconjunto fechado de X.

Demonstrao. Suponha, primeiramente, que f contnua. Provemos que a imagem

inversa de todo conjunto fechado F N fechado em M. Como F N fechado, ento
c
por definio o complementar de F (denotado por F ) aberto, pela Proposio 3.8
c c
f 1 (F ) = f 1 (F ) aberto, logo, f 1 (F ) fechado. A ltima igualdade ser verificada
na observao abaixo.
Reciprocamente, suponha que a imagem inversa de todo conjunto fechado em N fe-
chado em M. Mostremos que f contnua. Dado A N aberto, ento seu complementar
c c
fechado. Da f 1 (A ) = f 1 (A) (igualdade verificada na observao abaixo) fechado
c
em M, e o complementar de f 1 (A) aberto, logo, f 1 (A) aberto. Portanto, pela
Proposio 3.8, f contnua.

Observao 3.16. Seja F um conjunto e F c seu complementar, queremos mostrar a se-

guinte igualdade:
c
f 1 (F c ) = [f 1 (F )] .
3.2. Conjuntos Fechados 29

c
De fato, primeiramente, mostremos que f 1 (F c ) [f 1 (F )] . Seja x f 1 (F c ), pela
definio de imagem inversa, temos que f (x) F c . Pela definio de complementar, temos
c c
que f (x)
/ F , logo x
/ f 1 (F ), e portanto x [f 1 (F )] . Logo, f 1 (F c ) [f 1 (F )] .
c c
Agora, mostremos que [f 1 (F )] f 1 (F c ). Seja x [f 1 (F )] , usando a definio
de complementar, segue que x / f 1 (F ). Assim, f (x) / F , ou seja, f (x) F c , logo
c
x f 1 (F c ). Portanto, [f 1 (F )] f 1 (F c ).
c
Assim, provamos que f 1 (F c ) = [f 1 (F )] .

Exemplo 3.17. Fazendo contraponto com o Exemplo 3.9, sejam f, g : M N contnuas

e
C = {x M | f (x) = g(x)},

ento C fechado.
De fato, seja x M, se x C ento f (x) = g(x), mas se x
/ C, pela definio de
complementar x M C, ou seja, f (x) 6= g(x). Lembrado do Exemplo 3.9 o conjunto
A = {x M | f (x) 6= g(x)} segue que M = A C unio disjunta. Assim, C = M A
e A = M C, ou seja, C complementar de A e vice-versa. Logo C fechado, pois seu
complementar A aberto, uma vez que f e g so contnuas e o resultado do Exemplo 3.9.

Tabela 3.1: Contrapontos

ABERTO FECHADO
Ponto interior Ponto aderente
Interior a A Fecho de F
f contnua f (A) aberto
1
f contnua f 1 (F ) fechado
para todo A aberto para todo F fechado
f, g contnuas, ento aberto f, g contnuas, ento fechado
A = {x M | f (x) 6= g(x)} C = {x M | f (x) = g(x)}

Definio 3.18. Sejam M um espao mtrico e um conjunto X M. Um ponto a M

dito ponto de acumulao de X, quando toda bola de centro a contm algum ponto
de X diferente de a. Chamamos de derivado do conjunto X o conjunto de pontos de
acumulao de X em M, e representado por X .
Observemos que nem todo ponto de aderncia ponto de acumulao, por exemplo
considere o conjunto X = a possui s um elemento, como a X ento aderente, mas
no de acumulao, pois no h nenhum outro elemento diferente de a em X.
30 3. Conceitos e Noes de Topologia
 31

Captulo 4

Sequncias

4.1 Limite de Sequncias

Definio 4.1. Uma sequncia x em um conjunto M uma funo x : N M que a
cada nmero n N associa um valor da sequncia que chamamos o n-simo termo da
sequncia e denotamos por xn .

x :N M
n 7 xn

O conjunto dos termos da sequncia ser indicado por {xn : n N} e a sequncia, por
(xn ).

Observemos que se x : N M for injetiva, ou seja, m 6= n xm 6= xn , ento (xn )

uma sequncia de termos distintos, isto , sem repeties.

Definio 4.2. Seja (xn ) uma sequncia, dizemos que uma subsequncia de xn , denotada
por (xnk )kN ou (xnk ), funo (xn ) restrita a {n1 < n2 < ... < nk < ...} um subconjunto
infinito de N, ou seja, so escolhidos, ordenadamente, alguns valores de (xn ) que associa,
de modo natural, 1 7 xn1 , 2 7 xn2 , ..., k 7 xnk , ... e assim formam uma nova sequncia.

Definio 4.3. Dada (xn ) uma sequncia num espao mtrico M, dizemos que o ponto
a M limite da sequncia (xn ) se, para qualquer > 0 dado, pode-se encontrar n0 N
tal que n > n0 d(xn , a) < . Escrevemos, lim xn = a ou limn xn = a. Dizemos
tambm que xn tende para a, denotado por xn a.
Equivalentemente, podemos afirmar que toda bola B de centro a contm xn para todo
valor de n > n0 , ou seja, apenas os pontos x1 , .., xn0 podem no pertencer a bola B.
A sequncia (xn ) M convergente em M, se existir a = lim xn M, e converge
para a. Por outro lado, se no existir o limite de (xn ) M, ento a sequncia dita
divergente em M.
32 4. Sequncias

Exemplo 4.4. Seja x : N R uma sequncia de nmero reais definida em n N por

xn = n1 , temos que lim xn = 0.
De fato, dado > 0, usando o propriedade de que N no limitade em R, tomemos
n0 > 1 n10 < , note que para n > n0 > 0 0 < n1 < n10 < . Ento, > 0 dado,
existe n0 N tal que n > n0 | n1 0| = | n1 | < .

Definio 4.5. Uma sequncia (xn ) em um espao mtrico M limitada se seu conjunto
de termos limitado, ou seja, se existe c > 0 tal que d(xm , xn ) c para quaisquer
m, n N.

Observao 4.6. Toda subsequncia de uma sequncia limitada limitada.

De fato, por hiptese a sequncia limitada, ou seja, existe c > 0 tal que d(xm , xn ) c
para quaisquer m, n N. Como a subsequncia formada por termos da sequncia, ento
quaisquer dois termos que escolha da subsequncia ter a d(xnt , xnk ) c, com t, k N,
logo, a subsequncia tambm limitada.

Proposio 4.7. Toda sequncia convergente limitada.

Demonstrao. Seja (xn ) uma sequncia em um espao mtrico M. Considere que ela
tenda pra a ento lim xn = a. Tomando = 1, obtemos n0 N tal que n > n0 xn
B(a; 1). Logo, a sequncia est contida (por definio) em {x1 , ..., xn0 } B(a; 1). Como
ambos so limitados, ento a sequncia limitada.

Observe que a recproca da Proposio 4.7 acima nem sempre vale, o que mostra o
exemplo a seguir:

Exemplo 4.8. A sequncia x : N R, definida por xn = (1)n limitada por 1, no

entanto no convergente, pois o limite varia de acordo com o valor de n,ou seja, poder
ter limites distintos j que para n par lim xn = 1, e para n mpar lim xn = 1. Logo, a
recproca da Proposio 4.7 anterior no verdadeira.

Proposio 4.9 (Unicidade do Limite).

Uma sequncia no pode convergir para dois valores distintos.

Demonstrao. Seja (xn ) uma sequncia no espao mtrico M. Suponhamos que existam
a, b M distintos tais que lim xn = a e lim xn = b. Assim, para todo > 0 dado, existe
n0 N tal que n > n0 d(xn , a) < . Do mesmo modo, existe tambm n1 N tal que
n > n1 d(xn , b) < . Tomando m = max{n0 , n1 }, para todo n > m, segue que:

d(a, b) d(a, xn ) + d(xn , b) < + = 2.

Ento d(a, b) < 2, como vale para todo , pelo Lema 2.3, ento 0 d(a, b) 0
d(a, b) = 0. Pela condio (i) de mtrica, temos que a = b.

Proposio 4.10. Se lim xn = a ento toda subsequncia de (xn ) converge para a.

4.2. Convergncia e Topologia 33

Demonstrao. Como a sequncia xn tende para a, ento > 0 dado, existe n0 N tal
que n > n0 d(xn , a) < . Tomemos k0 tal que nk0 n0 , para todo k > k0 nk >
nk0 n0 d(xnk , a) < . Logo, toda subsequncia de (xn ) tambm converga para a.

Corolrio 4.11. Se lim xn = a ento, para todo m N, tem-se lim xn+m = a.

Demonstrao. De fato, (xn+m ) = (xn+1 , xn+2 , ...) uma subsequncia de (xn ). Logo,
pela proposio acima lim xn+m = a.

Corolrio 4.12. Se lim xn = a, com a 6= b, ento existe n0 N tal que n > n0 xn 6= b.

Demonstrao. Se a 6= b ento d(a, b) > 0. Suponha que a < b. Tome = b a > 0.

Ento como a = lim xn , ento existe n0 N tal que

n > n0 |xn a| < b a (b a) < xn a < b a xn < b.

Logo, xn 6= b. Se agora, b < a, ento pelo mesmo processor chegaremos que xn > b, ou
seja, xn 6= b.

Exemplo 4.13. Se uma sequncia (xn ) possui duas subsequncias que convergem para
limites distintos, ento (xn ) divergente.
De fato, segue da Proposio 4.10, que se a sequncia (xn ) converge para a, ento
toda subsequncia de (xn ) tambm convergir para a. De acordo com a Proposio 4.9
esse limite nico, ou seja, a subsequncia no pode convergir para outro valor b 6= a.
Portanto, se cada subsequncia converge para um valor, ambos distintos, e como o limite
da sequncia nico. Ento a sequncia divergente.

Proposio 4.14. Uma sequncia zn = (xn , yn ), no produto cartesiano M N de espaos

mtricos, converge para o ponto c = (a, b) M N se, e somente se, lim xn = a em M
e lim yn = b em N.

Demonstrao. Mostremos inicialmente que se lim zn = c ento lim xn = a e lim yn = b.

Para todo > 0, existe n0 N tal que n > n0 ento d(zn , c) < , assim d(zn , c) =
max{d(xn , a), d(yn , b)} < . Ento, para todo > 0, existe n0 N tal que n > n0 ento
d(xn , a) < , e d(yn , b) < . Isto , lim xn = a e lim yn = b.
Reciprocamente, suponha que lim xn = a em M e lim yn = b em N. Ou seja, dado
existe n0 N tal que n > no ento d(xn , a) < e existe n1 N tal que n > n1
ento d(yn , b)) < . Tome n = max{n0 , n1 }. Ento para n > n temos que d(zn , c) =
max{d(xn , a), d(yn , b)} < , portanto lim zn = c.

4.2 Convergncia e Topologia

Lema 4.15. Seja (xn ) tal que para todo n N, d(xn , a) n1 . Ento lim xn = a.
34 4. Sequncias

Demonstrao. Dado > 0, pelo Exemplo 4.4, existe n0 N tal que n1 < , para todo
n > n0 . Por hiptese, d(xn , a) < n1 < , para todo n > n0 , provando o lema.

Proposio 4.16. Sejam N, M espaos mtricos. A funo f : M N contnua no

ponto a se, e somente se, para toda (xn ) que converge para a em M ento f (xn ) converge
para f (a) em N.

Demonstrao. Primeiramente, considere por hiptese que f contnua e verifiquemos

que xn a ento f (xn ) f (a). Dado > 0, existe > 0 tal que d(x, a) < ento
d(f (x), f (a)) < , pois f contnua em a. Se xn a, ento podemos obter n0 N
tal que n > n0 ento d(xn , a) < ento d(f (xn ), f (a)) < . Logo, lim xn = a ento
lim f (xn ) = f (a).
Para mostrar a volta, suponha por absurdo que f no contnua, ou seja, existe > 0
tal que, para cada n N, podemos obter xn M, com d(xn , a) < n1 , e d(f (xn ), f (a)) .
Isto , obtemos xn a (pelo Lema 4.15) sem que f (xn ) convirja para f (a).

Proposio 4.17. Seja M um espao mtrico, A M, a A se, e somente se, a for

limite de uma sequncia xn A.

Demonstrao. Provaremos, primeiramente, que lim xn = a. Por hiptese a A, ento

1
para todo > 0, existe x B(a, ) A, tomemos = n
. Para cada um deles, existe
xn B(a, n1 ) A. Portanto (xn ) A.
Afirmao: lim xn = a. De fato, pois d(xn , a) < n1 .
Reciprocamente, que a A. Por hiptese temos que lim xn = a, com xn A.
Ento, para todo > 0 dado, existe n0 N tal que n n0 d(xn , a) < , ou seja,
xn B(a; ) A. Logo, a A, pois dado > 0, existe xn B(a; ) A.

Corolrio 4.18. A M fechado se, e somente se, para toda sequncia (xn ) A tal
que lim xn = a, ento a A.

Demonstrao. Suponhamos que A seja fechada e verifiquemos que se lim xn = a, ento

a A. Por hiptese A fechado, ou seja, todos os pontos de A so aderentes. Como
(xn ) A e lim xn = a, ento a A, pela Proposio 4.17.
Agora, provemos a recproca, isto , suponha que toda sequncia (xn ) A tal que
lim xn = a, ento a A. Suponhamos por absurdo que A no fechado, isto , A
no est contido em A, ento existe a A tal que a
/ A. Pela Proposio 4.17, existe
sequncia (xn ) A tal que xn a. Mas por hipteses, a A, absurdo.

Lema 4.19. Se a ponto de acumulao de A, ento > 0, existem infinitos x

B(a; ) A {a}

Demonstrao. Dado > 0 fixado, sabemos que existe x1 B(a; ) A {a}. Con-
sideremos r1 = d(a, x1 ) > 0. Como a ponto de acumulao de A, seque que existe
x2 B(a, r1 ) A {a}.
4.3. Sequncias de Cauchy 35

Afirmao: x2 6= x1 , pois d(x2 , a) < r1 e d(x1 , a) = r1 .

Ento j sabemos que existem x2 6= x1 B(a; ) A {a}. Provando por induo, su-
ponha que escolhidos x1 , x2 , x3 , ..., xn B(a; ) tais que r1 = (a, x1 ), r2 = d(a, x2 ), ..., rn =
d(a, xn ) satisfaam r1 > r2 > ... > rn > 0. Escolhamos agora xn+1 , como a ponto de
acumulao de A, existe xn+1 B(a; rn ) A {a}. Tomemos rn+1 = d(a, xn+1 ) > 0,
claro que rn > rn+1 > 0, isto , por induo, seque que existe x1 , x2 , ... todos disntintos
tais que xn B(a, ) A {a}.

Proposio 4.20. Dado A um subconjunto de um espao mtrico M, a ponto de acumu-

lao de A se, e somente se, existe uma sequncia (xn ) A de pontos distintos (xn 6= xn
se n 6= n ) tal que lim xn = a.

Demonstrao. Provaremos primeiro a recproca, ou seja, queremos mostrar que a ponto

de acumulao de A. Note que a sequncia de pontos distintos (xn ) A tal que lim xn = a,
isto , > 0 dado, existe n0 N tal que n > n0 d(xn , a) < xn B(a; ) A. O
que implica que existem infinitos xn distintos em B(a; ) A. Logo, existem infinitos xn
em B(a; ) A {a}, e portanto a ponto de acumulao de A.
Agora, provaremos que lim xn = a. Assumindo que a ponto de acumulao, ou seja,
pelo Lemma 4.19 acima, existem infinitos x B(a; ) A {a}. Consideremos n da
forma n1 . Assim, n > 0, teremos infinitos x tais que x B(a, n1 ) A {a}. Escolha
xn , xn1 , xn2 , ..., x1 todos dinstintos na interseo. Escolhendo xn+1 , distintos de todos
1
os anteriores, em B(a; n+1 ) A {a}, teremos, por induo, uma sequncia (xn ) A de
elementos todos distintos, tal que xn B(a; n1 ). Portanto, lim xn = a, pelo Lema 4.15.

4.3 Sequncias de Cauchy

Uma das sequncias em Espaos Mtricos que podemos destacar a que chamamos
Sequncias de Cauchy por possuir a interessante caracterstica de que seus termos vo
se aproximando uns dos outros tanto quanto se queira medida que cresce o indice n. A
definio precisa a seguinte:

Definio 4.21. Seja M um espao mtrico. Uma sequncia (xn ) M dita sequncia
de Cauchy se, para todo > 0 dado, existe n0 N tal que m, n > n0 d(xm , xn ) < .
Tomando n como o menor entre m, n, e definindo m = n + p, a sequncia de Cauchy
tambm pode ser definida da seguinte maneira: para todo > 0, existe n0 N tal que
partir dele todo n > n0 implica que d(xn , xn+p ) < , para qualquer p N.

Observemos que toda subsequncia de uma sequncia de Cauchy tambm de Cauchy.

De fato, se (xn ) de Cauchy ento para todo > 0, existe n0 N tal que d(xm , xn ) < ,
para qualquer m, n > n0 . Como todo termo da subsequncia tambm termo de (xn ),
temos que d(xnp , xnk ) < , para todo np , nk > n0 . Logo, a subsequncia de Cauchy.
36 4. Sequncias

Podemos observar tambm que quando uma sequncia tem limite igual a a, isto sig-
nifica que os termos da sequncia esto se aproximando de a tanto quanto se queira, o
que nos faz pensar que consequntemente eles devem se aproximar um dos outros tanto
quanto se deseja. Temos que a prxima afirmao nos mostra justamente isso.

Proposio 4.22. Toda sequncia convergente de um espao mtrico de Cauchy

Demonstrao. Seja M um espao mtrico e (xn ) uma sequncia que converge para a.
Assim, dado > 0, existe n0 N tal que n > n0 implica que d(xn , a) < 2 . Se m, n > n0 ,
temos

d(xm , xn ) d(xm , a) + d(a, xn ) = d(xm , a) + d(xn , a) < + = .
2 2
Logo, a sequncia (xn ) de Cauchy.

Exemplo 4.23. Sendo M = Q (o conjunto dos nmeros racionais com a mtrica dada
pelo mdulo), a sequncia

x1 =1
x2 =1, 41
x3 =1, 414
x4 =1, 414
x5 =1, 4142
x6 =1, 41421
..
.

uma sequncia de Cauchy. Esta sequncia, em R, converge a 2. Logo, em Q, ela no

pode convergir, pois 2
/ Q.

Proposio 4.24. Se uma sequncia (xn ) M de Cauchy e existe (xnk ) subsequn-

cia convergente, ento (xn ) tambm convergente. Em particular, (xn ) converge para o
mesmo limite de (xnk ).

Demonstrao. Sejam (xn ) uma sequncia de Cauchy em um espao mtrico M e (xnk )

uma subsequncia de (xn ) que converge para a M. Ento para todo > 0, existe
n1 N tal que m, n > n1 implica que d(xm , xn ) < 2 , e existe k2 N tal que nk > k2
implica que d(xnk , a) < 2 . Consideremos k > k2 tal que nk > n1 . Para todo n > n1 segue
que

d(xn , a) d(xn , xnk ) + d(xnk , a) < + = .
2 2
Logo, a sequncia (xn ) converge para a.

Lema 4.25. Toda sequncia de Cauchy num espao mtrico limitada.

4.3. Sequncias de Cauchy 37

Demonstrao. Seja (xn ) uma sequncia de Cauchy no espao mtrico M. Ento, para
todo > 0, existe n0 N tal que m, n > n0 implica que d(xm , xn ) < . Tome = 1,
segue que o conjunto {xn0 +1 , xn0 +2 , ...} limitado e, alm disso, tem dimetro menor ou
igual a 1. Observemos que,

{x1 , x2 , ..., xn , ...} = {x1 , ..., xn0 } {xn0 +1 , xn0 +2 , ...}.

Logo, como {x1 , ..., xn0 } limitada, ento a unio limitada. E portanto, a sequncia
(xn ) limitada.

Lema 4.26. Em (R, | |), toda sequncia limitada tem subsequncia convergente.

Demonstrao. Seja (xn ) uma sequncia limitada, ou seja, existe N, M R tal que N
(xn ) M, para todo n N. Se {xn | n N} for finito, ento existe xnk constante.
Suponhamos que {xn | n N} seja infinito e seja A = {r R tal que exista somente uma
quantidade finita de elementos xn tal que xn < r}. Observe que N A e, se r A ento
todo s r tambm percente a A. Como M
/ A, segue que M um limitante superior
de A 6= 0, ento existe = sup A.
Afirmao: Existe subsequncia (xnk ) tal que limk xnk = .
Da fato, dado 1 = 1, como 1 < , existe r A tal que 1 r, ento s existe
finitos xn < r, e assim existem infinitos xn tal que xn > 1. Por outro lado +1 > , ou
seja, + 1
/ A, e portanto existem infinitos xn tal que xn < + 1. Ento existem infintos
xn em ( 1, + 1). Escolha xn1 neste intervalo. Tome, agora, 2 = 21 . Como 12 < ,
ento existem infinitos xn tal que xn > 21 . Tambm + 12 > , ento existem infinitos
xn tal que xn < + 21 , e assim, existem infinitos xn tal que xn ( 12 , + 12 ). Escolha
xn2 6= xn1 com n2 > n1 . Repetindo o procedimento para k = k1 , suponha por induo
que existam n1 < n2 < ... < nk tal que

1 1 1 1
xn1 ( 1, + 1), xn2 ( , + ), , xnk ( , + ).
2 2 k k
1 1
Continuando para xnk+1 , existe xnk+1 6= xnk tal que xnk+1 ( k+1 , + k+1 ). Portanto,
1
existe (xnk ) tal que |xnk | < k . Logo, xnk converge para , pelo Lema 4.15.

Definio 4.27. Um espao mtrico M chamado completo quando toda sequncia de

Cauchy em M convergente.

Corolrio 4.28. O conjunto R um espao mtrico completo.

Demonstrao. Seja (xn ) uma sequncia de Cauchy em R. Ento pelo Lema 4.25 (xn )
limitada. Segue do Lema 4.26 que (xn ) tem subsequncia (xnk ) convergente. Assim,
como (xn ) de Cauchy e existe subsequncia (xnk ) convergente, ento pela Proposio
4.24 (xn ) convergente. Logo, pela Definio 4.27 R um espao mtrico completo.
38 4. Sequncias
 39

Captulo 5

Pontos Fixos

5.1 Teorema do Ponto Fixo

Definio 5.1.
Dado f : M M, x M dito ponto fixo de f quando f (x) = x.

Exemplo 5.2 (Teorema 1 do Ponto Fixo).

Seja f : [a, b] [a, b] contnua. Ento existe x [a, b] tal que f (x) = x.

Demonstrao. Se f (a) = a ou f (b) = b ento j a contnua. Observe que g(a) =

a f (a) < 0 e g(b) = b f (b) > 0. Pelo Teorema do Valor Intermedirio, seque que existe
x tal que g(x) = 0. Ento, x f (x) = 0, ou seja, f (x) = x.cabamos. Caso f (a) > a e
f (b) < b, consideremos a funo g : [a, b] R definida por g(x) = x f (x)

Observe que o teorema falso se em vez de intervalo fechado usarmos intervalo aberto:

x2
Exemplo 5.3. Seja f : (1, 1) (1, 1) definida por f (x) = 2
+ x + 12 . Vejamos
2
primeiro que f ((1, 1)) (1, 1). Seja g(x) = x2 + x + 21 definida em [1, 1]. Temos
g (x) = x + 1 0, portanto g crescente (pelo Teorema do Valor Mdio). Como
g(1) = 1, segue que f ((1, 1)) = (1, 1).
A funo f no tem ponto fixo, pois se f (x) = x ento x = 1
/ (1, 1).

Os pontos fixos no precisam ser nicos:

Exemplo 5.4. Seja f : R R dada por f (x) = x. Todos os nmeros reais, so pontos
fixos.

O Teorema seguinte d condies para existncia e unicidade de pontos fixos de fun-

o contnuas em espaos mtricos: M ser completo (Definio 4.27) e f ser contrao
(Exemplo 2.2).

Teorema 5.5 (Ponto Fixo de Banach).

40 5. Pontos Fixos

Sejam M um espao mtrico completo e f : M M uma contrao, ento existe um

nico x M tal que f (x) = x.

Demonstrao. Seja 0 < c < 1 tal que d(f (x), f (y)) cd(x, y), para todo x, y M.
Provemos, inicalmente, a existncia de um ponto fixo. Tome x0 M arbitrariamente.
Defina x1 = f (x0 ), x2 = f (x1 ), , xn = f (xn1 ). Temos definida a sequncia xn+1 =
f (xn ) por recorrncia.
Afirmao: a sequncia (xn ) de Cauchy, ou seja, temos que mostrar que para todo
> 0, existe n0 tal que d(xm , xn ) < , para todo m, n > n0 . De fato, como f contrao,
ento

d(x1 , x2 ) =d(f (x0 ), f (x1 )) cd(x0 , x1 )

d(x2 , x3 ) =d(f (x1 ), f (x2 )) cd(x1 , x2 ) c2 d(x0 , x1 )
.
.
.
d(xn , xn+1 ) ... cn d(x0 , x1 ).

A verificao dessa generalizao feita por induo na Observao 5.9 mais a diante.
Portanto para todo n 1 vale que

d(xn , xn+1 ) cn d(x0 , x1 ). (5.1)

Se m > n, existe k N tal que m = n + k. Temos de (5.1) que

d(xn , xm ) =d(xn , xn+k ) d(xn , xn+1 ) + d(xn+1 , xn+k )

d(xn , xn+1 ) + d(xn+1 , xn+2 ) + ... + d(xn+k1 , xn+k )
cn d(x0 , x1 ) + cn+1 d(x0 , x1 ) + ... + cn+k1d(x0 , x1 )
=(cn + cn+1 + ... + cn+k1)d(x0 , x1 )
=cn (1 + c + c2 + ... + ck1 )d(x0 , x1 ).

A verificao por induo desta frmula feita na Observao 5.10 abaixo. Observamos
que 1 + c + c2 + ... + ck1 soma de uma progresso geomtrica, a frmula ser mostrada
na Observao 5.11 mais a adiante.

1 ck1+1
cn (1 + c + c2 + ... + ck1 )d(x0 , x1 ) =cn [ ]d(x0 , x1 )
1c
d(x0 , x1 )
=cn (1 ck )[ ]
1c
d(x0 , x1 )
cn [ ].
1c
5.1. Teorema do Ponto Fixo 41

Isto , se m > n, temos

d(x0 , x1 )
d(xn , xm ) cn [ ]. (5.2)
1c
Como lim cn = 0, o que ser mostrado na Observao 5.12, dado > 0, existe n0 N tal
que n > n0 ento |cn 0| < [ d(x1c
0 ,x1 )
]. Ento para todo m, n > n0 , se m > n ento por
(5.2)
d(x0 , x1 ) 1c d(x0 , x1 )
d(xn , xm ) cn [ ][ ][ ] = .
1c d(x0 , x1 ) 1c
Portanto, (xn ) de Cauchy. Logo, como M completo, ento existe x tal que limn xn =
x. Calculemos limn f (xn ) de duas formas:

(i) como f contnua em x, segue da Proposio 4.16 que limn f (xn ) = f (x).

(ii) limn f (xn ) = limn xn+1 = x.

Portanto, por (i) e (ii) f (x) = x, dando existncia a um ponto fixo. Provemos que
no pode existir outro ponto fixo. Suponhamos por absurdo que exista y M tal que
f (y) = y, com y 6= x. Temos,

0 < d(x, y) = d(f (x), f (y)) cd(x, y).

Ento, d(x, y) cd(x, y) implies 1 c. um absurdo, pois c < 1. Logo, x = y.

Segue abaixo um resultado imediato da demonstrao do Teorema 5.5 acima.

Corolrio 5.6 (Mtodo das aproximaes sucessivas). Nas hipteses do Teorema 5.5
anterior, dado x0 M, a sequncia definida  por x n+1 = f (xn ) converge ao nico ponto
d(x ,x )
fixo x de f , com velocidade d(xn , x) cn 0 1
1c
, para todo n N.

Demonstrao. Seja a funo g : M R definida por g(a) = d(x, a). Pela propriedade
(iv) de mtrica, segue que |d(x, a) d(x, b)| d(a, b), provando que g uma contrao
fraca, logo ela contnua. Da Proposio 4.16 segue que o limmg(xm ) = g(x). To-
d(x0 ,x1 )
mando o limite de m na desigualdade (5.2), segue que g(x) cn 1c
, provando
o corolrio.

Exemplo 5.7. Seja h : [ , ) R, definida por h(x) = 12 (x + x ), com > 0.

(1) Como a derivada h (x) = 21 (1 x2 ) tal que 0 < h (x) < 12 , para todo x [ 2, ),

(a) segue que h crescente, pois h (x) > 0. E como

1 1
h( ) = ( + ) = ( + ) = ,
2 2

segue que h([ , )) [ , ). Em particular, um ponto fixo de h.
42 5. Pontos Fixos

(b) segue pelo Teorema do Valor Mdio que para todo x 6= y em [ , ), existe
x entre x e y tal que

1
|h(x) h(y)| |h (x)||x y| |h(x) h(y)| |x y|,
2
1
pois h (x) < 2
< 1, ento h contrao.

(2) Dada qualquer sequncia de Cauchy (xn ) em [ , ), segue do Corolrio 4.28 que
(xn ) converge para um nmero real x. Como este intervalo um conjunto fechado,

segue do Corolrio 4.18, que x [ , ). O que prova que [ , ) completo.

(3) Assim, considerando a funo h : [ , ) [ , ) definida por h(x) = h(x),

segue do Corolrio 5.6 que independentemente de x0 [ , ) dado, a sequncia

xn = h(xn1 ), n N, converge ao nico ponto fixo de h, ou seja, .

Por exemplo, se = 3, e tomando x0 = 7, temos que, usando 11 dgitos e arredondamento

simples
 
1 3
x1 =h(x0 ) = h(7) = 7+ 3, 7142857143
2 7
 
1 3
x2 =h(3, 7142857143) = 3, 7142857143 + 2, 2609890110
2 3, 7142857143
 
1 3
x3 =h(2, 2609890110) = 2, 2609890110 + 1, 7939209940
2 2, 2609890110
 
1 3
x4 =h(1, 7939209940) = 1, 7939209940 + 1, 7331177219
2 1, 7939209940
 
1 3
x5 =h(1, 7331177219) = 1, 7331177219 + 1, 7320511360
2 1, 7331177219
..
.

Assim, quanto maior o indice n N, mais aproximo fica xn de = 3 1, 7320508076...,

ou seja, a sequncia vai convergindo para o ponto fixo = 3. Observe o quo rpido
a convergncia.

Exemplo 5.8. Seja g : [1, ) R definida por

x2 x + x2 + x2 x+
g(x) = x + = = ,
1+x 1+x 1+x
1+x(x+) 1
com 1 < < 5. Temos que g (x) = (1+x)2
= (1+x)2
.

(1) Como > 1 e (1 + x)2 > 0 ento claro que g (x) < 0, assim g estritamente
decrescente. Observemos que, como

1 x
lim g(x) = lim = 1,
x x ( 1 + 1)( 1 + 1)
x x
5.1. Teorema do Ponto Fixo 43

segue que g([1, )) [1, ).

(2) Como
 

 1  1
|g (x)| =  =
(1 + x)(1 + x)  (1 + x)(1 + x)
1 1 1
( 1) = ,
2 2 4
1
sendo que a desigualdade acima decorre de x 1 x + 1 2 x+1 12 . Segue
que a funo g : [1, ) [1, ) definida por g(x) = g(x) uma contrao, pois
pelo Teorema do Valor Mdio, temos que

1
|g(x) g(y)| |x y|,
4
1
e temos tambm que < 5 ento 4
< 1.

(3) Logo, para todo x0 [1, ) dado, pelo Corolrio 5.6, a sequncia xn = g(xn1 )
converge ao nico ponto fixo x de g.

(4) Temos que x tal que

x2 x2
g(x) = x x + =x = 0 x2 = .
1+x 1+x

Por exemplo, se = 3 e tomando x0 = 7, temos que, usando 11 dgitos e arredonda-

mento simples

7+3
x1 =g(7) = = 1.25
1+7
1.25 + 3
x2 =g(1.25) = 1.8888888889
1 + 1.25
1.8888888889 + 3
x3 =g(1.8888888889) = 1.6923076923
1 + 1.8888888889
1.6923076923 + 3
x4 =g(1.6923076923) = 1.7428571429
1 + 1.6923076923
1.7428571429 + 3
x5 =g(1.7428571429) = 1.7291666667
1 + 1.7428571429
..
.

Observemos que a sequncia est convergindo para o ponto fixo = 3 mais lentamente
que a contrao do Exemplo anterior.
Para terminar, apresentamos observaes com provas de pequeno resultados que foram
usados na demonstrao do Teorema 5.5.
Observao 5.9. Seja f : M M uma contrao, a sequncia definida (xn+1 = f (xn ))
por recorrncia. Sabendo que d(x1 , x2 ) = d(f (x0 ), f (x1 )) cd(x0 , x1 ), e d(x2 , x3 ) =
44 5. Pontos Fixos

d(f (x1 ), f (x2 )) cd(x1 , x2 ) c2 d(x0 , x1 ). Suponha por induo que d(xn , xn+1 )
cn d(x0 , x1 ). Repetindo o processo para o prximo termo, temos

d(xn+1 , xn+2 ) = d(f (xn ), f (xn+1 )) cd(xn , xn+1 ) ccn d(x0 , x1 ) = cn+1 d(x0 , x1 ).

A ltima desilgualdade decorre da hiptese de induo. logo, a frmula geral d(xn , xn+1 )
cn d(x0 , x1 ) vlida para todo n N.
Observao 5.10. Seja uma sequncia definida (xn+1 = f (xn )) por recorrncia em um
espao mtrico M. Seja m > n tal que m = n + k, para algum k N. Ento, para
k = 2, d(xn , xn+2 ) d(xn , xn+1 ) + d(xn+1 , xn+2 ). Suponhe por absurdo que vale para
k = p, ento d(xn , xn+p ) d(xn , xn+1 ) + ... + d(xn+p1 , xn+p ). Ento, continuando para
k = p + 1, temos que

d(xn , xn+p+1) d(xn , xn+p ) + d(xn+p , xn+p+1 ).

Segue pela hiptese de induo que

d(xn , xn+p+1 ) d(xn , xn+1 ) + ... + d(xn+p1 , xn+p ) + d(xn+p , xn+p+1 ).

O que verdade! Logo, vale a generalizao.

Observao 5.11. Seja (sn ) uma sequncia de razo 0 < c < 1, a soma dos termos de uma
progresso geomtrica, representado aqui por Gn

Gn = a1 + a1 c + a1 c2 + ... + a1 cn1 , (5.3)

sendo a1 o primeiro termo da sequncia. Muitiplicando toda equao por c, temos

cGn = a1 c + a1 c2 + ... + a1 cn1 + anc (5.4)

Subtraindo (5.4) de (5.3), obtemos:

cGn Gn = anc a1 = a1 (cn 1)

a1 (1cn )
Logo, Gn = c1

Observao 5.12. Provemos que se 0 < c < 1, ento lim cn = 0.

1
Sendo 0 < c < 1, existe d > 0 tal que c = 1+d . Como

n    
n
X n i n
(1 + d) = d > = n,
i=0
i 0

segue que  n
n 1 1
c = < .
1+d n
5.1. Teorema do Ponto Fixo 45

Pelo Lema 4.15 segue que lim cn = 0.

46 5. Pontos Fixos
 47

Referncias Bibliogrficas

[1] E. L. Lima. 1977. Espaos Mtricos. Edio 3. Rio de Janeiro, Instituto de Matem-
tica Pura e Aplicada, CNPq: Editora S. A., Abril de 1993, 299 p.

[2] W. Rudin. Principles of mathematical analysis. Third Edition. International Series

in Pure and Applied Mathematics. McGraw-Hill Book Co., New York-Auckland-
Dsseldorf (1976), x+342 pp.