Scribd
Cargar
81 vistas1 página

Métrica p-ádica en Conjuntos Racionales

Este documento presenta una solución a un ejercicio de topología que pide encontrar una métrica d en un conjunto X tal que cualquier punto dentro de una bola sea el centro de esa bola con el mismo radio. La solución define la métrica p-ádica en los números racionales Q, donde d(x,y) es la potencia negativa del número primo p que representa la diferencia entre x e y. Se demuestra que esta métrica cumple las propiedades de no negatividad, identidad, simetría y triangulación requeridas, y que efect

Cargado por

Anonymous s7Nowlk
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
81 vistas1 página

Métrica p-ádica en Conjuntos Racionales

Este documento presenta una solución a un ejercicio de topología que pide encontrar una métrica d en un conjunto X tal que cualquier punto dentro de una bola sea el centro de esa bola con el mismo radio. La solución define la métrica p-ádica en los números racionales Q, donde d(x,y) es la potencia negativa del número primo p que representa la diferencia entre x e y. Se demuestra que esta métrica cumple las propiedades de no negatividad, identidad, simetría y triangulación requeridas, y que efect

Cargado por

Anonymous s7Nowlk
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Ejercicio 1 - Topologa

Daniel Daro Fula Argello


2016 02 05
Encuentre una mtrica d en un conjunto X tal que dada una bola, cualquiera de sus puntos (de la
bola) es su centro (con el mismo radio), es decir: Bd (a) = Bd (b) para todo a, b Bd (a) y a 6= b.
Solucin:
Sea p un nmero primo. Cada nmero racional x diferente de cero puede ser expresado como pk r/s para
un nico valor de k Z, donde r Z, s Z+ y ni r ni s es divisible por p. Definimos | x |p como pk y
| 0 |p como 0. La mtrica p-dica en Q se define como d(x, y) =| x y |p . Veamos que d es mtrica
1 d(x, y) 0 para todo x, y Q : De la definicin de d se deduce que d(x, y) es siempre positiva.
2 d(x, y) = 0 si y solo si x = y : Supongamos por contradiccin que x y 6= 0 y que d(x, y) = 0
entonces pk = d(x, y) para algn k en Z, pero pk 6= 0 = d(x, y) para todo k en Z. Si x = y,
entonces x y = 0 y por lo tanto d(x y) =| 0 |p = 0.
3 d(x, y) = d(y, x) para todo x y y en Q: Consideremos los casos para los que x y = 0 y x y 6= 0.
Si x y = 0, entonces d(x, y) =| x y |p =| y x |p = d(y, x). Ahora tomemos el otro caso, es decir,
x y 6= 0, luego d(x, y) =| x y |p por lo cual existen r Z, s N que no son divisibles por p
y un nico k en Z tales que x y = pk r/s. Pero pk siempre es un nmero positivo, por lo que
y x = (x y) = pk (r/s). Es decir que k es el mismo tanto para x y como para y x. As
entonces por definicin d(x, y) =| x y |p = pk =| y x |p = d(y, x).
4 d(x, z) d(x, y) + d(y, z) para cualesquiera x, y y z en Q: Si x = y = z el resultado se tiene
trivialmente, pues 0 0 + 0. Supongamos que x 6= z y sin prdida de generalidad que x = y,
entonces d(x, y) + d(y, z) = 0 + d(y, z) y como x = y entonces d(y, z) = d(x, z), es decir que
d(x, y) + d(y, z) d(x, z). Por ltimo supongamos que x 6= y 6= z, entonces x y = pm r1 /s1 y
yz = pn r2 /s2 donde m, n, r1 y r2 estn en Z, s1 , s2 estn en Z+ , m y n son nicos y ni r1 , r2 ,s1 ni s2
dividen a p. As, xz = xy +y z = pm r1 /s1 +pn r2 /s2 = (pm r1 s2 +pn r2 s1 )/(s1 s2 ). Supongamos
que m > n, entonces x z = pn (pmn r1 s2 + r2 s1 )/(s1 s2 ). pmn r1 s2 + r2 s1 no es divisible por p pues
el primer trmino lo es, pero el segundo no, por lo tanto la suma no puede serlo. s1 y s2 no dividen
a p, por lo que s1 s2 tampoco divide a p. Luego n es el nico entero para el cual xz se escribe de la
forma pk r/s y as d(x, z) = pn = d(y, z). Por lo tanto d(x, y)+d(y, z) = pm +pn > pn = d(x, z)
pues pm > 0 y por lo tanto d(x, y) + d(y, z) > d(x, z). Razonando similarmente se obtiene que si
n m, entonces d(x, y) = d(x, z) y por lo tanto se tiene d(x, y) + d(y, z) > d(x, z). De lo anterior
se puede deducir que d(x, z) = mx{d(x, y), d(y, z)} para todo x, y y z en Q.
Hemos mostrado que la funcin definida anteriormente es una mtrica, veamos que satisface la condicin
que pide el ejercicio. Sea  > 0, x Q y y B (x). Si z B (x) entonces d(x, z) < . Como
y B (x) entonces d(x, y) < . Por lo visto en la demostracin de la transitividad de d, d(y, z) =
mx{d(x, z), d(x, y)}, pero en cualquier caso d(y, z) < , por lo tanto z B (y), es decir B (x) B (y).
Supongamos ahora que z B (y). Entonces d(y, z) <  y como y B (x) entonces d(x, y) < . Por lo
visto en la demostracin de la transitividad de d, d(x, z) = mx{d(y, z), d(x, y)}, pero en cualquier caso
d(x, z) < , por lo tanto z B (x), es decir B (y) B (x). As concluimos que B (x) = B (y) que era
lo que se quera.

También podría gustarte