序章：数学における「同じ」とは何か —— 同一性と同一視の数理哲学

---

📖 このファイルの位置づけ

🎬 STEP 01 - 読み順：最初に読むファイル

← 前のファイル	現在地	次のファイル →
なし	序章：数学における「同じ」とは何か	[第1章：集合論における類似と商](/数学における「同じ」とは/第1章：集合論における類似と商 —— 具体から抽象へ)

深掘り関連ファイル（序章の後に読む）:

• [序章_03節：幾何学における「同じ」の変遷](/数学における「同じ」とは/序章_03節_幾何学における「同じ」の変遷 —— 合同、相似、そして位相)
• [序章_05節：構造としての「同じ」](/数学における「同じ」とは/序章_05節_構造としての「同じ」 —— 代数学における同型（Isomorphism）)

---

【導入】ヘラクレイトスの川とプラトンのイデア

—— 変化する世界で「不変」を見つけること

古代ギリシアの哲学者ヘラクレイトスは、「万物は流転する（パンタ・レイ）」という言葉を残した。彼は「同じ川に二度入ることはできない」と説いた。川は絶えず流れ、水は入れ替わり、昨日の川と今日の川は物理的な構成要素として厳密には異なる存在だからである。

この視点に立てば、世界に「同じもの」など一つとして存在しないことになる。昨日の私と今日の私は、細胞レベルで見れば代謝によって物質が入れ替わっており、記憶も経験も更新されている。厳密な意味での物理的実在として、世界は一回性の連続であり、そこには無限の「差異」だけが横たわっている。

しかし、もし我々がこの「差異」の濁流に身を任せるだけであれば、知性というものは成立しない。「昨日の敵は今日も敵である」と認識できなければ生存戦略は立てられないし、「昨日のリンゴと今日のリンゴは同じ果物である」と認識できなければ農業も経済も成り立たない。

人間は、混沌とした現実世界から生きていくために必要な情報を抽出するために、ある強力な「暴力」を発明した。それが**「抽象化（Abstraction）」**である。

目の前に二つのリンゴがあるとする。一つは赤く艶やかで、もう一つは少し青く傷がついている。物理的にはこれらは全く別の物体である。重さも違えば、原子の配列も違う。だが、我々はその差異を「無視」し、両者を「リンゴ」という共通のカテゴリーへ、さらには「1個の物体」という数量的な概念へと押し込める。 色味の違い、傷の有無、味の違い……そうした個別の差異を切り捨て（捨象し）、ただ「個数」という一点においてのみ両者を等価とみなすとき、初めて「$1+1=2$」という数式が現実世界に適用可能となる。

数学とは、この「抽象化」という精神作用を極限まで純化させた営みであると言える。数学者は、対象が何でできているか（物質的構成）や、それがいつどこにあるか（時空間的拘束）を問わない。ただ、構造的な性質のみに注目し、それ以外の情報を徹底的に「忘れる」ことによって、永遠に崩れない真理を構築しようとする。

本書のテーマである**「商（Quotient）」**とは、この「忘れること」の数学的定式化に他ならない。商をとるとは、解像度を下げることである。あるいは、ノイズを除去することである。そして何より、無関係な差異を同一視することによって、本質的な構造を浮き彫りにすることである。

我々はこれから、圏論という現代数学の最高峰の言語を用いて、この「同一視」のメカニズムを解明していく旅に出る。しかしその前に、まずは数学が歴史の中でどのように「同じ」という概念を扱ってきたか、その素朴な源流から辿ってみよう。そこには、当たり前だと思っていた「$=$（イコール）」という記号に潜む、驚くべき多義性と深淵が広がっている。

---

【第1節】等号「$=$」の多義性

—— 計算結果、定義、そして恒等

数学を学び始めて最初に出会う記号の一つが「$=$（等号）」である。1557年、ウェールズの数学者ロバート・レコードは、著書『知恵の砥石（The Whetstone of Witte）』において、世界で初めて等号を使用した。彼がこの記号を選んだ理由は、「2本の平行線ほど等しいものは他にないから」という、極めて幾何学的かつ直感的なものであった。

以来、我々はこの二本の線を無自覚に使い続けている。しかし、数学の文脈において「$A=B$」と書かれたとき、それが意味する「等しさ」の質は、常に一定ではない。文脈によって、等号は全く異なる三つの顔を見せる。

1. プロセスと結果の結合（計算の完遂）

最も初歩的な等号の用法は、算術における計算結果の表示である。 $2+3=5$ この式において、左辺（$2+3$）と右辺（$5$）は、意味論的なレベルでは明らかに異なる。左辺は「2という数に3という数を加える」という操作（プロセス）を表しているのに対し、右辺は「5」という値（結果）を表している。 もし左辺と右辺が完全に「同じ」であれば、我々は計算をする必要がない。計算とは、複雑なプロセスを単純な結果へと変換する動的な行為である。ここでの等号は、「異なる表現が、同じ対象（数直線上の一点）を指し示している」という事実を宣言している。フレーゲの言葉を借りれば、「意義（Sinn）」は異なるが「意味（Bedeutung）」が等しい状態である。

2. 定義としての代入（命名）

次に、関数の定義などで見られる等号がある。 $f(x)=x^2+1$ これは、「$f(x)$ とは $x^2+1$ のことである」という宣言であり、一種の命名式である。ここには「真か偽か」という問いは存在しない。あるのは「そう決める」というルール設定の意志だけである。 プログラミング言語においては、このニュアンスを区別するために、代入演算子として := や = を使い、等価判定として == を使うことが多い。数学の記法ではこの区別が文脈に委ねられているため、初学者が混乱する原因の一つとなっている。この等号は、「左辺を右辺で置き換えてもよい」という構文上の書き換え規則（リライト・ルール）を提供している。

3. 構造的な恒等（Identity）

そして第三に、最も数学的な深みを持つのが「恒等式」としての等号である。 $(x+1{)}^2=x^2+2x+1$ この式は、$x$ に特定の値を代入したときだけ成り立つ（方程式）のではない。$x$ がどのような値であっても、あるいは $x$ が数ではなく行列や演算子であったとしても（可換であれば）、常に成立する。 ここでの等号は、左辺の構造と右辺の構造が、本質的に等価であることを示している。左辺の「足してから二乗する」という操作と、右辺の「二乗して、二倍を足して、1を足す」という操作は、計算の手順としては異なるが、機能としては完全に等しい。これは**「構造的な同一性」**の萌芽である。

静的な真理としての等号

ヘラクレイトスの川の話に戻ろう。現実世界の事物は時間とともに変化するが、数学の等式 $2+3=5$ は、昨日も今日も、そして1億年後も変わらず成立する。 数学における「$=$」は、時間の概念を捨象した静的な関係性である。プログラムの変数が x = x + 1 のように時間経過とともに値を更新していくのとは対照的に、数学の等式は永遠の現在形で記述される真理である。

しかし、ここで一つの疑問が生じる。「指し示す対象が同じ」であれば等しいというが、そもそも「対象が同じ」であるかどうかを、我々はどのように判定すればよいのだろうか？ 2つのリンゴが「同じ」でないことは分かる。では、2つの「$5$」は本当に同じなのか？ ここに書かれた「$5$」と、あそこに書かれた「$5$」は、位置が違うではないか。

この哲学的な問いに答えるためには、ライプニッツが提唱した「識別不可能者」の概念に踏み込む必要がある。

---

【第2節】ライプニッツの原理と「識別不可能者」の同一性

—— 区別できないなら、それは一つである

17世紀の万能の天才ゴットフリート・ライプニッツは、同一性に関する形而上学的な原理を定式化した。それは**「識別不可能者の同一性（Identity of Indiscernibles）」**と呼ばれるものである。

論理記号を用いて現代風に記述すれば、以下のようになる。 $x=y⟺\forall P(P(x)\leftrightarrow P(y))$ これは「$x$ と $y$ が等しいとは、あらゆる性質 $P$ について、$x$ がその性質を持つならば $y$ も持ち、その逆もまた然りであることと同値である」という主張である。 逆に言えば、**「もし $x$ と $y$ を区別できるような性質が一つも見つからないならば、それらは同じものである」**ということだ。

物理的実体と数学的対象の乖離

この原理は、マクロな物理的世界では直感的に正しいように思える。二つのビリヤードの球がどんなに似ていても、顕微鏡で見れば微細な傷が違うし、何より「現在ある位置」が異なる。「位置」という性質 $P$ において区別可能である以上、それらは「同じ」ではない。

しかし、量子力学の世界ではこの常識が崩れる。電子などの素粒子は、質量、電荷、スピンといった内部量子数が同じであれば、原理的に区別がつかない。これを「同種粒子の識別不可能性」という。二つの電子を入れ替えても、系の物理的状態は（位相を除いて）変化しない。ここでは、ライプニッツの原理が極めて物理的な実在感を持って迫ってくる。

視点の選択権としての「数学的同一性」

数学における「同じ」の面白さは、このライプニッツの原理における「すべての性質 $P$」の範囲を、**人間が恣意的に制限できる（選べる）**という点にある。

例えば、整数全体の集合 $\mathbb{Z}$ を考えよう。$2$ と $102$ は明らかに異なる数である。大きさも違うし、素因数分解の結果も違う。ライプニッツの原理をすべての性質に適用すれば、$2\ne 102$ である。

しかし、ここで我々が「偶数か奇数か（パリティ）」という性質だけに興味を持ったとしよう。つまり、我々が見る世界（性質 $P$ の集合）を、「2で割った余り」だけに制限するのである。 このとき、

• $P(2)$ ： 2は偶数である（真）
• $P(102)$ ： 102は偶数である（真） この限定された視点（フィルター）を通してみれば、$2$ と $102$ を区別する方法は存在しない。したがって、この文脈においてのみ、$2$ と $102$ は「同じ」とみなされる。 $2\equiv 102(\mathrm{mod}2)$ これが、合同式であり、群論における剰余類 $\mathbb{Z}/2\mathbb{Z}$ の正体である。

「商をとる」とは、識別能力を捨てること

ここにおいて、本著の核心的な概念である「商（Quotient）」の哲学的な意味が明らかになる。 商をとるとは、対象そのものを物理的に破壊したり変形したりすることではない。観測者である我々の側の「識別能力」を意図的に低下させることである。 「大きさ」を見る目を閉じ、「位置」を見る目を閉じ、「素因数」を見る目を閉じる。そうやって多くの識別能力を捨て去ったとき、それまで「異なっていた」はずのものが、突如として「識別不可能」なものとして浮かび上がる。

数学的な「商空間」を作るということは、ライプニッツの言う「すべての性質」のリストから、不要な性質を削除して（Forget）、新しい「同一性の基準」を打ち立てる宣言行為なのである。 この操作によって、無限に広がる整数の列は、たった2つの点（偶数という点、奇数という点）を持つシンプルな円環構造（$\mathbb{Z}/2\mathbb{Z}$）へと畳み込まれる。情報は圧縮され、構造は単純化されるが、その代わり「パリティ」という性質の本質だけが純粋な形で抽出される。

我々は日常生活でも、無意識にこの「商」の操作を行っている。「昨日の私」と「今日の私」を同一人物とみなすのは、細胞レベルの微細な変化を無視する（商をとる）という合意に基づいている。トポロジーで「ドーナツとマグカップ」を同じとみなすのも、曲率や距離という情報を無視するという強力な「商」の視点によるものである。

次節以降では、この「視点の制限」がいかにして幾何学を発展させ、そして「関係」という概念を通じて厳密な集合論的定義（同値関係）へと結実したかを見ていく。そこには、直感的な「似ている」を、論理的な「等しい」へと変換するための巧妙な仕掛けが隠されている。

---

続く論点（第二部）

【第3節】幾何学における「同じ」の変遷 —— 合同、相似、そして位相 【第4節】集合論的道具 —— 関係、同値関係、そして「商」

第一部では「等号の意味」と「ライプニッツの原理」を通じて、同一視の哲学的基盤を固めました。 第二部では、より具体的な数学的対象（図形）における同一視の歴史的変遷を追い、それを現代数学（集合論）がいかにして「同値関係」というドライなツールで記述したか、その技術的側面を深掘りします。

続けて第二部を出力してよろしいでしょうか？