Valor p-ádico

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 Plantilla:Nowrap (también conocido como valoración Plantilla:Nowrap u orden Plantilla:Mvar-ádico) de un número entero Plantilla:Mvar es el exponente de la potencia más alta del número primo Plantilla:Mvar dado que divide a Plantilla:Mvar.

Se denota como ${\nu }_p(n)$. De manera equivalente, ${\nu }_p(n)$ es el exponente con el que aparece $p$ en la descomposición en factores primos de $n$.

El valor Plantilla:Mvar-á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 $p$-ádico se obtienen como resultado los [[Número p-ádico|números Plantilla:Nowrap]] ${\mathbb{Q}}_p$.

Definición y propiedades

Sea Plantilla:Mvar un número primo.

Enteros

La valoración Plantilla:Mvar-ádica de un entero $n$ se define como

${\nu }_p(n)=\{\begin{array}{cc}\mathrm{m}\mathrm{a}\mathrm{x}\{k\in \mathbb{N}:p^k\mid n\}& \text{si }n\ne 0\\ \mathrm{\infty }& \text{si }n=0,\end{array}$

donde $\mathbb{N}$ denota el conjunto de los números naturales y $m\mid n$ denota la divisibilidad de $n$ por $m$. En particular, ${\nu }_p$ es una función ${\nu }_p:\mathbb{Z}\to \mathbb{N}\cup \{\mathrm{\infty }\}$.

Por ejemplo, ${\nu }_2(-12)=2$, ${\nu }_3(-12)=1$ y ${\nu }_5(-12)=0$ dado que $|-12|=12=2^2\cdot 3^1\cdot 5^0$.

La notación $p^k\parallel n$ a veces se usa para referirse a $k={\nu }_p(n)$.

Si $n$ es un entero positivo, entonces

${\nu }_p(n)\le {\log }_{p}n$;

esto se sigue directamente de que $n\ge p^{{\nu }_p(n)}$.

Números racionales

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

${\nu }_p:\mathbb{Q}\to \mathbb{Z}\cup \{\mathrm{\infty }\}$

definida por

${\nu }_p\left(\frac{r}{s}\right)={\nu }_p(r)-{\nu }_p(s).$

Por ejemplo, ${\nu }_2\left(\frac{9}{8}\right)=-3$ y ${\nu }_3\left(\frac{9}{8}\right)=2$ dado que $\frac{9}{8}=2^{-3}\cdot 3^2$.

Algunas de sus propiedades son:

${\nu }_p(r\cdot s)={\nu }_p(r)+{\nu }_p(s)$

${\nu }_p(r+s)\ge \min \{{\nu }_p(r),{\nu }_p(s)\}$

Además, si ${\nu }_p(r)\ne {\nu }_p(s)$, entonces

${\nu }_p(r+s)=\min \{{\nu }_p(r),{\nu }_p(s)\}$

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

Valor Plantilla:Mvar-ádico absoluto

El valor absoluto Plantilla:Mvar-ádico sobre los números racionales $\mathbb{Q}$ es la función

$|\cdot {|}_p:\mathbb{Q}\to {ℝ}_{\ge 0}$

definida por

$|r{|}_p=p^{-{\nu }_p(r)}.$

Por lo tanto, $|0{|}_p=p^{-\mathrm{\infty }}=0$ para todos los $p$ y, por ejemplo, $|-12{|}_2=2^{-2}=\frac{1}{4}$ y $|\frac{9}{8}{|}_2=2^{-(-3)}=8.$

El valor absoluto Plantilla:Mvar-ádico satisface las siguientes propiedades:

No negativo	$|r{|}_p\ge 0$
Definido positivo	$|r{|}_p=0⟺r=0$
Multiplicativo	$|rs{|}_p=|r{|}_p|s{|}_p$
No arquimediano	$|r+s{|}_p\le \max (|r{|}_p,|s{|}_p)$

De la multiplicatividad $|rs{|}_p=|r{|}_p|s{|}_p$ se deduce que $|1{|}_p=1=|-1{|}_p$ para las raíces de la unidad $1$ y $-1$, y en consecuencia, también que $|-r{|}_p=|r{|}_p.$ La subaditividad $|r+s{|}_p\le |r{|}_p+|s{|}_p$ se deriva de la desigualdad triangular no arquimediana $|r+s{|}_p\le \max (|r{|}_p,|s{|}_p)$.

La elección de la base Plantilla:Mvar en la potenciación $p^{-{\nu }_p(r)}$ no hace ninguna diferencia para la mayoría de las propiedades, pero respalda la fórmula del producto:

$\prod _{0,p}|r{|}_p=1$

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

El valor absoluto Plantilla:Mvar-ádico a veces se denomina "norma Plantilla:Mvar-á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 $\mathbb{Q}$ con una métrica (no arquimediana e invariante respecto a las traslaciones):

$d:\mathbb{Q}\times \mathbb{Q}\to {ℝ}_{\ge 0}$

definido por

$d(r,s)=|r-s{|}_p.$

La operación de completar $\mathbb{Q}$ con respecto a esta métrica conduce al conjunto ${\mathbb{Q}}_p$ de los números Plantilla:Mvar-ádicos.

Véase también

• Número p-ádico
• Axioma de Arquímedes
• Multiplicidad (matemáticas)
• Teorema de Ostrowski