{{위키데이터 속성 추적}}
[[파일:RiemannCriticalLine.svg|300px|섬네일|실수부 값이 1/2인 임계선 위에서 리만 제타 함수의 실수부(적색)와 허수부(청색) 값. 리만 제타 함수의 자명하지 않은 근을 Im(s)가 ±14.135i, ±21.022i, ±25.011i 인 지점에서 볼 수 있다.]]
{{밀레니엄 문제}}
수학에서, '''리만 가설'''(-假說, {{llang|en|Riemann hypothesis}}) 또는 '''리만 제타 추측'''은 [[리만 제타 함수]]의 모든 자명하지 않은 영점의 실수부가 <math>\frac{1} 2</math>이라는 [[추측]]이다.<ref>{{저널 인용 |last=Conrey |first= J. Brian|제목=The Riemann Hypothesis |journal=Notices of the American Mathematical Society |날짜= 2003-03 |pages=341–353 |url= http://www.ams.org/notices/200303/fea-conrey-web.pdf | zbl = 1160.11341 | issn=0002-9920 | 언어=en}}</ref><ref name="Bombieri"/><ref>{{서적 인용 |장url=http://www.claymath.org/sites/default/files/sarnak_rh_0.pdf |format=PDF |first=Peter |last=Sarnak |chapter=Problems of the Millennium: The Riemann Hypothesis |pages=107–115 |isbn=978-0-387-72125-5 |editor1-last=Borwein |title=The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike |series=CMS Books in Mathematics |publisher=Springer |place=New York |year=2008 |editor1-first=Peter |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan |editor3-last=Rooney |editor4-first=Andrea |editor4-last=Weirathmueller |access-date=2015-03-09 |archive-date=2016-04-13 |archive-url=https://web.archive.org/web/20160413060551/http://www.claymath.org/sites/default/files/sarnak_rh_0.pdf |url-status= }}</ref><ref>{{저널 인용 |last=Zagier |first=Don |authorlink=돈 재기어 |url=http://modular.math.washington.edu/edu/2007/simuw07/misc/zagier-the_first_50_million_prime_numbers.pdf |format=PDF |publisher=Springer |location= |mr=643810 |날짜=1977-08 |volume=0 |title=The first 50 million prime numbers |pages=7–19 |journal=Math. Intelligencer |doi=10.1007/BF03039306 |issn=0343-6993 |언어=en |확인날짜=2009년 2월 17일 |보존url=https://web.archive.org/web/20090327181245/http://modular.math.washington.edu/edu/2007/simuw07/misc/zagier-the_first_50_million_prime_numbers.pdf |보존날짜=2009년 3월 27일 |url-status=dead }}</ref><ref>{{서적 인용 |last=Derbyshire |first=John |title=Prime Obsession |publisher=Joseph Henry Press, Washington, DC |isbn=978-0-309-08549-6 |mr=1968857 |year=2003}}</ref><ref>{{서적 인용 | last=Rockmore | first=Dan | title=Stalking the Riemann hypothesis | publisher=Pantheon Books | isbn=978-0-375-42136-5 | mr=2269393 | year=2005}}</ref><ref>{{서적 인용 | last=du Sautoy | first=Marcus| title=The music of the primes | publisher=HarperCollins Publishers | isbn=978-0-06-621070-4 | mr=2060134 | 날짜=2003}}</ref><ref>{{서적 인용 | last1=Sabbagh | first1=Karl  |title=The Riemann hypothesis | publisher=Farrar, Straus and Giroux, New York | isbn=978-0-374-25007-2 | mr=1979664 | year=2003}}</ref><ref>{{서적 인용 | last=Edwards | first=Harold M. | title=Riemann's Zeta Function | publisher=Dover Publications | location=New York | isbn=978-0-486-41740-0 | mr=0466039 | year=1974}}</ref><ref>{{서적 인용 | last=Patterson | first=S. J. | title=An introduction to the theory of the Riemann zeta-function | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-33535-5 | mr=933558 | year=1988 | volume=14}}</ref><ref>{{서적 인용 |isbn=978-0-387-72125-5 |title=The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike |series=CMS Books in Mathematics |publisher=Springer |place=New York |year=2008 |editor1-first=Peter |editor1-last= Borwein |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan |editor3-last= Rooney |editor4-first= Andrea |editor4-last= Weirathmueller |doi=10.1007/978-0-387-72126-2}}</ref><ref>{{서적 인용 | last=Titchmarsh | first=Edward Charles | authorlink=에드워드 찰스 티치마시 | title=The theory of the Riemann zeta-function | publisher=The Clarendon Press Oxford University Press | edition=2 | isbn=978-0-19-853369-6 | mr=882550 | year=1986}}</ref><ref>{{서적 인용 | last=Ivić | first=A. | title=The Riemann Zeta Function | publisher=John Wiley & Sons | location=New York | isbn=978-0-471-80634-9 | mr=0792089 | year=1985}} (Reprinted by Dover 2003)</ref><ref>{{서적 인용 | last=Karatsuba | first=A. A. |authorlink= 아나톨리 알렉세예비치 카라추바 | 공저자=S. M. Voronin | title=The Riemann zeta-function | publisher=Walter de Gruyter & Co. | location=Berlin | series=de Gruyter Expositions in Mathematics | isbn=978-3-11-013170-3 | mr=1183467 | year=1992 | volume=5}}</ref> 19세기 중반에 발표된 이래로 수학사에서 주요 [[수학의 미해결 문제|미해결 난제]]의 하나로 남아 있었다. 리만 가설은 [[소수 (수론)|소수]]의 분포와 밀접하게 연관되어 있다. <blockquote>리만 가설 공식 (ℜ(''s'')=1/2⇔∀''s''∈C\2Z− s.t. ''ζ''(''s'')=0)
----리만 제타 함수 ''ζ''(''s'')=0을 만족하는 모든 자명하지 않은 근의 실수부는 1/2이다.</blockquote>[[파일:Translating the critical line transformed by Zeta function.gif|섬네일|300px|직선의 실부를 변화시켰을 때 제타함수가 그리는 궤적의 변화이다. 실부가  1/2의 경우에 상기와 같이 궤적은 반복해서 원점을 통과하는 곡선이 된다.]]

== 정의 ==
[[리만 제타 함수]]는 실수 <math>s>1</math>에 대하여, 다음과 같은 수렴 급수로서 정의되고, 이에 속하지 않는 임의의 복소수 <math>s</math>에 대해서는 [[해석적 연속]]으로 정의된다.
:<math>\zeta(s) =\sum_{n=1}^\infty \frac{1}{n^s} =\frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots.</math>

리만 가설은 이 영역 밖에서 ''s''를 [[해석적 연속]]으로 근을 설명한다. 이것은 [[디리클레 에타 함수]]를 이용하여 다음과 같이 설명할 수 있다.

''s''의 실수부가 1보다 크면, 제타 함수는 다음의 관계를 만족한다.

:<math>\left(1-\frac{2}{2^s}\right)\zeta(s) =\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s} =\frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \cdots</math>

그런데 오른편의 급수는 ''s''의 실수부가 1보다 클 때 뿐만 아니라, 더욱 일반적으로 ''s''가 양의 실수부를 가지면 수렴한다. 따라서, 위의 대안적인 급수에 의하여 제타 함수는 <math>\left( 1-{{2}\over{2^s}} \right)</math>의 0점인 <math>s = 1 + {{2\pi in}\over{\ln(2)}}</math>를 제외하고 {{nowrap|Re(''s'') > 1}} 영역에서 {{nowrap|Re(''s'') > 0}}인 영역으로 확장된다.

리만 제타 함수는 극한값을 취하는 방식으로도 확장할 수 있는데, 이러한 방식에 의하면, [[극점 (복소해석학)|단순 극값]]을 갖는 s=1을 제외하고 양의 실수부를 갖는 모든 s에 대하여 확장할 수 있다.

한편 s<0인 경우에서 리만 제타 함수는 다음 [[함수방정식|함수 방정식]](functional equation)을 만족한다.

:<math>\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\zeta(1-s)</math>

그 외의 0이 아닌 모든 복소수에 대한 ζ(''s'')의 값은 임계대 바깥 영역에서 ζ(''s'')가 우측의 식과 양수가 아닌 실수부를 갖는 s에 대하여 등식이 성립하는 것으로 두어 정의 할 수 있다.

리만 제타 함수는 음의 짝수에서 [[영점]]을 갖는데, 이는 sin(π''s''/2)=0이기 때문이며 이러한 점들을 리만 제타 함수의 자명한 영점({{lang|en|trivial zero}})이라고 한다.

:<math>\zeta(s)=0\qquad(s=-2,-4,-6,\dots)</math>

만약 ''s''가 양의 짝수이면 영점이 되지 않는데, 이는 사인 함수의 0점과 [[감마 함수]]에서 변수가 음의 정수일 때 발생하는 [[극점 (복소해석학)|극점]](pole)과 상쇄되기 때문이다.

[[1 + 1 + 1 + 1 + · · ·|ζ(0)&nbsp;=&nbsp;−1/2]]은 위 함수 방정식의 우변이 '1+1+1+...'이 되므로 함수 방정식에서는 결정될 수 없고, ζ(''s'')에서 s가 0으로 수렴할 때의 [[점근선|점근값]]이다.

리만 제타 함수는 자명한 영점을 제외한 다른 실수에서는 0이 되지 않아, 자명하지 않은 모든 영점 z는 복소수이고 그 실수부는 0과 1사이에 존재한다. 이 영역

:<math>\{z\in\mathbb C\colon0<\operatorname{Re}z<1\}</math>을 '''임계대''' 또는 '''임계띠'''({{llang|en|Critical strip}})라 하며, 임계대의 중앙<math>\{z\in\mathbb C\colon\operatorname{Re}z=1/2\}</math>를 '''임계선'''({{llang|en|critical line}})이라 한다.

'''리만 가설'''은 다음과 같은 추측이다.<ref name="Bombieri">{{서적 인용|성=Bombieri|이름=Enrico|저자링크=엔리코 봄비에리|날짜=2000|장=The Riemann Hypothesis|제목=The Millennium Prize Problems|출판사=American Mathematical Society, Clay Mathematics Institute|isbn=978-0-8218-3679-8|editor1-first= James | editor1-last= Carlson|editor2-first= Arthur |editor2-last=Jaffe|editor3-first=Andrew|editor3-last=Wiles|url=http://www.ams.org/bookstore-getitem/item=MPRIZE|zbl=1194.11001|언어=en}}</ref>

* "[[리만 제타 함수]]의 자명하지 않은 모든 영점의 실수부는 {{frac|1|2}}이다."

이러한 가설이 옳다면, 리만 제타 함수의 모든 영점은 '''임계선''' 위에 존재하게 된다.

== 기원 ==

=== 제타 함수의 발견 ===
{{참고|오일러의 곱셈 공식}}
[[레온하르트 오일러]]는 [[바젤 문제]]를 해결하면서 [[제타 함수]]를 처음으로 사용하였다. 바젤 문제란 [[스위스]] [[바젤]]시의 바젤 대학에 재직하던 [[야코프 베르누이]]와 [[요한 베르누이]]에 의해 제기된 것으로 다음의 [[급수 (수학)|급수]]를 닫힌 형식으로 나타내라는 것이었다. 오일러는 이 급수가 <math> \frac{\pi^2}{6}</math>로 수렴함을 증명하였다.<ref>[http://www.southernct.edu/~sandifer/Ed/History/Preprints/Talks/NYU%20Basel%20Problem%20Paper.PDF 오일러의 바젤문제 증명] {{웨이백|url=http://www.southernct.edu/~sandifer/Ed/History/Preprints/Talks/NYU%20Basel%20Problem%20Paper.PDF |date=20071027221932 }}, Ed Sandifer, Western Connecticut State University</ref>
:<math>
\sum_{n=1}^\infty \frac{1}{n^2} =
1 + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \frac{1}{5^2} + \cdots. </math>
또한 오일러는 이러한 형식을 갖는 급수를 다음과 같은 제타 함수로 일반화하였으며 모든 0 이상의 짝수에 대하여 급수의 수렴값, 즉 닫힌 형식을 구할 수 있는 방법을 제시하였다.
:<math>
\zeta(s) =
\sum_{n=1}^\infty \frac{1}{n^s} =
\frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots.
\!</math>

오일러는 제타 함수의 급수를 구하면서 이것이 소수에 대하여 다음과 같은 곱으로도 표현될 수도 있음을 발견하였다.
:<math>
\zeta(s) =
\prod_{p} \frac{1}{1-p^{-s}}=
\frac{1}{1-2^{-s}}\cdot\frac{1}{1-3^{-s}}\cdot\frac{1}{1-5^{-s}}\cdot\frac{1}{1-7^{-s}} \cdots \frac{1}{1-p^{-s}} \cdots
</math>
따라서 제타 함수는 다음과 같이 표기 될 수 있으며, 이를 [[오일러의 곱셈 공식]]이라 한다.
:<math>
\zeta(s) =
\sum_{n=1}^\infty \frac{1}{n^s} =
\prod_{p} \frac{1}{1-p^{-s}}
</math>
:<math>\zeta (s)=\frac{1}{\Gamma (s)} \left(\frac{1}{s-1}-\frac{1}{2s}+\sum\limits_{n =2}^\infty
\frac{B_n}{n !}\frac{1}{s+n-1}+\int\limits_1^\infty \frac{x^{s-1}}{\mathrm e^x-1}\,\mathrm dx \right),</math>

=== 리만 가설의 발표 ===
[[베른하르트 리만]]은 1859년 베를린 학술원에 가입하면서 관례에 따라 〈[[주어진 수보다 작은 소수의 개수에 관하여]]〉<ref>{{저널 인용|first=Bernhard|last=Riemann|authorlink=베른하르트 리만 | title=[[주어진 수보다 작은 소수의 개수에 관하여|Über die Anzahl der Primzahlen unter einer gegebenen Größe]]|year=1859|journal=Monatsberichte der Königlichen Preußischen Akademie der Wissenschaften zu Berlin|쪽=671–680|언어=de}}</ref>라는 제목의 논문을 제출하였다. 이 논문은 당시 증명되지 않았던 [[소수 정리]]에 대한 것이었다. 즉, 임의의 양의 정수 N이 아주 클 경우 N까지의 [[소수 (수론)|소수]]의 수가 [[로그 적분 함수]]
:<math>Li(N)=\int_{0}^{N} \frac{1}{\log x}dx</math>
에 점근한다는 가설을 고찰하였다. 리만은 이 논문에서 [[오일러의 곱셈 공식]]에서 출발하여 모든 소수 ''p''와 모든 양의 정수 ''n''에 대하여 오일러의 곱셈 공식이 복소 변수 ''s''에 대해 [[수렴]]한다면 <math>\zeta(s)</math>로 표기한다고 제타 함수를 정의하였다.<ref name="더비셔">{{서적 인용|이름=존|성=더비셔|기타=박병철 역|제목=리만 가설|출판사=승산|isbn=978-89-88907-88-7}}</ref>{{rp|190}}

같은 논문에서, 리만은 훗날 리만 가설로 알려지게 된 추측을 다음과 같이 언급하였다.
{{인용문2|실제로 이 극한 사이에 이 정도의 수의 실수 영점들이 존재하며, 아마 모든 영점들이 실수일 것으로 추측된다. 물론 이에 대한 엄밀한 증명이 있으면 좋겠지만, 나는 이를 증명하기 위해 약간의 시간을 허비한 뒤, 나의 연구의 다음 목표에 대해서는 불필요하므로 임시로 덮어 두기로 결정하였다.<br />{{lang|de|Man findet nun in der That etwa so viel reelle Wurzeln innerhalb dieser Grenzen, und es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.}}
|베른하르트 리만, [[주어진 수보다 작은 소수의 개수에 관하여]]}}
그러나 리만의 논문의 주요 목적은 소수의 개수에 관한 것이었기 때문에 가설의 증명을 시도하지는 않았다.<ref name="더비셔"/>{{rp|190}} 리만은 논문에서 제타 함수에 관한 가설이 [[카를 프리드리히 가우스]], [[페터 구스타프 르죈 디리클레]] 등과 오랫동안 논의한 것으로 그런대로 믿을 만한 것이라 표현하였다.<ref name="더비셔"/>{{rp|190}}

리만은 [[1859년]]에 리만 가설이 참이라는 가정 아래 [[소수 정리]]를 증명하였다. 즉, 리만 가설이 참일 경우 소수의 개수는 로그 적분 함수에 점근(漸近)한다는 것을 보였다. 그러나 1866년, 리만이 사망하자 리만의 가정부가 집을 정리하면서 그의 연구자료를 불태워버려 그의 연구를 자세히 알 길이 없어졌다.
== 리만 가설과 동치인 명제 ==
현재 수많은 명제들이 리만 가설과 서로 [[동치]]임이 증명되었다.

=== 제타 함수의 성질 ===
리만 가설은 임의의 양의 실수 <math>\epsilon>0</math>에 대하여 다음이 성립한다는 것과 {{en:Riesz criterion|동치}}이다.<ref>{{저널 인용|first=M.|last=Riesz|authorlink=리스 머르첼|title=Sur l’hypothèse de Riemann|journal=Acta Mathematica|volume=40|year=1916|pages=185–190|doi=10.1007/BF02418544|언어=fr}}</ref>
:<math>-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)! \zeta(2k)}= O\left(x^{\frac{1}{4}+\epsilon}\right) </math>

리만 가설은 모든 <math>s\in\mathbb C</math>에 대하여,
:<math>0<\operatorname{Re}s<1/2</math>
에는 제타 함수의 도함수가 영점을 갖지 않는다는 것(<math>\zeta'(s)\ne0</math>)과 동치이다.<ref>{{저널 인용|last=Speiser|first=Andreas|title=Geometrisches zur Riemannschen Zetafunktion|year=1934|journal=Mathematische Annalen|volume=110|pages=514–521|doi=10.1007/BF01448042|jfm=60.0272.04}}</ref>

=== 산술 함수 ===
리만 가설은 임의의 복소수 <math>s\in\mathbb C</math>에 대하여, 만약 <math>\operatorname{Re}s>1/2</math>라면 다음 등식이 성립한다는 것과 [[동치]]이다.<ref>이 식은 <math>\operatorname{Re}s>=1</math>일 때 수렴함이 알려져 있다.</ref>
:<math>\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s}</math>
여기서 <math>\mu(n)</math>은 [[뫼비우스 함수]]이다.

[[메르텐스 함수]] <math>M(x)</math>를 다음과 같이 정의하자.
:<math>M(x) = \sum_{n \le x} \mu(n)</math>
그렇다면, 리만 가설은 메르텐스 함수가 임의의 <math>\epsilon>0</math>에 대하여 다음을 만족시킨다는 것과 [[동치]]이다.
:<math>M(x) = \mathcal{O}(x^{1/2+\varepsilon}) </math>
(<math>\mathcal O</math>는 [[점근 표기법]]이다.) <math>n\times n</math> [[레드헤퍼 행렬]]({{lang|en|Redheffer matrix}})의 [[행렬식]]은 ''M''(''n'')과 같다. 따라서, 리만 가설은 이 행렬식이 얼마나 빨리 증가하는지에 대한 가설로 생각할 수 있다.

1985년 앤드루 오들리츠코({{lang|en|Andrew M. Odlyzko}})와 헤르마뉘스 요하너스 요서프 테 릴러({{llang|nl|Hermanus Johannes Joseph te Riele}})는 리만 가설과 레드헤퍼 행렬의 관계를 이용하여 [[메르텐스 추측]]을 반증하였다.<ref>{{저널 인용 | last=Odlyzko | first=A. M. | last2=te Riele | first2=H. J. J. | title=Disproof of the Mertens conjecture | url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633 | mr=783538 | year=1985 | journal=Journal für die reine und angewandte Mathematik | volume=357 | pages=138–160 | doi=10.1515/crll.1985.357.138 | issn=0075-4102 | 언어=en | 확인날짜=2009-07-14 | 보존url=https://archive.today/20120711011237/http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633 | 보존날짜=2012-07-11 | url-status=dead }}</ref>
:<math>|M(x)| \le x^\frac{1}{2}.</math>

1984년 기 로뱅({{lang|fr|Guy Robin}})은 [[약수 함수]]에 대하여 [[로빈 부등식]]을 발표하였다.<ref>{{저널 인용 | last=Robin | first=Guy | title=Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann | mr=774171 | year=1984 | journal=Journal de Mathématiques Pures et Appliquées|series= Neuvième Série | volume=63 | issue=2 | pages=187–213|issn=0021-7824|언어=fr}}</ref> 약수 함수는 다음과 같이 정의되며
:<math>\sigma(n) = \sum_{d\mid n} d</math>
따라서 다음의 부등식으로 표현된다.
:<math>\sigma(n) < e^\gamma n \log \log n \,</math>

이 때 5041 이상의 모든 ''n''이 로빈 부등식을 만족시키면 리만 가설은 참이 된다.

=== 페어리 수열 ===
1924년에 제롬 프라넬({{lang|fr|Jérôme Franel}})과 [[에드문트 란다우]]는 리만 가설이 [[페어리 수열]]과 밀접한 관계에 있음을 보였다.<ref>{{저널 인용 | first=J. |last=Franel|이름2=E.|성2=Landau|저자링크2=에드문트 란다우|title=Les suites de Farey et le problème des nombres premiers" (Franel, 198-201); "Bemerkungen zu der vorstehenden Abhandlung von Herrn Franel (Landau, 202-206) |journal=Göttinger Nachrichten |pages=198–206|year=1924}}</ref> 엄밀히 말하면 ''F''<sub>''n''</sub>이 순서 ''n''에 대해 1/''n''에서 시작하여 1/1 이상이 되는 페어리 수열일 때 모든 ε는 ε > 0이 된다고 하면,

:<math>\sum_{i=1}^m|F_n(i) - i/m| = \mathcal{O}(n^{1/2+\epsilon})</math>

이는 리만 가설에 상응한다. 여기서 ''n''에 대한 페어리 수열 안의 ''m''번째 항은 <math>m = \sum_{i=1}^n\phi(i)</math>이 된다.

=== 군론 ===
리만 가설은 [[군론]]적으로도 서술할 수 있다. 1988년 장피에르 마시아({{lang|fr|Jean-Pierre Massias}})와 장루이 니콜라({{lang|fr|Jean-Louis Nicolas}}, 기 로뱅({{lang|fr|Guy Robin}})은 ''g''(''n'')이 ''n''차원의 [[대칭군 (군론)|대칭군]] ''S''<sub>''n''</sub>의 원소 중 최대 계수({{lang|en|order}})에 의한 [[란다우 함수]]일 때, 리만 가설은 충분히 큰 모든 n에 대해 다음의 식과 상응함을 보였다.<ref>{{저널 인용 | last1=Massias | first1=J.-P. | last2=Nicolas | first2=Jean-Louis | last3=Robin | first3=G. | title=Évaluation asymptotique de l’ordre maximum d’un élément du groupe symétrique | url=http://matwbn.icm.edu.pl/tresc.php?wyd=6&tom=50&jez= | mr=960551 | year=1988 | journal=Polska Akademia Nauk. Instytut Matematyczny. Acta Arithmetica | volume=50 | issue=3 | pages=221–242 | issn=0065-1036 | 확인날짜=2009-07-14 | 보존url=https://web.archive.org/web/20120316181209/http://matwbn.icm.edu.pl/tresc.php?wyd=6&tom=50&jez= | 보존날짜=2012-03-16 | url-status=dead }}</ref>
:<math>\log g(n) < \sqrt{\operatorname{Li}^{-1}(n)}</math>

=== 함수해석학 ===
리만 가설은 특정 형태의 함수들로 구성된 부분 공간이 [[힐베르트 공간]] <math>L^2(0,1)</math>의 [[조밀 집합]]인 것과 [[동치]]이다.<ref>{{서적 인용 | last=Nyman | first=Bertil | title=On the One-Dimensional Translation Group and Semi-Group in Certain Function Spaces | publisher=University of Uppsala | location=University of Uppsala | series=PhD Thesis | mr=0036444 | year=1950| 언어=en}}</ref> 보다 일반적으로, 임의의 <math>p\ge2</math>에 대하여, 만약 이 부분 공간이 <math>L^p(0,1)</math>에서 조밀 집합이라면, 리만 제타 함수의 모든 영점 <math>s</math>는 다음과 같은 식을 만족시킨다.<ref>{{서적 인용 |last=Beurling |first=Arne |title=A closure problem related to the Riemann zeta-function |mr=0070655 |year=1955 |journal=Proceedings of the National Academy of Sciences |volume=41 |pages=312–314 |doi=10.1073/pnas.41.5.312 |issue=5| 언어=en}}</ref>
:<math>|\operatorname{Re}s-1/2|\le1/2-1/p</math>

또한, 리만 가설은 어떤 [[적분 방정식]]이 자명하지 않는 유계해를 갖지 않는다는 사실과 동치이다.<ref>{{저널 인용 | last=Salem | first=Raphaël | title=Sur une proposition équivalente à l’hypothèse de Riemann | mr=0053148 | year=1953 | journal=Les Comptes rendus de l’Académie des sciences | volume=236 | pages=1127–1128|언어=fr}}</ref>

== 함의 ==
리만 가설은 다음과 같은 명제들을 함의한다.

=== 제타 함수 ===
만약 리만 가설이 참이라면, 임의의 양의 실수 <math>\epsilon>0</math>에 대하여, <math>t\to\infty</math>일 때 다음이 성립한다.<ref>그러나, 이의 역은 성립하지 않는다.</ref>
:<math>\zeta\left(\frac12 + it\right) = \mathcal{O}(t^\epsilon)</math>
이를 [[린델뢰프 가설]]({{lang|en|Lindelöf hypothesis}})이라고 한다.

만약 리만 가설이 참이라면, 다음이 성립한다.<ref name="Titchmarsh1936">{{저널 인용 | last=Titchmarsh | first=Edward Charles | authorlink=에드워드 찰스 티치마시 | title=The Zeros of the Riemann Zeta-Function | jstor=96692 | publisher=The Royal Society | year=1936 | journal=Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume=157 | issue=891 | pages=261–263 | doi=10.1098/rspa.1936.0192|issn=0080-4630|언어=en}}</ref>
:<math> e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{|\zeta(1+it)|}{\log\log t}\le 2e^\gamma</math>
:<math> \frac{6}{\pi^2}e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{1/|\zeta(1+it)|}{\log\log t}\le \frac{12}{\pi^2}e^\gamma</math>

=== 소수의 분포 ===
만약 리만 가설이 참이라면, 소수 사이의 간격은 다음과 같다. 이는 스웨덴의 수학자 [[하랄드 크라메르]]({{lang|sv|Harald Cramér}})가 증명하였다.<ref>{{서적 인용 |성=Dan |이름=Rockmore |제목=Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers |url=https://books.google.co.kr/books?id=cTVn9f9oKAgC&pg=PA136&dq=reimann+Harald+Cram%C3%A9r&hl=ko&sa=X&ved=0ahUKEwjG1b6W4v3QAhWBqZQKHZ32CogQ6AEIJzAC#v=onepage&q=reimann%20Harald%20Cram%C3%A9r&f=false |위치= |출판사=Knopf Doubleday Publishing Group |연도= 2007 |날짜=12.18 |쪽=139p |isbn= |확인날짜= }}</ref>
:<math>\mathcal O(\sqrt p\ln p)</math>
또한 크라메르는 여기에 ''p''까지의 실제 소수의 개수와 log''p''의 차가 ''O''(√''p''&nbsp;log&nbsp;''p'')와 같이 점근한다고 추측하였다. 이를 [[크라메르 추측]]이라 하며, 이에 대한 상당한 수치적 증거가 존재한다.<ref>{{저널 인용 | last = Nicely | first = Thomas R. | doi = 10.1090/S0025-5718-99-01065-0 | mr = 1627813 | issue = 227 | journal = Mathematics of Computation | pages = 1311–1315 | title = New maximal prime gaps and first occurrences | url = http://www.trnicely.net/gaps/gaps.html | volume = 68 | year = 1999 | 언어 = en | 확인날짜 = 2009-07-15 | 보존url = https://web.archive.org/web/20141230023254/http://www.trnicely.net/gaps/gaps.html | 보존날짜 = 2014-12-30 | url-status = dead }}</ref>

== 일반화 및 관련 추측 ==
리만 가설을 일반화하는 '''[[일반화 리만 가설]]'''이 존재한다. 이는 임의의 [[대수적 수체]]에 적용되며, 수론에서 다양한 명제들을 함의한다.<ref>{{웹 인용 |last=Conrad |first=K. |title=Consequences of the Riemann hypothesis |url=http://mathoverflow.net/questions/17232 |year=2010}}</ref><ref>{{인용| last=Odlyzko | first=A. M. | title=Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results | url=http://www.numdam.org/item?id=JTNB_1990__2_1_119_0 | mr=1061762 | year=1990 | journal=Séminaire de Théorie des Nombres de Bordeaux|series= Série 2 | volume=2 | issue=1 | pages=119–141}}</ref><ref>{{인용|first=Ken |last=Ono  |first2=K. |last2=Soundararajan |year=1997 |title=Ramanujan's ternary quadratic form |journal=Inventiones Mathematicae |volume=130 |issue=3 |pages=415–454 |doi=10.1007/s002220050191 }}</ref><ref>{{서적 인용 | last=Weinberger | first=Peter J. | title=Analytic number theory ( St. Louis Univ., 1972) | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | mr=0337902 | year=1973 | volume=24 | chapter=On Euclidean rings of algebraic integers | pages=321–332| 언어=en}}</ref> 일반화 리만 가설은 [[디리클레 L-함수]]의 모든 자명하지 않은 [[근 (수학)|근]]의 실수부가 1/2이라는 [[가설]]이다. 디리클레 L-함수의 모든 근의 실수부는 0과 1 사이에 있다. χ가 1인 경우 리만 가설이 된다.

[[대수적 수체]]와 [[대수다양체]]의 [[유리 함수층|유리 함수체]]는 여러 유사한 성질을 가지며, 공통적으로 [[대역체]]로 분류된다. 이에 따라, 대수다양체에 대한 리만 가설을 정의할 수 있는데, 이를 [[베유 추측]]이라고 한다. 에밀 아르틴은 2차 함수체에 대한 리만 가설을 제시하였고,<ref>{{서적 인용 |last=Artin |first=Emil |저자링크=에밀 아르틴 |title=Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil |doi=10.1007/BF01181075 |year=1924 |journal=Mathematische Zeitschrift |pages=207–246 |volume=19 |issue=1|언어=de}}</ref> 이는 [[앙드레 베유]]가 증명하였다.<ref>{{서적 인용 | last=Weil | first=André | 저자링크=앙드레 베유| title=Sur les courbes algébriques et les variétés qui s'en déduisent | publisher=Hermann et Cie., Paris | series=Actualités Sci. Ind., no. 1041 = Publ. Inst. Math. Univ. Strasbourg 7 (1945) | mr=0027151 | year=1948| 언어=fr}}</ref> 이를 바탕으로, 베유는 1949년에 모든 대수다양체에 대한 추측을 제시하였고,<ref>{{저널 인용 | last=Weil | first=André | 저자링크=앙드레 베유| title=Numbers of solutions of equations in finite fields | doi=10.1090/S0002-9904-1949-09219-4 | mr=0029393 | year=1949 | journal=Bulletin of the American Mathematical Society | volume=55 | pages=497–508 | issue=5| 언어=en}}</ref> [[피에르 들리뉴]]가 증명하였다.<ref>{{서적 인용 |last=Deligne |first=Pierre |저자링크=피에르 들리뉴 |title=La conjecture de Weil. I |url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 |mr=0340258 |year=1974 |journal=Publications Mathématiques de l'IHÉS |volume=43 |pages=273–307 |doi=10.1007/BF02684373|언어=fr}}</ref><ref>{{서적 인용 |last=Deligne |first=Pierre |저자링크=피에르 들리뉴 |title=La conjecture de Weil: II |url=http://www.numdam.org/item?id=PMIHES_1980__52__137_0 |year=1980 |journal=Publications Mathématiques de l'IHÉS |volume=52 |pages=137–252 |doi=10.1007/BF02684780|언어=fr}}</ref>

함수체 위에 정의되는 고스 제타 함수({{llang|en|Goss zeta function}})에 대한 리만 가설 역시 증명되었다.<ref>{{저널 인용 | last1=Sheats | first1=Jeffrey T. | title=The Riemann hypothesis for the Goss zeta function for '''F'''<sub>q</sub>[T] | doi=10.1006/jnth.1998.2232 | mr=1630979 | year=1998 | journal=Journal of Number Theory | volume=71 | issue=1 | pages=121–157}}</ref>

이를 넘어서, [[정수환]] 위의 임의의 [[유한형 사상|유한형]] 스킴에 대하여 리만 가설을 일반화할 수 있다.<ref>{{인용| last=Serre | first=Jean-Pierre |authorlink=장피에르 세르| title=Facteurs locaux des fonctions zeta des varietés algébriques (définitions et conjectures) | journal=Séminaire Delange-Pisot-Poitou|year= 1969/70 | volume=19 |언어=fr}}</ref> 이는 대수적 수체의 경우와 함수체의 경우의 공통적인 일반화이다.

== 부분적 증명 ==
점근적으로, 리만 제타 함수의 자명하지 않은 영점들 가운데 적어도 2/5가 임계점 위에 있다.<ref name="Conrey">{{서적 인용 |last=Conrey |first=J. B. |title=More than two fifths of the zeros of the Riemann zeta function are on the critical line |journal=J. Reine angew. Math. |volume=399 |year=1989 |pages=1–16 |url=http://www.digizeitschriften.de/resolveppn/GDZPPN002206781 |mr=1004130 |언어=en |access-date=2013-02-09 |archive-date=2023-07-26 |archive-url=https://web.archive.org/web/20230726140210/https://www.digizeitschriften.de/id/243919689_0399%7Clog4 |url-status= }}</ref> 또한, 임의의 양의 실수 <math>\epsilon>0</math>에 대하여,
:<math>|\operatorname{Re}s-1/2|<\epsilon</math>
을 만족시키지 않는 영점 <math>s</math>의 비율은 점근적으로 0이다.<ref>{{서적 인용 |last=Bohr |first=Harald |공저자=Edmund Landau |title=Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-Funktion und die ''L''-Funktionen |doi=10.1007/BF03014823 |journal=Rendiconti del Circolo Matematico di Palermo |volume=37 |issue = 1 |year=1914 |pages=269–272|언어=de}}</ref>

리만 제타 함수의 자명하지 않은 영점을 <math>\sigma+it</math>라고 쓰면,
:<math>C/\ln t\le\sigma\le 1-C/\ln t</math>
인 양의 상수 <math>C>0</math>가 존재한다.<ref>{{저널 인용|first=Ch.J.|last=de la Vallée-Poussin|저자링크=샤를장 드 라 발레푸생|title=Sur la fonction ζ(s) de Riemann et la nombre des nombres premiers inférieurs à une limite donnée|journal=Mem. Couronnes Acad. Sci. Belg. |volume= 59 |issue= 1 |year=1899–1900}}</ref>
또한, 리만 제타 함수의 자명하지 않은 영점에 대하여 다음이 성립한다.<ref>{{저널 인용 | last=Ford | first=Kevin | title=Vinogradov's integral and bounds for the Riemann zeta function | doi=10.1112/S0024611502013655 | mr=1936814 | year=2002 | journal=Proceedings of the London Mathematical Society. Third Series | volume=85 | issue=3 | pages=565–633| 언어=en}}</ref>
:<math>\frac{1}{57.54(\log{|t|})^{2/3}(\log{\log{|t|}})^{1/3}}\le\sigma\le 1-\frac{1}{57.54(\log{|t|})^{2/3}(\log{\log{|t|}})^{1/3}}</math>

이 밖에도, 리만 제타 함수의 영점의 분포에 대한 '''셀베르그 추측''' 및 관련된 명제들이 증명되었다.<ref>{{저널 인용 | last=Selberg | first=Atle | |authorlink=아틀레 셀베르그 | title=Contributions to the theory of the Riemann zeta-function | mr=0020594 | year=1946 | journal=Arch. Math. Naturvid. | volume=48 | issue=5 | pages=89–155}}</ref><ref>{{저널 인용 | last=Selberg | first=Atle |authorlink=아틀레 셀베르그 | title=Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series | mr=0088511 | year=1956 | journal=J. Indian Math. Soc. (N.S.) | volume=20 | pages=47–87}}</ref><ref>{{저널 인용| first=A. A.| last=Karatsuba|authorlink=아나톨리 알렉세예비치 카라추바 | title=Zeros of the function ζ(s) on short intervals of the critical line| pages=569–584| journal= Izv. Akad. Nauk SSSR, Ser. Mat.| volume=48|issue=3| year=1984a|mr=0747251|언어=ru}}</ref><ref>{{저널 인용| first=A. A.| last=Karatsuba|authorlink=아나톨리 알렉세예비치 카라추바|title= Distribution of zeros of the function ''ζ''(1/2&nbsp;+&nbsp;''it'')| pages=1214–1224 | journal= Izv. Akad. Nauk SSSR, Ser. Mat.| volume=48|issue=6|year=1984b|mr=0772113|언어=ru}}</ref><ref>{{저널 인용| first=A. A.| last=Karatsuba|authorlink=아나톨리 알렉세예비치 카라추바| title= Zeros of the Riemann zeta-function on the critical line| pages=167–178| journal= Trudy Mat. Inst. Steklov.| issue=167| year=1985|mr=0804073|언어=ru}}</ref><ref>{{인용| first=A. A.| last=Karatsuba|authorlink=아나톨리 알렉세예비치 카라추바| title= On the number of zeros of the Riemann zeta-function lying in almost all short intervals of the critical line | pages=372–397| journal= Izv. Ross. Akad. Nauk, Ser. Mat.| volume=56|issue=2| year=1992|언어=ru|mr=1180378}}</ref><ref>{{저널 인용|first=Amit|last= Ghosh|title= On the Riemann zeta function—mean value theorems and the distribution of &#124;S(T)&#124;| journal= J. Number Theory |volume=17 | pages=93–102|year=1983|doi=10.1016/0022-314X(83)90010-0 | 언어=en}}</ref>

== 증명 시도 ==
=== 소수 정리의 증명 ===
1896년에 프랑스의 [[자크 아다마르]]<ref>{{저널 인용|first=Jacques |last=Hadamard|authorlink=자크 아다마르|title=Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques|journal= Bulletin Société Mathématique de France |volume=14|year=1896|pages= 199–220|url=http://www.numdam.org/item?id=BSMF_1896__24__199_1}}</ref>와 벨기에의 [[샤를장 드 라 발레푸생]]<ref>{{저널 인용|first=Ch.J.|last=de la Vallée-Poussin|저자링크=샤를장 드 라 발레푸생|title=Recherches analytiques sur la théorie des nombers premiers|journal= Ann. Soc. Sci. Bruxelles |volume= 20 |year=1896 |pages= 183–256}}</ref> 은 다음과 같은 약한 형태의 리만 가설을 증명하였다. 아다마르와 드 라 발레푸생은 이를 사용하여 [[소수 정리]]를 증명하였다.<ref>{{학위논문 인용 |성=ANDREW |이름=GRANVILLE |저자= |제목=HARALD CRAMER AND THE DISTRIBUTION OF PRIME NUMBERS |종류= |장=1p |url=https://www.dartmouth.edu/~chance/chance_news/for_chance_news/Riemann/cramer.pdf |날짜=12.22 |연도=2011 |출판사= |확인날짜= |oclc= |archive-date=2017-05-17 |archive-url=https://web.archive.org/web/20170517085602/http://www.dartmouth.edu/~chance/chance_news/for_chance_news/Riemann/cramer.pdf |url-status= }}</ref>
* [[제타 함수]]의 자명하지 않은 모든 근들의 실수부는 0보다 크고 1보다 작다.

=== 20세기 ===
리만의 논문 〈[[주어진 수보다 작은 소수의 개수에 관하여]]〉의 주제인 소수 정리가 증명되자 수학자들의 관심은 리만 가설 자체에 집중되었다. [[다비트 힐베르트]]는 1900년 8월 8일 소르본 대학에서 열린 제2회 국제수학자대회에서 〈수학 문제들〉이라는 주제의 강연을 통해 20세기에 들어 해결해야할 중요한 수학 문제 23개를 제시하였으며, 이는 오늘날 [[힐베르트의 문제들]]로 불린다. 리만 가설은 이 가운데 [[골드바흐의 추측]]과 함께 8번 문제로 수록되었다.
{{인용문2| 8. 소수에 대한 문제들.

소수의 분포 문제는 최근 [[자크 아다마르|아다마르]]와 [[샤를장 드 라 발레푸생|드 라 발레푸생]], [[한스 폰 망골트|폰 망골트]] 등에 의하여 크게 진전하였다. 그러나 리만의 논문 〈주어진 수보다 작은 소수의 개수에 관하여〉가 우리에게 제시한 문제가 완전하게 해결되려면, 리만의 매우 중요한 명제, 즉 다음과 같은 방정식
:<math>\zeta(s)=1+\frac1{2^s}+\frac1{3^s}+\frac1{4^s}+\cdots</math>
으로 정의된 함수 <math>\zeta(s)</math>의 (이미 알려진 음의 정수의 영점들을 제외한) 영점들의 실수부가 모두 ½이라는 명제가 증명되어야 한다.

{{lang|de|8. Primzahlen probleme.

In der Theorie der Verteilung der Primzahlen sind in neuerer Zeit durch Hadamard, de la Vallée Poussin, v. Mangoldt und Andere wesentliche Fortschritte gemacht worden. Zur vollständigen Lösung der Probleme, die uns die Riemannsche Abhandlung „Ueber die Anzahl der Primzahlen unter einer gegebenen Größe“ gestellt hat, ist es jedoch noch nötig, die Richtigkeit der äußerst wichtigen Behauptung von Riemann nachzuweisen, daß die Nullstellen der Function ζ(s), die durch die Reihe}}
:<math>\zeta(s)=1+\frac1{2^s}+\frac1{3^s}+\frac1{4^s}+\cdots</math>
{{lang|de|dargestellt wird, sämtlich den reellen Bestandteil 1/2 haben — wenn man von den bekannten negativ ganzzahligen Nullstellen absieht.}}
|[[다비트 힐베르트]]<ref>{{서적 인용|성=Hilbert|이름=David|저자링크=다비트 힐베르트|url=http://www.deutschestextarchiv.de/book/show/hilbert_mathematische_1900|제목=Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900|위치=[[괴팅겐]]|날짜=1900|언어=de}}</ref>}}

[[헬리에 본 코크]]는 리만 가설이 [[소수 정리]]의 가장 정밀한 오류항을 제공한다는 것을 증명하였다.<ref>{{저널 인용|first=Helge|last=von Koch|authorlink=헬리에 본 코크|doi=10.1007/BF02403071|title=Sur la distribution des nombres premiers|journal=Acta Mathematica|volume=24|year=1901|pages= 159–182|언어=fr}}</ref> 즉, 소수 정리의 오류항을 더 세밀하게 측정하는 것은 제타 함수의 영점이 모두 임계선에 더 가깝게 존재한다는 것과 같다.

[[외르겐 페데르센 그람]]({{lang|da|Jørgen Pedersen Gram}})은 1903년 [[리만 제타 함수]]의 근을 계산하는 방법을 개발하여 실수축에서 가까운 15개의 근을 계산하여, 모두 임계선 위에 위치함을 확인하였다.<ref name="더비셔"/>{{rp|271}}<ref name="Gram">{{저널 인용|first=J. P.|last= Gram|title= Note sur les zéros de la fonction ζ(s) de Riemann|journal= Acta Mathematica|volume=27|pages=289–304|year=1903|doi=10.1007/BF02421310|언어=fr}}</ref> [[고드프리 해럴드 하디]]는 1914년 임계선 위에 무한히 많은 수의 영점이 존재한다는 것을 증명하였다.<ref>{{저널 인용|last=Hardy|first= G. H.|authorlink=고드프리 해럴드 하디|title= Sur les Zéros de la Fonction ζ(s) de Riemann|journal=C. R. Acad. Sci. Paris |volume=158|pages= 1012–1014 |year=1914|url=http://gallica.bnf.fr/ark:/12148/bpt6k3111d.image.f1014.langEN|jfm=45.0716.04|언어=fr}}</ref><ref>{{저널 인용|last=Hardy|first= G. H.|authorlink=고드프리 해럴드 하디|공저자=[[존 이든저 리틀우드|J. E. Littlewood]]|title= The zeros of Riemann's zeta-function on the critical line|journal= Math. Z.|volume= 10|pages= 283–317 |year=1921|doi=10.1007/BF01211614|issue=3–4| 언어=en}}</ref><ref>E.T.벨, 안재구 역, 수학을 만든 사람들, 미래사, 2006</ref>{{rp|하권 246쪽}}

[[앨버트 잉햄]]({{lang|en|Albert Ingham}})은 1932년 리만 가설에 의한 리만 제타 함수의 해와 주어진 수까지의 소수의 실제 개수 β간의 [[오차]]를 [[상한]]과 [[하한]]으로 표현하는 함수로서 O(''x''<sup>β</sup>)를 정의하였다.<ref>{{서적 인용 | last=Ingham | first=A.E.|title=The Distribution of Prime Numbers | publisher=Cambridge University Press | series = Cambridge Tracts in Mathematics and Mathematical Physics | volume=30 | year=1932|mr=1074573}}</ref>

[[아틀레 셀베르그]]는 1942년에 리만 제타 함수의 자명하지 않은 영점 가운데, 임계선 위에 있는 것들의 비율은 (점근적으로) 양수라는 것을 증명하였다.<ref>{{저널 인용|mr=0010712
|last=Selberg|first= Atle|authorlink=아틀레 셀베르그
|title=On the zeros of Riemann's zeta-function
|journal=Skr. Norske Vid. Akad. Oslo I. |year=1942|volume= 10|pages= 59 pp}}</ref> 이후 1974년에 레빈슨(N. Levinson)은 이 비율이 ⅓ 이상이라는 것을 증명하였고,<ref>{{인용|mr=0564081|last=Levinson|first=Norman|title= More than one-third of the zeros of Riemann's zeta function are on σ = 1/2|journal= Adv. In Math. |volume=13 |year=1974|pages= 383–436
|doi=10.1016/0001-8708(74)90074-7|issue=4}}</ref> 1989년에 콘리(J. B. Conrey)는 이 비율이 ⅖ 이상이라는 것을 증명하였다.<ref name="Conrey"/>

[[로월 숀펠드]]({{lang|en|Schoenfeld, Lowell}})는 1976년 2657이상의 x에 대하여 주어진 수까지의 실제 소수의 개수를 나타내는 함수 <math>\pi (x)</math>와 [[로그 적분 함수]] <math>\operatorname{Li}(x)</math>의 오차에 다음과 같이 정리하였다.<ref>{{저널 인용 | last=Schoenfeld | first=Lowell | title=Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II | doi=10.2307/2005976 | mr=0457374 | year=1976 | journal=Mathematics of Computation | volume=30 | issue=134 | pages=337–360 | jstor=2005976|issn=0025-5718|언어=en}}</ref>
:<math>|\pi(x) - \operatorname{Li}(x)| < \frac{1}{8\pi} \sqrt{x} \, \log(x), \qquad \text{for all } x \ge 2657. </math>

=== 작용소 이론과 양자역학 ===
[[다비트 힐베르트]]와 [[포여 죄르지]]는 리만 제타 함수의 영점들이 어떤 [[자기 수반 작용소]]의 [[고윳값]]들과 대응한다고 추측하였다. 자기 수반 작용소의 고윳값들은 자동적으로 허수 성분이 0이므로, 이를 통하여 왜 영점들이 모두 임계선 위에 있는지를 설명할 수 있다. 앤드루 오들리즈코({{llang|en|Andrew M. Odlyzko}})는 1987년에 리만 제타 함수의 영점들의 분포가 일부 무작위 행렬의 고윳값들의 분포와 유사한 성질을 갖는다는 것을 보였다.<ref name="Odlyzko1987">{{인용| last=Odlyzko | first=A. M. | title=On the distribution of spacings between zeros of the zeta function | jstor=2007890 | mr=866115 | year=1987 | journal=Mathematics of Computation | volume=48 | issue=177 | pages=273–308 | doi=10.2307/2007890}}</ref>

[[돈 재기어]]는 이러한 연산자가 [[상반 평면]] 위의 함수 공간 ([[보형 형식]])의 [[라플라스 연산자]]라고 추측하였고,<ref>{{서적 인용 |last=Zagier |first=Don |authorlink = 돈 재기어 |title=Automorphic forms, representation theory and arithmetic (Bombay, 1979) |publisher=Tata Inst. Fundamental Res., Bombay |series=Tata Inst. Fund. Res. Studies in Math. |mr=633666 |year=1981 |volume=10 |chapter=Eisenstein series and the Riemann zeta function |pages=275–301| 언어=en}}</ref> [[피에르 카르티에]]도 이에 대한 근거를 제시하였다.<ref>{{서적 인용 |authorlink=피에르 카르티에 |last1=Cartier |first1=P. |title=Seminar on Number Theory, Paris 1980-81 (Paris, 1980/1981) |publisher=Birkhäuser Boston |location=Boston, MA |series=Progr. Math. |mr=693308 |year=1982 |volume=22 |chapter=Comment l'hypothèse de Riemann ne fut pas prouvée |pages=35–48|언어=fr}}</ref>

크리스토퍼 데닝거(Christopher Deninger)는 이러한 연산자가 정수환의 [[환의 스펙트럼|스펙트럼]] <math>\operatorname{Spec}\mathbb Z</math>의 일종의 "[[코호몰로지]]" 위에 작용한다고 추측하였다.<ref>{{서적 인용 |last=Deninger |first=Christopher |title=Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998) |url=http://www.mathematik.uni-bielefeld.de/documenta/xvol-icm/00/Deninger.MAN.html |mr=1648030 |year=1998 |journal=Documenta Mathematica |chapter=Some analogies between number theory and dynamical systems on foliated spaces |pages=163–186| 언어=en}}</ref><ref>{{서적 인용
 | last = Leichtnam | first = Eric
 | 장 = An invitation to Deninger's work on arithmetic zeta functions
 | location = Providence, RI
 | mr = 2180209
 | pages = 201–236
 | publisher = Amer. Math. Soc.
 | series = Contemp. Math.
 | title = Geometry, spectral theory, groups, and dynamics
 | volume = 387
 | year = 2005| 언어=en}}</ref>

일부 학자들은 이러한 작용소가 어떤 [[양자역학]]적 계의 [[해밀토니언 (양자역학)|해밀토니언]]일 수 있다고 추측한다.<ref>{{저널 인용 | last1=Keating | first1=Jonathan P. | last2=Snaith | first2=Nina C. | title=Random matrix theory and ''ζ''(1/2&nbsp;+&nbsp;''it'') | doi=10.1007/s002200000261 | mr=1794265 | year=2000 | journal=Communications in Mathematical Physics | volume=214 | issue=1 | pages=57–89}}</ref><ref>{{저널 인용|title=Physics of the Riemann Hypothesis|first=Daniel|last= Schumayer|공저자= David A. W. Hutchinson|날짜=2011|arxiv=1101.3116|언어=en}}</ref> 또한, 일부 학자들은 리만 가설이 통계 역학의 [[리-양 정리]]와 관련이 있을 수 있다고 추측한다.<ref>{{인용| last=Knauf | first=Andreas | title=Number theory, dynamical systems and statistical mechanics | mr=1714352 | year=1999 | journal=Reviews in Mathematical Physics. A Journal for Both Review and Original Research Papers in the Field of Mathematical Physics | volume=11 | issue=8 | pages=1027–1060|doi=10.1142/S0129055X99000325}}</ref>

=== 비가환 기하학 ===
[[알랭 콘]]은 리만 가설과 [[비가환 기하학]] 사이의 관계를 지적하였고, 이를 통해 리만 가설을 함의하는 비가환 기하학적 명제를 발표하였다.<ref>{{서적 인용 |last=Connes |first=Alain |저자링크=알랭 콘 |title=Trace formula in noncommutative geometry and the zeros of the Riemann zeta function |doi=10.1007/s000290050042 |arxiv=math/9811068 |mr=1694895 |year=1999 |journal=Selecta Mathematica. New Series |volume=5 |issue=1 |pages=29–106| 언어=en}}</ref><ref>{{서적 인용 |last=Connes |first=Alain |저자링크=알랭 콘 |title=Mathematics: frontiers and perspectives |publisher=American Mathematical Society |location=Providence, R.I. |mr=1754766 |year=2000 |chapter=Noncommutative geometry and the Riemann zeta function |pages=35–54| 언어=en}}</ref><ref>{{서적 인용 | last=Lapidus | first=Michel L. | title=In search of the Riemann zeros | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-4222-5 | mr=2375028 | year=2008| 언어=en}}</ref>

=== 타원 곡선의 산술 제타 함수 ===
[[대수적 수체]]는 1차원 스킴으로, 수체 위의 대수 곡선은 2차원 스킴으로 여길 수 있다. [[일반화 리만 가설]]은 이렇게 1차원적인 추측이다. 2차원, 구체적으로 [[대수적 수체]] 위의 [[타원 곡선]]의 산술 제타 함수에 대한 어떤 명제가 일반화 리만 가설을 사실상 함의하며,<ref>{{저널 인용 | last=Fesenko | first=Ivan | title=Analysis on arithmetic schemes. II  | year=2010 | journal=Journal of K-theory| volume=5 |  pages=437–557| 언어=en}}</ref> 반대로 일반화 리만 가설은 이 명제를 함의한다.<ref>{{저널 인용  | last=Suzuki | first=Masatoshi | title=Positivity of certain functions associated with analysis on elliptic surfaces | year=2011 | journal=Journal of Number Theory | volume=131 | pages=1770–1796| 언어=en}}</ref>

=== 기타 ===
1948년에 [[투란 팔]]은 어떤 특정 [[디리클레 지표]]에 대한 추측이 리만 가설을 함의함을 증명하였다.<ref>{{저널 인용 | last=Turán | first=Paul | authorlink=투란 팔|title=On some approximative Dirichlet-polynomials in the theory of the zeta-function of Riemann | mr=0027305 | year=1948 | journal=Danske Vid. Selsk. Mat.-Fys. Medd. | volume=24 | issue=17 | pages=36}}</ref> 그러나 이 추측은 거짓인 것으로 판명되었다.<ref>{{저널 인용 | last=Haselgrove | first=C. B. | title=A disproof of a conjecture of Pólya | mr=0104638 | year=1958 | journal=Mathematika | volume=5 | pages=141–145 | doi=10.1112/S0025579300001480 | issue=2| 언어=en}}</ref><ref>{{인용| last=Montgomery | first=Hugh L.| editor1-last=Erdős | editor1-first=Paul |editor1-link=에르되시 팔 |title=Studies in pure mathematics. To the memory of Paul Turán | publisher=Birkhäuser | location=Basel, Boston, Berlin | isbn=978-3-7643-1288-6 | mr=820245 | year=1983 | chapter=Zeros of approximations to the zeta function | pages=497–506}}</ref><ref>{{서적 인용 |last1=Borwein |first1=Peter |last2=Ferguson |first2=Ron |last3=Mossinghoff |first3=Michael J. |title=Sign changes in sums of the Liouville function |doi=10.1090/S0025-5718-08-02036-X |mr=2398787 |year=2008 |journal=Mathematics of Computation |volume=77 |issue=263 |pages=1681–1694| 언어=en}}</ref>

루이 드 브랑주({{lang|fr|Louis de Branges}})는 1990년에 특정한 [[전해석 함수]]들의 [[힐베르트 공간]]의 특정한 성질로부터 리만 가설을 유추할 수 있음을 보였다.<ref>{{서적 인용  |last1=de Branges |first1=Louis |title=The convergence of Euler products |doi=10.1016/0022-1236(92)90103-P |mr=1165869 |year=1992 |journal=Journal of Functional Analysis |volume=107 |issue=1 |pages=122–210| 언어=en}}</ref> 그러나 이 성질은 사실 거짓임이 증명되었다.<ref>{{서적 인용 |last1=Conrey |first1=J. Brian |last2=Li |first2=Xian-Jin |title=A note on some positivity conditions related to zeta and L-functions |doi=10.1155/S1073792800000489 |arxiv=math/9812166 |mr=1792282 |year=2000 |journal=International Mathematics Research Notices |issue=18 |pages=929–940 |volume=2000| 언어=en}}</ref>

[[프리먼 다이슨]]은 리만 가설이 [[준결정]]과 연관되어 있다고 추측하였다.<ref>{{저널 인용 | last=Dyson | first=Freeman|저자링크=프리먼 다이슨 | title=Birds and frogs | url=http://www.ams.org/notices/200902/rtx090200212p.pdf | mr=2483565 | year=2009 | journal=Notices of the American Mathematical Society | volume=56 | issue=2 | pages=212–223| 언어=en}}</ref>

=== 21세기 ===
2004년에는 제타 함수의 처음 10<sup>13</sup>개의 영점들이 계산되었으며, 이들은 모두 임계선 위에 위치하였다.<ref name="Gourdon">{{웹 인용|url=http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf|format=PDF|last=Gourdon|first=Xavier|title=The 10<sup>13</sup> first zeros of the Riemann Zeta function, and zeros computation at very large height|날짜=2004-10-24| 언어=en}}</ref>

[[2001년]] 미국 [[클레이 수학연구소]]가 7개의 [[밀레니엄 문제]] 가운데의 하나로 리만 가설에 100만 달러의 상금을 걸었다.<ref>{{뉴스 인용 |성=Albert |이름=Bikbov |날짜=2016-07-12 |제목=John Nash’s Beautiful Mind: Adam Smith's debunking and 30 years of madness |번역제목= |url=http://realnoevremya.com/articles/998 |언어= |뉴스= |출판사= |위치= |확인날짜= }}</ref> 2004년에는 [[퍼듀 대학교]] 수학 교수인 루이 드 브랑주({{lang|fr|Louis de Branges}})가 인터넷에 23페이지 리만 가설의 증명을 올렸다. 하지만 한달 뒤, 드 브랑주의 증명을 검토하던 클레이 수학 연구소에서 드 브랑주의 논문의 오류를 발견하였다.<ref>{{뉴스 인용 |성=Davide |이름= Castelvecchi |날짜=2015-08-08 |제목= Math Mystery: Shinichi Mochizuki and the Impenetrable Proof |url=https://www.scientificamerican.com/article/math-mystery-shinichi-mochizuki-and-the-impenetrable-proof/|뉴스=scientificamerican |출판사= |위치= |확인날짜= }}</ref> 그는 [[2016년]] [[1월]]까지 리만 가설의 증명을 발표했으나<ref>{{학위논문 인용 |성=Louis de |이름=Branges |저자= |제목=THE RIEMANN HYPOTHESIS |종류= |장= |url=http://www.math.purdue.edu/~branges/proof-riemann.pdf |날짜=1.d |연도=2016 |출판사= |확인날짜= |oclc= |archive-date=2013-09-20 |archive-url=https://web.archive.org/web/20130920101241/http://www.math.purdue.edu/~branges/proof-riemann.pdf }}</ref> 성공하진 못했다.

오늘날 많은 수학자들은 리만 가설이 참일 것이라고 추측하지만, [[존 이든저 리틀우드]]를 비롯한 몇몇 회의적인 수학자들도 존재한다.<ref>{{인용|last= Littlewood|first=J. E. |authorlink=존 이든저 리틀우드|title=The scientist speculates: an anthology of partly baked idea|chapter=The Riemann hypothesis|year=1962|publisher=Basic books|place=New York}}</ref><ref>{{인용|last=Ivić|first=Aleksandar|chapter=On some reasons for doubting the Riemann hypothesis|isbn=978-0-387-72125-5|pages=131–160|editor1-last= Borwein|title=The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike |series=CMS Books in Mathematics|publisher=Springer|place=New York|year=2008
|editor1-first=Peter |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan|editor3-last= Rooney |editor4-first= Andrea|editor4-last= Weirathmueller|arxiv=math.NT/0311162| 언어=en}}</ref>

=== 영점의 계산 ===
현재까지 계산된 리만 제타 함수의 영점들의 수는 다음과 같다. 비교적 작은 영점들의 값은 출판된 표에서 찾아볼 수 있다.<ref>{{서적 인용 | last=Haselgrove | first=C. B. |공저자=J. C. P. Miller | title=Tables of the Riemann zeta function | publisher=Cambridge University Press | series=Royal Society Mathematical Tables | 권= 6 | mr=0117905 | year=1960|isbn=978-0-521-06152-0| 언어=en}} [http://www.jstor.org/stable/2003098 Review]</ref>
{| class="wikitable"
|-
!날짜
!영점의 수
!저자
|-
|1859?
|3
|[[베른하르트 리만]]
|-
|1903
|15
|외르겐 페데르센 그람({{llang|da|Jørgen Pedersen Gram}})<ref name="Gram"/>
|-
|1914
|79
|R. J. Backlund
|-
|1925
|138
|J. I. Hutchinson<ref>{{저널 인용 | last=Hutchinson | first=J. I. | title=On the Roots of the Riemann Zeta-Function | jstor=1989163 | year=1925 | journal=Transactions of the American Mathematical Society | volume=27 | pages=49–60 | doi=10.2307/1989163 | issue=1| 언어=en}}</ref>
|-
|1935
|195
|E. C. Titchmarsh<ref name="Titchmarsh1935">{{저널 인용 | last=Titchmarsh | first=Edward Charles | authorlink=에드워드 찰스 티치마시 | title=The Zeros of the Riemann Zeta-Function | jstor=96545 | publisher=The Royal Society | year=1935 | journal=Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume=151 | issue=873 | pages=234–255 | doi=10.1098/rspa.1935.0146|issn=0080-4630|언어=en}}</ref>
|-
|1936
|1041
|E. C. Titchmarsh<ref name="Titchmarsh1936"/>
|-
|1953
|1104
|[[앨런 튜링]]<ref>{{저널 인용 | last=Turing | first=Alan M. | authorlink=앨런 튜링 | title=Some calculations of the Riemann zeta-function | doi=10.1112/plms/s3-3.1.99 | mr=0055785 | year=1953 | journal=Proceedings of the London Mathematical Society. Third Series | volume=3 | pages=99–117| 언어=en}}</ref>
|-
|1956
| 1.5×10<sup>4</sup>
|D. H. Lehmer<ref>{{저널 인용 | last=Lehmer | first=D. H.  | title=Extended computation of the Riemann zeta-function | mr=0086083 | year=1956 | journal=Mathematika. A Journal of Pure and Applied Mathematics | volume=3 | pages=102–108 | doi=10.1112/S0025579300001753 | issue=2| 언어=en}}</ref>
|-
|1956
| 2.5×10<sup>4</sup>
|D. H. Lehmer
|-
|1958
|3.5337×10<sup>4</sup>
|N. A. Meller
|-
|1966
|2.5×10<sup>5</sup>
|R. S. Lehman
|-
|1968
|3.5×10<sup>6</sup>
|J. Barkley Rosser, J. M. Yohe, Lowell Schoenfeld<ref>{{인용| last1=Rosser | first1=J. Barkley | last2=Yohe | first2=J. M. | last3=Schoenfeld | first3=Lowell | title=Information Processing 68 (Proc. IFIP Congress, Edinburgh, 1968), Vol. 1: Mathematics, Software | publisher=North-Holland | location=Amsterdam | mr=0258245 | year=1969 | chapter=Rigorous computation and the zeros of the Riemann zeta-function. (With discussion) | pages=70–76}}</ref>
|-
|1977
|4×10<sup>7</sup>
| Richard P. Brent
|-
|1979
|8.1×10<sup>7</sup>
|Richard P. Brent
|-
|1982
|2×10<sup>8</sup>
|R. P. Brent, Johan van de Lune, Hermanus J. J. te Riele, D. T. Winter
|-
|1983
|3×10<sup>8</sup>
|Johan van de Lune, Hermanus J. J. te Riele
|-
|1986
|1.5×10<sup>9</sup>
|van de Lune, te Riele<ref>{{인용| last1=van de Lune | first1=J. | last2=te Riele | first2=Hermanus J. J. | last3=Winter | first3=D. T. | title=On the zeros of the Riemann zeta function in the critical strip. IV | jstor=2008005 | mr=829637 | year=1986 | journal=Mathematics of Computation | volume=46 | issue=174 | pages=667–681 | doi=10.2307/2008005}}</ref>
|-
|2001
|10<sup>10</sup>
|J. van de Lune (미출판)
|-
|2004
|9×10<sup>11</sup>
|S. Wedeniwski (ZetaGrid)
|-
|2004
|10<sup>13</sup>
| X. Gourdon<ref name="Gourdon"/>
|}
이 밖에도, 앤드루 오들리츠코({{llang|en|Andrew M. Odlyzko}})는 많은 수들의 매우 큰 영점들의 위치를 계산하였다.<ref name="Odlyzko1987"/><ref>{{인용|first=A. M.|last= Odlyzko|title=The 10<sup>20</sup>-th zero of the Riemann zeta function and 175 million of its neighbors|year= 1992|url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to20.1992.pdf}}</ref><ref>{{인용|first=A. M.|last= Odlyzko|title=The 10<sup>21</sup>st zero of the Riemann zeta function|year=1998|url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to21.pdf}}</ref> 그 영점들의 허수부 목록은 오들리즈코의 사이트인
http://www.dtc.umn.edu/~odlyzko/zeta_tables/
에 들어 있다.

== 같이 보기 ==
{{위키공용분류}}
* [[일반화 리만 가설]]
* [[리만 제타 함수]]
* [[소수 정리]]
* [[바젤 문제]]

== 각주 ==
{{각주|3}}

== 외부 링크 ==
* {{eom|title=Riemann hypotheses|first=A. F. |last=Lavrik}}
* {{eom|first=A. F. |last=Lavrik|title=Zeta-function}}
* {{웹 인용|제목=소수의 아름다움|저자=양재현|url=http://math.inha.ac.kr/~jhyang/paper/Eprimeb.pdf|날짜=2007|확인날짜=2013-12-25|archive-date=2013-12-25|archive-url=https://web.archive.org/web/20131225183641/http://math.inha.ac.kr/~jhyang/paper/Eprimeb.pdf}}
* {{서적 인용|url=http://math.inha.ac.kr/~jhyang/paper/ERH.pdf|장=리만 가설에 관하여|저자=양재현|날짜=2000|제목=제2회 Math Festival (이화여자대학교) 프로시딩 3권|쪽=314–327|출판사=전국수학교사모임|확인날짜=2015-03-10|보존url=https://web.archive.org/web/20150402111448/http://math.inha.ac.kr/~jhyang/paper/ERH.pdf|보존날짜=2015-04-02|url-status=dead}}
* {{웹 인용|출판사=American Institute of Mathematics|url=http://www.aimath.org/WWN/rh/|제목=The Riemann hypothesis|언어=en}}
* {{웹 인용|last=Stein|first=William|공저자=[[배리 메이저|Barry Mazur]]|year=2007|url=http://modular.math.washington.edu/edu/2007/simuw07/notes/rh.pdf|format=PDF|title=What is Riemann’s Hypothesis?|언어=en|확인날짜=2009년 2월 17일|보존url=https://web.archive.org/web/20090327181331/http://modular.math.washington.edu/edu/2007/simuw07/notes/rh.pdf|보존날짜=2009년 3월 27일|url-status=dead}}
* {{웹 인용 |title=The Riemann Hypothesis |first=Peter |last=Borwein |url=http://oldweb.cecm.sfu.ca/~pborwein/COURSE/MATH08/LECTURE.pdf |format=PDF |언어=en |확인날짜=2009년 3월 21일 |보존url=https://web.archive.org/web/20090327181245/http://oldweb.cecm.sfu.ca/~pborwein/COURSE/MATH08/LECTURE.pdf |보존날짜=2009년 3월 27일 |url-status=dead }}
* {{웹 인용 |last=Odlyzko |first=Andrew  |title=Zeros of the Riemann zeta function: conjectures and computations |year=2002 |url=http://www.dtc.umn.edu/~odlyzko/talks/riemann-conjectures.pdf |format=PDF|언어=en}}
* {{웹 인용 |last=Stein |first=William A. |url=http://modular.math.washington.edu/edu/2007/simuw07/index.html |title=What is Riemann's hypothesis |언어=en |확인날짜=2009년 2월 17일 |보존url=https://web.archive.org/web/20090104104251/http://modular.math.washington.edu/edu/2007/simuw07/index.html |보존날짜=2009년 1월 4일 |url-status=dead }}
* {{웹 인용 |first=Matthew R. |last=Watkins |url=http://secamlocal.ex.ac.uk/~mwatkins/zeta/RHproofs.htm |title=Proposed proofs of the Riemann Hypothesis |date=2007-07-18 |언어=en }}{{깨진 링크|url=http://secamlocal.ex.ac.uk/~mwatkins/zeta/RHproofs.htm }}

{{전거 통제}}

[[분류:해석적 수론]]
[[분류:수론의 미해결 문제]]
[[분류:밀레니엄 문제]]
[[분류:베른하르트 리만]]
[[분류:제타 함수와 L-함수]]