Você está na página 1de 45

Universidade Federal do Rio Grande do Norte

Centro de Ensino Superior do Serid


Curso de Licenciatura em Matemtica

Teorema de Banach, sobre pontos xos de


contraes

Artur Breno Meira Silva

2016
Universidade Federal do Rio Grande do Norte
Centro de Ensino Superior do Serid
Curso de Licenciatura em Matemtica

Teorema de Banach, sobre pontos


xos de contraes
por

Artur Breno Meira Silva


sob orientao do

Prof. Dr. Adriano Thiago Lopes Bernardino

Dezembro de 2016
Caic-RN

i
Agradecimentos
Agradeo aos meus pais, que so as pessoas mais importantes em minha vida, por
estarem sempre presentes, me aconselhando, protegendo e incentivando.
Agradeo as amizades conquistadas na faculdade, em especial, do curso de
matemtica, por me proporcionarem momentos felizes.
Agradeo a todos os meus amigos residentes pela grande amizade formada nesses
anos de curso e convivncia na residncia universitria, principalmente: Damio Xavier,
Danilo Martins, Denir Azevedo, Dionsio Eulmpio, Josenildo Lopes, Jucylnio Melo,
Magno Maciel, Roberto Rocha, Rodrigo Medeiros e Ronillo Azevedo.
Agradeo a todos os professores que contriburam para a construo do meu
conhecimento. Destaco: Jlio Alves, Lourena Rocha, Luis Gonzaga e Thiago
Bernardino, pois a matemtica trabalhada por eles despertou em mim um desejo ainda
maior de estudar e seguir essa rea do conhecimento.
Agradeo ao meu orientador Porf. Dr. Adriano Thiago Lopes Bernardino pela
pacincia e dedicao no desenvolvimento desse trabalho e por todo apoio e orientao
acadmica.

iv
Resumo
O objetivo deste trabalho enunciar e demonstrar o Teorema de Banach, sobre
pontos xos de contraes, apresentando em seguida aplicaes desse teorema na
resoluo de uma equao no linear e na importante demonstrao do Teorema da
Existncia e Unicidade de soluo do problema de valor inicial. Foram abordados
conceitos essenciais para a compreenso do Teorema de Banach, tais como espaos
mtricos, sequncias e convergncia em espaos mtricos, espaos mtricos completo,
contraes e pontos xos de contraes.

Palavras-chaves: Espaos Mtricos; Pontos Fixos; Teorema de Banach.

v
Abstract
The objective of this work is to enunciate and demonstrate Banach s Theorem,
about xed points of contractions, then presenting applications of this theorem in the
resolution of a nonlinear equation and in the important demonstration of the Existence
and Uniqueness Theorem of solution of the initial value problem. Essential concepts
for the understanding of the Banachs Theorem, such as metric spaces, sequences and
convergence in metric spaces, complete metric spaces, contractions and xed points of
contractions were discussed.

Key-Words: Metric Spaces; Fixed Points; Banachs Theorem.

vi
Sumrio

1 Conceitos Bsicos 1
1.1 Mdulo de um nmero real . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Conjuntos limitados de nmeros reais . . . . . . . . . . . . . . . . . . . 3

2 Espaos Mtricos 6
2.1 Denio e exemplos de espaos mtricos . . . . . . . . . . . . . . . . . 6
2.2 Bolas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Conjuntos limitados de um espao mtrico . . . . . . . . . . . . . . . . 13

3 Funes Contnuas 15
3.1 Denio e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.2 Continuidade uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

4 Limites 18
4.1 Limites de sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.2 Sequncia de nmeros reais . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.3 Sequncias de funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

5 Espaos Mtricos Completos 23


5.1 Sequncias de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.2 Espaos mtricos completos . . . . . . . . . . . . . . . . . . . . . . . . 25
5.3 O mtodo das aproximaes sucessivas . . . . . . . . . . . . . . . . . . 26
5.4 Algumas aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

vii
Introduo

Na matemtica bastante frequente a busca por solues de problemas envolvendo


equaes. Na procura de uma soluo ou da existncia dela, podemos, em alguns
casos, reduzir esses problemas em encontrar os pontos xos de uma aplicao. Desse
modo, precisamos saber em quais casos podemos utilizar os pontos xos para garantir
a existncia de uma soluo e, por isso, precisamos saber as hipteses necessrias para
que uma aplicao possua pontos xos. Alm disso, teoremas sobre pontos xos so
utilizados nas demonstraes de importantes teoremas matemticos.
O Teorema de Banach, que apresentaremos e demostraremos neste trabalho, garante
a existncia e unicidade de solues de determinadas equaes, garante a existncia de
soluo da equao integral e, como consequncia, de grande importncia para a
demonstrao do teorema da existncia e unicidade de solues para um problema de
valor inicial, alm de sugerir um mtodo para encontrar o ponto xo de uma aplicao
por meio de iteraes.
O propsito deste trabalho demonstrar o Teorema de Banach, sobre pontos xos
de contraes, e utiliz-lo na resoluo de uma equao no linear e na demonstrao
de um teorema de existncia e unicidade de solues para um problema de valor inicial
de primeira ordem.
Antes de comear o estudo de espaos mtricos, faremos uma preliminar
apresentando conceitos bsicos sobre mdulo de um nmero real, com suas propriedades,
e conjuntos limitados de nmeros reais.
No estudo dos espaos mtricos, comearemos denindo esses espaos e dando alguns
exemplos. Em seguida, faremos uma abordagem sobre funes contnuas em espaos
mtricos e mostraremos exemplos de funes uniformemente contnuas, em especial a
aplicao lipschitziana.
Daremos continuidade ao trabalho com as sequncias e convergncias nos espaos
mtricos, deniremos sequncia de Cauchy e espao mtrico completo. No ltimo
captulo, apresentaremos os mtodos das aproximaes sucessivas, denindo ponto xo

viii
e contrao. Finalizaremos com o teorema principal deste estudo que o Teorema de
Banach, sobre pontos xos de contraes, e aplicaremos esse resultado na resoluo de
uma equao no linear e na demonstrao do teorema de existncia e unicidade de
solues para um problema de valor inicial.

ix
Captulo 1

Conceitos Bsicos

1.1 Mdulo de um nmero real


Seja x 2 R. Denimos o valor absoluto de x (ou mdulo de x), denotado por jxj,
como sendo: (
x, se x 0;
jxj =
x, se x < 0.
Proposio 1.1.1 Para quaisquer x; y; z 2 R, temos:

1) jxj 0;
2) jxj = 0 , x = 0;
3) jx yj = 0 , x = y;
4) jxj2 = jx2 j = x2 ;
5) jxj x;
6) jxyj = jxj jyj;
7) jx + yj jxj + jyj (Desigualdade tringular);
8) jxj = j xj;
9) jx zj jx yj + jy zj;
10) Se y > 0 ento jxj < y , y < x < y.
Demonstrao: 1) Seja x 2 R. Ento x < 0 ou x 0. Se x < 0 ento jxj = x > 0.
Se x 0 ento jxj = x 0. Logo jxj 0 para qualquer x 2 R.
2) ()) Seja jxj = 0. Suponhamos que x 6= 0, isto , x < 0 ou x > 0. Se x < 0 ento
jxj = x > 0, e se x > 0 ento jxj = x > 0. Ambos contradizem a hiptese. Logo

jxj = 0 ) x = 0:

1
1.1. MDULO DE UM NMERO REAL

(() Se x = 0 ento, por denio, jxj = x = 0.


3) Pelo item 2)
jx yj = 0 , x y = 0 , x = y:

4) Como x2 0 para todo x 2 R, ento pela denio de mdulo jx2 j = x2 .


Vejamos agora que jxj2 = x2 .
Se x 0, ento
jxj = x ) jxj2 = x2 :

Se x < 0, ento
jxj = x ) jxj2 = ( x)2 = x2 :

5) Se x 0, ento pela denio de mdulo x = jxj. Se x < 0, ento pelo item 1)


x < jxj.
6) Para provar que jxyj = jxj jyj, basta mostrar que estes dois nmeros tm o mesmo
quadrado, j que ambos so maiores do que ou igual 0. Ora, o quadrado de jxyj
jxyj2 = (xy)2 = x2 y 2 , enquanto (jxj jyj)2 = jxj2 jy 2 j = x2 y 2 .
7) Pelo item 4)
jx + yj2 = (x + y)2 = x2 + 2xy + y 2 .

Agora pelos itens 5) e 6)


xy jxyj = jxj jyj :

Assim

x2 + 2xy + y 2 jxj2 + 2 jxj jyj + jyj2


= (jxj + jyj)2 ,

isto ,
jx + yj2 (jxj + jyj)2 ) jx + yj jxj + jyj .

8) Se x = 0 ento x = x, logo jxj = j xj. Se x > 0 ento x < 0, e da


jxj = x = ( x) = j xj.
Se x < 0 ento x > 0, e da jxj = x = j xj.
9) jx zj = jx y + y zj = j(x y) + (y z)j e pela desigualdade tringular

j(x y) + (y z)j jx yj + jy zj .

2
1.2. CONJUNTOS LIMITADOS DE NMEROS REAIS

Logo, jx zj jx yj + jy zj.
10) ()) Sejam y > 0 e jxj < y.
Se x 0 ento x = jxj < y e, obviamente, y < x. Logo y < x < y.
Se x < 0 ento
x = jxj < y ) y < x;

e, obviamente, x < y, logo y < x < y.


(() Seja y < x < y com y > 0.
Se x 0 ento jxj = x < y.
Se x < 0 ento jxj = x, e como y < x, segue que y > x. Logo, jxj < y.

1.2 Conjuntos limitados de nmeros reais


Os conedos desta seo foram retirados do livro [5].
Um conjunto X R diz-se limitado superiormente quando existir b 2 R tal
que x b para todo x 2 X. Neste caso, diz-se que b uma cota superior de X.
Analogamente, diz-se que o conjunto X R limitado inferiormente quando existe
a 2 R tal que a x para todo x 2 X. O nmero a chama-se ento uma cota inferior
de X. Se X limitado superior e inferiormente, diz-se que X um conjunto limitado.

Observao 1.2.1 X ser um conjunto limitado signica que X est contido em algum
intervalo limitado [a; b] ou, equivalentemente, que existe k > 0 tal que para qualquer
x 2 X tem-se jxj k.

Denio 1.2.2 Seja X R limitado superiormente e no vazio. Um nmero b 2 R


chama-se supremo do conjunto X quando a menor das cotas superiores de X. Mais
explicitamente, b o supremo de X quando cumpre as duas condies:
S1. Para todo x 2 X, tem-se x b;
S2. Se c 2 R tal que x c para todo x 2 X ento b c.

A condio S2 admite a seguinte reformulao:


S2. Se c < b ento existe x 2 X com c < x.
Com efeito, S2diz que nenhum nmero real menor do que b pode ser cota superior
de X. s vezes se exprime S2assim: para todo " > 0 existe x 2 X tal que b " < x.
Escreveremos b = sup X para indicar que b o supremo do conjunto X.
Analogamente,

3
1.2. CONJUNTOS LIMITADOS DE NMEROS REAIS

Denio 1.2.3 Se X R um conjunto no vazio, limitado inferiormente, um


nmero real a chama-se o nmo do conjunto X, e escreve-se a = inf X, quando a
maior das cotas inferiores de X. Isto equivale s duas armaes:
I1. Para todo x 2 X tem-se a x;
I2. Se c x para todo x 2 X ento c a.

A condio I2 pode tambm ser formulada assim:


I2. Se a < c ento existe x 2 X tal que x < c.
De fato, I2 diz que nenhum nmero maior do que a cota inferior de X.
Equivalentemente: para todo " > 0 existe x 2 X tal que x < a + ".
Diz-se que um nmero b 2 X o maior elemento (ou elemento mximo) do conjunto
X quando b x para todo x 2 X. Isto quer dizer que b uma cota superior de X,
pertencente a X. Por exemplo, b o elemento mximo do intervalo fechado [a; b] mas
o intervalo [a; b) no possui maior elemento. Evidentemente, se um conjunto X possui
elemento mximo este ser seu supremo.
A armao de que R completo signica que todo conjunto no-vazio, limitado
superiormente, X R possui supremo b = sup X 2 R.
Resulta da denio que, em R, todo subconjunto no-vazio, limitado inferiormente,
Y R, possui nmo. Com efeito, dado Y R, seja X = Y , isto , X = f y; y 2 Y g.
Como Y limitado inferiormente existe b 2 R tal que b y para todo y 2 Y . Assim,
b y para todo y 2 Y , ou seja, X no-vazio e limitado superiormente; logo
existe a = sup X. Armamos que a = inf Y . De fato, para todo y 2 Y temos que
y a)y a. Se a < c, ento a > c e como a = sup X existe y 2 Y tal que
y > c e da y < c.
Ser mostrado no Exemplo 5.2.1 um espao mtrico que no completo.

Exemplo 1.2.4 O conjunto N R dos nmeros naturais no limitado


superiormente. Com efeito, se N R fosse limitado superiormente, existiria c = sup N.
Ento c 1 no seria cota superior de N, isto , existiria n 2 N com c 1 < n. Da
resultaria c < n + 1, logo c no seria cota superior de N, contradizendo a hiptese de
c = sup N. Logo N no limitado superiormente.

Exemplo 1.2.5 O nmo do conjunto X = f1=n; n 2 Ng igual a 0. Com efeito, 0


evidentemente uma cota inferior de X, pois 1=n > 0 para todo n 2 N. Basta ento
provar que nenhum c > 0 cota inferior de X. Ora, dado c > 0, como N no limitado
superiormente, existe um nmero natural n > 1=c, donde 1=n < c. Logo, c no cota
inferior de X.

4
1.2. CONJUNTOS LIMITADOS DE NMEROS REAIS

Corolrio 1.2.6 Sejam X; Y conjuntos limitados superiormente (no vazios), com


X + Y = fx + y; x 2 X; y 2 Y g, temos que sup(X + Y ) = sup X + sup Y .

Demonstrao: Para mostrar essa igualdade, devemos mostrar que sup X + sup Y
uma cota superior de X + Y e que a menor das cotas superiores.
Sejam X; Y limitados superiormente e no vazios. Dado c 2 (X + Y ) existem a 2 X
e b 2 Y tais que c = a + b. Como a sup X e b sup Y , segue que

c=a+b sup X + sup Y ,

ou seja, sup X + sup Y uma cota superior de X + Y .


Suponhamos que k seja outra cota superior de X + Y . Se k < sup X + sup Y
ento teramos k sup X < sup Y , da pela denio de supremo, existe y 2 Y tal que
k sup X < y. Segue que k y < sup X e, portanto, existe x 2 X tal que k y < x,
ou seja, k < x + y. Ora, x + y 2 (X + Y ), contradizendo a hiptese de que k cota
superior de X + Y . Logo sup X + sup Y a menor das cotas superiores de X + Y e,
portanto, sup(X + Y ) = sup X + sup Y .
A demonstrao do corolrio acima foi extrada da referncia [7].

5
Captulo 2

Espaos Mtricos

2.1 Denio e exemplos de espaos mtricos


Denio 2.1.1 Uma metrica num conjunto M uma funo d : M M ! R, que
associa a cada par ordenado de elementos x; y 2 M um nmero real d(x; y), chamado a
distncia de x a y, de modo que sejam satisfeitas as seguintes condies para quaisquer
x; y; z 2 M :

d1) d(x; x) = 0;
d2) Se x 6= y ento d(x; y) > 0;
d3) d(x; y) = d(y; x);
d4) d(x; z) d(x; y) + d(y; z):

Denio 2.1.2 Um espao mtrico um par (M; d), onde M um conjunto e d


uma mtrica em M .

Na maioria das vezes, salvo quando houver possibilidade de dvida, diremos


simplesmente "o espao mtrico M ", deixando subentendida qual a mtrica d que est
sendo considerada.
Os elementos de um espao mtrico podem ser de natureza bastante arbitrria:
nmeros, pontos, vetores, matrizes, funes, conjuntos, etc.

Lema 2.1.3 Se (M; d) um espao mtrico, todo subconjunto S M pode ser


considerado, de modo natural, como espao mtrico: basta considerar a restrio de
d a S S, ou seja, usar entre os elementos de S a mesma distncia que eles possuam
como elementos de M .

6
2.1. DEFINIO E EXEMPLOS DE ESPAOS MTRICOS

Demonstrao: Seja (M; d) um espao mtrico e S M . Assim, para todo


x; y; z 2 S, temos que x; y; z 2 M . Como M um espao mtrico e estamos usando
entre os elementos de S a mesma distncia que eles possuam como elementos de M ,
segue que
d1) d(x; x) = 0;
d2) Se x 6= y ento d(x; y) > 0;
d3) d(x; y) = d(y; x);
d4) d(x; z) d(x; y) + d(y; z).
Quando isto feito, S chama-se um subespao de M e a mtrica de S diz-se induzida
pela de M . Esta ideia bvia nos permite obter uma grande variedade de exemplo,
considerando os diversos subconjuntos de um espao mtrico dado.

Exemplo 2.1.4 A mtrica "zero-um". Qualquer conjunto M pode tornar-se um espao


mtrico de maneira muito simples. Basta denir a mtrica d : M M ! R pondo
d(x; x) = 0 e d(x; y) = 1 se x 6= y. De fato, para todo x; y; z 2 M ,

d1) d(x; x) = 0 por denio;


d2) Se x 6= y ento d(x; y) = 1 por denio. Logo d(x; y) > 0;
d3) Se x 6= y, ento d(x; y) = 1 = d(y; x);
d4) Para provar a quarta condio precisamos dividir em casos. Temos que pode
ocorrer x = z ou x 6= z.
1) Se x = z ento d(x; z) = 0, e pelas condies d1) e d2) da denio de mtrica
d(x; y) + d(y; z) 0. Logo d(x; z) d(x; y) + d(y; z);
2) Se x 6= z e:
2) x = y ento y 6= z. Assim, d(x; z) = d(y; z) = 1 e d(x; y) = 0. Portanto
d(x; z) = 1 = 0 + 1 = d(x; y) + d(y; z);
2) x 6= y ento d(x; z) = 1 1 + d(y; z) = d(x; y) + d(y; z).
O espao mtrico que se obtm desta maneira , naturalmente, bastante trivial,
embora seja til para contra exemplos.

Exemplo 2.1.5 Mtrica usual da reta. A reta, ou seja, o conjunto R dos nmeros
reais, o exemplo mais importante de espao mtrico. A distncia entre dois pontos
x; y 2 R dada por d(x; y) =j x y j. As condies d1) a d4) resultam imediatamente
das propriedades elementares do valor absoluto de nmeros reais. De fato, para todo
x; y; z 2 R,

7
2.1. DEFINIO E EXEMPLOS DE ESPAOS MTRICOS

d1) d(x; x) = jx xj = j0j = 0;


d2) Se x 6= y ento d(x; y) = jx yj > 0;
d3) d(x; y) = jx yj = j (x y)j = jy xj = d(y; x);
d4) d(x; z) = jx zj jx yj + jy zj = d(x; y) + d(y; z).
A menos que seja feita meno explcita em contrrio, ela que nos referimos sempre
que considerarmos R como espao mtrico.

Exemplo 2.1.6 O conjunto Q dos nmeros racionais com a mtrica induzida pela reta
um espao mtrico. De fato, para todo x; y; z 2 Q, temos que x; y; z 2 R. Assim

d1) d (x; x) = jx xj = j0j = 0;


d2) Se x 6= y ento d (x; y) = jx yj > 0;
d3) d (x; y) = jx yj = j (x y)j = jy xj = d (y; x);
d4) d(x; z) = jx zj jx yj + jy zj = d(x; y) + d(y; z).

Denio 2.1.7 Seja X um conjunto arbitrrio. Uma funo real f : X ! R chama-


se limitada quando existir uma constante k = kf > 0 tal que jf (x)j k para todo
x 2 X. Indicaremos com B(X; R) o conjunto das funes limitadas f : X ! R.

Proposio 2.1.8 A soma, a diferena e o produto de funes limitadas so ainda


limitadas.

Demonstrao: Sejam f; g 2 B(X; R). Ento existem kf e kg positivos tais que


jf (x)j kf e jg(x)j kg para todo x 2 X.
Para todo x 2 X, temos que

j(f + g)(x)j = jf (x) + g(x)j :

Pela propriedade do valor absoluto

jf (x) + g(x)j jf (x)j + jg(x)j


kf + kg :

Logo, f + g limitada. O caso f g anlogo.


Para todo x 2 X, temos que

8
2.1. DEFINIO E EXEMPLOS DE ESPAOS MTRICOS

j(f g)(x)j = jf (x) g(x)j


jf (x)j jg(x)j
kf kg .

Logo, f g limitada.

Observao 2.1.9 Dadas f; g 2 B(X; R) tem-se que sup(f + g) sup f + sup g. Com
efeito, sejam f; g 2 B(X; R). Sabemos que f (x) sup f e g (x) sup g para todo
x 2 X. Da,
f (x) + g (x) sup f + sup g

para todo x 2 X.
Suponhamos que sup(f + g) > sup f + sup g, assim existe x0 2 X tal que
f (x0 ) + g (x0 ) > sup f + sup g. Absurdo! Logo sup(f + g) sup f + sup g.

Exemplo 2.1.10 Para f (x) = x2 e g (x) = x2 + 2x 1, temos sup f = sup g = 0


e sup(f + g) = 1=2, ou seja, sup(f + g) < sup f + sup g.

Exemplo 2.1.11 (Mtrica do sup.) Deniremos agora uma mtrica em B(X; R)


pondo, para f; g 2 B(X; R) arbitrrias,

d(f; g) = sup jf (x) g(x)j .


x2X

Vejamos que d uma mtrica.


Como d : B(X; R) B(X; R) ! R e R completo, o supremo atingido.
Sejam (f1 ; g1 ) ; (f2 ; g2 ) 2 B(X; R) B(X; R) com (f1 ; g1 ) = (f2 ; g2 ). Assim,

d (f1 ; g1 ) = sup jf1 (x) g1 (x)j = sup jf2 (x) g2 (x)j = d (f2 ; g2 ) .
x2X x2X

Portanto d est bem denida.

9
2.1. DEFINIO E EXEMPLOS DE ESPAOS MTRICOS

d1)

d(f; f ) = sup jf (x) f (x)j


x2X

= sup j0j
x2X

= 0;

d2) Se f 6= g ento existe x0 2 X tal que f (x0 ) 6= g(x0 ). Assim,

d(f; g) = sup jf (x) g(x)j


x2X

jf (x0 ) g(x0 )j
> 0;

d3) Pela propriedade do valor absoluto

d (f; g) = sup jf (x) g(x)j


x2X

= sup j (f (x) g(x))j


x2X

= sup jg(x) f (x)j


x2X

= d(g; f ).

d4)

d(f; h) = sup jf (x) h(x)j


x2X

= sup jf (x) g(x) + g(x) h(x)j .


x2X

Pela desigualdade tringular

sup jf (x) g(x) + g(x) h(x)j sup(jf (x) g(x)j + jg(x) h(x)j).
x2X x2X

10
2.2. BOLAS

Pela Observao anterior

sup(jf (x) g(x)j + jg(x) h(x)j) sup jf (x) g(x)j + sup jg(x) h(x)j
x2X x2X x2X

= d(f; g) + d(g; h).

Portanto,
d(f; h) d(f; g) + d(g; h).

Logo d uma mtrica no conjunto B(X; R).

2.2 Bolas
Seja a um ponto no espao mtrico M . Dado um nmero real r > 0, denimos:

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

B(a; r) = fx 2 M ; d(x; a) < rg.

Denio 2.2.2 A bola fechada de centro a e raio r o conjunto 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] = fx 2 M ; d(x; a) rg.

Exemplo 2.2.3 Com a mtrica usual da reta, para todo a 2 R e todo r > 0, a
bola aberta de centro a e raio r o intervalo aberto (a r; a + r), pois a condio
d(x; a) = jx aj < r equivale a r < x a < r, ou seja, a r < x < a + r.

Seja M um espao mtrico. Um ponto a 2 M chama-se um ponto isolado de M


quando ele uma bola aberta em M , ou seja, quando existe r > 0 tal que B(a; r) = fag.
Isto signica, evientemente, que, alm do prprio a, no existem outros pontos de M a
uma distncia de a inferior a r.
Dizer que um ponto a 2 M no isolado signica, portanto, armar que para todo
r > 0 pode-se encontrar um ponto x 2 M tal que d(a; x) < r.

11
2.2. BOLAS

Exemplo 2.2.4 Seja Z = f: : : ; 2; 1; 0; 1; 2; : : :g o conjunto dos nmeros inteiros


com a mtrica induzida pela mtrica usual da reta. Todo ponto n 2 Z isolado pois,
tomando r = 1, vemos que se x 2 Z tal que x 2 B(n; 1), ento jx nj < 1 e, portanto,
x = n.

Exemplo 2.2.5 Seja P = f0; 1; 1=2; : : : ; 1=n; : : :g R, ainda com a mtrica d(x; y) =
jx yj. O ponto 0 no isolado em P . Com efeito, dado qualquer r > 0, existe um
nmero natural n tal que n > 1=r. Ento 0 < 1=n < r e, portanto, 1=n um ponto
da bola B(0; r) , diferente do seu centro 0. Mas todo ponto 1=n isolado em P . Com
efeito, o ponto de P mais prximo de 1=n 1=(n+1), cuja distncia a 1=n 1=n(n+1).
Ento, no espao P , se tomarmos 0 < r < 1=n(n + 1), a bola aberta B(1=n; r) contm
apenas o seu centro 1=n. Em particular, no subespao P 0 = f1; 1=2; : : : ; 1=n; : : :g, todo
ponto isolado.

Denio 2.2.6 Um espao mtrico M chama-se discreto quando todo ponto de M


isolado.

Por exemplo, um espao com a mrica zero-um discreto. Nos exemplos 2.2.4 e
2.2.5, Z e P 0 so espaos discretos.

Denio 2.2.7 Um subconjunto X M chama-se discreto quando o subespao X


(mtrica induzida) discreto. Isto signica que, para cada x 2 X existe uma bola
aberta B(x; r) tal que X \ B(x; r) = fxg.

Proposio 2.2.8 Dados os pontos a 6= b num espao mtrico M , 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: Se existisse algum ponto x 2 B(a; r) \ B(b; s), teramos d(a; x) < r
e d(b; x) < s. Da
d(a; b) d(a; x) + d(x; b) < r + s,

um absurdo.

Corolrio 2.2.9 Se r + s < d(a; b) ento as bolas fechadas B[a; r] e B[b; s] so


disjuntas.

Demonstrao: A demonstrao anloga a da proposio anterior.

12
2.3. CONJUNTOS LIMITADOS DE UM ESPAO MTRICO

2.3 Conjuntos limitados de um espao mtrico


Um subconjunto X de um espao mtrico M chama-se limitado quando existe uma
constante c > 0 tal que d(x; y) c para quaisquer x; y 2 X. O menor desses nmeros c
ser chamado o dimetro de X. Ora, dizer que x; y 2 X ) d(x; y) c signica armar
que c uma cota superior para o conjunto das distncias d(x; y) entre os pontos de X.
A menor das cotas superiores de um conjunto de nmeros reais chama-se o supremo
desse conjunto. Logo, podemos denir o dimetro de um conjunto limitado X M
como o nmero real
diam(X) = supfd(x; y); x; y 2 Xg:

s vezes, para indicar que X no limitado, escreve-se diam(X) = 1. Isto signica


que, dado arbitrariamente um nmero real c, podem-se obter pontos xc ; yc 2 X tais
que d(xc ; yc ) > c.

Exemplo 2.3.1 Vendo R como um espao mtrico, podemos interpretar a denio


de um conjunto limitado de nmeros reais da seguinte forma: um subconjunto X R
chama-se limitado quando existe uma constante c > 0 tal que para qualquer x 2 X
tem-se d (x; 0) = jxj c.

Proposio 2.3.2 Se X limitado e Y X ento Y tambm limitado, valendo


diam(Y ) diam(X).

Demonstrao: Como X limitado ento existe uma constante c > 0 tal que
d(x; y) c para quaisquer x; y 2 X. Sejam x0 ; y 0 2 Y . Como Y X, segue que
0 0 0 0
x ; y 2 X, logo d(x ; y ) c. Vejamos agora que diam(Y ) diam(X). Suponhamos
que diam(Y ) > diam(X), ento diam(X) no cota superior do conjunto A =
fd(a; b); a; b 2 Y g. Isso quer dizer que existem y1 ; y2 2 Y tais que diam(X) < d(y1 ; y2 ).
Absurdo! Pois y1 ; y2 2 Y X e diam(X) d(x; y) para todo x; y 2 X.
Ao fazer consideraes sobre o dimetro de um conjunto X, convm supor que
X 6= ?. Isto ser admitido implicitamente.

Exemplo 2.3.3 Toda bola B(a; r) um conjunto limitado e seu dimetro no excede
2r. Com efeito, dados x; y 2 B(a; r) temos d(x; a) < r e d(y; a) < r. Por denio
d(x; y) d(x; a) + d(a; y). Portanto d(x; y) d(x; a) + d(a; y) < r + r = 2r.

Exemplo 2.3.4 Se X e Y so limitados ento X [ Y limitado. Com efeito, xemos


um ponto a 2 X e um ponto b 2 Y . (O resultado bvio se X = ? ou Y = ?.)

13
2.3. CONJUNTOS LIMITADOS DE UM ESPAO MTRICO

Existe c > 0 tal que d(x; a) c e d(y; b) c para todo x 2 X e y 2 Y .Ento, pondo
k = 2c + d(a; b), temos, para x 2 X e y 2 Y arbitrrios: d(x; y) d(x; a) + d(a; y) e
d(a; y) d(a; b) + d(b; y), da d(x; y) d(x; a) + d(a; b) + d(b; y) c + d(a; b) + c = k. A
desigualdade d(x; y) k evidente quando x; y 2 X ou x; y 2 Y . Logo vale d(x; y) k
para x e y quaisquer em X [ Y , o que mostra que a reunio X [ Y um conjunto
limitado.

Observao 2.3.5 Aplicando este resultado n 1 vezes, conclumos que a reunio


X1 [ : : : [ Xn de n conjuntos limitados um conjunto limitado.

14
Captulo 3

Funes Contnuas

3.1 Denio e exemplos


Denio 3.1.1 Sejam M; N espaos mtricos. Diz-se que a aplicao f : M ! N
contnua no ponto a 2 M quando, para todo " > 0 dado, possvel obter > 0 tal que
d(x; a) < implica d(f (x); f (a)) < ".

Diz-se que f : M ! N contnua quando ela contnua em todos os pontos a 2 M .


Equivalentemente, f : M ! N contnua em a 2 M quando, dada qualquer bola
0
B = B(f (a); ") de centro f (a), pode-se encontrar uma bola B = B(a; ), de centro a,
tal que f (B) B 0 .
No importante caso particular em que M R e f : M ! R, dizer que f contnua
no ponto a 2 M signica que para todo " > 0, existe > 0, tal que x 2 M e
a < x < a + implicam f (a) " < f (x) < f (a) + ". Ou seja, f transforma os
pontos de M que esto no intervalo aberto (a ; a + ) em pontos do intervalo aberto
(f (a) "; f (a) + ").

Observao 3.1.2 A noo de continuidade num ponto local, isto , depende apenas
do comportamento de f nas proximidades do ponto.

Exemplo 3.1.3 Continuidade em espaos discretos. Se a 2 M um ponto isolado,


ento toda aplicao f : M ! N contnua no ponto a. Com efeito, dado " > 0, basta
tomar > 0 tal que B(a; ) = fag. Ento d(x; a) < ) x = a ) d(f (x); f (a)) = 0 <
". Em consequncia, se M discreto, toda aplicao f : M ! N contnua.

15
3.2. CONTINUIDADE UNIFORME

Denio 3.1.4 Descontinuidade. Se f : M ! N no contnua no ponto a,


diz-se que f descontnua nesse ponto. Isto signica que existe " > 0 com a
seguinte propriedade: para todo > 0, pode-se obter x 2 M tal que d(x ; a) < e
d(f (x ); f (a)) ".

3.2 Continuidade uniforme


Denio 3.2.1 Sejam M; N espaos mtricos. Uma aplicao f : M ! N diz-se
uniformemente contnua quando, para todo " > 0 dado, existir > 0 tal que, sejam
quais forem x; y 2 M , d(x; y) < ) d (f (x) ; f (y)) < ".

Evidentemente, toda aplicao uniformemente contnua uma particular aplicao


contnua, para a qual a escolha de a partir do " dado idenpendente do ponto onde
se analisa a continuidade. De fato, seja f : M ! N uma aplicao uniformemente
contnua. Assim, para todo " > 0 dado, existe > 0 tal que, sejam quais forem
x; y 2 M , d (x; y) < implica d (f (x) ; f (y)) < ". Logo, se a 2 M , ento d (x; a) <
implica d (f (x) ; f (a)) < ".

Exemplo 3.2.2 A funo f : R ! R, denida por f (x) = x2 , contnua e no


"
uniformemente contnua. De fato, dado " > 0 tomamos = min 1; .
2 jaj + 1
Assim, se jx aj < , ento

+ a < x < + a, e como jaj a,


jaj +a<x< +a + jaj ,

ou seja,
jxj < jaj + jaj + 1.

16
3.2. CONTINUIDADE UNIFORME

A partir da

jf (x) f (a)j = x2 a2
= jx aj jx + aj
< jx + aj
(jxj + jaj)
< (2 jaj + 1)
".

Logo, jx aj < ) jf (x) f (a)j < " e, portanto, f contnua.


Vejamos que f no uniformemente contnua. Se pegarmos y = x + n, ento
jf (x) f (y)j = j 2xn n2 j = j2xn + n2 j. Para qualquer " > 0, mesmo tomando n
bem pequeno, podemos pegar um x grande de tal forma que j2xn + n2 j > ", isto , dado
" > 0, para todo > 0, mesmo se zermos jx yj = jnj < dependendo do valor de x
teramos jf (x) f (y)j > ".

Exemplo 3.2.3 Dada f : M ! N , suponhamos que exista uma constante c > 0


(chamada constante de Lipschitz) tal que d(f (x); f (y)) c d(x; y) quaisquer que
sejam x; y 2 M . Dizemos ento que f uma aplicao lipschitiziana. Neste caso,
f uniformemente contnua. De fato, se d (f (x) ; f (y)) c d (x; y) para quaisquer
x; y 2 M , ento dado " > 0, ns tomamos = "=c. De d (x; y) < segue-se
d (f (x) ; f (y)) c d (x; y) < c = ".

Exemplo 3.2.4 Se f : M ! N tal que d (f (x) ; f (y)) d (x; y) para qualquer


x; y 2 M , dizemos que f uma contrao fraca. Neste caso f lipschitziana (com
c = 1) e portanto uniformemente contnua.

17
Captulo 4

Limites

4.1 Limites de sequncias


Uma sequncia num conjunto M uma aplicao x : N ! M . O valor que a
sequncia x assume no nmero n 2 N ser indicado por xn , em vez de x(n), e chamar-
se- o n-simo termo da sequncia.
Usaremos as notaes (x1 ; x2 ; : : : ; xn ; : : :), (xn )n2N , ou (xn ) para representar uma
sequncia. Por outro lado, escreveremos fx1 ; x2 ; : : : ; xn ; : : :g, fxn ; n 2 Ng ou x(N) para
indicar o conjunto dos valores, ou o conjunto dos termos da sequncia. Este conjunto
no deve ser confundido com a sequncia.

Exemplo 4.1.1 Se denirmos x : N ! R pondo xn = ( 1)n , ento obteremos


a sequncia ( 1; 1; 1; 1; : : :), cujo conjunto de valores f 1; 1g. Vemos assim que
entre os termos xn da sequncia pode ocorrer repeties, isto , pode-se ter xm = xn
com m 6= n. Quando a aplicao x : N ! M for injetiva, ou seja, quando
m 6= n ) xm 6= xn , diremos que (xn ) uma sequncia de termos distintos, ou sem
repeties.

Uma subsequncia de (xn ) uma restrio da aplicao n 7! xn a um subconjunto


innito N0 = fn1 < n2 < : : : < nk < : : :g de N. A subsequncia indicada pelas
notaes (xn1 ; xn2 ; : : : ; xnk ; : : :), (xn )n2N0 , (xnk )k2N ou, simplesmente, (xnk ).

Exemplo 4.1.2 A sequncia (4; 16; 64; : : : ; 4k ; : : :)


uma subsequncia de (2; 4; 8; 16; : : : ; 2n ; : : :), na qual N0 o conjunto dos nmeros
pares.

18
4.1. LIMITES DE SEQUNCIAS

Denio 4.1.3 Uma sequncia (xn ) no espao mtrico M chama-se limitada quando
o conjunto dos seus termos limitado, isto , quando existe c > 0 tal que d(xm ; xn ) c
para quaisquer m; n 2 N.

Exemplo 4.1.4 Uma sequncia constante (xn = a para todo n) ou, mais geralmente,
uma sequncia que assume apenas um nmero nito de valores, evidentemente
limitada.

Seja (xn ) uma sequncia num espao mtrico M . Diz-se que o ponto a 2 M limite
da sequncia (xn ) quando, para todo nmero " > 0 dado arbitrariamente, pode-se obter
n0 2 N tal que n > n0 ) d(xn ; a) < ". Escreve-se ento a = lim xn , a = lim xn ou
n
a = lim xn . Diz-se tambm que xn tende para a e escreve-se ainda xn ! a.
n2N
Quando existe a = lim xn 2 M , diz-se que a sequncia de pontos xn 2 M
convergente em M , e converge para a. Se no existir lim xn em M , dizemos que a
sequncia divergente em M .

Exemplo 4.1.5 Toda sequncia constante xn = a, evidentemente convergente e


lim xn = a.

As consideraes que se seguem visam a facilitar um entendimento melhor da


denio de limite, bem como a estabelecer uma linguagem malevel para lidar com
valores "grandes" da varivel inteira n.
Seja X um conjunto de nmeros naturais. Diremos que X contm nmeros
arbitrariamente grandes quando, para todo n0 2 N dado, pudermos encontrar n 2 X tal
que n > n0 . Isto signica que X um subconjunto ilimitado de N e equivale tambm
a dizer que X um conjunto innito de nmeros naturais.
Diremos que o conjunto X N contm todos os nmeros naturais sucientemente
grandes quando existe n0 2 N tal que n > n0 ) n 2 X. Isto equivale a dizer que o
complementar N X nito. Em particular, X innito.
Seja (xn ) uma sequncia no espao mtrico M . Dizer que lim xn = a 2 M
signica que, dada qualquer bola aberta B, de centro a, tem-se xn 2 B para todo
n sucientemente grande.

Proposio 4.1.6 Toda sequncia convergente limitada.

Demonstrao: Seja lim xn = a num espao mtrico M . Tomando " = 1, obtemos


n0 2 N tal que n > n0 ) xn 2 B(a; 1). Portanto o conjunto dos valores da sequncia

19
4.1. LIMITES DE SEQUNCIAS

est contido na reunio fx1 ; : : : ; xn0 g [ B(a; 1) de dois conjuntos limitados, logo
limitado. Segue da denio de sequncia limitada que xn limitada.

Proposio 4.1.7 (Unicidade do limite). Uma sequncia no pode convergir para dois
limites diferentes.

Demonstrao: Seja (xn ) uma sequncia no espao mtrico M , e sejam a; b 2 M tais


que a = lim xn e b = lim xn . Dado arbitrariamente " > 0, existe n0 2 N tal que n >
n0 ) d(xn ; a) < ". Existe tambm n1 2 N tal que n > n1 ) d(xn ; b) < ". Tomemos
agora n 2 N maior do que n0 e do que n1 , ento d(a; b) d(a; xn ) + d(xn ; b) < 2".
Segue-se que 0 d(a; b) < 2" para todo " > 0. Isto acarreta d(a; b) = 0 e, portanto,
a = b.
Segue-se da Proposio anterior que se num espao mtrico M tem-se lim xn = a 2
M e xn 6= a para todo n, ento a sequncia (xn ) divergente no espao mtrico M fag.
Com efeito, se existisse b 2 M fag tal que lim xn = b, ento b 6= a e a sequncia teria
dois limites distintos a; b 2 M .

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

Demonstrao: Seja N0 = fn1 < n2 < : : : < nk < : : :g um subconjunto innito


de N. Dado qualquer " > 0, existe n0 2 N tal que n > n0 ) d(xn ; a) < ". Existe
tambm k0 2 N tal que nk0 > n0 . Logo k > k0 ) nk > n0 ) d(xnk ; a) < ". Portanto
lim xnk = lim xn = a.
k!1 n2N

Corolrio 4.1.9 Se lim xn = a ento, para todo p 2 N, tem-se lim xn+p = a.


n

Demonstrao: Com efeito (xn+p )n2N = (x1+p ; x2+p ; : : :) uma subsequncia de (xn ).

Proposio 4.1.10 Um ponto a, num espao mtrico M , limite de uma subsequncia


de (xn ) se, e somente se, toda bola aberta de centro a contm termos de xn com ndices
n arbitrariamente grandes.

Demonstrao: Se uma subsequncia (xn1 ; xn2 ; : : : ; xnk ; : : :) converge para a ento,


dado " > 0, existe k0 2 N tal que k > k0 ) xnk 2 B(a; "). Logo toda bola
B(a; ") de centro a contm termos de xn com ndeces arbitrariamente grandes, a
saber, todos os ndices nk com k > k0 . Reciprocamente, supondo cumprida esta

20
4.2. SEQUNCIA DE NMEROS REAIS

condio, a bola B(a; 1) contm um termo xn1 , a bola B(a; 1=2) contm um termo
xn2 com ndice n2 > n1 , e assim por diante: para todo k 2 N, podemos achar
xnk 2 B(a; 1=k) com nk > nk 1 > : : : > n2 > n1 . Isto dene um subconjunto innito
N0 = fn1 < n2 < : : : < nk < : : :g e uma subsequncia (xnk ) tal que d(xnk ; a) < 1=k.
Segue-se que lim xnk = a.
k!1

4.2 Sequncia de nmeros reais


Uma sequncia (xn ) de nmeros reais diz-se crescente quando se tem x1 < x2 <
: : : < xn < : : :, isto , xn < xn+1 para todo n 2 N. Quando vale apenas xn xn+1 , a
sequncia diz-se no-decrescente. Analogamente se denem sequncias decrescentes e
no-crescentes. Uma sequncia de um desses quatro tipos chamada montona.

Proposio 4.2.1 Toda sequncia montona limitada de nmeros reais convergente:

Demonstrao: Para xar as ideias, seja (x1 x2 ::: xn : : :) a sequncia


limitada em questo. Tomemos a = sup xn . Armamos que a = lim xn . Com efeito,
n2N
dado arbitrariamente " > 0, o nmero a ", sendo menor do que a, no pode ser cota
superior do conjunto dos valores xn . Logo existe n0 2 N tal que a " < xn0 a.
Ento n > n0 ) a " < xn0 xn a < a + " ) a " < xn < a + ". Isto conclui a
demonstrao.

4.3 Sequncias de funes


Denio 4.3.1 Diremos que a sequncia de aplicaes fn : X ! M converge
uniformemente em X para a aplicao f : X ! M quando, para todo nmero real
" > 0 dado, for possvel obter n0 2 N tal que n > n0 ) d (fn (x) ; f (x)) < ", qualquer
que seja x 2 X.

Teorema 4.3.2 Sejam M; N espaos mtricos. Se uma sequncia de aplicaes fn :


M ! N , contnuas no ponto a 2 M , converge uniformemente em M para uma aplicao
f : M ! N ento f contnua no ponto a.

Demonstrao: Para provar que f contnua no ponto a, supomos dado " > 0
"
e escolhemos um nmero natural n tal que d (fn (x) ; f (x)) < para todo x 2 M .
3

21
4.3. SEQUNCIAS DE FUNES

Como fn contnua no ponto a, existe > 0 tal que d (x; a) < em M implica
"
d (fn (x) ; 6 fn (a)) < . Ento, para todo x 2 M com d (x; a) < , temos:
3

d (f (x) ; f (a)) d (f (x) ; fn (x)) + d (fn (x) ; fn (a)) + d (fn (a) ; f (a))
" " "
< + + = ".
3 3 3

Corolrio 4.3.3 O limite uniforme de uma sequncia de aplicaes contnuas fn :


M ! N uma aplicao contnua f : M ! N .

22
Captulo 5

Espaos Mtricos Completos

5.1 Sequncias de Cauchy


Denio 5.1.1 Uma sequncia (xn ) num espao mtrico M chama-se uma sequncia
de Cauchy quando, para todo " > 0 dado, existir n0 2 N tal que m; n > n0 )
d(xm ; xn ) < ".

A m de que uma sequncia (xn ) seja de Cauchy, necessrio e suciente que, para
cada " > 0 dado, exista n0 2 N tal que n > n0 ) d(xn ; xn+p ) < " qualquer que seja
p 2 N. (Basta chamar de n o menor dos nmeros m; n da denio anterior e por
m = n + p.)
Intuitivamente, os termos de uma sequncia de Cauchy vo se tornando cada vez
mais prximos uns dos outros, medida que cresce o ndice n.
Ser de Cauchy uma propriedade intrnseca da sequncia; depende apenas dos
seus termos, mas no da existncia de outros pontos no espao (em contraste com a
propriedade de ser convergente). Assim, se M N , uma sequncia de pontos xn 2 M
de Cauchy em M se, e somente se, de Cauchy em N .
Quando os termos de uma sequncia se aproximam de um ponto xado, eles devem
necessariamente aproximar-se uns dos outros.

Proposio 5.1.2 Toda sequncia convergente de Cauchy:


Demonstrao: Se lim xn = a no espao mtrico M ento, dado " > 0, existe n0 2 N
tal que n > n0 ) d(xn ; a) < "=2. Se tomarmos m; n > n0 teremos

" "
d(xm ; xn ) d(xm ; a) + d(xn ; a) < + = ".
2 2

23
5.1. SEQUNCIAS DE CAUCHY

Logo, (xn ) de Cauchy.

Exemplo 5.1.3 Nem toda sequncia de Cauchy convergente. Para ver isto, tomemos
uma sequncia de nmeros racionais xn convergindo para um nmero irracional a. (Por
p
exemplo, x1 = 1; x2 = 1; 4; x3 = 1; 41; x4 = 1; 414; : : : ; com lim xn = 2.) Sendo
convergente em R, segue-se da Proposio 5.1.2 que (xn ) uma sequncia de Cauchy
no espao mtrico Q dos nmeros racionais. Mas evidentemente (xn ) no convergente
em Q.

Proposio 5.1.4 Toda sequncia de Cauchy limitada.

Demonstrao: Seja (xn ) uma sequncia de Cauchy no espao mtrico M . Dado


" = 1, existe n0 2 N tal que m; n > n0 ) d(xm ; xn ) < 1. Logo o conjunto
fxn0 +1 ; xn0 +2 ; : : :g limitado e tem dimetro menor do que ou igual a 1. Segue-se
que o conjunto dos valores da sequncia

fx1 ; x2 ; : : : ; xn ; : : :g = fx1 ; : : : ; xn0 g [ fxn0 +1 ; xn0 +2 ; : : :g

limitado. Portanto xn limitada.

Exemplo 5.1.5 Nem toda sequncia limitada de Cauchy. O exemplo mais simples
dado por (1; 0; 1; 0; : : :) na reta. Embora limitada, esta sequncia no de Cauchy pois
d(xn ; xn+1 ) = 1 para todo n.

Proposio 5.1.6 Uma sequncia de Cauchy que possui uma subsequncia convergente
convergente (e tem o mesmo limite que a subsequncia).

Demonstrao: Sejam (xn ) uma sequncia de Cauchy no espao mtrico M e (xnk )


uma subsequncia que converge para o ponto a 2 M . Armamos que lim xn = a. Com
efeito, dado " > 0, existe p 2 N tal que nk > p ) d(xnk ; a) < "=2. Existe tambm
q 2 N tal que m; n > q ) d(xm ; xn ) < "=2. Seja n0 = maxfp; qg. Para todo n > n0
existe nk > n0 e ento

" "
d(xn ; a) d(xn ; xnk ) + d(xnk ; a) < + = ".
2 2

Logo lim xn = a.

24
5.2. ESPAOS MTRICOS COMPLETOS

5.2 Espaos mtricos completos


Diz-se que o espao mtrico M completo quando toda sequncia de Cauchy em M
convergente.

Exemplo 5.2.1 O espao Q dos nmeros racionais no completo. (Vide Exemplo


5.1.3.)

Todo espao M com a mtrica zero-um completo. De fato, sejam M um espao


com a mtrica zero-um e (xn ) uma sequncia de Cauchy em M . Assim, dado " = 1,
existe n0 2 N tal que n > n0 ) d(xn ; xn+p ) < 1 qualquer que seja p 2 N. Como d
a mtrica zero-um, segue que d(xn ; xn+p ) = 0 e, portanto, xn = xn+p qualquer que
seja p 2 N, ou seja, a partir de um certo ndice n0 a sequncia (xn ) constante. Desse
modo, existe a 2 M tal que n > n0 ) xn = a. Dado " > 0 qualquer, temos que
n > n0 ) d (xn ; a) = 0 < ". Portanto lim xn = a.
Nem todo espao mtrico discreto, porm, completo, como se v tomando
P = f1; 1=2; : : : ; 1=n; : : :g, onde xn = 1=n fornece uma sequncia de Cauchy que no
converge em P .
Diremos que uma mtrica d, num espao M , uniformemente discreta quando existir
" > 0 tal que x; y 2 M , d(x; y) < " ) x = y. Neste caso, se (xn ) uma sequncia de
Cauchy em M , existe n0 tal que m; n > n0 ) d(xm ; xn ) < " ) xm = xn . Assim, toda
sequncia de Cauchy num espao uniformemente discreto constante a partir de um
certo ndice n0 , e portanto convergente. Tais espaos so completos.

Exemplo 5.2.2 Tomando-se P = f1; 1=2; : : : ; 1=n; : : :g, primeiro com sua mtrica
usual e depois com a mtrica zero-um, obtemos duas mtricas tais que P completo em
relao a uma delas porm no em relao outra.

A proposio seguinte, devida a Cauchy, estabelece o exemplo mais importante de


espao mtrico completo.

Proposio 5.2.3 A reta um espao mtrico completo.

Demonstrao: Seja (xn ) uma sequncia de Cauchy em R. Pondo, para cada


n 2 N, Xn = fxn ; xn+1 ; : : :g, temos X1 X2 ::: Xn : : : e, pela Proposio
5.1.4, os conjuntos Xn so limitados. Seja an = inf Xn (n = 1; 2; 3 : : :). Ento
a1 a2 ::: an ::: b = sup X1 . Pela Proposio 4.2.1 do Captulo 4,

25
5.3. O MTODO DAS APROXIMAES SUCESSIVAS

existe o nmero a = lim an . Armamos que a = lim xn . Para provar isto, basta mostrar
que a limite de uma subsequncia de (xn ), ou seja, que dados arbitrariamente " > 0
e n1 2 N, podemos obter n > n1 tal que xn 2 (a "; a + "). (Vide proposio 5.1.6 e
Proposio 4.1.10). Ora, 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 2 (a "; a + ").

5.3 O mtodo das aproximaes sucessivas


Um ponto xo de uma aplicao f : M ! M um ponto x 2 M tal que f (x) = x.

Exemplo 5.3.1 A aplicao f : R ! R, dada por f (x) = x2 , tem dois pontos xos,
a saber 0 e 1. Os pontos xos de uma funo real de varivel real f so abscissas dos
pontos do plano em que o grco intersecta a diagonal y = x.

Denio 5.3.2 Sejam M; N espaos mtricos. Uma aplicao f : M ! N chama-se


uma contrao quando existir uma constante c, com 0 c < 1, tal que d(f (x); f (y))
c d(x; y) para quaisquer x; y 2 M .

Proposio 5.3.3 Seja f : I ! R uma funo real derivvel no intervalo I. Se existir


uma constante c tal que jf 0 (x)j c < 1 para todo x 2 I, ento f uma contrao.

Essa proposio consequncia do Teorema do Valor Mdio de Lagrange, o que se


distncia do foco do trabalho. Portanto, o interessado na demonstrao desse resultado
veja referncia [4], seo 4, p. 96-98.

Teorema 5.3.4 Teorema de Banach, sobre pontos xos de contraes. Se M um


espao mtrico completo, toda contrao f : M ! M possui um nico ponto xo
em M . Mais precisamente, se escolhermos um ponto qualquer x0 2 M e pusermos
x1 = f (x0 ); x2 = f (x1 ); : : : ; xn+1 = f (xn ); : : : a sequncia (xn ) converge em M e
a = lim xn o nico ponto xo de f .

Demonstrao: Admitamos, por enquanto, que a sequncia (xn ) convirja para um


ponto a 2 M . Ento, como f contnua, temos f (a) = f (lim xn ) = lim f (xn ) =
lim xn+1 = a, logo a ponto xo de f . Mostremos agora que f no admite dois pontos
xos distintos. De fato, se f (a) = a, f (b) = b, e vale d(f (x); f (y)) c d(x; y), com

26
5.4. ALGUMAS APLICAES

0 c < 1, para x; y 2 M quaisquer, ento d(a; b) = d(f (a); f (b)) c d(a; b), donde
(1 c) d(a; b) 0. Como 1 c > 0 e d(a; b) 0, ento (1 c) d(a; b) = 0, conclumos
que d(a; b) = 0, ou seja, a = b. S nos resta, portanto, mostrar que (xn ) converge em
M , e como M completo, basta mostrar que (xn ) uma sequncia de Cauchy em M .
Ora,

d(x1 ; x2 ) = d(f (x0 ); f (x1 )) c d(x0 ; x1 );


d(x2 ; x3 ) = d(f (x1 ); f (x2 )) c d(x1 ; x2 ) c2 d(x0 ; x1 )

e, em geral, temos d(xn ; xn+1 ) cn d(x0 ; x1 ) para todo n 2 N. Segue-se que, para
n; p 2 N quaisquer:

d(xn ; xn+p ) d(xn ; xn+1 ) + d(xn+1 ; xn+2 ) + : : : + d(xn+p 1 ; xn+p )


[cn + cn+1 + : : : + cn+p 1 ] d(x0 ; x1 ) =
n
= cn [1 + c + : : : + cp 1 ] d(x0 ; x1 ) 1c c d(x0 ; x1 ):

Como lim cn = 0, conclumos que (xn ) uma sequncia de Cauchy em M , o que


n!1
completa a demonstrao.

5.4 Algumas aplicaes


A elaborao do exemplo a seguir foi baseda nas referncias [1] e [2].

Exemplo 5.4.1 Dada f : R ! R denida por f (x) = x cos (cos x), podemos
considerar a funo : R ! R denida por = cos (cos x). Como R um espao
mtrico completo, se for uma contrao, podemos utilizar o Teorema do Ponto Fixo
de Banach para encontrar a soluo da equao no linear f (x) = 0, j que isso implica
em x = cos(cos x) = (x). Ento o nosso problema se resume a encontrar o ponto xo
da funo .
Vejamos que uma contrao. Temos que 0 (x) = sen (cos x) senx, e

1
j 0 (x)j = jsen (cos x) senxj < < 1,
2

para todo x 2 R. Logo, pela Proposio 5.3.3, uma contrao. Portanto, a equao
no linear x = cos (cos x) possui uma nica soluo em R.

27
5.4. ALGUMAS APLICAES

O teorema sugere criar a sequncia xn+1 = (xn ), e escolhendo x0 = 0; 5 como a


aproximao inicial obtemos:

x1 = cos (cos 0; 5) = 0; 6390124941


x2 = cos(cos 0; 6390124941) = 0; 6947780267
x3 = cos (cos 0; 6947780267) = 0; 7191654459
x4 = cos (cos 0; 7191654459) = 0; 7300810631
x5 = cos (cos 0; 7300810631) = 0; 7350063090

Aps 30 iteraes chegamos ao resultado, com preciso de 10 casas decimais, x =


0; 7390851332.

O Teorema de Banach, sobre pontos xos de contraes, pode ser utilizado para
provar a existncia e a unicidade da soluo de um problema de valor inicial.
Para demonstrar o teorema da existncia e unicidade precisamos primeiramente
enunciar alguns lemas que, por no ser o foco do estudo feito nesse trabalho, no sero
demonstrados.

Lema 5.4.2 Um conjunto X R compacto (fechado e limitado) se, e somente se,


toda sequncia de pontos em X possui uma subsequncia que converge para um ponto
de X.

Demonstrao: Ver referncia [4].

Lema 5.4.3 Seja f : ! R uma funo contnua num aberto do plano (x; y).
Ento, uma funo diferencivel : I ! R uma soluo do problema de valor inicial

y 0 = f (x; y) ,
y (x0 ) = y0

se, e somente se, for uma soluo da equao integral


Z x
y (x) = y0 + f (s; y (s)) ds; x 2 I.
x0

Demonstrao: A demonstrao desse resultado pode ser feita pelo Teorema


Fundamental do Clculo.

28
5.4. ALGUMAS APLICAES

Lema 5.4.4 Seja f : ! R uma funo contnua denida em um aberto do


plano (x; y) e tal que a derivada parcial fy : ! R seja tambm contnua. Dado
um subconjunto limitado 0 0 , existe uma constante K > 0 tal que

jf (x; y1 ) f (x; y2 )j K jy1 y2 j

para todos (x; y1 ) ; (x; y2 ) 2 0.

Demonstrao: Ver referncia [3].


A demonstrao do teorema abaixo foi feita tomando como base o livro [3].

Teorema 5.4.5 (Existncia e Unicidade.) Seja f : ! R uma funo contnua


denida num aberto do plano (x; y). Suponhamos que a derivada parcial com relao
segunda varivel, fy : ! R, seja contnua tambm. Ento, para cada (x0 ; y0 ) 2 ,
existem um intervalo aberto I contendo x0 e uma nica funo diferencivel : I ! R
com (x; (x)) 2 , para todo x 2 I, que soluo do problema de valor inicial

y 0 = f (x; y) (5.1)
y (x0 ) = y0. (5.2)

Demonstrao: A soluo , pelo Lema 5.4.3, deve ser soluo da equao integral
Z x
y (x) = y0 + f (s; y (s)) ds; x 2 I. (5.3)
x0

Vamos trabalhar na resoluo da equao integral (5.3). Dado (x0 ; y0 ) 2 , tomemos a


e b positivos tais que o retngulo

B = B (a; b; x0 ; y0 ) = f(x; y) ; jx x0 j a e jy y0 j bg

esteja contido em . Como, por denio, f contnua e B compacto (isto , fechado


e limitado), temos que f limitada em B; seja

M = sup fjf (x; y)j ; (x; y) 2 Bg .

Sejam
b
0<a min a;
M

29
5.4. ALGUMAS APLICAES

e
Ja o intervalo fechado [x0 a; x0 + a] .

Seja C o conjunto de todas as funes contnuas g : Ja ! R tais que g (x0 ) = y0 e


jg (x) y0 j b; ou seja, as funes contnuas cujos grcos passam pelo ponto (x0 ; y0 )
e que estejam contidos no retngulo B.
Vejamos que C, com a mtrica do sup, completo.
Seja (gn ) uma sequncia de cauchy em C, ento dado " > 0 existe n0 tal que

n; m > n0 ) d (gn ; gm ) = sup fjgn (x) gm (x)j ; x 2 Ja g < ".

Para x0 2 Ja , qualquer, a sequncia de nmeros reais gnx0 com gnx0 = gn (x0 ) de


cauchy. De fato, dado " > 0 se n; m > n0 , ento

jgn (x0 ) gm (x0 )j sup fjgn (x) gm (x)j ; x 2 Ja g < ",

ou seja,
d (gn (x0 ) ; gm (x0 )) < ".

Como R completo, a sequncia gnx0 converge em R. Logo, qualquer que seja x0 2 Ja ,


existe ax0 = lim gnx0 . Seja
g : Ja ! R

denida por
g (x) = lim gnx ,

temos que g est bem denida, pois o lim gn existe para todo x 2 Ja e esse limite
nico. Desse modo, para todo real " > 0 dado, existe n0 2 N tal que

n > n0 ) d (gn (x) ; g (x)) < ".

Logo gn ! g uniformemente em C e, pelo Corolrio 4.3.3, g contnua. Temos, ainda,


que a sequncia gnx0 constante e gnx0 = y0 . Logo

g (x0 ) = lim gn (x0 ) = y0 .

E como o intervalo
A = [y0 b; y0 + b] R

30
5.4. ALGUMAS APLICAES

compacto e a sequncia (gnx ) tem pontos em A para todo x 2 Ja , ento, pelo Lema
5.4.2, (gnx ) possui uma subsequncia que converge para um a 2 A e como (gnx )
de cauchy segue, pela Proposio 5.1.6, que (gnx ) converge para a. Assim, para todo
x 2 Ja ,
g (x) = lim gn (x) 2 A

o que implica que


jg (x) y0 j b.

Conclumos que g 2 C e, portanto, C completo.


Voltemos para considerao da equao integral (5.3). Consideremos a funo
denida em C e que a cada y 2 C associa a funo
Z x
g (x) = y0 + f (s; y (s)) ds.
x0

Dados x1 ; x2 2 Ja quaisquer, vale (ver referncia [4])


Z x1 Z x2
jg (x1 ) g (x2 )j = f (s; g (s)) ds f (s; g (s)) ds
x x
Z 0x1 Z 0x0
= f (s; g (s)) ds + f (s; g (s)) ds
x x2
Z 0x1
= f (s; g (s)) ds
x2
Z x1
jf (s; g (s))j ds
x2

e, por denio,
Z x1 Z x1
jf (s; g (s))j ds M ds
x2 x2

= M (x1 x2 )
M jx1 x2 j

ou seja,
d (g (x1 ) ; g (x2 )) M d (x1 ; x2 ) .

31
5.4. ALGUMAS APLICAES

Logo, g (x) lipschitziana e, consequentemente, contnua para x 2 Ja . Temos tambm


que g (x0 ) = y0 e que
Z x
jg (x) y0 j = f (s; g (s)) ds
x0

M jx x0 j

por x 2 Ja o jx x0 j a

M jx x0 j Ma
b

e consequentemente g 2 C. Logo : C ! C.
Assim, a equao integral (5.3) pode ser escrita na forma funcional

y= (y) . (5.4)

Portanto, as solues de (5.3) so os pontos xos de . Se for uma contrao, ento


pelo Teorema de Banach, sobre pontos xos de contraes, a equao (5.4) possui
soluo e ela nica.
S nos resta mostrar que uma contrao.

Z x Z x
j (g1 ) (x) (g2 ) (x)j = f (s; g1 (s)) ds f (s; g2 (x)) ds
x0 x0
Z x
= [f (s; g1 (s)) f (s; g2 (x))] ds (5.5)
x0
Z x
jf (s; g1 (s)) f (s; g2 (x))j ds (5.6)
x0

usando o Lema 5.4.4, existe K > 0 tal que

jf (s; g1 (s)) f (s; g2 (x))j K jg1 (s) g2 (s)j

obtendo
Z x Z x
jf (s; g1 (s)) f (s; g2 (x))j ds K jg1 (s) g2 (s)j ds
x0 x0

32
5.4. ALGUMAS APLICAES

e como jg1 (s) g2 (s)j d (g1 ; g2 )


Z x Z x
K jg1 (s) g2 (s)j ds Kd (g1 ; g2 ) ds
x0 x0

= Kd (g1 ; g2 ) (x x0 )
Kd (g1 ; g2 ) jx x0 j
Kad (g1 ; g2 )

e da
d ( (g1 ) ; (g2 )) Kad (g1 ; g2 ) .
1
Conclumos que uma contrao se Ka < 1. Logo basta tomar a < K
. E o Teorema
5.4.5 ca demonstrado com I = (x0 a; x0 + a).

33
Referncias Bibliogrcas

[1] BARROS, Ccero Demtrio Vieira de. O Teorema do Ponto Fixo de Banach e
algumas Aplicaes. Joo Pessoa: Universidade Federal da Paraba, 2013.

[2] EQUAES no lineares. Disponvel em: <http://www.mat.ufrgs.br/~guidi/grad/


MAT01032/calculo_numerico.cap2.pdf>. Acesso dia 28 de novembro de 2016.

[3] FIGUEIREDO, Djairo Guedes de. Equaes diferenciais aplicadas. 3a Ed.Rio de


Janeiro: Instituto de Matemtica Pura e Aplicada, 2008.

[4] LIMA, Elon Lages. Anlise Real: funes de uma varivel. Vol I. 10a . Ed. Rio de
Janeiro. IMPA, 2010.

[5] LIMA, Elon Lages. Curso de anlise. Vol. 1. Rio de Janeiro: Instituto de Matemtica
Pura e Aplicada, 2002.

[6] LIMA, Elon Lages. Espaos Mtricos. Rio de Janeiro. Instituto de Matemtica Pura
e Aplicada, CNPq, 1977.

[7] Midterm solutions. Disponvel em: <https://web.math.princeton.edu/~mdamron/


teaching/F12/MAT_215_Midterm_solutions.pdf>. Acesso dia 18 de maio de 2016.

34