第5章：同型を超えて —— 随伴と圏同値

---

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

STEP 06 - 読み順

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

深掘り関連ファイル:

• 第5章_04節_随伴の定義その2：単位と余単位
• 第5章_06節_随伴が保存するもの

---

【導入】厳密すぎる「同じ」からの脱却

—— 翻訳可能性としての類似

これまでの章で、我々は数学的な「同じ」を定義するために、**「同型（Isomorphism）」**という概念を用いてきた。 全単射があり、構造が保たれること。行って帰ってきたら元通りになること（逆射の存在）。 これは非常に強力で、完璧な同一性の定義に見える。

しかし、数学の世界（特に圏論的な視界）が広がるにつれ、この「同型」という基準は、時として**「厳しすぎる（Strictすぎる）」ことが判明してくる。 日常生活で例えてみよう。日本語の「猫」と英語の「Cat」は、言語として同型だろうか？ 構造主義的に見れば、日本語の文法構造と英語の文法構造は全く異なる。単語の数も一対一には対応しない（例えば「兄」「弟」と「Brother」の関係など）。 したがって、日本語と英語は同型ではない**。

しかし、我々は日本語の小説を英語に翻訳して楽しむことができる。意味内容は（ある程度のニュアンスの差異を含みつつも）保存され、物語の感動は共有される。 この**「翻訳可能性（Translatability）」**こそが、異なる文化圏をつなぐ「類似性」の本質ではないだろうか？

数学における「翻訳」の必要性

数学でも同じことが起きる。 例えば、「有限次元ベクトル空間の圏 Vect」と、「行列の圏 Mat」を考えよう。 ベクトル空間は、基底を選ばない抽象的な空間だ。行列は、数字が並んだ具体的な表だ。 これらは定義からして別物であり、圏としても厳密には同型ではない（Vect の対象は無数にあるが、Mat の対象は自然数 $n$ だけだ）。

しかし、すべての線形代数の教科書は教えている。「基底を一つ固定すれば、ベクトル空間は数ベクトル空間と同一視でき、線形写像は行列と同一視できる」と。 数学者たちは肌感覚として、Vect と Mat は「実質的に同じ世界」であることを知っている。 この「実質的に同じ」という感覚を、数学的に正当化するには、「同型」よりも緩く、しかし論理的には強靭な、新しい「同一視」の概念が必要になる。

それが**「圏同値（Equivalence of Categories）」であり、さらにその奥にある巨大な概念「随伴（Adjunction）」**である。 本章では、同型という狭い檻を抜け出し、この広大な「翻訳」の海へと漕ぎ出す。そこでは、一見全く無関係に見える数学の分野同士が、驚くべきパートナーシップで結ばれている姿を目撃することになる。

---

【第1節】圏同値（Equivalence of Categories）

—— 「本質的」な等しさ

二つの圏 $\mathcal{C}$ と $\mathcal{D}$ が「本質的に同じ」であるとはどういうことか。 同型 ($F\circ G=Id,G\circ F=Id$) の定義を少しだけ緩めてみよう。 「行って帰ってきたら、元の対象 $X$ と完全に一致する」のではなく、「元の対象 $X$ と同型な対象に戻ってくる」ことを許容するのだ。

定義：圏同値

圏 $\mathcal{C}$ と $\mathcal{D}$ が圏同値であるとは、関手 $F:\mathcal{C}\to \mathcal{D}$ と $G:\mathcal{D}\to \mathcal{C}$ が存在して、以下の自然同型が成り立つことである。 $G\circ F\cong I{d}_{\mathcal{C}}\text{かつ}F\circ G\cong I{d}_{\mathcal{D}}$ このとき、$F$ と $G$ を互いに同値関手と呼ぶ。

この定義の意味するところは、「翻訳して、逆翻訳すると、元の文と一字一句同じにはならないが、意味（同型類）は同じになる」ということだ。 例えば、ベクトル空間 $V$ を行列の世界へ翻訳（$F$）し、またベクトル空間の世界へ逆翻訳（$G$）したとする。 戻ってきた空間 $G(F(V))$ は、元の $V$ と全く同一の集合ではないかもしれない（「数ベクトル空間 ${\mathbb{R}}^n$」になって戻ってくるかもしれない）。しかし、$V$ と ${\mathbb{R}}^n$ の間には自然な同型がある。数学をする上ではそれで十分なのだ。

「悪魔」との契約と骨格

圏論には**「同型な対象は区別しない」という不文律がある。 これを徹底すると、「圏同値な二つの圏は、圏論的な性質（極限の有無、完全列の振る舞いなど）をすべて共有する」という定理が導かれる。 つまり、圏同値な圏同士は、数学的な真理において「区別がつかない」**のである。

ここで**「骨格（Skeleton）」という概念を紹介しよう。 圏 $\mathcal{C}$ の中で、互いに同型な対象たちの中から代表選手を一人ずつ選んで、それ以外を捨て去った（商をとった）痩せこけた圏を、$\mathcal{C}$ の骨格 $sk(\mathcal{C})$ と呼ぶ。 実は、「$\mathcal{C}$ と $\mathcal{D}$ が圏同値であること」と「それらの骨格 $sk(\mathcal{C})$ と $sk(\mathcal{D})$ が同型であること」は同値**である。

圏同値とは、**「贅肉（重複した同型な対象）を削ぎ落とせば、骨格は完全に一致する」**という状態を指しているのだ。 これは、前章までの「商（同一視）」の思想が、圏そのものの比較論へと昇華された姿とも言える。

---

【第2節】随伴（Adjunction）の導入

—— 圏論最大の概念

圏同値は「ほぼ同じ」という対等な関係だった。 しかし、数学における翻訳は、常に対等とは限らない。

• 「3次元の現実」を「2次元の写真」に翻訳する（情報の欠落）。
• 「文字の集合」から「自由群」を生成する（構造の付加）。

このような、非対称で、一方が他方の「最適解（Best approximation）」になっているような関係を記述するのが、圏論の創始者たちが到達した最大の概念、**「随伴（Adjunction）」**である。 マックレーンは言った。「至る所に随伴あり（Adjoint functors arise everywhere）」と。

左右のテンション

随伴関係にある二つの関手は、常にペアで登場し、互いに逆方向を向いている。

• $F:\mathcal{C}\to \mathcal{D}$ （左随伴関手 Left Adjoint）
• $G:\mathcal{D}\to \mathcal{C}$ （右随伴関手 Right Adjoint） 記号では $F⊣G$ と書く。

この二つは、同値関手のように $G\circ F\cong Id$ とはならない。翻訳には「誤差」や「歪み」が生じる。 しかし、その歪み方がデタラメではなく、ある種の**「バランス（均衡状態）」**を保っているのが随伴の特徴である。 右に行こうとする力（$F$）と、左に戻ろうとする力（$G$）が、随伴というロープで繋がれて引っ張り合っている状態をイメージしてほしい。

---

【第3節】随伴の定義その1：Hom集合の同型

—— 翻訳の双対性

随伴の定義にはいくつかの等価な表現があるが、最も直感的で、かつ「翻訳」のメタファーに適しているのが、Hom集合（射の集合）の同型による定義である。

定義：随伴（Hom-set definition）

圏 $\mathcal{C},\mathcal{D}$ と関手 $F:\mathcal{C}\to \mathcal{D},G:\mathcal{D}\to \mathcal{C}$ が随伴関係 $F⊣G$ にあるとは、 任意の対象 $X\in \mathcal{C}$ と $Y\in \mathcal{D}$ に対して、以下の自然な全単射が存在することである。 ${\Phi }_{X,Y}:Ho{m}_{\mathcal{D}}(F(X),Y)\stackrel{\cong }{\to }Ho{m}_{\mathcal{C}}(X,G(Y))$

この数式は何を語っているのだろうか？ 左辺と右辺をじっくり見比べてみよう。

• 左辺 $Ho{m}_{\mathcal{D}}(F(X),Y)$:

  • 舞台は $\mathcal{D}$ の世界。
  • $X$ をこちらへ翻訳してきた $F(X)$ から、$Y$ への射。
  • 「翻訳後の世界で、課題 $Y$ にアプローチする」

• 右辺 $Ho{m}_{\mathcal{C}}(X,G(Y))$:

  • 舞台は $\mathcal{C}$ の世界。
  • $X$ から、課題 $Y$ をこちらへ翻訳し直した $G(Y)$ への射。
  • 「翻訳前の世界で、翻訳された課題 $G(Y)$ にアプローチする」

随伴の定義は、この二つのアプローチが**「完全に一対一に対応する（等価である）」**と主張している。 つまり、 「問題を翻訳してから解くこと（左辺）と、解法を翻訳してから適用すること（右辺）は、数学的コストにおいて等価である」 という驚くべきバランスシートを提示しているのだ。

具体例：自由群と忘却関手

最も有名な例で確認しよう。

• $\mathcal{C}=\mathbf{Set}$ （集合の圏）
• $\mathcal{D}=\mathbf{Grp}$ （群の圏）
• $F$: 自由群を作る関手（集合 $S$ から、文字の並びで作った群 $F(S)$ へ）
• $G$: 忘却関手（群 $H$ から、演算を忘れた集合 $U(H)$ へ）

このとき、随伴式はこうなる。 $Ho{m}_{\mathbf{Grp}}(F(S),H)\cong Ho{m}_{\mathbf{Set}}(S,U(H))$

• 左辺: 自由群 $F(S)$ から群 $H$ への群準同型。これは群論の問題。
• 右辺: 生成元の集合 $S$ から、群の台集合 $U(H)$ へのただの写像。これは集合論の問題。

この同型は、以下の事実を表している。 「自由群 $F(S)$ からどこかの群 $H$ への準同型を決めるには、生成元 $S$ がどこに行くか（右辺）さえ決めれば十分である。それだけで、準同型は一意に決まる（左辺）」 これを**「自由群の普遍性」と呼ぶ。 つまり、一見複雑な「群準同型の決定問題」が、随伴というレンズを通すことで、極めて単純な「行き先指定問題」へと翻訳（簡約）**されたわけだ。

随伴とは、このように**「難しい世界の問題を、易しい世界の言葉で記述するための辞書」**として機能する。 そして、この辞書が常に使えるわけではない（随伴が存在するとは限らない）からこそ、随伴関手が見つかったとき、数学者は「宝脈を見つけた」と歓喜するのである。

---

続く論点（第二部）

【第4節】随伴の定義その2：単位と余単位（Unit & Counit） —— 往復の誤差 【第5節】自由関手と忘却関手の随伴 —— 「生成」と「制約」のダンス

第二部では、随伴のもう一つの定義である「単位・余単位」を導入します。これは「行って帰ってくる」操作に伴う必然的な「誤差」を記述するもので、商概念（可換化など）を理解する上で決定的な役割を果たします。

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