ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

リーマン予想

索引 リーマン予想

1.

106 関係: AKS素数判定法原子核原子核物理学偏角の原理偶数合同ゼータ関数実数対称群対数積分与えられた数より小さい素数の個数について三角関数一般化されたリーマン予想予想代数体保型形式のL-函数ミラー–ラビン素数判定法ミレニアム懸賞問題チェビシェフ関数ハラルド・クラメールメリン変換メビウス関数モンゴメリー・オドリズコ予想ユークリッド環ランダウの記号リーマンの素数公式リーマンゼータ関数リース函数レオンハルト・オイラーヘッケ指標ヒルベルトの23の問題ヒルベルト・ポリア予想デデキントゼータ関数ディリクレのL関数フリーマン・ダイソンファレイ数列ドーヴァー出版ドイツダフィット・ヒルベルトベルンハルト・リーマンアメリカ数学会アラン・コンヌエトムント・ランダウオイラーの定数オイラーのφ関数オイラー積カール・ジーゲルクレレ誌クレイ数学研究所ケンブリッジ大学出版局ゴールドバッハの予想...ゴッドフレイ・ハロルド・ハーディシュプリンガー・サイエンス・アンド・ビジネス・メディアシアトルジャック・アダマールジョン・ナッシュジョン・ワイリー・アンド・サンズジョン・エデンサー・リトルウッドスキューズ数ゼータ函数函数等式米国科学アカデミー紀要級数素数素数定理素数判定素数計数関数純粋数学約数関数総乗群論絶対収束Disquisitiones ArithmeticaeEN非可換幾何類数問題複素平面複素数解析接続調和数 (発散列)足立恒雄関数 (数学)自然対数長岡亮介零点虚数単位L-函数Mathematische AnnalenMertens 関数Notices of the American Mathematical SocietyPublications Mathématiques de l'IHÉSRedheffer 行列S&P グローバル松浦俊輔杉浦光夫極 (複素解析)朝倉書店日経BP日本評論社1+1+1+1+…1859年1896年1900年1914年1972年1996年2000年 インデックスを展開 (56 もっと) »

AKS素数判定法

AKS素数判定法(-そすうはんていほう)は、与えられた自然数が素数であるかどうかを決定的多項式時間で判定できる、世界初のアルゴリズムである。ここで、素数判定法が多項式時間であるとは、与えられた自然数 n が素数であるかどうかを判定するのにかかる時間が\log(n) の多項式を上界とすることをいう。n の多項式ではないことに注意する必要がある。 AKS素数判定法は2002年8月6日に "PRIMES is in P" と題された論文で発表された。Agrawal-Kayal-Saxena 素数判定法としても知られ、論文の著者であるインド工科大学のマニンドラ・アグラワル教授と、2人の学生ニラジュ・カヤル、ナイティン・サクセナ(Nitin Saxena)の3人の名前から付けられた。 この素数判定法が発見される以前にも、素数の判定方法は多数知られていたが、リーマン予想などの仮説を用いずに、決定的多項式時間で判定できるアルゴリズムは存在しなかった。 素数判定という重要な問題が実際にクラスPに属することを示した点で理論的には大躍進であった。しかし実用的には、多項式の次数が高すぎるので、今まで判定できなかった素数を高速に判定できるようになったわけではない(まだ「一般数体ふるい法」で因数分解した方がよい)。.

新しい!!: リーマン予想とAKS素数判定法 · 続きを見る »

原子核

原子核(げんしかく、atomic nucleus)は、単に核(かく、nucleus)ともいい、電子と共に原子を構成している。原子の中心に位置する核子の塊であり、正の電荷を帯びている。核子は、基本的には陽子と中性子から成っているが、通常の水素原子(軽水素)のみ、陽子1個だけである。陽子と中性子の個数、すなわち質量数によって原子核の種類(核種)が決まる。 原子核の質量を半経験的に説明する、ヴァイツゼッカー=ベーテの質量公式(原子核質量公式、他により改良された公式が存在する)がある。.

新しい!!: リーマン予想と原子核 · 続きを見る »

原子核物理学

原子核物理学(げんしかくぶつりがく、英語:nuclear physics、単に核物理とも言う):強い相互作用に従う粒子の多体問題を研究する学問領域。主に原子核の核構造、核反応(核分裂反応、核融合反応)などを扱う分野のこと。また、核物質・ハドロン物質の性質を調べるハドロン物理学も、この分野の一部である。 構成要素が2種類(注・ハイパー核はさらに数種類の構成要素が加わる)であるにもかかわらず、陽子・中性子それぞれの数や励起のさせ方により、様々な構造を取るのが特徴である。核子の主要な相互作用である「強い相互作用」が未だ完全に解明されていないこと、物性理論のように構成粒子が無限であるという近似が許されないこと、表面の効果が重要であること等により、発見から1世紀近く経つにもかかわらず、未知の部分が残されており、理論実験ともに盛んに研究が行われている。.

新しい!!: リーマン予想と原子核物理学 · 続きを見る »

偏角の原理

複素解析において、偏角の原理(へんかくのげんり、argument principle)(あるいはコーシーの偏角の原理)は有理型関数の零点と極の個数の差を関数の対数微分の周回積分と結びつける。 具体的には、f(z) がある閉じた経路 C 上および内側で有理型関数で、f が C 上に零点も極ももたなければ、 ただし N と P はそれぞれ経路 C の内側の f(z) の零点と極の個数を各零点と極をそれぞれ重複度と位数をこめて数えたものを表す。定理のこのステートメントは閉経路 C が単純であること、すなわち自己交叉がないことと、反時計回りに向き付けられていることを仮定している。 より一般に、f(z) が複素平面の開集合 Ω 上の有理型関数で C が Ω 内の閉曲線で f のすべての零点と極を避け Ω の内側の点に可縮であるとする。各点 z ∈ Ω に対し、n(C, z) を z のまわりの C の回転数とする。このとき ただし最初の和は重複度も数えて f のすべての零点 a を渡り、二番目の和は位数も数えて f の極 b を渡る。.

新しい!!: リーマン予想と偏角の原理 · 続きを見る »

偶数

偶数(ぐうすう、even number) とは、 を約数に持つ整数、すなわち で割り切れる整数のことをいう。逆に で割り切れない整数のことは、奇数という。 具体的な偶数の例として などが挙げられる。これらはそれぞれ に等しいため、 で割っても余りが生じず、 で割り切ることができる。 より派生して、 で割り切れるが では割り切れない整数を単偶数または半偶数という。これに対して、 で割り切れる整数を複偶数 または全偶数という。 偶数と奇数は、偶数全体、奇数全体をそれぞれ 1 つの元と見て、2 つの元からなる有限体の例を与える。.

新しい!!: リーマン予想と偶数 · 続きを見る »

合同ゼータ関数

数学において、 個の元をもつ有限体 上で定義された非特異射影代数多様体 の合同ゼータ関数 (congruent zeta function) (または局所ゼータ関数 (local zeta function))とは、 を の 次拡大体 上の の(有理)点の数(定義方程式の解の個数)としたとき、 で定義される。変数変換 を行うと、これは の形式的冪級数として \mathit (V,u).

新しい!!: リーマン予想と合同ゼータ関数 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: リーマン予想と実数 · 続きを見る »

対称群

対称群(たいしょうぐん、)とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換(ちかん、)という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群(ちかんぐん、)と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.

新しい!!: リーマン予想と対称群 · 続きを見る »

対数積分

数学において、対数積分(たいすうせきぶん、logarithmic integral function) とは、全ての正の実数 において次の自然対数 を含む定積分によって定義される特殊関数である。 ただし関数 は において特異点を持つため、上記における の積分は、次のようにコーシーの主値として解釈される。.

新しい!!: リーマン予想と対数積分 · 続きを見る »

与えられた数より小さい素数の個数について

『ベルリン学士院月報』(1859年11月号)に掲載された論文。 『与えられた数より小さい素数の個数について』(あたえられたすうよりちいさいそすうのこすうについて、ドイツ語の原題: Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, 英語での定訳: On the Number of Primes Less Than a Given Magnitude)は、19世紀のドイツの数学者であるベルンハルト・リーマンが1859年に発表した論文である。同年の学術誌『ベルリン学士院月報』(Monatsberichte der Königlich Preußischen Akadademie der Wissenschaften zu Berlin) 上に掲載された。解析学や幾何学の分野における業績が多かったリーマンが数論の分野で唯一発表した論文であり、わずか8ページしかなかったが、数々の画期的な内容を含み、後世に甚大な影響を及ぼした。特に解析的整数論においては、本論文は同分野の基本文献とされている。内容的には、この論文はあるべき大論文の要約版・研究速報と見なすことができたが、リーマン自身は7年後の1866年に39歳で没したため、本論文の詳細版が出版されることはついになかった。もし詳細版が出版されていれば、関連分野の研究は70年は短縮されただろうという指摘がある。 本論文には6個の予想が含まれていたが、リーマン没後、うち5つまでは後の数学者達によって証明が与えられた。最後に残されたのがリーマン予想であり、これは数論における最も重要な未解決問題の一つとされている。 この論文の影響はあまりに大きかったため、例えば複素数の表記方法として普通は (特に )と書くところを、リーマンゼータ関数の非自明な零点を論じる場合に限っては、本論文にちなんで と書く慣習がある と書く慣習はエトムント・ランダウ (1903年) から始まる。。また、「リーマンのゼータ関数」という名称も、元々オイラーが導入した関数であるにもかかわらず、本論文でリーマンが記号 を用いて記述したことから以後定着した。.

新しい!!: リーマン予想と与えられた数より小さい素数の個数について · 続きを見る »

三角関数

三角関数(さんかくかんすう、trigonometric function)とは、平面三角法における、角の大きさと線分の長さの関係を記述する関数の族および、それらを拡張して得られる関数の総称である。三角関数という呼び名は三角法に由来するもので、後述する単位円を用いた定義に由来する呼び名として、円関数(えんかんすう、circular function)と呼ばれることがある。 三角関数には以下の6つがある。.

新しい!!: リーマン予想と三角関数 · 続きを見る »

一般化されたリーマン予想

数学では、リーマン予想は最も重要な予想の一つである。リーマン予想は、リーマンゼータ函数のゼロ点に関する予想である。様々な幾何学的、数論的対象がいわゆる大域的L-函数により記述することができる。大域的L-函数は形式的にはリーマンゼータ函数と似ているので、これらのL-函数のゼロ点に対しての同じ問いを投げかけると、リーマン予想の様々な一般化が得られる。多くの数学者はこれらの一般化されたリーマン予想が正しいと信じている。(数体の場合ではなく)函数体の場合のみが、すでにこれらの予想が証明されている。 大域的L-函数は、楕円曲線や数体(この場合は、デデキントゼータ函数と呼ばれる)、マース形式やディリクレ指標(この場合はディリクレのL-函数と呼ばれる)に付随している。リーマン予想がデデキントのゼータ函数に対して定式化されているとき、拡張されたリーマン予想(EGH)(extended Riemann hypothesis)として知られていて、ディリクレのL-函数に対して定式化されているときに、一般化されたリーマン予想(GRH)(generalized Riemann hypothesis)として知られている。これらの 2つの予想は以下にさらに詳しく議論する。(多くの数学者は、一般化されたリーマン予想という名称を、ただ単にディリクレのL-函数という特殊な場合だけではなく、全ての大域的なL-函数へリーマン予想を拡張したものとして使う。).

新しい!!: リーマン予想と一般化されたリーマン予想 · 続きを見る »

予想

予想(よそう、expectation, forecast, conjecture)とは、.

新しい!!: リーマン予想と予想 · 続きを見る »

代数体

代数体(だいすうたい、algebraic number field)とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。 K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。 このとき θ は n 次の代数的数であるので、K を \mathbb 上のベクトル空間とみたとき、\ は基底となる。.

新しい!!: リーマン予想と代数体 · 続きを見る »

保型形式のL-函数

保型 ''L'' 関数 (automorphic L-function) とは、複素変数 s の関数 L(s,, r) であって、大域体上の簡約群 G の保型表現 と、G のランクランズ双対群 LG の有限次元複素表現に付随するものであり、ディリクレ指標のディリクレ級数やモジュラ形式のメリン変換を一般化する。 により導入された。 と は保型 L 関数のサーベイを与えた。.

新しい!!: リーマン予想と保型形式のL-函数 · 続きを見る »

ミラー–ラビン素数判定法

ミラー–ラビン素数判定法(Miller–Rabin primality test)またはラビン–ミラー素数判定法(Rabin–Miller primality test)は、与えられた数が素数かどうかを判定する素数判定アルゴリズムの一種。フェルマーの素数判定法や ソロベイ–シュトラッセン素数判定法と同じく、乱択アルゴリズムの一種である。Gary L. Miller が最初に開発したMillerテストは未だ証明されていない拡張リーマン予想に基づいた決定的アルゴリズムだったが、マイケル・ラビンはこれを無条件の確率的アルゴリズムに修正した。.

新しい!!: リーマン予想とミラー–ラビン素数判定法 · 続きを見る »

ミレニアム懸賞問題

ミレニアム懸賞問題(ミレニアムけんしょうもんだい、)とは、アメリカのクレイ数学研究所によって2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2015年8月末の時点で未解決である。ミレニアム賞問題、ミレニアム問題とも呼ばれる。.

新しい!!: リーマン予想とミレニアム懸賞問題 · 続きを見る »

チェビシェフ関数

チェビシェフ関数(チェビシェフかんすう、Chebyshev function)は数論における関数。パフヌティ・チェビシェフに因んで呼ばれている。 二つの関数があり、第一チェビシェフ関数 ϑ(x) または θ(x) とは で定義される関数のことであり、第二チェビシェフ関数 ψ(x) とは で定義される関数のことである。ここで \Lambda はフォン・マンゴルト関数である。 これらの関数はともに x より小さな素数の分布に関する情報を与える点で素数計数関数 π(x) と類似しているが、素数の分布に関する定理を証明する上では素数計数関数より使いやすく、そのため一般には素数の分布に関する定理の証明ではチェビシェフ関数が用いられることが多い。.

新しい!!: リーマン予想とチェビシェフ関数 · 続きを見る »

ハラルド・クラメール

ハラルド・クラメール(Harald Cramér、1893年9月25日 - 1985年10月5日)はスウェーデンの数学者、アクチュアリー、統計学者であり、特に数理統計学と確率論的数論を専門としていた。John Kingman は彼を「統計理論の偉人の1人」と称したKingman 1986, p. 186.

新しい!!: リーマン予想とハラルド・クラメール · 続きを見る »

メリン変換

数学におけるメリン変換(メリンへんかん、)とは、両側ラプラス変換の乗法版と見なされる積分変換である。この変換はディリクレ級数の理論と密接に関連しており、数論や漸近展開の理論においてよく用いられる。ラプラス変換、フーリエ変換、ガンマ関数や特殊関数の理論と関係している。 この変換の名はフィンランドの数学者の名にちなむ。.

新しい!!: リーマン予想とメリン変換 · 続きを見る »

メビウス関数

メビウス関数(メビウスかんすう)は、数論や組合せ論における重要な関数である。メビウスの輪で有名なドイツの数学者アウグスト・フェルディナント・メビウス (August Ferdinand Möbius) が1831年に紹介したことから、この名が付けられた。.

新しい!!: リーマン予想とメビウス関数 · 続きを見る »

モンゴメリー・オドリズコ予想

モンゴメリー・オドリズコ予想 (Montgomery-Odlyzko law)とは、リーマンゼータ関数の自明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル(GUE)にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想。 ヒュー・モンゴメリーはプリンストン大学でのお茶の時間にフリーマン・ダイソンと出会い、零点のペアに関する相関を表す式が原子核のエネルギー準位モデルであるランダム行列理論(RMT)の式と酷似していると知ってランダム行列との関連を研究しはじめた。 この予想によれば、リーマン・ゼータ関数の零点の正規化された間隔は、ランダム行列理論を使った重い原子核のエネルギー準位の間隔と同様に、対相関関数が次式で表される。 1973年、モンゴメリーはゼータ関数の非自明な零点のペアに関する相関がGUE型のランダム行列の固有値のペアに関する相関と等しいとする論文 を発表した。これを読んだオドリズコは、ゼータ関数の零点の間隔分布について大規模な数値計算を行い、ランダム行列の固有値の間隔の分布とほぼ一致することを1987年の論文 で示した。.

新しい!!: リーマン予想とモンゴメリー・オドリズコ予想 · 続きを見る »

ユークリッド環

数学の特に抽象代数学および環論におけるユークリッド整域(ユークリッドせいいき、Euclidean domain)あるいはユークリッド環(ユークリッドかん、Euclidean ring)とは、「ユークリッド写像(次数写像)」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される(ベズーの等式)。また、ユークリッド環の任意のイデアルは主イデアル(つまり、単項生成)であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。 ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環(あるいは実際には有理整数環を考えるので十分だが)と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。 そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。.

新しい!!: リーマン予想とユークリッド環 · 続きを見る »

ランダウの記号

ランダウの記号(ランダウのきごう、Landau symbol)は、関数の極限における値の変化度合いに、おおよその評価を与えるための記法である。 ランダウの漸近記法 (asymptotic notation)、ランダウ記法 (Landau notation) あるいは主要な記号として O (オーもしくはオミクロン Ο。数字の0ではない)を用いることから(ランダウの)O-記法、ランダウのオミクロンなどともいう。 記号 O は「程度」の意味のオーダー(Order)から。 なおここでいうランダウはエドムント・ランダウの事であり、『理論物理学教程』の著者であるレフ・ランダウとは別人である。 ランダウの記号は数学や計算機科学をはじめとした様々な分野で用いられる。.

新しい!!: リーマン予想とランダウの記号 · 続きを見る »

リーマンの素数公式

リーマンの素数公式(Riemann's prime number formula、あるいは明示公式、explicit formula)とは、ドイツの数学者ベルンハルト・リーマンが1859年に自身の論文「与えられた数より小さい素数の個数について」において発表した、素数の個数関数 π(x) をゼータ関数の非自明な零点を用いて表示する公式である。素数公式のリーマン自身の証明は同論文の他のいくつかの結果同様不完全だったが、フォン・マンゴルドによって1895年に厳密に証明された。.

新しい!!: リーマン予想とリーマンの素数公式 · 続きを見る »

リーマンゼータ関数

1.

新しい!!: リーマン予想とリーマンゼータ関数 · 続きを見る »

リース函数

数学においてリース函数(リースかんすう、)とは、リーマン予想との関係でリース・マルツェルによって定義された、次の冪級数で与えられる整函数のことを言う: F(x).

新しい!!: リーマン予想とリース函数 · 続きを見る »

レオンハルト・オイラー

レオンハルト・オイラー(Leonhard Euler, 1707年4月15日 - 1783年9月18日)は、18世紀の数学者・天文学者(天体物理学者)。 18世紀の数学の中心となり、続く19世紀の厳密化・抽象化時代の礎を築いた 日本数学会編『岩波数学辞典 第4版』、岩波書店、2007年、項目「オイラー」より。ISBN 978-4-00-080309-0 C3541 。スイスのバーゼルに生まれ、現在のロシアのサンクトペテルブルクにて死去した。.

新しい!!: リーマン予想とレオンハルト・オイラー · 続きを見る »

ヘッケ指標

数論では、ヘッケ指標(Hecke character)はディリクレ指標の一般化であり、(Erich Hecke)によりディリクレのL-函数よりも大きな L-函数のクラスを構成するために導入された。ヘッケのL-函数はデデキントゼータ函数の自然な設定とリーマンゼータ函数の満たす函数等式に似た函数等式を持つ。 しばしば、ヘッケ指標は、ドイツ語の量指標(Größencharakter)という単語で使われる(また、Grössencharakter, Grossencharacterなどと書かれる)。.

新しい!!: リーマン予想とヘッケ指標 · 続きを見る »

ヒルベルトの23の問題

ヒルベルトの23の問題(ヒルベルトの23のもんだい、)は、ドイツ人の数学者であるダフィット・ヒルベルトによりまとめられた、当時未解決だった23の数学問題である。ヒルベルト問題 とも呼ばれる。 1900年8月8日に、パリで開催されていた第2回国際数学者会議 (ICM) のヒルベルトの公演で、23題の内10題(問題1, 2, 6, 7, 8, 13, 16, 19, 21, 22)が公表され、残りは後に出版されたヒルベルトの著作で発表された。.

新しい!!: リーマン予想とヒルベルトの23の問題 · 続きを見る »

ヒルベルト・ポリア予想

数学において、ヒルベルト・ポリア予想 (Hilbert–Pólya conjecture) とは、スペクトル理論によるリーマン予想への一つのアプローチの方法である。1910年代に、ヒルベルトとポリアが、リーマン予想の証明は自己共役作用素を見つけることにより得られるのではないかと示唆したことが、この予想の契機である。.

新しい!!: リーマン予想とヒルベルト・ポリア予想 · 続きを見る »

デデキントゼータ関数

デデキントゼータ関数(-かんすう、Dedekind's zeta function)とは、 代数体 K に対して で表される関数のことをいう。但し、和は K の整イデアル全てを動き、\scriptstyle N\mathfrak は整イデアル \mathfrak のノルムである。従って、デデキントゼータ関数は、ヘッケのL関数の特別な場合である。 特に、K が有理数体のとき、リーマンゼータ関数になる。 与えられた整数 n に対して、ノルムが n である整イデアルは有限個しかなく、ノルムは正整数であるので、 デデキントゼータ関数は、 と、ディリクレ級数の形で表すことが出来る。 デデキントゼータ関数は、\scriptstyle\operatorname\ s>1 に対して、絶対かつ一様収束する。従って、\scriptstyle\operatorname\ s>1 で、\zeta_K(s) は正則関数である。.

新しい!!: リーマン予想とデデキントゼータ関数 · 続きを見る »

ディリクレのL関数

ディリクレのL-関数(ディリクレのエルかんすう、Dirichlet L-function)は、リーマンゼータ関数を一般化したものである。算術級数中の素数の分布の研究に基本的な関数である。実際ディリクレは、初項と公差が互いに素であるような等差数列には無限に素数が含まれること(算術級数定理)を証明するために、この関数を導入した。最も古典的なL-関数であり、単にL-関数と呼ばれることもあるが、数論の発展に伴って類似の性質を持った数論的関数が多く考え出され、それらにもL-関数の名が付されている。 任意の整数 a に対し複素数を対応させる写像で、自然数 N に関して以下を満たす χ を法Nのディリクレ指標と呼ぶ。 このディリクレ指標について、 と L-関数を定義する。この L-関数はオイラー積 をもつ。 L-関数もゼータ関数と同様、全複素数平面上に解析接続され、関数等式をもつ。また、非自明な零点の実部はすべて 1/2 であるという、リーマン予想と同様な予想が考えられておりこれを一般化されたリーマン予想(Generalised Riemann Hypothesis;GRHと略される)と呼ぶ。 その他にも、L-関数にはジーゲルの零点の存在の問題がある。これは実軸上に正の零点が存在するかもしれないという問題で、存在しても高々一つであることが知られているがいまだに解決されていない。この例外的な実零点は、この問題に大きな結果を残したジーゲルにちなんでジーゲルの零点と呼ばれている。この問題のために、リーマンの素数公式の類似である算術級数中の素数分布の有効な公式を得ることができていない。.

新しい!!: リーマン予想とディリクレのL関数 · 続きを見る »

フリーマン・ダイソン

フリーマン・ダイソン(2005年) フリーマン・ジョン・ダイソン(Freeman John Dyson、1923年12月15日 - )は、イギリス・バークシャー生まれのアメリカ合衆国の理論物理学者、宇宙物理学者、サイエンスライター。ケンブリッジ大学トリニティカレッジ卒業、コーネル大学大学院卒業。プリンストン高等研究所名誉教授。 若くしてダイソン方程式を発表、量子電磁力学の完成に大きな寄与をなした。宇宙分野では恒星の全エネルギーを利用する「ダイソン球」や、彗星を覆う巨大植物「ダイソン・ツリー」、遺伝子工学によって育てられた宇宙船「宇宙の鶏(アストロチキン)」、惑星・恒星をも移動させる装置を考案するなど、気宇壮大なアイデアを連発し、SFにも多大な影響を与えた。原子力発電の研究にも携わっている。 数学に関わる分野でもいくつかの注目すべき仕事がある。ランダム行列の研究が最も重要だが、これは後にリーマン予想の研究を活発化させる契機にもなった。1996年に証明された、「全ての偶数は高々6個の素数の和で表せる」というオリヴィエ・ラマレの定理も、フリーマンが発見した補題が重要である。 日本のドキュメンタリー映画『地球交響曲第三番』に出演している。大江健三郎とも親交がある。.

新しい!!: リーマン予想とフリーマン・ダイソン · 続きを見る »

ファレイ数列

数学で、ファレイ数列(ファレイすうれつ, Farey sequence) とは、既約分数を順に並べた一群の数列であり、以下に述べるような初等整数論における興味深い性質を持つ。 正確にいえば、 定義によっては 0, 1 は数列から省かれる場合もある。 なお、英語では と呼ばれることも多いが、(級数)の定義からいえば厳密には誤りである。.

新しい!!: リーマン予想とファレイ数列 · 続きを見る »

ドーヴァー出版

ドーヴァー出版(英:Dover Publications)は、アメリカの出版社。本社はニューヨーク市にある。1941年設立。 元の出版元で絶版になった本の再出版で有名である。再出版する書籍にはパブリックドメインのものも多い。歴史的に意義深く質の高い本を丈夫な製本と安い値段で提供する方針のもとに、現在までに9,000タイトル以上の書籍を出版している。 古典文学、クラシック音楽の楽譜、18-19世紀の図版の再出版が特に有名である。また、学生から一般読者向けの数学・科学関連書籍や、軍事史、アメリカ史、奇術、チェスなど特定の分野の本の出版もしている。 著作権使用料無料(royalty-free)のデザイン・イラスト集を多く出版しており、画集的なものから、そのままコピーして使う素材集まで存在する。題材は19世紀以前のイラスト、アールヌーボーの意匠、伝統的な民族文様など多様である。CD-ROM付きのシリーズもある。コンピューター関連メディア企業オライリー社の初期の書籍表紙の動物の絵は、ドーヴァー出版の19世紀の版画図版から採用されたものである。.

新しい!!: リーマン予想とドーヴァー出版 · 続きを見る »

ドイツ

ドイツ連邦共和国(ドイツれんぽうきょうわこく、Bundesrepublik Deutschland)、通称ドイツ(Deutschland)は、ヨーロッパ中西部に位置する連邦制共和国である。もともと「ドイツ連邦共和国」という国は西欧に分類されているが、東ドイツ(ドイツ民主共和国)の民主化と東西ドイツの統一により、「中欧」または「中西欧」として再び分類されるようになっている。.

新しい!!: リーマン予想とドイツ · 続きを見る »

ダフィット・ヒルベルト

ーニヒスベルクにて私講師を務めていた頃(1886年) ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト(David Hilbert,, 1862年1月23日 - 1943年2月14日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.

新しい!!: リーマン予想とダフィット・ヒルベルト · 続きを見る »

ベルンハルト・リーマン

ルク・フリードリヒ・ベルンハルト・リーマン(Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日)は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー=リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン=ロッホの定理、リーマン予想などがある。.

新しい!!: リーマン予想とベルンハルト・リーマン · 続きを見る »

アメリカ数学会

アメリカ数学会(アメリカすうがくかい、英語:American Mathematical Society、略称:AMS)は、アメリカ合衆国の数学の学会である。現会員数は、32000人。 イギリス滞在中にロンドン数学会の影響を受けたトーマス・フィスクによって1888年に設立された。1894年7月に、現在の名前で再編成された。 AMS は組版処理ソフトウェア TeX の主唱者であり、AmS-TeX や AmS-LaTeX の開発を支援した。また、との合弁事業で MathJax オープンソースプロジェクトを管理している。.

新しい!!: リーマン予想とアメリカ数学会 · 続きを見る »

アラン・コンヌ

アラン・コンヌ(Alain Connes, 1947年4月1日 - )はフランスの数学者。IHÉS、コレージュ・ド・フランスおよびオハイオ州立大学教授。作用素環論や非可換幾何の研究で知られる。 高等師範学校卒業後、CNRS、パリ第6大学を経てIHÉS教授となる。1982年にフィールズ賞、2001年にクラフォード賞を受賞した。1984年からコレージュ・ド・フランス教授を兼任。.

新しい!!: リーマン予想とアラン・コンヌ · 続きを見る »

エトムント・ランダウ

エトムント・ゲオルク・ヘルマン・ランダウ(Edmund Georg Hermann Landau, 1877年2月14日 - 1938年2月19日)は、ドイツの数学者。主な業績は、解析的整数論におけるもの。ランダウの記号を広めた。 ベルリンの裕福なユダヤ系の家庭に生まれ、ベルリン大学で数学を学ぶ。1901年にベルリン大学で教授資格を得、1908年までここで講師として教えた。1905年にはパウル・エールリヒの娘マリアンネと結婚。 1909年、ヘルマン・ミンコフスキーの後任として、ゲッティンゲン大学に招聘される。ダフィット・ヒルベルト、フェリックス・クラインといった著名な同僚たちと対等な立場で教鞭をとったが、1933年になり、ユダヤ系の出自のためにナチス寄りの学生たちから講義をボイコットされ、1934年には引退を強要されるまでに至った。死の直前まで、散発的ではあるが、ブリュッセルやケンブリッジで教鞭をとっていた。ベルリンにて没。 教科書を数多く執筆。多くは英訳されている。 Category:ドイツの数学者 Category:数論学者 770214 -770214 Category:ゲオルク・アウグスト大学ゲッティンゲンの教員 Category:ユダヤ系ドイツ人 Category:ベルリン出身の人物 Category:1877年生 Category:1938年没 Category:数学に関する記事.

新しい!!: リーマン予想とエトムント・ランダウ · 続きを見る »

オイラーの定数

イラーの定数(オイラーのていすう、)は、数学定数の1つで、以下のように定義される。 オイラー・マスケローニ定数、オイラーの とも呼ぶ。ちなみに、オイラーはこの定数を表わすのに記号 を用いた。 を用いたのはである。 この値は、およそ0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...である。 オイラーの定数は超越数であろうと予想されているが、無理数であるかどうかさえ分かっていない。.

新しい!!: リーマン予想とオイラーの定数 · 続きを見る »

オイラーのφ関数

φ(''n'')の最初の1000個の値 オイラーのトーシェント関数(オイラーのトーシェントかんすう、Euler's totient function)は各正の整数 に対して、 から までの自然数のうち と互いに素なものの個数を として与えることによって定まる数論的関数 である。慣例的に と表記されるため、オイラーの 関数(ファイかんすう、phi function)とも呼ばれる。また、簡略的にオイラーの関数と呼ぶこともある。 例えば、 のうち と互いに素なのは の 2 個であるから、定義によれば である。また例えば のうち 以外は全て と互いに素だから、 と定まる。なおトーシェント関数の値域に含まれない自然数をノントーシェントという。 から までの値は以下の通りである。 1761年にレオンハルト・オイラーが発見したとされるが、それより数年前に日本の久留島義太が言及したとも言われる。.

新しい!!: リーマン予想とオイラーのφ関数 · 続きを見る »

オイラー積

イラー積(-せき、Euler product)はディリクレ級数を素数に関する総乗の形で表した無限積である。ディリクレ級数の一種のリーマンのゼータ関数についてこの無限積が成り立つことを証明したレオンハルト・オイラーの名前にちなむ。ディリクレ級数は以下の式の左辺で定義され、右辺がオイラー積表示である。 a(n) は n に関する乗法的関数、p は全ての素数にわたり、変数 s は複素数である。このような表示が成り立つためには a(n) が a(1).

新しい!!: リーマン予想とオイラー積 · 続きを見る »

カール・ジーゲル

ール・ルートヴィヒ・ジーゲル(Carl Ludwig Siegel, 1896年12月31日 - 1981年4月4日)は、ドイツの数学者。整数論、複素関数論、保型関数論、天体力学(三体問題)などを専攻。.

新しい!!: リーマン予想とカール・ジーゲル · 続きを見る »

クレレ誌

レレ誌もしくは、単にクレレとは数学誌Journal für die reine und angewandte Mathematik (純粋・応用数学雑誌の意)の通称。.

新しい!!: リーマン予想とクレレ誌 · 続きを見る »

クレイ数学研究所

レイ数学研究所(クレイすうがくけんきゅうじょ、Clay Mathematics Institute、略称 CMI)は、アメリカ合衆国マサチューセッツ州ケンブリッジに建設された個人的・非営利な施設であり、数学の発展とそれを広めることを目的としている。この研究所は、有望な数学者たちへ様々な賞や賞金を与えている。CMI は、1998年、ハーバード大学の数学者アーサー・ジェイフと、建設の際に投資を行った実業家ランドン・T・クレイによって建設された。.

新しい!!: リーマン予想とクレイ数学研究所 · 続きを見る »

ケンブリッジ大学出版局

ンブリッジ大学出版局(Cambridge University Press)は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.

新しい!!: リーマン予想とケンブリッジ大学出版局 · 続きを見る »

ゴールドバッハの予想

ールドバッハの予想(英語:Goldbach's conjecture)とは、次のような加法的整数論上の未解決問題の1つである。ゴールドバッハ予想、ゴルドバッハの予想とも。 この予想は、ウェアリングの問題などと共に古くから知られている。4 × 1018 まで成立することが証明されていて、一般に正しいと想定されているが、多くの努力にもかかわらず未だに証明されていない。 The conjecture has been shown to hold up through 4 × 1018 and is generally assumed to be true, but remains unproven despite considerable effort.-->.

新しい!!: リーマン予想とゴールドバッハの予想 · 続きを見る »

ゴッドフレイ・ハロルド・ハーディ

ッドフレイ・ハロルド・ハーディ(Godfrey Harold Hardy, 1877年2月7日 - 1947年12月1日)は、イギリスの数学者。.

新しい!!: リーマン予想とゴッドフレイ・ハロルド・ハーディ · 続きを見る »

シュプリンガー・サイエンス・アンド・ビジネス・メディア

ュプリンガー・サイエンス・アンド・ビジネス・メディア(Springer Science+Business Media, Springer)は、科学(Science)、技術(Technology、工学など)、医学(Medicine)、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"(「シュプリンガー・リンク」) 、"SpringerProtocols"(「」) 、"SpringerImages"(「シュプリンガー・イメージ」) 、"SpringerMaterials"(「シュプリンガー・マテリアル」) などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書(Reference works、レ(リ)ファレンス・ワークス)、教科書、モノグラフ(Monograph)、(Proceedings)、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である(第1位はエルゼビア)。 多数のインプリントや、20ヶ国に約55の発行所(パブリッシング・ハウス)、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書(これにはSTM分野だけではなく、B2B分野のものも含まれる)を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー(Springer Nature)」。.

新しい!!: リーマン予想とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »

シアトル

アトル(Seattle、スィアロゥ)は、アメリカ合衆国ワシントン州北西部キング郡にある都市。同州最大の都市かつ同郡の郡庁所在地である。また、太平洋岸北西部最大の都市かつアメリカ西海岸有数の世界都市でもある。.

新しい!!: リーマン予想とシアトル · 続きを見る »

ジャック・アダマール

ャック・アダマール ジャック・サロモン・アダマール(Jacques Salomon Hadamard、1865年12月8日 - 1963年10月17日)はフランスの数学者である。1896年に素数定理を証明したことで知られる。.

新しい!!: リーマン予想とジャック・アダマール · 続きを見る »

ジョン・ナッシュ

ョン・フォーブス・ナッシュ・ジュニア(John Forbes Nash, Jr. 1928年6月13日 - 2015年5月23日 )は、アメリカ人の数学者。専門分野は微分幾何学でありリーマン多様体の研究に関して大きな功績を残している。なお、彼の証明したナッシュ均衡が非常に有名であるため、ゲーム理論がナッシュのライフワークと思われていることもあるが、ナッシュがゲーム理論の研究に従事していたのは博士課程在学中とその後のわずか数年間だけである。 1994年にゲーム理論の経済学への応用に関する貢献によりラインハルト・ゼルテン、ジョン・ハーサニと共にノーベル経済学賞を、2015年に非線形偏微分方程式論とその幾何解析への応用に関する貢献によりルイス・ニーレンバーグと共にアーベル賞を受賞した。 ハリウッド映画『ビューティフル・マインド』は、彼の天才数学者としての偉業と成功、及び後の統合失調症に苦しむ人生を描いた作品であり、この面でも世間での彼の知名度は高い。.

新しい!!: リーマン予想とジョン・ナッシュ · 続きを見る »

ジョン・ワイリー・アンド・サンズ

ョン・ワイリー・アンド・サンズ(John Wiley & Sons、略称: Wiley、)は、1807年創業の科学、医学、教育などの分野の世界的な学術出版社である。 大学院のための教材、トレーニング教材、百科事典などの印刷、オンライン製品やオンラインサービスのような電子的情報も扱っている。『フォー・ダミーズ』シリーズの出版でも知られている。.

新しい!!: リーマン予想とジョン・ワイリー・アンド・サンズ · 続きを見る »

ジョン・エデンサー・リトルウッド

ョン・エデンサー・リトルウッド(John Edensor Littlewood, 1885年6月9日 - 1977年9月6日)は、イギリスの数学者。ゴッドフレイ・ハロルド・ハーディとの共同研究でよく知られる。.

新しい!!: リーマン予想とジョン・エデンサー・リトルウッド · 続きを見る »

スキューズ数

ューズ数(スキューズすう、Skewes number)は、南アフリカの数学者が素数の個数に関する研究において用いた、極めて大きな数である。あるいは、π(x) > li(x) を満たす最小の自然数 x を指すこともある。ここに、π(x) は x 以下の素数の個数、li(x) は対数積分である。後者の意味でのスキューズ数は、1014 から 1.3983 × 10316 の間にあることが知られているが、正確な値は不明である。.

新しい!!: リーマン予想とスキューズ数 · 続きを見る »

ゼータ函数

数学では、ゼータ函数 (zeta function) のことを、普通はもともとはリーマンゼータ函数を例とした類似函数のことを言う。リーマンゼータ函数は、 で定義される。ゼータ函数には、下記のような函数がある。.

新しい!!: リーマン予想とゼータ函数 · 続きを見る »

函数等式

数学、特に解析的整数論における函数等式(かんすうとうしき、functional equation)は、数論的な ''L''-函数が持っていることを期待される特徴的性質のひとつであり、(未だ多く推測的な内容を含むけれども)「函数等式斯くあるべし」という精巧な理論が存在する。.

新しい!!: リーマン予想と函数等式 · 続きを見る »

米国科学アカデミー紀要

『米国科学アカデミー紀要』(英語:Proceedings of the National Academy of Sciences of the United States of America、略称:PNAS または Proc.

新しい!!: リーマン予想と米国科学アカデミー紀要 · 続きを見る »

級数

数学における級数 (きゅうすう、series) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える(#級数の収束性の節を参照)ことができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。 級数を表す記法として、和記号 を用いた表現 や三点リーダ を用いた表現 などがある。 有限個の項以外は とすることで有限個の対象の和を表すこともでき、無限項の和であることを特に強調する場合には無限級数とも言う。無限の項の和の形に表された級数が何を表しているかということは一見必ずしも明らかではないため、何らかの意味付けを与えなければならない。最もよく採用される理解の方法は、有限個の項の和が収束する先を無限級数の値とすることである。例えば、 より となる。このほかに、解析接続などの手法により、みかけ上発散している級数に対して のような等式が意味付けされることもある。.

新しい!!: リーマン予想と級数 · 続きを見る »

素数

素数(そすう、prime number)とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数環 \mathbb Z での素数は有理素数(ゆうりそすう、rational prime)と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.

新しい!!: リーマン予想と素数 · 続きを見る »

素数定理

素数定理(そすうていり、、)とは自然数の中に素数がどのくらいの「割合」で含まれているかを述べる定理である。整数論において素数が自然数の中にどのように分布しているのかという問題は基本的な関心事である。しかし、分布を数学的に証明することは極めて難しく、解明されていない部分が多い。この定理はその問題について重要な情報を与える。.

新しい!!: リーマン予想と素数定理 · 続きを見る »

素数判定

素数判定(そすうはんてい)とは、ある自然数 n が素数であるか合成数であるかを判定する問題である。素数判定を行うアルゴリズムのことを素数判定法という。 RSA暗号の鍵生成のように素数性の判定は応用上重要であるので、素数性を高速に判定するアルゴリズムは計算理論において強い関心の対象である。 仮定なしで決定的かつ多項式時間で終了する素数判定法が存在するか否かは長らく未解決の問題だったが、2002年にそのような素数判定法が存在することを示す論文がAgrawal, Kayal, Saxenaにより発表された(AKS素数判定法)。しかし多項式の次数が高く、実用上はなどのほうが高速であることが多い。 なお、メルセンヌ数など特殊な形をした数に対しては次数の低い多項式時間で動作するアルゴリズムがあることが知られている。.

新しい!!: リーマン予想と素数判定 · 続きを見る »

素数計数関数

素数計数関数()とは、正の実数にそれ以下の素数の個数を対応させる関数のことであり、(x) で表す。.

新しい!!: リーマン予想と素数計数関数 · 続きを見る »

純粋数学

純粋数学(じゅんすいすうがく、pure mathematics)とは、しばしば応用数学と対になる概念として、応用をあまり意識しない数学の分野に対して用いられる総称である。 数学のどの分野が純粋数学でありどの分野が応用数学であるかという社会的に広く受け入れられた厳密な合意があるわけではなく、区別は便宜的なものとして用いられることが多い。また数学がより広範な範囲で利用されるに従い、分野としての純粋と応用との区別はあいまいで困難なものとなってきている。ただし、純粋数学という用語を用いる場合の志向としては、議論される数学の厳密性、抽象性を基とした数学単体での美しさを重視する傾向がある。.

新しい!!: リーマン予想と純粋数学 · 続きを見る »

約数関数

約数関数(やくすうかんすう、divisor function)は、自然数 n を変数とする関数で、n の全ての約数を整数乗した数の総和を値にとるものである。.

新しい!!: リーマン予想と約数関数 · 続きを見る »

総乗

総乗(そうじょう)とは、積の定義される集合における多項演算の一つで、元の列の全ての積のことである。.

新しい!!: リーマン予想と総乗 · 続きを見る »

群論

群論(ぐんろん、group theory)とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代~80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.

新しい!!: リーマン予想と群論 · 続きを見る »

絶対収束

数学において、級数が絶対収束(ぜったいしゅうそく、converge absolutely)するとは、その各項の絶対値を取って得られる級数の和が有限の値になるときにいう。きちんと述べれば、実または複素数の級数 は となるとき、絶対収束すると言う。 絶対収束が無限級数の研究において重要であるのは、それが有限和の場合に成立する(が必ずしも全ての収束級数が持つわけではない)性質を持つようにするためにきわめて強力な条件であるとともに、それ自身が一般的な内容を議論するのに(その強い制約条件にもかかわらず)十分広範な級数のクラスを定めるからである。.

新しい!!: リーマン予想と絶対収束 · 続きを見る »

Disquisitiones Arithmeticae

Disquisitiones Arithmeticae(ディスクィジティオネス・アリトメティカエ、ラテン語で算術研究の意、以下 D. A. と略す)は、カール・フリードリヒ・ガウス唯一の著書にして、後年の数論の研究に多大な影響を与えた書物である。1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた。 ラテン語の arithmetica(アリトメティカ)は通常「算術」と訳されるが、ガウスの意図したものは、今日「数論」もしくは「整数論」と呼ばれる学術的領域である高瀬 1995、pp.

新しい!!: リーマン予想とDisquisitiones Arithmeticae · 続きを見る »

EN

EN, En, en, eN.

新しい!!: リーマン予想とEN · 続きを見る »

非可換幾何

数学における非可換幾何(ひかかんきか、noncommutative geometry)とは可換性が成り立たない(「積」について xy と yx が一致しない)ような代数構造に対する空間的・幾何学的な解釈を研究する分野である。通常の幾何学では様々な関数の積に関して可換性が要求されるが、その条件を外すことによってどんな現象がとらえられるかが追求される。.

新しい!!: リーマン予想と非可換幾何 · 続きを見る »

類数問題

数学では、(虚二次体の)ガウスの類数問題(Gauss class number problem)は、通常に理解されているように、 各々の n ≥ 1 に対し類数が n である虚二次体の完全なリストをもたらした。この問題の命名は偉大な数学者カール・フリードリヒ・ガウス(Carl Friedrich Gauss)にちなんでいる。この問題は、また、代数体の判別式の項で記述することもできる。実二次体にも関連した問題があり、その振る舞いは である。 この問題の困難な点は、限界の有効(effective)な計算である。与えられた判別式に対し、類数を計算することは易しく、類数の非有効(ineffective)な下界を求める方法はいくつかあるが(非有効とは、計算はできないが、定数であるということのみわかることを意味する)、しかし有効な限界を求め(リストの完全な証明)は難しい。 d \to -\infty.

新しい!!: リーマン予想と類数問題 · 続きを見る »

複素平面

複素平面 数学において、数平面(すうへいめん、Zahlenebene)あるいは複素数­平面(ふくそすう­へいめん、Komplexe Zahlenebene, complex plane)は、数直線あるいは実数直線 (real line) を実軸 (real axis) として含む。 が実数であるとき、複素数 を単に実数の対とみなせば、平面の直交座標 の点に対応付けることができる。xy-平面上の y-軸は純虚数の全体に対応し、虚軸 (imaginary axis) と呼ばれる。-平面上の点 に複素数 を対応させるとき、-平面とも言う。 1811年頃にガウスによって導入されたため、ガウス平面 (Gaussian plane) とも呼ばれる。一方、それに先立つ1806年に も同様の手法を用いたため、アルガン図 (Argand Diagram) とも呼ばれている。さらに、それ以前の1797年の の書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである。三者の名前をとってガウス・アルガン平面、ガウス・ウェッセル平面などとも言われる。 英語名称 complex plane を「直訳」して複素平面と呼ぶことも少なくないが、ここにいう complex は「複素数上の—」という意味ではなく複素数そのものを意味している(複素数の全体を "the complexes" と呼んだり、" is a complex" などのような用例のあることを想起せよ)。したがって、語義に従った complex plane の直訳は「複素数平面」と考えるべきである(実数全体の成す real line についても同様であり、これは通例「実数直線」と訳され、実直線は多少異なる意味に用いられる)。.

新しい!!: リーマン予想と複素平面 · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: リーマン予想と複素数 · 続きを見る »

解析接続

解析学において、解析接続 (かいせきせつぞく、analytic continuation, analytic prolongation) とはリーマン球面 C 上の領域で定義された有理型関数に対して定義域の拡張を行う手法の一つ、あるいは、その拡張によって得られた関数の事である。.

新しい!!: リーマン予想と解析接続 · 続きを見る »

調和数 (発散列)

数学において、n-番目の調和数(ちょうわすう、harmonic number)は 1 から n までの自然数の逆数和 である。これはまた、1 から n までの自然数の調和平均の逆数の n-倍に等しい。 調和数は遥か昔から研究され、数論の各分野において重要である。調和数の極限は、調和級数と呼ばれ(しばしば調和数もひっくるめて一口に調和級数と呼ぶこともある)、リーマンゼータ函数と近しい関係にあり、また種々の特殊函数のさまざまな表示に現れる。 十分大きな数の標本について、その出現頻度がジップの法則に従って分布するとき、全体の中で n-番目の頻度で現れる標本の総頻度は n-番目の調和数である。このことは長い尻尾およびの驚くべき帰結の一種を導く。.

新しい!!: リーマン予想と調和数 (発散列) · 続きを見る »

足立恒雄

足立 恒雄(あだち のりお、1941年(昭和16年)11月12日 - )は日本の数学者。理学博士。早稲田大学名誉教授。専攻は代数的整数論、数学思想史。 数学が汎宇宙的な普遍性を持つ真理の体系であり、一貫した発展を遂げているという思想に疑問を呈し、数学は人類の種としての固有の財産であり、また時代・民族・個人に大いに依存しているという観点から、『』、『』、『』等の著作を多数著わしている。.

新しい!!: リーマン予想と足立恒雄 · 続きを見る »

関数 (数学)

数学における関数(かんすう、、、、、函数とも)とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.

新しい!!: リーマン予想と関数 (数学) · 続きを見る »

自然対数

実解析において実数の自然対数(しぜんたいすう、natural logarithm)は、超越的無理数であるネイピアの定数 を底とする対数を言う。 の自然対数を や、より一般に あるいは単に(底を暗に伏せて) などと書く。 通常の函数の記法に則って引数を指示する丸括弧を明示的に付けて、 や などのように書いてもよい 定義により、 の自然対数とは の肩にそれを載せた冪が 自身に一致するような冪指数のことに他ならない。例えば、 となることは となることを理由とする。特に の自然対数は であり、 の自然対数は である。 自然対数は、任意の正数 に対して 逆数函数 の から までの間のグラフの下にある面積( と の成立を意味する。 他の任意の対数がそうであるように、自然対数は なる意味で乗法を加法へ写す。これにより自然対数函数は正の実数の乗法群 から実数の加法群 への写像 として 群の準同型になる。 以外にも、任意の正数 に対して、それを底とする対数を定義することができるが、そのような対数は自然対数の定数倍として得ることができる(例えば二進対数は自然対数の 倍である)し、通常はそうして自然対数から定義される。対数は未知の量がほかの適当な量の冪と見なされる問題を解く際に有用で、例えば指数函数的減衰問題における減衰定数としての半減期を求めるときなどに利用できる。このように対数は、数学や自然科学の多くの分野において重要であり、また金融経済において複利を含む問題にも利用できる。 リンデマン–ヴァイアシュトラスの定理により、 でない任意の(正の)代数的数に対してその自然対数は超越数となる。.

新しい!!: リーマン予想と自然対数 · 続きを見る »

長岡亮介

長岡 亮介(ながおか りょうすけ、1947年 - )は日本の数学者。元明治大学特任教授。専門は数学史、数学教育。元予備校講師。現在「意欲ある若手数学教育者支援組織 TECUM」主催者.

新しい!!: リーマン予想と長岡亮介 · 続きを見る »

零点

複素解析における正則函数 の零点(れいてん、ぜろてん、zero)は函数が非自明でない限り孤立する。零点が孤立することは、一致の定理あるいは解析接続の一意性の成立において重要である。 孤立零点には重複度 (order of multiplicity) が定まる。代数学における類似の概念として非零多項式の根の重複度(あるいは重根)が定義されるが、多項式函数はその不定元を複素変数と見れば整函数を定めるから、これはその一般化である。.

新しい!!: リーマン予想と零点 · 続きを見る »

虚数単位

虚数単位(きょすうたんい、imaginary unit)とは、−1 の平方根(2乗して −1 になる数)である2つの数のうちの1つの数のことである(どちらかを特定することはできない)。そのような数を記号で i または \sqrt で表す。 任意の実数の2乗は0以上なので、虚数単位は実数でない。数の概念を複素数に拡張すると登場する数である。 虚数単位の記号 i は imaginary の頭文字から採られている。ただし、i を別の意味(電流など)の記号として使う場合は、虚数単位を j などで表すことがある(どの文字を用いるかは自由である。その場合にはどの文字を用いるかを初めに必ず宣言する)。 積の交換法則が成り立たないことを許容すると、異なる3個以上の虚数単位からなる数の体系(非可換体)を考えることができる。3個の虚数単位の場合は i,j,k、7つ以上の虚数単位の組には i_1,i_2,\cdots といったように一つずつ添字を付けて表すことが多い。.

新しい!!: リーマン予想と虚数単位 · 続きを見る »

L-函数

数学で、L-函数(L-function)は複素平面上の有理型函数であり、いくつかの数学的対象のカテゴリから出てくる有理型函数に付帯している。L-級数(L-series)は、ディリクレ級数であり、大抵は半平面上で収束し、解析接続を通してL-函数を導くとみられる。 L-函数の理論は、非常に重要であり、未だ予想の段階のものも多く、現代の解析的整数論の分野である。そこでは、リーマンゼータ函数や、ディリクレ指標におけるL-級数の、広い一般化が構成されており、それらの一般的性質は、大半の場合が証明されていなく、系統的な方法なく研究されている。.

新しい!!: リーマン予想とL-函数 · 続きを見る »

Mathematische Annalen

Mathematische Annalen(略記はMath.

新しい!!: リーマン予想とMathematische Annalen · 続きを見る »

Mertens 関数

Mertens 関数 は任意の正の整数 n において で表される関数のことである。また、次のように定義して正の実数に拡張できます。 より形式的には、M(x)は、偶数の素因数 - 奇数を持つものの数を引いたxまでの平方因子をもたない整数です。 Mertens関数は、平均値とピーク値の両方で正負の方向にゆっくりと成長し、M(n).

新しい!!: リーマン予想とMertens 関数 · 続きを見る »

Notices of the American Mathematical Society

Notices of the American Mathematical Societyとはアメリカ数学会が発行している、統合されている6/7月号を除いた会員制の月刊誌である。創刊号は1953年に発行された。1995年1月号からの各号は雑誌の公式サイトに全て掲載されている。2010年より主筆をが務めている。表紙は通常が載せられている。.

新しい!!: リーマン予想とNotices of the American Mathematical Society · 続きを見る »

Publications Mathématiques de l'IHÉS

Publications Mathématiques de l'IHÉS はである.Institut des Hautes Études Scientifiques によって,フランス国立科学研究センター (CNRS) の援助のもと,出版されている. Publications Mathématiques は1959年に創立され,年に1巻から5巻までの不規則な間隔で出版されている.現在では年2巻である.2017年現在, は であり,彼女は の である..

新しい!!: リーマン予想とPublications Mathématiques de l'IHÉS · 続きを見る »

Redheffer 行列

Redheffer 行列is a (0,1) matrix whose entries aij are 1 if i divides j or if j.

新しい!!: リーマン予想とRedheffer 行列 · 続きを見る »

S&P グローバル

S&P グローバル(S&P Global Inc.)は、アメリカ合衆国・ニューヨーク市に本拠を置く金融サービス企業。S&P グローバル・レーティングやS&P ダウ・ジョーンズ・インデックスなど、4つの事業体の親会社にあたる。旧社名はマグロウヒルファイナンシャル。ニューヨーク証券取引所上場企業()。.

新しい!!: リーマン予想とS&P グローバル · 続きを見る »

松浦俊輔

松浦 俊輔(まつうら しゅんすけ、1956年 - )は科学哲学を専門とする日本の翻訳家。名古屋学芸大学非常勤講師。哲学的な側面を含んだ一般向けの数学・科学関係の書籍を多数日本語に翻訳している。主な翻訳のフィールドは純粋数学、確率統計、理論物理学、進化生物学など。代表的な訳書としては、一般向けのもので『ビル・ゲイツの面接試験』や『素数に憑かれた人たち リーマン予想への挑戦』など、またある程度専門家向けものとしてリー・スモーリンの『迷走する物理学』などがある。.

新しい!!: リーマン予想と松浦俊輔 · 続きを見る »

杉浦光夫

杉浦 光夫(すぎうら みつお、1928年 - 2008年3月11日)は、日本の数学者、東京大学名誉教授。 愛知県岡崎市出身。1946年、愛知県岡崎中学校(現・愛知県立岡崎高等学校)卒業。1953年、東京大学理学部数学科卒業。1961年、理学博士。東京大学教養学部助教授、教授、1989年、定年退官、名誉教授。 俳優杉浦直樹は従兄弟である。.

新しい!!: リーマン予想と杉浦光夫 · 続きを見る »

極 (複素解析)

数学の一分野の複素解析において、有理型函数の極 (pole) は、 の における特異点のような振る舞いをする特異点の一種である。点 が函数 の極であるとき、 が に近づくと函数は無限遠点へ近づく。.

新しい!!: リーマン予想と極 (複素解析) · 続きを見る »

朝倉書店

朝倉書店(あさくらしょてん)は、日本の出版社。 1929年(昭和4年)創業の賢文館が前身で、1944年(昭和19年)に株式会社朝倉書店設立。創業者は同文館出身の朝倉鑛造。 理学・工学・医学・農学・人文科学・家政学などの学術専門書および理工系の大学教科書を出版。.

新しい!!: リーマン予想と朝倉書店 · 続きを見る »

日経BP

株式会社日経BP(にっけいビーピー)は、株式会社日本経済新聞社(日経)の子会社で、出版社である。日経BP社などと表記される。.

新しい!!: リーマン予想と日経BP · 続きを見る »

日本評論社

日本評論社(にほんひょうろんしゃ)は、日本の出版社の一つである。略称 nippyo。『法律時報』『法学セミナー』『経済セミナー』『数学セミナー』『こころの科学』『からだの科学』で知られる。.

新しい!!: リーマン予想と日本評論社 · 続きを見る »

1+1+1+1+…

数学において、1 + 1 + 1 + 1 + · · · は発散する級数のひとつである。つまり、その部分和の列がいかなる実数にも収束しない。\sum_^ n^0 や \sum_^ 1^n、あるいは単に \sum_^ 1 とも書かれる。これは公比が 1 の幾何級数と考えることもできる。他の(−1 を除く)有理数の公比をもった幾何級数とは違って、実数においてもp-進数においても収束しない。拡張実数で考えれば、 である、なぜならばその部分和の列は上限なしに単調に増加するからである。 の和が物理的応用において現れるとき、それはときどきゼータ関数の正規化によって解釈されるかもしれない。それはリーマンのゼータ関数 の における値である。しかしながら上記2つの式は 0 において有効でないので、リーマンのゼータ関数の解析接続を用いなければならない。 これを使うことで(\Gamma (1).

新しい!!: リーマン予想と1+1+1+1+… · 続きを見る »

1859年

記載なし。

新しい!!: リーマン予想と1859年 · 続きを見る »

1896年

記載なし。

新しい!!: リーマン予想と1896年 · 続きを見る »

1900年

19世紀最後の年である。100で割り切れるが400では割り切れない年であるため、閏年ではなく、4で割り切れる平年となる。.

新しい!!: リーマン予想と1900年 · 続きを見る »

1914年

記載なし。

新しい!!: リーマン予想と1914年 · 続きを見る »

1972年

協定世界時による計測では、この年は(閏年で)閏秒による秒の追加が年内に2度あり、過去最も長かった年である。.

新しい!!: リーマン予想と1972年 · 続きを見る »

1996年

この項目では、国際的な視点に基づいた1996年について記載する。.

新しい!!: リーマン予想と1996年 · 続きを見る »

2000年

400年ぶりの世紀末閏年(20世紀および2千年紀最後の年)である100で割り切れるが、400でも割り切れる年であるため、閏年のままとなる(グレゴリオ暦の規定による)。。Y2Kと表記されることもある(“Year 2000 ”の略。“2000”を“2K ”で表す)。また、ミレニアムとも呼ばれる。 この項目では、国際的な視点に基づいた2000年について記載する。.

新しい!!: リーマン予想と2000年 · 続きを見る »

ここにリダイレクトされます:

リーマン仮説

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »