Klávesové zkratky na tomto webu - základní
Přeskočit hlavičku portálu

Matykání: v bludišti p-adických čísel

9. 02. 2018 9:09:09
Jednou z ingrediencí slavného Wilesova důkazu Fermatovy věty v roce 1996 byla tzv. p-adická čísla. Jejich rozvoj vede k tak podivné geometrii, že by v tom byl čert, aby nenašla uplatnění v kvantové mechanice nebo teorii strun.

(Lasciate ogne speranza, voi ch'intrate)

Ten báječný třírozměrný prostor, ve kterém žijeme - to médium, kterým plachtí Cyranův širák, do kterého stoupá dým bramborové natě a skrz které skáčeme šipku do jihočeského rybníka - není z pohledu matematiky nic jiného než R³, tedy trojnásobná kopie reálných čísel - každý bod tohoto prostoru lze popsat trojicí reálných souřadnic (x,y,z).

Reálná čísla se dají dělit na menší a menší segmenty bez jakéhokoliv omezení. Díky této vlastnosti můžeme svou polohu v prostoru zaznamenat s libovolnou přesností - obvykle na dvě desetinná místa, ale v případě potřeby klidně na pět anebo dokonce - alespoň v principu - na sto.

V minulém Matykání jsme viděli, že soudobá fyzika se začíná pomalu přiklánět k názoru, že to s tou nekonečnou dělitelností zase není tak slavné. V okamžiku, kdy se dostaneme zhruba na 35. desetinné místo, tak se prostor začne našemu úsilí o zvyšování přesnosti vzpouzet. A to nastoluje zcela fundamentální otázku: pokud reálná čísla nejsou dobrým modelem pro vlastnosti fyzikálního prostoru na subkvantové úrovni, kde máme hledat alternativu? Jednou s tou kvantovou pěnou přece budeme chtít provádět aritmetické kousky.

Reálná čísla se obvykle konstruují z racionálních čísel (zlomků) procesem, kterému říkáme zúplnění - to zhruba znamená, že k těm zlomkům přidáme i všechny možné limity jejich posloupností (např. iracionální číslo pí je limitou racionálních čísel 3.1, 3.14, 3.141, 3.1415, 3.14159 atd). Zajímavé je, že již v roce 1916, tedy zhruba v době, kdy vznikala moderní fyzika tak jak ji dnes známe, publikoval ruský matematik Alexandr Ostrovskij větu, ze které vyplývá, že toto zúplnění lze udělat pouze dvěma způsoby. Při tom prvním (standardním) dostaneme ze zlomků výše zmíněným procesem klasická reálná čísla, použijeme-li ten druhý (téměř neznámý i profesionálním matematikům), obdržíme exotický číselný systém, kterému říkáme p-adická čísla.

Když se tedy fyzikové začali pídit po možné alternativě reálných čísel, tato zpola zapomenutá matematická obluda neunikla jejich zájmu a její stopu nalezneme jak v teorii strun, tak v kvantové mechanice. Koneckonců chystáme-li se nahradit reálná čísla, měli bychom nejprve zkusit jiné zúplnění racionálních čísel než začneme experimentovat s nějakými opravdu radikálními variantami - např. s oktoniony nebo nedejpřírodo se skaláry na bázi švestkových povidel (ruku na srdce - taková Schrödingerova rovnice by se v množině povidel řešila velmi obtížně, o zamatlaných operátorech ani nemluvě).

Proto vás dnes pozvu na malý výlet do neobyčejného světa p-adických čísel i bizarní geometrie, kterou tato algebraická zvířátka svou existencí umožňují. A protože křivolaká stezka poznání se v tomto případě vine po hřebeni nekonečna, nebude to žádný nedělní špacír. Rychloupínací mačky a spacák s sebou.

(pokud si ze školy pamatujete na kongruence, můžete první sekci přeskočit)

+++++++++

Počítáme se zbytky

Na samém počátky cesty k p-adickým číslům stojí pojem, který je z celé matematiky snad nejjednodušší. Sudá a lichá čísla.

Když se na ně podíváme trochu techničteji, zjistíme, že jsou to čísla, která po vydělení dvojkou zanechávají zbytek buď nula (sudá čísla) nebo jedna (lichá). Odborně těmto dvěma množinám říkáme "zbytkové třídy". Ekvivalent se samozřejmě dá zkonstruovat i pro trojku - jen ty třídy dostaneme tři. Mohli bychom jim říkat třeba čísla červená, modrá a zelená, podle toho jaký zbytek zanechají po vydělení trojkou (v závorce):

červená (0): {..., -9, -6, -3, 0, 3, 6, 9, ...}
modrá (1): {..., -8, -5, -2, 1, 4, 7, 10, ...}
zelená (2): {..., -7, -4, -1, 2, 5, 8, 11, ...}

A stejně bychom mohli postupovat i pro ostatní čísla - jenom by tam těch zbytkových tříd bylo už tolik, že bychom si s přídavnými jmény asi nevystačili. A tak se budeme muset naučit jedno kouzelné slovíčko: kongruence (až budete někdy sedět se svou milou na prohřáté mezi, tak jí ho zašeptejte do ouška a uvidíte jak zjihne).

Pokud jsou dvě čísla x a y ve stejné zbytkové třídě - pro nějaký pevně zvolený základ n - tak říkáme, že jsou kongruentní moduló n (samo n se zove modulus) a tuto skutečnost zapisujeme pomocí Cimrmanova trojčárkového operátoru:

x ≡ y (mod n)

Takže fakt, že nějaké celé číslo x je liché , můžeme zapsat takto

x ≡ 1 (mod 2)

a místo slovního vyjádření, že 5 i 11 jsou "zelená" čísla můžeme napsat

5 ≡ 11 (mod 3)

To, že dvě čísla mají stejný zbytek (vzhledem k pevně zvolenému n) znamená, že jejich rozdíl je dělitelný n, a z toho zase vyplývá, že ten rozdíl se dá napsat jako celočíselný násobek n. Takže uvedené zapisy jsou ekvivalentní:

(a) x ≡ y (mod n)
(b) n | (x-y)
(c) x-y = kn (pro nějaké celočíselné k)

Do kongruence můžeme namíchat i aritmetické operace, takže lze napsat

7+11 ≡ 3 (mod 15) nebo 7*11 ≡ 2 (mod 15)

Zajímavé je, že pokud v té kongruenci vystřídáte členy dané zbytkové třídy, tak se její charakter nezmění. Když si vezmeme výše zmíněné třídy pro trojku, zjistíme např. že součin dvou zelených čísel je vždy číslo modré. Např.

5*8 = 40 ≡ 1 (mod 3) ale také 5*11 = 55 ≡ 1 (mod 3)

Tohle vede v abstraktní algebře k pojmu počítání se zbytkovými třídami. Kongruence jsou v jistém smyslu rovnice, které se zabývají vztahy mezi celými třídami. Koho to zajímá blíže, může se podívat na pojem multiplikativní grupy mod n. Pro potřeby tohoto článku si ale s grupami nebudeme lámat hlavu a budeme na jednotlivé aktéry v kongruencích i nadále pohlížet jako na čísla - jenom budeme mít na paměti, že ve světě moduló n nás zajímají hlavně čísla od 0 do n-1 (potenciální hodnoty zbytků).

+++++++++

Ovšem nejen čísly živ je matematik. Ošlehaný mořský vlk brázdící aritmetické oceány si musí umět poradit i s proměnnými. A tak se do kongruencí postupně vloudila neznámá x a z pouhého vyjádření aritmetických poměrů ve zbytkových třídách se stal matematický problém. Například: jaképak číslo x by asi mohlo splňovat kongruenci

3*x ≡ 4 (mod 5)

Hledáme tedy celé číslo x tak, aby jeho trojnásobek zanechal zbytek 4 po vydělení 5. Protože moduló 5 máme pouze pět zbytkových tříd: 0, 1, 2, 3 a 4, řešení najdeme oblíbenou studentskou metodou pokusů a omylů. Hezky těch pět možných čísel dosadíme a zjistíme, že řešení je x=3 (a tím pádem také 8, 13, 18 atd).

Koho hádání neuspokojuje, může na to jít vědecky. Kongruence 3*x ≡ 4 (mod 5) znamená, že 5 dělí 3x-4 a tedy musí existovat celé číslo k, splňující 3x-4=5k. Toto je lineární diofantická rovnice (hledáme pouze celočíselné řešení) a jedno z jejích řešení je x=3 a k=1. Obecně se tyto rovnice řeší pomocí Eukleidova algoritmu (anebo řetězových zlomků), ale s tím se trápit nebudeme a i nadále budeme používat metodu pokusů a omylů (všechna n v tomto článku budou malá, takže to zvládneme na prstech).

Při počítání se zbytkovými třídami je v podstatě jedno, zda je modulus n prvočíselný nebo ne. Při řešení kongruencí ale prvočísla získají velkou výhodu. Lineární kongruence

a*x ≡ b (mod n)

je pro prvočíselná n vždy řešitelná (s nenulovým a samozřejmě).

Kongruence 5*x ≡ 2 (mod 7) má řešení x=6 (a tedy také 13, 20 atd).

Oproti tomu rovnice 5*x ≡ 2 (mod 10) řešení nemá a když si tuto kongruenci napíšete jako diofantickou rovnici 5*x - 10*k = 2 hned uvidíte proč (ať je x a k jakékoliv, levá strana bude dělitelná pěti, zatímco pravá nikoliv). Proto budu ve zbytku článku uvažovat pouze prvočíselné hodnoty n a budu je značit písmenkem p (i to péčko ve slově p-adická znamená, že uvažujeme pouze prvočíselné hodnoty).

Teď když jsme zvládli lineární kongruence, můžeme zkusit kvadratické. Tady už je to složitější v tom smyslu, že ani pro prvočíselné hodnoty p řešení nemusí existovat vždy. Můžeme si opět zkusit příklad (metodou pokusů a omylů):

x² ≡ 1 (mod 5)

má dvě řešení (to u kvadratické kongruence tak nějak očekáváme) a to x=1 a x=4 (a s nimi samozřejmě i příslušné zbytkové třídy, takže jsem to mohl zapsat elegantněji jako x ≡ 1 a x ≡ 4). Naopak rovnice

x² ≡ 2 (mod 5)

žádné řešení nemá (tj. neexistuje celé číslo, jehož čtverec by po vydělení 5 dával zbytek 2). Koho zajímá, za jakých okolností mají kvadratické kongruence řešení a jak se najdou, může se mrknout na kvadratická rezidua.

Možná vám tato modulární aritmetika přijde zbytečně abstraktní, ale dva příklady určitě znáte z praktického života. Při počítání hodin používáme aritmetiku moduló 24, takže je-li 23 hod a další prášek si máte vzít za 6 hodin, budíka si nenařídíte na 23+6=29 hodin, ale na 23+6 ≡ 5 (mod 24) hodin. Proto se v angličtině tomuto typu počítání někdy říká "clock arithmetic". Obdobně při počítání úhlů ve stupních používáme aritmetiku moduló 360°. Takže sedíme-li na kolotoči v pozici odpovídajícímu úhlu 200° (měřeno od pokladny) a kolotočář se rozhodne tento úhel zdvojnásobit, dostaneme se do úhlové pozice 2*200° ≡ 40° (mod 360°), protože 40° a 400° leží ve stejné zbytkové třídě. Kontrolní otázka: jak se jmenuje kolotočář?

(dnešní sekce Jauvajs začíná zde - dál jen pro otrlé)

+++++++++

Kongruenční matrjošky

Jeden z průkopníků teorie p-adických čísel, německý matematik Kurt Hensel, je autorem zajímavé věty (Henselovo lemma), která zhruba říká, že jakmile objevíte kongruenci, která je řešitelná pro nějaký prvočíselný modulus p, tak ta samá kongruence už bude řešitelná i pro všechny vyšší mocniny p (tedy mod p², p³, atd).

Trikem, na kterém jsou p-adická čísla do jisté míry založena je, že všechny kongruence ve vyšších mocninách p budeme hledat ve formě rozvoje podle těchto mocnin (je to podobné, jako když si děláte rozvoj čísla při základu p). Při tom je užitečné se na koeficienty těchto rozvojů dívat jako na jakési "souřadnice" či p-adické číslovky.

Podívejme se na příklad pro p=5.

Kongruence (mod p³) mají celkem 125 zbytkových tříd - od 0 do 124 - a proto se nám pro praktické počítání hodí si všechna tato čísla zapsat ve tvaru r+s*p+t*p² (kde r,s,t jsou 5-adické "číslovky" nabývající hodnot 0 až 4). Například 91 se pomocí mocnin p=5 zapíše takto: 91 = 1+3p+3p². Nebo "souřadnicově" 91 = {1,3,3}. Tyto číslovky (či "souřadnice") vám umožní se ve zbytkových třídách pro danou mocninu p lépe vyznat - jen musíte dávat pozor, jakou ten který autor používá konvenci; někdo to zapisuje obráceně - tedy 91 = 3p²+3p+1 = {3,3,1}, aby to připomínalo desetinný zápis, kde jsou koeficienty u vyšších mocnin také napravo. Já se ale přidržím původní konvence.

Ještě rychle zopakuju, jak se k tomu výsledku propracujeme: kolikrát je v 91 obsaženo p² (tedy 25)? Třikrát (to je ta pravá trojka). Odečteme 91-3*25=16 a zeptáme se: kolikrát je v 16 obsaženo p (tedy 5). Třikrát (to je ta prostřední trojka). Odečteme 16-3*5 a máme tu jedničku nalevo (více v tomto Matykání). Takže v 5-adickém světě je 91 = {1,3,3}.

Teď, když jsme si vybudovali poměrně snesitelné označení pro počítání ve zbytkových třídách s vyššími mocninami p, se můžeme podívat, jak to Henselovo lemma vlastně funguje - tedy jak nám ty souřadnice pomohou hledat řešení různých vyšších kongruencí.

+++++++++

Nejprve si zkusíme lineární kongruenci pro p=5.

3*x ≡ 4 (mod 5)

Její řešení už máme: x=3. Takže zkusíme druhou mocninu péčka:

3*x ≡ 4 (mod 5²)

Řešení budeme hledat ve tvaru x = r+s*p. Protože rozdíl členů na obou stranách kongruence musí být násobkem p², dostaneme:

3*(r+s*p)-4=kp² pro nějaké celočíselné k. Aby tato rovnice fungovala, musí být 3*r-4 dělitelné péčkem (protože ostatní členy dělitelné péčkem jsou) a to znamená, že 3*r ≡ 4 (mod 5). To jsme si v podstatě jen ověřili, že r je řešení předchozí kongruence, které už známe: r=3. Teď si ale spočítáme, jakému konkretnímu násobku p ten rozdíl odpovídá: 3*r-4 = 1*p a toto dosadíme do předchozí rovnice, abychom spočítali hodnotu s:

3*(r+s*p)-4=3*r-4+3*s*p = 1*p+3*s*p=kp²

z té poslední rovnosti po zkrácení p dostaneme

3s+1=k*p

jinými slovy 3s+1 musí být násobek p (to je v podstatě další lineární kongruence mod p), takže vezmeme zbytkové reprezentatnty 0 až 4 a metodou pokusů a omylů zjistíme, že s=3.

Řešení naší konguence mod p² je tedy číslo 3+3p, což je bratru 18, a můžete si zkusit, že toto číslo skutečně splňuje kongruenci

3*18 ≡ 4 (mod 5²)

A u vyšších mocnin postupujeme analogicky: z těch "předchozích" souřadnic si vždy spočítáme tu další. Na řadě je třetí mocnina p. Hledejme tedy řešení kongruence:

3*x ≡ 4 (mod 5³)

a to ve tvaru x=r+s*p+t*p². Stejně jako v předchozím případě se ukáže, že ty dvě první souřadnice odpovídají předchozím řešením, takže bez dalších cavyků napíšeme x=3+3*p+t*p² a začneme hledat t z následující rovnice

3*(3+3*p+t*p²)-4 = k*p³

Opět si nejprve spočítáme, jaké konkrétní mocnině p to předchozí řešení odpovídá: zde nám vyjde 3*(3+3*p)-4 = 50 = 2*p², a tím si hledanou rovnici trochu zjednodušíme na

2*p²+3*t*p²=k*p³

Po zkrácení p² vidíme, že 2+3*t musí být násobek p a zkusmým dosazením zjistíme, že t=1 (pokud se vám to "zkrácení" nepodaří, tak jste někde udělali chybku). Nakonec tedy dostaneme řešení x=3+3*p+1*p², což je bratru x=43 a skutečně platí:

3*43 ≡ 4 (mod 5³)

A takhle můžeme s mocninami p pokračovat až do nekonečna. Pro čtvrtou mocninu p budeme hledat řešení ve tvaru x=r+s*p+t*p²+u*p³. První tři složky už máme, takže stačí najít u a pokud si s tím chvilku pohrajete zjistíte, že x=3+3*p+1*p²+3*p³. Tady už je výhodnější to zapsat souřadnicově: x={3,3,1,3}. Pokud se budete vysloveně nudit, můžete pokračovat dál do vyšších a vyšších mocnin p a výsledné řešení bude v "souřadnicích" vypadat takto (ty tři tečky znamenají, že proces pokračuje)

x = {3,3,1,3,1,3,1,3,1,3,...}

a tohle už je v podstatě naše první p-adické číslo.

+++++++++

Dříve než se v tom začneme šťourat vám ukážu, že úplně stejně to funguje i pro kvadratické (a vyšší) kongruence. Aby to ale nebylo tak fádní, vezmeme si p=7 a budeme řešit problém

x² ≡ 2 (mod 7)

Tady budeme pro pokusy a omyly potřebovat čísla 0 až 6 a v první linii se šťastným výhercem stává číslo x=3. A teď se rozjedeme do vyšších mocnin p. Nejprve budeme řešit

x² ≡ 2 (mod 7²)

Stejně jako v lineárním případě hledáme x ve tvaru x=r+s*p = 3+s*p (ta první složka r musí opět řešit předchozí kongruenci, to si můžete ověřit podobně jako v lineárním případě). Musí tedy existovat celé číslo k, tak že platí:

(3+s*p)²-2 = k*p²

roznásobíme naznačený čtverec a opět dosadíme konkretní násobek p z předchozího řešení (3²-2 = p)

3²+6*s*p+s²p²-2 = p+6*s*p+s²p² = k*p²

díky tomu násobku p můžeme v poslední rovnici zase zkrátit a zjistíme, že 1+6s musí být dělitelné p (ta úvaha je stejná jako v předchozím případě - vše ostatní v té rovnici je dělitelné p). A to je opět jednoduchá kongruence mod p, která má pokuso-omylové řešení s=1. Takže dostaneme x=3+1p, což je bratru x=10. A ověříme si, že toto řešení opravdu splňuje

10² ≡ 2 (mod 7²)

A pokračujeme dále. Řešení kongruence

x² ≡ 2 (mod 7³)

hledáme ve tvaru x = r+s*p+t*p² s tím, že ty první dvě složky už známe a t dopočítáme z rovnice

(3+1*p+t*p²)²-2 = k*p³

tady už vám po umocnění vyjde kupa členů, ale pokud to opatrně roznásobíte a uvážíte, že z předchozího řešení máme (3+1*p)²-2 = 98 = 2p², měli byste dostat t=2, takže x = 3+1*p+2*p², což je bratru x=108 a skutečně platí

108² ≡ 2 (mod 7³)

a takto můžeme mocniny p navyšovat až do nekonečna. Další "vypocená" číslovka (pro p^4) bude 6 a pomalu nám tu zraje další p-adické číslo (tentokrát 7-adické)

x = {3,1,2,6,...}

Kubické a vyšší kongruence se počítají stejně. První souřadnice se spočítá z kongruence mod p a ty další souřadnice se pak přidávají postupně. Trochu to připomíná skládání ruských matrjošek: začínáme u té nejmenší (mod p) a na ni pak "nabalujeme" řešení ve vyšších mocninách (mod p², p³ atd). Samozřejmě bychom ty vyšší kongruence mohli spočítat ihned (počítač by všechny ty pokusy a omyly zvládl za zlomek sekundy) a výsledek pak vyjádřit v "souřadnicích", ale tento postupný útok mi přijde pedagogicky vhodnější pro pochopení p-adických čísel. Ta totiž nejsou ničím jiným než nekonečnou verzí tohoto procesu (když si v hlavě to objevování vyšších a vyšších "souřadnic" zacyklíte, dostanete v limitě p-adická čísla)

+++++++++

p-adická čísla

Reálná čísla si většinou představujeme jako body na číselné ose. Ale mohli bychom se na ně - alespoň na ta algebraická - dívat trochu abstraktněji. Jako na rovnice. Koneckonců reálné číslo 4/3 není nic jiného než kořenem rovnice 3x=4. Obdobně je číslo sqrt(2) pouhopouhým řešením rovnice x²=2.

p-adická čísla si můžeme představit podobně, s tím rozdílem, že místo rovnic budeme uvažovat kongruence, přesněji nekonečné kongruenční matrjošky z předchozí sekce. Takže matrjoška vzniklá z kongruence 3*x ≡ 4 (mod p) bude hrát roli "čísla" 4/3 a v 5-adických číslech má vyjádření (jak jsme pracně spočítali výše):

P = {3,3,1,3,1,3,1,3,1,3,...} = 3+3p+1p²+3p³+...

Na druhé straně matrjošku vzniklou z kongruence x² ≡ 2 (mod p) si můžeme představit jako odmocninu ze dvou, a v 7-adických číslech (opět na základě minulé sekce) má podobu

P = {3,1,2,6,1,...} = 3+p+2p²+6p³+...

Každá taková nekonečná matrjoška je striktně vzato nekonečnou mocninnou řadou v proměnné p. Úplně všechny řady si ale takto nenabrnkáme (stejně jako ne všechna reálná čísla jsou řešením algebraických rovnic). Proto se ve výsledné definici od kongruenčních matrjošek odpoutáme a vezmeme na milost všechny řady v proměnné p, ať už vzniknou jakýmkoliv způsobem.

p-adická čísla jsou tedy obecně nekonečné formální řady v prvočíselné proměnné p jejíž koeficienty leží v rozmezí 0...p-1 (to slůvko "formální" znamená, že se na p nedíváme jako na konkrétní hodnotu, ale jako na symbol či parametr, který dává celé řadě určitou strukturu). Typické 3-adické číslo tedy vypadá takto:

P = {2,1,0,1,...} = 2 + p + p³ + ...

Je to v podstatě nekonečná posloupnost p-adických koeficientů. A s tím zda ty koeficienty pochází z nějaké kongruence si nebudeme lámat hlavu. Když vám dám reálné číslo, řekněme x=3.89105, tak s ním prostě počítáte a také se nepídíte, zda a jakou rovnici řeší (zde by to bylo 257x=1000). Nicméně pro hlubší pochopení p-adických čísel je dobré o těch kongruencích vědět (stejně jako se u reálných čísel vyplatí znát vlastnosti zlomků - a lineárních celočíselných rovnic, které reprezentují).

Otec p-adických čísel, výše zmíněný Kurt Hensel, byl při jejich konstrukci veden snahou zavést některé metody z teorie mocninných řad do teorie čísel.

Řady, které jsme zatím viděli odpovídají celým p-adickým číslům (ta tedy poznáte tak, že začínají nultou mocinou p). Abychom dostali širší p-adická čísla, tak budeme uvažovat i podíly takovýchto řad R = P/Q. To už je poměrně technická otázka, kterou nechci moc rozvíjet, a tak jen poznamenám, že pokud číslo Q ve jmenovateli začíná n-tou mocninou p (což je z pohledu toho podílu nejhorší varianta), tak příslušné "racionální" p-adické číslo bude začínat -n tou mocninou. Tím pádem nejobecnější p-adické číslo může vypadat třeba takto:

R = 4/p² + 1/p + 2 + 6p + 3p² + ...

p-adická čísla tedy nejsou rozšířením reálných čísel (jako třeba čísla komplexní), ale jsou v jistém smyslu jejich opakem. Když si reálné číslo zapíšete v tradičním dekadickém rozvoji, tak dostanete konečný počet kladných mocnin základu a (potenciálně) nekonečný počet záporných mocnin - s příslušnými koeficienty. U p-adických čísel je tomu přesně naopak. Ty mají konečný počet (klidně i nulový) záporných mocnin péčka a (potenciálně) nekonečný počet kladných. Kdybych se pokusil ta p-adická čísla zapsat podobně jako zapisujeme desetinná (tedy zprava doleva a s desetinnou tečkou, tam kde končí záporné mocniny), tak bych pro výše uvedené číslo R dostal:

R = ...362.14

(ty tři tečky znamenají, že kladné mocniny pokračují dál; u reálných čísel jsou ty tři tečky pochopitelně na druhé straně 3.141... Jo, a bacha - čísla binární nebo hexadecimální, která možná znáte z počítačových aplikací, jsou stále čísla reálná, jen jsou vyjádřená v jiném formátu. Tak jako u p-adických čísel můžeme měnit to péčko, u reálných čísel můžeme měnit příslušný základ).

+++++++++

p-adická čísla nežijí na reálné ose, ani v komplexní rovině, ale nachází se v jakémsi abstraktním algebraickém prostoru. To, že ta čísla nejsou "hmatatelná" vidíte i z toho, že když si je mechanicky vyčíslíte pro příslušné p, tak obvykle dostanete nekonečno (odpovídají tedy zhruba divergentním řadám). V jistém smyslu na ně můžeme pohlížet jako na náš pokus to nekonečno nějak "zkrotit". Nasadit mu algebraické jho.

p-adická čísla nemají záporné ekvivalenty. I tradičně záporná čísla se vyjádří pomocí kladných řad. Např. pro 5-adická čísla platí, že

-1 = {4,4,4,...} = 4+4p+4p²+...

To uvidíte nejlépe, když k oběma stranám přičtete 1. Nalevo se jedničky vyruší a dostanete 0. Na druhé straně též, ale musíte si to rozmyslet. Nejprve sečtete 1+4 = p (čísla jsou 5-adická, takže p=5). To péčko přehodíte vidlema doprava a dostanete p+4p = 5p = p², opět přehodíte doprava a dostanete p²+4p² = p³. A tak dále. I napravo se tedy vše vyruší - ale jiným způsobem - tím, že to "odházíme" vidlema do nekonečna (jehož tlama je vpravo doširoka otevřená).

Další bizarní vlastností p-adických čísel je, že se nedají uspořádat v klasickém smyslu. Pro dvě různá reálná čísla x a y musí vždy platit, že buď x<y nebo y<x. Jedna z možností musí nastat (protože reálná čísla uspořádaná jsou). Pro p-adická taková dichotomie neplatí. Jak byste taky rozhodli, které z následujících 5-adických (celých) čísel je větší:

P = {1,2,1,2,1,2,1,2,1,2,1,2,...}
Q = {2,1,2,1,2,1,2,1,2,1,2,1,...}

(a nezapomeňte, že směrem doprava mocniny vzrůstají - u reálných směrem doprava klesají a proto ty další mocniny už pro výsledné uspořádání nehrají takovou roli)

Jinými slovy, tato čísla protiřečí prakticky každému kousku intuice, který jsme si ve škole o číslech vybudovali. Přesto existují, fungují a dokonce představují reálnou alternativu reálných čísel (jak uvidíme v příští sekci). Kdykoliv se s nimi ale setkám, vzpomenu si na starou historku ze života amerického matematika a fyzika Johna von Neumanna. Když si mu jednou kolega postěžoval na jakousi neprůhlednou matematickou metodu, von Neumann mu suše odpověděl.

"Mladý muži, v matematice není účelem věci pochopit, ale zvyknout si na ně".

+++++++++

Ultrametrika

Protože základem každé solidní analýzy je pojem "blízkosti" (ze kterého je například odvozena limita), musíme si říci, jak budeme poměřovat vzdálenosti mezi p-adickými čísly. To, že je nelze uspořádat neznamená, že nemůžeme spočítat jak jsou od sebe daleko.

V matematice se vzdálenosti mezi čísly (i obecnějšími objekty) "měří" pomocí funkce dvou proměnných, které říkáme metrika a obvykle ji značíme d(x,y). Na vstupu vhodíte dovnitř dva objekty, x a y (obvykle čísla nebo vektory) a na výstupu vám ta funkce vyhodí jejich "vzdálenost". Aby mohla tuto funkci plnit, musí metrika pro každé x a y splňovat následující podmínky:

(1) d(x,y) > 0
(2) d(x,y)=0 právě tehdy když x=y
(3) d(x,y) = d(y,x)
(4) d(x,y) <= d(x,z) + d(z,y) pro každé z

První tři podmínky jsou celkem jasné - říkají nám, že vzdálenost musí být nezáporná, vzdálenost mezi stejnými objekty je nula (a v žádném jiném případě nula není) a že vzdálenost je symetrická - tedy z Hradce do Pardubic je to stejně daleko jako z Pardubic do Hradce.

Čtvrtá podmínka je nejzajímavější a říká se jí trojúhelníková nerovnost, protože vyjadřuje známou skutečnost, že velikost každé strany trojúhelníka je menší než součet velikostí zbývajících stran. Anebo polopatičtěji: přímá vzdálenost z Hradce (x) do Pardubic (y) musí být kratší než když to vezmete přes Chlumec (z).

Někdy se podaří najít funkci, která dokonce splňuje silnější podmínku

(4') d(x,y) <= max(d(x,z),d(z,y)) pro každé z

V takovém případě se této funkci říká ultrametrika. Metriky používané v běžné praxi tuto silnější vlastnost nemají (ona je trochu patologická, jak za chvíli uvidíme). V ultrametrickém světě by vzdálenost z Hradce do Pardubic byla menší než maximum vzdáleností Hradec-Čeperka a Pardubice-Čeperka (obec zhruba na půli cesty). Vidíte, že tato malinká změna v definici trojúhelníkové nerovnosti má poměrně absurdní důsledky.

Pro reálná i komplexní čísla se metrika celkem lehce odvodí z absolutní hodnoty:

d(x,y) = | x-y |

Můžete si ověřit, že tato funkce splňuje podmínky (1-4), nikoliv však (4'), a navíc odpovídá našemu intuitivnímu (eukleidovskému) chápání vzdáleností jak na reálné přímce, tak v komplexní rovině. Tento typ metriky se dá zavést i pro vektory, ale pak musíte absolutní hodnotu vyměnit za normu.

++++++++++

Pro p-adická čísla na to musíme jinak. Intuitivně vzato, dvě p-adická čísla by měla být "blízko sebe" pokud ty dva procesy generující "kongruenční matrjošky" běží dlouho ruku v ruce. Tedy pokud generují podobnou sekvenci "souřadnic", alespoň ze začátku. Jako příklad si vezmeme 7-adická (celá) čísla P a Q definovaná takto:

P = {3,1,1,2,6,4,3,...}
Q = {3,1,1,2,6,1,5,...}

Tyto dvě matrjošky se "rozjedou" teprve na 6. pozici, takže čísla, která reprezentují, bychom měli považovat za blízká. A čím více souřadnic se nám podaří "srovnat", tím blíž by si ta čísla měla být. Když si uvědomíte, že ty koeficientíky reprezentují mocniny p, můžeme zhruba říci, že p-adická čísla jsou si tím blíž, čím vyšší mocninou p jejich rozdíl začíná.

I toto se dá technicky ošetřit pomocí absolutní hodnoty, ale musíme ji definovat "netradičně". Pro p-adické číslo P, jehož rozvoj začíná n-tou mocninou p, ji definujeme jako

|| P || = 1/p^n

(pro odlišení od standardní absolutní hodnoty budu používat dvojčáru)

Takže např. 5-adické číslo Č = 2p + 3p² + p³ +... bude mít absolutní hodnotu || Č || = 1/5. Naopak 7-adické číslo FŇ = 4/p+5+2p++p+... bude poměrně velké: || FŇ || = 7 (rozvoj začíná mínus první mocninou). Obecněji číslo, jehož "souřadnice" mají na začátku hodně nul (a tedy začínají vysokou mocninou p) bude mít malou absolutní hodnotu. Pak bude vzdálenost výše zmíněných čísel P a Q skutečně malá (v p-adickém smyslu), protože jejich rozdíl obsahuje hodně nul na začátku (prvních 5 souřadnic se vynuluje).

Opět si všimněte, že p-adická čísla jsou v jistém smyslu opakem čísel reálných. Dvě reálná čísla jsou si blízko, pokud se (zhruba řečeno) liší o malou (zápornou) mocninu základu. Dvě p-adická čísla jsou si blízko, pokud se liší o velkou (kladnou) mocninu základu.

Například desetinná čísla 6.767 a 6.768 jsou si blízko, protože se liší o tisícinu (mínus třetí mocninu základu 10). Naopak 7-adická celá čísla

P = {2,5,5,3,8,...} a Q = {2,5,5,4,1,...}

jsou si blízko, protože se (při přepočtu na mocniny 7) liší o 7³. Ta "netradiční" absolutní hodnota jejich rozdílu tedy bude || P-Q || = 1/7³. Jakmile máme definovanou absolutní hodnotu, definujeme odpovídající metriku opět výrazem

d(P,Q) = || P-Q ||

Nejdůležitější vlastností této metriky je, že splňuje podmínku (4') - to znamená, že p-adická metrika je ultrametrikou (!). To se dá nejlépe nahlédnout přes absolutní hodnotu a to tak, že si pečlivě rozmyslíte případy, kdy P i Q začínají (resp. nezačínají) stejnou mocninou (podrobnosti zde nebo zde na str. 5).

+++++++++

Tato "netradiční" absolutní hodnota se dá definovat i na (tradičních) racionálních číslech a to více méně stejným způsobem. Nejprve z čitatele i jmenovatele vytkneme p (případně zkrátíme) a racionální číslo zapíšeme ve tvaru

q = p^n (x/y)

(kde celá čísla x a y už neobsahují p)

pro něj pak definujeme "netradiční" absolutní hodnotu jako

|| q || = 1/p^n

To znamená, že racionální číslo bude "malé" (ve smyslu této absolutní hodnoty), pokud jeho čitatel bude obsahovat vysokou mocninu p a naopak bude "velké", pokud vysokou mocninu p nalezneme v jeho jmenovateli. Takže třeba v 5-adické absolutní hodnotě bude zlomek q=75/2 malý (neboť ||q||=1/25), zatímco zlomek q=3/5 bude poměrně velký (protože ||q||= 5). Oproti tomu zlomky 17/99 nebo 3/1 jsou v 5-adických číslech tak akorát (jejich absolutní hodnota je 1). Žádná sranda, co? Pár dalších příkladů najdete zde.

Touhle habaďůrou jsem vás protáhl hlavně proto, abych vám mohl prozradit, co ta Ostrovského věta, zmíněná v úvodu, vlastně konkretně říká. Podle Ostrovského se na racionálních číslech dá absolutní hodnota definovat pouze dvěma způsoby. Klasickou absolutní hodnotou | q | a "netradiční" absolutní hodnotou || q ||. Pokud při zúplnění použijeme tu první, dostaneme reálná čísla, pokud použijeme tu druhou, dostaneme p-adická čísla. Žádná jiná netriviální možnost neexistuje.

Literární shrnutí: "Kdeže loňské sněhy jsou", přemítal Kravavý Džejk s pohledem pevně upřeným do světelné vánice vířící po stříbřité hladině prudké horské říčky. Na zaobleném kameni za ním seděl jeho parťák Bill Rychlopalka a láskyplně čistil svůj ohmataný kolt značky Smith & Wesson. Obvykle jej vytasil s rychlostí neurotického kolibříka a každého zlosyna v okruhu padesáti stop provrtal bez výstrahy množstvím olova vysoce překračujícím doporučenou denní dávku. Jeho zpocený zátylek signalizoval pozdní odpoledne. Na protějším břehu klečela robustní pradlena a malým dřevěným pádlem mlátila do jakýchsi špinavých hadrů s takovou vervou, že by se za ni nemuseli stydět ani protagonisté tradiční páteční rvačky v saloonu "U bídného kojota". "Ta do těch podvlíkaček buší jako by z nich chtěla vytřískat, kudy se jede ke zlatému pokladu", odtušil pobaveně Džejk. "Fortelem a razancí mi připomíná moji bejvalou", doplnil Bill, "to byla pěkná semetrika". Džejk se hořce zasmál, vyplivnul hrudku tabáku a zkušeně kontroval: "To nic není - to moje první žena, to byla učiněná ultrametrika".

+++++++++

Najdeme v mikrosvětě nearchimedovskou geometrii?

(pozor - toto je něco úplně jiného než neeukleidovská geometrie)

Reálná čísla mají jednu vlastnost, která se na první pohled jeví tak samozřejmou, že se zdá být pošetilé jí vůbec dávat jméno. O číselném systému říkáme, že je archimedovský, pokud se libovolně malé kladné číslo dá zvětšit nad libovolnou mez pronásobením vhodným přirozeným číslem. Přesněji:

kdykoliv si v tom systému vezmeme dvě čísla 0 < x < y,
tak nalezneme přirozené číslo n tak, že nx > y

Můžeme si to představit i geometricky: libovolně malá úsečka délky x nakonec přesáhne libovolně velkou délku y, pokud ji naneseme dostatečně mnohokrát. Představte si hlemýždě, který právě vyrazil z Hradce do Pardubic a za první den urazil pouze 70 cm. Sedí chudák u patníku a zoufá si. Ale díky archimedovské vlastnosti reálných čísel mu matematika zaručuje, že dříve nebo později (no, spíš asi později) se do Pardubic skutečně dostane.

Tohle je něco tak triviálního, že normální člověk si musí poklepat na čelo, čím se to ti matematici zase za státní peníze zabývají. Ale ukazuje se, že ne každý číselný systém tuto vlastnost má. A speciálně ji nemají ty, kde se vzdálenosti měří ultrametrikou (jako např. p-adická čísla).

Podívejme se teď na tu trojúhelníkovou nerovnost (4) očima absolutní hodnoty, která příslušnou (ultra)metriku generuje. Pro libovolné prvky x,y našeho systému musí absolutní hodnota splňovat toto:

(4) | x+y | <= |x| + |y| (metrika)
(4') || x+y || <= max {|| x ||, || y || } (ultrametrika)

Z toho je patrné, že ultrametrika znemožňuje objektům, aby rychle rostly - tedy aby se dostatečně rychle zvětšovala jejich absolutní hodnota. Položme si y=x a hned ten problém uvidíme:

|| x+x || <= || x ||

To, že ultrametrický svět není archimedovský, znamená, že to malé x v definici můžete násobit přirozenými čísly až do alelujá a pořád bude menší než y. Pokud se s tím chcete nějak vnitřně skamarádit, představte si y jako nějakou formu nekonečna anebo x jako nějakou formu infinitesimálně malého čísla (podrobnosti zde anebo zde).

Je jasné, že geometrie v prostorech, kde se vzdálenosti měří ultrametrikou musí být zatraceně podivná. Jako příklad vám předložím tři tvrzení, která samozřejmě mimo ultrametrické prostory neplatí.

(1) všechny trojúhelníky jsou rovnoramenné
(2) všechny vnitřní body každé koule jsou jejím středem
(3) dvě koule, které se protínají, už musí být totožné

Podrobnosti a náznak důkazu najdete zde.

+++++++++

Kromě důkazu Fermatovy věty (viz zde, str. 9 a dál), zmíněné v úvodu nemají p-adická čísla v matematice příliš mnoho aplikací (o praktickém životě ani nemluvě). Z pohledu fyziky mají tato čísla jednu velkou nevýhodu. To péčko. Proč by měl Stvořitel preferovat zrovna 17-adický nebo 59-adický pohled na svět? Aby si pámbů nemusel házet kostkou, tak mu matematici vymysleli tzv. "adélky" (adeles), což jsou v podstatě nekonečné vektory, v jejichž složkách se vystřídají p-adická čísla pro všechny prvočíselné hodnoty p (podrobnosti najdete ke konci tohoto zajímavého článku).

Zda je náš svět na úrovni Planckovy délky archimedovský (tedy reálný) nebo nearchimedovský (tedy p-adický) je v tomto okamžiku vysoce spekulativní otázka. Naše experimentální možnosti zatím tak hluboko do nitra prostoru nedosáhnou. A je docela možné, ba pravděpodobné, že p-adická čísla zůstanou slepou uličkou v historii vědy (nebo v lepším případě extravagantní hračkou v rukou číselných teoretiků). Ale jak říká jeden můj kamarád: pokud nějaká struktura funguje, příroda by byla hloupá, kdyby ji nepoužila. A je-li pytel kvantové mechaniky šílený, proč na něj nedat šílenou záplatu?

Chcete-li si zaspekulovat, můžete pokračovat v krasojízdě zde (ve formátu pdf):

p-adic mathematical physics (the first 30 years)
Non Archimedean geometry and Physics on Adelic spaces
Is spacetime p-adic?
Number theory as the Ultimate Physical Theory
p-adic physics

Mimochodem, od dob Alberta Einsteina víme, že makrosvět je zakřivený a tudíž v něm vládne neeukleidovská geometrie. Bylo by krásnou ironií, kdyby se ukázalo, že v mikrosvětě kraluje geometrie nearchimedovská. Bohové na Olympu by se určitě smáli, až by se za svá posvátná břicha popadali.

+++++++++

Udatným rekům, kteří se prosekali p-adickými šiky až sem patří vyznamenání za statečnost plus vyfotografování před bojovou zástavou pluku. A také něco na zotavenou: dnes vám v dohrávce nabídnu filmovou hudbu, podbarvující můj oblíbený shakespearovský monolog - "St Crispin Day Speech" - kterým král Henry V v předvečer bitvy u Agincourtu burcuje své unavené vojsko proti francouzské přesile. Ani nemusíte umět moc anglicky, abyste vycítili víru ve svoji věc a odhodlání zvítězit i přes nepřízeň osudu, která z krále vyzařuje (a nic na tom nezmění ani příjezd francouzského vyslance, který mu navrhuje aby se z bitvy vykoupil). Podmanivou hudbu k této slavné scéně napsal Patrick Doyle. Pokud si její nadpozemskou krásu chcete vychutnat bez rozptylujícího filmového elementu, přiložte ucho sem.

Předchozí díly Matykání.

Autor: Jan Řeháček | pátek 9.2.2018 9:09 | karma článku: 18.30 | přečteno: 659x


Další články blogera

Jan Řeháček

Tvrzení chrámu 13 (slovo)

Slovo je atomem významu. Je základním stavebním kamenem, ze kterého skládáme konstrukce svých myšlenek. Někdo s precizností zručného zedníka, jiný živelně jako nadšený amatér. A stejně jako blogeři, i slova mají svou žhavou karmu.

9.5.2018 v 9:09 | Karma článku: 14.20 | Přečteno: 246 | Diskuse

Jan Řeháček

Kdo nepučí s námi, pučí proti nám

Po chladnějším úvodu jara konečně i k nám do severní Virginie dorazilo teplejší počasí. A flora i fauna přijaly tuto změnu s nelíčeným povděkem. V parku, který ještě před měsícem připomínal spící zámek, to najednou kolotá životem.

2.5.2018 v 9:09 | Karma článku: 19.03 | Přečteno: 328 | Diskuse

Jan Řeháček

Budoucnost patří referendu (Sorry Járo)

Českou kotlinou obchází strašidlo referenda. A jakkoliv tento rozhodovací mechanismus není všelék, není to ani bubák, z něhož by bylo nutno mít obavy. V dlouhodobém horizontu si myslím, že má klady, které se vyplatí dobře zvážit.

25.4.2018 v 9:09 | Karma článku: 21.28 | Přečteno: 432 | Diskuse

Jan Řeháček

Matykání: jak vzniká chaos?

Kdysi dávno jsem v pracovně jednoho excentrického pana profesora objevil malý transparent s nápisem: "Pořádek je pro blbce, inteligent zvládá chaos". Dnes se podíváme, jak s tímto fenoménem zápasí samotná matička matyčka.

9.4.2018 v 9:09 | Karma článku: 15.71 | Přečteno: 421 | Diskuse

Další články z rubriky Věda

Dana Tenzler

Barevný přelud - duha (2)

Jak vzniká mnohočetná duha? Co je to noční duha? Kde se dá vidět kruhová duha? Jak si vyrobit vlastní domácí duhu a jak se dá duha odčarovat? (délka blogu 5 min.)

24.5.2018 v 8:00 | Karma článku: 17.22 | Přečteno: 229 | Diskuse

Karel Tejkal

Biblický realismus

Socialistický realismus, lidová demokracie... Mnozí z nás si ještě vzpomínají na adjektiva, kterými režim před rokem 1989 ideologicky vylepšoval některé obecné, režimu nepohodlné pojmy.

23.5.2018 v 19:48 | Karma článku: 10.47 | Přečteno: 260 | Diskuse

Libor Čermák

Velké sloní záhady

Sloni jsou úžasná stvoření. Ví se, že mají jak empatii, tak i značný díl inteligence. Já bych však chtěl upozornit i na další zajímavé záhady, které jsou s tímto největším suchozemským savcem spojeny.

22.5.2018 v 6:40 | Karma článku: 15.81 | Přečteno: 482 |

Daniel Schubert

Antibiotická krize neexistuje. Lékem infekčních nemocí je intravenózní vitamín C

Článek má celkově necelé 2 A4 strany textu ke čtení. Zbytek "objemu" článku zabírají obrázky a vyčerpávající literatura na konci pro další studium zvědavých čtenářů.

21.5.2018 v 18:26 | Karma článku: 23.67 | Přečteno: 1461 | Diskuse

Dana Tenzler

Nechte si se mnou zajít chuť na … margarín

Dlouholetý souboj mezi průmyslem, který vyrábí máslo a margarín, skončil remízou. Nedá se říci, co je zdravější - nové a nové studie nevrhají na věc ani trochu světla. (délka blogu 5 min.)

21.5.2018 v 8:00 | Karma článku: 35.31 | Přečteno: 3753 | Diskuse
VIP
Počet článků 241 Celková karma 19.25 Průměrná čtenost 825

Devátý nejhorší kuchař na světě, odpůrce politické překorektnělosti, začínající marťan, neúnavný konzument točeného kyslíku a jazykový dobrodruh ab incunabulis. Člen Analytického piva a Gustavu pro jazyk český. Správce Vojensko-českého slovníku.





Najdete na iDNES.cz



mobilní verze
© 1999–2017 MAFRA, a. s., a dodavatelé Profimedia, Reuters, ČTK, AP. Jakékoliv užití obsahu včetně převzetí, šíření či dalšího zpřístupňování článků a fotografií je bez souhlasu MAFRA, a. s., zakázáno. Provozovatelem serveru iDNES.cz je MAFRA, a. s., se sídlem
Karla Engliše 519/11, 150 00 Praha 5, IČ: 45313351, zapsaná v obchodním rejstříku vedeném Městským soudem v Praze, oddíl B, vložka 1328. Vydavatelství MAFRA, a. s., je členem koncernu AGROFERT.