Riemannova hipoteza je matematično (domneva). Veliko ljudi meni, da je iskanje dokaza hipoteze eden najtežjih in najpomembnejših nerešenih problemov čiste matematike. Čista matematika je vrsta matematike, ki se ukvarja z razmišljanjem o matematiki. To se razlikuje od poskusa, da bi matematiko prenesli v resnični svet. Odgovor na Riemannovo hipotezo je "da" ali "ne".

Domneva je poimenovana po Bernhardu Riemannu. Živel je v 19. stoletju. Riemannova hipoteza postavlja vprašanje o posebni stvari, ki se imenuje Riemannova funkcija zeta.

Če je odgovor na vprašanje pritrdilen, to pomeni, da lahko matematiki več vedo o praštevilkah. Zlasti bi jim pomagalo vedeti, kako najti praštevila. Riemannova hipoteza je tako pomembna in jo je tako težko dokazati, da je Clay Mathematics Institute ponudil 1 000 000 dolarjev tistemu, ki jo bo prvi dokazal.

Kaj je Riemannova funkcija zeta?

Riemannova funkcija zeta, pogosto označena z ζ(s), je kompleksna funkcija, ki jo najprej definiramo z neskončnim vsoto ζ(s) = ∑_{n=1}^∞ n^{-s} za kompleksno število s s realnim delom večjim od 1. Pomembno je, da ima ta funkcija analitično nadaljevanje na celotno kompleksno ravnino razen enopolne singularnosti pri s = 1. Poleg tega velja Eulerjev produktni zapis

ζ(s) = ∏_{p prime} (1 − p^{−s})^{−1},

kar jasno pove povezavo med ζ(s) in praštevili: lastnosti zeta-funkcije odražajo porazdelitev praštevil.

Kaj pravi Riemannova hipoteza?

Riemannova hipoteza trdi, da imajo vse t. i. netrivialne ničle funkcije ζ(s) realni del enak 1/2. Net trivialne ničle so tiste ničle, ki ležijo v kritični pasu 0 < Re(s) < 1 (običajno jih ločimo od "trivialnih ničel", ki so negativna sodiča −2, −4, −6, ...). Kritična črta je pravzaprav črta Re(s) = 1/2 v kompleksni ravnini; hipoteza pravi, da vse netrivialne ničle ležijo natanko na tej črti.

Pomen za praštevila

Povezava med ničlami zeta-funkcije in praštevili je podrobno izražena v t. i. eksplicitnih formulah, ki povezujejo funkcijo za štetje praštevil π(x) (število praštevil ≤ x) z ničlami ζ(s). Če je Riemannova hipoteza resnična, dobimo bistveno natančnejše ocene napake v približkih za π(x). Konkretno, RH implicira, da je razliko med π(x) in Li(x) (logaritemska integralna aproksimacija) omejena približno z O(x^{1/2} log x). To pomeni, da bi z dokazom hipoteze dobili močni nadzor nad tem, kako natančno so praštevila porazdeljena na dolgi skali.

Kaj vemo in kaj ne?

  • Riemann je že v svoji 1859 objavi predstavil ideje in postavil hipotezo; od takrat je to ena osrednjih odprtih težav v matematični teoriji števil.
  • Mnogo prvih netrivialnih ničel je bilo numerično preverjenih in do zelo visokih višin opazili, da ležijo na kritični črti — preverili so jih v velikih številih (milijoni in nadaljnje verifikacije do še višjih višin). To numerično potrjuje hipotezo, vendar to ni dokaz za vse ničle.
  • Obstajajo delni rezultati: poznane so nekatere ničelne-free regije (npr. ničle ne ležijo pri Re(s) = 1, kar ima vlogo pri dokazih na primer za teorem o praštevilih), ter gostotne ocene in mejne ocene za porazdelitev ničel. Vendar popolnega dokaza ni.
  • Obstaja veliko izpeljanih izjav, ki so ekvivalentne RH ali pa sledijo iz nje; če bi bila hipoteza dokazana, bi to imelo verigo posledic v različnih vejah teorije števil.

Posledice in širši vpliv

Izkaže se, da bi potrditev Riemannove hipoteze imela posledice v več področjih matematike: v teoriji števil (bolj natančne ocene za π(x), lastnosti aritmetičnih funkcij), v geometriji številske narave (npr. razredi enot in razredi idealov v algebraičnih številskih poljih), v analizi (boljše meje za nekatere sumne izraze) ter v teoriji naključnih matrik, kjer se pojavi presenetljiva analogija med porazdelitvijo ničel zeta-funkcije in lastnimi vrednostmi naključnih hermitskih matrik. Vpliv doseže tudi matematično fiziko (kvantna kaotičnost) in računalniško teorijo (algoritmi, ki obdelujejo aritmetične podatke), čeprav sodobna kriptografija, kot npr. RSA, ne temelji neposredno na resnosti RH in v praksi ne bi bila takoj ogrožena z njegovo potrditvijo ali ovrženjem.

Generalizacije in odprta vprašanja

Poleg izvirne Riemannove hipoteze obstajajo tudi posplošitve, npr. Generalizirana Riemannova hipoteza (GRH) za Dirichletove L-funkcije in še širše za L-funkcije, povezanih z algebraičnimi strukturami. Veliko današnjih raziskav preučuje te splošnejše oblike in njihove konsekvence. Številni matematikis še naprej iščejo ali popolni dokaz ali kontrprimer.

Zaključek

Riemannova hipoteza je globoka in elegantna domneva, ki povezuje analizo in teorijo števil na način, ki ima daljnosežne posledice. Čeprav je bila numerično potrjena za zelo veliko število ničel in je iz nje mogoče izpeljati številne koristne rezultate, ostaja formalni dokaz še vedno odprt — zato je ena najpomembnejših in najbolj obljudenih odprtih težav v sodobni matematiki.