MATEMTICA. QU SON LOS NMEROS P-ADICOS?. CARLOS S.

CHINEA, OCTUBR 2000

QU SON LOS NMEROS P-ADICOS?

--------------------------El presente trabajo de divulgacin est basado en el artculo " Los nmeros p -dicos", de Daniel Barsky y Gilles Christol, publicado en Mundo Cientfico (n 161, vol 15), y que amablemente nos ha hecho llegar nuestro amigo de la UNED Fran Arias. ---------------------------

0. Introduccin. Construccin del cuerpo R de los nmeros reales usando la nocin de valor absoluto y distancia euclidianos. 1. Valor absoluto p -dico y distancia p-dica. El Cuerpo Qp de los nmeros p-dicos. 2. Utilidad de los nmeros p-dicos. 3. Los nmeros p-dicos y la fsica. 4. Bibliografa.

0. Introduccin. El proceso de construccin del cuerpo nmeros reales usando la nocin de distancia euclidiana:

de

los

El conjunto infinito de los nmeros reales puede definirse como un cuerpo conmutativo, ordenado y completo. Cmo construir este cuerpo desde el cuerpo Q de los nmeros racionales mediante sucesiones?. Daremos los pasos siguientes: a. Definir el conjunto SQ de las sucesiones de nmeros racionales, del cual se puede trivialmente probar que se trata de una lgebra lineal sobre Q, conmutativa, asociativa y con elemento unidad para su operacin multiplicativa. b. Definir el subconjunto SA de SQ , formado por las sucesiones acotadas de nmeros racionales, del cual tambin trivialmente se obtiene que se trata de una lgebra sobre Q, sublgebra del lgebra SQ . c. Tambin podemos considerar el conjunto SL de las sucesiones de nmeros reales con lmite, el cual es, tambin, un lgebra sobre Q, sublgebra del lgebra SA y, por tanto, tambin sublgebra de SQ . El conjunto P0 de estas sucesiones que tienen lmite nulo (que llamaremos sucesiones nulas) es un ideal primo del lgebra SL . d. Definir el concepto de sucesin de Cauchy: "Una sucesin de nmeros racionales (an) es de Cauchy si, y solo s,

> 0, n / n1 , n 2 n an1 an 2 <

notemos que hemos utilizado el concepto clsico, euclidiano, de valor absoluto, o de distancia, entre los elementos an1 y an2 . El conjunto SC de las sucesiones de Cauchy est contenido en el conjunto SA de las sucesiones acotadas SA , y, tambin, contiene al conjunto SL de las sucesiones con lmite:

DIVULGACIN DE LA MATEMTICA EN LA RED

MATEMTICA. QU SON LOS NMEROS P-ADICOS?. CARLOS S. CHINEA, OCTUBR 2000

SL SC SA
Adems, S es, tambin, lgebra sobre Q, sublgebra de SA , con el C mismo elemento unidad. e. La relacin de equivalencia R, definida en Sc, conjunto cociente es: que da SC /(p0 ) como

( a n ) R(bn ) ( an ) (bn ) p0

f.

El conjunto R = SC /(p0 ) es un cuerpo conmutativo, ordenado y completo, esto es, se trata del cuerpo de los nmeros reales, en el cual la restriccin del orden de R a Q coincide con el rden de Q. Se prueba que si existieran dos cuerpos conmutativos, ordenados y completos, ambos seran isomorfos.

De esta manera es posible construir un cuerpo R de nmeros, los nmeros reales. que complete al cuerpo Q de los nmeros racionales, esto es, que incluya tambin los nmeros llamados "irracionales", nmeros no expresables mediante cocientes de enteros. Para ello hemos tenido que construir las sucesiones de Cauchy, usando el concepto de valor absoluto euclidiano y de distancia euclidiana. Si, en su lugar, usamos un concepto distinto de valor absoluto y de distancia, el cuerpo numrico obtenido no ser entonces el cuerpo R de los nmero reales. El cuerpo que se obtiene al extender Q depende de la forma de definir el valor absoluto y la distancia. En lo que sigue vamos a dar una definicin distinta de valor absoluto y distancia, que llamaremos p-dicos.

1. Valor absoluto p-dico y distancia p-dica. El cuerpo Qp de los nmeros p-dicos: Definicin: Dado un nmero entero primo, p, se llama valor absoluto p -dico de un entero positivo, n, al inverso de pr, donde es pr la mayor potencia de p que divide a n. Es decir, si la mayor potencia de p que divide al entero n es pr, entonces podemos escribir que:

np =
Ejemplos:

1 pr

1 1 = = 0,25 2 2 4 1 60 3 = = 0,3333... 3 1 1 40 2 = 3 = = 0,125 2 8 60 2 =

Propiedades: a) El valor absoluto p -dico de un nmero entero negativo es igual al valor absoluto p-dico de su opuesto:

np = n

b) El valor absoluto p-dico de cero es cero:

DIVULGACIN DE LA MATEMTICA EN LA RED

MATEMTICA. QU SON LOS NMEROS P-ADICOS?. CARLOS S. CHINEA, OCTUBR 2000

=0

c) El valor absoluto p -dico de un nmero racional, m/n, es el cociente de los valores absolutos p-dicos del numerador y denominador:

m n
Definicin:

=
p

mp n
p

Se llama distancia p-dica entre dos nmeros racionales, n y m, al valor absoluto p-dico de su diferencia. Propiedades: Si los dos nmeros, m y n, fueran enteros, la distancia p-dica es menor cuanto mayor es la potencia de p que divide a la diferencia de ambos nmeros m - n. Dados tres nmeros, m, n, q, la distancia p -dica entre dos de ellos, m y q, es menor que la mayor de las distancias entre m y n, y entre n y q. Esta propiedad, que no se cumple en las distancias euclidianas, es llamada por Daniel Barsky y Gilles Christo, en su artculo, "ultramtrica". Se obtiene, en definitiva, usando este concepto de valor absoluto y de distancia, un cuerpo Qp de nmeros, que se llama el Cuerpo de los nmero p-dicos. Representacin: De la misma manera que cualquier nmero real admite una representacin decimal de la forma

a q 10 q + ... + a 2 10 2 + a1 10 + a 0 10 0 + a1 10 1 + a 2 10 2 + ...
Donde los ai son enteros comprendidos entre 0 y 9, tambin los nmeros p-dicos admiten una representacin anloga, los llamados "desarrollos de Hensel":

a n p n + ... + a 2 p 2 + a1 p 1 + a0 p 0 + a1 p1 + a2 p 2 + ...
Donde los ai estn ahora comprendidos entre 0 positivo. Veamos un ejemplo: Representacin decimal y 5-dica del nmero -0,25: a) Representacin decimal: y p - 1, y n es un cierto entero

0,25 = 0.10 0 2.10 1 5.10 2

b) Representacin 5-dica:

0,25 =

2 (se ha empleado la frmula geomtrica 1/1-x = 1 + x + x + x3 + ..., vlida si el valor absoluto de x es menor que la unidad. En este caso vale, pues el valor absoluto 5-dico de 5 es 1/5).

1 1 = = 1 + 5 + 5 2 + 5 3 + ... 4 15

DIVULGACIN DE LA MATEMTICA EN LA RED

MATEMTICA. QU SON LOS NMEROS P-ADICOS?. CARLOS S. CHINEA, OCTUBR 2000 2. Utilidad de los nmeros p-dicos: El manejo y la utilizacin de los nmeros p-dicos entraa una dificultad mayor, obviamente, que el uso de los nmeros reales, no obstante, es posible el desarrollo de un Anlisis p-dico con tratamiento de funciones, series, ecuaciones diferenciales, etc.., situando todos estos temas dentro del campo p -dico, de los nmeros p-dicos, no en el campo de los nmeros reales. Los resultados de este anlisis p-dico son mas sencillos en algunos casos que el anlisis clsico dentro del campo de los nmeros reales. Pra qu sirven los nmeros p-dicos y el anlisis que permiten elaborar? Para utilizarlos se puede hacer intervenir una sola distancia p -dica (un solo primo p) o bien todas las distancias p-dicas que se puedan definir en los nmeros racionales. El inters de este segundo enfoque estriba en la obtencin de una frmula que relaciona a todos los valores absolutos p-dicos de un nmero racional con el valor absoluto clsico de dicho nmero.

m m m m n . ... ... ... = n2 n3 n5 n p m

(se demuestra mediante descomposicin de los enteros m y n en sus factores primos) Combinando estos enfoques pueden obtenerse resultados expresables de la manera clsica, esto es, sin que intervengan expresiones p-dicas. En esto parece ser que reside la utilidad fundamental de estos nmeros. Un ejemplo notable, sealado en el artculo de Daniel Barsky y Gilles Christol, utilizado, como ya se ha dicho para construir este trabajo, es la demostracin del Teorema de Fermat, culminada hace solo unos meses por el profesor Andrew Wiles, de Princeton. "No existen enteros positivos, no nulos, a, b, c, tales que si n > 2." a
n

bn

c n,

3. Los nmeros p-dicos y la fsica: Los nmeros p-dicos intervienen no solo en matemticas puras, sino tambin tienen un cierto papel dentro de algunos campos de la fsica. La propiedad ultramtrica de la distancia p-dica proporciona un ejemplo de estructura arborescente utilizable en la descripcin de algunos procesos fsicos: a) El estudio terico de las p ropiedades termodinmicas de los vidrios de spn (materiales desordenados que contienen partculas imantadas, cuya orientacin debe ajustarse para minimizar las interacciones magnticas), la llamada "tcnica de las rplicas" consiste en considerar n muestras idnticas, calcular la energa de interaccin magntica y hacer tender formalment, en los clculos, el entero n a cero. En realidad, la tcnica de las rplicas equivale a considerar una serie de enteros que tiende p dicamente a cero para todos los nme ros primos p a la vez.

DIVULGACIN DE LA MATEMTICA EN LA RED

MATEMTICA. QU SON LOS NMEROS P-ADICOS?. CARLOS S. CHINEA, OCTUBR 2000 b) Los fsicos tericos especulan sobre la estructura del espacio y el tiempo a muy pequea escala. Las leyes de la relatividad general y de la fsica cuntica indican que no es posible medir longitudes inferiores a la llamada longitud de Planck, del orden de 10- 3 5 metros. La existencia de una distancia mnima sugiere la posibilidad de que, a esa escala, la estructura ltima del espacio tiempo pueda describirse no en trminos de estructura de nmeros reales, sino en trminos de estructura p-dica.

4. Bibliografa: Sealamos como recomendable, el artculo utilizado para construir este trabajo, y la bibliografa que en l figura: Z.I BOREVITCH y I.R. CHAFAREVITCH, 1967. Thorie des nombres, Gautiers-Villars,

G. CHRISTOL, p-adic numbers and ultrametricity, en From Number Theory to Physics (Waldschmidt et al., eds.), Springer, 1992. R.RAMMAL et a., "Ultrametricity for Physcics, Rev. Mod. Phys., 58, 1986. Y. YAMICE, Les nombres p-adiques, PUF, 1975. B. DWORK, G. GEROTTO, F. SULLIVAN, An introduction to G -functions, Annals of Math. N. KOBLITZ, p-adic numbers, p -adic analysis and Zeta functions, 2 ed., SpringerVerlag, 1984 V.S. VLADIMIROV, I.V. VOLOVICH y E.I. mathematical physics, Word Scientific, 1994 ZELENOV, p-adic anlisis and

----oo0oo----

DIVULGACIN DE LA MATEMTICA EN LA RED