![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Confusion_grey.svg/25px-Confusion_grey.svg.png) |
「数字」とは異なります。 |
数学(すうがく)とは、数・量・図形などに関する学問であり[1]、理学の一種[2][注 1]。「算術・代数学・幾何学・解析学・微分法・積分法などの総称」とされる[4]。
数学は自然科学の一種にも[3]、自然科学ではない「形式科学」の一種にも分類され得る[5]。
現代の日本語における「数学」は、直接的には英語の mathematics の訳語ないし同義語とされる。英語の mathematics ないしその単数形 mathematic の直接の語源は、古フランス語 mathematique であり、これはラテン語の (ars) mathematica、またギリシア語の μαθηματικὴ (τέχνη) に由来し、原義は「学ぶこと」である[6]。
mathematics の訳語として「数学(數學)」を用いている例として、東京数学会社(現、日本数学会)訳語会による訳語が挙げられる。それ以前にも「数学」という語は使われていたが、mathematics の定訳ではなかった。例えば1814年の『諳厄利亜語林大成』では「数学」は arithmetic[注 2] の訳語に用いられ[注 3]、mathematics[注 4] には「測度數之学」が当てられている。
数学の定義については、数学者や哲学者の間で様々な見解がある[10][11]。
冒頭では「数・量・図形などに関する学問」としたが、数学の研究対象は、量(数)[12]・構造[13]・空間[12]・変化[14][15][16]など多岐にわたる。
19世紀のヨーロッパで集合論が生まれてからは「数学とは何か」ということがあらためて問い直されるようになり(数学基礎論)、数学の対象・方法・文化史的な価値などについて研究する数理科学も生まれた。
「数学の起源は人類が農耕を始めたこととの関連が大きい」とも。農作物の分配管理や商取引のための計算、農地管理のための測量、そして農作業の時期を知る暦法のための天文現象の周期性の解明などである。これら三つの必要性は、そのまま数学の大きな三つの区分、構造・空間・変化のそれぞれの研究に大体対応しているといえよう。この時点では、例えば土木工事などの経験から辺の比が 3: 4: 5である三角形が直角三角形になることは知られていても、一般に直角三角形の辺の長さの比が c2 = a2 + b2 (c, b, a は辺の長さ)になること(ピタゴラスの定理)は知られていなかった。数学が独立した学問でなく純粋な実用数学であった時代には、あたかも自然科学におけるデータのようにこれらの関係を扱い、例を多数挙げることで正しさを主張するといった手法でもさして問題視されなかった。しかし数は無限に存在するため、沢山の数を調べても完全に証明することはできない。数学が一つの学問として研究されるようになって以降は、論理を用いて真偽を判定する「数学的証明」が発達した。現代の数学でも数学的証明は非常に重視されている。
- 各国での歴史
現代における純粋数学の研究は主に代数学・幾何学・解析学の三分野に大別される。また、これらの数学を記述するのに必要な道具を与える論理を研究する学問を数学基礎論という。
- 基礎付け
- 数学の基礎を明確にすること、あるいは数学そのものを研究することのために、集合論や数理論理学そしてモデル理論は発展してきた。フランスの数学者グループであるニコラ・ブルバキは、集合論による数学の基礎付けを行い、その巨大な体系を『数学原論』として著した。彼らのスタイルはブルバキ主義とよばれ、現代数学の発展に大きな影響をあたえた。個々の対象の持つ性質を中心とする研究方法である集合論とは別の体系として、対象同士の関係性が作るシステムに主眼を置くことにより対象を研究する方法として圏論がある。これはシステムという具体性からコンピュータネットワークなどに応用される一方で、極めて高い抽象性を持つ議論を経て極めて具体的な結果を得るようなアブストラクト・ナンセンスなどと呼ばれる形式性も持ち合わせている。
- 構造
- 数や関数・図形の中の点などの数学的対象の間に成り立つさまざまな関係を形式化・公理化して調べるという立場がダフィット・ヒルベルトやニコラ・ブルバキによって追求された。数の大小関係や演算、点の近さ遠さなどの関係がそれぞれ順序集合や群の構造、位相空間などの概念として公理化され、その帰結が研究される。特に、様々な代数的構造の性質を研究する抽象代数学は20世紀に大きく発展した。現代数学で取り扱われる構造は上のような基本的な構造にとどまらず、異なった種類の構造を併せて考える線型位相空間や双曲群などさまざまなものがある。
- 空間
- 空間の研究は幾何学と共に始まる。初めは、それは身近な三次元におけるユークリッド幾何学や三角法であるが、後にはやはり、一般相対性理論で中心的な役割を演ずる非ユークリッド幾何学に一般化される。長い間未解決だった定規とコンパスによる作図の問題は、最終的にガロア理論によって決着が付いた。現代的な分野である微分幾何学や代数幾何学は幾何学を異なる方向に発展させた:微分幾何学では、座標や滑らかさ、それに向きの概念が強調されるが、一方で代数幾何学では、代数方程式の解となるような集合を幾何学的な対象とする。集合は数学の基礎を成す重要な概念であるが、幾何学的な側面を強調する場合、集合を空間と言い、その集合の元を点と呼ぶ。群論では対称性という概念を抽象的に研究し、空間と代数構造の研究の間に関連を与える。位相幾何学は連続という概念に着目することで、空間と変化の双方の研究に関係する。
- 解析
- 測る量についての変化を理解し、記述することは自然科学の共通の主題であり、微分積分学はまさにそのための最も有用な道具として発展してきた。変化する量を記述するのに使われる中心的な道具は関数である。多くの問題は、とても自然に量とその変化の割合との関係になり、そのような問題を解くための手法は微分方程式の分野で研究される。連続的な量を表すのに使われる数が実数であり、実数の性質や実数に値をとる関数の性質の詳しい研究は実解析として知られる。いくつかの理由から、複素数に拡張する方が便利であり、それは複素解析において研究される。関数解析学は関数空間(関数の集合に位相構造を持たせたもの)が興味の中心であり、この分野は量子力学やその他多くの学問の基盤となっている。自然の多くの現象は力学系によって記述され、カオス理論では、多くの系が決定可能であるにもかかわらず予測不可能な現れ方をする、という事実を扱う。
- 計算機
- 人類がコンピュータを最初に思いついたとき(それは実際に作られるより遥かに前のことだが)、いくつかの重要な理論的概念は数学者によってかたち作られ、計算可能性理論・計算複雑性理論・情報理論、そしてアルゴリズム情報理論の分野に発展した。これらの問題の内の多くは計算機科学において研究されている。離散数学は計算機科学において有用な数学の分野の総称である。数値解析は、丸め誤差を考慮に入れて、幅広い数学の問題について効率的にコンピュータの上で数値解を求める方法を研究する。また1950年代から2000年代[17]にかけて、計算機科学を駆使して自然科学上の問題を解決する計算科学が急速に発展した。
- 統計
- 応用数学において、重要な分野に統計学が挙げられる。統計学はランダムな現象の記述や解析や予測を可能にし、全ての科学において、利用されている。
![](//upload.wikimedia.org/wikipedia/commons/thumb/f/f9/Edit-find-replace.svg/38px-Edit-find-replace.svg.png) | この節には独自研究が含まれているおそれがあります。 |
以下の分野や項目の一覧は、数学に対する一つの有機的な見方を反映している。
便宜上の分類
- 量
- 数—自然数—整数—偶数—奇数—小数—分数—素数—有理数—無理数—実数—虚数—複素数—四元数—八元数—十六元数—超実数—順序数—基数—濃度—P進数—巨大数—整数列—数学定数—無限
- 変化
- 算術—微分積分学—ベクトル解析—解析学—微分方程式—力学系—カオス理論—関数一覧
- 構造
- 抽象代数学—数論—代数幾何学—群論—モノイド—解析学—位相幾何学—線型代数学—グラフ理論—圏論
- 空間
- 解析幾何学—位相幾何学—幾何学—三角法—代数幾何学—微分幾何学—線型代数学—フラクタル幾何—図形—図形の一覧—ベクトル解析
- 有限数学
- 組合せ数学—素朴集合論—確率論—統計学—計算理論—離散数学—暗号理論—グラフ理論
- 数理科学
- 計算科学—数値解析—確率論—逆問題—数理物理学—数理経済学—ゲーム理論[18]—数理生物学—数理心理学—保険数理—数理工学
- 有名な定理と予想
- フェルマーの最終定理—リーマン予想—連続体仮説—P≠NP予想—ゴールドバッハの予想—双子素数—ゲーデルの不完全性定理—ポアンカレ予想—カントールの対角線論法—ピタゴラスの定理—中心極限定理—微分積分学の基本定理—代数学の基本定理—四色定理—ツォルンの補題—オイラーの等式—コラッツの問題—合同数—バーチ・スウィンナートン=ダイアー予想—ヒルベルトの23の問題—スメイルの問題—ソファ問題
- 基礎と方法
- 数理哲学—直観主義—構成主義—数学基礎論—集合論—数理論理学—モデル理論—圏論—証明—数学記号の表—逆数学
数理モデル
数理モデルは数理モデルは理想化されており、往々にして実際との間には「ずれ」が生じる、という問題はあるが、それでも、そうした分野の研究に、俯瞰的な視点を与え、研究に大きな進歩や高い次元からの洞察をもたらすこともある。
工学の他、社会学や言語学など幅広い分野に応用されている。
思考力の養成
数学教育により抽象的な考えを養うことができるとされ、他分野への恩恵があるという[19]。ドイツの学生は台湾の学生と比較して、モデリングにおける熟考能力が強みとされている[20]。
※「ノーベル数学賞」というものは存在しない。数学に関する賞としては(一般に)フィールズ賞が最高峰とされている。
注釈
『大学事典』の原文:理学部りがくぶ[理学と理学部] …
理学を構成する
数学・物理学・化学・生物学・地学等に関する知識,研究方法,自然観などは人類の文化・文明の豊かさの基盤になっている。 … 一般に「科学的方法」といわれる理学の研究方法は自然科学にとどまらず,人文・社会科学の研究にも導入され,専門知識の体系化において根幹的な役割を果たしている。
[2]
『精選版 日本国語大辞典』の原文:しぜん‐かがく ‥クヮガク【自然科学】
〘
名〙 (natural science の訳語) 自然現象を対象とする学問の総称。
狭義には自然現象そのものの法則を探求する
数学、物理学、天文学、化学、生物学、地学などをさし、広義にはそれらの実生活への応用を目的とする工学、農学、医学などを含むこともある。
[3]
『諳厄利亜語林大成』では mathematicks と綴られている。また読み仮名として「マテイマテイツキ」が当てられている。
出典
Mura, Roberta (Dec 1993). “Images of Mathematics Held by University Teachers of Mathematical Sciences”. Educational Studies in Mathematics 25 (4): 375–385. Tobies, Renate and Helmut Neunzert (2012). Iris Runge: A Life at the Crossroads of Mathematics, Science, and Industry. Springer. pp. 9. ISBN 3-0348-0229-3. "It is first necessary to ask what is meant by mathematics in general. Illustrious scholars have debated this matter until they were blue in the face, and yet no consensus has been reached about whether mathematics is a natural science, a branch of the humanities, or an art form." “mathematics, n. : Oxford English Dictionary”. 2015年6月17日閲覧。 “The science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis.”[リンク切れ] Kneebone, G.T. (1963). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover. pp. 4. ISBN 0-486-41712-3. "Mathematics ... is simply the study of abstract structures, or formal patterns of connectedness." LaTorre, Donald R., John W. Kenelly, Iris B. Reed, Laurel R. Carpenter, and Cynthia R Harris (2011). Calculus Concepts: An Informal Approach to the Mathematics of Change. Cengage Learning. pp. 2. ISBN 1-4390-4957-2. "Calculus is the study of change—how things change, and how quickly they change." Ramana (2007). Applied Mathematics. Tata McGraw–Hill Education. p. 2.10. ISBN 0-07-066753-5. "The mathematical study of change, motion, growth or decay is calculus." Ziegler, Günter M. (2011). “What Is Mathematics?”. An Invitation to Mathematics: From Competitions to Research. Springer. pp. 7. ISBN 3-642-19532-6 神取道宏「追悼 ジョン・ナッシュ : 数学者、そして数理科学者として」『経済セミナー』、日本評論社、[要ページ番号]頁、2015年。