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

数学と数学上の未解決問題

ショートカット: 違い類似点ジャカード類似性係数参考文献

数学と数学上の未解決問題の違い

数学 vs. 数学上の未解決問題

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。. 数学上の未解決問題(すうがくじょうのみかいけつもんだい)とは未だ解決されていない数学上の問題のことである。 未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学・技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家達が証明を試みてきたような有名な命題を列挙する。.

数学と数学上の未解決問題間の類似点

数学と数学上の未解決問題は(ユニオンペディアに)共通で24ものを持っています: 力学系偶数双子素数合同数代数幾何学バーチ・スウィンナートン=ダイアー予想ポアンカレ予想モデル理論ユークリッド幾何学リーマン予想ヒルベルトの23の問題フェルマーの最終定理グラフ理論コラッツの問題ゴールドバッハの予想四色定理群論組合せ数学無理数連続体仮説P≠NP予想数学史数学者数論

力学系

力学系(りきがくけい、英語:dynamical system)とは、一定の規則に従って時間の経過とともに状態が変化するシステム(系)、あるいはそのシステムを記述するための数学的なモデルのことである。一般には状態の変化に影響を与える数個の要素を変数として取り出し、要素間の相互作用を微分方程式または差分方程式として記述することによってモデル化される。 力学系では、システムの状態を実数の集合によって定義している。各々の状態の違いは、その状態を代表する変数の差のみによって表現される。システムの状態の変化は関数によって与えられ、現在の状態から将来の状態を一意に決定することができる。この関数は、状態の発展規則と呼ばれる。 力学系の例としては、振り子の振動や自然界に存在する生物の個体数の変動、惑星の軌道などが挙げられるが、この世界の現象すべてを力学系と見なすこともできる。システムの振る舞いは、対象とする現象や記述のレベルによって多種多様である。;力学系の具体例.

力学系と数学 · 力学系と数学上の未解決問題 · 続きを見る »

偶数

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

偶数と数学 · 偶数と数学上の未解決問題 · 続きを見る »

双子素数

双子素数(ふたごそすう、twin prime)とは、差が 2 である2つの素数の組のことである。組 を除くと、双子素数は最も近い素数の組である。双子素数を小さい順に並べた列は である。.

双子素数と数学 · 双子素数と数学上の未解決問題 · 続きを見る »

合同数

合同数(ごうどうすう)とは、辺の長さがすべて有理数である直角三角形の面積のことである。例えば、辺の長さが (3, 4, 5) の直角三角形の面積 6 や、(3/2, 20/3, 41/6) の面積 5 は合同数である。しかし、1, 2, 3, 4 は合同数ではない。.

合同数と数学 · 合同数と数学上の未解決問題 · 続きを見る »

代数幾何学

代数幾何学(だいすうきかがく、algebraic geometry)とは、多項式の零点のなすような図形を代数的手法を用いて(代数多様体として)研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した(代数幾何学のイタリア学派)。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.

代数幾何学と数学 · 代数幾何学と数学上の未解決問題 · 続きを見る »

バーチ・スウィンナートン=ダイアー予想

数学において、バーチ・スウィンナートン=ダイアー予想 (Birch and Swinnerton-Dyer conjecture) は数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれる。それは最もチャレンジングな数学の問題の 1 つであると広く認められている。予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている。予想は機械計算の助けを借りて1960年代の前半に予想を立てた数学者ブライアン・バーチ (Bryan Birch) とピーター・スウィンナートン=ダイアー (Peter Swinnerton-Dyer) にちなんで名づけられている。、予想の特別な場合のみ正しいと証明されている。 予想は代数体 K 上の楕円曲線 E に伴う数論的データを E の ハッセ・ヴェイユの ''L''-関数 L(E, s) の s.

バーチ・スウィンナートン=ダイアー予想と数学 · バーチ・スウィンナートン=ダイアー予想と数学上の未解決問題 · 続きを見る »

ポアンカレ予想

予想の提唱者アンリ・ポアンカレ (3次元)ポアンカレ予想(ポアンカレよそう、Poincaré conjecture)とは、数学の位相幾何学(トポロジー)における定理の一つである。3次元球面の特徴づけを与えるものであり、定理の主張は というものである。2018年6月現在、7つのミレニアム懸賞問題のうち唯一解決されている問題である。.

ポアンカレ予想と数学 · ポアンカレ予想と数学上の未解決問題 · 続きを見る »

モデル理論

モデル理論(model theory)は、数理論理学による手法を用いて数学的構造(例えば、群、体、グラフ:集合論の宇宙)を研究(分類)する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。もし言語のモデルがある特定の文または理論(特定の条件を満足する文の集合)を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。.

モデル理論と数学 · モデル理論と数学上の未解決問題 · 続きを見る »

ユークリッド幾何学

ユークリッド幾何学(ユークリッドきかがく、Euclidean geometry)は、幾何学体系の一つであり、古代エジプトのギリシア系・哲学者であるエウクレイデスの著書『ユークリッド原論』に由来する。詳しい説明は『ユークリッド原論』の記事にある。.

ユークリッド幾何学と数学 · ユークリッド幾何学と数学上の未解決問題 · 続きを見る »

リーマン予想

1.

リーマン予想と数学 · リーマン予想と数学上の未解決問題 · 続きを見る »

ヒルベルトの23の問題

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

ヒルベルトの23の問題と数学 · ヒルベルトの23の問題と数学上の未解決問題 · 続きを見る »

フェルマーの最終定理

算術』。 フェルマーの最終定理(フェルマーのさいしゅうていり、Fermat's Last Theorem)とは、 以上の自然数 について、 となる自然数の組 は存在しない、という定理のことである。フェルマーの大定理とも呼ばれる。フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、360年後にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった。.

フェルマーの最終定理と数学 · フェルマーの最終定理と数学上の未解決問題 · 続きを見る »

グラフ理論

ラフ理論(グラフりろん、graph theory)は、ノード(節点・頂点)の集合とエッジ(枝・辺)の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.

グラフ理論と数学 · グラフ理論と数学上の未解決問題 · 続きを見る »

コラッツの問題

ラッツの問題(コラッツのもんだい、Collatz problem)は、数論の未解決問題のひとつである。1937年にローター・コラッツが問題を提示した。問題の結論の予想を指してコラッツの予想と言う。固有名詞に依拠しない表現としては3n+1問題とも言われ、初期にこの問題に取り組んだ研究者の名を冠して、角谷(かくたに)の問題、米田の予想、ウラムの予想、他にはSyracuse問題などとも呼ばれる。数学者ポール・エルデシュは「数学はまだこの種の問題に対する用意ができていない」と述べ、解決した人に500ドルを提供すると申し出た。 コンピュータを用いた計算により、5 × 260 までには反例がないことが確かめられている。 また、2011年度大学入試センター試験数学IIB第6問に題材として取り上げられた。.

コラッツの問題と数学 · コラッツの問題と数学上の未解決問題 · 続きを見る »

ゴールドバッハの予想

ールドバッハの予想(英語: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.-->.

ゴールドバッハの予想と数学 · ゴールドバッハの予想と数学上の未解決問題 · 続きを見る »

四色定理

四色定理(よんしょくていり/ししょくていり、)とは、厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。.

四色定理と数学 · 四色定理と数学上の未解決問題 · 続きを見る »

群論

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

数学と群論 · 数学上の未解決問題と群論 · 続きを見る »

組合せ数学

組合せ数学(くみあわせすうがく、combinatorics)や組合せ論(くみあわせろん)とは、特定の条件を満たす(普通は有限の)対象からなる集まりを研究する数学の分野。特に問題とされることとして、集合に入っている対象を数えたり(数え上げ的組合せ論)、いつ条件が満たされるのかを判定し、その条件を満たしている対象を構成したり解析したり(組合せデザインやマトロイド理論)、「最大」「最小」「最適」な対象をみつけたり(極値組合せ論や組合せ最適化)、それらの対象が持ちうる代数的構造をみつけたり(代数的組合せ論)することが挙げられる。.

数学と組合せ数学 · 数学上の未解決問題と組合せ数学 · 続きを見る »

無理数

無理数(むりすう、 irrational number)とは、有理数ではない実数、つまり分子・分母ともに整数である分数(比.

数学と無理数 · 数学上の未解決問題と無理数 · 続きを見る »

連続体仮説

連続体仮説(れんぞくたいかせつ、Continuum Hypothesis, CH)とは、可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。19世紀にゲオルク・カントールによって提唱された。現在の数学で用いられる標準的な枠組みのもとでは「連続体仮説は証明も反証もできない命題である」ということが明確に証明されている。.

数学と連続体仮説 · 数学上の未解決問題と連続体仮説 · 続きを見る »

P≠NP予想

P≠NP予想(P≠NPよそう、)は、計算複雑性理論(計算量理論)におけるクラスPとクラスNPが等しくないという予想である。P対NP問題(PたいNPもんだい、)と呼ばれることもある。 理論計算機科学と現代数学上の未解決問題の中でも最も重要な問題の一つであり、2000年にクレイ数学研究所のミレニアム懸賞問題の一つとして、この問題に対して100万ドルの懸賞金がかけられた。.

P≠NP予想と数学 · P≠NP予想と数学上の未解決問題 · 続きを見る »

数学史

数学史(すうがくし、英語:history of mathematics)とは、数学の歴史のこと。第一には、数学上の発見の起源についての研究であり、副次的な興味として、過去の数学においてどのような手法が一般的であったかや、どのような記号が使われたかなども調べられている。.

数学と数学史 · 数学上の未解決問題と数学史 · 続きを見る »

数学者

数学者(すうがくしゃ、mathematician)とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.

数学と数学者 · 数学上の未解決問題と数学者 · 続きを見る »

数論

数論(すうろん、number theory)とは数、特に整数およびそれから派生する数の体系(代数体、局所体など)の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。おおむね次の四つに分けられる。;初等整数論;代数的整数論;解析的整数論;数論幾何学 フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。.

数学と数論 · 数学上の未解決問題と数論 · 続きを見る »

上記のリストは以下の質問に答えます

数学と数学上の未解決問題の間の比較

数学上の未解決問題が107を有している数学は、189の関係を有しています。 彼らは一般的な24で持っているように、ジャカード指数は8.11%です = 24 / (189 + 107)。

参考文献

この記事では、数学と数学上の未解決問題との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »