Espacos Metricos

Marcio Nascimento da Silva

8 de janeiro de 2009
Resumo
Dado um conjunto nao vazio, podemos denir uma maneira de medir a distancia
entre os seus elementos, o que chamamos de metrica. Assim, o conjunto passa a
ser um espaco metrico. Este trabalho e apenas uma apresentacao `a este importante
conceito (de grande utilidade em analise funcional, por exemplo). Um estudo, de
fato, necessita de um semestre, de preferencia com uma certa familiaridade com
analise real.
1 Metricas
Seja X um conjunto nao vazio. Uma metrica em X e uma func ao
d : M M R
(x, y) d(x, y)
que satisfaz:
(i) d(x, x) = 0
(ii) Se x ,= y ent ao d(x, y) > 0
(iii) d(x, y) = d(y, x)
(iv) d(x, z) d(x, y) +d(y, z)
Exemplo 1.1 Seja M um conjunto qualquer nao vazio e dena a funcao:
d : M M R
(X, Y ) d(X, Y ) =
_
0 se X = Y
1 se X ,= Y
(i) Pela propria denicao, d(X, X) = 0 para qualquer X M.
(ii) Tambem por denicao, d(X, Y ) = 1 > 0 sempre que X ,= Y .
(iii) Claramente d(X, Y ) = d(Y, X) uma vez que X = Y Y = X e X ,= Y Y ,=
X.
1
(iv) Sejam X, Y, Z elementos quaisquer em M. Entao
d(X, Z) = 0 ou d(X, Z) = 1
d(X, Y ) = 0 ou d(X, Y ) = 1
d(Y, Z) = 0 ou d(Y, Z) = 1
Da
d(X, Y ) +d(Y, Z) = 0 ou d(X, Y ) + d(Y, Z) = 1 ou d(X, Y ) + d(Y, Z) = 2
E de toda forma,
d(X, Z) d(X, Y ) + d(Y, Z)
Desta maneira, temos uma metrica, chamada metrica zero-um. Na verdade, acabamos
de ver que em qualquer conjunto nao vazio podemos denir uma metrica.

Exemplo 1.2 Considere o conjunto dos n umeros reais R e a funcao

d : R R R
(x, y) d(x, y) = [x y[
(i) d(x, x) = [x x[ = 0
(ii) Se x ,= y entao x y ,= 0 e portanto, [x y[ > 0, isto e, d(x, y) > 0.
(iii) d(x, y) = [x y[ = [(1).(y x)[ = [ 1[.[y x[ = 1.[y x[ = d(y, x)
(iv) Sejam x, y, z n umeros reais quaisquer. Sabemos da desigualdade triangular que
[x z[ [x y[ +[y z[

Exemplo 1.3 Considerando M = R

n
= (x
1
, x
2
, . . . , x
n
) ; x
i
R , ha tres metricas
naturais denidas em M:
d : R
n
R
n
R
(X, Y ) d(X, Y ) =
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
+. . . + (x
n
y
n
)
2
d

: R
n
R
n
R
(X, Y ) d

(X, Y ) = [x
1
y
1
[ +[x
2
y
2
[ +. . . +[x
n
y
n
[ =
n

i=1
[x
i
y
i
[
2
d

: R
n
R
n
R
(X, Y ) d

(X, Y ) = max[x
1
y
1
[, . . . , [x
n
y
n
[ = max
1in
[x
i
y
i
[
As condicoes (i), (ii), (iii) que caracterizam uma metrica podem ser facilmente provadas
para d, d

, d

. A condicao (iv) e imediata para d

e d

, ja para d, a condicao (iv) sera vista

mais adiante.

2 Espacos Metricos
Dado um conjunto nao vazio M e uma metrica d denida em M, o par (M, d) sera
chamado espaco metrico. Quando nao houver d uvida quanto a metrica denida, diremos
simplesmente que M e um espaco metrico.
Num espaco metrico (M, d), a metrica d tambem e chamada distancia.
Exemplo 2.1 O conjunto das matrizes M(m, n) com entradas reais e a metrica zero-um.
Exemplo 2.2 O espaco euclidiano R
n
com a metrica
d(X, Y ) =
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
+. . . + (x
n
y
n
)
2
onde X = (x
1
, x
2
, . . . , x
n
), Y = (y
1
, y
2
, . . . , y
n
). Geometricamente, esta metrica repre-
senta a distancia euclidiana entre os pontos X e Y .
d
x
x
y
y
1
1
2
2
Figura 1: Metrica d.
Essa metrica nos da a distancia usual entre dois pontos do espaco R
n
e e chamada
metrica euclidiana.

3
3
1
2
|x y |
|x y |
1
|x y |
2
3
Figura 2: Metrica d

em R
3
.
Exemplo 2.3 O espaco euclidiano R
n
com a metrica
d

: R
n
R
n
R
(X, Y ) d(X, Y ) = [x
1
y
1
[ +[x
2
y
2
[ +. . . +[x
n
y
n
[
Geometricamente, a distancia entre dois pontos e considerada como a soma das
distancias em cada direcao. A Figura 2 traz um exemplo em R
3
.
Exemplo 2.4 O espaco euclidiano R
n
com a metrica
d

: R
n
R
n
R
(X, Y ) d(X, Y ) = max
1in
[x
i
y
i
[
Esta metrica da uma outra maneira de calcular a distancia entre dois pontos, que e
considerando a maior distancia entre as distancias em todas as direcoes, como mostra a
Figura 3
Proposicao 2.1 Sejam d, d

, d

as metricas naturais denidas em R

n
. Para quaisquer
X, Y R
n
, temos:
d

(X, Y ) d(X, Y ) d

(X, Y ) n.d

(X, Y )
Prova: Sejam X = (x
1
, x
2
, . . . , x
n
), Y = (y
1
, y
2
, . . . , y
n
) R
n
. Ent ao
d

(X, Y ) = max
1in
[x
i
y
i
[ = [x
k
y
k
[
para algum k 1, 2, . . . , n. Como
[x
k
y
k
[ =
_
(x
k
y
k
)
2

_
(x
1
y
1
)
2
+. . . + (x
k
y
k
)
2
+. . . + (x
n
y
n
)
2
= d(X, Y )
4
3
1
2
|x y |
|x y |
1
|x y |
2
3
d
Figura 3: Metrica d

em R
3
.
segue que
d

(X, Y ) d(X, Y )
Observe ainda que
d

(X, Y ) = max
1in
[x
i
y
i
[ = [x
k
y
k
[
implica que [x
i
y
i
[ [x
k
y
k
[ para todo i 1, 2, . . . , n e
d

(X, Y ) = [x
1
y
1
[ +[x
2
y
2
[ +. . . +[x
n
y
n
[
[x
k
y
k
[ +[x
k
y
k
[ +. . . +[x
k
y
k
[ = n.[x
k
y
k
[
= n.d

(X, Y )
Resta ver que
d(X, Y ) d

(X, Y )
para isso, note que
[d(X, Y )]
2
= (x
1
y
1
)
2
+. . . + (x
n
y
n
)
2
enquanto
[d

(X, Y )]
2
= [[x
1
y
1
[ +. . . +[x
n
y
n
[]
2
= [x
1
y
1
[
2
+ 2.[x
1
y
1
[.
_
n

i=2
[x
i
y
i
[
_
+
_
n

i=2
[x
i
y
i
[
_
2
= [x
1
y
1
[
2
+
_
n

i=2
[x
i
y
i
[
_
2
+ 2.[x
1
y
1
[.
_
n

i=2
[x
i
y
i
[
_
5
Desenvolvendo
_
n

i=2
[x
i
y
i
[
_
2
, teremos
_
n

i=2
[x
i
y
i
[
_
2
= [[x
2
y
2
[ +. . . +[x
n
y
n
[]
2
= [x
2
y
2
[
2
+ 2.[x
2
y
2
[.
_
n

i=3
[x
i
y
i
[
_
+
_
n

i=3
[x
i
y
i
[
_
2
Repetindo o processo, teremos
[d

(X, Y )]
2
= [x
1
y
1
[
2
+. . . +[x
n
y
n
[
2
+
onde 0. Desta forma,
[d

(X, Y )]
2
= [d(X, Y )]
2
+
e portanto
[d(X, Y )]
2
[d

(X, Y )]
2
que implica em
d(X, Y ) d

(X, Y )
uma vez que d, d

sao nao negativos.

2.1 Algumas consideracoes sobre os n umeros reais

Um subconjunto X dos n umeros reais chama-se limitado superiormente quando existe
b R tal que b x para qualquer x R. O n umero b e chamado uma cota superior para
X.
b
X
Figura 4: Conjunto limitado superiormente.
Analogamente, se X e um subconjunto de R tal que a x para qualquer x X, ent ao
X e dito limitado inferiormente. O n umero a e chamado uma cota inferior para X.
Veja que quando b e uma cota superior para X, ent ao qualquer B > b, tambem e
uma cota superior para X. Da mesma forma, se a e uma cota inferior para X, qualquer
n umero A < a tambem e uma cota inferior para X. Vale ressaltar que uma cota (superior
ou inferior) de um conjunto X nao precisa ser elemento de X.
No entanto, dado um conjunto X limitado superiormente, podemos tomar a menor
cota dentre todas as cotas superiores. Esta cota e chamada supremo de X, isto e:
6
X
a
Figura 5: Conjunto limitado inferiormente.
(1) Considere o conjunto formado por todas as cotas superiores de X, digamos S;
(2) Tome o menor elemento de S, digamos,
(3) Supremo de X = . Notacao: = sup X.
Por exemplo, se X = [0, 1), entao qualquer elemento em [1, +) e uma cota superior
para X no entanto, o supremo de X e o menor elemento de [1, +), isto e, sup X = 1.
De maneira analoga denimos o nmo de um conjunto X R sendo a maior das
cotas inferiores de X, isto e:
inf X = maxa R ; a x, x X
Voltando ao conjunto X = [0, 1), vemos que inf X = 0.

E claro que nem todo subconjunto
de X possui supremo e/ou nmo. Por exemplo, o conjunto X = [0, +) nao e limitado
superiormente, portanto, nao existem cotas superiores nem supremo para X. Da mesma
forma o conjunto X = (, 1) nao e limitado inferiormente e portanto nao possui cotas
inferiores, o que implica na nao existencia de nmo. O conjunto R nao e limitado nem
inferiormente nem superiormente.
Exemplo 2.5 Seja um conjunto nao vazio. Dizemos que uma funcao f : R
e limitada quando existe um k > 0 tal que [f(x)[ k para todo x . Considere o
conjunto de todas as funcoes denidas em e limitadas:
B(; R) = f : R ; f limitada
Vamos denir a seguinte metrica em B(; R):
d(f, g) = sup
xX
[f(x) g(x)[
Geometricamente, d da o comprimento da maior corda vertical ligando os dois gracos,
como mostra a Figura 6
Esta metrica e conhecida como metrica do sup. Veriquemos que, de fato, se trata
de uma metrica em B(; R).
(i) d(f, f) = sup
xX
[f(x) f(x)[ = sup
xX
0 = 0
(ii) Se f ,= g, entao existe x
0
X tal que f(x
0
) ,= g(x
0
), da, [f(x
0
) g(x
0
)[ > 0. Como
sup
xX
[f(x) g(x)[ [f(x
0
) g(x
0
)[, segue que d(f, g) > 0.
7
f
g
X
d(f,g)
Figura 6: Metrica do sup para o conjunto B(; R).
(iii) Como [f(x) g(x)[ = [g(x) f(x)[, temos,
d(f, g) = sup
xX
[f(x) g(x)[ = sup
xX
[g(x) f(x)[ = d(g, f)
(iv) Sejam f, g, h B(; R). Entao
d(f, g) = sup
xX
[f(x) g(x)[
d(g, h) = sup
xX
[g(x) h(x)[
Como [f(x) g(x)[ e [g(x) h(x)[ sao n umeros positivos, entao
sup
xX
[f(x) g(x)[ + sup
xX
[g(x) h(x)[ = sup
xX
[f(x) g(x)[ +[g(x) h(x)[
Por outro lado, pela desigualdade triangular,
[f(x) h(x)[ [f(x) g(x)[ +[g(x) h(x)[
para qualquer x X. Da,
sup
xX
[f(x) h(x)[ sup
xX
[f(x) g(x)[ +[g(x) h(x)[
isto e
d(f, h) d(f, g) + d(g, h)

Exemplo 2.6 Considere o conjunto ([a, b] das funcoes contnuas denidas no intervalo
[a, b]. Dena em ([a, b] a funcao
d(f, g) =
_
b
a
[f(t) g(t)[dt
Tal funcao e uma metrica. Com efeito,
8
(i) d(f, f) =
_
b
a
[f(t) f(t)[dt =
_
b
a
0.dt = 0
(ii) Se f ,= g, entao existe x [a, b] tal que f(x) ,= g(x) e portanto f(x) g(x) ,= 0. Da
d(f, g) =
_
b
a
[f(t) g(t)[dt > 0
(iii) Como [f(x) g(x)[ = [g(x) f(x)[ para qualquer x X, entao
d(f, g) =
_
b
a
[f(t) g(t)[dt =
_
b
a
[g(t) f(t)[dt = d(g, f)
(iv) Dadas f, g, h ([a, b], temos
[f(x) h(x)[ = [f(x) g(x) + g(x) h(x)[ [f(x) g(x)[ +[g(x) h(x)[
para qualquer x [a, b]. Sendo as funcoes [f(x)h(x)[ e [f(x)g(x)[+[g(x)h(x)[
contnuas (portanto, integraveis), segue que
[f(x) h(x)[ [f(x) g(x)[ +[g(x) h(x)[
implica em
_
b
a
[f(t)h(t)[dt
_
b
a
[[f(t)g(t)[+[g(t)h(t)[]dt =
_
b
a
[f(t)g(t)[dt+
_
b
a
[g(t)h(t)[dt
ou seja
d(f, h) d(f, g) + d(g, h)
Logo, com a metrica dada, ([a, b] e um espaco metrico.

2.2 Espacos Vetoriais Normados

Seja V um espaco vetorial real. Uma norma em V e uma func ao real
: V R
v (v)
que associa a cada elemento v V o n umero real (v) chamado norma de v e alem disso
satisfaz:
(N1) Se v ,=

0
V
entao (v) ,= 0.
(N2) Se R entao (.v) = [[.(v)
(N3) (u +v) (u) + (v)
9

E mais comum usarmos a notac ao [[v[[ em vez de (v).

Quando no espaco vetorial V puder ser denida uma norma, dizemos que (V, [[ [[) e
um espa co vetorial normado, ou simplesmente V e um espaco vetorial normado.
Exemplo 2.7 (Normas em R
n
) Considere o espaco vetorial
R
n
= X = (x
1
, x
2
, . . . , x
n
) ; x
i
R
e as funcoes
[[X[[ =
_
x
2
1
+x
2
2
+. . . +x
2
n
[[X[[

= [x
1
[ +[x
2
[ +. . . +[x
n
[
[[X[[

= max[x
1
[, [x
2
[, . . . , [x
n
[
Todas essas funcoes sao normas em R
n
.

Exemplo 2.8 No conjunto B(; R)

1
, dena a funcao
[[f[[ = sup
xX
[f(x)[
Temos ai uma norma, e portanto, B(; R) e um espaco vetorial normado.

Todo espaco vetorial normado (V, [[ [[) pode se tornar um espaco metrico. Basta
denirmos a metrica da seguinte forma:
d(u, v) = [[u v[[
Esta metrica e dita proveniente da norma. Veriquemos que, de fato, [[u v[[ e uma
metrica:
(i) d(X, X) = [[X X[[ = [[

0 [[ = [[0.

0 [[ = [0[.[[

0 [[ = 0
Da tambem temos que
0 = [[X X[[ = [[X + (X)[[ [[X[[ +[[ X[[ = [[X[[ +[ 1[.[[X[[ = 2[[X[[
e portanto [[X[[ 0.
(ii) Se X ,= Y entao X Y ,=

0 , logo, [[X Y [[ ,= 0 e portanto d(X, Y ) > 0.
(iii) d(X, Y ) = [[X Y [[ = [[(1).(Y X)[[ = [ 1[.[[Y X[[ = [[Y X[[ = d(Y, X)
(iv) Dados X, Y, Z V , temos
d(X, Z) = [[XZ[[ = [[XY +Y Z[[ [[XY [[ +[[Y Z[[ = d(X, Y ) +d(Y, Z)
1
verique que se trata realmente de um espaco vetorial.
10
2.3 Espacos Vetoriais com produto interno
Seja V um espaco vetorial real. Um produto interno em V e uma func ao
, ) : V V R
(X, Y ) X, Y )
que associa a um par de elementos X, Y V o n umero real X, Y ) chamado produto
interno de X por Y e satisfaz as seguintes condic oes
(1) Se u, v, w V ent ao u +v, w) = u, w) +v, w)
(2) Se u, v V e R, ent ao u, v) = u, v)
(3) u, v) = v, u)
(4) Se u ,=

0
V
entao u, u) > 0
Dessas propriedades, decorrem:
u, v +w) = u, v) +u, w)
u, v) = u, v)

0
V
, u) = 0
A partir de um produto interno, podemos denir uma norma em um espaco vetorial
(V, , )). Basta denir:
[[X[[ =
_
X, X)
Neste caso dizemos que a norma provem de um produto interno. De fato,
(N1) Se X ,=

0 entao [[X[[ =
_
X, X) > 0 pela condicao (4).
(N2) [[.X[[ =
_
X, X) =
_
()
2
X, X) = [[.
_
X, X) = [[.[[X[[
Para provar (N3), antes precisamos do seguinte resultado:
Proposicao 2.2 (Desigualdade de Cauchy-Schwarz)
[X, Y )[ [[X[[.[[Y [[
Prova: Se X =

0 , ent ao X, Y ) = 0 e [[X[[ = 0, o que torna obvia a desigualdade.
Agora vamos supor X ,=

0 . Entao [[X[[ > 0 e podemos denir o seguinte n umero
=
X, Y )
[[X[[
2
Desta forma, se tomarmos o elemento Z = Y X, temos
Z, X) = Y, X)
X, Y )
[[X[[
2
X, X) = Y, X)
X, Y )
[[X[[
2
.[[X[[
2
= 0
11
Sendo Z = Y X, temos Y = Z +X e
Y, Y ) = Z, Z) +Z, X) +X, Z) +
2
X, X)
isto e
[[Y [[
2
= [[Z[[
2
+
2
[[X[[
2
+ 2X, Z) = [[Z[[
2
+
2
[[X[[
2
uma vez que Z, X) = 0. Da
[[Y [[
2
= [[Z[[
2
+
2
[[X[[
2
= [[Y [[
2

2
[[X[[
2
Mas

2
[[X[[
2
=
_
X, Y )
[[X[[
2
_
2
[[X[[
2
=
_
X, Y )
[[X[[
_
2
Da
[[Y [[
2

_
X, Y )
[[X[[
_
2
isto e,
X, Y )
2
[[X[[
2
[[Y [[
2
e extraindo a raiz quadrada nos dois membros, temos
[X, Y )[ [[X[[.[[Y [[

Voltando a prova de (N3):

[[X +Y [[
2
= X +Y, X +Y )
= [[X[[
2
+[[Y [[
2
+ 2X, Y )
[[X[[
2
+[[Y [[
2
+ 2.[X, Y )[
[[X[[
2
+[[Y [[
2
+ 2.[[X[[.[[Y [[ = ([[X[[ +[[Y [[)
2
Observa cao 2.1 Nem toda norma provem de um produto interno!
Uma forma de saber se uma dada norma provem ou nao de um produto interno e a
seguinte
Teorema 2.1 Se uma norma [[ [[ num espaco vetorial V provem de um produto interno,
entao vale a lei do paralelogramo:
[[X +Y [[
2
+[[X Y [[
2
= 2([[X[[
2
+[[Y [[
2
)
Prova: Suponha que a norma [[ [[ provem de um produto interno, isto e, dado X V ,
vale:
[[X[[ =
_
X, X)
Desta forma, temos
[[X +Y [[
2
+[[X Y [[
2
= X +Y, X +Y ) +X Y, X Y )
= [[X[[
2
+ 2X, Y )[[Y [[
2
+[[X[[
2
2X, Y ) +[[Y [[
2
= 2[[X[[
2
+ 2[[Y [[
2
= 2([[X[[
2
+[[Y [[
2
)
12

Desta forma, se nao vale a lei do paralelogramo, a norma nao provem de um produto
interno.
Exemplo 2.9 Considere o conjunto ([0, 1] e a norma
[[f[[ = sup
x[0,1]
[f(x)[
Tome, por exemplo, dena h(x) = 2x 1 e
f(x) =
[h(x)[ h(x)
2
g(x) =
[h(x)[ +h(x)
2
Desta forma
f(x) g(x) = h(x) f(x) + g(x) = [h(x)[
Portanto,
[[f g[[ = sup
x[0,1]
[ h(x)[ = 1
[[f +g[[ = sup
x[0,1]

[h(x)[

= 1
[[f[[ = 1, [[g[[ = 1
Assim,
[[f g[[
2
+[[f +g[[
2
= 2
e
2([[f[[
2
+[[g[[
2
) = 4

Vimos, ent ao, que num espaco vetorial com produto interno, podemos denir uma
metrica a partir do produto interno, uma vez que a partir deste, obtemos uma norma:
d(X, Y ) = [[X Y [[ = X Y, X Y ) = [[X[[
2
+[[Y [[
2
2X, Y )
Exemplo 2.10 (Espacos vetoriais com produto interno) Considerando o espaco ve-
torial R
n
, dados dois elementos X = (x
1
, x
2
, . . . , x
n
), Y = (y
1
, y
2
, . . . , y
n
), a funcao
X, Y ) = x
1
.y
1
+x
2
.y
2
+. . . +x
n
.y
n
e um produto interno em R
n
. A norma que provem desse produto interno e
[[X[[ =
_
X, X) =
_
x
2
1
+x
2
2
+. . . +x
2
n
e a metrica denida por esse produto interno e
d(X, Y ) = [[X Y [[ =
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
+. . . + (x
n
y
n
)
2

Referencias
[1] LIMA, Elon Lages. CURSO DE AN

ALISE, vol. 1. Projeto Euclides, Rio de Janeiro,

1995.
[2] LIMA, Elon Lages. ESPAC OS M

ETRICOS. Projeto Euclides, Rio de Janeiro, 1993.

13