Anda di halaman 1dari 115

Notas do Curso de SLC-533 - Topologia

Prof. Wagner Vieira Leite Nunes

Sao Carlos 2.o semestre de 2008


2
Sum
ario

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

4.08.2008 - 1.a e 2.a

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;

(d3) d(x, y) = d(y, x) para todo x, y M ;

(d4) d(x, z) d(x, y) + d(y, z), para todo x, y, z M .

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.

2. (d3) nos diz que d(x, y) e um funca


o simetrica nas vari
aveis x e y.

3. (d4) e conhecida como desigualdade triangular.


Este nome se deve ao fato que, na geometria euclideana, o comprimento de um lado de um
tri
angulo e sempre menor que a soma dos comprimentos dos outros dois lados do tri
angulo.

7
8 CAPITULO 2. ESPAC
OS METRICOS

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


z

Com isto temos a:

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 .

A seguir daremos alguns exemplos de espacos metricos.

Exemplo 2.1.1 Seja M um conjunto n ao vazio.


Consideremos a aplicac
ao d : M M R dada por
(
0, se x = y
d(x, y) = .
1, se x 6= y

Afirmamos que d e uma metrica em M .


Mostremos que (d1) ocorre:
Da definic
ao de d temos que d(x, x) = 0, mostrando que (d1) se verifica.
Mostremos que (d2) ocorre:
Se x 6= y, da definic
ao de d temos que d(x, y) = 1 > 0, mostrando que (d2) se verifica.
Mostremos que (d3) ocorre:
Se x = y, da definicao de d temos que d(x, y) = 0 e d(y, x) = 0, isto e, d(x, y) = d(y, x).
Se x 6= y, da definicao de d temos que d(x, y) = 1 e d(y, x) = 1, isto e, d(x, y) = d(y, x),
mostrando que (d2) se verifica.
Mostremos que (d4) ocorre:
Se x = z entao temos que

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

independente de y M (pois d(x, y), d(y, z) 0).


Se x 6= z ent
ao temos que

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


2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 9

independente de y M (pois se y = z teremos d(x, y) = 0 mas como y = x 6= z segue que


d(y, z) = 1 assim (*) ocorrer
a; de modo semelhante se y = z).
Portanto vale (d4), ou seja, d e uma metrica em M .

Observa
cao 2.1.3 A metrica acima e denominada m
etrica zero-um.

Exemplo 2.1.2 Sejam (M, d) um espaco metrico e S M n ao vazio.


.
Ent ao tomando-se a restric
ao de d sobre S, isto e, d|S : S S R dada por d|S (x, y) =
d(x, y) para x, y S ent
ao segue que d|S e uma metrica em S.
A veririficacao que (d1)-(d4) valem para d|S e imediata (pois se (d1)-(d4) valem em M
continuarao valendo em S).

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 .

Exemplo 2.1.3 Seja M = R e d : R R R dada por


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

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.

Podemos generalizar o exemplo acima, a saber:

Exemplo 2.1.4 Seja M = Rn .


Podemos considerar as seguintes aplicac
oes

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

onde x = (x1 , , xn ), y = (y1 , , yn ) Rn .


oes d, d0 , d00 s
As aplicac ao metricas em Rn .
Mostremos que aplicac ao d satisfaz as condico es (d1)-(d4):
(d1) Temos que
" n #1 " n #1
X 2 X 2
2 2
d(x, x) = (xi xi ) = 0 = 0.
i=1 i=1

(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

(d3) Se x, y Rn temos que


" n #1 " n #1 " n #1
X 2 X 2 X 2
2 2 2 2
d(x, y) = (xi yi ) = [(yi xi )] = (1) (yi xi )
i=1 i=1 i=1
" n #1
X 2

= (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):

(d1) Temos que


n
X n
X
0
d (x, x) = |xi xi | = 0 = 0.
i=1 i=1

(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

(d3) Se x, y Rn temos que


n
X n
X n
X n
X
d0 (x, y) = |xi yi | = | (xi + yi )| = |(1)yi xi | = | 1||xi xi |
i=1 i=1 i=1 i=1
n
X
|yi xi | = d0 (y, x).
i=1

(d4) Sejam x, y, z Rn ent


ao
n
X n
X n
X
0
d (x, y) = |xi yi | = |xi + (zi + zi ) yi )| = |(xi zi ) + (zi yi )|
i=1 i=1 i=1
[|a+b||a|+|b|] n
X n
X n
X
|xi zi | + |zi yi | = |xi zi | + |zi yi | = d0 (x, z) + d0 (z, y).
i=1 i=1 i=1
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 11

Logo d0 e um metrica em Rn .
Mostremos que aplicacao d00 satisfaz as condic
oes (d1)-(d4):

(d1) Temos que


d00 (x, x) = max |xi xi | = max 0 = 0.
1in 1in

(d2) Se x 6= y ent
ao para algum i0 {1, , n} temos que xi0 6= yi0 assim

d00 (x, y) = max |xi xi | |xi0 yi0 | > 0.


1in

(d3) Se x, y Rn temos que

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

(d4) Sejam x, y, z Rn ent


ao

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

Logo d00 e um metrica em Rn .

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

Devido a este fato a metrica d ser etrica usual de Rn .


a dita m

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

d0 (p, q) = d(p, r) + d(r, q)

A metrica d00 nos d


a a dist
ancia entre dois pontos do plano utilizando-se o comprimento
do maior cateto de um tri angulo ret
angulo determinado pelos pontos p e q (vide figura
abaixo).

r
p
-
Y

d00 (p, q) = max{d(p, r), d(r, q)}


2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 13

Geometricamente, temos a seguinte configurac


ao para as tres dist
ancias acima:
q

d(p, q)

?
p
-
d00 (p, q)
d0 (p, q)

9
-

3. Se n = 2 temos o plano R2 cujos elementos ser


ao representados por (x, y) ou (u, v), onde
x, y, u, v R.
4. Em algumas situacoes identificamos R2 com C, o conjunto dos n
umeros complexos por
.
meio da correspondencia (x, y) 7 x + iy, onde i2 = 1.
5. Se n = 3 temos o espaco R2 cujos elementos ser
ao representados por (x, y, z) ou (u, v, w),
onde x, y, z, u, v, w R.
Com isto temos a
Proposi ao 2.1.1 Consideremos d, d0 , d00 as metricas definidas no exemplo (2.1.4).
c
ao, para todo x, y, Rn temos
Ent
d00 (x, y) d(x, y) d0 (x, y) n d00 (x, y).
Demonstra
cao:
Afirmamos que para todo a, b 0 temos que:

a + b a + b ().
De fato, pois

[ a + b]2 = [ a]2 + 2 a b + [ b]2 = a + 2 a b + b a + b.

Portanto a + b a + b como afirmamos.
Observemos que para todo x, y, Rn temos
1
n 2
[|a|= a2 ] p X
00
d (x, y) = max |xi yi | = 2
max (xi yi ) (xj yj )2
= d(x, y),
1in 1in
j=1
1
Xn 2 n q
() X
n
X
[ a2 =|a|]
d(x, y) = (xj yj )2
(xj yj )2 = |xj yj | = d0 (x, y) e
j=1 j=1 j=1
n
X n
X n
X
d0 (x, y) = |xj yj | max {|xj yj |} = max {|xj yj |} 1
1jn 1jn
j=1 j=1 j=1
00
max {|xj yj |}.n = n.d (x, y) (2.1)
1jn
14 CAPITULO 2. ESPAC
OS METRICOS

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

|f (x)| k, para todo x X.

Denotaremos por B(X; R) o conjunto formado por todas as func


oes, f : X R que s
ao
limitadas, isto e,
.
B(X; R) = {f : X R : f e limitada}.

11.08.2008 - 3.a e 4.a


Precisaremos de um conceito e algunes resultados relacionados ao mesmo para o proximo
exemplo.

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.

Neste caso diremos que l e um limitante superior do conjunto A.


De modo semelhante, diremos que o conjunto A e limitado inferiormente em R se existir
m R tal que
m a, para todo a A.
Neste caso diremos que m e um limitante inferior do conjunto 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.

2. Se A = (e, ) entao A e limitado inferiormente em R (por exemplo, m = 3 e um limitante


inferior do conjunto A) e n ao e limitado superiormente 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:

Definicao 2.1.6 Seja A R limitado inferiormente em R.


Diremos que s1 R e o nfimo do conjunto A, denotado por inf A se satisfaz as seguintes
condic
oes:

(i1) s1 e um limitante inferior do conjunto 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).

A seguir daremos um resultado muito util para a caracterizac


ao do supremo e do nfimo de
um subconjunto limitado de R, a saber:

Teorema 2.1.1 Seja A R limitado superiormente em R.


s0 = sup A se, e somente se,

(s1) s0 e um limitante superior do conjunto A;

(s2) dado > 0 existe a A tal que


s0 < a s0 .

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 ,

ou seja, vale (s2).


Por outro lado se (s1) e (s2) ocorrem entao (s1) da definic
ao de supremo ocorrera (pois
(s1)=(s1)).
Precisamos mostrar que (s2) da definic
ao de supremo ocorrera.
Para isto seja s R tal que s < s0 .
Mostraremos que s nao podera ser limitante superior de A e assim s0 sera o menor limitante
superior de A, isto e, s0 = sup A.
.
Consideremos = s0 s > 0.
De (s2) segue que existe a A tal que

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

Teorema 2.1.2 Seja A R limitado inferiormente em R.


s1 = inf A se, e somente se,
(i1) s1 e um limitante inferior do conjunto A;
(i2) dado > 0 existe a A tal que
s1 a < s1 + .

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

Exemplo 2.1.6 Seja A, B R limitado (isto e, limitado superiormente e inferiormente) e


R. Exerccio 1.1.1: +0.5 cada item, exceto 1.
Entao

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

sup(A + B) = sup A + sup B,


inf(A + B) = inf A + inf B.

.
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

sup(A.B) = sup A. sup B,


inf(A.B) = inf A. inf B.

Deixaremos para o leitor provar que as seguintes propriedades para o supremo e o nfimo de
funcoes limitadas tomando valores em R ocorrem:

Exemplo 2.1.7 Se f, g B(X; R) e R temos que +0.5 cada item


18 CAPITULO 2. ESPAC
OS METRICOS

1. f + g B(X; R) (isto e, f + g e uma func


ao limitada em X), f B(X; R) (isto e, f e
uma func
ao limitada em X) e
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

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

inf (f )(x) = sup 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

2. Nos itens 1. e 2. do teorema acima ser


autil mostrarmos primeiramente que se f, g : X
R ent
ao
(f + g)(X) f (X) + g(X)
(f.g)(X) f (X).g(X).

3. Diremos que um conjunto E, n


ao vazio, munido de duas operac
oes:
+:EE E
.:RE E
e um espa
co vetorial sobre R se tem as seguintes propriedades:
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 19

(A1) + e comutativa, isto e,

x + y = y + x, para todo x, y E;

(A2) + e associativa , isto e,

(x + y) + z = x + (y + z), para todo x, y, z E;

(A3) + tem elemento neutro, isto e,

Existe um elemento, indicado por 0, em E tal que x + 0 = x, para todo x E;

(A4) + admite elemento oposto, isto e,

Dado x E existe um elemento, indicado por x em E, denominado oposto de x,


tal que x + (x) = 0;

(M1) Vale a ssociativa da multiplicac


ao de n
umeros reais e ., isto e,

().x = .(.x), para todo x E e , R;

(M2) O n
umero real 1 e elemento neutro ., isto e,

1.x = x, para todo x E;

(D1) Vale a distributiva da . por +, isto e,

.(x + y) = .x + .y, para todo x, y E e R;

(D2) Vale a distributiva de adic


ao de n
umeros reais por ., isto e,

( + ).x = .x + .x, para todo x E e , R.

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

onde f, g B(X; R).


Afirmamos que d e uma metrica em B(X; R).
De fato:

1. Se f B(X; R) ent
ao
d(f, f ) = sup |f (x) f (x)| = 0,
xX

mostrando que vale (d1);


20 CAPITULO 2. ESPAC
OS METRICOS

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

mostrando que vale (d2);

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

mostrando que vale (d3);

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.

Aplicando isto ao lado direito de (*) obteremos

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),

mostrande que (d4) e verdadeira.

completando a prova que d e uma metrica em B(X; R).

Observa
cao 2.1.8

1. A metrica definida no exemplo acima e denominada m


etrica da converg
encia uniforme
ou metrica do sup.
.
2. Para ilustrar, se X = [0, 1],
f, g : [0, 1] R
s
ao dadas por
f (x) = x e g(x) = x2 , x [0, 1]
ent
ao, geometricamente, d(f, g) ser a o comprimento da maior corda vertical unindo os
pontos dos gr
aficos das func
oes f e g (vide figura abaixo).
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 21

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

3. Vale observar que se X = {1, 2, , n} ent


ao toda func
ao f B(X; R) ser
a limitada (pois
|f (x)| max |f (i)|, x X).
1in
.
Logo podenos identificar f com a n-upla (x1 , x2 , , xn ) onde xi = f (i), 1 i n.
Portanto B(X; R) pode ser identificado com Rn .
a a metrica d00 em
Neste caso a metrica d em B(X; R) definida no exemplo acima induzir
n
R , pois

d(f, g) = sup |f (x) g(x)| = max |f (i) g(i)| = max |xi yi | = d00 (x, y),
xX 1in 1in

onde xi = f (i), yi = g(i), i = 1, , n.


Conclus ao: (B(X; R), d) = (Rn , d00 ).
ao, temos a seguinte identificac

Para o proximo exemplo precisaremos da:

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:

(n1) Se x E e tal que x 6= ~0 ent


ao kxk 6= 0;

(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

1. Observemos para todo x E temos que


(n2) (n2)
k~0k = k0.xk = |0|kxk = 0 e k xk = k(1).xk = | 1|kxk = kxk ().

2. Se x E temos
(n3) ()
0 = kx + (x)k kxk + k xk = kxk + kxk = 2kxk.

Logo kxk 0, para todo x E.


22 CAPITULO 2. ESPAC
OS METRICOS

3. Segue de (n1) e do item 2. acima segue que se x E, x 6= ~0 ent


ao kxk > 0.

Com isto temos a

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.

A seguir exibiremos alguns exemplos de espacos vetoriais normados.

Exemplo 2.1.9 Consideremos em Rn as seguintes func


oes k.k, k.k0 , k.k00 : Rn R dadas por
v
u n n
. u X X
t 0 . .
kxk = 2
xi , kxk = |xi |, kxk00 = max |xi |,
1in
i=1 i=1

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:

(n1) Para x Rn , x 6= ~0 temos que xi0 6= 0 para algum i0 {1, , n} assim


v
u n
uX [x2i0 0]
kxk = t x2i > 0,
i=1

em particular, kxk 6= 0.

(n2) Para x Rn e R temos


v v v
u n u n u n
uX uX u X
k xk = t 2
( xi ) = t 2 2 t
xi = 2 x2i
i=1 i=1 i=1
v v
u n u n
uX 2
[ =||] uX
= t
2 x2 i = ||t x2i = ||kxk.
i=1 i=1

(n3) Ser
a verificada no exemplo (2.1.14),

mostrando que k.k e uma norma em Rn .


De modo semelhante temos que k.k0 satisfaz:

(n1) Para x Rn , x 6= ~0 temos que xi0 6= 0 para algum i0 {1, , n} assim


n
X [x2i 0]
0 0
kxk = |xi | > 0,
i=1

em particular, kxk0 6= 0.

(n2) Para x Rn e R temos


n
X n
X n
X
0
k xk = | xi | = |||xi | = || |xi | = || kxk0 .
i=1 i=1 i=1
2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 23

(n3) Para x, y Rn temos


n
X [|xi +yi ||xi |+|yi |] n
X
kx + yk = |xi + yi | [|xi | + |yi |] = kxk00 + kyk0 ,
i=1 i=1

mostrando que k.k0 e uma norma em Rn .


Finalmente k.k00 satisfaz:

(n1) Para x Rn , x 6= ~0 temos que xi0 6= 0 para algum i0 {1, , n} assim

[x2i >0]
0
kxk00 = max |xi | > 0,
i=1, ,n

em particular, kxk00 6= 0.

(n2) Para x Rn e R temos

k xk00 = max | xi | = max [|||xi |] = || max |xi | = || kxk00 .


i=1, ,n i=1, ,n i=1, ,n

(n3) Para x, y Rn temos

[|xi +yi ||xi |+|yi |]


kx + yk00 = max |xi + yi | max [|xi | + |yi |] max |xi | + max |yi |
i=1, ,n i=1, ,n i=1, ,n i=1, ,n
00 00
= kxk + kyk .

mostrando que k.k00 e uma norma em Rn .

18.08.2008 - 5.a e 6.a


Outro exemplo importante e

Exemplo 2.1.10 No exemplo (2.1.8) acima podemos considerar a func


ao k.k : B(X; R) R
dada por
.
kf k = sup |f (x)|, f B(X; R).
xX

Mostremos que k.k satisfaz (n1)-(n3):

(n1) Se f B(X; R) e f 6= 0 (ou seja, n


ao e a func
ao identicamente nula) ent
ao existe x0 X
tal que f (x0 ) 6= 0, assim
kf k = sup |f (x)| |f (x0 )| > 0,
xX

em particular, kf k 6= 0.

(n2) Se f B(X; R) e R temos

[Exemplo (2.1.7) item 2.]


kf k = sup |f (x)| = sup [|||f (x)|] = || sup |f (x)| = |kf k.
xX xX xX
24 CAPITULO 2. ESPAC
OS METRICOS

(n3) Se f, g B(X; R) temos

[|f (x)+g(x)||f (x)|+|g(x)|]


kf + gk = sup |(f + g)(x)| = sup |f (x) + g(x)| sup [|f (x)| + |g(x)|]
xX xX xX
[Exemplo (2.1.7) item 1.]
sup |f (x)| + sup |g(x)| = kf k + kgk,
xX xX

mostrando que k.k e uma norma em B(X; R).


Tal norma sera denomiada de norma da converg
encia uniforme (ou do sup) em
B(X; R).

Podemos agora obter uma colecao de exemplos de espacos metricos, a saber:

Exemplo 2.1.11 Seja (E, k.k) um espaco vetorial normado.


Consideremos a func
oes
d:EE R
dada por
.
d(x, y) = kx yk, x, y, E.
Afirmamos que d e um metrica em E.
De fato:

1.
[Observaca
o (2.1.9) item 1.]
d(x, x) = kx xk = k~0k = 0,
ou seja, vale (d1);

2. Se x 6= y temos que x y 6= ~0, logo

[observaca
o (2.1.9) item 3.]
d(x, y) = kx yk > 0,

ou seja, vale (d2);

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),

ou seja, vale (d3);

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),

ou seja, vale (d4).


Portanto d e um metrica em E e assim (E, d) e um espaco metrico.

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

definida em B(X; R) (onde a norma k.k e a do exemplo (2.1.7)) e proveniente da norma


da convergencia uniforme.

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.

3. Observemos tambem que se (E, k.k) e um espaco vetorial normado ent


ao para todo x E
~ ~
temos d(x, 0) = kx 0k = kxk, isto e, a norma do vetor x E e a distancia do ponto
xE ` a origem 0 E.

Para considerar uma outra classe de exemplos precisaremos da

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:

(p1) Para x, x0 , y E temos

< x + x0 , y >=< x, y > + < x0 , y >;

(p2) Para x, y E e R temos

< x, y >= < x, y >;

(p3) Para x, y E temos


< x, y >=< y, x >;

(p4) Para x E, x 6= ~0 temos


< x, x >> 0.
26 CAPITULO 2. ESPAC
OS METRICOS

Neste caso diremos que (E, < ., . >) e um espa


co com produto interno (ou escalar).

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.

A seguir exibiremos alguns exemplos de espacos com produto interno:

Exemplo 2.1.12 Seja E = Rn e definamos

< ., . >: 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 .

Outro exemplo importante e:

Exemplo 2.1.13 Seja C([a, b]; R) = {f : [a, b] R; f contnua em [a, b]}.


Pode-se mostrar que C([a, b]; R) munido das operac oes usuais de adic
ao de func oes e multi-
plicac
ao de n
umero real por func
ao e um espaco vetorial.
Para isto basta mostrar que C([a, b]; R) e um subsepaco vetorial de B([a, b]; R) (ser
a deixado
como exerccio para o leitor; lembremos que se f e contnua em [a, b] ent
ao f ser a limitada).
Considere a seguinte funcao

< ., . >: C([a, b]; R) C([a, b]; R) R

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,

isto e, vale (n2);

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

| < x, y > | kxk kyk.

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,

(isto e, os vetores em quest


ao s
ao ortogonais).
Logo

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.

4. Utilizando a Deisgualdade de Cauchy-Schwarz temos que

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).

Com isto temos que k.k e uma norma em E.

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).

3. Pergunta-se: Seja E um espaco vetorial. Toda norma de E provem de um produto interno?


A resposta e negativa, isto e, existem espacos vetoriais que possuem normas que n
ao
provem de um produto interno.
No exerccio 5 da 1.a lista de exerccios o leitor e convidado a mostrar que em B(X; R) a
norma da convergencia uniforme n ao provem de um produto interno.
Um outro exemplo pode ser obtido utlizando-se o item abaixo.

4. Como exerccio para o leitor temos o: Exerccio 1.1.3: +0.5


Seja (E, k.k) um espaco vetorial normado.
A norma k.k provem de um produto interno se, e somente se, temos que

kx + yk2 + kx yk2 = 2[kxk2 + kyk2 ],

que e conhecida como lei do paralelogramo.

5. Logo a norma k.k0 em R2 n ao provem de um produto interno pois tomando-se x = (1, 0) e


y = (0, 1) temos que estes vetores nao satisfazem a lei do paralelogramo (verifique!).

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).

Para concluir a secao temos o:


2.1. DEFINIC
OES
BASICAS E EXEMPLOS DE ESPAC
OS METRICOS 29

Exemplo 2.1.15 Sejam (M, dM ) e (N, dN ) dois espacos metricos.


Em M N podemos considerar as seguinte funcoes

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 )},

onde z = (x, y), z 0 = (x0 , y 0 ) M N .


a deixado como exerccio para o leitor mostrar que d, d0 , d00 s
Ser ao metricas em M N .

Observa
cao 2.1.14

1. Podemos generalizar o exemplo acima para um produto finito de espacos metricos.


Mais precisamente, se (M1 , d1 ), (M2 , d2 ), , (Mn , dn ) s
ao n-espacos metricos ent
ao pode-
mos definir as seguintes metricas (ser a deixado como exerccio para o leitor) no produto
cartesiano M1 M2 Mn :

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

onde x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) M1 M2 Mn .


.
2. A metrica d definida acima ser a dita m
etrica produto em M = M1 M2 Mn .
.
A metrica d0 definida acima sera dita m
etrica da soma em M = M1 M2 Mn .
.
A metrica d00 definida acima ser
a dita m
etrica do m
aximo em M = M1 M2 Mn .

3. De modo an alogo ao feito na proposica


o (2.1.1) pode-se mostrar (sera deixado como ex-
erccio para o leitor) que para todo x, y, M1 M2 Mn temos

d00 (x, y) d(x, y) d0 (x, y) n d00 (x, y).

4. Quando M1 = M2 = = Mn = R reobteremos o espaco euclideano Rn como produto


cartesiano de n c
opias do espcao metrico R.

25.08.2008 - 7.a e 8.a


30 CAPITULO 2. ESPAC
OS METRICOS

2.2 Bolas abertas, bolas fechadas e esferas em espacos m


etricos
Comecaremos introduzindo a:
Definic
ao 2.2.1 Seja (M, d) um espaco metrico, a M e r > 0.
Definimos a bola aberta de centro em a e raio r, denotada por B(a; r) como sendo o
seguinte subconjunto de M :
.
B(a; r) = {x M : d(x, a) < r}.
Definimos a bola fechada de centro em a e raio r, denotada por B[a; r] como sendo o
seguinte subconjunto de M :
.
B[a; r] = {x M : d(x, a) r}.
Definimos a esfera de centro em a e raio r, denotada por S(a; r) como sendo o seguinte
subconjunto de M :
.
S(a; r) = {x M : d(x, a) = r}.
Observa
cao 2.2.1
1. A bola aberta de centro em a e raio r e o conjunto dos pontos de M cuja a dist
ancia ao
ponto a e menor do que r.
A bola fechada de centro em a e raio r e o conjunto dos pontos de M cuja a dist
ancia ao
ponto a e menor ou igual do que r.
A esfera aberta de centro em a e raio r e o conjunto dos pontos de M cuja a dist
ancia ao
ponto a e igual r.
f
2. E acil ver que
B[a; r] = B(a; r) S(a; r),
onde a reuni
ao e disjunta, isto e,
B(a; r) S(a; r) = .

3. Se M = E e um espaco vetorial e a metrica d provem de uma norma k.k (isto e, d(~x, ~y ) =


k~x ~y k, ~x, ~y E) ent
ao segue que
.
B(~a; r) = {~x E : k~x ~ak < r},
.
B[~a; r] = {~x E : k~x ~ak r},
.
S(~a; r) = {~x E : k~x ~ak = r}.

Temos o seguinte resultado:


Proposic
ao 2.2.1 Sejam (M, d) um espaco metrico, X M um subsepaco (metrico) de M ,
a X e r > 0.
Denotemos por BX (a; r) a bola aberta de centro em a e raio r em X.
Ent
ao
BX (a; r) = B(a; r) X,
onde B(a; r) e a bola aberta de centro em a e raio r em M .
Reciprocamente, dada a bola aberta de centro em a e raio r em M ent
ao B(a; r) X e a bola
aberta de centro em a e raio r em X, ou seja,
B(a; r) X = BX (a; r).
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 31

Demonstrac
ao:
Observemos que

BX (a; r) = {x X : dX (x, a) < r} = {y M : d(y, a) < r} X = B(a : r) X,

completando deste modo a demonstracao do resultado.



De modo semelhante podemos provar a:

Proposi cao 2.2.2 Sejam (M, d) um espaco metrico, X M um subsepaco (metrico) de M ,


a X e r > 0.
Denotemos por BX [a; r] e SX (a; r) a bola fechada e esfera de centro em a e raio r em X,
respectivamente.
Entao
BX [a; r] = B[a; r] X, SX [a; r] = S(a; r) X

onde B[a; r], S(a; r) s


ao a bola fechada e a esfera de centro em a e raio r em M , respectivamente.
Reciprocamente, dada a bola fechada, ou a esfera, de centro em a e raio r em M ent ao
B[a; r] X, ou S(a; r) X e a bola fechada, ou a esfera, de centro em a e raio r em X,
respectivamente ou seja,

B[a; r] X = BX [a; r], S(a; r) X = SX [a; r].

Demonstra
cao:
A demonstracao sera deixada como exerccio para o leitor.

Para ilustrar temos os seguintes exemplos:

Exemplo 2.2.1 Consideremos R2 com a metrica usual e X = S 1 = {(x, y) R2 : x2 + y 2 = 1}.


Seja ~a S 1 e r > 0.
Da proposicao (2.2.1) segue que BS 1 (~a; r) ser
a um arco (sem os extremos) da circunferencia
1
S cujo ponto medio ser a ~a (vide figura abaixo).

y
~
BS 1 (~
a; r)
6

6
? r BR2 (~
a : r)
S1 - 9
~
a

- ~
x
32 CAPITULO 2. ESPAC
OS METRICOS

De modo semelhante, da proposic ao (2.2.2) segue que BS 1 [~a; r], SS 1 (~a; r) s


ao o arco (com os
extremos) da circunferencia S 1 cujo ponto medio ser
a o ~a e os pontos extremos do mesmo arco,
respectivamente (vide figura abaixo).

y
~
BS 1 [~
a; r]
6
6
* ? r BR2 [~
a : r]
S1 - 9
~
a
SS 1 (~
a; r)

- ~
x

Exemplo 2.2.2 Sejam M 6= munido da metrica zero-um, a X e r > 0.


Ent
ao

[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

S(a, r) = B[a; r] \ B(a; r) = , se r 6= 1, S(a; 1) = B[a; 1] \ B(a; 1) = M {a}.

Exemplo 2.2.3 Sejam R com a metrica usual, a R e r > 0.


Ent
ao:

B(a; r) = {x M : d(x, a) < r} = {x M : |x a| < r} = (a r, a + r), ou seja, um intervalo aberto,


B[a; r] = {x M : d(x, a) r} = {x M : |x a| r} = [a r, a + r], ou seja, um intervalo fechado;
S(a, r) = B[a; r] \ B(a; r) = {a r, a + r}, ou seja, os extremos do intervalo.

Geometricamente temos:
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 33

Bola aberta de centro em a e raio r

-
ar a
a+r

Bola fechada de centro em a e raio r

-
ar a a+r

Esfera de centro em a e raio r


a
-
ar a+r

Exemplo 2.2.4 Consideremos em R2 as metricas d, d0 , d00 definidas no exemplo (2.1.4).


Sejam ~a = (a1 , a2 ) R2 e r > 0. Ent ao:
p
B(~a; r) = {(x, y) R2 : d[(x, y), (a1 , a2 )] < r} = {(x, y) R2 : (x a1 )2 + (y a2 )2 < r}
= {(x, y) R2 : (x a1 )2 + (y a2 )2 < r2 },
isto e, a regi
ao interior de um crculo de centro no ponto a e raio r (veja figura abaixo).

3
r

~
a = (a1 , a2 )

B 0 (~a; r) = {(x, y) R2 : d0 [(x, y), (a1 , a2 )] < r} = {(x, y) R2 : |x a1 | + |y a2 | < r}


isto e, a regi
ao interior do losango de centro em a e cujas diagonais
s
ao paralelas aos eixos coordenados (veja figura abaixo).

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,

r > d(f, g) = sup |f (x) g(x)|


x[a,b]

que implicar
a
|f (x) g(x)| < r
2.2. BOLAS ABERTAS, BOLAS FECHADAS E ESFERAS EM ESPAC
OS METRICOS 35

para todo x [a, b], ou ainda,


f (x) r < g(x) < f (x) + r
para cada x [a, b].
Geometricamente podemos interpretar isso da seguinte forma: encontremos a representac
ao
gr
afica do gr
afico de f , isto e,
.
G(f ) = {(x, f (x)) : x [a, b]}.
Encontremos a faixa de amplitude 2r em torno do gr afico de f , isto e, o conjunto
.
F2r (f ) = {(x, y) : a x b, f (x) r < y < f (x) + r}.
Geometricamente temos:
F2r (f )

6
6
r

f (x)
G(f )
?
r 6

-
x

Deste modo, se g B(f ; r) ent ao o grafico de g estar


a contido na faixa de amplitude 2r em
torno do gr
afico de f , isto e, G(g) F2r (f ).
Geometricamente temos

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 )

Exemplo 2.2.6 Seja


.
M = {~z = (x, y) R2 : k~zk 1}
subespaco (metrico) de R2 munido da metrica usual.
Logo se r > 1 temos que
BM (~0; r) = BM [~0; r] = M
e assim
SM (~0; r) = .
.
Exemplo 2.2.7 Sejam (M1 , d1 ), (Mn , dn ) espacos metricos e M = M1 Mn munido da
aximo (isto e, d00 da observac
metrica do m ao (2.1.14) itens 1. e 2.).
Sejam a = (a1 , , an ) M e r > 0.
Entao

B(a; r) = {x M : d00 (x, a) < r} = {(x1 , , xn ) M1 Mn : max di (xi , ai ) < r}


1in
= {(x1 , , xn ) M1 Mn : di (xi , ai ) < r, para todo i = i, , n}
= {x1 M1 : d1 (x1 , a1 ) < r} {xn Mn : dn (xn , an ) < r}
= BM1 (a1 ; r) BMn (an ; r)

De modo semelhante (exerccio para o leitor) temos

B[a; r] = BM1 [a1 ; r] BMn [an ; r]

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 .

2. Se considerarmos R3 como sendo o produto cartesiano de R2 R onde R2 e R est ao


munidos das correspondentes metricas euclieanas e tormarmos em R3 = R2 R a metrica
.
d[(x, t), (x0 , t0 )] = max{dR2 (x, x0 ), dR (t, t0 )},

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.

1.09.2008 - 9.a e 10.a


Temos a

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.

2. Um ponto a M n ao e ponto isolado de M se toda bola aberta centrada em a contem,


pelo menos, um ponto de M diferente do ponto a, isto e, para todo r > 0 temos

[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 .

Exemplo 2.2.10 Seja E um espaco vetorial normado com E 6= {~0}.


Afirmamos que nenhum ponto de E e ponto isolado de E.
De fato, dado ~a E, para todo r > 0, mostremos que B(~a; r) \ {~a} 6= .
Para mostrar isso, consideremos ~y E, ~y 6= ~0.
Logo o vetor
. r
~z = ~y
2k~y k
e diferente do vetor ~0 e
r r r
k~zk = k ~y k = k~y k = ,
2k~y k 2k~y k 2
logo 0 < k~zk < r.
.
Seja ~x = ~a + ~z.
ao ~x 6= ~a (pois ~z 6= ~0) e
Ent
k~x ~ak = k~zk < r,
ou seja,
~x B(~a; r)
e ~x 6= ~a, mostrando que
~x B(~a; r) \ {~a},
isto e,
B(~a; r) \ {~a} 6= .
Portanto todo ponto de E n
ao e ponto isoldado de E.
Geometricamente temos:

. 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.

Exemplo 2.2.13 Seja M um conjunto n ao vazio e d a metrica zero-um em M .


Ent
ao (M, d) e um espaco metrico discreto, pois se a M ent ao para 0 < r 1 temos, do
exemplo (2.2.2), que B(a; r) = {a}, ou seja todo ponto de M e ponto isolado de M , portanto M
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}.

Exemplo 2.2.14 Seja (M, d) um espaco metrico e X um subconjunto finito de M .


Deixaremos como exerccio para o leitor mostrar que X e um subconjunto discreto de M .

Para finalizar a secao temos a:

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] = .

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.

2.3 Subconjuntos limitados de um espacos m


etricos
Iniciaremos com a

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,

diam(X) = sup{a R : d(x, y) a, para todo x, y X}.

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.

2. Se X M for limitado ent


ao

d(x, y) diam(X), para todo x, y, X.

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

Consideremos alguns exemplos

Exemplo 2.3.1 Sejam (M, d) um espaco metrico.


Ent
ao toda bola aberta (ou fechada; ou esfera) e subconjunto limitado de M e seu di
ametro
e menor ou igual ao dobro do seu raio.
De fato, seja a M e r > 0.
Se x, y B(a; r) ent
ao

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

mostrando que B(a; r) e um subconjunto limitado de M .


Alem disso segue que 2r e um limitante superior do conjunto

{a R : d(x, y) a, para todo x, y B(a; r)}.

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).

Observa cao 2.3.3 Em geral, n ao podemos garantir que o di


ametro da bola aberta (ou fechada,
ou esfera) seja igual ao dobro do seu raio, como mostra o seguinte exemplo:
Consideremos Z com a metrica usual induzida de R, r = 1 e n Z.
Como vimos no exemplo (2.2.8) temos que B(n; 1) = {n} cujo di ametro e zero (que e menor
que 2).
Quando vale a igualdade?
O exemplo a seguir responde esta quest ao:

Exemplo 2.3.2 Seja E um espaco vetorial normado tal que E 6= {~0}.


Afirmamos que toda bola aberta (ou fechada, ou esfera) tem di ametro igual ao dobro do raio
da mesma.
De fato, sejam ~a E e r > 0.
Sabemos que B(~a; r) e um subconjunto limitado de E e que diam[B(~a; r)] 2r.
Mostremos que se s < 2r ent ao s n ao poder
a ser pode ser di
ametro de B(~a; r), ou seja,
existem ~x1 , ~y1 B(~a; r) tal que d(x1 , y1 ) > s.
Consideremos ~y E tal que ~y 6= ~0 e seja t R tal que

s < 2t < 2r.

Observemos que o vetor


. t
x= yE
kyk
tem a seguinte propriedade:
t kyk
kxk = k yk = t = t,
kyk kyk
ou seja kxk = t < r.
Afirmamos que os vetores
. .
x1 = a + x, x2 = a x B(a; r).
2.3. SUBCONJUNTOS LIMITADOS DE UM ESPAC
OS METRICOS 43

De fato,
d(a + x, a) = k(a + x) ak = kxk = t < r
e, de modo semelhante temos

d(a x, a) = k(a x) ak = k xk = kxk = t < r.

Alem disso

d(a + x, a x) = k(a + x) (a x)k = k2xk = 2kxk = 2t > s,

ou seja, d(x1 , y1 ) > s, logo s < 2r n


ao pode ser o di
ametro da bola aberta B(a; r).
Geometricamente temos

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

diam[B[a; r]] = 2r e diam[S(a; r)] = 2r.

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.

2. Seja E um espaco vetorial normado tal que E 6= {~0}.


Ent
ao E n
ao e limitado.
De fato, dado x E, x 6= ~0, para cada c > 0 podemos considerar o vetor de E definido por

. 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

3. Seja (M, d) um espaco metrico.


Vale observar que um subconjunto X M e limitado em M se, e somente se, X est a
contido em alguma bola aberta de M , isto e, existe a M e r > 0 tal que X B(a; r).
De fato, se existe a M e r > 0 tal que X B(a; r) ent
ao para todo x, y X temos que

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

ou seja X e limitado (e seu di


amentro e menor ou igual a 2r).
Reciprocamente, se X e limitado em M ent
ao existe c > 0 tal que d(x, y) c para todo
x, y X.
Consideremos x0 X.
Temos que d(x, x0 ) c para todo x X, assim se X B(x0 ; r), ou seja X est
a contido
em uma bola aberta de M , como queramos mostrar.

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

d(x, y) d(x, a) + d(a, b) + d(b, y) c + d(a, b) + c = k.

Portanto se x, y X Y temos que:

Se x, y X temos que d(x, y) c < k


Se x, y Y temos que d(x, y) c < k
Se x X e y Y temos que d(x, y) k,

ou seja, d(x, y) k para todo x, y X Y , mostrando que X Y e limitado em M .



Como conseq
uencia temos o:
2.3. SUBCONJUNTOS LIMITADOS DE UM ESPAC
OS METRICOS 45

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 .

Nota cao 2.3.1 Dada uma func


ao f : X Y denoteremos seu conjunto imagem por f (X),
isto e,
.
f (X) = {f (x) : x X} Y.

Podemos agora introduzir a

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 .

Vejamos alguns exemplos


. 1
Exemplo 2.3.3 Seja R com a metrica usual e f : R R dada por f (x) = , x R.
1 + x2
Observemos que |f (x)| 1, para todo x R, logo f e uma func
ao limitada (neste caso temos
f (R) = (0, 1]).
A figura abaixo nos d
a o gr
afico de f .

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.

Podemos agora generalizar o exemplo (2.1.8) por meio do

Exemplo 2.3.6 Sejam X um conjunto n ao vazio e (M, dM ) um espaco metrico.


Indiquermos por B(X; M ) o conjunto de todas as func
oes limitadas definidas em X e tomando
valores em M , isto e,
.
B(X; M ) = {f : X M : f e limitada }.
Dadas f, g B(X; M ) temos que o conjunto
{dM (f (x), g(x)) : x X}
e limitado em R.
De fato, como f e g s ao limitadas segue que f (X) e g(X) s ao subconjuntos limitados em M .
Logo da proposicao (2.3.1) segue que f (X)g(X) e um subconjunto limitado em M , ou seja,
{dM (f (x), g(x)) : x X} e limitado em R, portanto admite supremo.
Logo, dadas f, g B(X; M ), podemos definir
.
d(f, g) = sup {dM (f (x), g(x))}.
xX

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

2. Seja (E, k.k) e um espaco vetorial normado.


Pode-se mostrar (exerccio para o leitor) que se f, g B(X; E) e R ent ao (f + g)
B(X; E) e f B(X; E), ou seja B(X; E) tornar-se- a um espaco vetorial .
Neste caso a metrica da convergencia uniforme em B(X; E) provem da seguinte norma de
B(X; E):
.
kf k = sup kf (x)kE , f B(X; E).
xX

De fato, pois d(f, g) = sup{dE (f (x), g(x)) : x X} = sup kf (x) g(x))k.


xX

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

Seja x X tal que x 6= x0 .


Ent
ao aplicando o Teorema de Pit agoras ao tri angulo ret angulo ax0 x (veja figura abaixo)
obtemos
[d(a, x)]2 = [d(a, x0 )]2 + [d(x0 , x)]2 .

a
x

x0
48 CAPITULO 2. ESPAC
OS METRICOS

Em particular temos que


d(a, x) d(a, x0 )
para todo x X, ou seja, x0 e o ponto mais pr
oximo do ponto a que pertence `
a reta X.
Deste modo podemos escrever

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


xX

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

d(a, X) = inf{dM (a, x) : x X}.

Observa
cao 2.4.2

1. Das propriedades de nfimo temos:

(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).

2. Observemos que se a X ent


ao d(a, X) = 0.
De fato, se a X ent
ao 0 = d(a, a) {d(a, x) : x X}.

3. Alem disso, se X Y ent


ao d(a, Y ) d(a, X).
Lembremos que se A B ent
ao inf B inf A (*).
Logo, se X Y ent
ao {d(x, a) : x X} {d(y, a) : y Y }.
Assim de (*) temos que

d(a, Y ) = inf{d(y, a) : y Y } inf{d(x, a) : x X} = d(a, X).

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) < .

5. Vale observar que, em geral, n ao podemos substituir o nfimo na definica


o acima pelo
mnimo, isto e, pode n
ao existir um ponto em x0 X de tal modo que

d(a, X) = d(a, x0 ),

como veremos em exemplos a seguir.

A seguir consideraremos alguns exemplos.



2.4. DISTANCIA DE UM PONTO A UM SUBCONJUNTO EM UM ESPAC
O METRICO49

Exemplo 2.4.1 Seja (M, d) um espaco metrico, a M e X = {x1 , x2 , , xn } um subconjunto


finito de M .
Entao
[conjunto finito]
d(a, X) = inf {d(a, xi )} = min {d(a, xi )}.
1in 1in

x5

x6
x4

x7

x3

a
x2

x1
x8

Exemplo 2.4.2 Seja R2 como a metrica usual e S 1 = {(x, y) R2 : x2 + y 2 = 1} a circun-


ferencia de centro na origem e raio 1.
ao se z = (x, y) S 1 e 0 = (0, 0) temos que
Ent
p p
d(0, z) = (x 0)2 + (y 0)2 = x2 + y 2 = 1,
ou seja, d(0, S 1 ) = 1 (veja figura abaixo).
y

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).

Exemplo 2.4.3 Seja R munido da metrica usual e X = (a, b).


Ent
ao temos que
d(a, X) = d(b, X) = 0.
Podemos porvar isto diretamente ou utilizar o seguinte resultado geral:
50 CAPITULO 2. ESPAC
OS METRICOS

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 < ,

logo concluimos a prova da afirmacao acima (veja figura abaixo).


]
~
b
>
r
o

~
a
~
x=~
a + t~
u

Logo dado > 0 existe ~x B(~a; r) tal que 0 d(~b, ~x) < , ou seja,

0 d(~b, B(~a; r)) d(~b, ~x) < ,

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

Reciprocamente, suponhamos que d(~b, B(~a; r)) = 0.


Seja p~ E tal que p~ 6 B[~a; r].
Afirmamos que d(~ p, B(~a; r)) > 0.
De fato, como p~ 6 B[~a; r] temos que

k~
p ~ak > r, logo k~
p ~ak = r + c

para algum c > 0.


p

x
I r

Se ~x B(~a; r) temos que k~x ~ak < r e como

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,

ou seja, c e um limitante inferior do subconjunto

{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,

concluindo a prova da afirmacao (veja figura abaixo).

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(b, X)| d(a, b).

A figura abaixo ilustra o resultado

d(a, X)

d(a, b)

d(b, X)
b

Demonstracao:
A desigualdade acima e equivalente a

d(a, b) d(a, X) d(b, X) d(a, b).

Observemos que para todo x X temos que

d(a, X) d(a, x) d(a, b) + d(b, x),

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

d(a, X) d(a, b) d(b, X), isto e, d(a, X) d(b, X) d(a, b). ()

Observemos que para todo x X temos que

d(b, X) d(b, x) d(b, a) + d(a, x),



2.5. DISTANCIA ENTRE DOIS SUBCONJUNTOS DE UM ESPAC
O METRICO 53

ou seja,
d(b, X) d(a, b) d(a, x)

ou ainda, o n
umero real
d(b, X) d(a, b)

e um limitante inferior do subconjunto {d(a, x) : x X} R.


Da definic
ao de nfimo segue

d(b, X) d(a, b) d(a, X), isto e, d(a, X) d(b, Y ) d(a, b). ()

De (*) e (**) segue a desiguladade e a conclusao da prova.



Como conseq
uencia temos o

Corol
ario 2.4.1 Seja (M, d) um espaco metrico e a, b, x M . Ent
ao

|d(a, x) d(a, y)| d(a, b).

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

Exemplo 2.5.1 Consideremos R com a metrica usual, X = (, 0) e Y = (0, ).


Ent
ao dado > 0 existem x X e y Y tal que d(x, y) < , ou seja d(X, Y ) = 0.
Observemos que X Y = e mesmo assim d(X, Y ) = 0.

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;

2. Observemos que d(X, X) = 0 e d(X, Y ) = d(Y, X).


54 CAPITULO 2. ESPAC
OS METRICOS

2.6 Isometrias entre espacos m


etricos
Comecaremos pela

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

dN (f (x), f (y)) = dM (x, y), x, y M.

No caso acima diremos que a func


ao f preserva as dist
ancias e M e N .

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.

Com isto temos a:

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.

2. Em particular se f : M N e isometria ent


ao f e bijetora, logo admite func
ao inversa
1
f : N M e esta tambem e uma isometria pois se w, z N temos que existe x, y M
tal que z = f (x) e w = f (y) assim

dM (f 1 (z), f 1 (w)) = dM (f 1 (f (x)), f 1 (f (y))) = dM (x, y)


[f
e isometria]
= dN (f (x), f (y)) = dN (z, w),

mostrando que f 1 preserva as dist


ancias de N e M .

3. Sejam (M, dM ), (N, dN ) e (P, dP ) espacos metricos e f : M N , g : N P imers


oes
isometricas de M em N e de N em P , respectivamente.
Ent
ao (g f ) : M P e uma imers
ao isometrica de M em P .
De fato, se x, y M temos que

dP ((g f )(x), (g f )(y)) = dP (g(f (x)), g(f (y)))


[g preserva dist
ancias] [f preserva dist
ancias]
= dN (f (x), f (y)) = dM (x, y),

mostrando que g f preserva as dist


ancias de M e P .

4. Como conseq
uencia temos que composta de isometrias tambem ser
a uma isometria.

5. Toda imersao isometrica f : M N define uma isometria de M sobre f (M ) (pois neste


caso f : M f (M ) sera sobrejetora e continuar
a a preservar as dist
ancias de M e N ).
2.6. ISOMETRIAS ENTRE ESPAC
OS METRICOS 55

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

1. M M (basta considerar a identidade de M em M );

2. se M N entao N M (pois, como vimos na observac


ao (2.6.2) item 2., a inversa de
uma isometria e uma isometria;

3. se M N e N P ent ao M P (pois, como vimos na observac


ao (2.6.2) item 3., a
composta de isometrias e uma isometria.

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).

5. Se existir uma imer


ao isometrica f : M N ent ao temos que M f (M ) (pois a func
ao
f : M f (M ) ser
a sobrejetora e preservar
a as dist
ancias de M e f (M )).

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,

temos que a func


ao i e injetora.
Logo podemos considerar em X a metrica induzida pela funcao i que sera coincidira com a
metrica induzida de M em X (pois dX (x, y) = dM (i(x), i(y)) = dM (x, y), para todo x, y X).
56 CAPITULO 2. ESPAC
OS METRICOS

A seguir consideraremos alguns exemplos.

Exemplo 2.6.1 Consideremos Rn com a metrica induzida por alguma norma de Rn .


Sejam ~a, ~u Rn tal que k~uk = 1.
Consideremos a func ao f : R Rn dada por
.
f (t) = ~a + t ~u, t R.

Afirmamos que f e um imers ometrica de R em Rn .


ao is
De fato, se t, s R temos que

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),

mostrando que a funca ancias de R e Rn .


o f preserva as dist

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).

Exemplo 2.6.2 Consideremos Rn com a metrica induzida por alguma norma de Rn e ~a Rn .


ao f : Rn Rn dada por
Afirmamos que a func
.
f (~x) = ~x + ~a, ~x Rn ,

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 ),

mostrando que f preserva a dist ancia em Rn .


.
Alem disso f (R ) = R pois se ~y Rn se tomarmos ~x = ~y ~a segue que f (~x) = ~x + ~a =
n n

(~y ~a) + ~a = ~y , ou seja, f e sobrejetora, ou seja, f e uma isometria.

Com isto temos a

Defini
cao 2.6.5 A func
ao f acima definida ser
a denominada transla
cao pelo vetor ~a.

Exemplo 2.6.3 Consideremos Rn com a metrica induzida por alguma norma de Rn .


ao f : Rn Rn dada por
Afirmamos que a func
.
f (~x) = ~x, ~x Rn ,

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) (~y )k = k ~x + ~y k = k~x ~y k = d(~x, ~y ),

mostrando que f preserva a dist ancia em Rn .


.
Alem disso f (Rn ) = Rn pois se ~y Rn se tomarmos ~x = ~y segue que f (~x) = ~x = (~y ) =
~y , ou seja, f e sobrejetora, isto e, f e uma isometria.
2.6. ISOMETRIAS ENTRE ESPAC
OS METRICOS 57

Com isto temos a

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.

Exemplo 2.6.4 Consideremos C o conjunto forma do pelo n umeros complexos munido da


metrica
p induzida pelo valor absoluto de um n umero complexo (isto e, se z = a + bi entao
kzk x2 + y 2 ).
.
Sejam u C tal que kuk = 1 e a funcao f : C C dada por f (z) = u.z, para z C (onde .
e a multiplicaca
o de n
umeros complexos).
Afirmamos que f e uma isometria.
De fato, f e imers
ao isometrica em C, pois

d(f (z1 ), f (z2 )) = kf (z1 ) f (z2 )k = ku.z1 u.z2 k = ku.(z1 z2 )k


[kuk=1]
= kukkz1 z2 k = kz1 z2 k = d(z1 , z2 ),

mostrando que f preserva a dist


ancia em C.
Alem disso, se w C consideremos
. w
z= C.
u
Logo
w
f (z) = u.z = u.
= w,
u
mostrando que f e sobrejetora, portanto uma isometria.

Observa c
ao 2.6.8 A aplicac
ao f do exemplo acima e uma rotaca
o (no sentido hor
ario) de um
b

angulo = se u = i e = arctg( ) se u = a + bi (veja figura abaixo).


2 a

6 C

f (z)

-
58 CAPITULO 2. ESPAC
OS METRICOS

Finalizaremos esta secao com a

Proposi cao 2.6.1 Seja (M, dM ) um espaco metrico limitado.


Ent ao existe uma imersao isometrica : M B(M ; R) onde em B(M ; R) consideraremos
a metrica induzida pela norma da convergencia uniforme.

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

Por outro lado, se tomarmos y = x0 temos que


[y=x0 ]
kdx (y) dx0 (y)k = |dM (x, y) dM (x0 , y)| = |dM (x, x0 ) dM (x0 , x0 )| = dM (x, x0 ).

Logo
kdx dx0 k = sup |dx (y) dx0 (y)|dM (x, x0 ),
yM

portanto kdx dx0 k = dM (x, x0 ), ou seja preserva as distancias de M e de B(M ; R).


Observa
cao 2.6.9

1. Pode-se provar um resultado an


alogo ao exibido acima retirando-se a hip
otese de M ser
limitado.
Uma demonstraca
o para esse fato pode ser encontrada em [1] pag.20.

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:

Definicao 3.1.1 Sejam (M, dM ), (N, dN ) espacos metricos e a M .


Diremos que uma funca o f : M N e contnua no ponto a se dado > 0 existir
= (, a) > 0 tal que

dM (x, a) < implicar dN (f (x), f (a)) < .

Geometricamente temos:
N

M
f (B(a; ))


f
a - f (a)

=
~

Diremos que f : M N e contnua em M se ela for contnua em cada um dos pontos de


M.

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.

2. Se M R e N = R munido da metrica usual ent ao f ser


a contnua em a M se, e
somente se, dado > 0 existir = (, a) > 0 tal que se

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)

A seguir exibiremos alguns exemplos.


Anste porem temos 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

dN (f (x), f (y)) c dM ((x, y), x, y M.

Neste caso diremos que a func


ao f e lipschitziana em M .

Exemplo 3.1.1 Se f : M N e lipschitiziana em M ent ao f e contnua em M .


De fato, como f e lipschitiziana em M existe c > 0 tal que

dN (f (x), f (y)) cdM ((x, y), x, y M.


3.1. DEFINIC DE FUNC
AO CONTINUA EM ESPAC
AO
OS METRICOS E EXEMPLOS 61

.
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

2. Seja R munido da metrica usual.


Ent
ao f : R R e lipschitiziana em M se, e somente se existe c > 0 tal que

|f (x) f (y)| dR (f (x), f (y))


= c, x, y R, x 6= y.
|x y| dR (x, y)

3. Observemos se f : I R e diferenci avel em I, um intervalo de R e |f 0 (x)| c para todo


x I ent
ao a func
ao f e lipschitziana em I.
De fato, dados x, y I do Teorema do Valor segue que existe x
[x, y] ( ou [y, x]) tal que

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.

29.10.2008 - 16.a - 1.a Prova


6.10.2008 - 17.a
Uma situacao mais geral e dada pela

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

dN (f (x), f (y)) cdM ((x, y), x, y B(a; r).

Com isto temos o

Exemplo 3.1.3 Se f : M N e localmente lipschitziana em M ent ao f e contnua em M .


De fato, dado a M seja ra > 0 tal que restric
ao da func
ao f a bola aberta B(a; ra ) seja
lipschitziana.
.
Dado > 0 seja = min{ , r} > 0.
c
Logo se, dM (x, a) < r logo

dN (f (x), f (a)) cdM (x, a) < c c = ,
c
mostrando que a funca
o f e contnua no ponto a M .
Como a M e arbitrario segue que a func
ao f e contnua em M .
3.1. DEFINIC DE FUNC
AO CONTINUA EM ESPAC
AO
OS METRICOS E EXEMPLOS 63

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

dN (f (x), f (y)) cj dM (x, y), se x, y B(a; ra,j ). ()

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

dE (f (x), f (y)) = kf (x) f (y)kE


= k(a1 f1 (x) + an fn (x)) (a1 f1 (y) + + an fn (y))kE
= ka1 (f1 (x) f1 (y)) + an (fn (x) fn (y))kE
|a1 |kf1 (x) f1 (y)k + |an |kfn (x) fn (y))kE
= |a1 |dM (f1 (x), f1 (y)) + |an |dM (fn (x) fn (y)))
[() e ()
|a1 |c1 dM (x, y) + |an |cn dM (x, y) = [|a1 |c1 + |an |cn ]dM (x, y) = CdM (x, y)

mostrando que f e localmente lipschitiziana em E.


Conclusao: combinac
ao linear de func
oes localmente lipschitzianas e uma func
ao localmente
lipschitziana em E.
Em particular f ser
a contnua em M .
.
Exemplo 3.1.4 Seja f : R R dada por f (x) = xn , x R e n N.
Afirmamos que f e localmente lispchitziana em R (em particular, contnua em R).
De fato, se |x|, |y| a temos que

dR (f (x), f (y)) = |f (x) f (y)| = |xn y n | = |(x y)(xn1 + xn2 y + xy n1 + y n1 )|


|x y|[|x|n1 + |x|n2 |y| + |x||y|n2 + |y|n1 ]
|x y|[|a|n1 + |a|n2 |a| + |a||a|n2 + |a|n1 ]
| {z }
nparcelas
n1 n1
= na |x y| = na dR (x, y),

ou seja, f e localmente lischitziana em R.


Em particular, a func ao f sera contnua em R.

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

Exerccio 3.1.1 Em particular, vale o mesmo para multiplicac


ao de n
umeros reais ou multi-
plicac umeros reais por vetores de Rn .
ao de n

Uma outra classe de funcoes importantes e dada pela

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

dN (f (x), f (y)) dM ((x, y), x, y M.

e uma subclasse desta e dada pela

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

dN (f (x), f (y)) c dM ((x, y), x, y M.

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.

Seguir daremos alguns exemplos de contrac


oes fracas.

Exemplo 3.1.7 Sejam (M, dM ) e (N, dN ) espacos metricos e k N fixo.


Se f : M N e dada por
.
f (x) = k, para todo xM

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 .

Exemplo 3.1.8 Sejam (M, dM ) espaco metrico e X M subespaco metrico de M .


.
A aplica
cao de inclus
ao, i : X M dada por i(x) = x, x X e uma contrac
ao fraca pois

dM (i(x), i(y)) = dX (x, y), x, y X.

Em particular, a aplicac
ao i : X M e contnua em X.

Em geral temos o

Exemplo 3.1.9 Sejam (M, dM ) e (N, dN ) espacos metricos.


Se f : M N e uma imers
ao isometrica entao f e uma contrac
ao fraca pois

dN (f (x), f (y)) = dM (x, y), x, y M.

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.

Exemplo 3.1.10 Sejam (M, dM ) e (N, dN ) espacos metricos.


Independente de uma das tres metricas que escolhamos para M N (ver exemplo (2.1.15) e
observac
ao (2.1.14) item 3.), para cada a M e b N se considerarmos as aplicac
oes
ib : M M N e ja : N M N
dadas por
. .
ib (x) = (x, b) e ja (y) = (a, y),
ent
ao ib e ja s
ao uma contrac
oes fracas.
De fato, pois
()
dM N (ib (x1 ), ib (x2 )) = dM N [(x1 , b), (x2 , b)] dM (x1 , x2 ), x1 , x2 M,
()
dM N (ja (y1 ), ib (y2 )) = dM N [(a, y1 ), (a, y2 )] dN (y1 , y2 ), y1 , y2 N

mostrando a afirmac ao acima.


Vale observar que as desigualdades (*) e (**) s
ao v
alidas, independentementes, de qual das
tres metricas que considerarmos no produto cartesiano (verifique!).
Em particular, as aplicac
oes ib : M M N e ja : N M N s ao contnuas em M e N ,
respectivamente.

Exemplo 3.1.11 Sejam (M, dM ) espaco metrico e X M n


ao vazio.
Definamos dX : M R por
.
dX (y) = d(y, X), y M.

Afirmamos que dX e uma contrac ao fraca.


De fato, se y1 , y2 M temos que
[proposic
ao (2.4.2)]
dR (dX (y1 ), dX (y2 )) = |dX (y1 ) dX (y2 )| = |d(y1 , X) d(y2 , X)| dM (y1 , y2 ),
mostrando que a afirmaca
o e verdadeira.
Em particular, a aplicac
ao dx : M R e contnua em M .

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 .

Exemplo 3.1.12 Seja (E, k.k) um espaco vetorial normado.


A aplicac
ao k.k : E R e uma contrac
ao fraca.
De fato, se ~x, ~y E temos que
dR (k~xk, k~y k) = |k~xk k~y k| = |dE (~x, 0) dE (~y , 0)| |dE (~x, ~y )| = k~x ~y k = dE (~x, ~y ),
mostrando que a afirmaca
o e verdadeira.
Em particular, a aplicac
ao k.k : E R e uma func
ao contnua em E.
3.1. DEFINIC DE FUNC
AO CONTINUA EM ESPAC
AO
OS METRICOS E EXEMPLOS 67

Exemplo 3.1.13 Seja (M1 , d1 ), (Mn , dn ) espacos metricos.


Pra cada i = 1, n a aplicac
ao
.
pi : M1 Mn Mi , dada por pi (x) = xi ,

onde x = (x1 , , xn ) M1 Mn (conhecida como i-


esima proje
cao) e uma contrac
ao
.
fraca onde podemos considerar no produto cartesiano M = M1 Mn qualquer uma das tres
metricas da observac ao (2.1.14).
De fato, se xi , yi Mi temos que

dM1 (pi (x), pi (y)) = dMi (xi , yi ) dM (x, y),

onde x = (x1 , , xi1 , xi , xi+1 , , xn ), y = (y1 , , yi1 , yi , yi+1 , , yn ) M , mostrando


que a afirmac ao e verdadeira.
Em particular, a aplicac ao pi : M1 Mn Mi e contnua em M1 Mn para cada
i = 1, , n.

Exemplo 3.1.14 Seja (M, dM ) espaco metrico.


Ent
ao a aplicac
ao
dM : M M R
e uma contrac
ao fraca se em M M considerarmos a metrica da soma ou do m
aximo em M M
(veja exemplo (2.1.15)).
De fato, se (x, y), (x0 , y 0 ) M M ent
ao

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 )],

mostrando que a afirmac


ao e verdadeira.
Em particular, a aplicac
ao dM : M M R ser
a contnua em M M .

Exemplo 3.1.15 Seja (E, k.kE ) um espaco vetorial normado e R.


Afirmamos que a aplicac
ao
s:EE E
dada por
.
s(x, y) = x + y, x, y E,
.
e uma contrac
ao fraca onde em EE estamos considerando a norma da soma (isto e, k(x, y)kEE =
kxkE + kykE e sua respectiva metrica associada).
De fato,

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 )).

mostrando que a afirmac


ao e verdadeira.
Em particular, a aplicac
ao s : E E E ser
a contnua em E E.

Exerccio 3.1.2 Em particular, vale o mesmo para soma n


umeros reais ou soma de vetores em
n
R e B(X; M ) munido da metrica do sup.
68 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

Observa
cao 3.1.8

1. Sejam (M, dM ), (N, dN ) espacos metricos e a M um ponto isolado de M .


Afirmamos que f : M N e contnua em a M .
De fato, como a M e um ponto isolado de M , existe 0 > 0 tal que B(a; 0 ) M = {a}.
Dado > 0 seja 0 < 0 .
Se dM (x, a) < 0 temos que x = a logo

dN (f (x), f (a)) = dN (f (a), f (a)) = 0 < ,

mostrando que a afirmac


ao e verdadeira.

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

dM (x , a) < mas dN (f (x ), f (a)) .

2. Um formulacao equivalente seria: f e descontnua no ponto a M se, e somente se, existe


> 0 tal que para todo n N existe xn M tal que
1
dM (xn , a) < mas dN (f (xn ), f (a)) .
n

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+

Como f (x) = 0 e f (a) = 1 segue que

1
dR (f (x), f (a)) = |f (x) f (a)| = |0 1| = 1 = ,
2

mostrando que f nao e contnua em nenhum a Q.


1
Por outro lado, sejam a I e = > 0.
2
Dado > 0 consideremos x Q tal que |x a| < , isto e, d(x, a) < (veja figura abaixo).

xQ

? -
a aI a+

Como f (x) = 1 e f (a) = 0 segue que

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;

2. f : M N contnua em todos os pontos de M .

Podemos sempre afirmar que na situacao acima (b) implicar


a sempre em (a).
Mas, em geral, (a) pode n
ao implicar em (b), como mostra o exemplo acima.

13.10.2008 - 19.a
70 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

3.2 Propriedades elementares de func


oes contnuas entre espacos
m
etricos
Comecaremos pela

Proposi cao 3.2.1 Sejam (M, dM ), (N, dN ) e (P, dP ) espacos metricos e a M .


Se f : M N e contnua em a e g : N P e contnua em f (a) ent ao g f : M P e
contnua em a.

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.

Antes de prosseguir temos a

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

2. Nao vale, em geral, a recproca do resultado acima, isto e, existem func


oes f : M N P
que s
ao contnuas separadamente no ponto (a, b) mas n ao s ao contnuas (conjuntamente)
no ponto (a, b).
Para ver isto, consideremos o seguinte exemplo:
Seja
f :RRR
dada por
xy
. , se (x, y) 6= (0, 0)
f (x) = x2 + y2 .
0 , se (x, y) = (0, 0)

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).

Para o proximo resultado precisaremos da

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 ).

Com isto temos a

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

(i) Consideremos em N1 N2 a metrica do maximo.


Se f1 e f2 sao contnuas em a M entao dado > 0 segue que existem 1 , 2 > 0 tal que
se
dM (x, a) < i implicar
a dNi (fi (x), fi (a)) < , i = 1, 2. ()
.
Seja = min{1 , 2 } > 0.
Assim, se dM (x, a) < logo dM (x, a) < 1 e dM (x, a) < 2 e de (*) teremos

dN1 N2 (f (x), f (a)) = max{d1 (f1 (x), f1 (a)), d2 (f2 (x), f2 (a))} < ,

mostrando que f e contnua no ponto a.


(ii) Se considerarmos em N1 N2 a metrica da raiz quadrada temos que dado > 0 existem
1 , 2 > 0 tal que se

dM (x, a) < i implicara dNi (fi (x), fi (a)) < , i = 1, 2. ()
2
.
tomando-se = min{1 , 2 } > 0.
Assim, se dM (x, a) < logo dM (x, a) < 1 e dM (x, a) < 2 e de (*) teremos
p r

dN1 N2 (f (x), f (a)) = [d1 (f1 (x), f1 (a))]2 + [d2 (f2 (x), f2 (a))]2 < [ ]2 + [ ]2
2 2
r
2 2
= + = 2 = ,
2 2
mostrando que f e contnua no ponto a.
(iii) Se considerarmos em N1 N2 a metrica da soma temos que dado > 0 existem 1 , 2 > 0
tal que se

dM (x, a) < i implicar
a dNi (fi (x), fi (a)) < , i = 1, 2. ()
2
.
tomando-se = min{1 , 2 } > 0.
Assim, se dM (x, a) < logo dM (x, a) < 1 e dM (x, a) < 2 e de (*) teremos

dN1 N2 (f (x), f (a)) = d1 (f1 (x), f1 (a)) + d2 (f2 (x), f2 (a)) < + = ,
2 2
mostrando que f e contnua no ponto a.

Completamos assim a demonstracao.



Como conseq
uencia temos o

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 ,

onde pi : M1 M2 Mi , i = 1, 2, sao as projec oes de M1 M2 em Mi , i = 1, 2 que sao contnuas


em M1 M2 ( ver exemplo (3.1.13) ).
Como f1 e f2 sao contnuas em M1 e M2 , respectivamente, da proposic ao (3.2.1) segue que
(f1 f2 )1 e (f1 f2 )2 sao contnuas M1 M2 e assim a proposic
ao (3.2.2) implicara que f1 f2
sao contnuas em M1 M2 concluindo a demonstrac ao do resultado.

Como conseq uencia dos resultados acima temos a

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

r : R \ {0} R, s:EE E e m:EE

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

3.3 Homeomorfismos entre espacos m


etricos
Observa c
ao 3.3.1 O objetivo desta secao e estudar funco
es bijetoras e contnuas que admitam
funca
o inversa contnua.
Ao contr
ario do que ocorre em Algebra Linear (onde a inversa de uma transformaca o linear e,
necessariamente, uma transformac
ao linear) e da Algebra (onde a inversa de um homomorfismo
e, necessariamente, um homomorfismo) na Topologia existem func oes contnuas e bijetoras cujas
funco
es inversas nao s
ao contnuas, como mostra o exemplo a seguir:

Exemplo 3.3.1 Consideremos (M, d) onde M = R e dM e a metrica zero-um e R com a metrica


usual.
.
Tomemos a aplicacao identidade i : M R, dada por i(x) = x, x M .
Observemos que neste caso aplicac ao i e bijetora e contnua (veja observac
ao (3.1.8 item
2.)
Afirmamos que a funca o inversa associada a i, que e a aplicac ao i1 : R M dada por
1 .
i (y) = y, y R, n ao e contnua em qualquer ponto de R pois a metrica em M e a metrica
zero-um (ver obervac
ao (3.1.8) item 3.).

A seguir exibiremos um outro exemplo menos artificial


.
Exemplo 3.3.2 Sejam M = [1, 0] (1, ) e N = [0, ) ambos com a metrica usual induzida
de R.
Consideremos f : M N dada por

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

mostrando que f 1 (z) 6 B(f 1 (1); ).


Portanto f 1 nao sera contnua no ponto y = 1.

M 6

?
1


- -
1
N

?
1

O proximo exemplos e o mais interessante.


3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 77

.
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

Assim f 1 (Pn ) 0 e f 1 (Qn ) 2, mostrando que n


ao existe lim f 1 (x, y).
(x,y)(1,0)
Em particular f 1 n
ao e contnua em (1, 0).

Quando a funcao inversa for contnua temos a seguinte definic


ao

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

1. Temos que M M pois a aplicaca o identidade i : M M e sempre um homeomorfismo


de M em M (isto e, e reflexiva);

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 ;

4. Dos iten 1., 2. e 3. segue que e uma relac


ao de equivalencia no conjunto formado por
todos os espacos metricos.

5. Diremos que uma certa propriedade P de um espaco metrico M e uma propriedade


topologica se todo espaco metrico homeomorfo a M tem a propriedade P, ou seja pro-
priedades topol
ogicas s
ao aquelas preservadas por homeomorfismos.

6. Diremos que uma certa propriedade Q de um espaco metrico M e uma propriedade


metrica se todo espaco metrico isometrico a M tem a propriedade Q, ou seja, propriedades
metricas s
ao aquelas preservadas por isometrias.

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}.

Para isto, como N e discreto e f (a) N , existe > 0 tal que

BN (f (a); ) = {f (a)}.
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 79

Como f e contnua, existe > 0 tal que

f (BM (a; )) BN (f (a); ) = {f (a)}.

Mas f e injetora, logo segue que BM (a; ) so podera ter um u


nico ponto, caso contr
ario, se
existisse x 6= a tal que x B(a; ) entao

f (x) B(f (a); ) = {f (a)},

ou seja, f (x) = f (a), o que e um absurdo, pois f e injetora.


Assim BM (a; ) = {a}, ou seja, a e um ponto isolado de M , mostrando que M e discreto,
como queramos demonstrar.

Observa
cao 3.3.3

1. Na verdade provamos um caso mais geral, a saber: se f : M N e contnua, injetora e


para algum a M temos f (a) um ponto isolado de N ent ao a ser
a um ponto isolado de
M.

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).

3. Sejam (M, dM ) e (N, dN ) espacos metricos discretos.


M e N s ao homeomorfos se, e somente se, M e N tem a mesma cardinalidade (isto e,
existe uma aplicaca
o bijetora de M em N ).
De fato, se M N ent
ao, em particular, existe uma aplicaca
o bijetora de M em N , logo
M e N tem a mesma cardinalidade
Por outro lado, lembremos que toda aplicac ao definida num espaco metrico discreto e
contnua (ver observac
ao (3.1.8) item 2.).
Logo toda aplicac
ao bijetora entre espacos metricos discretos ser
a um homeomorfismo (pois
ela e sua inversa estao definidas em espacos metricos discretos, logo s
ao contnuas).
Em particular, se M e N sao discretos e tem a mesma cardinalidade, segue que existe uma
aplicac
ao bijetora de M em N que, pelo que observamos acima, ser a um homemorofismo
de M em N e portanto M N .

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.

Um outro resultado interessante e dado pela


80 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

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.

A verificacao destes fatos serao deixadas como exerccio para o leitor.


Observemos que t~1 1
a : E E e m : E E s ao contnuas em E, logo sao homeomorfismos
de E.

Como conseq uecia temos o

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).

Veja figura abaixo:


3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 81

]
]
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

1. Sabemos que o diametro de um conjunto e invariante metrico (isto e, e preservado por


isometrias) mas n
ao e um invariante topol
ogico (isto e, n
ao e preservado por homeomor-
fismo) como afirmam os corol
arios acima (no caso de espacos vetoriais normados).

2. Observemos que em um espaco metrico arbitr


ario duas bolas abertas (ou fechadas) podem
n
ao ser homeomorfas, como mostra o seguinte exemplo:
Consideremos (M, dM ) um espaco metrico que possua um ponto a que seja ponto isolado
de M e um ponto b que n
ao seja ponto isolado de M .
Logo existe > 0 tal que
B(a; ) = {a},

portanto essa bola aberta n


ao ser
a homeomorfa a uma bola aberta de centro em b, pois,
para todo s > 0 temos que
B(b; s)

e um conjunto infinito (pois b nao e ponto isolado de M ; na verdade, n


ao poder
a existir
uma aplicaca
o bijetora de B(a; ) = {a} no conjunto B(b; s))).
Portanto as bolas B(a; ) e B(b; s) n
ao s
ao homeomorfas em M .

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

1. Toda imers ao isometrica f : M N ser a uma imers ao topol


ogica (pois se f e imers
ao
isometrica ent
ao dN (f (x), f (y)) = dM (x, y) para todo x, y M , mostrando que

f : M f (M )

ao inversa, f 1 : f (M ) M , contnua em f (M )).


e bijetora, contnua em M com func
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 83

2. Nao vale a recproca do item 1., ou seja, nem toda imers


ao topol
ogica e uma imers
ao
isometrica, como mostra o seguinte exemplo:
Consideremos R e R2 com as metricas usuais e f : R R2 dada por
.
f (t) = (t, t2 ), t R.

Observemos que f e contnua em R, bijetora sobre f (R) e sua inversa ser


a

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

Outro resultado importante e dado pela

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

mostrando que f (E) B(~0; 1), ou seja,

f : E B(~0; 1).

Alem disso f e uma funcao contnua (pois a aplicac


ao ~x k~xkE e contnua e como 1+k~xkE 6=
0, segue que a funcao f sera contnua em E).
Definamos
g : B(~0; 1) E
por
. 1
g(~y ) = ~y , ~y B(~0; 1).
1 k~y kE
Temos que a funcao g e contnua em B(~0; 1) (pois a aplicac ao ~y k~y kE e contnua e como
~ ao g sera contnua em B(~0; 1)).
1 k~y kE 6= 0 para ~y B(0; 1), segue que a func
Alem disso se ~y B(~0; 1) temos que
1 1 1
f (g(~y )) = f ( ~y ) = 1 ~y
1 k~y kE 1 + k 1k~ykE ~y kE 1 k~y kE
1 1 1 k~y kE 1
= 1 ~y = ~y = ~y .
1+ y kE k~
1k~ y kE 1 k~y kE 1 k~y kE + k~y kE 1 k~y kE

De modo semelhante mostra-se que (sera deixado como exerccio para o leitor)

g(f (~x)) = ~x, ~x E,

ou seja, g = f 1 , mostrando que


f : E B(~0; 1)
e um homeomorfismo de E em B(~0; 1), ou ainda, B(~0; 1) E, como queramos demonstrar.
Portanto B(~a; r) E.

Observa
cao 3.3.6

1. Do exemplo acima segue que o intervalo (a, b) R e homeomorfo a R (munidos da metrica


induzida da metrica usual de R e da metrica usual de R, respectivamente), pois
a+b ba
(a, b) = B( ; )
2 2
(veja figura abaixo).
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 85

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

Com isto pode-se mostrar (ser


a deixado como exerccio para o leitor) que f e contnua em
R e se definirmos
h : (a, ) R
por
.
h(y) = ln(y a), y (a, )
teremos que h ser
a contnua em (a, ).

h(y) = ln(y a)

-
y
86 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

Alem disso, pode-se verificar, que

f (h(y)) = y, y (a, ) e g(f (x)) = x, x R,

mostrando que h = f 1 , isto e, f e um homeormorfismo de (a, ) em R, mostrando que


(a, ) R.

3. De modo semelhante ao que fizemos no item 2. pode-se mostrar (ser


a deixado como exer-
ccio para o leitor) que (, b) R.

Um outro exemplo importante e

Exemplo 3.3.4 Sejam


.
S n = {~x Rn+1 : k~xk = 1}
a esfera n-dimensional unit ario de centro na origem munida da metrica induzida pela metrica
.
usual de Rn+1 e p~ = (0, , 0, 1) Rn+1 (o polo norte da esfera S n ).
Mostraremos que S n \ {~ p} e homeomorfa a Rn .
Para isto exibiremos uma aplicac ao

: 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

ao para (x), x S 1 \ {p}.


A seguir obteremos uma express
1
Observemos se x S \ {p}, que os pontos da semi-reta px sao da forma

p + t.(x p), t > 0,

logo
(x) = p + t.(x p), para algum t > 0. ()
3.3. HOMEOMORFISMOS ENTRE ESPAC
OS METRICOS 87

Mas (x) dever a pertencer ao hper-plano xn+1 = 0, ou seja, a u


ltima coordanada de (x)
dever
a ser zero.
Como a u ltima coordenada de (*) e da forma

1 + t(xn+1 1),

(pois a u
ltima coordenada do ponto p e 1) deveremos ter

1 + t(xn+1 1) = 0.

Logo para que (x) pertenca ao hper-plano xn+1 = 0 deveremos ter


1
t= .
1 xn+1
Escreveremos
x = (x1 , , xn , xn+1 ) = (x0 , xn+1 ),
onde x0 = (x1 , , xn ) e xn+1 R.
Deste modo teremos que
1 1
p + t(x p) = p + (x p) = (0, , 0, 1) + [(x1 , x2 , , xn , xn+1 ) (0, , 0, 1)]
1 xn+1 1 xn+1
1 1
= (0, , 0, 1) + (x1 , x2 , , xn , xn+1 1) = (0, , 0, 1) + ( x0 , 1)
1 xn+1 1 xn+1
1
=( x0 , 0),
1 xn+1
Observemos que {(x1 , , xn , 0) : xi R, i = 1 , n} e homeomorfo a Rn .
Para ver isto basta considerar

: {(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

(x) = ( )(x), x S 1 \ {p},

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 ,

onde x = (x0 , xn+1 ) com

. 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

Por outro lado, se y Rn , denotando por

(y) = ([(y)]0 , [(y)]n+1 ) Rn R

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

e um homeormorfismo e assim S n \ {p} Rn , como queramos mostrar.

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 }.

Com isto temos a

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

(a restricao ao conjunto G(f ) da projec


ao no primeiro fator) e contnua em G(f ) e

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,

mostrando que p1 e a funcao inversa associada a f.


Logo f : M f (M ) e um homeomorfismo, mostrando que M G(f ), como queramos
demonstrar.

Exemplo 3.3.5 Como exemplos da situac


ao acima temos os:
.
a hiperbole H = {(x, y) R2 : x.y = 1}.
1. R \ {0} e homeomorfo `
De fato, segue da proposica
o acima que isto e verdade pois H e gr
afico da func
ao

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

2. De modo an alogo, o hemisf aria centrada na origem de Rn , que


erio norte da esfera unit
ser
a indicada por
n .
S+ = {y = (y1 , , yn , yn+1 ) S n : yn+1 > 0}

e homeomorfa ` aria centrada na origem em Rn , isto e,


a bola aberta unit
n
S+ B(~0; 1) Rn .

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+

1 = kyk2 = y12 + + yn2 + yn+1


2
e yn+1 > 0

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

Defini cao 3.4.1 Sejam d1 e d2 duas metricas em M .


Diremos que a m etrica d1
e mais fina que a m etrica d2 , escrevendo d1 d2 se a
aplicac
ao
i12 : (M, d1 ) (M, d2 )

dada por
.
i12 (x) = x, xM

for contnua em (M, d1 ).

Observacao 3.4.1 Da definic


ao acima segue que a metrica d1 e mais fina que a metrica d2 se,
e somente se, para cada a M , dado > 0 existe > 0 tal que

Bd1 (a; ) = (i12 )1 (Bd1 (a; )) Bd2 (a; ),

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; )

Com isto temos 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

Bd1 (a; ) = {a} Bd2 (a; ),

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

Bd (a; ) Bd1 (a; ) = {a},

ou seja, Bd (a; ) = {a}, mostrando que a metrica d e discreta.



Outro resultado interessante e dado pela

Proposi cao 3.4.2 Sejam d1 e d2 duas metricas em M satisfazendo a seguinte relaca


o: existe
c > 0 tal que
d2 (x, y) c d1 (x, y), x, y M.
Ent
ao d1 d2 .

Demonstracao:
A desigualdade acima implica que a aplicac
ao

i12 : (M, d1 ) (M, d2 )

e lischitziana em M , em particular contnua em M , mostrando assim que d1 d2 .




3.4. METRICAS EQUIVALENTES EM UM ESPAC
O METRICO 93

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

Bd1 (a; ) Bd2 (a; ),

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 );

2. Para todo espaco metrico (N, dN ) se uma func


ao f : M2 N e contnua em M2 ent ao
f : M1 N e contnua em M1 (ou seja, toda aplicac ao contnua segundo a metrica d2
ser
a contnua segundo a metrica d1 );

3. Consideremos em R a metrica usual. Se uma func


ao f : M2 R e contnua em M2 ent ao
f : M1 R e contnua em M1 (ou seja, toda aplicac
ao real contnua segundo a metrica
d2 ser
a contnua segundo a metrica d1 );

4. Para todo a M a func


ao
.
d2a : M1 R dada por d2a = d2 (a, x), x M,

e contnua em M1 ;

5. Toda bola aberta, segundo a metrica d2 , contem uma bola aberta segundo d1 , de mesmo
centro que a primeira;

6. A funcao d2 : M1 M1 R e contnua em M1 M1 onde neste consideramos uma das


tres metricas do produto cartesiano (a saber, da raiz quadrada, da soma ou do m
aximo).

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

Mostremos que (1. 2.):


Indicaremos por
. .
f 1 = f : M1 = (M, d1 ) N e f 2 = f : M2 = (M, d2 ) N.

Como i12 : M1 M2 entao temos que

f 1 = f 2 i12 . ()

O diagrama abaixo ilustra a situacao

i12
- M2
M1

f1
f2

R
N

Se d1 d2 entao temos que a aplicac


ao i12 : M1 M2 e contnua em M1 .
Como f2 e contnua em M2 segue que (*) que f 1 sera contnua em M1 , mostrando que 2. e
verdadeira.
Mostremos que (2. 3.):
.
Segue como caso particular de 2. (basta tomar N = R), com isto obtemos que 3. e verdadeira.
Mostremos que (3. 4.):
Sabemos que a aplicacao
.
d2a : M2 R dada por d2a (x) = d2 (a, x), xM

e contnua em M2 (pois d2 e contnua em M2 M2 , logo sua restric


ao a {a} M2 , que e d2a ,
tambem sera contnua em {a} M2 ).
Logo do item 3. segue a aplicacao d2a : M1 R tambem sera contnua em M1 , mostrando
que 4. e verdadeira.
Mostremos que (4. 1.):
Por hipotese, sabemos que a aplicacao
.
d2a : M1 R dada por d2a (x) = d2 (a, x), xM

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).

Portanto se d1 (x, a) < teremos d2 (x, a) < , ou seja,

Bd1 (a; ) Bd2 (a; ).



3.4. METRICAS EQUIVALENTES EM UM ESPAC
O METRICO 95

Logo se d1 (x, a) < , isto e, se x Bd1 (a; ), segue que x Bd2 (a; ), ou seja,

> d2 (x, a) = d2 (i12 (x), i12 (a)),

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

d2a : M1 R dada por d2a (a, x), x M1

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),

(ou seja, x Bd2 (a; )).


Portanto, se
x Bd1 (a; ) ent
ao x Bd2 (a; ).
Logo
Bd1 (a; ) Bd2 (a; ),
mostrando que (4. 5.).
Por outro lado, se toda bola aberta segundo d2 contem uma bola aberta de mesmo centro
segundo d1 entao dados a M e > 0 segue que existe > 0 tal que

Bd1 (a; ) Bd2 (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) < ,

mostrando que a aplicacao d2a : M1 R e contnua em M1 , ou seja, que (5. 4.).


Mostremos que (6. 4.):
Se a aplicacao d2 : M1 M1 R e contnua em M1 M1 ent ao a sua restric
ao ao conjunto
{a} M1 tambem sera, isto e,

d2 |{a}M1 : {a} M1 R

sera contnua em {a} M1 .


Observemos que d2a = d2 |{a}M1 , portanto d2a sera contnua em M1 , mostrando que (6.
4.).
Mostremos que (1. 6.):
Se d1 d2 entao a aplicacao i12 : M1 M2 sera contnua em M1 .
Logo do corolario (3.2.2) segue que a aplicac
ao identidade

id : M1 M1 M2 M2
96 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

tambem sera contnua em M1 M1 (pois id = (i12 , i12 ) e i12 e contnua em M1 ).


Portanto a metrica em M1 M1 e mais fina que a metrica em M2 M2 .
Sabemos que d2 : M2 M2 R e contnua em M2 M2 logo, como (1. 3.), segue que
d2 : M1 M1 R tambem sera contnua em M1 M1 , mostrando que (1. 6.).

Um outro resultado u til e dado pela

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

dN (f1 (x), f1 (y)) = dN (f (x), f (y)) = d1 (x, y), x, y M

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

Exemplo 3.4.1 Consideremos [0, 2) e S 1 = {(x, y) R2 : x2 + y 2 = 1} munidos das metricas,


d[0,2) , dS 1 , induzidas pelas metricas usuais de R e R2 , respectivamente e

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).

Temos a seguinte definicao

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:

(a) para toda metrica d1 em M temos d1 d1 (reflexiva);


De fato, pois a aplicac
ao identidade i11 : (M, d1 ) (M, d1 ) e uma isometria, em
particular, um homeomorfismo de (M, d1 ) em (M, d1 ) assim d1 d1 .
(b) se d1 e d2 s
ao metricas em M satisfazem d1 d2 entao d2 d1 (simetrica);
De fato, pois se d1 d2 ent ao a aplicac
ao identidade i12 : (M, d1 ) (M, d2 ) e
um homeomorfismo de (M, d1 ) em (M, d2 ) ent ao identidade i21 = i1
ao a aplicac 12 :
(M, d2 ) (M, d1 ) e um homeomorfismo de (M, d2 ) em (M, d1 ) mostrando que d2
d1 .
(c) se d1 , d2 e d3 s
ao metricas em M satisfazem d1 d2 e d2 d3 ent ao d1 d3
(transitiva).
De fato, pois se d1 d2 ent ao a aplicac ao identidade i12 : (M, d1 ) (M, d1 ) um
homeomorfismo de (M, d1 ) em (M, d2 ).
De modo semelhante, se d2 d3 ent ao a aplicacao identidade i23 : (M, d2 ) (M, d3 )
um homeomorfismo de (M, d2 ) em (M, d3 ).
Logo a aplicac
ao identidade i13 = i23 i12 : (M, d1 ) (M, d3 ) um homeomorfismo de
(M, d1 ) em (M, d3 ) mostrando que d1 d3 .

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.

A seguir consideraremos alguns exemplos importantes.

Exemplo 3.4.2 As metricas d, d0 e d00 em Rn s ao equivalentes.


ao (2.1.1) segue que para todo x, y, Rn temos
De fato, da proposic

d00 (x, y) d(x, y) d0 (x, y) n d00 (x, y). ()

Logo a proposic a que as metricas d, d0 e d00 s


ao (3.4.2) implicar ao equivalentes em Rn .

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

Em particular, para estudar a continuidade de uma func ao f : Rn R onde em Rn temos,


por exemplo, a metrica d, podemos trocar a mesma pela metrica d0 ou d00 , e estudar a conti-
nuidade da func
ao dada com relac
ao a esta nova metrica que o resultado obtido ser
a o mesmo
o obtido com a metrica d.

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

d1 (x, y) d2 (x, y) d1 (x, y), x, y M. ()

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.

Exemplo 3.4.3 Seja d uma metrica em M .


Definamos em M :

. 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)

Pode-se mostrar (ser


a deixado como exerccio para o leitor) que d1 e d2 s
ao metricas em M .
Afirmamos que d1 d d2 .
De fato, observemos que

d1 (x, y) d(x, y), e d2 (x, y) d(x, y), x, y M,

logo d d1 e d d2 .
Por outro lado, dado > 0 sejam
. .
1 = >0 e 2 = min{1, } > 0.
1+

Se x Bd1 (a; 1 ) temos que


d1 (x, a) < 1
assim
d(x, a)
< d(x, a)[1 + ] < [1 + d(x, a)] d(x, a) < ,
1 + d(x, a) 1+
100 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

ou seja, dado > 0 existe 1 > 0 tal que

Bd1 (a; 1 ) Bd (a; ),

mostrando que d1 d.
De modo semelhante, se x Bd2 (a; 2 ) temos que

d2 (x, a) < 2 1.

Logo d2 (x, a) < 1 e assim

d(x, a) = d2 (x, a) < min{1, } <

que implicar
a que d(x, a) < , ou seja, dado > 0 existe 2 > 0 tal que

Bd2 (a; 2 ) Bd (a; ),

mostrando que d2 d.
Com isto temos que d1 d d2 , como queramos mostrar.

Observa
cao 3.4.5

1. Observemos que as metricas d1 e d2 s


ao limitadas em M M pois

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 .

2. Observemos que se a metrica d e n


ao limitada em M ent
ao n
ao existe > 0 tal que

d(x, y) dj (x, y), x, y M, j = 1, 2. ()

De fato, se existisse > 0 com a propriedade (**) deveramos ter, no caso j = 1:

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)

ou seja, a metrica d deveria ser limitada, o que e um absurdo.


Para o caso j = 2, se existisse > 0 com a propriedade (**) deveramos ter:

d(x, y) min{1, d(x, y)} = d(x, y) , x, y M,


| {z }
1

ou seja, a metrica d deveria ser limitada, o que e um absurdo.


Logo podemos concluir que a condic ao (*) dada pelo corolario (3.4.1) e suficiente, mas
n
ao e necess
aria, para que duas metricas sejam equivalentes em M .

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

i1M : (M, d1 ) (M, dM ) e iM 1 : (M, dM ) (M, d1 ).

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).

Para finalizar a secao temos a

Proposi cao 3.4.6 Sejam M1 = (M, d1 ), M2 = (M, d2 ), (N, dN ) espacos metricos e em R a


metrica usual .
S
ao equivalentes:
102 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

1. d1 d2 ;

2. f : M1 N e contnua em M1 se, e somente se, f : M2 N e contnua em M2 ;

3. f : M1 R e contnua em M1 se, e somente se, f : M2 R e contnua em M2 ;

4. Para todo a M as func


oes d1a : M2 R e d2a : M1 R dadas por
. .
d1a (x) = d1 (a, x), d2a (x) = d2 (a, x), xM

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).

3.5 Transformacoes lineares e multilineares definidas em espacos


vetoriais normados
Comecaremos pela

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:

f (~x + ~y ) = f (~x) + f (~y ), (3.1)


f (~x) = f (~x), (3.2)

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

1. Vale observar que a adic ao do lado esquerdo de (3.1) e adic


ao em E e a adic
ao do lado
direito de (3.1) e adic
ao em F .
Alem disso, a multiplicac
ao por n
umero real do lado esquerdo de (3.1) e a multiplicac
ao
por n
umero real em E e a multiplicac ao por n umero real do lado direito de (3.1) e a
multiplicac
ao por n
umero real em F .
3.5. TRANSFORMAC
OES LINEARES E MULTILINEARES DEFINIDAS EM ESPAC
OS VETORIAIS NORMADO

2. Como conseq
uencia de (3.1) e (3.2) temos que

f (1 ~x1 + 2 ~x2 + + n ~xn ) = 1 f (~x1 ) + 2 f (~x2 ) + + n f (~xn ),

onde ~x1 , ~x2 , , ~xn E e 1 , 2 , , n R.


A demonstrac
ao deste fato e vista no curso de Algebra Linear.

3. Nosso objetivo nesta sec


ao e estudar a continuidade de transformac
oes lineares entre
espacos vetoriais normados.

Com isto temos o

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

~x = x1~e1 + x2~e2 + + xn~en ,

para xi R, i = 1, 2, , n.
Como f e uma trasformacao linear temos que

f (~x) = f (x1~e1 + x2~e2 + + xn~en ) = x1 f (~e1 ) + x2 f (~e2 ) + + xn f (~en ).

Portanto

kf (~x)kF = kx1 f (~e1 ) + x2 f (~e2 ) + + xn f (~en )kF


kx1 f (~e1 )kF + kx2 f (~e2 )kF + + kxn f (~en )kF
= |x1 |kf (~e1 )kF + |x2 |kf (~e2 )kF + + |xn |kf (~en )kF . (3.3)

Consideremos
.
c = max{kf (~e1 )kF , kf (~e2 )kF , , kf (~en )kF }.
Logo segue de (3.3) que

kf (~x)kF c(|x1 | + |x2 | + + |xn |).

Se considerarmos a norma em Rn da soma (isto e, k~xkRn = |x1 | + |x2 | + + |xn |, onde


~x = (x1 , x2 , , xn )) entao segue da desigualdade acima que

kf (~x)kF ck~xkRn , ~x Rn ,

mostrando que a aplicacao f e lipschitiziana, em particular contnua em Rn .


Como as metricas d, d 0 e d 00 (que provem das tres normas usuais) sao equivalentes temos que
a transformacao linear f : Rn F sera contnua em Rn com qualquer uma das tres metricas
usuais.
Deste modo completamos a demnstrac ao do teorema.

104 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

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;

2. kpkE = sup |p(x)| = || sup |p(x)| = ||kpkE ;


0x1 0x1

[|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

f (p + q) = (p + q)(2) = (p)(2) + q(2) = (p(2) + q(2) = f (p) + f (q),


mostrando que f : E R e um funcional linear em E.
Afirmamos que f nao e contnua em 0 E (o polin
omio nulo).
1 . x
omio pn (x) = ( )n ,
De fato, se tomarmos = > 0, para cada n N consideramos o polin
2 2
x R.
Obviamente que para todo n N temos que pn E e
[pn
e crescente] 1 1
kpn 0kE = sup |pn (x) 0(x)| = sup |pn (x)| = pn (1) = ( )n = n .
0x1 0x1 2 2
3.5. TRANSFORMAC
OES LINEARES E MULTILINEARES DEFINIDAS EM ESPAC
OS VETORIAIS NORMADO

Logo pn 0 em E, quando n mas


2 1
|f (pn ) f (0)| = |f (pn )| = pn (2) = ( )n = 1 > = ,
2 2
mostrando que f e um funcional linear que n
ao e contnuo em E.

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;

3. Existe c > 0 tal que


kf (~x)kF c k~xkE , ~x E; ()

4. Existe c > 0 tal que

kf (~x) f (~y )kF c k~x ~y kE , ~x, ~y 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

k~xk = k~x ~0kE < entao kf (~x)k = kf (~x) f (~0) kF < = 1. ( )


|{z}
=0

1
Seja c > 0 tal que 0 < < .
c
Se ~x = ~0 entao teremos

kf (~x)kF = k~0k = 0 c.0 = ck~0kE = ck~xkE ,

mostrando que (*) ocorrera.


106 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

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

Logo, de (***), segue que


1
kf ( ~x)kF 1. ( )
ck~xkE
Mas f e uma trasformacao linear, logo
1 1
f( ~x) = f (~x),
ck~xkE ck~xkE

assim (****) implicara em


1 1
kf (~x)kF = k f (~x)kF 1,
ck~xkE ck~xkE
ou ainda,
kf (~x)kF ck~xkE ,
como queramos mostrar.
Mostremos que (3. 4.):
Observemos que se ~x, ~y E temos que

[f
e linear] ()
kf (~x) f (~y )kF = kf (~x ~y )kF ck~x ~y kF ,

como queramos mostrar.


A implicacao (4. 1.) e imediata (pois (**) garante que f e lischitiziana em E logo contnua
em E).

Como conseq uemcia temos o

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

c k~xkE kf (~x)kF C k~xkE , ~x E.

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

e equivalente a f ser contnua em E.


ao ~x = f 1 (~y ), logo a
Por outro lado se ~y F entao ~y = f (~x) para algum ~x E, ent
desigualdade
c k~xkE kf (~x)kF , ~x E.
3.5. TRANSFORMAC
OES LINEARES E MULTILINEARES DEFINIDAS EM ESPAC
OS VETORIAIS NORMADO

nos diz que


c kf 1 (~y )kE k~y kF , ~y F,
ou seja,
1
kf 1 (~y )kE k~y kF , ~y F,
c
que, pela proposicao acima, e equivalente a dizer que f 1 ser contnua em F , como queramos
mostrar.

A seguir exibiremos um exemplo de uma transformac ao linear bijetora que n
ao e um homeo-
morfismo (isto e, sua transformacao linear inversa nao sera contnua).

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,

~x R ~x = (xn )nN e xn 6= 0, somente para n {n1 , n2 , , nm } N.

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

que provem do produto interno: se ~x, ~y R temos que

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

Observemos que a func


ao f admite func
ao inversa que e dada por
.
f 1 (~y ) = f 1 (y1 , y2 , , yn , ) = (y1 , 2.y2 , , n.yn , ), ~y = (y1 , y2 , , yn , ) R

cuja verificac a deixada como exerccio para o letor (isto e, f f 1 = f 1 f = idR ).


ao ser
Mostremos que f 1 n ao e contnua.
.
Para isto, para cada n N temos que o vetor ~en = (0, , 0, 1
|{z} , 0, ) que
n
esima posica
o
pertence R (pois s
o o termo da n-esima posic
ao e n
ao nulo, e igual a 1).
Observemos que

X
X
[xj =0, n6=j, xn =1] [xj =0, n6=j, xn =1]
k~en k2R = |xj |2 = 1 e kf 1 (en )k2R = |j.xj |2 = n2 .
j=1 j=1

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

e n-linear se ela for linear em cada uma de suas n-vari


aveis, ou seja, para cada j = 1, 2, , n
temos que

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

1. Sejam E1 , E2 , , En , F espacos vetoriais sobre R. e suponhamos que

f : E1 E2 En F

e n-linear.
ao se ~xj = ~0 Ej para algum j {1, 2, , n} ent
Ent ao

f (~x1 , , ~xj1 , ~xj , ~xj+1 , , ~xn ) = ~0,

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:

(a) f (~x1 + ~y1 , ~x2 ) = f (~x1 , ~x2 ) + f (~y1 , ~x2 );


(b) f (~x1 , ~x2 + ~y2 ) = f (~x1 , ~x2 ) + f (~x1 , ~y2 );
(c) f ( ~x1 , ~x2 ) = f (~x1 , ~x2 ) e
(d) f (~x1 , ~x2 ) = f (~x1 , ~x2 ),

para ~xj , ~yj Ej , j = 1, 2 e R.


Observemos que do item 1. acima segue que

f (~0E1 , ~x2 ) = f (~x1 , ~0E2 ) = ~0F ,

para ~xj Ej , j = 1, 2 (onde ~0Ej Ej e o elemento neutro da adic


ao de Ej , j = 1, 2 e
~0F F e o elemento neutro da adicao de F ).

Temos os seguintes exemplos importantes de aplicac


oes bilineares:

Exemplo 3.5.3 Seja E um espaco vetorial sobre R.


A multiplicac
ao de n
umero real por vetor de E,
.
m : R E E, m(, ~x) = .~x, R, ~x E,

e uma aplicaca
o bilinear.
A verificac
ao deste fato e simples e ser
a deixada como exerccio para o leitor.

Exemplo 3.5.4 Seja E um espaco vetorial sobre R com produto interno.


O produto escalar de E,
< ., . >: E E R,

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.

Com isto temos a:

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 ;

2. f e contnua em (~0E , ~0F ) E F ;

3. Existe c > 0 tal que


kf (~x, ~y )kG ck~xkE k~y kF ,
para (~x, ~y ) 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

Segue imediatamente que (1. 2.) e que (4. 1).


Mostremos que (2. 3.):
Consideremos em E F a norma da soma das normas, isto e,

k(~x, ~y )kEF = k~xkE + k~y kF

(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

k~xkE + k~y kF = k(~x, ~y )kEF < ent


ao kf (~x, ~y )kG = 1. ()

. 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

kf (~x, ~y )kG = k~0G k = 0 c (k~xkE k~y kF ) (= 0).

Se (~x, ~y ) E F sao tais que ~x 6= ~0E e ~y 6= ~0F ent


ao os vetores

.
~ = .
~ =
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 < .

Logo (*) implicara que

~ 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

mostrando que 3. e verdadeira.


Mostremos que (3. 4.):
Seja U E F um subconjunto limitado de E F .
Logo existe r > 0 tal que U B[(~0E , ~0F ); r].
Mostremos que f e lipschitiziana na bola B[(~0E , ~0F ); r].
112 CAPITULO 3. FUNC
OES CONTINUAS DEFINIDAS EM ESPAC
OS METRICOS

. .
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 ,

mostrando que 4. e verdadeira e assim completando a demonstrac


ao da proposic
ao.

Por inducao pode-se demostrar o

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 ;

2. f e contnua em (~0E1 , , ~0En ) E1 En ;

3. Existe c > 0 tal que


kf (~x1 , , ~xn )kF ck~x1 kE1 k~xn kEn ,
para (~x1 , , ~xn ) 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

Como f e bilinear segue que


Xm n
X m X
X n
f (~x, ~y ) = f ( xi e~i , ~
yj fj ) = ei , f~j ).
xi yj f (~
i=1 j=1 i=1 j=1
3.5. TRANSFORMAC
OES LINEARES E MULTILINEARES DEFINIDAS EM ESPAC
OS VETORIAIS NORMADO

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

e assim, da proposicao (3.5.1) item 3., segue que f e lipschitziana em Rm Rn e portanto


contnua em Rm Rn .

Observa
cao 3.5.4
1. Se (E, k.kE ) e um espaco vetorial sobre R, normado ent
ao a aplicac
ao bilinear (ver ob-
servac
ao (3.5.5) item 1.)
m:RE E m(, ~x) = ~x, (, ~x) R E,
ser
a contnua em R E.
Isto segue do fato que se (, ~x) R E temos que
km(, ~x)kE = k~xkE = ||k~xkE = kkR k~xkE ,
ou seja, vale 3. da proposic
ao (3.5.1) (com c = 1).
Logo m ser
a contnua em R E (munido de uma das tres normas usuais).
2. Se (E, < ., . >E ) e um espaco vetorial sobre R com produto interno ent
ao a aplicac
ao
< ., . >E : E E R,
e uma aplicac
ao bilinear contnua em E E.
O fato de ser bilinear e evidente da definic
ao de produto interno.
Da desigualdade de Cauchy-Schwarz temos que
| < ~x, ~y >E | k~xkE k~y kE , ~x, ~y E.

Logo o item 3. da proposic


ao (3.5.1) ocorre (com c = 1) assim a aplicac
ao < ., . > ser
a
contnua em E E.
3. Do corolario acima segue que a func
ao determinante (ver exemplo (3.5.5) item 2.) ser
a
m m
contnua em R|
{z R } .
mfatores

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

[ 1 ] E.L. Lima - Espacos Metricos - Projeto Euclides, IMPA, 1977.

[ 2 ] G.F. Simmons - Introduction to Topology and Modern Analysis, McGraw-Hill, 1963

[ 3 ]S. Lipschutz - Topologia Geral, McGraw-Hill do Brasil, 1973.

115