第3章：圏論的「商」の正体 —— 余等化子と普遍性

---

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

STEP 04 - 読み順

← 前のファイル	現在地	次のファイル →
[前のファイル](/数学における「同じ」とは/第2章：圏論の基礎言語 —— 構造との関係性)	第3章：圏論的「商」の正体 —— 余等化子と普遍性	[次のファイル](/数学における「同じ」とは/第4章：双対性の鏡 —— 部分対象と商対象)

深掘り関連ファイル:

• [第3章_03節_普遍性（Universal Property）の解読](/数学における「同じ」とは/第3章_03節_普遍性（Universal Property）の解読)
• [第3章_06節_位相空間の圏 Top における余等化子](/数学における「同じ」とは/第3章_06節_位相空間の圏 Top における余等化子)

---

【導入】「割る」ことの一般化

—— 割り算からイデアル、そして圏論へ

「商（Quotient）」という言葉を聞いて、真っ先に思い浮かぶのは何だろうか？ おそらく、小学校で習った割り算の答えだろう。 $12÷4=3$ この式は、12個のリンゴを4個ずつのグループに分けると、3つのグループができることを意味している。あるいは、12という量を4という単位で測り直すと、値は3になるということだ。 ここには、**「差異の無視」あるいは「同一視」**という思想が含まれている。 12個のリンゴはそれぞれ異なる個体だが、「4個の塊」という観点からは、第1グループも第2グループも「同じ1単位」として扱われる。個々のリンゴの個性は捨象され、塊としての個数だけが残る。

代数学における「商」の進化

数学が進むにつれ、この「割る」という操作は高度に抽象化されていく。 群論や環論では、「数」ではなく「構造」を割る。 整数環 $\mathbb{Z}$ を $n$ の倍数 $n\mathbb{Z}$ で割った剰余環 $\mathbb{Z}/n\mathbb{Z}$。ここでは、「差が $n$ の倍数である」二つの数を同一視する。 $a\equiv b(\mathrm{mod}n)⟺a-b\in n\mathbb{Z}$ つまり、$a$ と $b$ の「差異（$a-b$）」が、割る数（イデアル）の中に吸い込まれて消滅するとき、両者は「等しい」とみなされる。 ここでの「商をとる」とは、**「特定の差異をゼロ（無かったこと）にする」**という強力な強制操作に他ならない。

集合論的アプローチの限界

第1章では、この操作を「同値関係」を使って定式化した。 まず関係 $\sim$ を作り、それで全体を割って商集合 $A/\sim$ を作る。 しかし、このやり方には弱点がある。対象が複雑な構造（群や位相空間）を持つ場合、作った同値関係がその構造と相性が良いか（well-definedか）を、いちいち手作業でチェックしなければならないのだ。 「演算と可換か？」「開集合の構造を壊さないか？」 この泥臭い作業は、本質的な数学的思考の妨げになりかねない。

圏論によるコペルニクス的転回

圏論は、この問題を全く逆の視点から解決する。 「内部構造をいじって商を作る」のではなく、**「外部との関係性において、商として振る舞うべき対象」を定義し、それを商と呼ぶのである。 中身は見ない。働き（Role）だけを見る。 そのための道具が、本章の主役「余等化子（Coequalizer）」**である。

余等化子は、集合だけでなく、群、環、位相空間、加群など、あらゆる数学的対象における「商」の概念を、たった一つの定義で統一する。 「割る」という行為の真の姿が、今ここで明らかになる。

---

【第1節】図式の可換性と「差」の表現

余等化子を定義するためには、まず「差」という概念を圏論的に表現しなければならない。 圏論には引き算（$-$）はない。あるのは射（矢印）だけだ。 では、どうやって「$f$ と $g$ の違い」を表現するのか？ 答えはシンプルだ。**「2本の矢印を並べる」**のである。

平行射（Parallel morphisms）

2つの対象 $A,B$ の間に、同じ方向に向かう2つの射 $f,g$ がある状況を考える。 $A\underset{g}{\overset{f}{\to }}B$ これを平行射と呼ぶ。 この図式は、単に矢印が2本あるという以上の意味を持つ。 集合の圏 Set で考えてみよう。$A$ の要素 $x$ に対し、

• $f$ は値 $f(x)$ を返す。
• $g$ は値 $g(x)$ を返す。 この2つの値 $f(x)$ と $g(x)$ が異なるとき、そこには「ズレ」や「差異」が存在する。 逆に言えば、この平行射のペア $(f,g)$ は、**「$B$ の中の要素たちが、どれくらいズレているか」という情報（差異のカタログ）**を提示しているのである。

差異の解消：方程式 $f(x)=g(x)$

我々が「商をとる」ときにやりたいことは、このズレを解消することだ。つまり、 $f(x)=g(x)$ という方程式を、無理やりにでも成立させたい。 圏論では、要素 $x$ を使わずにこれをどう書くか？ 第3の対象 $Q$ と、射 $q:B\to Q$ を導入して、こう書く。 $q\circ f=q\circ g$ 図式で書けば、以下のようになる。 $A\underset{g}{\overset{f}{\to }}B\stackrel{q}{\to }Q$ この $q\circ f=q\circ g$ という等式は、何でもないように見えて、実は強烈な主張をしている。 「$B$ の世界では $f(x)$ と $g(x)$ は別物だったかもしれない。しかし、$q$ を通して $Q$ の世界に行けば、それらは完全に一致する（区別がつかなくなる）」 射 $q$ は、$f$ と $g$ が作り出す差異を「無かったこと」にする抹殺者なのである。

フォーク（Fork）図式

このような図式 $A\rightrightarrows B\stackrel{q}{\to }Q$ を、その形状（食器のフォークに似ている）からフォーク図式と呼ぶことがある。 しかし、単に $q\circ f=q\circ g$ を満たす $q$ なら、いくらでも存在する。 例えば、すべての要素をたった一点に潰してしまう定値写像 $z:B\to \{\ast \}$ を考えれば、当然 $z\circ f=z\circ g$ は成り立つ。 「差異をなくせ」と言われて、世界ごと消滅させてしまっては意味がない。我々が欲しいのは、差異をなくしつつも、それ以外の必要な情報は可能な限り残すような、**「ギリギリの同一視」**である。

そこで登場するのが、圏論の伝家の宝刀**「普遍性（Universal Property）」**である。

---

【第2節】余等化子（Coequalizer）の定義

—— 差をゼロにする「最良の」射

お待たせした。いよいよ圏論における「商」の正式な定義、余等化子を導入する。 定義は2段階構成になっている。「条件（可換性）」と「普遍性」だ。

【定義：余等化子】 圏 $\mathcal{C}$ における平行射 $f,g:A\to B$ に対し、対 $(Q,q)$ がその**余等化子（Coequalizer）**であるとは、以下の2条件を満たすことである。 （ここで $Q$ は対象、$q:B\to Q$ は射である）

1. 条件（可換性）: $q\circ f=q\circ g$ すなわち、$q$ は $f$ と $g$ の差を解消する。

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

これを可換図式で描くと、以下のようになる。

$$\begin{array}{ccccc}A& \stackrel{f}{\to }& B& \stackrel{q}{\to }& Q\\ & \stackrel{g}{\to }& \downarrow h& {\swarrow }_u& \\ & & Z& & \end{array}$$

（注：$u$ は破線で描かれることが多い。$Q$ から $Z$ へ向かう唯一のルートがあることを示している）

この定義は何を言っているのか？

普遍性のステートメントは、慣れないと呪文のように見える。一つずつ解読していこう。

• 対象 $Z$ と射 $h$: これらは「$f$ と $g$ を同一視するような、その他の有象無象の射たち」である。例えば、世界を一点に潰すような乱暴な射もここに含まれる。彼らは $Q$ のライバル（候補者）たちだ。
• 射 $u$ の存在: ライバル $h$ は、必ず $Q$ を経由して（$u$ と $q$ の合成として）表現できる。これは、$Q$ がライバルたちの中で**「最も基本的（fundamental）」あるいは「最も上流にある」**ことを意味する。$h$ が行っている同一視は、実は $q$ が行った同一視の「焼き直し（加工）」に過ぎないのだ。
• 射 $u$ の一意性: $u$ がただ一つに決まる。これは、$Q$ が $B$ の情報を「必要以上に捨てていない」ことを意味する。もし $Q$ が余計な情報を捨ててしまっていたら、その失われた情報を補完するために $u$ の選び方に自由度（迷い）が生じるかもしれない。迷いがないということは、$Q$ は「差をなくす」というミッションに対して、過不足なく完璧な仕事をしているということだ。

「最良」の意味：始対象性

圏論の言葉を使えば、この普遍性は次のように言い換えられる。 「平行射 $f,g$ を等化する射のなす圏において、$(Q,q)$ は**始対象（Initial Object）**である」 始対象とは、そこから他のすべての対象へ、ただ一本の矢印が出るような対象のことだ。 すべての川の源流。すべての物語の始まり。 余等化子 $Q$ は、無数にある「商のようなもの」たちの中で、最も原始的で、最も純粋な「商」なのである。

記法について

余等化子 $(Q,q)$ の対象 $Q$ を、しばしば $\text{Coeq}(f,g)$ と書く。また、具体的な集合論の文脈では、商集合の記法を借りて $B/(f\sim g)$ のようなイメージで捉えられることもある。

しかし重要なのは、$Q$ が具体的にどう構成されるか（要素がどうなるか）ではない。**「他のすべての射 $h$ に対して、一意的な分解 $h=u\circ q$ を与える」という機能（Role）**こそが余等化子の本質なのだ。 この機能さえ満たせば、中身が何であろうと、それは「商」として正しく振る舞うことが保証される。

---

続く論点（第二部）

【第3節】普遍性（Universal Property）の解読 —— 「始対象」としての商 【第4節】集合圏 Set における余等化子 —— 商集合の再発見 【第5節】群の圏 Grp における余等化子 —— 正規部分群の謎解き

第二部では、抽象的な「普遍性」の概念を、身近な「外注（アウトソーシング）」のメタファーで噛み砕きます。そして、実際に集合や群の圏で余等化子を計算してみることで、我々がよく知る「商集合」や「剰余群」が、いかに自然に導出されるかを目撃します。

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