Dos números enormes pueden estar muy cerca
Los números p-ádicos forman un sistema en el que dos racionales están más cerca cuanto mayor es la potencia de un primo fijo p que divide su diferencia. Con la distancia habitual, 1 y 1.000.001 están lejísimos. En el mundo 2-ádico, su diferencia es 1.000.000, divisible por una potencia alta de 2, así que resultan relativamente próximos. La idea no cambia la aritmética de sumar y multiplicar; cambia la noción de tamaño usada para hablar de convergencia, continuidad y aproximación.
Hay un sistema distinto para cada primo: 2-ádicos, 3-ádicos, 5-ádicos y así sucesivamente. No sustituyen a los reales; completan los racionales de otra manera. Esa elección permite observar con enorme precisión la divisibilidad por un primo y hace naturales problemas que en la recta real parecen dispersos.
Contar factores de p convierte divisibilidad en una distancia
Para un racional no nulo x se cuenta cuántas veces aparece p en su factorización, permitiendo exponentes negativos si está en el denominador. Ese número es la valoración vₚ(x). El valor absoluto p-ádico suele definirse como p elevado a menos esa valoración. Cuantos más factores de p tiene x, menor es su tamaño p-ádico. Cero tiene valor absoluto cero.
La distancia entre x e y es el valor p-ádico de x-y. Cumple una propiedad más fuerte que la triangular: la distancia entre dos puntos no supera la mayor de las distancias pasando por un tercero. Es una métrica ultramétrica. Como consecuencia, todo triángulo es isósceles en un sentido preciso, y cualquier punto de una bola puede actuar como su centro.
Una serie que crece en la recta real puede converger aquí
En los reales, la suma 1+2+4+8+… diverge porque sus términos crecen. En los 2-ádicos, 2ⁿ se vuelve cada vez más pequeño, ya que contiene más factores de 2. Las sumas parciales se acercan a -1: multiplicar la serie formal por 2 y restar produce la misma relación que una serie geométrica, y la distancia 2-ádica al límite cae con cada término.
No significa que una suma infinita valga dos cosas bajo las mismas reglas. Converger siempre depende de una distancia. La sucesión no converge en los reales y sí en Q₂. Este ejemplo obliga a separar los símbolos de la geometría que decide qué significa aproximarse, una idea relacionada con procesos infinitos y límites.
Cifras que se extienden hacia la izquierda
Un entero p-ádico puede escribirse como a₀+a₁p+a₂p²+…, donde cada cifra está entre 0 y p-1. En notación posicional parece una expansión que continúa indefinidamente hacia la izquierda, porque las potencias positivas ocupan posiciones cada vez mayores. Los primeros términos determinan residuos módulo p, p², p³ y sucesivamente.
En base 10, …999 representa -1 en los 10-ádicos porque añadir 1 deja una sucesión de ceros con acarreo indefinido. Sin embargo, los 10-ádicos no forman un cuerpo al basarse en un número compuesto; trabajar con un primo garantiza que cada número no nulo tenga inverso en Qₚ. La imagen de cifras es útil siempre que no se confunda con un decimal real escrito al revés.
R y Qₚ reparan huecos diferentes de los racionales
Los reales se construyen completando Q respecto a la distancia habitual: se añaden límites como √2. Los p-ádicos completan el mismo conjunto con la métrica p-ádica. Una sucesión es de Cauchy si sus términos terminan arbitrariamente próximos según esa regla, y Qₚ contiene el límite que podía faltar. Ambos son cuerpos completos, pero sus topologías son radicalmente distintas.
El lema de Hensel es un análogo p-ádico del método de Newton. Si una solución de una ecuación polinómica módulo p satisface ciertas condiciones, puede levantarse paso a paso a soluciones módulo p², p³ y finalmente a una raíz p-ádica. Así un problema infinito se construye mediante correcciones congruentes cada vez más precisas.
Una lupa local para ecuaciones con enteros
Resolver una ecuación en enteros exige que tenga solución módulo cada primo y sus potencias. Los p-ádicos permiten estudiar todas esas congruencias de forma coherente. Si una ecuación no tiene solución en algún Qₚ, tampoco puede tener una solución racional global. El recíproco no siempre vale: superar todas las pruebas locales puede no bastar, y ese fallo revela obstrucciones profundas.
La geometría aritmética, las formas modulares y partes de la demostración del último teorema de Fermat usan herramientas p-ádicas. También aparecen en criptografía e investigación matemática avanzada, aunque no son una tecnología mágica. Su valor conceptual es enorme: enseñan que distancia y continuidad no vienen impuestas por los números. Al escoger qué diferencias consideramos pequeñas, aparece un paisaje completo donde la divisibilidad puede estudiarse como geometría.
La aritmética modular ofrece una entrada práctica. Saber que x es cercano a y en Qₚ equivale a saber que coinciden módulo una potencia grande de p. Un cálculo p-ádico conserva primero las cifras de menor potencia y aumenta precisión al levantar el módulo. En criptografía y álgebra computacional, esta representación permite reconstruir racionales o verificar soluciones con operaciones exactas. También explica el principio local-global: estudiar una ecuación en los reales y en cada Qₚ proporciona todas las perspectivas básicas sobre Q. Para ciertas formas cuadráticas, superar esas pruebas garantiza solución racional; para curvas más complejas aparecen excepciones que impulsaron teorías nuevas.
Conectar esta idea con la aritmética modular evita que la distancia p-ádica parezca una invención aislada: cada aproximación conserva información sobre residuos cada vez más finos.
El primo elegido determina por completo qué patrones aritméticos quedan ampliados y cuáles parecen lejanos.
