p-adikus számok
A p-adikus számok, melyeket elsőként Kurt Hensel írt le 1897-ben,[1] a racionális számok kiterjesztése, a valós számok és a komplex számok felé való kiterjesztéstől eltérő módon. A számelméletben használják fel elsősorban.
Konstrukció
[szerkesztés]Legyen p rögzített prím. Definiáljuk a következő függvényt az egész számok halmazán: Ha n eleme , akkor legyen k a legnagyobb olyan kitevő, amelyre még osztója n-nek. Nevezzük ezt a k-t n rendjének.
Teljesül a következő tulajdonság: ha adott két szám, a és b, akkor a/b rendje a rendje - b rendje. Ez alapján a rend kiterjeszthető a racionális számokra. A rend segítségével értelmezzük a p-adikus normát minden x eleme -ra: , ha x nem egyenlő 0, és 0, ha x=0. Belátható, hogy ez valóban norma.
A racionális számok a p-adikus normából származtatott metrikával metrikus teret alkotnak, ami teljessé tehető. Ez a metrikus tér a p-adikus számok teste. Ez a teljessé tétel megfelel a valós számoknak.
p-adikus kifejtés
[szerkesztés]Motiváció
[szerkesztés]Minden egész szám felírható a p alapú számrendszerben:
ahol az számok a halmaz elemei. Például a 35 1·25 + 0·24 + 0·23 + 0·22 + 1·21 + 1·20 a kettes számrendszerben, röviden 1000112.
Ennek egy általánosítása végtelen összegek megengedése, ezzel a többi valós szám is leírható: az alsó határ mínusz végtelen.
Ezek a sorok konvergensek a hagyományos értelemben vett abszolútértékre nézve. Jelentésüket a Cauchy-sorozatok alapján adhatjuk meg, az abszolútértékkel, mint metrikával. Például az 5-ös számrendszerben az 1/3 megfelel a 0,1313131313...5-nek. Így az egész számok felírhatók olyan alakban, hogy ai = 0 minden i < 0-ra, és minden ilyen alakú szám egész. Azonban ebben a felírásban elvész az egészek ábrázolásának egyértelműsége, mivel mindegyiknek van egy másik alakja is. Lásd a 0,999… cikket.
A p-adikus számok bevezetése
[szerkesztés]A p-adikus számokkal máshogy terjesztjük ki a p alapú számábrázolást. Mivel p-adikus metrikában p nagy hatványai kicsik, és kis hatványai nagyok, ezért tekinthetjük a
alakú összegeket, ahol tetszőleges egész szám. Ezek a sorok konvergensek a p-adikus normában. Ezzel a megközelítéssel kapjuk a p-adikus számok p-adikus kifejtését. Ezek közül az egészek éppen azok, amelyek felírhatók úgy, hogy ai = 0 minden i < 0-ra.
A szokásos számábrázolásoktól eltérően, ahol az összegek jobbra terjednek, és a negatív hatványok kisebbek lesznek a kitevő abszolútértékének növekedésével, a p-adikus számok balra terjednek. Ez a tulajdonságuk sokszor megmutatkozik. Ezekkel a végtelen számokkal a szokott módon számolhatunk, ügyelve arra, hogy az osztást jobbról balra haladva végezzük, és a kivonás végtelen átvitelt eredményezhet.
Például az 1/3 5-adikus alakja …13131325, ami a 25, 325, 1325, 31325, 131325, 3131325, 13131325, … sorozat határértéke:
3-mal szorozva ezt a végtelen összeget a …00000015 számot kapjuk. Mivel ebben a kifejtésben nem szerepelnek negatív hatványok, ezért az 1/3 5-adikus egész.
p=3-ra ...0002000...00020...000002000..0.01 megfelel -nak, ahol a 2-esek és a 2-es és az 1-es között mindenütt n nulla szerepel.
Vegyük észre, hogy a negatív számoknak is van p-adikus kifejtése, ezért nincs szükség előjelre.
Formálisan, a p-adikus kifejtésekkel definiálható a p-adikus számok Qp teste, míg a p-adikus egészek a Qp Zp részgyűrűjét alkotják. A kétértelműség elkerülése végett a maradékosztályok gyűrűjét Z/pZ vagy Z/(p) alakban is meg szokás adni.
Jelölések
[szerkesztés]A p-adikus számokat többféleképpen is jelölik. Ebben a cikkben azt a jelölést használjuk, ahol az alapszám nagyobb hatványai balra nőnek. Ezzel a jelöléssel például
Ebben a jelölésben számolva az átvitelt jobbról balra kell vinni. A jegyek fordított irányban is írhatók, amivel az átvitel jobbra mozoghat:
A p-adikus kifejtés más jegyeket is használhat. Például az 1/5 ternáris alakja a kiegyensúlyozott hármas számrendszer jegyeivel
ahol az 1 jegy értéke -1. A jegyek választhatók általánosabban is azzal a megkötéssel, hogy az összes p szerinti maradékosztály reprezentálva legyen.
Konstrukciók
[szerkesztés]Analitikus megközelítés
[szerkesztés]A valós számok definiálhatók racionális számok Cauchy-sorozatainak ekvivalenciaosztályaiként. Ez az osztályozás megengedi, hogy például 1,000… = 0,999… legyen. A Cauchy-sorozat definíciója metrikafüggő, tehát egy másik metrikában más sorozatok lehetnek Cauchy-sorozatok. A szokásos metrikát euklideszi metrikának hívják; ez a valós számokhoz vezet.
Legyen mostantól p egy rögzített prím! Ekkor a racionális számokon definiáljuk a p-adikus normát:
- Az x szám felírható, mint x = pn(a/b), ahol sem a, sem b nem osztható p-vel. Legyen |x|p = p-n.
- Ha x = 0, akkor legyen |x|p = 0.
- Ha x nem egész, és sem számlálója, sem nevezője nem osztható p-vel, akkor az n szám 0 lesz.
Például:
1=x = 63/550 = 2−1·32·5−2·7·11−1
így
Ezzel a definícióval p nagy hatványai kicsik lesznek a p-adikus normában. A számelmélet alaptétele szerint minden nullától különböző egész prímfelbontása egyértelmű, azaz egyértelműen van véges sok különböző prímszám, és a hozzájuk tartozó nem nulla kitevők, hogy
A racionális számokra is igaz, ha negatív kitevőket is megengedünk, ahol a negatív kitevők a tovább nem egyszerűsíthető tört nevezőjének prímtényezős felbontásából adódnak.
Innen minden prímre, és minden más -re.
Ostrowski tétele szerint minden Q-n értelmezett norma ekvivalens az euklideszi normával, a triviális normával vagy valamelyik p-adikus normával. Tehát ekvivalencia erejéig csak ezek a normák léteznek, így ennyiféleképpen lehet teljessé tenni a racionális számokat.
A p-adikus norma által definiált metrika:
A p-adikus számok Qp teste definiálható a (Q, dp) metrikus tér teljessé tételeként; elemei a Cauchy-sorozatok ekvivalenciaosztályai, ahol is azok a sorozatok tartoznak egy osztályba, amelyek különbsége a nullához tart. Így egy teljes metrikus teret kapunk, ami egyben test is, és tartalmazza Q-t.
Megmutatható, hogy Qp minden eleme felírható : alakban, ahol k egy olyan egész, amire ak ≠ 0, és minden ai és minden ai eleme {0, …, p − 1}-nek. Ez a sorozat x-hez tart a dp metrikában.
Ezzel a normával Qp lokális test.
Algebrai megközelítés
[szerkesztés]Algebrai megközelítésben először a p-adikus egészek gyűrűjét definiáljuk, és a p-adikus számok testét hányadostestként kapjuk.
Egy p-adikus egész megadható, mint a
(an)n≥1 úgy, hogy an eleme Z/pnZ-nek, és ha n ≤ m, akkor an ≡ am (mod pn).
sorozat. Minden m természetes szám definiál egy ilyen sorozatot azzal, hogy an = m mod pn, és így p-adikus egésznek tekinthető. Például a 35 diadikus egész sorozata (1, 3, 3, 3, 3, 35, 35, 35, …).
A gyűrű műveletei megadhatók, mint a sorozatok elemenkénti összegei és szorzatai. Ez jóldefiniált, mivel ezek a műveletek felcserélhetők a modulo operátorral.
Sőt, minden (an) sorozat, aminek első eleme nem nulla, invertálható. Ekkor minden n-re an relatív prím p-hez, ezért an és pn is relatív prímek. Így minden an invertálható modulo pn, és az így előállt inverzek sorozata inverze lesz az (an) sorozatnak. Például a 7, mint diadikus szám (1, 3, 7, 7, 7, 7, 7, ...). Ennek a diadikus inverze (1, 3, 7, 7, 23, 55, 55, 183, 439, 439, 1463 ...), aminek nem felel meg természetes szám, mivel szigorúan monoton nő.
Minden ilyen sorozat felfogható sorként is. Például a triadikus számok (3-adikus számok) körében a (2, 8, 8, 35, 35, ...) sorozat felfogható a 2 + 2·3 + 0·32 + 1·33 + 0·34 + ... sorként. Ennek a részösszegei éppen a sorozat elemei.
A p-adikus gyűrűben nincsenek nullosztók, így vehetjük a hányadostestét, Qp-t. Ebben a gyűrűben minden nem egész p-adikus szám felírható p−n u alakban, ahol n természetes szám, és u egység a p-adikus egészek gyűrűjében. Ez azt jelenti, hogy
Jegyezzük meg, hogy S−1 A, ahol multiplikatív részfélcsoport a kommutatív egységelemes gyűrűben. Ekkor az gyűrű hányadosteste.
Tulajdonságok
[szerkesztés]A p-adikus norma nem arkhimédészi.
A p-adikus számok megfeleltethetők a valós számoknak, ezért számosságuk kontinuum. Topológiailag Cantor-halmazt alkotnak egy pont, a végtelen kivételével. Ez a halmaz lokálisan kompakt. A p-adikus egészek halmaza szintén Cantor-halmaz.
Ez test a szokásos műveletekre nézve. Ha a p prím helyett egy l összetett számot veszünk, akkor egy nem nullosztómentes gyűrűt kapunk.
Qp lokálisan kompakt Hausdorff-tér.
A p-adikus egészek gyűrűje a Z/pkZ gyűrűk inverz határértéke, de megszámlálhatatlan,[2] és számossága kontinuum. Eszerint Qp megszámlálhatatlan. Az n rangú Prüfer-csoport endomorfizmusgyűrűje, Z(p∞)n, éppen a p-adikus egészek fölötti n×n-es mátrixok gyűrűje; erre néha Tate-modulusként hivatkoznak.
A valós számoknak csak egy valódi algebrai kiterjesztése létezik, a komplex számok, vagyis ez már algebrailag zárt. Ezzel szemben a p-adikus számok algebrai lezártjának foka végtelen a p-adikus számok teste fölött,[3] ami azt jelenti, hogy végtelen sok egymással nem izomorf algebrai bővítése van. Habár egyértelmű Qp kiterjesztése az algebrai lezártjára, az nem lesz metrikusan teljes.[4][5] Ennek teljessé tételét Cp vagy Ωp jelöli,[5][6] ami algebrailag zárt.[5][7] A komplex testtől eltérően nem lokálisan kompakt.
A test algebrailag izomorf a komplex számok testével. Ez az izomorfizmus a kiválasztási axiómán múlik. Így tekinthető úgy, mintha a komplex számokat egy egzotikus metrikával láttuk volna el.
Ebben a p-adikus résztest akkor és csak akkor tartalmazza az n-edik körosztási testet, ha n osztója p-1-nek..[8] Például az n-edik körosztási test akkor és csak akkor részteste Q13-nak, ha n = 1, 2, 3, 4, 6, vagy 12. Nincs multiplikatív torzió a p-adikus számokon, ha p > 2. Az egyetlen egységelemtől különböző véges rendű elem a -1.
A p-adikus számok fölött nem érvényes az integrálszámítás alaptétele:
A függvény nem konstans, deriváltja mégis 0.[9]
Az exponenciális függvény szokásos sorfejtése,
konvergál a sugarú körben.
Az e szám nem eleme a p-adikus számok testének, de e a p-ediken már igen, ha p nem egyenlő 2, ahol csak e a 4-ediken eleme.[10] Ekkor e az algebrai lezártban már benne van, mint p-edik gyök.
Adott k számra Qp nem nulla elemeinek k-adik hatványainak multiplikatív csoportjának indexe véges.
Adva legyenek az r∞, r2, r3, r5, r7, ... elemek, ahol rp eleme Qp-nek, és ahol Q∞ = R. Ekkor van (xn) sorozat Q-ban, hogy minden p-re, beleértve a ∞-t, xn határértéke Qp-ben rp.
Definiáljuk a Zp -n a τ topológiát az Ua(n) = n + λ pa alakú halmazokkal, mint bázissal, ahol λ eleme Zp-nek, és a eleme N-nek. Ekkor Zp kompaktifikációja Z-nek az altértopológiában, ami a szokásos topológiában nem igaz. Ezt a topológiát Z-n p-adikus topológiának nevezzük.
A p-adikus egészek topológiája homeomorf a Cantor-halmaz topológiájával. A p-adikus számok fent definiált topológiája izomorf a Cantor-halmaz mínusz egy pont topológiájával, amely pont természetesen tekinthető a végtelennek.[11] A p-adikus egészek kompaktak ebben a topológiában, míg a p-adikus számok csak lokálisan kompaktak. Metrikus térként mindkettő teljes.[12]
Ha véges Galois-kiterjesztése -nek, akkor a Galois-csoport feloldható.
Racionális aritmetika
[szerkesztés]Eric Hehner és Nigel Horspool 1979-ben javasolta a p-adikus reprezentációt a számítógépeken.[13] Előnye, hogy az összeadás, a kivonás és a szorzás az egész számokhoz hasonlóan végezhető, és az osztás is egyszerűbb, a szorzáshoz hasonlóan végezhető. A reprezentáció hátránya, hogy több helyet igényelhet, mint a számláló és a nevező szokásos tárolása; például, ha 2n − 1 Mersenne-prím, akkor reciproka 2n − 1 biten helyezhető el.
Általánosítások és hasonló elgondolások
[szerkesztés]A valós számok és a p-adikus számok a racionális számok teljessé tételével kaphatók. Más algebrai számtestek is kiterjeszthetők hasonló módon.
Legyen D Dedekind-tartomány, és jelölje a hányadostestét E. Válasszunk egy nem nulla prímideált D-ben, jelölje P. Hogyha x nem nulla eleme E-nek, akkor xD törtideál, és egyértelműen felbontható pozitív és negatív kitevős nem nulla D-beli prímideálok szorzatára. Jelölje ordP(x) a P prímideál kitevőjét ebben a felbontásban, és választva egy tetszőleges, 1-nél nagyobb számot definiálhatjuk a P-adikus normát, mint:
Az E testet teljessé téve ebben a |.|P normában az EP testhez jutunk, ami a p-adikus számokat általánosítja. A c szám választása nem szól bele a teljessé tételbe. Ha D/P véges, akkor kényelmes c-be D/P méretét helyettesíteni.
Például, ha E számtest, akkor Ostrowski tétele alapján minden nem triviális nem arkhimédészi norma származtatható, mint |.|P, ahol P prímideál. A többi nem triviális norma a valós, vagy a komplex számtestbe való beágyazással származtatható. A nem triviális nem arkhimédészi normák hasonlóan származtathatók a Cp-be történő beágyazásokból.
Gyakran mindezt számításba kell venni, hogyha E számtest, vagy általánosabban, globális test. amelyek lokális információt kódolnak.
Lokális-globális elv
[szerkesztés]Helmut Hasse lokális-globális elve kimondja, hogy egy egyenlet pontosan akkor oldható meg a racionális számokon, ha megoldható a valós számokon, és megoldható a p-adikus számokon minden p prímre. Az elv teljesül például a kvadratikus alakokból származó egyenletekre, de nem teljesül a magasabb fokú, több határozatlanú polinomokra.
Jegyzetek
[szerkesztés]- ↑ Hensel, Kurt (1897). „Über eine neue Begründung der Theorie der algebraischen Zahlen”. Jahresbericht der Deutschen Mathematiker-Vereinigung 6 (3), 83-88. o.
- ↑ Robert (2000) Section 1.1
- ↑ Gouvêa (2000) Corollary 5.3.10
- ↑ Gouvêa (2000) Theorem 5.7.4
- ↑ a b c Cassels (1986) p.149
- ↑ Koblitz (1980) p.13
- ↑ Gouvêa (2000) Proposition 5.7.8
- ↑ Gouvêa (2000) Proposition 3.4.2
- ↑ Robert (2000) Section 5.1
- ↑ Robert (2000) Section 4.1
- ↑ Robert (2000) Section 2.3
- ↑ Gouvêa (2000) Corollary 3.3.8
- ↑ Eric C. R. Hehner, R. Nigel Horspool, A new representation of the rational numbers for fast easy arithmetic. SIAM Journal on Computing 8, 124–134. 1979.
Források
[szerkesztés]- Armin Leutbecher: Zahlentheorie - Eine Einführung in die Algebra. Springer-Verlag, 1996, ISBN 3-540-58791-8, S. 116-130
- Gouvea, Fernando Q. (2000). p-adic Numbers : An Introduction, 2nd edition, Springer. ISBN 3-540-62911-4.
- Koblitz, Neal (1996). P-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Springer. ISBN 0-387-96017-1.
- Bachman, George. Introduction to p-adic Numbers and Valuation Theory. Academic Press (1964). ISBN 0-12-070268-1
- Cassels, J. W. S.. Local Fields, London Mathematical Society Student Texts. Cambridge University Press (1986). ISBN 0-521-31525-5
- Gouvêa, Fernando Q.. p-adic Numbers: An Introduction, 2nd, Springer (2000). ISBN 3-540-62911-4
- Koblitz, Neal. p-adic analysis: a short course on recent work, London Mathematical Society Lecture Note Series. Cambridge University Press (1980). ISBN 0-521-28060-5
- Koblitz, Neal. p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd, Springer (1996). ISBN 0-387-96017-1
- Robert, Alain M.. A Course in p-adic Analysis. Springer (2000). ISBN 0-387-98669-3
- Steen, Lynn Arthur. Counterexamples in Topology. Dover (1978). ISBN 0-486-68735-X
- Steen, Lynn A., J. Arthur Seebach. Counterexamples in Topology, Second edition (angol nyelven), New York: Springer-Verlag (1978). ISBN 0-387-90312-7
- Weisstein, Eric W.: p-adic Number (angol nyelven). Wolfram MathWorld
- p-adic integers a PlanetMath oldalain
- http://eom.springer.de/P/p071020.htm p-adic number
- https://web.archive.org/web/20070206025510/http://www.math.lsa.umich.edu/~bdconrad/676Page/handouts/algclosurecomp.pdf Completion of Algebraic Closure