Riemannova hypotéza je jednou z nejznámějších otevřených otázek v matematice (domněnka). Formuloval ji Bernhard Riemann v roce 1859 a od té doby se o jejím důkazu nebo vyvrácení snaží generace matematiků. Mnoho odborníků ji považuje za jeden z nejtěžších a nejdůležitějších problémů v čisté matematice. Najít odpověď na Riemannovu hypotézu znamená získat buď důkaz, nebo proti-příklad — tedy jednoduchou odpověď „ano“ nebo „ne“.

O co přesně jde

Domněnka je pojmenována po Bernhardu Riemannovi, který zavedl studium tzv. Riemannovy zeta funkce. Pro komplexní čísla s reálnou částí větší než 1 se tato funkce definuje jako řada

ζ(s) = Σ n−s (sčítáme přes n = 1, 2, 3, ...),

ale Riemann ukázal, že ζ(s) má analytické pokračování na celou komplexní rovinu kromě jednoduchého pólu v s = 1 a že splňuje funkční rovnici propojující hodnoty v s a 1−s. Funkce má tzv. triviální nuly v sudých záporných celých číslech (s = −2, −4, −6, ...). Zajímavé a dosud nevyřešené jsou tzv. netriviální nuly, které leží v tzv. kritickém pruhu 0 < Re(s) < 1.

Riemannova hypotéza tvrzí, že všechny netriviální nuly mají reálnou část rovnu 1/2, tj. leží na tzv. kritické přímce Re(s) = 1/2.

Proč je to důležité pro prvočísla

Existuje úzké a hluboké propojení mezi nulami zeta funkce a rozložením prvočísel. Přesněji řečeno, existují tzv. explicitní formule, které vyjadřují odchylku mezi počtem prvočísel menších než x a hlavním odhadovaným průběhem (funkcí Li(x) či x / log x) pomocí součtu přes netriviální nuly ζ(s). Pokud známe, kde leží tyto nuly, můžeme lépe odhadnout chybu v Přímém čísle prvočísel.

  • Pokud je Riemannova hypotéza pravdivá, dává to silné omezení na odchylku v tzv. teorému o prvočíselném čísle: platilo by např. π(x) = Li(x) + O(x1/2 log x). (Toto je klasický důsledek zformulovaný von Kochem.)
  • Dále by to vedlo k optimálním asymptotickým odhadům velikosti mezery mezi po sobě jdoucími prvočísly, ke zlepšení odhadů pro funkce spojené s prvočísly a také k foremálním omezením na některé sumarizační funkce jako Mertensova funkce.
  • Na druhé straně pád Riemannovy hypotézy by znamenal, že některé dosavadní domněnky o chování prvočísel jsou chybné a vyžádalo by si to přehodnocení teoretických odhadů.

Co už víme a co je dokázáno

Už koncem 19. století bylo dokázáno (Hadamard, de la Vallée-Poussin), že ζ(s) nemá žádné nuly s Re(s) = 1, což postačilo k důkazu prvočíselného teorému. Numericky byly ověřeny miliardy netriviálních nul a všechny ověřené ležely na kritické přímce Re(s) = 1/2 až do velmi vysokých imaginárních výšek — to však není důkaz pro všechna čísla, protože nul je nekonečně mnoho.

Existuje řada částečných výsledků: známé jsou tzv. beznuleové oblasti (regiony bez nul mimo kritickou přímku), výsledky o hustotě nul (kolik nul leží v určitém pásmu), a výsledky, které ukazují, že „většina“ nul leží na kritické přímce. Také moderní přístupy využívají nástroje z teorie náhodných matic, spektrální teorie a analytické teorie čísel.

Obecné varianty a související otázky

Kromě původní Riemannovy hypotézy existuje širší soubor domněnek, například Generalizovaná Riemannova hypotéza (GRH) pro Dirichletovy L-funkce, které mají důsledky pro aritmetiku progresí modulů, a další varianty pro L‑funkce spojené s modulárními formami a motivy. Mnoho výsledků v matematice je formulováno „za předpokladu GRH“ — to znamená, že tyto výsledky se stanou jistými, pokud se GRH ukáže být pravdivá.

Dopad na praxi a odměna

Pravdivost nebo nepravdivost Riemannovy hypotézy by měla zásadní dopady na teoretické porozumění prvočíslům a na některé části matematické teorie. Pro běžnou praxi, například pro kryptografii založenou na faktorizaci velkých čísel (např. RSA), by přímý dopad nebyl okamžitý: RH se netýká přímo faktorizace, ale spíše jemné distribuce prvočísel. Nicméně zlepšení asymptotických odhadů může mít vliv na některé teoretické aspekty algoritmů.

Vzhledem k významu problému je Riemannova hypotéza jedním ze sedmi „miléniových“ problémů Clayova matematického institutu a odměna za její úplné vyřešení činí 1 000 000 dolarů.

Souhrn

Riemannova hypotéza je jednoduchá k formulaci, ale velmi hluboká: říká, že všechna netriviální řešení ζ(s) = 0 mají Re(s) = 1/2. Jejím potvrzením bychom získali přesnější pochopení rozložení prvočísel; jejím vyvrácením by se otevřely nové, nepředvídané cesty v teorii čísel. Až do dneška zůstává jedním z největších otevřených problémů matematiky.

Pokud chcete vědět více o rozdílu mezi důkazem a domněnkou, o historickém kontextu nebo o technických detailech definice zeta funkce a explicitních formulí, existuje rozsáhlá literatura i popularizační články, které vysvětlují jednotlivé kroky s různou hloubkou.