Académique Documents
Professionnel Documents
Culture Documents
1 Introdu
cao 5
2 Espa
cos M etricos 7
2.1 Definicoes basicas e exemplos de espacos metricos . . . . . . . . . . . . . . . . . . 7
2.2 Bolas abertas, bolas fechadas e esferas em espacos metricos . . . . . . . . . . . . 30
2.3 Subconjuntos limitados de um espacos metricos . . . . . . . . . . . . . . . . . . . 41
2.4 Distancia de um ponto a um subconjunto em um espaco metrico . . . . . . . . . 47
2.5 Distancia entre dois subconjuntos de um espaco metrico . . . . . . . . . . . . . . 53
2.6 Isometrias entre espacos metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3 Funco
es Contnuas Definidas em Espa cos M etricos 59
3.1 Definicao de funcao contnua em espacos metricos e exemplos . . . . . . . . . . . 59
3.2 Propriedades elementares de func oes contnuas entre espacos metricos . . . . . . 70
3.3 Homeomorfismos entre espacos metricos . . . . . . . . . . . . . . . . . . . . . . . 75
3.4 Metricas equivalentes em um espaco metrico . . . . . . . . . . . . . . . . . . . . . 91
3.5 Transformacoes lineares e multilineares definidas em espacos vetoriais normados . 102
4 Bibliografia 115
3
4
SUMARIO
Captulo 1
Introduc
ao
Este trabalho podera servir como notas de aula para cursos cujas ementas tratam de espacos
metricos.
Serao exibidos todos os conceitos relacionados com o conte
udo acima, bem como propriedades
e aplicacoes dos mesmos.
As referencias ao final das notas poderao servir como material importante para o conte
udo
aqui desenvolvido.
5
6 CAPITULO 1. INTRODUC
AO
Captulo 2
Espacos M
etricos
2.1 Definico
es b
asicas e exemplos de espacos m
etricos
Comecaremos com a:
Defini
cao 2.1.1 Seja M um conjunto n
ao vazio.
Diremos que uma aplicac
ao
d:M M R
e uma m
etrica (ou dist
ancia) em M se as seguintes condic
oes est
ao satisfeitas:
(d1) d(x, x) = 0;
(d2) se x, y M e x 6= y ent
ao d(x, y) > 0;
Observa
cao 2.1.1
1. (d1) e (d2) implicam que d(x, y) 0 para todo x, y M e que d(x, y) = 0 se, e somente
se, x = y.
7
8 CAPITULO 2. ESPAC
OS METRICOS
Defini
cao 2.1.2 Se d e uma metrica em M ent
ao o par (M, d) ser
a denominado espa
co
m
etrico.
Observa c
ao 2.1.2 Quando n ao houver possibilidade de confusao nos referiremos ao espaco
metrico M (ao inves de (M, d)) deixando subentendido a metrica d a ser considerada.
Nota
cao 2.1.1 Se (M, d) e um espaco metrico, os elementos de M ser
ao ditos pontos de M .
Observa
cao 2.1.3 A metrica acima e denominada m
etrica zero-um.
Observa c
ao 2.1.4 No caso acima S ser
a dito subespa
co (m
etrico) de M e a metrica d|S
ser
a dita metrica induzida pela metrica d de M .
para x, y R.
Afirmamos que d e uma metrica em M .
Mostremos que (d1) ocorre:
[propriedade do m
odulo]
De fato, d(x, x) = |x x| = |0| = 0.
Mostremos que (d2) ocorre:
[xy6=0]
Se x 6= y ent
ao d(x, y) = |x y| > 0.
Mostremos que (d3) ocorre:
[propriedade do m
odulo]
De fato, d(y, x) = |y x| = | (x y)| = |x y| = d(x, y)
Mostremos que (d4) ocorre:
[propriedade do m
odulo]
De fato, d(x, y) = |x y| = |x + (z + z) y| = |(x z) + (z y)|
|x z| + |z y| = d(x, z) + d(z, y).
Portanto vale (d4), ou seja, d e uma metrica em M .
Observa
cao 2.1.5 No caso acima diremos que a metrica d e a m
etrica usual de R.
d, d0 , d00 : Rn Rn R, j = 1, 2, 3 :
" n #1
. p X 2
2
1. d(x, y) = (x1 y1 )2 + + (xn yn )2 = (xi yi ) .
i=1
X n
.
2. d0 (x, y) = |x1 y1 | + + |xn yn | = |xi yi |.
i=1
.
3. d00 (x, y) = max{|x1 y1 |, , |xn yn |} = max |xi yi |,
1in
10 CAPITULO 2. ESPAC
OS METRICOS
(d2) Se x 6= y ent
ao para algum i0 {1, , n} temos que xi0 6= yi0 assim
" n #1
X 2
1
d(x, y) = (xi yi )2 [(xi0 yi0 )2 ] 2 > 0.
i=1
= (yi xi )2 = d(y, x)
i=1
(d4) Ser
a verificada no exemplo (2.1.14).
Logo d e um metrica em Rn .
Mostremos que aplicacao d0 satisfaz as condic
oes (d1)-(d4):
(d2) Se x 6= y ent
ao para algum i0 {1, , n} temos que xi0 6= yi0 assim
n
X
d0 (x, y) = |xi xi | |xi0 yi0 | > 0.
i=1
Logo d0 e um metrica em Rn .
Mostremos que aplicacao d00 satisfaz as condic
oes (d1)-(d4):
(d2) Se x 6= y ent
ao para algum i0 {1, , n} temos que xi0 6= yi0 assim
d00 (x, y) = max |xi yi | = max | (xi + yi )| = max |(1)yi xi | = max [| 1||xi xi |]
1in 1in 1in 1in
00
= max |yi xi | = d (y, x).
1in
d00 (x, y) = max |xi yi | = max |xi + (zi + zi ) yi )| = max |(xi zi ) + (zi yi )|
1in 1in 1in
[|a+b||a|+|b|]
max [|xi zi | + |zi yi |]
1in
[max{A+B}max A+max B]
max |xi zi | + max |zi yi | = d00 (x, z) + d00 (z, y).
1in 1in
Observa
cao 2.1.6
1. A metrica d acima definida ser
a denominada m
etrica euclideana.
Ela provem da formula da dist
ancia entre dois pontos (em coordenadas cartesianas) que e
uma conseq uencia do Teorema de Pitagoras (pois o quadrado do comprimento da hipotenusa
e igual ao quadrado da dist
ancia entre os pontos que correspondem aos vertices da hipotenusa;
logo devem ser igual a soma dos quadrados dos catetos, que correspondem a somar o
quadrado das dist ancias das projec
oes ortogonais nos respectivos eixos cartesianos; veja
2
figura abaixo para o caso R ).
p
d(p, q) = (q1 p1 )2 + (q2 p2 )2
6
q2 q
p2
p
-
p1 q1
12 CAPITULO 2. ESPAC
OS METRICOS
2. Se n = 2 a metrica d e a que d
a a dist
ancia entre os pontos p e q do plano (ou seja, o
comprimento do segmento de reta que une os pontos p e q, vide figura abaixo).
d(p, q)
A metrica d0 nos d
a a dist
ancia entre dois pontos do plano utilizando-se dos catetos de um
tri
angulo ret
angulo determinado pelos pontos p e q (vide figura abaixo).
M
?
r
p
-
Y
r
p
-
Y
d(p, q)
?
p
-
d00 (p, q)
d0 (p, q)
9
-
completando a demonstracao.
Temos a seguinte definicao:
Defini
cao 2.1.3 Seja X um conjunto n ao vazio. Diremos que uma funca
o f : X R e
limitada se existir k = kf > 0 tal que
Defini
cao 2.1.4 Seja A R, A 6= .
Diremos que o conjunto A e limitado superiormente em R se existir l R tal que
a l, para todo a A.
Alguns exemplos
Exemplo 2.1.5
1. Se A = (, ) ent ao A e limitado superiormente em R (por exemplo, l = 4 e um
limitante superior do conjunto A) e n
ao e limitado inferiormente em R.
3. Se A = N ent
ao A n
ao e limitado superiormente ou inferiormente em R.
1
4. Se A = { : n N} ent ao A e limitado superiormentee inferiormente em R (por exemolo,
n
l = 1 e um limitante superior do conjunto A e m = 1 e um limitante inferior do conjunto
A).
Definic
ao 2.1.5 Seja A R limitado superiormente em R.
Diremos que s0 R e o supremo do conjunto A, denotado por sup A, se satisfaz as
seguintes condic
oes:
(s1) s0 e um limitante superior do conjunto A;
(s2) s0 e o menor n
umero real satisfazendo a propriedade (s1) (isto e, qualquer n
umero real
menor que ele n
ao ser
a limitante superior do conjunto A).
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 15
De modo temos a:
(i2) s1 e o maior n
umero real satisfazendo a propriedade (i1) (isto e, qualquer n
umero real
maior que ele n
ao ser
a limitante superior do conjunto A).
aA
?
s0 s0 = sup A
Demonstra cao:
Suponhamos que s0 = sup A.
Entao s0 e limitante superior de A, logo vale (s1) (pois (s1) e igual e (s1)).
Por outro lado, dado 0 < temos que
.
s = s0 < s0 ,
logo s nao podera ser limitante superior (pois s0 e o menor limitante superior e s < s0 ).
Assim deve existir a A tal que
s0 < a s0 ,
s0 < a s0 ,
16 CAPITULO 2. ESPAC
OS METRICOS
ou seja
s = s0 (s0 s) = s0 < a
para algum a A, ou ainda, s < a, para algum a A.
Logo s nao e limitante superior de A mostrando (s2) e completando a demonstrac
ao.
De modo analogo temos o
aA
?
s = inf A s+
Demonstra cao:
Suponhamos que s1 = inf A.
Entao s1 e limitante inferior de A, logo vale (i1) (pois (i1) e igual e (i1)).
Por outro lado, dado 0 < temos que
.
s = s1 + > s1 ,
logo s nao podera ser limitante inferior (pois s1 e o maior limitante superior e s > s1 ).
Assim deve existir a A tal que
s1 a < s1 + ,
ou seja, vale (i2).
Por outro lado se (i1) e (i2) ocorrem entao (i1) da definicao de supremo ocorrera (pois
(i1)=(i1)).
Precisamos mostrar que (i2) da definic
ao de nfimo ocorrera.
Para isto seja s R tal que s > s1 .
Mostraremos que s nao podera ser limitante inferior de A e assim s1 sera o maior limitante
superior de A, isto e, s1 = inf A.
.
Consideremos = s s1 > 0.
De (i2) segue que existe a A tal que
s1 a < s1 + ,
ou seja,
a < s1 + = s1 + (s s1 ) = s
para algum a A, ou ainda, s > a, para algum a A.
Logo s nao e limitante inferior de A mostrando (i2) e completando a demonstrac
ao.
Deixaremos para o leitor provar que as seguintes propriedades para o supremo e o nfimo de
subsconjuntos limitados de R ocorrem:
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 17
1. inf A sup A.
2. Se A B ent
ao
sup A sup B,
inf A inf B.
.
3. Definamos A + B = {a + b : a A, b B}.
Ent
ao A + B e um subconjunto limitado de R e
.
4. Se > 0 definamos A = { a A}.
Ent
ao A e limitado em R e
sup(A) = sup A,
inf(A) = inf A.
5. Se < 0 ent
ao
sup(A) = inf A,
inf(A) = sup A.
.
6. Em particular, se A = {a : a A} ent
ao
sup(A) = inf A,
inf(A) = sup A.
.
7. Se A, B [0, ) e s
ao limitados definamos A.B = {a.b : a A, b B}.
Enta
o A.B e limitado em R e
Deixaremos para o leitor provar que as seguintes propriedades para o supremo e o nfimo de
funcoes limitadas tomando valores em R ocorrem:
Se > 0 ent
ao
sup (f )(x) = sup f (x)
xX xX
inf (f )(x) = inf f (x).
xX xX
Se < 0 ent
ao
sup (f )(x) = inf f (x)
xX xX
2. Se f, g : X [0, ) e s
ao limitadas ent
ao
sup (f.g)(x) sup f (x). sup g(x)
xX xX xX
inf (f.g)(x) inf f (x). inf g(x).
xX xX xX
Observa
cao 2.1.7
1. Observemos que utilizamos as seguintes notaco
es no teorema acima
.
sup f (x) = sup{f (X)}
xX
.
inf f (x) = inf{f (X)}
xX
.
sup (f + g)(x) = sup{(f + g)(X)}
xX
.
inf (f + g)(x) = inf{(f + g)(X)}
xX
.
sup (f )(x) = sup{(f )(X)}
xX
.
inf (f )(x) = inf{(f )(X)}.
xX
x + y = y + x, para todo x, y E;
(M2) O n
umero real 1 e elemento neutro ., isto e,
Na situacao acima denotaremos o espaco vetorial pela terna (E, +, .) ou, quando n
ao houver
possibilidade de confus
ao, por E simplesmente.
Exemplo 2.1.8 Na situac ao acima temos que B(X; R) tornar-se- a um espaco vetorial sobre R
com as operac
oes usuais de adica
o de funcoes e multiplicac
ao de n
umero real por funcao (isto
ser
a deixado como exerccio para o leitor).
Definimos
d : B(X; R) B(X; R) R
por
.
d(f, g) = sup |f (x) g(x)|,
xX
1. Se f B(X; R) ent
ao
d(f, f ) = sup |f (x) f (x)| = 0,
xX
2. Se f, g B(X; R) e f 6= g ent
ao existe x0 X tal que f (x0 ) 6= g(x0 ).
Assim
d(f, g) = sup |f (x) g(x)| |f (x0 ) g(x0 )| > 0,
xX
3. Se f, g B(X; R) ent
ao
d(f, g) = sup |f (x) g(x)| = sup | [g(x) f (x)]| = sup |g(x) f (x)| = d(g, f ),
xX xX xX
4. Se f, g, h B(X; R) ent
ao para cada x X temos que
[|a+b||a|+|b|]
|f (x) g(x)| = |[f (x) h(x)] + [h(x) g(x)]| |f (x) h(x)| + |h(x) g(x)|.
Logo
d(f, g) = sup {|f (x) g(x)|} sup {|f (x) h(x)| + |h(x) g(x)|}. ()
xX xX
Sabemos que se A e B s
ao limitados superiormente em R ent
ao A + B e limitado superi-
ormente em R e
sup[A + B] sup A + sup B.
d(f, g) sup {|f (x) h(x)| + |h(x) g(x)|} sup {|f (x) h(x)|} + sup {|h(x) g(x)|}
xX xX xX
= d(f, h) + d(h, g),
Observa
cao 2.1.8
1 6
2
d(f, g) = |f ( 1
2
) g( 1
2
)| = 1
2
1
2
= 1
4
f
6
+
g
- x
1
2 1
d(f, g) = sup |f (x) g(x)| = max |f (i) g(i)| = max |xi yi | = d00 (x, y),
xX 1in 1in
Defini
cao 2.1.7 Seja E um espaco vetorial sobre R.
Diremos que uma funcao
k.k : R
e uma norma em E se as seguintes condic
oes s
ao verificadas:
(n2) Se R e x E ent
ao k xk = || kxk;
(n3) Se x, y E ent
ao kx + yk kxk + kyk.
Observa
cao 2.1.9
2. Se x E temos
(n3) ()
0 = kx + (x)k kxk + k xk = kxk + kxk = 2kxk.
Definic
ao 2.1.8 Um espa co vetorial normal e um par (E, k.k) onde E e um espaco vetorial
sobre R e k.k e uma norma definida em E.
onde x = (x1 , x2 , , xn ) Rn .
Mostremos que as func oes k.k, k.k0 , k.k00 acima definidas s
ao normas em Rn .
De fato, k.k satisfaz:
em particular, kxk 6= 0.
(n3) Ser
a verificada no exemplo (2.1.14),
em particular, kxk0 6= 0.
[x2i >0]
0
kxk00 = max |xi | > 0,
i=1, ,n
em particular, kxk00 6= 0.
em particular, kf k 6= 0.
1.
[Observaca
o (2.1.9) item 1.]
d(x, x) = kx xk = k~0k = 0,
ou seja, vale (d1);
[observaca
o (2.1.9) item 3.]
d(x, y) = kx yk > 0,
3. Se x, y E temos que
[observaca
o (2.1.9) item 1.]
d(x, y) = kx yk = k (x y)k = ky xk = d(y, x),
4. Se x, y, z E temos que
(n4)
d(x, z) = kx zk = k(x y) + (y z)| kx yk + ky z| = d(x, y) + d(y, z),
Observa
cao 2.1.10
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 25
1. O exemplo acima nos mostra que todo espaco vetorial normado e um espaco metrico.
Neste caso diremos que a metrica d prov
em da norma k.k.
Por exemplo, as metricas d, d0 , d00 de Rn provem das normas k.k, k.k0 , k.k00 , respectiva-
mente.
De modo semelhante temos que a metrica
d(f, g) = kf gk
2. Pergunta-se:
Seja E e um espaco vetorial sobre R e d e um metrica em E.
Existir
a uma norma em E de modo que a metrica dada d provem dess norma? ou seja,
uma metrica qualquer definida E provem de alguma norma definida em E?
Infelizmente isto e falso.
Na verdade na lista de exerccio pede-se para mostrar que num espaco vetorial uma metrica
provem de uma norma se, e somente se, valem as seguintes identidades
d(x + a, y + a) = d(x, y)
d(x, y) = ||d(x, y),
para todo x, y, a E e R.
Defini
cao 2.1.9 Seja E um espaco vetorial sobre R.
Diremos que a funcao
< ., . >: E E R
e um produto interno (ou escalar) em E se satisfas as seguintes condico
es:
Observa
cao 2.1.11
ao para x, y, y 0 E e R temos
1. Se (E, < ., . >) e um espaco com produto interno ent
que
(p3) (p1) (p3)
< x, y + y 0 > = < y + y 0 , x > = < y, x > + < y 0 , x > = < x, y > + < x, y 0 >
e
(p3) (p2) (p3)
< x, y 0 > = < y, x > = < y, x > = < x, y >, ()
ou seja, < ., . > e linear em cada uma das suas entradas (denominada bilinear).
ao x = ~0.
2. De (p4) temos que se x E e < x, x >= 0 ent
Logo temos que < x.x > 0 para todo x E e < x, x >= 0 se, e somente se, x = ~0.
3. No curso de Algebra Linear diramos que a func
ao < ., . > e bilinear, simetrica e positiva
definida.
< ., . >: Rn Rn R
por
X n
.
< x, y >= x1 y1 + + xn yn = xi yi ,
i=1
onde x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) Rn .
Sera deixado como exerccio para o leitor mostrar que a func ao < ., . > definida acima
satisfaz as condicoes (p1),(p2),(p3) e (p4), ou seja, < ., . > e um produto interno em Rn .
Observa
c
ao 2.1.12 O caso n = 3 foi tratado na disciplina de Algebra Linear no R3 .
dada por:
Z b
.
< f, g >= f (x)g(x) dx,
a
se f, g C([a, b]; R).
Sera deixado como exerccio para o leitor mostrar que < ., . > definida acima satisfaz as
condic
oes (p1),(p2),(p3) e (p4), ou seja, e um produto interno em C([a, b]; R) . Exerccio 1.1.2: + 0.5
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 27
Com isto temos uma colecao de espacos vetoriais normados (e protanto, de espacos metricos),
a saber:
Exemplo 2.1.14 Seja (E, < ., . >) um espaco vetorial com produto interno.
Considere a func
ao
k.k : E R
dada por
.
kxk = < x, x >, ()
para x E.
Afirmamos que k.k e uma norma em E.
De fato, temos que :
1. Se x E e x 6= ~0 ent
ao
(p4), <x,x)>0
kxk = < x, x > 6= 0,
isto e, vale (n1);
2. Se x E e R ent
ao
p ao (2.1.11) (*)] p
[ (p1) e a observac
kxk = < x, x > = 2 < x, x > = 2 < x, x > = ||kxk,
3. Nesta situac
ao temos a Desigualdade de Cauchy-Schwarz, a saber: se (E, < ., . >) espaco
vetorial com produto interno ent
ao para todo x, y E temos que
De fato:
Se x = ~0 valer
a a igualdade, logo vale a desiguladade.
Se x 6= ~0 podemos definir
. < x, y > .
= e z = y x
kxk2
.
Observemos que
< x, y >
< z, x > =< y x, x >=< y, x > < x, x >=< y, x > < x, x >
< x, x >
=< x, y > < x, y >= 0,
kyk2 =< y, y >=< z + x, z + x >=< z, z > + < z, x > + < x, z > +2 < x, x >
[<x,z>=<z,x>=0] [kyk2 0]
= kyk2 + 2 kxk2 2 kxk2 .
Logo
2 kxk2 kyk2 ,
28 CAPITULO 2. ESPAC
OS METRICOS
ou seja,
2
< x, y >
kxk2 kyk2 ,
kxk2
isto e,
< x, y >2 kxk2 kyk2
implicando a desigualdade acima, como queramos demonstrar.
kx + yk2 =< x + y, x + y >=< x, x > + < x, y > + < y, x > + < y, y >
= kxk2 + 2 < x, y > +kyk2 kxk2 + 2kxk kyk + kyk2 = (kxk + kyk)2 ,
inplicando que
kx + yk kxk + kyk,
ou seja , vale (n3).
Observa
cao 2.1.13
1. No caso acima diremos que a norma (*) definida acima e uma norma que prov
em do
produto interno de E.
2. Logo o exemplo acima nos mostra que todo espaco vetorial com produto interno pode
tornar-se um espaco vetorial normado (com a norma que provem do produto interno dado).
6. Como conseq uencia do que vimos acima todo espaco vetorial com produto interno e um
espaco metrico (basta tomar a metrica que provem da norma que e proveniente do produto
interno).
d, d0 , d00 : [M N ] [M N ] R
dadas por:
. p
d(z, z 0 ) = [dM (x, x0 )]2 + [dN (y, y 0 )]2 ;
.
d0 (z, z 0 ) = dM (x, x0 ) + dN (y, y 0 );
.
d00 (z, z 0 ) = max{dM (x, x0 ), dN (y, y 0 )},
Observa
cao 2.1.14
v
u n
. p uX
d(x, y) = [d1 (x1 , y1 )] + + [dn (xn , yn )] = t [di (xi , yi )]2 ;
2 2
i=1
n
X
.
d0 (x, y) = d1 (x1 , y1 ) + + dn (xn , yn ) = di (xi , yi );
i=1
.
d00 (x, y) = max{d1 (x1 , y1 ), , dn (xn , yn )} = max {di (xi , yi )},
1in
Demonstrac
ao:
Observemos que
Demonstra
cao:
A demonstracao sera deixada como exerccio para o leitor.
Para ilustrar temos os seguintes exemplos:
y
~
BS 1 (~
a; r)
6
6
? r BR2 (~
a : r)
S1 - 9
~
a
- ~
x
32 CAPITULO 2. ESPAC
OS METRICOS
y
~
BS 1 [~
a; r]
6
6
* ? r BR2 [~
a : r]
S1 - 9
~
a
SS 1 (~
a; r)
- ~
x
[d(x,a)1<r]
Se r > 1 temos que: B(a; r) = {x M : d(x, a) < r} = M,
[d(x,a)1<r]
B[a; r] = {x M : d(x, a) r} = M;
[r<1]
Se r < 1 temos que: B(a; r) = {x M : d(x, a) < r} = {x M : d(x, a) = 0} = {a},
[r<1]
B[a; r] = {x M : d(x, a) r} = {x M : d(x, a) = 0} = {a};
[r<1]
Se r = 1 temos que: B(a; r) = {x M : d(x, a) < r} = {a},
[r=1]
B[a; r] = {x M : d(x, a) r} = M,
Como conseq
uencia temos que
Geometricamente temos:
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 33
-
ar a
a+r
-
ar a a+r
3
r
~
a = (a1 , a2 )
Observemos que
x a1 + y a2 = r, se x a1 0 e y a2 0
(x a ) + y a = r, se x a < 0 e y a > 0
1 2 1 2
|xa1 |+|ya2 | = r se, e somente se,
(x a1 ) (y a2 ) = r, se x a1 < 0 e y a2 < 0
x a (y a ) = r, se x a > 0 e y a < 0
1 2 1 2
que s
ao as quatro retas que determinam losango abaixo.
34 CAPITULO 2. ESPAC
OS METRICOS
6 (a1 , a2 + r)
x + a1 + y a2 = r - x a1 + y a2 = r
~
a = (a1 , a2 )
(a1 r, a2 ) (a1 + r, a2 )
x + a1 y + a2 = r - x a1 y + a2 = r
(a1 , a2 r)
B 00 (~a; r) = {(x, y) R2 : d00 [(x, y), (a1 , a2 )] < r} = {(x, y) R2 : max{|x a1 |, |y a2 |} < r}
= {(x, y) R2 : |x a1 | < r e |y a2 | < r} = (a1 r, a1 + r) (a2 r, a2 + r)
isto e, a regi
ao interior do quadrado [a1 r, a1 + r] [a2 r, a2 + r]) (veja figura abaixo).
a2 + r
~
a = (a1 , a2 )
a2
a2 r
-
a1 r a1 a1 + r
Observa c
ao 2.2.2 Geometricamente, o exemplo (2.2.4) ilustra que uma bola (aberta ou fechada)
pode n
ao corresponder ao que pensamos (por exemplo, uma bola ser um quadrado!).
Exemplo 2.2.5 Seja (B([a, b]; R)), d) onde d e a metrica do sup (veja exemplo (2.1.8)).
Sejam f B([a, b]; R)) e r > 0.
Observemos que g B(f ; r) se, e somente se,
que implicar
a
|f (x) g(x)| < r
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 35
6
6
r
f (x)
G(f )
?
r 6
-
x
6
6
r
G(g) ?f (x)
r 6
G(f )
-
x
Observa
cao 2.2.3 No exemplo acima, pode ocorrer de G(g) F2r (f ) e(d(f, g) = r.
x, 0 x < 1
Para ver isto basta considerar f (x) = 0 para todo x [0, 1] e g(x) = .
0, x = 1
Neste caso
d(f, g) = sup |f (x) g(x)| = 1,
0x1
logo g 6 B(f ; 1) mas G(g) est
a contido em F2 (f ) (veja figura abaixo).
36 CAPITULO 2. ESPAC
OS METRICOS
G(g)
F2r (f )
)
-
G(f )
Logo acabamos de mostrar que a bola aberta (ou fechada) no produto cartesiano com a metrica
do maximo e o produto cartesiano das bolas abertas (ou fechadas) em cada um dos fatores do
produto cartesiano.
Observa
cao 2.2.4
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 37
1. Se no exemplo acima mudarmos a metrica do m aximo pela metrica produto ou pela metrica
da soma a afirmac
ao ser
a falsa, isto e, uma bola aberta (ou fechada) no produto cartesiano
pode n ao ser o produto cartesiano das bolas abertas (ou fechadas) em cada um dos fatores
do produto cartesiano.
Como exerccio para o leitor deixaremos que o mesmo encontre um contra-exemplo em R2 .
onde (x, t), (x0 , t0 ) R2 R entao uma bola aberta, B(~a; r) (ou fechadas) em R3 munido
da metrica d acima ser ao cilindros retos com base circular (contida no plano z = ar ), com
centro em ~a e raio r)e altura 2r.
6
B(~
0; r)
r
r 1
? -
6
=
A verificac
ao deste fato ser
a deixada como exerccio para o leitor.
Defini
cao 2.2.2 Seja (M, d) um espaco metrico.
Diremos que um ponto a M e um ponto isolado de M se existir uma bola aberta de M
que contenha somente o ponto a, isto e, existe r > 0 tal que B(a; r) = {a}.
Observa
cao 2.2.5
1. Um ponto a M e ponto isolado em M se existe r > 0 tal que n ao existem pontos,
diferentes do ponto a, a uma dist
ancia menor que r do pr
oprio ponto.
[B(a; r) M ] \ {a} 6= .
Consideremos os
38 CAPITULO 2. ESPAC
OS METRICOS
Exemplo 2.2.8 Seja Z o conjunto formado por todos os n umeros reais inteiros munido da
metrica usual induzida de R.
Afirmamos que todo ponto de Z e ponto isolado de Z.
De fato, se n Z e 0 < r 1 ent
ao
B(n; r) Z = {n}
[0<r1]
(pois B(n; r) = {x Z : |xn| < r 1} = {n}), pois B(n; r) = (nr, n+r) (n1, n+1),
ou seja, n
ao existe um natural, diferente de n, no intervalo (n 1, n + 1) (veja figura abaixo),
mostrando que todo n Z e ponto isolado de Z.
-
n1 n n+1
. 1 1 1
Exemplo 2.2.9 Seja P = {0, 1, , , , , } munido da metrica usual induzida de R.
2 3 n
Observemos que o ponto 0 P n ao e um ponto isolado de P .
1
De fato, dado r > 0 existe n0 N tal que n0 > .
r
Logo
1 1 1
d( , 0) = | 0| = < r,
n0 n0 n0
isto e,
1
[B(0; r) P ] \ {0},
n0
ou seja, 0 n
ao e ponto isolado de P .
Por outro lado, qualquer outro ponto de P e isolado.
1 1
De fato, se P ent ao o ponto mais pr
oximo dele em P e o ponto (veja figura
n n+1
abaixo),
-
1 1 1
0 n+1 n n1 1
1
cuja dist
ancia a e
n
1 1 1 1 (n + 1) n 1
d( , )=| |=| |= .
n n+1 n n+1 n(n + 1) n(n + 1)
Logo se tomarmos
1
0<r<
n(n + 1)
ent
ao x P e
1 1
d(x, ) < r <
n n(n + 1)
1
deveremos ter x = , ou seja,
n
1 1
[B( ; r) P ] \ { } = ,
n n
1
mostrando que e ponto isolado de P , para todo n N.
n
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 39
. 1 1 1
Observa c
ao 2.2.6 Se P = {1, , , , , } munido da metrica usual induzida de R ent
ao,
2 3 n
segue do exemplo acima, que todo ponto de P e um ponto isolado de P .
. r y
~
x=~ a + 2k~
yk
~
>
~
a
r
y
~ *
Temos a
Definic
ao 2.2.3 Diremos que um espaco metrico (M, d) e discreto se todo ponto de M e um
ponto isolado de M .
Exemplo 2.2.11 O exemplo (2.2.8) mostra que Z com a metrica usual induzida de R e um
espaco metrico discreto.
40 CAPITULO 2. ESPAC
OS METRICOS
1 1 1
Exemplo 2.2.12 A observac ao (2.2.6) mostra que P = {1, , , , , } com a metrica
2 3 n
usual induzida de R e um espaco metrico discreto.
Defini
cao 2.2.4 Seja (M, d) um espaco metrico.
Diremos que um subconjunto X M e discreto se X como subsepaco (metrico) de M for
um espaco metrico discreto.
Observa c
ao 2.2.7 Na situac
ao acima, X e discreto se, e somente se, para cada x X existe
r > 0 tal que
B(x; r) X = {x}.
Proposi
cao 2.2.3 Sejam (M, d) espaco metrico, a, b M com a 6= b.
Consideremos r, s > 0 tais que
r + s d(a, b).
Ent
ao as bolas abertas B(a; r) e B(b; s) s
ao disjuntas (veja figura abaixo), isto e,
B(a; r) B(b; s) = .
b
a -
s
r
-
d(a, b) > r + s
Demonstra c
ao:
Suponhamos, por absurdo, que existe x B(a; r) B(b; s).
Logo d(a, x) < r e d(b, x) < s.
Portanto
d(a, b) d(a, x) + d(x, b) < r + s d(a, b),
ou seja, d(a, b) < d(a, b), o que e um absurdo.
Logo B(a; r) B(b; s) = como queramos mostrar.
De modo semelhante temos a:
2.3. SUBCONJUNTOS LIMITADOS DE UM ESPAC
OS METRICOS 41
Proposi c
ao 2.2.4 Na situacao da proposic
ao acima, se r + s < d(a, b) ent
ao as bolas fechadas
B[a; r] e B[b; s] s
ao disjuntas , isto e,
B[a; r] B[b; s] = .
Defini c
ao 2.3.1 Seja (M, d) um espaco metrico.
Diremos que um subconjunto X M , n ao vazio, e limitado em M se existir c > 0 tal que
d(x, y) c para todo x, y X.
.
Observa c
ao 2.3.1 Se X M e limitado me M ent ao podemos considerar o conjunto D =
{a R : d(x, y) a, para todo x, y X} R.
Como X e limitado em M segue que D e n ao vazio e limitado superiormente (ou seja, existe
c R tal que c D).
Como todo subconjunto limitado superiormente em R admite supremo segue que existe 0
sup D < .
Logo podemos introduzir a
Defini
cao 2.3.2 Na situac
ao acima, sup D ser
a denominado di
ametro de X e indicado por
diam(X), ou seja,
Observa
cao 2.3.2
1. Se X M n
ao for limitado em M escreveremos
diam(X) = .
Isto significa que para todo c > 0 existem xc , yc X tal que d(xc , yc ) > c.
f
3. E acil mostrar que (ser
a deixado como exerccio para o leitor) que se X M for limitado
em M e Y X ent ao Y M e limitado em M e
diam(Y ) diam(X).
42 CAPITULO 2. ESPAC
OS METRICOS
Portanto
diam[B(a; r)] 2r,
como afirmamos acima.
Vale o an alogo para a bola fechada B[a; r] e para a esfera S(a; r) (ser
a deixado como exerccio
para o leitor).
De fato,
d(a + x, a) = k(a + x) ak = kxk = t < r
e, de modo semelhante temos
Alem disso
K
y
~
r ~
x1 = ~
a + t k~
yk
~
a
y
~
y
~1 = ~
a t k~
yk
y
~
De modo an
alogo (ser
a deixado como exerccio para o leitor) podemos mostrar que
Observa
cao 2.3.4
1. Dado um espaco metrico qualquer (mesmo sendo n ao limitado) podemos considerar sube-
spacos (metricos) do mesmo que sejam limitados.
Basta considerarmos os subconjunto limitados do mesmo e colocar a metrica induzida do
espaco metrico dado neste subconjunto.
. 2c
xc = x.
kxk
Observemos que
2c kxk
kxc k = k xk = 2c = 2c > c,
kxk kxk
logo d(xc , 0) = kxc 0k = kxc k > c, mostrando que E n
ao e limitado.
44 CAPITULO 2. ESPAC
OS METRICOS
Temos a
Proposic
ao 2.3.1 Sejam (M, d) espaco metrico e X, Y M limitados em M .
Ent
ao X Y e X Y sao subconjuntos limitados em M .
Demonstra c
ao:
Observemos que X Y X e como X e limitado em M segue, da Observac
ao (??) item 3.,
que X Y tambem sera limitado em M .
Se X = ou Y = segue que X Y = Y ou X Y = X, respectivamente, implicando que
X Y e limitado.
Logo podemos supor, sem perda de generalidade, que X, Y 6= .
Como X, Y sao limitados em M existem c, d > 0 e a, b M tais que
d(x, a) c e d(y, b) d
para todo x X e y Y .
Podemos supor, sem perdade de generalidade, que c d, assim
d(x, a) c e d(y, b) c
para todo x X e y Y .
.
Considere k = 2c + d(a, b) > 0.
Logo se x X e y Y temos que
Corol
ario 2.3.1 Sejam (M, d) espaco metrico e X1 , X2 , , Xn M limitados em M .
Entao X1 X2 Xn e X1 X2 Xn s
ao subconjuntos limitados em M .
Demonstra c
ao:
Utiliza-se inducao matematica e a proposic
ao acima (sera deixado como exerccio para o
leitor).
Como outra conseq uencia temos o
Corol
ario 2.3.2 Seja (M, d) espaco metrico. Todo subconjunto finito de M e limitado.
Demonstra c
ao:
Basta observar que se X e um subconjunto finito de M ele sera uma reuniao finita dos
conjuntos formados por cada um dos seus pontos e como o conjunto formado por um ponto e
limitado segue, do corolario acima, que X ser
a limitado em M .
Definic
ao 2.3.3 Sejam (M, d) espaco metrico e X um subconjunto n
ao vazio.
Diremos que uma funcao f : X M e limitada se seu conjunto imagem, f (X), for um
subconjunto limitado de M .
G(f )
.
Exemplo 2.3.4 Na situac ao acima se considerarmos g : R R dada por g(x) = x2 para x R
temos que g(R) = [0, ) logo n
ao sera um subconjunto limitado de R, mostrando que a func
ao
g na
o ser
a limitada.
A figura abaixo nos d
a o gr
afico de g.
46 CAPITULO 2. ESPAC
OS METRICOS
G(g)
Exemplo 2.3.5 Se a metrica d em Rn provem de uma norma de Rn ent ao d nao e uma func
ao
limitada.
ao (2.3.4) item 2. temos que Rn n
De fato, da observac ao e limitado, logo d(Rn Rn ) =
[0, ) R nao poder
a ser um subconjunto limitado de R, logo a func
ao d nao ser
a uma funcao
limitada.
Pode-se mostrar (exerccio para o leitor) que d e uma metrica em B(X; M ) que e denominada
m
etrica da converg encia uniforme ou m etrica do sup.
Observa
cao 2.3.5
1. Na situac
ao acima podemos considerar o conjunto F(X; M ) formado por todas as func
oes
definidas em X com valores em M .
Neste caso a metrica do sup n
ao tem sentido em F(X; M ) pois existem funcoes f, g : X
M tais que o conjunto {dM (f (x), g(x)) : x X} n
ao e limitado em R (logo n
ao poderemos
considerar o supremo desse conjunto).
Nesta situac
ao podemos decompor F(X; M ) como uma reuni
ao de espacos metricos nos
quais podemos introduzir a metrica do sup.
Para mais detalhes ver [1] pag. 15.
2.4. DISTANCIA DE UM PONTO A UM SUBCONJUNTO EM UM ESPAC
O METRICO47
1.09.2008 - 10.a
Aula de Exerccios
15.09.2008 - 11.a
2.4 Dist
ancia de um ponto a um subconjunto em um espaco
m
etrico
Observa c
ao 2.4.1 Como motivac
ao consideremos o seguinte caso:
Em um plano consideremos X uma reta e a um ponto que n ao pertence `
a reta X.
Consideremos x0 X o pe da perpendicular `
a reta X que contem o ponto a (vide figura
abaixo).
x0
a
x
x0
48 CAPITULO 2. ESPAC
OS METRICOS
Podemos generalizar este fato, para isto observemos que Se (M, dM ) um espaco metrico, X M
n
ao vazio e a M ent ao o conjunto {dM (x, a) : x X} R e limitado inferiormente por 0
(pois dM (a, x) 0).
Logo admite nfimo, assim temos a:
Defini
cao 2.4.1 Sejam (M, dM ) um espaco metrico, X M n
ao vazio e a M .
Definimos a distancia do ponto a ao conjunto X, indicada por d(a, X), como sendo
Observa
cao 2.4.2
(a) d(a, X) d(a, x) para todo x X (isto e, d(a, X) e um limitante inferior do conjunto
{d(x, a) : x X} R);
(b) Se d(a, X) < c entao existe x X tal que d(a, x) < c (isto e, d(a, X) e o maior dos
limitantes inferiores).
4. Se d(a, X) = 0 isto n
ao implica, necessariamente, que a X como vereremos em exemplos
a seguir.
O que podemos afirmar e que: d(a, X) = 0 se, e somente se, dado > 0 existe x X tal
que d(a, x) < .
d(a, X) = d(a, x0 ),
x5
x6
x4
x7
x3
a
x2
x1
x8
S1
R z = (x, y)
d(0, z) = 1
- x
0 = (0, 0)
Observa
cao 2.4.3 No exemplo acima para qualquer ponto z S 1 temos que
d(0, S 1 ) = d(0, z).
Proposic
ao 2.4.1 Sejam E um espaco vetorial normado, ~a E e r > 0.
ao dado ~b E, d(~b, B(~a; r)) = 0 se, e somente se, ~b B[~a; r].
Ent
Demonstra c
ao:
(=)
Suponhamos que ~b B[~a; r], ou seja, k~b ~ak r.
Se tivermos k~b ~ak < r seguira que ~b B(~a; r), logo d(~b, B(~a; r)) = 0.
Afirmacao: se k~b ~ak = r > 0 entao dado > 0 afirmamos que existe ~x B(~a; r) tal que
~
d(b, ~x) < .
De fato, definamos
. 1
~u = (~b ~a) E.
r
Segue que
1 1 1
k~uk = k (~b ~a)k = k~b ~ak = r = 1.
r r r
Escolhamos t (r , r), assim 0 < r t < .
Consideremos
.
~x = ~a + t.~u E.
Temos que
[k~
uk=1]
d(~x, ~a) = k~x ~ak = k(~a + t.~u) ak = |t|k~uk = t < r,
ou seja, x B(~a; r).
Alem disso, temos
d(~x, ~b) = k~b ~xk = k~b (~a + t.~u)k = k(~b ~a) t.~uk
[~b~a=r.~
u] [k~
uk=1]
= kr.~u t.~uk = |r t|k~uk = r t < ,
]
~
b
>
r
o
~
a
~
x=~
a + t~
u
Logo dado > 0 existe ~x B(~a; r) tal que 0 d(~b, ~x) < , ou seja,
isto e,
d(~b, B(~a; r)) = inf{d(~b, ~x) : ~x B(~a; r)} = 0.
(=)
2.4. DISTANCIA DE UM PONTO A UM SUBCONJUNTO EM UM ESPAC
O METRICO51
k~
p ~ak > r, logo k~
p ~ak = r + c
x
I r
k~
p ~ak k~
p ~xk + k~x ~ak
segue que
[k~
x~ak<r]
d(~
p, ~x) = k~
p ~xk k~
p ~ak k~x ~ak = (r + c) k~x ~ak > (r + c) r = c > 0,
{d(~
p, ~x) : ~x B(~a; r)} R.
Como d(~
p, B(~a; r)) e o nfimo do conjunto acima segue que
d(~
p, B(~a; r)) c > 0,
6
c
6 p
~
~
a
52 CAPITULO 2. ESPAC
OS METRICOS
Como d(~b, B(~a; r)) = 0, da afirmacao, segue que ~b B[~a; r], como queramos demonstrar.
Observa c
ao 2.4.4 Em particular a afirmacao acima nos diz que podemos ter b E com
d(b, X) = 0 e b 6 X, como afirmamos anteriormente.
Temos a:
Proposi
cao 2.4.2 Sejam (M, d) um espaco metrico, a, b M e X M n
ao vazio. Ent
ao
d(a, X)
d(a, b)
d(b, X)
b
Demonstracao:
A desigualdade acima e equivalente a
ou seja,
d(a, X) d(a, b) d(b, x),
ou ainda, o n
umero real
d(a, X) d(a, b)
e um limitante inferior do subconjunto {d(b, x) : x X} R.
Da definicao de nfimo segue
ou seja,
d(b, X) d(a, b) d(a, x)
ou ainda, o n
umero real
d(b, X) d(a, b)
Corol
ario 2.4.1 Seja (M, d) um espaco metrico e a, b, x M . Ent
ao
Demonstrac
ao:
.
Basta considerar X = {x} na proposic
ao acima e verificar que d(a, {x}) = d(a, x).
2.5 Dist
ancia entre dois subconjuntos de um espaco m
etrico
Temos a
Defini
cao 2.5.1 Sejam (M, d) um espaco metrico e X, Y M n
ao vazios.
Definimos a distancia entre os conjuntos X e Y , indicada por d(X, Y ), como sendo
.
d(X, Y ) = inf{d(x, y) : x X, y Y }.
Consideremos o
Observa
cao 2.5.1 Se (M, d) e um espaco metrico e X, Y M n
ao vazios ent
ao:
1. Se X Y 6= ent
ao d(X, Y ) = 0;
Defini
cao 2.6.1 Sejam (M, dM ) e (N, dN ) espacos metricos.
Diremos que uma funcao f : M N e um imers ao isom etrica de M em N se
Observa cao 2.6.1 Na situacao acima se f : M N e uma imers ao isometrica temos que f e
injetora
De fato, se f (x) = f (y) ent
ao dM (x, y) = dN (f (x), f (y)) = 0, logo x = y, mostrando que f
e injetora.
Definic
ao 2.6.2 Um imers
ao isometrica que uma func
ao e sobrejetora ser
a denominada isome-
tria de M em N .
Observa
cao 2.6.2
1. Na situac
ao acima f : M N e ums isometria se, e somente se, f preserva as dist
ancia
de M e N e for sobrejetora.
4. Como conseq
uencia temos que composta de isometrias tambem ser
a uma isometria.
15.09.2008 - 12.a
Com isto temos a:
Definic
ao 2.6.3 Sejam (M, dM ) e (N, dN ) espacos metricos.
Diremos que M e N sao isom etricos se existir uma isometria de M em N e neste caso
escreveremos M N .
Observa
cao 2.6.3 Observemos que
4. Os tres itens acima nos dizem que e uma relac ao de equivalencia no conjunto formado
por todos os espacos metricos (isto e, satisfaz as propriedades: reflexiva, simetrica e
transitiva).
Observa c
ao 2.6.4 Sejam X um subconjunto n ao vazio, (M, dM ) um espaco metrico e f : X
M uma funcao injetora.
Nosso objetivo e introduzir uma metrica em X de tal modo que a func ao f torne-se uma
imers
ao isometrica de X e M .
Para isto definamos dX : X X R por
.
dX (x, y) = dM (f (x), f (y)), x, y X.
f
E acil verificar (ser
a deixado como exerccio para o leitor) que dX e uma metrica em X
(precisamos usar do fato que f e injetora!) e deste modo a func ao f tornar-se-a uma imers
ao
isometrica de (X, dX ) em (M, dM ).
Podemos mostrar (ser a deixado como exerccio para o leitor) que a metrica dX em X e a
u
nica metrica que torna f uma imers ao isometrica de X em M .
Com isto temos a:
Defini
cao 2.6.4 Na situac
ao acima diremos que a metrica dX e a m
etrica induzida por f
em X.
Observa c
ao 2.6.5 Um caso particular da situaca
o acima e a que X M , n
ao vazio onde
(M, dM ) e um espaco metrico.
Neste caso se considerarmos a aplica
cao inclusao
.
i:XM dada por i(x) = x, x X,
dRn (f (t), f (s)) = kf (t) f (s)k = k(~a + t ~u) (~a + s ~u)k = k(t s) ~uk
[k~
uk=1]
= |t s|k~uk = |t s| = dR (t, s),
Observa ao 2.6.6 Observemos que f (R) e a reta que passa pelo ponto ~a Rn e tem a direc
c ao
ario ~u Rn .
do vetor unit
Em particular, f n ao e uma isometria de R em Rn (pois n
ao e sobrejetora).
e uma isometria em Rn .
De fato, se ~x, ~y Rn ent
ao
d(f (~x), f (~y )) = kf (~x) f (~y )k = k(~x + ~a) (~y + ~a)k = k~x ~y k = d(~x, ~y ),
Defini
cao 2.6.5 A func
ao f acima definida ser
a denominada transla
cao pelo vetor ~a.
e uma isometria em Rn .
De fato, se ~x, ~y Rn ent
ao
Defini
cao 2.6.6 A func
ao f acima definida ser
a denominada reflex
ao em torno da origem
n
de R .
Observa
cao 2.6.7
1. Observemos que na situaca o acima, dados ~a, ~b Rn existe uma isometria f : Rn Rn tal
.
que f (~b) = ~a (basta considerar a translac
ao f (~x) = ~x + (~a ~b)).
2. Podemos substituir o Rn por um espaco vetorial normado qualquer que os exemplos acima
continuar
ao v
alidos neste novo contexto.
Observa c
ao 2.6.8 A aplicac
ao f do exemplo acima e uma rotaca
o (no sentido hor
ario) de um
b
6 C
f (z)
-
58 CAPITULO 2. ESPAC
OS METRICOS
Demonstrac
ao:
Definamos : M B(M ; R) por
.
(x) = dx ,
onde dx : M R e dada por
.
dx (y) = dM (x, y)
(ou seja, a distancia ao ponto x).
Como M e limitado segue que dx B(M ; R), ou seja est
a bem definida.
Mostremos que preserva as ditancias de M e B(M ; R).
Observemos que se x, x0 , y M entao
[corol
ario (2.4.1)]
|dx (y) dx0 (y)| = |d(x, y) d(x0 , y)| dM (x, x0 ),
assim
kdx dx0 k = sup |dx (y) dx0 (y)|dM (x, x0 ).
yM
Logo
kdx dx0 k = sup |dx (y) dx0 (y)|dM (x, x0 ),
yM
Observa
cao 2.6.9
2. O resultado acima garante que todo espcao metrico pode ser imerso isometricamente em
um espaco vetorial normado.
Aula de Exerccios
Captulo 3
Funco
es Contnuas Definidas em
Espacos M
etricos
22.09.2008 - 13.a
Aula de Exerccios
22.09.2008 - 14.a
Aula de Exerccios
29.09.2008 - 15.a
1.a Prova
29.09.2008 - 16.a
3.1 Definic
ao de func
ao contnua em espacos m
etricos e exem-
plos
Temos a:
Geometricamente temos:
N
M
f (B(a; ))
f
a - f (a)
=
~
59
60 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Observa
cao 3.1.1
1. Na situac
ao acima, f e contnua no ponto a se, e somente se, se dado > 0 existir
= (, a) > 0 tal que
f (B(a; )) B(f (a); ),
ou seja, dada uma bola aberta de centro em f (a) e raio > 0 em N , existe uma bola aberta
de centro em a e raio > 0 em M , tal que a imagem pela func ao f desta segunda bola
est
a contida na primeira bola.
xR e a <x<a+
ent
ao
f (a) < f (x) < f (a) + ,
ou seja,
f ((a , a + )) (f (a) , f (a) + ).
Geometricamente temos:
6 6
f (a) +
a+
a f
-
f (a)
f (a)
Definic
ao 3.1.2 Sejam (M, dM ) e (N, dN ) espacos metricos e uma func
ao f : M N que tem
a seguinte propriedade: existe c > 0 tal que
.
Logo > 0 seja = > 0.
c
Ent
ao se a M e dM (x, a) < temos que
dN (f (x), f (a)) cdM (x, a) < c c = ,
c
mostrando que a func
ao f e contnua no ponto a M .
Como a M e arbitrario segue que a funcao f e contnua em M .
Exemplo 3.1.2 Sejam (E, k.kE ) um espaco vetorial normado e R.
Afirmamos que a aplicac
ao
f : E E
dada por
.
f (x) = .x, x E,
e lipschitiziana em E.
De fato,
dE (f (x), f (y)) = kf (x), f (y)kE = k.x .ykE = k(x y)kE
= ||kx ykE = ||dE (x, y),
mostrando que a afirmac
ao e verdadeira.
Em particular, f ser
a contnua em E.
Observa
cao 3.1.2
1. Se f1 , , fn : E E, onde E e um espaco vetorial normado, s
ao lipschitzianas ent
ao
dados a1 , , an R temos que
.
f = a1 f1 + an fn
tambem ser
a lipschitziana.
De fato, como para cada i {1, , n} a func ao fi e lipschitziana em Ei ent
ao existe
ci > 0 tal que
dE (fi (x), fi (y) ci dE (x, y), x, y M. ()
Definamos
.
c = |a1 |c1 + + |an |cn
.
Ent
ao se x, y M temos que
dE (f (x), f (y) = kf (x) f (y)kE = k[a1 f1 + + an fn ](x) [a1 f1 + + an fn ](y)kE
= k[a1 [f1 (x) f1 (y)] + + an [fn (x) fn (y)]](x)kE
ka1 [f1 (x) f1 (y)]kE + + kan [fn (x) fn (y)](x)kE
= |a1 |kf1 (x) f1 (y)kE + + |an |kfn (x) fn (y)(x)kE
= |a1 |dE (f1 (x), f1 (y)) + + |an |dM (fn (x), fn (y))
()
|a1 |c1 dE (x, y) + + |an |cn dE (x, y)
= [|a1 |c1 + + |an |cn ]dE (x, y) = c dE (x, y).
Conclus
ao: combinac
ao linear de func
oes lipschitzianas e uma func
ao lipschitziana.
Em particular f ser
a contnua em M .
62 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
f (x) f (y)
= f 0 (
x).
xy
Logo
|f (x) f (y)|
= |f 0 (
x)| c,
|x y|
ou seja, a func
ao f e lipschitziana em I, com afiramamos acima.
Conclusao: toda func
ao real, de vari
avel real, diferenci
avel em um intervalo da reta e tal
que sua derivada e limitada neste intervalo e uma func ao lipschitiziana no intervalo em
quest
ao
Em particular, ser
a uma func
ao contnua nesse intervalo.
Defini c
ao 3.1.3 Sejam (M, dM ) e (N, dN ) espacos metricos e f : M N .
Diremos que a func ao f e localmente lipschitziana em M se para cada a M existe
ra > 0 tal que a restricao da funcao f a bola aberta B(a; ra ) (,isto e, f|B(a;ra ) ) e uma func
ao
lischitziana B(a; ra ), ou seja, existe c = c(B(a; rr )) > 0 satisfazendo
Observa c
ao 3.1.3 Se f, , fn : E, onde E e um espaco vetorial normado, s ao localmente
.
lipschitzianas em E ent ao dados a1 , , an R temos que f = a1 f1 + an fn tambem sera
localmente lipschitziana.
De fato, dado ~a E, como para cada j = 1, , n a func
ao fj e localmente lipschitizianaem
E, existe ra,j > 0 tal que teremos
Seja
. .
C = |a1 |c1 + + |an |cn e ra = min{raj : j = 1, , n} > 0.
Logo se x, y B(a; ra ), como B(a; ra ) B(a; raj ) para todo j = 1, , n (**)(pois ra raj
para todo j = 1, , n) temos que
Observa
cao 3.1.4 Do exemplo acima e da observac
ao (3.1.3) segue que toda func
ao polinomial
p:RR
dada por
.
p(x) = a0 + a1 x + , an xn , xR
onde a1 , , an R s
ao fixadas, e uma func
ao localmente lispchitziana em R.
Em partitular, a func ao p sera contnua em R.
64 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
.
Exemplo 3.1.5 Seja f : R = R \ {0} R dada por
. 1
f (x) = , x R .
x
.
Para cada a > 0 temos que f e lipschitiziana em Rk , onde Rk = {x R |x| k}.
De fato, se x, y Ra ent
ao |x|, |y| a logo,
1 1 yx 1 [|x|,|y|a>0] 1 1
dR (f (x), f (y)) = |f (x)f (y)| = | | = | |= |xy| |xy| = 2 dR (x, y),
x y x.y |x|.|y| a2 a
. 1
mostrando que f e lipschitziana em Ra (basta tomar a constante de Lipschitz como sendo c = 2 )
a
para cada a > 0.
Em particular, a aplicac ao f : R R e contnua em Ra para todo a > 0, isto e, f e
contnua em R .
Exemplo 3.1.6 Sejam (E, k.kE ) um espaco vetorial normado, R com a metrica usual e R.
Afirmamos que a aplicac
ao
m:RE E
dada por
.
m(, ~x) = .~x, R, ~x E,
e localmente lipschitiziana em R E onde no produto cartesiano R E considerarmos a norma
da soma (isto e,
k(, ~x)kRE = || + k~xkE ,
(, ~x) R E) e assim podemos tomar a metrica
dRE [(, ~x), (, ~y )] = | | + k~x ~y kE ,
se (, ~x), (, ~y ) R E).
De fato, dado (0 , ~x0 ) R E, fixado r > 0, se
(, ~x), (, ~y ) B((0 , ~x0 ); r) R E
temos que
| 0 |, | 0 | < r e k~x ~x0 kE , k~y ~x0 kE < r.
Logo
dE (m(, ~x), m(, ~y )) = km(, ~x) m(, ~y )kE = k.~x .ykE = k.x .y + y .~y kE
= k.(~x ~y ) + ( ).~y kE k(~x ~y )kE + k( )~y kE
= ||k~x ~y kE + | |k~y kE
[|||0 |+|0 |r+|0 |]
[r + |0 |]k~x ~y kE + | |k~y kE
[k~
y kE k~
y ~
x0 kE +k~
x0 kE r+k~
x0 kE ]
[r + |0 |]k~x ~y kE + [r + k~x0 kE ]| |
max{r + |0 |, r + k~x0 kE }[k~x ~y kE + | |]
.
[c=max{r+|0 |,r+k~
x0 kE }]
= c[| | + k~x ~y kE ]
= c dRE [(, ~x), (, ~y )]
mostrando que a afirmaca
o e verdadeira.
Em particular, a aplicac
ao m : R E E ser
a contnua em R E (munido da metrica
acima).
3.1. DEFINIC DE FUNC
AO CONTINUA EM ESPAC
AO
OS METRICOS E EXEMPLOS 65
Defini
cao 3.1.4 Sejam (M, dM ) e (N, dN ) espacos metricos e f : M N .
Diremos que a func
ao f e uma contra c
ao fraca se
Defini
cao 3.1.5 Sejam (M, dM ) e (N, dN ) espacos metricos e f : M N .
Diremos que a func
ao f e uma contra c
ao (forte) se existir c (0, 1) tal que
Observa c
ao 3.1.5 Toda contrac ao fraca ou forte e uma aplicac
ao lipschitiziana e portanto
contnua em todo o espaco metrico.
ent
ao f e uma contrac
ao forte, pois
1
dN (f (x), f (y)) = dN (k, k) = 0 dM (x, y), x, y M,
2
. 1
(no caso escolhemos c = < 1).
2
Em particular, a aplicac
ao f : M N e contnua em M .
Em particular, a aplicac
ao i : X M e contnua em X.
Em geral temos o
Em particular, a aplicac
ao f : M N ser
a contnua em M .
66 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Observa c
ao 3.1.6 Como caso particular do exemplo acima temos que toda isometria e uma
contrac
ao fraca, logo contnua em todo o espaco metrico.
Observa
cao 3.1.7 Do exemplo acima segue que para cada x M temos que a aplicac
ao
.
dx : M R dada por dx (y) = dM (x, y), y M,
e uma contrac
ao fraca.
.
Para ver isto basta considerar X = {x} M .
Em particular, a aplicac
ao dx : M R ser
a contnua em M .
dR (dM (x, y), dM (x0 , y 0 )) = |dM (x, y) dM (x0 , y 0 )| = |dM (x, y) dM (x0 , y) + dM (x0 , y) dM (x0 , y 0 )|
|dM (x, y) dM (x0 , y)| + |dM (x0 , y) dM (x0 , y 0 )| dM (x, x0 ) + dM (y, y 0 )
dM M [(x, y), (x0 , y 0 )],
dE (s(x, y), s(x0 , y 0 )) = ks(x, y) s(x0 , y 0 )kE = k(x + y) (x0 + y 0 )kE = k(x x0 ) + (y y 0 )kE
kx x0 k + ky y 0 kE = k(x, y) (x0 , y 0 )kEE = dEE ((x, y), (x0 , y 0 )).
Observa
cao 3.1.8
2. Como conseq uencia da observacao acima temos que se (M, dM ) for um espaco discreto
(isto e, todo ponto dele e ponto isolado) ent
ao toda func
ao f : M N e contnua em M .
Em particular, a metrica de M e a metrica zer-um ent
ao vale o mesmo.
3. Por outro lado se (N, dN ) for um espaco discreto temos que: f : M N contnua em
M se, e somente se, para cada a M a funca o f e constante em alguma bola aberta de
centro em a.
De fato, se a M ent ao dado 0 < 1 temos que B(f (a); ) = {f (a)} assim para todo
> 0 se x B(a; ) para que f (x) B(f (a), ) = {f (a)} deveremos ter f (x) = f (a) na
bola aberta B(a; ), como afirmamos acima.
Em particular, a metrica de N e a metrica zer-um ent
ao vale o mesmo.
Temos a
Defini
cao 3.1.6 Sejam (M, dM ) e (N, dN ) espacos metricos e a M .
Diremos que uma func
ao f : M N e descontnua no ponto a se ela n
ao for contnua
no ponto a.
Observa
cao 3.1.9
1. Na situac
ao acima f e descontnua no ponto a M se, e somente se, existe > 0 tal que
para todo > 0 existe x M tal que
Isto poderia ser dito da seguinte forma: existe uma seq uencia (xn )nN em M que e con-
vergente para a em M tal que a seq uencia (f (xn ))nN em N n ao e convergente em N .
Vale observar que ainda n
ao introduzimos a noc
ao de convergencia de seq
uencias.
Na verdade isto ser
a tratado num c
aptulo mais adiante.
3.1. DEFINIC DE FUNC
AO CONTINUA EM ESPAC
AO
OS METRICOS E EXEMPLOS 69
(
1, se x Q
Exemplo 3.1.16 A funca o f : R R dada por f (x) = nao e contnua em
0, se x I
nenhum ponto de R.
1
De fato, sejam a Q e = > 0.
2
Dado > 0 consideremos x I tal que |x a| < , isto e, d(x, a) < (veja figura abaixo).
xI
? -
a aQ a+
1
dR (f (x), f (a)) = |f (x) f (a)| = |0 1| = 1 = ,
2
xQ
? -
a aI a+
1
dR (f (x), f (a)) = |f (x) f (a)| = |1 0| = 1 = ,
2
mostrando que f n
ao e contnua em nenhum a I.
Portanto f n
ao e contnua em nenhum ponto de R.
Observa c
ao 3.1.10 Observemos que no exemplo acima temos que f|Q e f|I s ao contnuas (na
verdade a primeira e constante e igual a 0 e a segunda e constante e igual a 1).
Para f : M N e X M n ao vazio, o exemplo acima nos mostra a diferenca entre:
1. f|X : X N contnua em X;
13.10.2008 - 19.a
70 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Demonstrac
ao:
Dado > 0, como g e contnua no ponto f (a), existe > 0 tal que se y N e
dN (y, f (a)) < ent
ao dP (g(y), g(f (a))) < . ()
Mas f e contnua em a, logo dado > 0 (obtido acima), existe > 0 tal que se x M e
dM (x, a) < ent
ao dN (f (x), f (a)) < .
Logo, se f (x) N , de (*) temos
dP (g(f (x)), g(f (a))) < ,
mostrando que g f e contnua em a, como queramos mostrar.
Observa
cao 3.2.1
1. O resultado acima nos diz que a composta de duas func
oes contnuas e uma func
ao
contnua.
2. Temos a seguinte caracterizac
ao geometrica para a demonstraca
o do resultado acima:
g(B(f (a); ))
f (B(a; ))
?
W
g g(f (a))
a f
- f (a) -
^ U ^
Como conseq
uencia temos
Corol
ario 3.2.1 Sejam (M, dM ) e (N, dN ) espacos metricos.
Se f : M N e contnua em a X M ent ao f|X : X N e contnua em a.
Demonstrac
ao:
Sabemos que a aplicacao inclusao, i : X M e contnua em X (ver exemplo (3.1.8)).
Observemos que
f|X = f i.
Como f e contnua em a segue, da proposic
ao acima, que f|X = f i ser
a contnua no ponto
a, completando a demosntracao do corolario.
3.2. PROPRIEDADES ELEMENTARES DE FUNC
OES CONTINUAS ENTRE ESPAC
OS METRICOS71
Observa c
ao 3.2.2 O corolario acima nos diz que a restric
ao de uma func
ao contnua a um
subconjunto do seu domnio ser
a uma func
ao contnua nesse subconjunto.
Observa
cao 3.2.3 Sejam (M, dM ), (N, dN ), (P, dP ) espacos metricos, f : M N P onde em
M N consideramos uma das tres metricas usuais (da raiz quadrada, da soma ou do m aximo).
Logo f ser
a contnua em (a, b) M N se dado > 0 existe > 0 tal que
dM N ((x, y), (a, b)) < implicar dP (f (x, y), f (a, b)) < .
Neste caso e comum dizermos que f e contnua (conjuntamente) no ponto (a, b).
Temos tambem a:
Defini
cao 3.2.1 Sejam (M, dM ), (N, dN ), (P, dP ) espacos metricos, f : M N P e (a, b)
M N.
Diremos que f e contnua em rela c
ao a 1.a vari avel no ponto (a, b) se a aplicac
ao
fb : M P
dada por
.
fb (x) = f (x, b), x M,
for contnua no ponto a.
Diremos que f e contnua em rela
cao a 2.a vari
avel no ponto (a, b) se a aplicac
ao
fa : N P
dada por
.
f a (y) = f (a, y), y N,
for contnua no ponto b.
Diremos que f e contnua separadamente no ponto (a, b) se ela for contnua em relac
ao
a cada uma das vari aveis no ponto (a, b).
Observa
cao 3.2.4
1. Na situac
ao acima se f e contnua (conjuntamente) no ponto (a, b) ent
ao temos que
f a = f ja e fb = f ib ,
onde
ib : M M N e ja : N M N
s
ao as aplicaco
es de M , e de N , em M N dadas pelo exemplo (3.1.10), respectivamente.
Assim, como ib e ja sao contnuas em M e N , respectivamente, segue que que f a e fb s
ao
contnuas nos pontos a e b, respectivamente.
Portanto f ser
a contnua separadamente no ponto (a, b).
72 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
No ponto (0, 0) temos que f e contnua separamente (pois f (x, 0) = 0 e f (0, y) = 0 para
todo x, y, R que s
ao contnuas em R).
Mas f n ao e contnua (conjuntamente) no ponto (0, 0) pois se tomarmos a restric
ao da
func
ao f `
a reta y = ax, com a 6= 0 (que torna-se um espaco metrico com a metrica
induzida pela metrica de R2 ) ent
ao teremos
ax2 a
f (x, ax) = = 6= 0 se x 6= 0
x2 + a2 x2 1 + a2
e se x = 0 teremos que f (0, a.0) = (0, 0), mostrando que f e descontnua no ponto (0, 0).
Defini
cao 3.2.2 Sejam (M, dM ), (N1 , d1 ), (N2 , d2 ) espacos metricos,
f : M N1 N2
dada por
.
f (x) = (f1 (x), f2 (x)), xM
onde fj : M Nj , j = 1, 2 s
ao ditas fun c
oes coordenadas da fun
cao f .
Neste caso escreveremos f = (f1 , f2 ).
Proposi c
ao 3.2.2 Sejam (M, dM ), (N1 , d1 ), (N2 , d2 ), N1 N2 espacos metricos, onde no u
ltimo
.
consideramos uma das tres metricas usuais, f : M N1 N2 dada por f (x) = (f1 (x), f2 (x)),
x M onde fj : M Nj , j = 1, 2 e a M .
Entao f e contnua no ponto a se, e somente se, f1 e f2 s ao contnuas no ponto a.
Demonstrac
ao:
Suponhamos que f e contnua no ponto a.
Temos que
f1 = p1 f e f2 = p2 f,
onde pj : N1 N2 Nj , j = 1, 2 sao as projec oes em N1 e N2 definidas no exemplo (3.1.13),
respectivamente.
Como p1 , p2 sao contnuas em N1 e N2 , respectivamente, segue que f1 e f2 sao contnuas em
a M.
Reciprocamente,
3.2. PROPRIEDADES ELEMENTARES DE FUNC
OES CONTINUAS ENTRE ESPAC
OS METRICOS73
dN1 N2 (f (x), f (a)) = max{d1 (f1 (x), f1 (a)), d2 (f2 (x), f2 (a))} < ,
Corol ario 3.2.2 Sejam (M1 , d1 ), (M2 , d2 ), (N1 , d1 ), (N2 , d2 ) espacos metricos e f1 : M1 N1 ,
f2 : M2 N2 duas func oes.
Se f1 e f2 s
ao contnuas em M1 e M2 , respectivamente ent ao a aplicac
ao
f1 f2 : M1 M2 N1 N2
.
(f1 f2 )(x1 , x2 ) = (f1 (x1 ), f2 (x2 )), (x1 , x2 ) M1 M2
ser
a contnua em M1 M2 .
74 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Demonstrac
ao:
Temos que as coordenadas de f1 f2 sao
(f1 f2 )1 = f1 p1 e (f1 f2 )2 = f2 p2 ,
Proposi cao 3.2.3 Sejam (M, dM ) espaco metrico, (E, k.kE ) espaco vetorial normado, R com
a metrica usual, f, g : M E, , : M R contnuas, com (x) 6= 0 para x M .
Ent ao as func
oes f + g, .f : M E s
ao contnuas em M e : M R e contnua em M ,
onde
. . . (x)
(f + g)(x) = f (x) + g(x), (.f )(x) = .f (x), ( )(x) = ,
(x)
para x M .
Demonstrac
ao:
Vimos anteriormente (exemplos (3.1.5), (3.1.15) e (3.1.6)) que as func
oes
dadas por
. 1 . .
r(x) = , s(x + y) = x + y, m(, x) = .x,
x
onde x, y E e R, sao contnuas nos seus respectivos domnios.
Com isto temos:
(f,g) s
M EE E ,
x (f (x), g(x)) f (x) + g(x)
logo f + g e contnua em M ;
(,f ) m
M RE E ,
x ((x), f (x)) (x).f (x)
logo .f e contnua em M e
(,) (id,r) m
M R R \ {0} RR R
1 1 ,
x ((x), (x)) ((x), (x) ) (x). (x)
logo e contnua em M (onde id : R R e a aplicac
ao identidade, isto e id(x) = x, x R),
completando a demonstracao do resultado.
Como conseq uencia imediata temos o
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 75
Corol ario 3.2.3 Sejam (M, dM ) espaco metrico, R com a metrica usual, f, g : M R contnuas
em M .
f
Entao as funco
es f +g, f.g : M R s
ao contnuas em M e : M \{x M : g(x) 6= 0} R
g
e contnua no seu domnio.
13.10.2008 - 20.a
f (x) = x2 , x M.
Temos que f e uma aplicaca o bijetora e contnua em M (ser a deixado como exerccio para
o leitor a verificac
ao deste fatos - veja gr
afico de f na figua abaixo).
N 6
f (x)
-
1 1 x
M
76 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
A func
ao inversa associada a f ser a f 1 : N M dada por
(
. y, 0 y 1
f 1 (y) =
y, y > 1
cujo gr
afico e dado pela figura abaixo.
M 6
f 1 (y)
-
1
y N
Observemos que f 1 n
ao e contnua em y = 1.
1
De fato, dado = > 0, para todo > 0 seja z (1, 1 + ).
2
Logo z B(1; ) mas
[f 1 (1)=1] 1
dR (f 1 (z), f 1 (1)) = |f 1 (z) f 1 (1)| = |f 1 (z) + 1| = f 1 (z) + 1 > = ,
2
M 6
?
1
- -
1
N
?
1
.
Exemplo 3.3.3 Sejam M = [0, 2) com a metrica induzida pela metrica usual de R, S 1 =
{(x, y) R2 : x2 + y 2 = 1} com a metrica induzida pela metrica usual de R2 e
f : M S1
dada por
f (t) = (cos(t), sen(t)), t M.
Observemos que f e contnua em M (pois suas componentes s ao contnuas em M ) e bijetora
(ser
a deixado como exerccio para o leitor a verificac
ao deste fato).
ao inversa f 1 : S 1 M .
Logo existe a func
Afirmamos que f 1 nao e contnua em (1, 0) = f (0).
De fato, consideremos as seq uencias (Pn )nN e (Qn )nN sobre S 1 de modo que Pn (1, 0)
e est
a contida no semi-plano superior y > 0 e Qn (1, 0) e est a contida no semi-plano inferior
y < 0.
6
2
f 1 (Qn ) 6 f Pn
- ? -
f 1 (Pn )
? (1, 0)
6
0
Qn
1
f
Defini c
ao 3.3.1 Sejam (M, dM ) e N (, dN ) espacos metricos.
Diremos que uma func ao f : M N e um homemorfismo de M em N se a func ao f for
contnua, for bijetora (logo admite func
ao inversa) e a func
ao inversa for contnua em N .
Neste caso diremos que o espaco metrico M e homeomorfo ao espaco metrico N e es-
creveremos M N .
A seguir temos a
Proposic
ao 3.3.1 Sejam (M, dM ), N (, dN ) espacos metricos e f : M N uma isometria.
Ent
ao f e um homeomorfismo de M em N .
Demonstra cao:
Se a funcao f e uma isometria entao, como vimos na observac
ao (2.6.2) item 2., sua func ao
ao inversa, f 1 , serao contnuas, logo
inversa tambem sera uma isometria, ou seja, f e sua func
a funcao f sera um homeomorfismo.
Observa
cao 3.3.2
78 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
ao f 1 : N M
2. Observemos que se f : M N e um homeomorfismo (de M em N ) ent
tambem ser
a um homeomorfismo (de N em M ).
Logo se M N ent
ao N M (isto e, e simetrica);
3. Se (M, dM ), N (, dN ) e (P, dP ) s
ao espacos metricos e f : M N , g : N P s ao
homeomorfismos ent ao, da proposic
ao (3.2.1) segue que (g f ) : M P tambem ser
a um
homeomorfismo (de M em P ) (isto e, e transitiva).
Logo se M N e N P ent
ao N P ;
7. A proposic
ao (3.3.1) garante que toda propriedade topol
ogica e uma propriedade metrica
(pois se uma propriedade P e preservada por homeomorfismo ent ao tambem ser
a preserva
por isometrias, pois toda isometria e um homeorofismo).
Mas, em geral, nao vale a recproca, isto e, existem propriedades metricas que n
ao s
ao
propriedades topol
ogicas.
Ou seja, existem propriedades Q que s
ao preservada por isometrias e n
ao s
ao preservas
por homeomorfismos.
Veremos isto na observac
ao (3.3.3) item 4.
20.10.2008 - 21.a
Temos os seguinte resultados:
Proposi c
ao 3.3.2 Sejam (M, dM ) um espaco metrico e (N, dN ) um espaco metrico discreto e
f : M N um homeomorfismo de M e N .
Ent
ao M e um espaco metrico discreto.
Demonstra c
ao:
Seja a M .
Mostremos que a e um ponto isolado de M , isto e, existe > 0 tal que
BM (a; ) = {a}.
BN (f (a); ) = {f (a)}.
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 79
Observa
cao 3.3.3
2. Em particular, a proposic
ao acima garante que ser discreto (ou n ao ser discreto) e uma
propriedade topol
ogica (isto e, e preservada por homeomorfismos).
4. Afirmamos que ser limitado e uma propriedade metrica mas n ao e uma propriedade
topol
ogica, como mostra o seguinte exemplo:
. 1
Sejam N e P = { : n N} ambos com a metrica induzida pela metrica usual de R.
n
Temos que N e P s ao homeomorfos, pois eles tem a mesma cardinalidade (observemos que
. 1
f : N P dada por f (n) = , n N e uma aplicac ao bijetora de N em P ).
n
Observemos que N n ao e limitado mas P e limitado.
Proposic
ao 3.3.3 Sejam (E, k.kE ) um espaco vetorial sobre R normado, ~a E e R, 6= 0.
Ent
ao a transla
cao
t~a : E E
e a homotetia
m : E E
definidas por
. .
t~a (~x) = ~x + ~a, m (~x) = .~x, ~x E,
s
ao homeomorfismos de E.
Demonstra c
ao:
De fato, da proposicao (3.2.3) segue que t~a e m s
ao contnuas em E.
Alem disso, elas admitem funcoes inversas
t~a1 : E E e m1
:E E
definidas por
. . 1
t~a1 (y) = ~y ~a, m1 y ) = .~x,
(~ ~y E.
Corolario 3.3.1 Sejam (E, k.kE ) um espaco vetorial sobre R normado, ~a, ~b E e r, s > 0.
ao as bolas abertas B(~a; r) e B(~b; s) s
Ent ao homeomorfas (munidas da metrica induzida de
E).
Demonstrac
ao:
Consideremos a aplicacao
: B(~a; r) E
dada por
.
(~x) = (t~b m rs t~a )(~x), ~x B(~a; r).
]
]
s
o r
r
ms
r
t~
a -
- ~
0
~
a ~
0
tb
= t~ m s t~
a
b r ?
}
s
s ~
b
Observemos que
(~a) = (t~b m rs t~a )(~a) = (t~b m rs )(t~a (~a)) = (t~b m rs )(~a ~a) = (t~b m rs )(~0)
s
= t~b (m rs (~0)) = t~b ( .0) = t~b (~0) = ~0 + ~b = ~b.
r
Se ~x B(~a; r) e
dE ((~x), (~a)) = k(~x) (~a)kE = k(t~b m rs t~a )(~x) ~bkE = k(t~b m rs )(t~a (~x)) ~bkE
= k(t~b m rs )(~x ~a) ~bkE = kt~b (m rs (~x ~a)) ~bkE
s s s s
= kt~b ( (~x ~a)) ~bkE = k[ (~x ~a) + ~b] ~bk = k (~x ~a)k = k~x ~ak
r r r r
xB(~a;r)] s
[~
< .r = s,
r
[(~a)=~b]
ou seja, (~x) B((~a); s) = B(~b; s), mostrando que
: B(~a; r) B(~b; s).
Da proposicao (3.3.3) segue que e um homeomorfismo (pois e uma composta de homeo-
morfismos), mostrando que as bolas abertas B(~a; r) e B(~b; s) sao homeomorfas.
82 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
De modo semelhante pode-se mostrar o
Corol ario 3.3.2 Sejam (E, k.kE ) um espaco vetorial sobre R normado, ~a, ~b E e r, s > 0.
Ent ao as bolas fechadas B[~a; r] e B[~b; s] s
ao homeomorfas (munidas da metrica indizuda de
E).
Alem disso e as esferas S(~a; r), S(~b; s) tambem s
ao homeomorfas.
Demonstra c
ao:
Sera deixada como exerccio para o leitor.
Observa
cao 3.3.4
Temos a
Defini
cao 3.3.2 Sejam (M, dM ) e (N, dN ) espacos metricos.
Diremos que uma func
ao f : M N e uma imers ao topol
ogica se f : M f (M ) for
um homeomorfismo.
Observa
cao 3.3.5
f : M f (M )
f 1 : f (R) R
dada por
.
f (t, t2 ) = t, (t, t2 ) f (R)
que corresponde a restric ao p1 : R2 R (que e contnua) a f (R), logo
ao da projec
f : R f (R) e um homeomorfismo, mostrando que f : R R2 e uma imersao topol
ogica.
Observemos que f : R R2 n
ao e uma imers ao isometrica, pois , se t, s R e t 6= s
temos que
df (M ) (f (t), f (s))
abola que une os pontos (s, s2 ) e (t, t2 ) enquanto dR (t, s) e
e o comprimento do arco de par
o comprimento do segmento de reta que une os pontos (s, 0) e (t, 0).
Logo
df (M ) (f (t), f (s)) > dM (s, t),
mostrando que f n
ao ser
a uma imers
ao isometrica (veja figura abaixo).
6
N = f (R)
f (t) = (t, t2 )
2
f (s) = (s, s )
-
s M =R
t
Proposic
ao 3.3.4 Seja (E, k.kE ) um espaco vetorial normado.
Ent
ao toda bola aberta e homeomorfa a E, isto e, se ~a E e r > 0 ent
ao B(~a; r) E.
Demonstra c
ao:
Do corolario (3.3.1) basta mostrar que B(~0; 1) E, isto e, construiremos um homeomorfismo
f : E B(~0; 1).
84 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Consideremos
f :EE
dada por
. 1
f (~x) = ~x, ~x E.
1 + k~xkE
Observemos que
1 1
d(f (~x), ~0) = kf (~x)kE = k xkE = k~xkE < 1,
1 + k~xkE 1 + k~xkE
f : E B(~0; 1).
De modo semelhante mostra-se que (sera deixado como exerccio para o leitor)
Observa
cao 3.3.6
ba
ba
2
- 2
-
a+b
a 2 b
2. Na situac
ao acima, temos que o intervalo (a, ) e homeomorfo a R.
Para mostrar isto basta considerar a func
ao
f : R (a, )
dada por
.
f (x) = a + ex , x R.
f (x) = a + ex
y=a
-
x
h(y) = ln(y a)
-
y
86 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
: S n \ {p} Rn
que e um homeomorfismo.
A aplicac
ao e definida da seguinte forma:
Dado ~x S n \ {~ p} consideremos a semi-reta px que liga os pontos p~ e ~x (que est
a bem
definida pois ~x 6= p~).
Definimos (~x) como sendo o ponto de intersecc ao da semi-reta px como o hper-plano
xn+1 = 0 (veja figura abaixo para o caso n = 1).
S 1 \ {p} p = (0, 1)
(x) (y)
R
0
6
y
semi-reta px
semi-reta py
logo
(x) = p + t.(x p), para algum t > 0. ()
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 87
1 + t(xn+1 1),
(pois a u
ltima coordenada do ponto p e 1) deveremos ter
1 + t(xn+1 1) = 0.
: {(x0 , 0) : x0 Rn } Rn+1 Rn
dada por
.
(x0 , 0) = x0 Rn
e mostrar que esta e um homeomorfismo (ser
a deixado como exerccio para o leitor).
1 n
Assim definimos : S \ {p} R por
ou seja,
1
(x) = x0 , x S 1 \ {p},
1 xn+1
onde x = (x0 , xn+1 ).
Como xn+1 6= 1 segue que : S 1 \ {p} Rn e uma funca
o contnua em S 1 \ {p}.
ao : Rn Rn+1 dada por
Consideremos a aplicac
.
(y) = x, y Rn ,
. 2 . kyk2Rn 1
x0 = y e xn+1 = ,
kyk2Rn + 1 kyk2Rn + 1
88 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
isto e,
. 2 kyk2Rn 1
(y) = ( y, ) Rn+1 , y Rn .
kyk2Rn + 1 kyk2Rn + 1
Observemos que
2 kyk2Rn 1 2 4 (kyk2Rn 1)2
k(y)k2Rn+1 = k yk2Rn + | | = kyk2
R n +
kyk2Rn + 1 kyk2Rn + 1 (kyk2Rn + 1)2 (kyk2Rn + 1)2
4kyk2Rn + (kyk2Rn 1)2 4kyk2Rn + (kyk4Rn 2kyk2Rn + 1 kyk4Rn + 2kyk2Rn + 1)
= = =
(kyk2Rn + 1)2 (kyk2Rn + 1)2 (kyk2Rn + 1)2
(kyk2Rn + 1)2
= = 1,
(kyk2Rn + 1)2
ou seja, (y) S n .
Alem disso, se (y) = (0, , 0, 1) = p Rn+1 deveramos ter
2
y = (0, , 0) Rn
kyk 2 + 1
R n
kyk2 1
=1
kyk2Rn + 1
es teremos y = (0, , 0) Rn e este n
e das n-primeiras equaco ao satisfaz a u
ltima equac
ao (o
a 1), ou seja p 6 (Rn ).
lado esquerda d
ao: : Rn S n \ {p}.
Conslus
Observemos que e contnua em Rn e alem disso se x S n \ {p} temos que
1 = kxk2Rn+1 = kx0 k2Rn + (xn+1 )2 e xn+1 6= 1.
Assim
kx0 k2Rn = 1 (xn+1 )2 ,
logo
2 k(x)k2Rn 1 2 1 0
k 1x1n+1 x0 k2Rn 1
((x)) = ( (x), )=( [ x ], )
k(x)k2Rn + 1 k(x)k2Rn + 1 k 1x1n+1 x0 k2Rn + 1 1 xn+1 k 1x1n+1 x0 k2Rn + 1
1
2 1 (1xn+1 )2
kx0 k2Rn 1
= ( 1 2
[ x0 ], 1 )
(1xn+1 )2
kx kRn + 1 1 xn+1
0
(1xn+1 )2
| kx0 k2Rn + 1
0 2 2
2(1 xn+1 )2 0 kx kRn (1 xn+1 )
= ( 0 2 x , )
[kx kRn + (1 xn+1 )2 ].(1 xn+1 ) kx0 k2Rn + (1 xn+1 )2
2(1 xn+1 )2 2
0 (1 (xn+1 ) ) (1 xn+1 )
2
= ( x , )
[(1 (xn+1 )2 ) + (1 xn+1 )2 ].(1 xn+1 ) (1 (xn+1 )2 ) + (1 xn+1 )2
0 2 2
2(1 xn+1 ) 0 kx kRn (1 xn+1 )
= ( 0 2 x , 2 )
[kx kRn + (1 xn+1 )2 ] kx0 kRn + (1 xn+1 )2
2(1 xn+1 ) (1 (xn+1 )2 ) (1 xn+1 )2
= ( 2 2
x0 , )
[(1 (xn+1 ) ) + (1 xn+1 ) ]. (1 (xn+1 )2 ) + (1 xn+1 )2
2(1 xn+1 ) 2 2
0 1 (xn+1 ) [1 2xn+1 + (xn+1 ) ]
= ( x , )
[1 (xn+1 )2 + 1 2xn+1 + (xn+1 )2 ] 1 (xn+1 )2 + [1 2xn+1 + (xn+1 )2 ]
2(1 xn+1 ) 0 2xn+1 2(xn+1 )2 2(1 xn+1 )xn+1
= ( x, ) = (x0 , ) = (x0 , xn+1 ) = x.
(2 2xn+1 ) 2 2xn+1 2(1 xn+1 )
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 89
temos
0
1 1 2 kyk2Rn 1
((y)) = [(y)]0 = ( y, )
1 [(y)]n+1 kyk 2 1
1 [ kykR2 n +1 ] kyk2Rn + 1 kyk2Rn + 1
Rn
1 2 kyk2Rn + 1 2
= 2 y= y
kyk2 1
1 [ kykR2 n +1 ] kykRn + 1 (kyk2Rn 2 2
+ 1) (kykRn 1) kykRn + 1
Rn
2(kyk2Rn + 1)
= y = y.
2(kyk2Rn + 1)
Portanto
((x)) = x, x S n \ {p} e ((y)) = y, y Rn ,
mostrando que e a func
ao inversa de e como isto podemos concluir que
: S n \ {p} Rn
20.10.2008 - 22.a
Provinha
10.11.2008 - 23.a
Para finalizar a secao temos a
Defini
cao 3.3.3 Sejam (M, dM ) e (N, dN ) espacos metricos e f : M N .
Definimos o grafico da fun
cao f , indicado por G(f ), como sendo o seguinte subconjunto
de M N :
.
G(f ) = {(x, f (x)) : x M }.
Proposic
ao 3.3.5 Sejam (M, dM ) e (N, dN ) espacos metricos e f : M N contnua em M .
Ent
ao G(f ) (munido de uma das tres metrica do produto M N ) e homeomorfo a M .
Demonstrac
ao:
Consideremos a seguinte aplicacao
f : M M N
dada por
.
f(x) = (x, f (x)), x M.
Observemos que f e uma aplicacao contnua em M (pois suas func oes coordenadas sao
contnuas em M ) e e injetora (pois se x1 6= x2 ent
ao (x1 , f (x1 )) 6= (x2 , f (x2 ))) e portanto
bijetora sobre a sua imagem G(f ).
Observemos que p1 : G(f ) M dada por
.
p1 (x, f (x)) = x, (x, f (x)) G(f )
90 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
f(p1 (x, f (x))) = f(x) = (x, f (x)), (x, f (x)) G(f ) e p1 (f(x)) = p1 (x, f (x)) = x x M,
f : R \ {0} R
dada por
. 1
f (x) = , x R \ {0}
x
que e contnua em R \ {0} (veja figura abaixo).
1)
(x, x
1
f (x) = x
- x
x
n = G(f ) onde
De fato, pois S+
f : B(~0; 1) R
e dada por
. p
f (x) = 1 kxk2 , x B(~0; 1)
3.4. METRICAS EQUIVALENTES EM UM ESPAC
O METRICO 91
n (pois
e f e contnua em S+ e composta de func
oes contnuas; veja figura abaixo).
n se, e somente se,
Observemos que y = (y1 , , yn , yn+1 ) S+
que e equivalente a
q
yn+1 = 1 y12 + + yn2 .
.
Logo, se x = (y1 , , yn ) Rn a condica
o acima ser
a equivalente a
p
kxk < 1 e yn+1 = 1 kxk2 ,
ou, seja,
n
p .
y = (y1 , , yn , yn+1 ) S+ y = (x, 1 kxk2 ), x = (y1 , , yn ) Rn .
n
S+
f (x)
(x, f (x))
1
O
9 x
Rn
3.4 M
etricas equivalentes em um espaco m
etrico
Iniciaremos com a
dada por
.
i12 (x) = x, xM
ou seja, toda bola aberta segundo a metrica d2 contem uma bola aberta segunda a metrica d1 .
92 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Bd2 (a; )
Bd1 (a; )
Proposicao 3.4.1 Seja (M, d1 ) um espaco metrico discreto (isto e, d1 e a metrica discreta) e
d2 uma outra metrica qualquer em M .
Entao d1 d2 .
Alem disso, se d e uma metrica em M tal que d d1 entao d e uma metrica discreta.
Demonstra c
ao:
Lembremos que na metrica discreta todo ponto de (M, d1 ) e isolado.
Logo se a M existe > 0 tal que Bd1 (a; ) = {a}.
Logo dado > 0 temos que
mostrando que d1 d2 .
Se d e uma metrica em M tal que d d1 entao para todo a M , como d1 e a metrica
discreta, existe > 0 tal que Bd1 (a; ) = {a}.
Mas d d1 , logo existe > 0 tal que
Demonstracao:
A desigualdade acima implica que a aplicac
ao
Observacao 3.4.2 Podemos provar o resultado acima diretamente, ou seja, para cada a M ,
.
dado > 0 seja = > 0.
c
Logo se a M temos que se x Bd1 (a; ) segue que
d2 (x, a) c d1 (x, a) < c = c = ,
c
ou seja, x Bd2 (a; ), mostrando que
isto e, d1 d2 .
Temos a
. .
Proposicao 3.4.3 Sejam M1 = (M, d1 ) e M2 = (M, d2 ) espacos metricos.
As afirmaco
es s
ao equivalentes;
1. d1 d2 (isto e, a aplicac
ao i12 : M1 M2 e contnua em M1 );
e contnua em M1 ;
5. Toda bola aberta, segundo a metrica d2 , contem uma bola aberta segundo d1 , de mesmo
centro que a primeira;
Demonstrac
ao:
Mostraremos a seguinte seq
uencia de implicac
oes:
1. - 2.
6
+
6.
?
j
4. 3.
?
5.
94 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
f 1 = f 2 i12 . ()
i12
- M2
M1
f1
f2
R
N
e contnua em M1 .
Mostremos que a aplicacao i12 : M1 M2 e contnua em M1 .
Para isto precisamos mostrar que i12 : M1 M2 e contnua em b M , b arbitrario.
Como a aplicacao d2a : M1 R e contnua em a M , dado > 0 temos que existe > 0
tal que se d1 (x, a) < entao
|d2a (x) d2a (a)| < , isto e, > |d2 (x, a) d2 (a, a)| = d2 (x, a).
Logo se d1 (x, a) < , isto e, se x Bd1 (a; ), segue que x Bd2 (a; ), ou seja,
ou ainda
d2 (i12 (x), i12 (a)) < .
Logo i12 : M1 M2 e contnua em a M .
Assim que d1 d2 , mostrando que (4. 1.).
Mostremos que (4. 5.):
Sabemos que a aplicacao
e contnua em M1 .
Logo dada a bola aberta Bd2 (a; ), da continuidade da aplicac ao acima no ponto a, segue
que existe > 0 tal que se d1 (x, a) < (ou seja, se x Bd1 (a; )) ent
ao
> |d2a (x) d2a (a)| = |d2 (x, a) d2 (a, a)| = d2 (x, a),
Logo se d1 (x, a) < (ou seja, x Bd1 (a; )) teremos que x Bd2 (a; ) (*), isto e,
()
|d2a (x) d2a (a)| = |d2 (x, a) d2 (a, a)| = d2 (x, a) < ,
d2 |{a}M1 : {a} M1 R
id : M1 M1 M2 M2
96 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Proposi c
ao 3.4.4 Sejam (M, dM ) e (N, dN ) espacos metricos e uma aplicac ao f : M N
injetiva. Ent ao
f e contnua em M se, e somente se, a metrica dM d1 , onde d1 e a metrica induzida em
M pela aplicac ao f .
Demonstra c
ao:
Podemos supor, sem perda de generalidade que f e sobrejetora, isto e, N = f (M ) (pois caso
contrario trocamos N por f (M ) munido da metrica induzida por N ).
.
Indicaremos por M1 = (M, d1 ), onde d1 : M M R e a metrica induzida pela aplicac ao
f , isto e, e dada por
.
d1 (x, y) = dN (f (x), f (y)), x, y M
e
.
f 1 : M1 N dada por f 1 (x) = f (x), x M,
que sera uma isometria, pois
e indiquemos por
iM 1 : (M, dM ) (M, d1 )
a aplicacao identidade.
Como f 1 e bijetora segue que sera um homeomorfismo de M1 em N .
Com isto temos o seguinte diagrama
f
(M, dM )
- (N, dN )
iM 1
f1
e homeomrofismo
?
(M, d1 )
Como
f = f 1 iM 1
segue que f e contnua em M se, e somente se, iM 1 e contnua em M , ou seja, dM d1 ,
completando a demostracao da proposicao.
10.10.2008 - 24.a
Provinha
17.11.2008 - 25.a
3.4. METRICAS EQUIVALENTES EM UM ESPAC
O METRICO 97
f : [0, 2) S 1
dada por
.
f (t) = (cos(t), sen(t)), t [0, 2).
Vimos que a aplicac ao f e contnua e bijetora em [0, 2).
Logo, da proposica o acima, segue que a metrica d[0,2) e mais fina que a metrica induzida
pela aplicac
ao f , isto e, que a metrica
.
d1 (x, y) = dS 1 (f (x), f (y)) = dS 1 ((cos(x), sen(x)), (cos(y), sen(y)))
p
= [cos(x) cos(y)]2 + [sen(x) sen(y)]2 , x, y [0, 2).
Defini c
ao 3.4.2 Sejam d1 e d2 metricas em M .
Diremos que as metricas d1 e d2 s
ao equivalentes, denotando por d1 d2 , se a aplicaca
o
i12 : (M, d1 ) (M, d2 ) for um homeomorfismo.
Observa
cao 3.4.3
1. As metricas d1 e d2 em M s
ao equivalentes se, e somente se, d1 d2 e d2 d1 .
2. A relac
ao no conjunto formado por todas as metricas definidas em M e uma relac
ao de
equivalencia, isto e, satisfaz as seguintes condic
oes:
3. Segue da proposic
ao (3.4.3) que duas metricas em M s
ao equivalentes se, e somente se,
toda bola aberta segundo uma das metricas contenha uma bola aberta, de mesmo centro,
segundo a outra metrica.
98 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
4. Observemos que duas metricas discretas em M s ao sempre equivalentes, pois toda bola
aberta segundo uma ser
a uma bola aberta segunda a outra.
Alem disso, vale observar que se d1 d2 e d1 e uma metrica discreta em M ent
ao, da
proposic
ao (3.4.1) segue que d2 tambem ser
a uma metrica discreta em M .
5. A proposic
ao (3.4.3) item 2. nos garante que se d1 d2 em M ent
ao uma aplicaca
o
f : (M, d1 ) (N, dN )
ser
a contnua em (M, d1 ) se, e somente se,
f : (M, d2 ) (N, dN )
ser
a contnua em (M, d2 ).
Conclusao: se trocarmos a metrica de uma espaco metrica por um outra equivalente a
mesma, estudar a continuiade de uma funcao segundo a primeira metrica e equivalente a
estudar a continuidade da func
ao segundo a outra metrica.
Observa c
ao 3.4.4
No exemplo acima se n = 2 temos garantido que toda bola aberta, segundo a metrica d
(neste caso as bolas sao os interiores dos discos), contem uma bola aberta, segundo a metrica
0
d (neste caso as bolas sao os interiores dos quadrados cujas diagonais s ao paralelas aos eixos
coordenados) que, por sua vez, contem uma bola aberta, segundo a metrica d00 (neste caso as
bolas s
ao os interiores dos quadrados cujos lados s ao paralelos aos eixos coordenados) que, por
fim, contem uma bola aberta, segundo a metrica d (neste caso as bolas s ao os interiores dos
discos).
Geometricamente temos a seguinte configurac ao:
Bd00 (a; r 00 )
Bd (a; r)
Bd0 (a, r 0 )
a
Bd (a; s)
3.4. METRICAS EQUIVALENTES EM UM ESPAC
O METRICO 99
Como conseq
uencia da proposicao (3.4.2) temos o
Corol
ario 3.4.1 Sejam d1 e d2 duas metricas em M tais que existem , > 0 tais que
Ent
ao d1 d2 .
Demonstra
cao:
Denotemos por
(I) (II)
d1 (x, y) d2 (x, y) d1 (x, y), x, y M.
De (I) temos que
1
d1 (x, y) d2 (x, y), x, y M.
Logo, da proposicao (3.4.2), segue que d2 d1 .
Como
d2 (x, y) d1 (x, y), x, y M,
da proposicao (3.4.2), segue que d1 d2 , portanto d1 d2 , como queramos demonstrar.
. d(x, y) .
d1 , d 2 : M M R por d1 (x, y) = , d2 (x, y) = min{1, d(x, y)}, x, y M.
1 + d(x, y)
logo d d1 e d d2 .
Por outro lado, dado > 0 sejam
. .
1 = >0 e 2 = min{1, } > 0.
1+
mostrando que d1 d.
De modo semelhante, se x Bd2 (a; 2 ) temos que
d2 (x, a) < 2 1.
que implicar
a que d(x, a) < , ou seja, dado > 0 existe 2 > 0 tal que
mostrando que d2 d.
Com isto temos que d1 d d2 , como queramos mostrar.
Observa
cao 3.4.5
d(x, y) [d(x,y)1+d(x,y)]
d1 (x, y) = 1, x, y M
1 + d(x, y)
e
d2 (x, y) 1, x, y M.
Conclus
ao: toda metrica em M e equivalente a uma metrica limitada em M .
d(x, y) [x6=y]
d(x, y) = d(x, y)[1 + d(x, y)] d(x, y) = d(x, y) 1, x, y M,
1 + d(x, y)
Temos a
3.4. METRICAS EQUIVALENTES EM UM ESPAC
O METRICO 101
Proposi c
ao 3.4.5 Sejam (M, dM ), (N, dN ) espacos metricos e f : M N bijec
ao. Ent
ao:
f e um homeomorfismo de M em N se, e somente se, a metrica dM e equivalente ` a metrica
d1 em M , induzida pela aplicac
ao f .
Demonstrac
ao:
Definamos
.
f1 : (M, d1 ) (N, dN ) dada por f1 (x) = f (x), x M.
Logo f1 e bijetora de M em N .
Alem disso, temos que f1 e uma isometria de (M, d1 ) em (N, dN ), pois
.
d1 (x, y) = dN (f (x), f (y)), x, y M.
Logo um homeomorfismo de M em N .
Assim sua funcao inversa
(f1 )1 : (N, dN ) (M, d1 )
sera contnua em N .
Consideremos as aplicacoes identidades
Entao teremos
iM 1 = (f1 )1 f i1M = f 1 f1 .
(veja diagrama abaixo)
f 1
(M, dM ) - (N, dN )
f
6 3
i1M f11
iM 1
f1
e isometria
? +
(M, d1 )
Logo d1 dM (ou seja, a aplicacao i1M e contnua) se, e somente se, f 1 for contnua.
Por outro lado, dM d1 (ou seja, a aplicac
ao iM 1 e contnua) se, e somente se, f for contnua.
Conclusao: d1 dM se, e somente se, f e um homeomorfismo.
Observa c
ao 3.4.6 Da proposicao acima segue que no exemplo (3.4.1) a metrica induzida em
[0, 2) pela metrica usual de R e a metrica induzida em [0, 2) pela funca
o contnua e bije-
tora f : [0, 2) S 1 n ao sao equivalentes (pois, como vimos no exemplo (3.3.3), f n ao e
homeomorfismo).
1. d1 d2 ;
s
ao contnuas no ponto a;
5. Toda bola aberta segundo a metrica d1 contem uma bola aberta, de mesmo centro, segundo
a metrica d2 e toda bola aberta segundo a metrica d2 contem uma bola aberta, de mesmo
centro, segundo a metrica d1 ;
6. As func
oes d1 : M2 M2 R e d1 : M1 M1 R s ao contnuas em M2 M2 e
M1 M1 , respectivamente (onde nos correspondentes produtos cartesianos consideramos
uma das tres metricas can
onicas).
Demonstra c
ao:
Conseq
uencia da proposicao (3.4.3).
Defini
cao 3.5.1 Sejam E, F espacos vetoriais sobre R.
Diremos que uma aplicacao f : E F e uma transforma
cao linear de E em F se ela
tem as seguintes propriedades:
onde ~x, ~y E, R.
Se na situacao acima F = E (isto e, f : E E) ent
ao a aplicac
ao f ser
a dita operador
linear em E.
Se na situacao acima F = R (isto e, f : E R) ent
ao a aplicac
ao f ser
a dita funcional
linear em E.
Observa
cao 3.5.1
2. Como conseq
uencia de (3.1) e (3.2) temos que
Teorema 3.5.1 Sejam Rn com uma das tres normas usuais e (F, k.kF ) espaco vetorial nor-
mado.
Se f : Rn F e uma transformaca ao f e contnua em Rn .
o linear ent
Demonstra c
ao:
. .
Seja B = {~e1 , ~e2 , , ~en } a base canonica do Rn (ou seja, ~ek = (0, , 0, 1
|{z} , 0, , 0)).
k
esima posica
o
Logo se ~x Rn temos que
para xi R, i = 1, 2, , n.
Como f e uma trasformacao linear temos que
Portanto
Consideremos
.
c = max{kf (~e1 )kF , kf (~e2 )kF , , kf (~en )kF }.
Logo segue de (3.3) que
kf (~x)kF ck~xkRn , ~x Rn ,
Observa c
ao 3.5.2 O resultado acima nos diz que uma transformac ao linear definida em espaco
vetorial normado de dimens ao finita e tomando valores em outro espaco vetorial normado e
sempre contnua.
Isto segue do fato que todo espaco vetorial de dimensao finita e isomorfo a Rn para algum
n N.
O mesmo n ao e verdade se a dimensao do espaco vetorial do domnio n ao for finita, como
mostra o seguinte exemplo.
Exemplo 3.5.1 Seja E o conjunto formado por todos os polin omios reais de uma vari avel real
munido dadas operac oes usuais de adic
ao de func
oes e multiplicac
ao de n
umero real por func
oes.
No curso de Algebra Linear mostra-se que E munido das operac oes acima e um espaco
vetorial sobre R (na verdade e um subespaco vetorial das func
oes reais contnuas de uma variavel
real).
Podemos definir em E a seguinte norma: se p E temos
.
kpkE = sup |p(x)|.
0x1
De fato
Se p, q E e R temos que
1. kpkE = sup |p(x)| 0 e kpkE = 0 se, e somente se, sup |p(x)| = 0, logo |p(x)| = 0
0x1 0x1
para 0 x 1 que e equivalente a p(x) = 0 para todo x [0, 1];
Mas p(x) = a0 + a1 x + + an xn , x R e como 0 = p(0) = a)0 , 0 = p0 (0) = a1 ,
0 = p00 (0) = 2a2 , , 0 = p(n) (0) = n!an , segue que ak = 0 para k = 0, , n, mostrando
que p(x) = 0 para todo x R;
[|p(x)+q(x)|leq|p(x)|+|q(x)|]
3. kp + qkE = sup |p(x) + q(x)| sup |p(x)| + sup |q(x)| = kpkE +
0x1 0x1 0x1
kqkE ,
mostrando que k.kE e uma norma em E.
Consideremos f : E R dada por
.
f (p) = p(2), p E.
Ser
a deixado para o leitor verificar que f e um funcional linear definido em E.
De fato se p, q E e R temos que
17.11.2008 - 26.a
Provinha
24.11.2008 - 27.a
Em geral temos o seguinte resultado importante:
Teorema 3.5.2 Sejam (E, k.kE ) e (F, k.kF ) espacos vetoriais e f : E F uma transformac
ao
linear.
S
ao equivalentes:
1. f e contnua em E;
2. f e contnua em ~0 E;
Demonstrac
ao:
Mostraremos que o diagram abaixo ocorre:
1. - 2.
6
?
4. 3.
A implicac
ao (1. 2.) e trivial;
Mostremos que (2. 3.):
Como f e contnua em ~0 E e f (~0) = ~0 (pois f e uma transformac
ao linear) tomando-se
= 1 > 0 existira > 0 tal que
1
Seja c > 0 tal que 0 < < .
c
Se ~x = ~0 entao teremos
1
Se ~x 6= ~0 entao ~x E e um vetor que satisfaz
ck~xkE
1 1 1
k ~xkE = k~xkE = < .
ck~xkE ck~xkE c
[f
e linear] ()
kf (~x) f (~y )kF = kf (~x ~y )kF ck~x ~y kF ,
Corol ario 3.5.1 Sejam (E, k.kE ) e (F, k.kF ) espacos vetoriais e f : E F uma transformac
ao
linear bijetora.
f e um homeomorfismo de E em F se, e somente se, existem c, C > 0 tais que
Demonstra c
ao:
Lembremos que se f : E F e uma transformac ao linear bijetora ent
ao sua func
ao inversa
1
f : F E tambem sera uma transformac ao linear (bijetora).
Da proposicao acima temos que a condic
ao:
kf (~x)kF C k~xkE , ~x E
Exemplo 3.5.2 Consideremos R o conjunto formado por todas as seq uencias de n umeros
reais, ~x = (xn )nN , tal, no m
aximo, um n
umero finito de coordenadas xn e nao nula, isto e,
Podemos mostrar (sera deixado como exerccio para o leitor) que R e um espaco veto-
rial sobre R munido das operacoes de adic
ao de seq
uencias e multiplicac
ao de n
umero real por
sequencias.
Consideremos em R a seguinte norma (cuja verificac ao ser
a deixada como exerccio do
leitor): se ~x R temos que
v
q uX
. u
k~xkE = x1 + x2 + + xn + = t
2 2 2 |xj |2
j=1
X
.
< ~x, ~y >E = x1 .y1 + x2 .y2 + + xn .yn + = xj .yj .
j=1
Observemos que ambas as series acima reduzem-se a somas finitas (pois as seq
uencias s
ao
nulas, exceto para um n
umero finito de termos).
Definamos
f : R R
por
. x1 x2 xn
f (~x) = f (x1 , x2 , , xn , ) = ( , , , , ), ~x = (x1 , x2 , , xn , ) R .
1 2 n
Observemos que f e um operador linear (ser
a deixado como exerccio para o leitor) e
xj
X
X [|
||xj |] X
xj j
kf (~x)k2R = 2
|f (xj )| = | |2 |xj |2 = k~xk2R ,
j
j=1 j=1 j=1
se ~x R , ou seja,
kf (~x)kR k~xkR , ~x E.
Logo do teorema (3.5.2) segue que f e contnua em R .
108 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Em particular,
kf 1 (~en )kR = n2 n = n.k~en kR .
Fazendo n segue, do teorema (3.5.2) item 3., que f 1 n
ao ser
a contnua.
Temos a
Defini
cao 3.5.2 Sejam E1 , E2 , , En , F espacos vetoriais sobre R.
Diremos que uma aplicac ao
f : E1 E2 En F
f (~x1 , , ~xj1 , ~xj +~yj , ~xj+1 , , ~xn ) = f (~x1 , , ~xj1 , ~xj , ~xj+1 , , ~xn )+f (~x1 , , ~xj1 , ~yj , ~xj+1 , , ~xn )
e
f (~x1 , , ~xj1 , ~xj , ~xj+1 , , ~xn ) = f (~x1 , , ~xj1 , ~xj , ~xj+1 , , ~xn ),
onde (~x1 , , ~xj1 , ~xj , ~xj+1 , , ~xn ), (~x1 , , ~xj1 , ~yj , ~xj+1 , , ~xn ) E1 Ej En
e R,
Observa
cao 3.5.3
f : E1 E2 En F
e n-linear.
ao se ~xj = ~0 Ej para algum j {1, 2, , n} ent
Ent ao
isto e,
f (~x1 , , ~xj1 , ~0, ~xj+1 , , ~xn ) = ~0,
3.5. TRANSFORMAC
OES LINEARES E MULTILINEARES DEFINIDAS EM ESPAC
OS VETORIAIS NORMADO
De fato, pois
f (~x1 , , ~xj1 , ~xj , ~xj+1 , , ~xn ) = f (~x1 , , ~xj1 , ~0, ~xj+1 , , ~xn )
= f (~x1 , , ~xj1 , 0.~0, ~xj+1 , , ~xn )
[f
e n-linear]
= 0.f (~x1 , , ~xj1 , ~0, ~xj+1 , , ~xn )
= 0,
ou seja,
f (~x1 , , ~xj1 , ~0, ~xj+1 , , ~xn ) = ~0.
2. Na situac
ao acima se n = 2 ent
ao
f : E1 E2 F
ser
a dita bilinear e e caracterizada pelas seguintes propriedades:
e uma aplicaca
o bilinear.
A verificac
ao deste fato e simples e ser
a deixada como exerccio para o leitor.
e uma aplicaca
o bilinear.
A verificac
ao deste fato e simples e ser
a deixada como exerccio para o leitor.
110 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Exemplo 3.5.5 Seja Rm espaco vetorial sobre R com as operac oes usuais de adic
ao de m-uplas
e multiplicac
ao de n umero real por m-upla.
A aplicacao
m m .
,
det : R
|
{z R } R, det(~
x 1 , , ~
x m ) = ~
x 1 ~
x m
mfatores
m
para (~x1 , , ~xm ) R Rm}, onde det denota o determinante da matriz quadrada obtida
| {z
mfatores
colocando-se na j-esima coluna da matriz as coordenadas do vetor ~xj , j {1, , m} (matriz
das coordendas do vetor ~xj e da forma (xij )1im , j {1, , m} ).
A func
ao determinante tem a seguinte propriedade:
det(~x1 , , ~xj1 , ~xj + ~yj , ~xj+1 ~xm ) = det(~x1 , , ~xj1 , ~xj , ~xj+1 ~xm )
+ det(~x1 , , ~xj1 , ~yj , ~xj+1 ~xm ),
m
para (~x1 , , ~xj1 , ~xj , ~xj+1 ~xm ), (~x1 , , ~xj1 , ~yj , ~xj+1 ~xm ) R Rm} e R.
| {z
mfatores
A demonstrac
ao deste fato e vista no curso de Algebra Linear.
Logo, da relac
ao acima, segue que a aplicacao
m
det : R Rm} R
| {z
mfatores
e m-linear.
Proposic
ao 3.5.1 Sejam (E, k.kE ), (F, k.kF ), (G, k.kG ) espacos vetoriais sobre R normados,
E F com uma das tres normas usuais e f : E F G e bilinear.
S
ao equivalentes:
1. f e contnua em E F ;
4. f e uma aplicac
ao lischitziana em cada subconjunto limitado de E F .
Demonstrac
ao:
Mostraremos que o seguinte diagrama ocorre:
1. - 2.
6
?
4. 3.
3.5. TRANSFORMAC
OES LINEARES E MULTILINEARES DEFINIDAS EM ESPAC
OS VETORIAIS NORMADO
(para os outros dois casos utilizamos o fato que as tres normas usuais sao equivalentes).
Se f e contnua em (~0E , ~0F ) EF ent
ao, como f (~0E , ~0F ) = ~0G segue, tomando-se = 1 > 0
existira > 0 tal que
. 4
Seja c = 2 > 0.
Se (~x, ~y ) E F e ~x = ~0E ou ~y = ~0F ent
ao temos que f (~x, ~y ) = ~0G logo para
.
~ = .
~ =
X ~x E, Y ~y F,
4k~xkE 4k~y kF
satisfazem
~ E =k
kXk ~xkE = k~xkE = < ,
4k~xkE 4k~xkE 4 2
~ kF = k ~y kF = k~y kF = < ,
kY
4k~y kF 4k~y kF 4 2
assim
~ E + kY
kXk ~ kF < .
~ Y~ )kG = kf ( [f bilinear]
1 kf (X, ~x, ~y )kG = k f (~x, ~y )kG
4k~xkE 4k~y kE 4k~xkE 4k~y kE
= kf (~x, ~y )kG ,
4k~xkE 4k~y kE
ou seja,
16
kf (~x, ~y )kG k~xkE k~y kF , (~x, ~y ) E F,
2
|{z}
=c
. .
Se ~z = (~x, ~y ), ~z 0 = (~x 0 , ~y 0 ) B[(~0E , ~0F ); r] ent
ao
kf (~z) f (~z 0 ) = kf (~x, ~y ) f (~x 0 , ~y 0 )kG = kf (~x, ~y ) f (~x, ~y 0 ) + f (~x, ~y 0 ) f (~x 0 , ~y 0 )kG
[f biliear]
= kf (~x, ~y ~y 0 ) + f (~x ~x 0 , ~y 0 )kG kf (~x, ~y ~y 0 )kG + kf (~x ~x 0 , ~y 0 )kG
[3.] [k~ y 0 kF r]
xke ,k~
0 0 0
ck~xkE k~y ~y kG + ck~x ~x kE k~y kG crk~y ~y 0 kG + crk~x ~x 0 kE
= cr[k~y ~y 0 kG + k~x ~x 0 kE ] = crk~z ~z0 kEF ,
Corol ario 3.5.2 Sejam (E1 , k.k1 ), (E2 , k.k2 ), , (En , k.kn ), (F, k.kF ) espacos vetoriais sobre R
normados, E1 En munido de uma das tres normas usuais e f : E1 En F e
n-linear.
S
ao equivalentes:
1. f e contnua em E1 En ;
4. f e uma aplicac
ao lischitziana em cada subconjunto limitado de E1 En .
Demonstra c
ao:
Sera deixada como exerccio para o leitor.
Como conseq
uencia temos o:
Corolario 3.5.3 Seja (F, k.kF ) um espaco vetorial sobre R normado e Rj espaco vetorial sobre
R munido de uma das tres normas usuais, j = m, n.
Se f : Rm Rn F e uma aplicacao bilinear entao f e contnua em Rm Rn .
Demonstra c ao:
Consideraremos a norma da soma em Rm , Rn (para as outras duas podemos utilizar o fato
que as respectivas normas sao equivalentes `as respectivas norma da soma).
. .
De fato, sejam Bm = {e~1 , , e~m } e Bn = {f~1 , , f~n } as bases canonicas de Rm e Rn ,
respectivamente.
Dado (~x, ~y ) Rm Rn temos que existem x1 , xm R e y1 , yn R tais que
m
X n
X
x= xi e~i , e y= yj f~j .
i=1 j=1
Seja
.
ei , f~j ) : i = 1, , m, j = 1, , n} 0. ()
c = max{f (~
Observemos que
m
X n
X
k~xkRm = |xi | e k~y kRn = |yj |,
i=1 j=1
assim
m X
X n m X
X n
kf (~x, ~y )kF = k ei , f~j )kF
xi yj f (~ ei , f~j )kF
|xi ||yj | kf (~
i=1 j=1 i=1 j=1
[()] Xm X n m
X Xn
|xi ||yj |c = c[ |xi |][ |yj |] = ck~xkRm k~y kRn ,
i=1 j=1 i=1 j=1
24.11.2008
Provinha
1.12.2008
2.a Prova
8.12.2008
Prova Substitutiva
114 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS
Captulo 4
Bibliografia
115