Con la metrica de Baire tenemos un espacio ultra metrico

Cristian David Chavez

1. Denici on de Espacio ultra metrico.
Un espacio ultra metrico X es un espacio metrico (X, d) en el cual la metrica d satisface la ultra-
desigualdad triangular: d(x, z) max{d(x, y), d(z, y)}.
Teorema
En un espacio ultra metrico cada punto de una bola puede ser su centro, es decir, si y B

(x)
luego se tien que B

(y) = B

(x)
Demostraci on
Estamos hablando de igualdad de conjuntos, por tanto, tenemos que demostrar que B

(y) B

(x)
y B

(x) B

(y). Por hipotesis, tenemos que d(y, x) < . Para empezar, veamos que B

(y) B

(x),
si alg un z B

(y) , luego por denicion, tendremos que d(z, y) < , pero de acuerdo a la denicion de
espacio ultra metrico, tenemos que d(x, z) max{d(x, y), d(y, z)}, si tenemos que el maximo es d(z, y)
luego, tenemos que d(x, z) d(z, y) < . Y si luego tenemos que el maximo es d(x, y) luego tendremos
que d(x, z) d(x, y) < por hipotesis.
Ahora demostremos que B

(x) B

(y), si z B

(x) luego tendremos que d(z, x) < . Pero como

tenemos un espacio ultra metrico tenemos la desigualdad,d(z, y) max{d(z, x), d(x, y)} si tenemos
que el maximo es d(z, x) , luego tenemos que d(z, y) d(z, x) < , y si el maximo es d(x, y) luego
d(z, y) d(x, y) < . Y as concluimos la demostracion.
Teorema
Si tenemos que z (B

(x) B

(y)) luego se tiene que B

(x) = B

(y).
Demostraci on
Como tenemos que z B

(x) luego B

(x) = B

(z) de acuerdo al anterior teorema, y por denicion

de , tenemos que z B

(y), luego tendremos que B

(y) = B

(z) por tanto se tiene que B

(y) = B

(x).
Y esto concluye el teorema.
2. Hablando de la metrica de Baire
Denici on
Sea X un conjunto no vaco, en X
N
denimos la metrica primeriza o de Baire, como: Dadas dos
sucesiones, x = (x
1
, x
2
, ...) y y = (y
1
, y
2
, ...), en X.
d(x, y) :=
1
k
si x
n
= y
n
para todo n < k y x
k
= y
k
Si sucede que x
n
= y
n
para todo n entonces deniremos que d(x, y) = 0
1
Demostraci on que la metrica de Baire es una metrica
Primero veremos que es mayor que 0, como cada x
k
pertenece al dominio de una funcion f : N R
luego 0 < k y por tanto 0 <
1
k
. Comprobar que d(x, y) = d(y, x) es un asunto demasiado trivial. Ahora
procedamos a ver la desigualdad triangular. Lo que realmente necesitamos ver es que
d(x, y) d(x, z) + d(z, y) Para todo x, y, z X
N
(1)
Si decimos, d(x, y) =
1
k
1
d(x, z) =
1
k
2
d(z, y) =
1
k
3
luego tendremos que ver que
1
k
1

1
k
2
+
1
k
3
(2)
Ahora, analicemos por casos; si decimos que x
n
= y
n
para todo n < k
1
y despues suponemos que se
tiene que y
n
= z
n
para cierto n < k
2
pero tambien suponemos que k
2
< k
1
luego entonces sucedera que
tambien se tendra que k
3
< k
1
pues como sabeos se tiene que x
n
= y
n
para todo n < k
1
, luego, entonces
1
k
1
<
1
k
1
+
1
k
1
<
1
k
2
+
1
k
3
, lo cual nos brinda nuestra desigualdad triangular. En el otro caso, tendremos
que puede pasar que k
1
< k
2
, pero como sabemos,se cumple que que x
n
= z
n
para n < k
2
y como se
tiene que y
n
= z
n
para n < k
3
pero como y
n
= z
n
= x
n
para n < k
1
luego tendremos que k
3
= k
1
y
por lo tanto se tiene que
1
k
1

1
k
2
+
1
k
3
(3)
los otros casos son analogos a los dos que acabo de demostrar.
Demostrando que la metrica de Baire es una ultra metrica
Tenemos que demostrar que
d(x, y) max{d(x, z), d(z, y)} Para todo x, y, z X
N
(4)
Igualmente digamos que d(x, y) =
1
k
1
d(x, z) =
1
k
2
d(z, y) =
1
k
3
, luego, supongamos que luego si el
maximo es
1
k
2
luego tendremos por el razonamiento anterior que k
3
< k
1
y por tanto
1
k
1
<
1
k
3
el otro
caso es mas trivial.
Por tanto, podemos aplicar los anteriores resultados de las ultrametricas a las metrica Baire.
2