リーマン予想
リーマン予想は、リーマンゼータ関数の零点に関する整数論上の未解決問題である。
ゼータ関数
実部が1より大きい複素数sに対し、
で定義され、解析接続によってより広い領域へ拡張される。
予想の主張
非自明な零点は 0<Re(s)<1 にあり、リーマン予想はそれらすべてが
を満たすと主張する。
素数との関係
オイラー積によってゼータ関数は素数と直接結び付く。リーマン予想は素数分布の誤差評価と深い関係がある。
級数の領域と解析接続
ζ(s)=Σn⁻ˢという級数はRe(s)>1で絶対収束する。この領域で自然数の素因数分解の一意性を使い、各素数の等比級数を掛け合わせるとオイラー積が得られる。Re(s)=1/2では元の級数をそのまま収束級数として計算できず、解析接続された関数を使う。s=1は単純極である。
自明な零点と非自明な零点
解析接続したゼータ関数は−2,−4,−6,…に零点を持ち、これらを自明な零点と呼ぶ。予想の対象はそれ以外の非自明零点である。臨界帯0<Re(s)<1の中で、すべての零点が中央の直線Re(s)=1/2に乗るかが問題になる。実部と虚部を取り違えず、ゼータ関数の値が0になる入力sを探す話だと押さえる。
計算による検証と証明の違い
有限の高さまで厳密に検証しても、それより先に反例がないとは結論できない。数値計算では丸め誤差の評価と零点の取りこぼしの排除も必要になる。予想が成り立つと、素数計数の平均的傾向からのずれに強い上界が得られるが、素数定理自体は予想を仮定せず証明されている。2026年10月12日に確認したClay Mathematics Instituteの一覧では未解決として掲載されている。
確認問題
s=−2は実部1/2ではない。これはリーマン予想への反例か。
解答と考え方を見る
反例ではない。−2は自明な零点であり、予想の主張は非自明零点についてのもの。定理や予想の対象範囲を正確に読む必要がある。
参考資料・次に読む資料
- Clay Mathematics Institute: Riemann Hypothesis予想の公式解説と問題の位置付け。
- Clay Mathematics Institute: The Millennium Prize Problemsミレニアム問題の公式一覧。掲載された分類を確認するための資料。
資料確認日：2026-10-12。