第4章：双対性の鏡 —— 部分対象と商対象

---

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

STEP 05 - 読み順

← 前のファイル	現在地	次のファイル →
[前のファイル](/数学における「同じ」とは/第3章：圏論的「商」の正体 —— 余等化子と普遍性)	第4章：双対性の鏡 —— 部分対象と商対象	[次のファイル](/数学における「同じ」とは/第5章：同型を超えて —— 随伴と圏同値)

深掘り関連ファイル:

• [第4章_05節_商対象（Quotient Object）の定義](/数学における「同じ」とは/第4章_05節_商対象（Quotient Object）の定義)
• 第4章_06節_極限（Limit）と余極限（Colimit）の対比

---

【導入】鏡の国のアリス

—— 矢印を逆転させるということ

ルイス・キャロルの『鏡の国のアリス』では、鏡の向こう側の世界はすべてがあべこべになっている。右は左に、左は右に。時計は逆回りに進み、結果が原因より先に起こる。 数学の世界にも、このような「鏡の国」が存在する。それが圏論における**「双対性（Duality）」**の世界である。

通常の数学理論では、定義を少し変えるだけで、全く別の理論体系になってしまうことがよくある。ユークリッド幾何学の公理を一つ変えれば非ユークリッド幾何学になり、微積分の順序を変えればルベーグ積分が必要になる。 しかし、圏論においては驚くべき現象が起きる。すべての矢印の向きを「逆」にするだけで、ある定理が自動的に別の定理へと生まれ変わり、しかもその真偽までもが保存されるのだ。

反対圏（Opposite Category） ${\mathcal{C}}^{op}$

圏 $\mathcal{C}$ があるとする。この圏のすべての矢印を、向きだけ逆さまにした新しい世界を考えよう。これを反対圏と呼び、${\mathcal{C}}^{op}$ と表記する。

• 対象：$\mathcal{C}$ と同じ。
• 射：$\mathcal{C}$ における射 $f:A\to B$ は、${\mathcal{C}}^{op}$ においては射 $f^{op}:B\to A$ とみなされる。
• 合成：$f$ の後に $g$ を合成する ($g\circ f$) ことは、反対圏では $g^{op}$ の「前」に $f^{op}$ を合成すること ($f^{op}\circ g^{op}$) に対応する。

これは単なる記号の遊びではない。 前章まで、我々は「商（Quotient）」という概念を、「情報を圧縮する（全射）」あるいは「差異を無視する（余等化子）」操作として見てきた。 では、この「商」の矢印をすべて逆転させると、一体何が現れるのだろうか？

• 「圧縮する（全射）」の逆は、「埋め込む（単射）」である。
• 「差異を無視する」の逆は、「一致する部分を選び出す」ことである。

そう、商の双対概念として、我々に馴染み深い**「部分（Sub）」**の概念が、鏡の向こう側から姿を現すのである。 本章では、この「双対性の鏡」を通して、数学的構造がいかに「商」と「部分」という対（ツイ）の概念によって支えられているかを解き明かしていく。 労せずして定理が2倍に増える、圏論ならではの魔法（エコシステム）を堪能しよう。

---

【第1節】双対性原理（Duality Principle）

—— 一粒で二度おいしい定理

圏論の教科書には、しばしば「この定理の双対もまた真である（Dually, …）」というフレーズが登場し、証明が省略されることがある。これは手抜きではない。**「双対性原理」**という強力な論理的基盤に基づいているからだ。

原理のステートメント

「圏論の言語だけで記述された命題 $P$ が、すべての圏において成り立つならば、その命題の中の矢印の向きをすべて逆転させ、合成の順序を入れ替えた命題 $P^{\ast }$ もまた、すべての圏において成り立つ」

なぜなら、命題 $P$ がすべての圏 $\mathcal{C}$ で成り立つなら、当然反対圏 ${\mathcal{C}}^{op}$ でも成り立つはずだからだ。そして ${\mathcal{C}}^{op}$ における命題 $P$ とは、元の圏 $\mathcal{C}$ の言葉に翻訳し直せば、双対命題 $P^{\ast }$ に他ならない。

双対概念のペア

この原理により、圏論の概念は必ず「双対ペア」として現れる。片方を学べば、もう片方は自動的についてくる。

概念A（元の世界）	概念A*（鏡の向こう側）	直感的イメージ
始対象 (Initial)	終対象 (Terminal)	何もない空っぽ $\leftrightarrow$ 全てが一点に集まる
射 (Domain $\to$ Codomain)	射 (Codomain $\to$ Domain)	入力 $\leftrightarrow$ 出力
モノ射 (Monomorphism)	エピ射 (Epimorphism)	単射（埋め込み） $\leftrightarrow$ 全射（被覆）
直和 (Coproduct)	直積 (Product)	並べる $\leftrightarrow$ 組にする
余等化子 (Coequalizer)	等化子 (Equalizer)	接着する $\leftrightarrow$ 切り出す
余極限 (Colimit)	極限 (Limit)	統合 $\leftrightarrow$ 制約

前章で学んだ「余等化子」の定義には「Co-」という接頭辞がついていた。これは「Equalizer（等化子）」の双対であることを示している。 歴史的には「等化子（部分集合）」の方が先に馴染みがあったため、商の方が「Co（余）」扱いされているが、圏論的には両者は完全に対等な存在である。

---

【第2節】等化子（Equalizer）

—— 差を見分ける「最良の」射

では、前章の主役「余等化子」を双対性の鏡に映してみよう。 余等化子は「2つの平行射 $f,g:A\to B$ の行先（Codomain）から出る射 $q:B\to Q$」であり、「差をなくす（$q\circ f=q\circ g$）」ものだった。

これを全部逆にすると、どうなるか？ 「2つの平行射 $f,g:A\to B$ の手前（Domain）に入ってくる射 $e:E\to A$」であり、「差がない場所を選ぶ（$f\circ e=g\circ e$）」ものになるはずだ。 これが**等化子（Equalizer）**である。

定義：等化子

圏 $\mathcal{C}$ における平行射 $f,g:A\to B$ に対し、対 $(E,e)$ がその等化子であるとは、以下の2条件を満たすことである。

1. 条件（可換性）: $f\circ e=g\circ e$ すなわち、$e$ で選ばれた領域 $E$ 上では、$f$ と $g$ の振る舞いが一致する。

2. 普遍性（Universality）: 任意の対象 $Z$ と任意の射 $h:Z\to A$ について、もし $f\circ h=g\circ h$ が成り立つならば、 射 $u:Z\to E$ がただ一つ存在して、 $h=e\circ u$ を満たす。

図式で描くと、余等化子の矢印をすべて逆にしたものになる。 $E\stackrel{e}{\to }A\rightrightarrows B$ （$u$ は $Z$ から $E$ へ入ってくる）

具体例：方程式の解集合

抽象的な定義だけでは味気ないので、集合圏 Set での姿を見てみよう。 $f,g:A\to B$ に対して、等式 $f(x)=g(x)$ を満たす $x$ を全部集めてくる。 $E=\{x\in A\mid f(x)=g(x)\}$ そして $e:E\hookrightarrow A$ を包含写像とする。 これはまさに、方程式 $f(x)=g(x)$ の**「解集合（Solution Set）」**である。

• 余等化子が「$f(x)=g(x)$ となるように無理やり世界を潰す（商）」操作だったのに対し、
• 等化子は「$f(x)=g(x)$ となるような平和な場所だけを選び出す（部分）」操作である。

群の圏 Grp においても同様だ。準同型 $f,g:G\to H$ に対し、 $E=\{x\in G\mid f(x)=g(x)\}$ は $G$ の部分群となり、これが等化子である。 特に、片方の射 $g$ が「常に単位元 $e$ を返す射（ゼロ射）」だった場合、 $E=\{x\in G\mid f(x)=e\}=\text{Ker}(f)$ となり、これは有名な**「核（Kernel）」**の定義そのものになる。 つまり、核とは「ある射とゼロ射の等化子」のことなのだ。

---

【第3節】部分対象（Subobject）の定義

—— 「含まれている」とは何か

等化子の例からも分かる通り、等化子 $e:E\to A$ は、多くの場合「単射（モノ射）」になる。 これは直感的にも正しい。何かの一部を選び出す操作（サンプリング）は、情報を歪めたり重複させたりしない（単射的である）べきだからだ。

圏論では、この「モノ射」を使って、集合論における「部分集合」の概念を一般化する。

モノ射による「部分」の表現

対象 $A$ の「部分」を考えたい。しかし圏論には「要素」がないので、「$x\in A$ なる要素の集まり」とは言えない。 そこで、「$A$ の中へ埋め込まれる対象 $S$」と、その埋め込み方 $m:S\hookrightarrow A$ のペア $(S,m)$ を考える。 ここで $m$ はモノ射でなければならない。 （※注意：単射でない写像で $A$ に入る場合、それは $S$ が $A$ の中で「潰れて」いるかもしれず、純粋な「部分」とは言えないからだ。）

部分対象の同値関係

しかし、これだけでは問題がある。 例えば、集合 $A=\{1,2,3\}$ に対し、

• $S_1=\{1,2\}$ と包含写像 $m_1:S_1\to A$
• $S_2=\{a,b\}$ と写像 $m_2:S_2\to A$ （$a\mapsto 1,b\mapsto 2$） この二つは、使っている文字（要素の名前）は違うが、$A$ の部分集合としては「同じもの（$\{1,2\}$）」を指しているはずだ。 圏論では、これらを同一視したい。

そこで、2つのモノ射 $m:S\hookrightarrow A$ と $m^{\prime }:S^{\prime }\hookrightarrow A$ が同値であるという定義を、以下のように定める。 「同型射 $i:S\to S^{\prime }$ が存在して、$m=m^{\prime }\circ i$ となる（三角形が可換になる）とき、これらは同じ部分を定めているとみなす」

この同値関係による同値類を、対象 $A$ の**「部分対象（Subobject）」**と呼ぶ。 記号で書くなら、$Sub(A)$ は $A$ へのモノ射の同値類の集まりである。

引き戻し（Pullback）：部分の逆像

部分対象に関わる最も重要な操作の一つが**「引き戻し（Pullback）」**である。 写像 $f:B\to A$ と、部分対象 $S\hookrightarrow A$ があるとき、「$S$ の $f$ による逆像 $f^{-1}(S)$」を $B$ の中に作りたい。 集合論なら $f^{-1}(S)=\{b\in B\mid f(b)\in S\}$ だが、圏論ではこれを普遍性（デカルト図式）で定義する。

$$\begin{array}{ccc}{f}^{-1}(S)& \stackrel{f^{\prime }}{\to }& S\\ \downarrow & & \downarrow m\\ B& \stackrel{f}{\to }& A\end{array}$$

この四角形が可換で、かつ普遍性を持つ（Pullbackである）とき、左側の縦矢印が定める部分対象が、$S$ の引き戻しとなる。 この操作は、幾何学における「ファイバー積」や、データベースにおける「テーブル結合」と同じ構造をしており、部分と部分の共通部分（Intersection）をとる操作の一般化でもある。

こうして定義された「部分対象」の世界は、我々がよく知る集合の包含関係（$S\subseteq A$）の構造を、驚くほど忠実に、かつ一般的に再現してくれる。

---

続く論点（第二部）

【第4節】商対象（Quotient Object）の定義 —— エピ射による等価 【第5節】像と余像（Image and Coimage） —— 写像の分解ふたたび

第二部では、双対性の鏡をもう一度使い、「部分対象（モノ射）」の双対として「商対象（エピ射）」を定義します。そして、任意の写像が「商をとって（余像）、埋め込む（像）」というプロセスに分解される様子を、圏論的に厳密に記述します。ここで「準同型定理」が圏論の言葉で完全復活します。

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