P-adiska tal

Inom matematiken är de p-adiska talen, där p är ett primtal, en utvidgning av de rationella talen som har andra egenskaper än den utvidgning som inför de reella talen. Detta genomförs med hjälp av en alternativ definition av absolutbelopp.

De introducerades av den tyska matematikern Kurt Hensel, primärt med avsikten att införa koncept från matematiska serier till talteorin. Sedermera har det utvecklats en gren av matematisk analys för de p-adiska talen.

Formellt är för varje primtal p kroppen  ett fullständigt metriskt rum med en topologi. Detta innebär att varje Cauchyföljd konvergerar mot en punkt i . Denna egenskap är anledningen till att de p-adiska talen är användbara. 

p:et i p-adisk är en variabel som kan ersättas med en konstant (till exempel de "2-adiska talen") eller en annan variabel (för till exempel de "i-adiska talen").

Konstruktion

Analytiskt
De reella talen kan konstrueras från de rationella talen  som ekvivalensklasser av Cauchyföljder av rationella tal. Detta tillåter oss till exempel att skriva 1,000... = 0,999.... Men detta beror på metriken, och om man väljer en annan metrik än den vanliga metriken kan man konstruera andra talsystem än det reella. 

För varje p definieras den p-adiska normen | · |p på följande vis: För varje nollskilt rationellt tal x finns det enligt aritmetikens fundamentalsats ett unikt värde på n för vilket man kan skriva x = pn(a/b) där inget av heltalen a och b är delbara med p. Då definieras |x|p som p-n. Vi definierar också |0|p=0. 

Till exempel, om x = 440/819 = 23 3-2 5 7-1 11 13-1.

Som synes gör definitionen att normen för ett tal som innehåller en stor potens av p har ett lågt värde på dess p-adiska norm.

Det visar sig att definitionen uppfyller alla nödvändiga egenskaper för en icke-arkimedisk norm. Vidare gäller enligt Ostrowskis sats att varje icke-trivial norm i  är ekvivalent till antingen den euklidiska normen eller någon p-adisk norm. Den p-adiska normen definierar en metrik i  genom att definiera

Då kan kroppen  definieras som kompletteringen av det metriska rummet . Dess element är ekvivalensklasser av Cauchyföljder där två följder  och  representerar samma tal om . Därigenom får vi ett komplett metriskt rum som också är en kropp och innehåller  som delmängd.

Algebraiskt

För att konstruera de p-adiska talen algebraiskt definierar man först ringen av p-adiska heltal, och sedan konstruera kroppen av bråk för att erhålla kroppen av p-adiska tal. 

Vi börjar med den inversa gränsen av ringarna Z/pnZ. Ett p-adiskt heltal är då en följd (an)n≥1 sådan att an är i Z/pnZ och om n < m så är an ≡ am (mod pn).
Varje naturligt tal m definierar en sådan följd (an) genom an = m mod pn och kan därmed ses som ett p-adiskt heltal. Till exempel skulle talet 35 som ett 2-adiskt heltal kunna skrivas som följden (1, 3, 3, 3, 3, 35, 35, 35, …).
Operatorerna på ringen innebär elementvis addition och multiplikation av sådana följder. Detta är väldefinierat eftersom addition och multiplikation kommuterar med modulooperatorn. 

Vidare har varje följd (an) där det första elementet är skilt från 0 en invers. I så fall är för varje n an och p koprima, och därmed an och pn relativt prima. Då har varje an en invers modulo pn och följden av dessa inverser, (bn), är den sökta inversen av an. Till exempel, betrakta det p-adiska heltal som motsvarar heltalet 7; som ett 2-adiskt tal skulle det skrivas (1, 3, 7, 7, 7, ...). Talets invers skulle skrivas som en oändlig, ökande följd (1, 3, 7, 7, 23, 55, 55, 189, ...). Detta 2-adiska tal har inget motsvarande naturligt tal.

p-adisk utveckling
Om p är ett fixerat primtal kan varje positivt heltal skrivas i en utveckling i basen p på formen

där ai är heltal i mängden {0, 1,..., p - 1}. Till exempel är den binära utvecklingen av 35 lika med 1·25 + 0·24 + 0·23 + 0·22 + 1·21 + 1·20 som ofta skrivs på kortformen 1000112. 

Det kända sättet att utvidga dessa tal till de rationella och reella talen att använda summor på formen

Cauchyföljder ger en väldefinierad betydelse till summor med absolutbeloppet som metrik. Därmed kan till exempel 1/3 uttryckas i bas 5 som gränsvärdet av talföljden 0.1313131313...5. I denna formel är heltalen de tal för vilka ai = 0 för alla i < 0.

Alternativt kan man utvidga utvecklingarna i bas p genom att tillåta oändliga summor på formen

där k är något, inte nödvändigtvis positivt, heltal. Då erhålls de p-aiska utvecklingarna som definierar kroppen  av p-adiska tal. De p-adiska tal för vilka ai = 0 för alla i < 0 kallas de p-adiska heltalen. Det p-adiska heltalen bildar en delring av  vilken kallas . 

I motsats till de reella talen, där utvecklingen kan vara hur lång som helst åt höger, så kan alltså de p-adiska talens utveckling vara hur lång som helst åt vänster. Till exempel är den p-adiska utvecklingen i bas 5 av 1/3 lika med ...1313132, alltså gränsvärdet av följden 2, 32, 132, 3132, 13132,... . Multiplicerar man denna oändliga summa med 3 i bas 5 erhålls ...0000001. Eftersom det inte finns några negativa potenser av 5 i den här utvecklingen, så kan vi se att 1/3 är ett p-adiskt heltal i bas 5.

Kongruenser modulo pn
De p-adiska talen har stora analogier med att lösa kongruenser modulo pn. Betrakta ekvationen  och låt . Den första lösningen,  har för ökande n lösningarna:

Ekvationen har för större n samma lösningar. Detta ger den 3-adiska utvecklingen av .

Den andra lösningen  uppträder däremot på ett annat sätt för växande n.

Återigen ger detta den 3-adiska utvecklingen. Men här är utvecklingen oändlig; man kan fortsätta att finna lösningar modulo pn hur länge som helst. 

Heltalet -5 representeras alltså av följden (1, 4, 22, 76, ...) i det 3-adiska talsystemet.

Rationell aritmetik
Hehner och Horspool föreslog 1979 användningen av p-adiska tal för att representera rationella tal i datorer. Den främsta fördelen med en sådan lagringsmetod vore att addition, subtraktion och multiplikation skulle kunna beräknas snabbt och effektivt, och division än enklare. Tyvärr uppstår det problem om stora tal finns i täljaren eller nämnaren; till exempel, om 2n - 1 är ett Mersenneprimtal krävs det 2n - 1 bitar för att representera dess reciprok.

Se även
 Volkenborns integral

Referenser

Noter

Allmänna källor 
 http://kau.diva-portal.org/smash/get/diva2:4942/FULLTEXT01.pdf
 Gouvêa, Fernando Q. (1997) p-adic Numbers: An Introduction

Externa länkar 

Talteori
Kroppteori