Número p-ádico


Número p-ádico

Para cada número primo p, los números p-ádicos forman una extensión de cuerpos de los números racionales descritos por primera vez por Kurt Hensel en 1897. Fueron usados en la resolución de varios problemas en Teoría de números, a menudo con el principio local-global de Helmut Hasse , que dice, más o menos, que una ecuación puede resolverse en los números racionales si y sólo si se puede resolver en los números reales y en los números p-ádicos para todo primo p. El espacio Qp de todos los números p-ádicos tiene la propiedad topológica, deseable, de completitud, que nos permite el desarrollo del Análisis p-ádico, similar al Análisis real.

Contenido

Motivación

Si fijamos un número primo p, entonces cualquier entero puede escribirse como una expansión p-ádica (que usualmente se dice que escribimos el número en "base p") de la forma:

\pm\sum_{i=0}^n a_i p^i

donde los ai son enteros en el conjunto {0,...,p-1}.

Por ejemplo, la "2-ádica" o expansión binaria de 35 es 1·25 + 0·24 + 0·23 + 0·22 + 1·21 + 1·20, escrita a menudo en al notación más breve: 1000112.

La forma familiar de generalizar esta descripción al dominio mayor de los racionales (y, finalmente, a los reales) es incluir sumas de la forma siguiente:

\pm\sum_{i=-\infty}^n a_i p^i

Usando la familiar métrica euclídea podemos dar un significado concreto a esas sumas y que se basa en las sucesiones de Cauchy. Así, por ejemplo, 1/3 se puede expresar en base 5 como el límite de la sucesión 0.1313131313...5. En esta formulación los enteros son justo aquellos números que pueden ser representados de manera que ai = 0 para todo i<0.

Como alternativa, si extendemos las expansiones p-ádicas permitiendo sumas infinitas de la forma \textstyle\sum_{i=k}^{\infty} a_i
p^i donde k será cierto entero (no necesariamente positivo), obtenemos el cuerpo Qp de los números p-ádicos. Los números p-ádicos para los cuales ai = 0 para todo i<0 son llamados también enteros p-ádicos. Estos enteros p-ádicos forman un subanillo de Qp denotado Zp.

Podemos ver estos enteros, intuitivamente, como de cierta forma "opuesta" a la que se nos presenta con las expansiones p-ádicas que se extienden hacia la derecha, como sumas de potencias cada vez menores, negativas, de la base p (como hemos visto para los números reales que hemos descrito más arriba ), ya que esos enteros p-ádicos pueden tener expansiones p-ádicas hacia la izquierda de forma similar. Por ejemplo, la expansión p-ádica de 1/3 en base 5 es el límite de la sucesión ..313131325. Informalmente, podemos ver que multiplicando esta "suma infinita" por 3 en base 5 da ...00000015. Como en esta expansión de 1/3 no hay potencias negativas de 5 (esto es, no hay números a la derecha del la coma decimal), vemos que 1/3 es un entero p-ádico en base 5.

El principal problema técnico es el de definir una noción buena de suma infinita que dote de sentido a tales expresiones - que requiere la introducción de la noción de métrica p-ádica. Abajo presentaremos dos soluciones a este problema, diferentes pero equivalentes.

Construcciones

Enfoque analítico

Los números reales se pueden definir como las clases de equivalencia de sucesiones de Cauchy de números racionales; esto nos permite, por ejemplo, escribir, 1 como 1.000... = 0.999... . Sin embargo, la definición de una sucesión de Cauchy depende de la métrica elegida, y entonces, escogiendo una diferente, podremos construir otros números diferentes a los reales.

La métrica usual que nos da los reales es la métrica euclídea.

Para un primo p dado, definimos la métrica p-ádica en Q como sigue: para cualquier racional diferente de cero x, existe un entero único n que nos permite escribir x = pn(a/b), donde ninguno de los enteros a o b son divisibles por p. A menos que el numerador o el denominador de x contenga un factor de p, n será 0. Ahora define |x| p = p-n. Y también |0 p = 0. Por ejemplo, con x = 63/550 = 2-1 32 5-2 7 11-1

| x | 2 = 2
| x | 3 = 1 / 9
| x | 5 = 25
| x | 7 = 1 / 7
| x | 11 = 11
| x | cualquier otro primo = 1

Esta definición de |x|p tiene el efecto de que las potencias altas de p se hacen "pequeñas".

Se puede probar que toda norma sobre Q es equivalente bien a la norma euclídea o una de las normas p-ádicas para algún primo p. La norma p-ádica define una métrica p sobre Q si elegimos que :dp(x,y) = | xy | p. El cuerpo Qp de los números p-ádicos se pueden definir entonces como la completitud del espacio métrico (Q, dp); sus elementos son las clases de equivalencia de sucesiones de Cauchy. Diremos que dos sucesiones son equivalentes si su diferencia converge a cero. De ese modo obtenemos un espacio métrico completo que además es también un cuerpo que contiene a Q.

Se puede probar que en Qp, cada elemento x puede escribirse de manera única como \textstyle \sum_{i=k}^{\infty} a_i
p^i donde k es algún entero y cada ai está en {0,...,p-1}. Esta serie converge a x respecto a la métrica dp.

Véase también

  • teorema de Mahler

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Número p-ádico — Para cada número primo p, los números p ádicos forman una extensión de cuerpos de los números racionales descritos por primera vez por Kurt Hensel en 1897. Fueron usados en la resolución de varios problemas en Teoría de números, a menudo con el… …   Enciclopedia Universal

  • Número racional — En matemática, se llama número racional a todo número que puede representarse como el cociente de dos números enteros (más precisamente, un entero y un natural positivo[1] ) es decir, una fracción común a/b con numerador a y denominador distinto… …   Wikipedia Español

  • 0,9 periódico — En matemáticas, 0,999... es el número decimal periódico que se demuestra denota[1] al número 1. En otras palabras, los símbolos 0,999... y 1 son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad …   Wikipedia Español

  • Teorema de Ostrowski — El teorema de Ostrowski, debido a Alexander Ostrowski, establece que cualquier valor absoluto no trivial sobre los números racionales Q es equivalente bien al valor absoluto real usual o a un valor absoluto p ádico. Dos valores absolutos | | y |… …   Wikipedia Español

  • Terremoto de Chile de 2010 — Zonas afectadas Fecha 27 de febrero de 2010, 3:34 UTC 3[1 …   Wikipedia Español

  • Función zeta de Igusa — En matemáticas, una función zeta de Igusa es un tipo de función generadora, que cuenta el número de soluciones de una ecuación, módulo p, p2, p3, y así sucesivamente Contenido 1 Definición 2 Teorema de Igusa 3 Con …   Wikipedia Español

  • Criterio de Eisenstein — Saltar a navegación, búsqueda En matemática, el criterio de Eisenstein proporciona la condición suficiente para que un polinomio sea irreducible sobre Q (o, de forma equivalente, sobre Z). Si tenemos el siguiente polinomio con coeficientes… …   Wikipedia Español