数学の全体像を俯瞰する
数学の分野を知識としてまとめようとすると、「代数」「解析」のような大きな括りはすぐに出てくるものの、その内側にどれだけ細かい分野があり、互いにどうつながっているかは意外と見えにくい。
この記事では、数学にどのような分野があるのかをフラットに、かつ包括的に整理する。大分類だけでなく、そこからもう一段掘り下げたサブ領域まで俯瞰できる形にまとめる。個々の定理や理論そのものの解説はせず、あくまで地図としての分類に絞る。
結論
- 数学の分野分類には、
Mathematics Subject Classification（MSC）という業界標準の分類体系がある。学術誌やarXiv、zbMATH、MathSciNetなどが実際に採用している - MSC はおおむね 2 桁の分野コード（60 前後）を頂点として、3 桁・5 桁とより細かいサブコードへ枝分かれするツリー構造を持つ
- 学習・利用の実感に合わせて大まかに束ねると、「基礎・論理」「代数」「数論・離散数学」「解析」「幾何・位相」「確率・統計」「応用・計算数学」「学際領域」の 8 グループ程度に整理しやすい
- 8 グループそれぞれの内側にも、もう一段細かいサブ領域がある。たとえば代数の中には群論・環論・表現論などが含まれ、サブ領域同士も互いに土台にし合う関係を持つ
- ここで示す分類やコードの対応は、俯瞰のためのおおまかな整理であり、正式な表記や最新版は必ず一次情報（後述の参考リンク）で確認したほうがよい
前提
- 対象読者: 数学の分野の全体像を、ある程度網羅的に把握したい人
- ねらい: 個々の理論の解説ではなく、「どんな分野があり、どう区分されるか」というフラットな地図を作ること
- 参照する分類体系:
MSC2020（Mathematics Subject Classification, 2020年版）を主な軸にする - 数学教育のカリキュラム区分（学部の学科構成など）とは必ずしも一致しない点に注意する
数学の分野をどう区切るか
数学の分野分けは、歴史的経緯や研究コミュニティの慣習によっても変わるため、唯一絶対の正解があるわけではない。ただし、分野を横断的かつ再現性高く参照したいなら、次の分類体系が実務上のデファクトになっている。
MSC（Mathematics Subject Classification）: American Mathematical Society（AMS）とzbMATH Openが共同で保守する分類体系。論文投稿時の分野コードとしても広く使われ、数年おきに改訂される（直近はMSC2020）arXivのmathカテゴリ: プレプリント投稿時に使われる分類。MSC ほど細かくはないが、現代の研究の分布を見るのに向いているWikipediaのAreas of mathematics: 一般向けの見取り図として参照しやすいが、正式な分類体系ではない
MSC は 2 桁の大分類（例: 11 は数論、53 は微分幾何）を起点に、3 桁・5 桁とより細かい分野コードへ枝分かれする。件数や正確な表記はバージョンごとに変わるため、この記事では厳密なコード一覧の再現は避け、代表的な大分類とその位置づけを紹介するに留める。正確な一覧は MSC2020 の公式配布物（後述の参考リンク）を確認してほしい。
大分野ごとの俯瞰マップ
学習や実務での使われ方に合わせて、MSC の大分類を大まかに 8 グループへ束ねると次のようになる。あくまで見取り図としての束ね方であり、MSC の公式なグルーピングそのものではない。
flowchart TB math[数学] --> foundation[基礎・論理] math --> algebra[代数] math --> numtheory[数論・離散数学] math --> analysis[解析] math --> geometry[幾何・位相] math --> prob[確率・統計] math --> applied[応用・計算数学] math --> interdisciplinary[学際領域]
矢印は、数学全体からそれぞれの大分類への「内包関係」を表す。
各グループの代表的な分野例は次の通り。
| 大分類 | 代表的な分野例 | 目安になる MSC 大分類 |
|---|---|---|
| 基礎・論理 | 数理論理学、集合論、モデル理論、証明論、圏論 | 03, 18 |
| 代数 | 線形代数、群論、環論、体論、加群論、表現論、ホモロジー代数 | 12〜20 |
| 数論・離散数学 | 初等数論、代数的数論、解析的数論、組合せ論、グラフ理論、順序・束論 | 05, 06, 11 |
| 解析 | 微分積分学、実解析、複素解析、関数解析、調和解析、測度論、常微分方程式、偏微分方程式、力学系 | 26〜49 |
| 幾何・位相 | ユークリッド幾何、微分幾何、代数幾何、点集合位相、代数的位相、凸幾何、多様体論 | 51〜58 |
| 確率・統計 | 確率論、確率過程、統計学、情報理論 | 60, 62, 94 |
| 応用・計算数学 | 数値解析、最適化・オペレーションズリサーチ、制御理論、ゲーム理論、計算機科学の数学的基礎 | 49, 65, 68, 90, 91, 93 |
| 学際領域 | 数理物理、数理生物学、数理経済学、統計力学、相対論 | 70〜86, 91, 92 |
コードは目安であり、分野によっては複数の大分類にまたがる。たとえば表現論は代数（20）にも解析（22, 43）にも関係し、統計力学は解析・確率・物理のいずれの視点からも語れる。
各グループのサブ領域を深掘りする
大分類だけでは粒度が粗すぎるので、8 グループそれぞれについて代表的なサブ領域をもう一段掘り下げる。
公理系
数学の各分野は、証明なしに真として認める前提である「公理」の上に成り立っている。同じ対象であっても採用する公理を変えれば別の理論が得られるため、代表的な公理系を先に整理しておくと、各分野の位置づけが理解しやすくなる。
| 公理系 | 対象領域 | 代表的な公理 | 位置づけ |
|---|---|---|---|
ZFC（Zermelo-Fraenkel の公理系 + 選択公理） | 集合論 | 外延性、正則性、内包（分出）、対、和集合、冪集合、無限、置換、選択公理 | 現代数学のほとんどの分野が明示的・暗黙的に依拠する標準的な基盤 |
| ペアノの公理 | 自然数 | 0 は自然数である、すべての自然数には後続者がある、数学的帰納法 など | 自然数と算術を形式的に定義する。ZFC の集合論の上に構成できる |
| ユークリッドの公理（5 公準） | 幾何学 | 二点を通る直線はただ一つ存在する、直線は限りなく延長できる、平行線公準 など | 平行線公準を変更すると、双曲幾何・楕円幾何のような非ユークリッド幾何が得られる |
| 順序体の公理 | 実数 | 体の公理（加法・乗法の結合則・交換則・分配則・単位元・逆元）+ 順序の公理 + 完備性公理 | 実数を「連続性を持つ順序体」として特徴づける |
| 群・環・体の公理 | 代数的構造 | 群: 結合則・単位元・逆元 / 環: 群の構造 + 乗法の分配則 / 体: 環の構造 + 乗法の逆元 | 代数のサブ領域（群論・環論・体論）はそれぞれの公理を出発点にする |
| 選択公理と同値な命題 | 集合論・解析・代数 | ツォルンの補題、整列可能定理 | ZFC の選択公理と論理的に同値で、証明の中でしばしば代替として使われる |
公理系どうしは独立ではなく、ZFC の上にペアノの公理や順序体の公理を構成できるといった階層関係を持つことが多い。一方でユークリッドの公理のように、公理の一部を差し替えることで別の理論体系が生まれるケースもある。
ZFC の公理を詳しく見る
ZFC は、集合そのものが満たすべき性質を 9 つの公理として定めている。
- 外延性の公理: 同じ要素を持つ集合は等しい
- 空集合の公理: 要素を1つも持たない集合（空集合）が存在する
- 対の公理: 任意の 2 つの集合
a,bに対し、aとbだけを要素とする集合が存在する - 和集合の公理: 集合の集合が与えられたとき、その要素をすべて集めた和集合が存在する
- 冪集合の公理: 任意の集合に対し、その部分集合すべてからなる集合（冪集合）が存在する
- 無限公理: 自然数全体に対応するような、無限に要素を持つ集合が存在する
- 置換の公理図式: ある集合の各要素に、関数的な対応関係で別の要素を割り当てたとき、その像もまた集合になる
- 正則性の公理（基礎の公理）: すべての空でない集合は、自分自身と要素を共有しない要素を持つ。これにより $A \in A$ のような自己言及的な集合を排除する
- 選択公理: 空でない集合からなる任意の集合族に対し、各集合から要素を1つずつ選び出す関数（選択関数）が存在する
1〜8 で「選択公理を含まない」体系 ZF を構成し、これに 9 の選択公理を加えると ZFC になる。集合論そのものだけでなく、自然数・実数・関数・位相空間など、現代数学のほとんどの対象は最終的に ZFC の枠組みの中で集合として構成できる。
これら 9 つの公理のうち、「何もないところから集合が存在する」ことを無条件に主張しているのは、実質的に空集合の公理と無限公理の 2 つに限られる。対の公理・和集合の公理・冪集合の公理・置換の公理図式・正則性の公理は、いずれも「すでに何らかの集合が存在するなら、こういう新しい集合も存在する」という条件付きの主張であり、既存の集合を材料に新しい集合を組み立てるものにすぎない。実際、教科書によっては空集合の公理を独立には置かず、無限公理が保証する集合から分出の公理図式で空集合を取り出す（$\{x \in X : x \neq x\}$ のように）形で済ませることも多く、その場合は無限公理だけが「集合が存在する」という一次の主張を担うことになる。
選択公理を詳しく見る
選択公理は、他の 8 つの公理と性質が異なる。「選択関数が存在する」と主張するだけで、その関数を具体的に構成する方法を示さないため、非構成的な公理と呼ばれる。
- 独立性: 選択公理は
ZFの他の公理から証明できず、反証もできない。ゲーデルは「ZFが無矛盾ならZFCも無矛盾である」ことを示し（1938年）、コーエンは「ZFが無矛盾なら、選択公理の否定を加えた体系も無矛盾である」ことを示した（1963年）。つまり選択公理を採用するかどうかは、他の公理からは決定できない独立した選択である - 同値な命題:
ZFの下で、選択公理は次の命題と論理的に同値である- ツォルンの補題: 任意の鎖が上界を持つ半順序集合には、極大元が存在する
- 整列可能定理: 任意の集合には整列順序を入れることができる
- チコノフの定理: 任意個のコンパクト空間の直積はコンパクトである
- 応用: 任意のベクトル空間に基底が存在することや、実数の非可測集合の構成など、解析・代数の随所で選択公理が使われている
- 論争的な帰結: バナッハ・タルスキーのパラドックス（球を有限個の断片に分割し、再構成すると元と同じ大きさの球が 2 つできる）のような直感に反する結果も選択公理から導かれる。このため、選択公理を使わない、あるいは使ったことを明示する数学の流儀もある
ユークリッドの公理との関係
選択公理と、幾何学のユークリッドの公理（特に平行線公準）には、構造的によく似た関係がある。
- 独立性という共通点: 平行線公準は他の 4 つの公準から証明できるはずだと 2000 年以上にわたって多くの数学者が試みたが、証明できなかった。19 世紀にロバチェフスキー・ボヤイ・ガウスらが、平行線公準を否定しても矛盾しない体系（非ユークリッド幾何）を構成したことで、平行線公準が他の公準から独立であることが示された。これは、選択公理が
ZFの他の公理から独立であることと同じ構造を持つ - 公理を選び直すと別の理論が得られる: 平行線公準を採用すればユークリッド幾何、否定すれば双曲幾何や楕円幾何が得られるのと同様に、選択公理を採用すれば通常の集合論（
ZFC）、否定すれば選択公理が成り立たない集合論（ZF + ¬AC）が得られる。どちらも内部的に矛盾のない理論体系である - 対象の違い: ユークリッドの公理が「空間・図形」という具体的な対象を定義する公理系であるのに対し、
ZFCは「集合」という、数学のほぼ全ての対象を構成するための基盤となる公理系である。ユークリッドの公理が幾何学という一分野の枠組みであるのに対し、ZFCは数学全体の枠組みを提供する点で射程が異なる
基礎・論理
flowchart TB foundation[基礎・論理] --> logic[数理論理学] foundation --> settheory[集合論] foundation --> modeltheory[モデル理論] foundation --> prooftheory[証明論] foundation --> category[圏論] modeltheory --> logic modeltheory --> settheory prooftheory --> logic
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし モデル理論 → 数理論理学、モデル理論 → 集合論、証明論 → 数理論理学 の 3 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 数理論理学: 命題論理・述語論理など、論理そのものの構造や性質を形式的に扱う
- 集合論: 濃度や順序数、選択公理など、数学の土台になる集合の性質を扱う
- モデル理論: ある論理式が具体的な数学的構造の中でどう解釈されるかを研究する。数理論理学・集合論を土台にする
- 証明論: 証明そのものの構造や強さを、数学的な対象として分析する。数理論理学を土台にする
- 圏論: 対象と射（写像）の関係に着目し、異なる分野の構造を統一的に記述する
代数
flowchart TB algebra[代数] --> linear[線形代数] algebra --> group[群論] algebra --> ring[環論] algebra --> field[体論] algebra --> module[加群論] algebra --> rep[表現論] algebra --> homological[ホモロジー代数] rep --> group rep --> ring homological --> module
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 表現論 → 群論、表現論 → 環論、ホモロジー代数 → 加群論 の 3 本だけは意味が異なり、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 線形代数: ベクトル空間と線形写像を扱う、他分野からも土台として使われる基礎分野
- 群論: 対称性を「群」という構造で捉える
- 環論・体論: 足し算とかけ算という演算がある代数構造（環・体）の性質を研究する
- 加群論: ベクトル空間の考え方を環の上に一般化したもの
- 表現論: 群や環の要素を線形写像として「表現」し、線形代数の道具で調べる。群論・環論を土台にする
- ホモロジー代数: 加群の間の関係を鎖複体などで捉え、位相幾何や代数幾何とも接続する。加群論を土台にする
数論・離散数学
flowchart TB numtheory[数論・離散数学] --> elementary[初等数論] numtheory --> algebraicnum[代数的数論] numtheory --> analyticnum[解析的数論] numtheory --> combinatorics[組合せ論] numtheory --> graphtheory[グラフ理論] numtheory --> order[順序・束論] algebraicnum --> elementary analyticnum --> elementary graphtheory --> combinatorics
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 代数的数論 → 初等数論、解析的数論 → 初等数論、グラフ理論 → 組合せ論 の 3 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 初等数論: 素数や合同式など、整数そのものの性質を扱う
- 代数的数論: 代数拡大体の中で整数論的な性質を調べる。初等数論を土台にする
- 解析的数論: 素数の分布のように、解析学の手法で数論的な対象を扱う。初等数論を土台にする
- 組合せ論: 有限集合の数え上げや構造を扱う
- グラフ理論: 頂点と辺からなるネットワーク構造を研究する。組合せ論を土台にする
- 順序・束論: 順序集合や束（lattice）といった構造を扱う
解析
flowchart TB analysis[解析] --> calculus[微分積分学] analysis --> real[実解析] analysis --> complex[複素解析] analysis --> functional[関数解析] analysis --> harmonic[調和解析] analysis --> diffeq[常微分方程式・偏微分方程式] analysis --> dynamical[力学系] real --> calculus complex --> calculus functional --> real harmonic --> functional diffeq --> calculus dynamical --> diffeq
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 実解析 → 微分積分学 以下 6 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 微分積分学: 関数の変化率と累積を扱う、解析の入り口
- 実解析: 実数上の関数や極限の性質を厳密に扱う。測度論を含む。微分積分学を土台にする
- 複素解析: 複素数上で定義された正則関数の性質を扱う。微分積分学を土台にする
- 関数解析: バナッハ空間やヒルベルト空間など、無限次元のベクトル空間を扱う。実解析を土台にする
- 調和解析: フーリエ解析とその一般化を扱う。関数解析を土台にする
- 常微分方程式・偏微分方程式: 関数の変化を記述する方程式そのものが研究対象になる。微分積分学を土台にする
- 力学系: 時間発展する系の長期的・定性的な振る舞いを研究する。微分方程式を土台にする
幾何・位相
flowchart TB geometry[幾何・位相] --> euclidean[ユークリッド幾何] geometry --> differential[微分幾何] geometry --> algebraicgeo[代数幾何] geometry --> pointset[点集合位相] geometry --> algebraictopo[代数的位相] geometry --> convex[凸幾何] geometry --> manifold[多様体論] manifold --> pointset differential --> manifold algebraictopo --> pointset convex --> euclidean
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 多様体論 → 点集合位相、微分幾何 → 多様体論、代数的位相 → 点集合位相、凸幾何 → ユークリッド幾何 の 4 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- ユークリッド幾何: 直線・円・多角形など、古典的な図形の性質を扱う
- 微分幾何: 微分積分の道具で曲線・曲面・多様体の性質を扱う。多様体論を土台にする
- 代数幾何: 多項式の零点集合として図形を捉え、代数の道具で調べる
- 点集合位相: 開集合・連続性など、位相空間の基礎的な性質を扱う
- 代数的位相: ホモロジー群など、代数の道具で位相空間の性質を調べる。点集合位相を土台にする
- 凸幾何: 凸集合の性質を扱う。ユークリッド幾何を土台にする
- 多様体論: 局所的にユークリッド空間とみなせる空間（多様体）の性質を扱う。点集合位相を土台にする
確率・統計
flowchart TB prob[確率・統計] --> probability[確率論] prob --> stochastic[確率過程] prob --> statistics[統計学] prob --> infotheory[情報理論] stochastic --> probability statistics --> probability infotheory --> probability
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 確率過程 → 確率論、統計学 → 確率論、情報理論 → 確率論 の 3 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 確率論: 確率変数や確率分布など、不確実性を数学的に扱う
- 確率過程: 時間とともに変化する確率的な現象を扱う。確率論を土台にする
- 統計学: データから母集団の性質を推測する手法が対象になる分野。確率論を土台にする
- 情報理論: 情報量やエントロピーなど、情報の伝達・圧縮を数学的に扱う。確率論を土台にする
応用・計算数学
flowchart TB applied[応用・計算数学] --> numerical[数値解析] applied --> optimization[最適化・オペレーションズリサーチ] applied --> control[制御理論] applied --> game[ゲーム理論] applied --> cstheory[計算機科学の数学的基礎] control --> optimization
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 制御理論 → 最適化・オペレーションズリサーチ の 1 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 数値解析: 方程式や関数の数値的な近似計算手法を扱う
- 最適化・オペレーションズリサーチ: 目的関数の最大化・最小化手法を扱う
- 制御理論: システムを望む状態に導くための入力設計。最適化を土台にする
- ゲーム理論: 複数の意思決定者が絡む状況での最適な戦略を扱う
- 計算機科学の数学的基礎: 計算量理論やオートマトン理論など、計算そのものを数学的に扱う
学際領域
flowchart TB interdisciplinary[学際領域] --> mathphysics[数理物理] interdisciplinary --> mathbio[数理生物学] interdisciplinary --> matheconomics[数理経済学] interdisciplinary --> statmech[統計力学] interdisciplinary --> relativity[相対論] statmech --> mathphysics relativity --> mathphysics
矢印は基本的に「分野 → その下位に含まれるサブ領域」を表す。ただし 統計力学 → 数理物理、相対論 → 数理物理 の 2 本は、「サブ領域 → 理論的な土台にしている別のサブ領域」という依存関係を表す。
- 数理物理: 物理現象の数学的な定式化とその構造を研究する
- 数理生物学: 生物現象を数理モデルで記述し、分析する
- 数理経済学: 経済現象を数理モデルで記述し、分析する
- 統計力学: 多数の粒子からなる系の性質を確率論的に扱う。数理物理の一分野に位置づけられる
- 相対論: 時空の構造を幾何学的に扱う。数理物理の一分野に位置づけられる
このように、サブ領域は単に大分類の下にぶら下がっているだけでなく、代数の表現論とホモロジー代数のように、他のサブ領域があって初めて成立しているものも多い。
分野をまたいだ関係
ここまでは、分野の内部構造を見てきた。実際の数学では、分野の境界を越えて道具や視点が行き来することも多い。最後に、分野をまたいだ関係について、具体例とマクロな視点の両方から整理する。
具体例で見る分野間のつながり
- 解析の微分は、線形代数の行列（ヤコビ行列など）で表現できる。多変数関数の微分を、線形写像として代数の道具で扱う
- 線形代数の行列による回転操作は、幾何学における回転そのものを表す。代数の対象である行列が、幾何学的な変換を記述する
- 微分方程式（解析）の安定性は、行列の固有値（代数）を手がかりに調べられる
- 確率過程（確率・統計）を解析するには、測度論（解析）や作用素の理論（関数解析）が使われる
- グラフ理論（数論・離散数学）の隣接行列は、線形代数の道具で解析できる
マクロな視点で見る分野間の関係
個別の事例だけでなく、分野同士がどのように道具を提供し合っているかをマクロに俯瞰すると、次のようになる。
flowchart LR foundation[基礎・論理] -.-> algebra[代数] algebra -.-> analysis[解析] algebra -.-> geometry[幾何・位相] algebra -.-> numtheory[数論・離散数学] analysis -.-> geometry analysis -.-> prob[確率・統計] analysis -.-> applied[応用・計算数学] prob -.-> applied geometry -.-> interdisciplinary[学際領域] analysis -.-> interdisciplinary prob -.-> interdisciplinary
破線の矢印は、これまでの図とは意味が異なる。ある分野の道具や視点で、別の分野を記述・分析するという応用関係を表す。実線が表す内包関係や依存関係とは区別して読んでほしい。
- 代数は分野を越えて使われる共通言語である。線形代数のベクトルや行列という言葉で、解析の微分作用素、幾何学の回転・変換、数論・離散数学のグラフ構造などを記述できる
- 解析は連続的な変化を扱う枠組みとして、幾何学の微分幾何や確率・統計の測度論、応用・計算数学の数値解析に道具を提供する
- 幾何学と解析は、微分幾何や多様体論を通じてつながり、相対論のような学際領域の理論的な土台になる
- 確率・統計は解析の測度論を土台にしつつ、情報理論や統計力学のように、応用・学際の各領域へも広がる
- 基礎・論理の圏論は、代数・幾何・解析といった分野の構造を統一的に記述する視点になる。分野を横断して使われることが多い
- 学際領域は特定の分野の道具だけに閉じない。代数・解析・幾何・確率など、複数分野の道具で現実の現象を扱う
このように、分野をまたいだ関係は個々の事例の集まりであると同時に、代数・解析・幾何が互いに道具を提供し合う、大きな循環としても捉えられる。
注意点
- MSC の分類は歴史的経緯や研究コミュニティの慣習を反映しており、必ずしも「数学的に一番自然な分類」と一致するとは限らない
- 分野の境界は流動的で、データサイエンスの理論的基盤のように、既存の分類コードだけでは捉えきれない新しい分野も出てきている
- この記事で挙げた大分類・コードの対応はあくまで俯瞰用の簡略版であり、正確な表記や最新版は一次情報（
MSC2020の公式配布物）を確認したほうがよい - 大学の学科構成（応用数学科、情報数理学科など）は、MSC の分類とは別の実務的な区分であり、そのまま対応するとは限らない