Riemannova hypotéza je matematická otázka (domnienka). Veľa ľudí si myslí, že nájsť dôkaz tejto hypotézy je jeden z najťažších a najdôležitejších nevyriešených problémov čistej matematiky. Čistá matematika je typ matematiky, ktorý sa zaoberá myslením o matematike. Je to niečo iné ako snaha o zavedenie matematiky do reálneho sveta. Odpoveď na Riemannovu hypotézu je "áno" alebo "nie".
Domnienka je pomenovaná podľa muža menom Bernhard Riemann. Žil v 19. storočí. Riemannova hypotéza kladie otázku o špeciálnej veci, ktorá sa nazýva Riemannova zeta funkcia. V stručnosti: zeta funkcia je komplexná funkcia, ktorá sa pôvodne definuje sériou ζ(s) = sum_{n=1}^∞ n^{-s} pre komplexné číslo s s reálnou časťou väčšou ako 1 a potom sa analyticky pokračuje na celú komplexnú rovinou okrem jedného pólu v s = 1.
Čo presne tvrdí Riemannova hypotéza?
Riemannova hypotéza tvrdí, že všetky netriviálne nulové body zeta funkcie majú reálnu časť rovnakú hodnote 1/2. Inými slovami: ak ζ(s) = 0 a s nie je tzv. triviálnym nulovým bodom (tými sú záporné párne celé čísla), potom Re(s) = 1/2. Táto priamka Re(s) = 1/2 sa nazýva kritická priamka.
Prečo je to dôležité pre prvočísla?
Hlavný dôvod dôležitosti Riemannovej hypotézy je spojitosť medzi nulami zeta funkcie a rozdelením prvočísel. Riemann v roku 1859 ukázal, že pomocou tzv. explicitnej formule sú „fluktuácie“ v rozdelení prvočísel priamo ovplyvnené polohami nenulových bodov zeta funkcie. Bez znalosti týchto polôh môžeme dostať približné výsledky, napríklad Základné tvrdenie o počte prvočísel do x (Prime Number Theorem) hovorí, že π(x) ~ x / log x, ale presnosť tohto odhadu (chybný člen) závisí od toho, kde ležia nenulové body. Ak by Riemannova hypotéza platila, poskytla by ostré horné odhady pre chybu v odhade počtu prvočísel:
- ekvivalentná formulácia: π(x) = Li(x) + O(x^{1/2} log x), kde Li(x) je integrálna logaritmická funkcia;
- to by zlepšilo odhady o medzerách medzi po sebe idúcimi prvočíslami a o počte prvočísel v krátkych intervaloch;
- mnohé ďalšie výsledky v analytickej teorii čísel by nadobudli presnejšiu formu alebo by sa dali dokázať za predpokladu hypotézy.
Čo je známe a čo nie
Riemannova hypotéza zostáva nedokázaná. Na druhej strane bolo numericky overené, že veľmi veľa prvých nenulových bodov leží presne na kritickej priamke; počítačové overenia preukázali, že prvé milióny (a viac) nenulových bodov spĺňajú Re(s) = 1/2. To však nie je dôkaz pre všetky nenulové body. Mnohé výsledky v teoréme čísel sú dokázané za predpokladu Riemannovej hypotézy, alebo sú známe slabšie, bez nej.
Dôsledky a súvisiace všeobecné hypotézy
Riemannova hypotéza má množstvo dôsledkov: zjednodušila by dokazovanie jemných odhadov v teórii čísel, ovplyvnila by štúdium rozdelenia prvočísel v aritmetických postupnostiach a hraníc chýb v rôznych asimptotikách. Existuje tiež všeobecná verzia nazývaná Generalizovaná Riemannova hypotéza (GRH), ktorá sa týka L-funkcií súvisiacich s Dirichletovými charaktermi a ktorá má ďalekosiahle dôsledky pre algebraickú a analytickú teóriu čísel.
Prečo je dôkaz ťažký?
Riešenie Riemannovej hypotézy si vyžaduje hlboké pochopenie analytických vlastností zeta funkcie a jej vzťahu k aritmetike. Napriek veľkému množstvu čiastkových výsledkov, numerickým overeniam a množstvu prepojení s inými oblasťami matematiky zostáva kľúčový krok — univerzálny argument, ktorý by vylúčil existenciu nenulových bodov mimo kritickej priamky — neznámy.
Prečo to stojí za zmienku: Riemannova hypotéza je jedným z najslávnejších otvorených problémov v matematike. Je súčasťou Clayovho zoznamu tisícročných problémov a Clayov matematický inštitút ponúkol 1 000 000 dolárov tomu, kto ju dokáže ako prvý. Aj bez formálneho dôkazu ju jej predpokladané dôsledky motivujú k štúdiu a aplikáciám v mnohých častiach matematiky.
Kde sa dozvedieť viac
Pre čitateľa, ktorý chce ísť ďalej: študujte základné pojmy analytickej teórie čísel — zeta funkciu, komplexnú analýzu, Dirichletove funkcie a explicitné formuly spájajúce nulové body so štatistikou prvočísel. Existujú popularizačné články a učebnice, ktoré vysvetľujú tieto témy od základov až po súčasný stav výskumu.
