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

---

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

STEP 02 - 読み順

← 前のファイル	現在地	次のファイル →
[前のファイル](/数学における「同じ」とは/序章：数学における「同じ」とは何か —— 同一性と同一視の数理哲学)	第1章：集合論における類似と商 —— 具体から抽象へ	[次のファイル](/数学における「同じ」とは/第2章：圏論の基礎言語 —— 構造との関係性)

深掘り関連ファイル:

• 第1章_04節_同値関係の徹底解剖
• 第1章_06節_写像の分解定理

拡張版: [拡張版](/数学における「同じ」とは/第1章：集合論における類似と商 —— 具体から抽象へ拡張版)

---

目次

1. 【導入】集合論という「数学の共通語」 —— その威力と限界
2. 【第1節】写像の解剖学 —— 行き先を決めるということ
3. 【第2節】「単射」と「全射」の再発見 —— 埋め込みと被覆
4. 【第3節】二項関係の幾何学 —— 直積集合の中の図形
5. 【第4節】同値関係の徹底解剖 —— 「＝」の一般化
6. 【第5節】商集合の構成 —— 世界を畳み込む技術
7. 【第6節】写像の分解定理 —— 第一同型定理の原型
8. 【第7節】普遍性へのプレリュード —— 商写像の「最強」性

---

各節の詳細

1. 【導入】集合論という「数学の共通語」 (約2,000文字)

• カントールの楽園:
  • 19世紀末、カントールによって創始された集合論が、いかにして数学の「標準語」となったか。
  • 「ものの集まり」を一つの対象として扱うことの革命性。無限を飼い慣らす檻としての集合。
• 要素還元主義の限界:
  • 集合論は「要素（元）」が何であるかに固執する。$x\in A$ という所属関係がすべて。
  • しかし、構造や関係性を見るには、要素の中身を見るのをやめる必要がある。
• 本章の狙い:
  • 古典的な集合論の定義（外延的定義）を確認しつつ、それを「矢印（写像）の言葉」へ翻訳していく。
  • 「商集合」を単なる記号操作ではなく、「情報の圧縮装置」として捉え直す。

2. 【第1節】写像の解剖学 (約2,500文字)

• 写像（Function/Map）の厳密な定義:
  • 定義域（Domain）、終域（Codomain）、グラフ（Graph）。
  • $f:A\to B$ という記法における $A$ と $B$ の非対称性。
• 「関数」から「写像」へ:
  • 数が数へ移るだけでなく、図形が図形へ、集合が集合へ移る。動的なプロセスとしての写像。
• 繊維（Fiber）の概念:
  • 逆像 $f^{-1}(y)=\{x\in A\mid f(x)=y\}$。
  • これを「$y$ に潰される運命にある $A$ の部分集合」と捉える。
  • すべての写像は、定義域を繊維に分割している（これが後の「商」につながる伏線）。

3. 【第2節】「単射」と「全射」の再発見 (約3,000文字)

• 単射（Injection）:
  • 定義：$x\ne y⟹f(x)\ne f(y)$。
  • 意味：情報を失わない写像。「埋め込み（Embedding）」。
  • 圏論的視点：モノ射（Monomorphism）。左側からキャンセル可能（$f\circ g=f\circ h⟹g=h$）。
  • 「サンプリング」としての単射。
• 全射（Surjection）:
  • 定義：$\forall y\in B,\exists x\in A,f(x)=y$。
  • 意味：世界を覆い尽くす写像。「被覆（Covering）」あるいは「圧縮」。
  • 圏論的視点：エピ射（Epimorphism）。右側からキャンセル可能（$g\circ f=h\circ f⟹g=h$）。
  • 本章の主役は全射である。なぜなら、「商をとる」とは、ある全射を作ることと同義だからである。
• 全単射（Bijection）:
  • 名前の付け替えに過ぎない写像。構造的な差異がない状態。

4. 【第3節】二項関係の幾何学 (約2,500文字)

• 直積集合 $A\times A$ の視覚化:
  • 2次元グリッドとしての関係。対角線 $\Delta =\{(x,x)\mid x\in A\}$ が「等号」を表す。
• 関係 $R\subseteq A\times A$:
  • グリッド上の点の分布として関係を捉える。
  • 順序関係（$\le$）なら対角線の下側半分、関数なら各列に点が一つ、などの幾何学的イメージ。
• 関係の合成:
  • 行列の積のように、関係も合成できる。推移律 $R\circ R\subseteq R$ の意味。

5. 【第4節】同値関係の徹底解剖 (約3,000文字)

• 3条件の再考（圏論的萌芽を含めて）:
  1. 反射律: 対角線 $\Delta$ を含む。すべての点は自分と関係がある。
  2. 対称律: 対角線に関して対称。 $(x,y)\in R⟺(y,x)\in R$。
  3. 推移律: パスがつながれば、それは直結しているとみなす。$R\circ R\subseteq R$。
• 「粗視化」としての同値関係:
  • 同値関係とは、高解像度のピクセル（元の要素）を、ぼかして大きなブロック（同値類）にするフィルタである。
  • 例：実数 $\mathbb{R}$ における $x\sim y⟺x-y\in \mathbb{Z}$。数直線を「円」に巻き取る関係。
• 分割（Partition）との等価性:
  • 同値関係を定義することと、集合を互いに素なブロックに分割することは、全く同じ行為であることの証明。

6. 【第5節】商集合の構成 —— 世界を畳み込む技術 (約3,000文字)

• 商集合 $A/\sim$ の定義:
  • 同値類 $[x]$ を一つの「点」とみなす精神的跳躍。
  • 「集合の集合」という階層構造を、フラットな「新しい集合」と見なす視点の転換。
• 商写像（自然な射影） $\pi :A\to A/\sim$:
  • 要素 $x$ をその所属するクラス $[x]$ に送る写像。
  • この写像は、情報を捨てる（$x$ の個性を消して、所属グループのラベルだけ残す）プロセスである。
  • 「同一視する」とは、この写像 $\pi$ を通して世界を見ることである。
• 具体例のオンパレード:
  • $\mathbb{Z}/n\mathbb{Z}$（剰余類）。
  • ベクトル空間の商 $V/W$（視点の平行移動）。
  • 図形の貼り合わせ（正方形の辺を同一視してトーラスを作る）。

7. 【第6節】写像の分解定理 —— 第一同型定理の原型 (約2,500文字)

• 写像が生み出す同値関係:
  • 任意の写像 $f:A\to B$ に対し、関係 $x{\sim }_{f}y⟺f(x)=f(y)$ は同値関係になる（核 Kernel）。
  • 「同じ行き先を持つもの同士は仲間」という自然な発想。
• 分解定理（Factorization Theorem）:
  • 写像 $f$ は、必ず「全射（商写像）」と「単射（埋め込み）」に分解できる。
  • $f=\iota \circ \bar{f}\circ \pi$。
  • $A\stackrel{\text{商}}{\to }A/{\sim }_f\stackrel{\text{同型}}{\to }\text{Image}(f)\stackrel{\text{埋め込み}}{\to }B$。
• 意義:
  • あらゆる写像は、その内部に「商」の構造を隠し持っている。
  • 「像（Image）」とは、定義域 $A$ の商集合のコピーに他ならない。

8. 【第7節】普遍性へのプレリュード —— 商写像の「最強」性 (約1,500文字)

• 商写像 $\pi$ の特別な性質:
  • $f:A\to B$ が $x\sim y⟹f(x)=f(y)$ を満たすなら、必ず一意的な写像 $\bar{f}:A/\sim \to B$ が存在して $f=\bar{f}\circ \pi$ となる。
  • この図式の可換性（三角形が閉じること）。
• 「普遍性（Universal Property）」という言葉の導入:
  • $\pi$ は、関係 $\sim$ をつぶすような写像の中で「最も一般的（initial）」なものである。
  • 他のどんな写像も、$\pi$ を経由して（$\pi$ の変種として）表現できる。
  • これが次章以降の圏論における「余等化子」の定義そのものであることを示唆して終わる。

---

この構成は、単に集合論の教科書をなぞるのではなく、「商（Quotient）」という操作がいかに数学的認識の中心にあるかを浮き彫りにするように設計されています。また、随所に圏論的な用語（エピ射、モノ射、可換図式、普遍性）への布石を打つことで、第2章へのスムーズな接続を保証します。