|
|
| 1行目: |
1行目: |
| − | '''数学'''（すうがく、ギリシア語 {{Lang|el|μαθηματικά}}, 英語 {{Lang|en|mathematics}}）は、[[量]]、[[構造]]、[[変化]]、[[空間]]といったものを対象として、いくつかの仮定から始めて、決められた[[演繹]]的推論をすすめることで得られる事実（[[定理]]）のみからなる体系を[[研究]]する[[学問]]である。
| |
| − | :[[学校]]教育における[[教科]]としての「数学」は、[[数学 (教科)]]を参照のこと。
| |
| | | | |
| − | == 概要 ==
| |
| − | 数学の[[語源]]について、[[日本語]]「かず」は、説得力のある語源説は示されていない。提唱されたいくつかの説については[[数]]を参照。[[漢字]]「數」（数の正字）は、一説には、[[算木]]を扱って数をかぞえることであり、また一説には、[[音]]を立てて数をかぞえることである。[[英語]] <span lang="en">mathematics</span> は、[[ギリシア語]]に起源を持つ（{{Lang|el|μάθημα}} {{Lang|en|[máthema]}}: マテーマタ、学、知識、学ぶこと; {{Lang|el|μαθηματικός}} {{Lang|en|[mathematikos]}}: 好んで学ぶ、学ぶ性質の）。
| |
| − |
| |
| − | 数学とは、[[狭義]]には伝統的な[[数論]]や[[幾何学]]などの分野における研究とその成果の総称として、またそれらの成果を肯定的に内包する公理と推論からなる論理と理論の体系を指して言うものである。また広義には、[[超数学]]（メタ数学）などと呼ばれる枠組みにしたがって[[公理]]と[[推論規則]]が定められた体系一般を指す。現代的な数学においては、[[公理|公理的]]に定義される抽象的な[[構造 (数学)|構造]]を、[[形式論理]]を共通の枠組みとして用いて探究する。方法論の如何によらず最終的には、数学としての成果というものは他の[[自然科学]]のように[[実験]]や[[観察]]によるものであってはならない。
| |
| − |
| |
| − | 数学、特に伝統的な[[純粋数学]]では数学研究が自己目的化されており、数学への内的な興味のために研究がなされる。
| |
| − | このような数学ではいかに本質的な概念なり定理なりを得ていかに体系的な数学を構築するかが重要視されており、数学的対象を記述するのに適した[[概念]]や[[空間]]を定義したり、数学的事象をうまく表現した[[定理]]を得たりする事が[[数学者]]の主な仕事である。一方で、美的な理由からそれぞれの分野での研究をしている数学者もいる。彼らは対称性や直観性などその独特の[[審美眼]]を以って、数学を[[芸術]]に近しいものとみなしているのである。
| |
| − |
| |
| − | 伝統的な数学分野で研究される対象は[[物理]]現象と深い関わりを持つものが多い。一方、応用分野では[[数理モデル]]という形で例えば[[計算機]]や[[言語]]などといったものを対象とした研究が行われる。もちろん、数理モデルにおける演繹から得られる成果と実際との間にいくぶんかのずれを生じることもあるが、そのずれの評価とモデルの実用性・実効性については多くは数学の外の話である。また、数学と[[パズル]]の類似性が指摘される事があるが、数学が本質性や体系性を重要視することに照らせば、パズルはむしろ奇をてらい非体系的である。こうした研究姿勢がしばしば様々な数学の諸分野を統一するような概念へと導いたり、他分野の学問の発展に貢献したりする事につながる。
| |
| − |
| |
| − | == 研究 ==
| |
| − | 歴史的には、数学の主要な分野は次の三つの必要性から生じたものである。商取引の際の[[計算]]、[[測量]]、それに[[天文現象]]を予測すること。これら三つの必要性は、数学の大きな三つの区分、構造、空間、変化のそれぞれの研究に大体対応しているといえよう。このような事情から、現代における純粋数学の研究は主に[[代数学]]、[[幾何学]]、[[解析学]]の三分野に大別される。また、これらの数学を記述するのに必要な道具を与える[[論理]]を研究する学問を[[数学基礎論]]という。
| |
| − | ;構造
| |
| − | :'''[[構造 (数学)|構造]]'''の研究は、[[算術]]における[[数]]から始まる。まずは身近な[[自然数]]と[[整数]]であり、そして算術の演算を決めるルールは、[[初等代数]]において拡張される。その一方で、数全体についての深い性質は[[数論]]において研究される。方程式を解く手法を研究することは、[[抽象代数学]]の分野におよんで、そこでは[[環論|環]]や[[体 (数学)|体]]のような、身近な数の持つ性質を一般化した構造を研究する。[[物理学]]で重要な概念である[[ベクトル (数学)|ベクトル]]は、[[ベクトル空間]]に一般化されて、構造と空間の二つの分野に属する[[線形代数学]]で研究される。
| |
| − | ;空間
| |
| − | :'''空間'''の研究は[[幾何学]]とともにはじまる。はじめは、それは身近な三次元における[[ユークリッド幾何学]]や[[三角法]]であるが、後にはやはり、[[一般相対性理論]]で中心的な役割を演ずる[[非ユークリッド幾何学]]に一般化される。長い間未解決だった[[定規とコンパスによる作図]]の問題は、最終的に[[ガロア理論]]によって決着が付いた。現代的な分野である[[微分幾何学]]や[[代数幾何学]]は幾何学を異なる方向に発展させた：微分幾何学では、[[座標|座標系]]やなめらかさ、それに向きの概念が強調されるが、一方で代数幾何学では、[[代数方程式]]の解となるような集合を幾何学的な対象とする。集合は数学の基礎を成す重要な概念であるが、幾何学的な側面を強調する場合、集合を空間と言い、その集合の元を点と呼ぶ。[[群論]]では対称性という概念を抽象的に研究し、空間と構造の研究の間に関連を与える。[[位相幾何学]]は[[連続]]という概念に着目することで、空間と変化の双方の研究に関係する。
| |
| − | ;解析
| |
| − | :測る量についての'''変化'''を理解し、記述することは自然科学の共通の主題であり、[[微積分学]]はまさにそのための最も有用な道具として発展してきた。変化する量を記述するのに使われる中心的な道具は[[関数 (数学)|関数]]である。多くの問題は、とても自然に量とその変化の割合との関係になり、そのような問題を解くための手法は[[微分方程式]]の分野で研究される。連続的な量を表すのに使われる数が[[実数]]であり、実数の性質や実数に値をとる関数の性質の詳しい研究は[[実解析]]として知られる。いくつかの理由から、[[複素数]]に拡張する方が便利であり、それは[[複素解析]]において研究される。[[関数解析学]]は[[関数空間]]（関数の集合に位相構造を持たせたもの）が興味の中心であり、この分野は[[量子力学]]やその他多くの学問の基盤となっている。自然の多くの現象は[[力学系]]によって記述され、[[カオス理論]]では、多くの系が、決定可能であるにもかかわらず予測不可能な現れ方をする、という事実を扱う。
| |
| − | ;基礎付け
| |
| − | :数学の基礎を明確にすること、あるいは数学そのものを研究することのために、[[集合論]]や[[数理論理学]]そして[[モデル理論]]は発展してきた。フランスの数学者グループである[[ニコラ・ブルバキ]]は、集合論による数学の基礎付けを行い、その巨大な体系を『[[数学原論]]』として著した。彼らのスタイルはブルバキ主義とよばれ、現代数学の発展に大きな影響をあたえた。個々の対象の持つ性質を中心とする研究方法である集合論とは別の体系として、対象同士の関係性が作る[[システム]]に主眼を置くことにより対象を研究する方法として[[圏論|圏と関手の理論]]がある。これはシステムという具体性から[[コンピュータ・ネットワーク]]などに応用される一方で、極めて高い抽象性を持つ議論を経て極めて具体的な結果を得るような[[アブストラクト・ナンセンス]]などと呼ばれる形式性も持ち合わせている。
| |
| − | ;計算機
| |
| − | :人類が[[コンピュータ]]を最初に思いついたとき、（それは実際に作られるより遥かに前のことだが）、いくつかの重要な理論的概念は[[数学者]]によってかたち作られ、[[計算可能性理論]]、[[計算複雑性理論]]、[[情報理論]]、そして[[アルゴリズム情報理論]]の分野に発展した。これらの問題の内の多くは理論[[情報工学|計算機科学]]において研究されている。[[離散数学]]は計算機科学において有用な数学の分野の総称である。また最近では、計算機科学を駆使して自然科学上の問題を解決する[[計算科学]]が急速に発展している。
| |
| − | ;統計
| |
| − | :[[応用数学]]において重要な分野に[[統計学]]が挙げられる。統計学はランダムな現象の記述や解析や予測を可能にし、すべての科学において利用されている。[[数値解析]]は、丸め誤差を考慮に入れて、幅広い数学の問題について効率的にコンピュータの上で数値解を求める方法を研究する。[[統計学]]は隣接する分野である[[確率論]]とは違って実際の統計データを扱う事もある事から、「[[確率論]]までは数学だが[[統計学]]は違う」という考えを持っている人もいる。
| |
| − |
| |
| − | == 分野 ==
| |
| − | 以下の分野や項目の一覧は、数学に対する一つの有機的な見方を反映している。
| |
| − |
| |
| − | 便宜上の分類
| |
| − | * [[代数学]]
| |
| − | * [[幾何学]]
| |
| − | * [[解析学]]
| |
| − | * [[集合論]]
| |
| − | * [[情報工学|計算機科学]]
| |
| − | * [[確率論]]
| |
| − | * [[統計学]]
| |
| − | ;量
| |
| − | :[[数]]--[[自然数]]--[[整数]]--[[偶数]]--[[奇数]]--[[小数]]--[[分数]]--[[素数]]--[[有理数]]--[[無理数]]--[[実数]]--[[複素数]]--[[四元数]]--[[八元数]]--[[十六元数]]--[[超実数]]--[[順序数]]--[[基数]]--[[p進数]]--[[巨大数]]--[[整数列]]--[[数学定数]]--[[数の名称]]--[[無限]]
| |
| − | ;変化
| |
| − | :[[算術]]--[[微積分学]]--[[ベクトル解析]]--[[解析学]]--[[微分方程式]]--[[力学系]]--[[カオス理論]]--[[関数一覧]]
| |
| − | ;構造
| |
| − | :[[抽象代数学]]--[[数論]]--[[代数幾何学]]--[[群論]]--[[モノイド]]--[[解析学]]--[[位相幾何学]]--[[線形代数学]]--[[グラフ理論]]<!--[[普遍代数]]-->--[[圏論]]
| |
| − | ;空間
| |
| − | :[[解析幾何学]]--[[位相幾何学]]--[[幾何学]]--[[三角法]]--[[代数幾何学]]--[[微分幾何学]]<!--[[微分位相幾何学 ]]--[[代数的位相幾何学]]--[[組合せ論的位相幾何学]]-->--[[線形代数学]]--[[フラクタル幾何]]--[[図形]]--[[図形の一覧]]
| |
| − | ;有限数学
| |
| − | :[[組合せ論]]--[[集合論|素朴集合論]]--[[確率論]]--[[統計学]]--[[計算理論]]--[[離散数学]]--[[暗号法]]--[[暗号理論]]--[[グラフ理論]]--[[ゲーム理論]]
| |
| − | ;応用数学
| |
| − | :[[計算科学]]--[[数値解析]]--[[最適化数学]]--[[確率論]]--[[統計学]]--[[逆問題]]--[[数理工学]]
| |
| − | ;有名な定理と予想
| |
| − | :[[フェルマーの最終定理]]--[[リーマン予想]]--[[連続体仮説]]--[[P≠NP予想]]--[[ゴールドバッハの予想]]--[[双子素数の予想]]--[[ゲーデルの不完全性定理]]--[[ポアンカレ予想]]--[[カントールの対角線論法]]--[[ピタゴラスの定理]]--[[中心極限定理]]--[[微積分学の基本定理]]--[[代数学の基本定理]]--[[四色定理]]--[[ツォルンの補題]]--[[オイラーの等式]]--[[コラッツの予想]]--[[合同数の問題]]--[[バーチ・スウィンナートン＝ダイアー予想]]--[[ヒルベルトの23の問題]]
| |
| − | ;基礎と方法
| |
| − | :[[数理哲学]]--[[数学的直観主義]]--[[数学的構成主義]]--[[数学基礎論]]--[[集合論]]--[[数理論理学]]--[[モデル理論]]--[[圏論|圏と関手の理論]]--[[数学的証明]]--[[数学記号の表]]--[[逆数学]]
| |
| − | ;数学の歴史と世界
| |
| − | :[[数学の歴史]]--[[ユークリッド原論]]--[[数学年表]]--[[数学者]]--[[フィールズ賞]]--[[アーベル賞]]--[[国際数学連合]]--[[数学の競技]]
| |
| − | ;非西洋数学
| |
| − | :[[和算]]--[[インドの数学]]--[[中国の数学]]・[[中国の剰余定理]]--[[アラビア数学]]
| |
| − |
| |
| − | == 数学に関する賞 ==
| |
| − | *[[フィールズ賞]]（[[国際数学連合]]）
| |
| − | *[[ネヴァンリンナ賞]]（国際数学連合）
| |
| − | *[[ガウス賞]]（国際数学連合）
| |
| − | *[[アーベル賞]]（[[アーベル記念基金]]）
| |
| − | *[[春季賞]]（[[日本数学会]]）
| |
| − | *[[ヴェブレン賞]]（[[アメリカ数学会]]）
| |
| − | *[[コール賞|フランク・ネルソン・コール賞]]（アメリカ数学会）
| |
| − | *[[ヨーロッパ数学会賞]]（[[ヨーロッパ数学会]]）
| |
| − | *[[ウルフ賞数学部門]]（[[ウルフ財団]]）
| |
| − |
| |
| − | == 関連項目 ==
| |
| − | {{Sisterlinks
| |
| − | |wikibooks=数学
| |
| − | |wikiquote=数学
| |
| − | |wiktionary=Category:数学
| |
| − | |commons=Category:Mathematics
| |
| − | }}
| |
| − | * [[数秘学]]
| |
| − | * [[日本数学会]]
| |
| − | * [[数学に関する記事の一覧]]
| |
| − | * [[数学上の未解決問題]]
| |
| − |
| |
| − | === その他 ===
| |
| − | * 数学に関係する記事の書き方に関しては[[Wikipedia:ウィキプロジェクト 数学|ウィキプロジェクト 数学]]を参照。
| |
| − | * その他の数学に関係する記事の情報に関しては[[Portal:数学]]を参照。
| |
| − |
| |
| − | {{link FA|mk}}
| |
| − | [[Category:数学|* すうかく]]
| |
| − | [[Category:自然科学|すうかく]]
| |
| − | [[Category:数学に関する記事|すうかく]]
| |
| − | [[Category:数学に関する記事|すうかく]]
| |
| − |
| |
| − | [[en:Mathematics]]
| |
| − | *[[wiki:数学]]
| |
