Ir al contenido

Valor p-ádico

De Wikipedia, la enciclopedia libre
Distribución de los números naturales por su valoración 2-ádica, rotulados con las correspondientes potencias de dos en numeración decimal. El cero tiene una valoración infinita. Representados mediante una incrustación topológica no isométrica de pares de enteros en el plano complejo

En teoría de números, el valor p-ádico (también conocido como valoración p-ádica u orden p-ádico) de un número entero n es el exponente de la potencia más alta del número primo p dado que divide a n.

Se denota como . De manera equivalente, es el exponente con el que aparece en la descomposición en factores primos de .

El valor p-ádico es una valoración y da lugar a un análogo del valor absoluto habitual. Mientras que el espacio métrico completo de los números racionales respecto al valor absoluto habitual da como resultado los números reales , al completar los números racionales respecto al valor absoluto -ádico se obtienen como resultado los números p-ádicos .[1]

Definición y propiedades

[editar]

Sea p un número primo.

Enteros

[editar]

La valoración p-ádica de un entero se define como

donde denota el conjunto de los números naturales y denota la divisibilidad de por . En particular, es una función .[2]

Por ejemplo, , y dado que .

La notación a veces se usa para referirse a .[3]

Si es un entero positivo, entonces

;

esto se sigue directamente de que .

Números racionales

[editar]

La valoración p-ádica se puede extender a los números racionales como la función

[4][5]

definida por

Por ejemplo, y dado que .

Algunas de sus propiedades son:

Además, si , entonces

donde es el mínimo (es decir, el menor de los dos).

Valor p-ádico absoluto

[editar]

El valor absoluto p-ádico sobre los números racionales es la función

definida por

Por lo tanto, para todos los y, por ejemplo, y

El valor absoluto p-ádico satisface las siguientes propiedades:

No negativo
Definido positivo
Multiplicativo
No arquimediano

De la multiplicatividad se deduce que para las raíces de la unidad y , y en consecuencia, también que La subaditividad se deriva de la desigualdad triangular no arquimediana .

La elección de la base p en la potenciación no hace ninguna diferencia para la mayoría de las propiedades, pero respalda la fórmula del producto:

donde el producto se toma entre todos los números primos p y el valor absoluto habitual, denotado como . Esto se deriva simplemente de tomar la factorización en números primos: cada factor de potencia primo contribuye con su recíproco a su valor absoluto p-ádico, y luego el valor absoluto habitual arquimediano los cancela a todos.

El valor absoluto p-ádico a veces se denomina "norma p-ádica", aunque en realidad no es una norma propiamente dicha porque no cumple con el requisito de homogeneidad.

Se puede formar un espacio métrico en el conjunto con una métrica (no arquimediana e invariante respecto a las traslaciones):

definido por

La operación de completar con respecto a esta métrica conduce al conjunto de los números p-ádicos.

Véase también

[editar]

Referencias

[editar]
  1. Dummit, David S.; Foote, Richard M. (2003). Abstract Algebra (3rd edición). Wiley. pp. 758-759. ISBN 0-471-43334-9. 
  2. Ireland, K.; Rosen, M. (2000). A Classical Introduction to Modern Number Theory. New York: Springer-Verlag. p. 3. ISBN 978-0387973296. 
  3. Niven, Ivan; Zuckerman, Herbert S.; Montgomery, Hugh L. (1991). An Introduction to the Theory of Numbers (5th edición). John Wiley & Sons. p. 4. ISBN 0-471-62546-9. 
  4. Con la relación de orden usual, a saber
    ,
    y reglas para operaciones aritméticas,
    ,
    en la recta numérica extendida
  5. Khrennikov, A.; Nilsson, M. (2004). p-adic Deterministic and Random Dynamics. Kluwer Academic Publishers. p. 9. ISBN 978-1402026591.