第1章：集合論における類似と商 —— 具体から抽象へ

【導入】集合論という「数学の共通語」

—— その威力と限界

現代数学のほぼ全ての分野は、ある共通の基盤の上に構築されている。それが**「集合論（Set Theory）」**である。 19世紀末、ゲオルグ・カントールによって創始されたこの理論は、数学者たちに「無限」を厳密に扱うための檻と、「構造」を記述するための統一言語を与えた。群も、位相空間も、多様体も、確率空間も、すべては「集合」として定義され、その上で展開される。

集合論の革命性は、「ものの集まり」を一つの「対象」として扱うこと（外延的定義）にあった。 「1, 2, 3」というバラバラな数字を、$\{1,2,3\}$ という一つの袋に入れる。この瞬間、個々の数字の個性は一旦括弧の中に封じ込められ、「集合 $A$」という一つのまとまりある実体が誕生する。この抽象化によって、我々は個物を数える算術から、構造を論じる数学へと飛躍することができた。

しかし、この古典的な集合論には、ある種の「頑固さ」がある。それは、要素還元主義的な視点である。 集合論において、$A$ と $B$ が等しいかどうかは、そこに含まれる要素が完全に一致するかどうかだけで決まる（外延性公理）。 $A=B⟺\forall x(x\in A\leftrightarrow x\in B)$ この定義はあまりに厳格だ。前章で見たような「構造的な類似」や「翻訳可能性」といった柔軟な視点は、ここにはない。集合論の純粋な世界では、$\{1,2\}$ と $\{a,b\}$ は、要素が違うのだから問答無用で「別物」である。

だが、我々が本当に知りたいのは、要素そのものの正体（それが数字なのか文字なのか）ではなく、要素同士が織りなす**「関係性」や「構造」**であるはずだ。 リンゴの集合とミカンの集合があったとき、物質として違うことは重要ではない。「3個ある」という個数の構造が同じなら、それらを「同じ」とみなしたい。

この欲求を満たすために、集合論は二つの強力な武器を用意している。

1. 写像（Map）： 集合と集合の間に関係の矢印を渡すこと。
2. 商（Quotient）： 不要な差異を無視して、集合を畳み込むこと。

本章では、圏論という大海原へ漕ぎ出す前の準備運動として、この「写像」と「商」の概念を、徹底的に解剖していく。ただし、単なる定義の確認ではない。全ての概念を**「情報の流れ」や「解像度の操作」**という観点から捉え直し、圏論的な思考様式（矢印的思考）へと読者をナビゲートすることが目的である。

---

【第1節】写像の解剖学

—— 行き先を決めるということ

集合 $A$ から集合 $B$ への写像（Map / Mapping） $f$ とは、集合 $A$ の各要素に対して、集合 $B$ の要素をただ一つ対応させる規則のことである。 $f:A\to B$ この記法において、$A$ を定義域（Domain）、$B$ を**終域（Codomain）**と呼ぶ。 高校数学までは「関数（Function）」と呼ばれることが多いが、現代数学では、数が数に対応する場合に限らず、一般の対象同士の対応を指す言葉として「写像」を好んで使う。

矢印の非対称性

記号 $A\to B$ が示す通り、写像には明確な方向性がある。 $A$ の要素は必ず出発しなければならず、かつ行き先は一つでなければならない（浮気も迷子も許されない）。 一方で、$B$ の要素は、誰からも選ばれなくてもいいし（売れ残り）、複数の相手から選ばれてもいい（モテモテ）。 この非対称性こそが、写像が持つ「情報の加工能力」の源泉である。

繊維（Fiber）：写像による切断

写像 $f:A\to B$ を理解する上で、最も重要な概念の一つが**「繊維（Fiber）」である。 終域 $B$ のある要素 $y$ に着目したとき、その $y$ に飛んでくる $A$ の要素全体の集合を、$y$ 上の繊維、あるいは逆像（Inverse image）**と呼ぶ。 $f^{-1}(y)=\{x\in A\mid f(x)=y\}$

この言葉の響きをイメージしてほしい。$A$ という空間が、写像 $f$ によって縦に切り裂かれ、一本一本の繊維（ファイバー）に分解されている様子を。

• もし $y$ が誰からも選ばれていなければ、繊維 $f^{-1}(y)$ は空集合 $\varnothing$ である。
• もし $y$ がただ一人 $x$ から選ばれていれば、繊維は一点集合 $\{x\}$ である。
• もし $y$ が沢山の人から選ばれていれば、繊維は大きな部分集合となる。

重要な事実は、**「定義域 $A$ は、互いに交わらない繊維たちの和集合として完全に分割される」ということだ。 $A={⨆}_{y\in B}{f}^{-1}(y)$ これは、写像 $f$ が定義域 $A$ にある種の「分類」を与えていることを意味する。同じ行き先を持つ者同士（同じ繊維に属する者同士）は、写像 $f$ の視点からは「区別がつかない」。 ここで既に、「商（Quotient）」**の萌芽が見えている。写像 $f$ は、異なる要素 $x_1,x_2$ を、同じ行き先 $y$ に送ることで、意図的に情報を潰しているのである。

---

【第2節】「単射」と「全射」の再発見

—— 埋め込みと被覆

写像には様々な種類があるが、その中で最も基本的かつ重要な分類が「単射」と「全射」である。これらは単なる性質の名前ではなく、**「情報の保存」と「情報の圧縮」**という対極的な操作を表している。

1. 単射（Injection）：情報を守る写像

写像 $f:A\to B$ が単射であるとは、「異なるものは異なる行き先へ」という原則を守ることである。 $x_1\ne x_2⟹f(x_1)\ne f(x_2)$ あるいは対偶をとって、 $f(x_1)=f(x_2)⟹x_1=x_2$ とも定義される。

• 直感的意味：情報の損失がない。$f(x)$ の値を見れば、元の $x$ が何であったかを完全に復元できる。
• 幾何学的意味：「埋め込み（Embedding）」。$A$ という集合の形を壊さずに、そのまま $B$ という大きな空間の中にそっくり配置する操作。
• 繊維の視点：どの繊維 $f^{-1}(y)$ も、要素数が1個以下である（空集合か、一点）。「潰されている」場所がない。

【圏論的視点：モノ射（Monomorphism）】 圏論では、要素を使わずに単射を定義する。 写像 $f$ が単射であることは、**「左キャンセル可能」**であることと同値である。 任意の集合 $Z$ と任意の写像 $g,h:Z\to A$ に対して、 $f\circ g=f\circ h⟹g=h$ 「$f$ を通した後で結果が同じなら、通す前の入力も同じはずだ」。これは $f$ が情報を混同していない（識別能力を保っている）ことの証左である。

2. 全射（Surjection）：世界を覆う写像

写像 $f:A\to B$ が全射であるとは、$B$ のすべての要素が、少なくとも一回は選ばれることである。 $\forall y\in B,\exists x\in A,f(x)=y$

• 直感的意味：終域 $B$ に「無駄」がない。$A$ の要素だけで $B$ 全体をカバーできている。
• 幾何学的意味：「被覆（Covering）」あるいは「射影（Projection）」。$A$ という大きな布を、$B$ という形に被せたり、押し潰したりする操作。影を落とす操作。
• 繊維の視点：どの繊維 $f^{-1}(y)$ も、空集合ではない（少なくとも1個以上の要素を含む）。

【圏論的視点：エピ射（Epimorphism）】 圏論では、全射に対応する概念を「エピ射」と呼び、**「右キャンセル可能」**として定義する。 任意の集合 $Z$ と任意の写像 $g,h:B\to Z$ に対して、 $g\circ f=h\circ f⟹g=h$ 「$f$ を通す前の段階（$A$からの入力）だけで $g$ と $h$ の挙動が完全に一致しているなら、それは $B$ 全体でも一致しているはずだ」。 なぜなら、$f$ は $B$ の隅々まで行き渡っている（全射である）からだ。もし $f$ が届かない死角が $B$ にあれば、そこでだけ $g$ と $h$ が違う値をこっそり取っているかもしれない。全射性はそれを許さない。

本章の主役は「全射」である

単射と全射、どちらも重要だが、本章のテーマである「商」の観点からは、圧倒的に**「全射」が主役である。 なぜなら、「商をとる」という行為は、数学的には「ある特別な全射を作ること」と同義だから**である。 全射は、定義域 $A$ が持っていた豊かな情報（広い空間）を、より小さな（あるいは粗い）終域 $B$ へと圧縮する。複数の $x$ を一つの $y$ に重ね合わせる。この「重ね合わせ」こそが同一視であり、商の正体なのだ。

単射が「構造のコピー」を作る技術なら、全射は「構造の抽出（本質の蒸留）」を行う技術であると言えるだろう。

---

【第3節】二項関係の幾何学

—— 直積集合の中の図形

写像は動的な矢印だが、より静的で一般的なつながりを記述するのが**「関係（Relation）」**である。 関係を理解するために、デカルトが導入した座標平面のアイデアを借りよう。

集合 $A$ と $B$ があるとき、その直積集合（Direct Product） $A\times B$ とは、ペア全体の集合である。 $A\times B=\{(a,b)\mid a\in A,b\in B\}$ $A$ を横軸、$B$ を縦軸にとれば、これは長方形の領域（グリッド）として視覚化できる。

関係とは「部分集合」である

$A$ から $B$ への二項関係 $R$ とは、この直積集合 $A\times B$ の部分集合のことである。 $R\subseteq A\times B$ 「$a$ と $b$ に関係がある（$aRb$）」とは、グリッド上の点 $(a,b)$ が、指定された領域 $R$ の中に入っている、ということに他ならない。

• 全関係： $R=A\times B$。全員が全員と関係している（黒塗りの長方形）。
• 空関係： $R=\varnothing$。誰も誰とも関係していない（真っ白な長方形）。
• 等号（$=$）： $A=B$ のとき、対角線上の点集合 $\Delta =\{(a,a)\mid a\in A\}$。

写像のグラフとしての関係

写像 $f:A\to B$ もまた、特殊な関係の一種と見ることができる。 写像 $f$ のグラフ（Graph）： $G_f=\{(x,f(x))\mid x\in A\}\subseteq A\times B$ これは、「各列（縦線）に対して、黒点がただ一つだけ打たれている」ような関係である。 「ただ一つ」という条件が、写像の決定性（迷わないこと）に対応している。

関係の合成

写像が合成できるように、関係も合成できる。 関係 $R\subseteq A\times B$ と $S\subseteq B\times C$ があるとき、合成関係 $S\circ R\subseteq A\times C$ は次のように定義される。 $(a,c)\in S\circ R⟺\exists b\in B\text{ s.t. }(a,b)\in R\wedge (b,c)\in S$ 「中継地点 $b$ が存在して、パスがつながるなら、関係ありとみなす」。 これは行列の乗算と同じ構造をしている（ブール行列の積）。圏論においては、関係の圏（Rel）という重要な舞台を形成する。

この「関係」という一般的すぎる枠組みに、たった3つの制限（反射・対称・推移）を加えるだけで、数学史上最も強力なツールの一つ「同値関係」が生まれる。それは、直積集合 $A\times A$ の中に描かれた、ある美しい幾何学的図形として理解することができる。

---

続く論点（第二部）

【第4節】同値関係の徹底解剖 —— 「＝」の一般化 【第5節】商集合の構成 —— 世界を畳み込む技術

第二部では、いよいよ核心部分である「同値関係」に入ります。これを単なる3条件の暗記ではなく、「情報の解像度を下げるフィルタ」として解説し、商集合 $A/\sim$ を具体的に構成します。

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