Espacios metricos, equipo 5.

Tercer ejercicio
Sea X = 2
N
= {(X
n
)
nN
: X
i
= {0, 1}} y denotemos, X = (X
n
)
nN
, Y = (Y
n
)
nN
y sea:
d(X, Y ) =

0 si X = Y
1
m
si X = Y
Donde m se dene como: m = mn {k N : X
k
= Y
k
}.
Veamos que d es una metrica en X, notando que d cumple que:
1. Tenemos que si X = Y entonces d(X, Y ) = 0 y que si X = Y entonces d(X, Y ) =
1
m
, con
m = mn {k N : X
k
= Y
k
}, como m N 0 <
1
m
1, de lo cual se ve que 0 d(X, Y )
(Propiedad de no negatividad), ademas de la denicion de d es claro que d(X, Y ) = 0 X = Y .
2. Dado que X, Y X es claro entonces que mn {k N : X
k
= Y
k
} = mn {k N : Y
k
= X
k
},
por lo tanto d(X, Y ) = d(Y, X), cumpliendo asi la propiedad reexiva.
3. Observemos que la desigualdad del triangulo se cumple tambien, sean X, Y, Z X entonces
tenemos lo siguiente:
a) Si X = Y entonces 0 = d(X, Y ) d(X, Z) +d(Z, Y ).
b) Si X = Y sea entonces m = mn {k N : X
k
= Y
k
} y sea Z X si Z = X o Z = Y
(notese que no puede ser igual a ambas pues X = Y ) la desigualdad se cumple, asi pues
asumamos que no son iguales, y sea n = mn {k N : X
k
= Z
k
} tenemos que dado que
X = Y supongamos, sin perder generalidad que X
m
= 1 y Y
m
= 0 entonces si:
1) n = m entonces X
n
= Z
n
entonces Y
n
= Z
n
y por lo tanto d(X, Y ) = d(X, Z).
2) Si n < m entonces
1
m
<
1
n
pero n < m entonces X
n
= Y
n
, asi pues
1
m
= d(X, Y )
d(X, Z) +d(Z, Y ) =
1
n
+
1
n

1
m

2
n
n m < 2m.
3) Finalmente si m < n entonces X
m
= Z
m
= Y
m
por lo tanto d(X, Y ) = d(Z, Y ) asi
pues, sea cual sea el caso la desigualdad triaungular se cumple y por lo tanto d es una
metrica en X.
1