【第4節】随伴の定義その2：単位と余単位

【第4節】随伴の定義その2：単位と余単位

—— 往復の誤差

前節では、随伴 $F⊣G$ を「Hom集合の間の全単射」として定義した。 $\Phi :Ho{m}_{\mathcal{D}}(F(X),Y)\cong Ho{m}_{\mathcal{C}}(X,G(Y))$ この全単射 $\Phi$ に、特別な射を代入してみよう。すると、随伴関係が持つ動的な性質——「行って帰ってくると何が起きるか」——が見えてくる。

1. 単位（Unit）：生成への入り口

右辺の $Y$ に、あえて $F(X)$ を代入してみる。 すると左辺は $Ho{m}_{\mathcal{D}}(F(X),F(X))$ となり、ここには必ず恒等射 $i{d}_{F(X)}$ が存在する。 この $i{d}_{F(X)}$ に対応する右辺の射を ${\eta }_X$ と名付けよう。 ${\eta }_X=\Phi (i{d}_{F(X)}):X\to G(F(X))$ この射の族 $\eta :I{d}_{\mathcal{C}}\to G\circ F$ を、随伴の**単位（Unit）**と呼ぶ。

• 直感的解釈:
  • $X\stackrel{F}{\to }F(X)\stackrel{G}{\to }G(F(X))$。
  • 「素材 $X$ を加工して製品 $F(X)$ にし、それを再び素材として評価 $G$ すると、元の $X$ がそこに含まれている（埋め込まれている）」。
  • 例えば、集合 $S$ から自由群 $F(S)$ を作り、それを集合 $U(F(S))$ とみなす。元の文字集合 $S$ は、この巨大な集合の中に自然に含まれている。${\eta }_S:S\hookrightarrow U(F(S))$ はその包含写像である。
  • 単位 $\eta$ は、**「生成の種（X）を、生成された世界（GF(X)）へと送り込む射」**である。

2. 余単位（Counit）：近似の出口

今度は逆に、左辺の $X$ に $G(Y)$ を代入してみる。 右辺は $Ho{m}_{\mathcal{C}}(G(Y),G(Y))$ となり、恒等射 $i{d}_{G(Y)}$ がある。 これに対応する左辺の射を ${ϵ}_Y$ と名付けよう（逆方向の対応 ${\Phi }^{-1}$ を使う）。 ${ϵ}_Y={\Phi }^{-1}(i{d}_{G(Y)}):F(G(Y))\to Y$ この射の族 $ϵ:F\circ G\to I{d}_{\mathcal{D}}$ を、随伴の**余単位（Counit）**と呼ぶ。

• 直感的解釈:
  • $G(Y)\stackrel{F}{\to }F(G(Y))\stackrel{ϵ}{\to }Y$。
  • 「製品 $Y$ を分解して素材 $G(Y)$ に戻し、それを再構築 $F$ すると、元の製品 $Y$ を近似（あるいは被覆）するものができる」。
  • 例えば、群 $H$ を集合 $U(H)$ にして、そこから自由群 $F(U(H))$ を作る。この巨大な自由群から、元の群 $H$ への自然な全射（準同型）が存在する。
  • 余単位 $ϵ$ は、**「再構築された世界（FG(Y)）から、現実の世界（Y）への写像（評価射）」**である。
  • ここで重要なのは、$ϵ$ がしばしば**「商写像（全射）」**として現れることだ。$F(G(Y))$ は $Y$ よりも情報量が多い（冗長な）ので、$ϵ$ で潰して $Y$ に戻すのである。

三角恒等式（Triangle Identities）

単位 $\eta$ と余単位 $ϵ$ は、勝手気ままに存在するわけではない。互いに整合性が取れていなければならない。 その整合条件を三角恒等式と呼ぶ。

1. $G\stackrel{\eta G}{\to }GFG\stackrel{Gϵ}{\to }G$ の合成は $i{d}_G$ に等しい。
2. $F\stackrel{F\eta }{\to }FGF\stackrel{ϵF}{\to }F$ の合成は $i{d}_F$ に等しい。

「行って帰って、また行く」プロセスの中で、単位と余単位がうまく打ち消し合って、無駄なループを作らないことを保証している。 実は、**「関手 $F,G$ と自然変換 $\eta ,ϵ$ があり、三角恒等式を満たす」**ならば、それは随伴 $F⊣G$ を定義することと等価になる。 Hom集合の同型という「静的な対応」は、単位と余単位という「動的な往復運動」によって完全に記述できるのだ。

---

【第5節】自由関手と忘却関手の随伴

—— 「生成」と「制約」のダンス

随伴の概念を定着させるために、最も典型的かつ強力な例である**「自由関手（Free）」と「忘却関手（Forgetful）」**のペアを、徹底的に解剖してみよう。 ここでは、「商」という概念が、随伴のプロセスの中でどのように生まれるかに注目する。

設定

• 右随伴 $G$（忘却）: 構造のある圏（群 Grp、位相空間 Top など）から、構造のない圏（集合 Set）へ。
  • 「制約や規則を忘れる」「中身の要素だけを見る」。
• 左随伴 $F$（自由）: 集合 Set から、構造のある圏へ。
  • 「与えられた要素を使って、最も制約のない（自由な）構造を作る」。

自由群の場合

$F:\mathbf{Set}\to \mathbf{Grp}$ が自由群関手、$U:\mathbf{Grp}\to \mathbf{Set}$ が忘却関手。 随伴 $F⊣U$ が成り立つ。

1. 単位 ${\eta }_S:S\to U(F(S))$

   • 文字集合 $S=\{a,b\}$ を、自由群 $F(S)$ の中の単語としての “a”, “b” に対応させる。
   • これは「埋め込み」である。$S$ は $F(S)$ の生成元として保存される。

2. 余単位 ${ϵ}_H:F(U(H))\to H$

   • ここが面白い。群 $H$ の全要素を文字とみなして作った超巨大な自由群 $F(U(H))$ から、元の群 $H$ への準同型。
   • 自由群の中の単語 “x” $\cdot$ “y” （形式的な積）を、群 $H$ での実際の積 $xy$ （計算結果）に対応させる。
   • この ${ϵ}_H$ は**全射（エピ射）**となる。
   • つまり、任意の群 $H$ は、ある自由群の商として表現できる（$H\cong F(U(H))/\text{Ker}({ϵ}_H)$）。
   • 群論における「群の表示（Presentation）」とは、この余単位による商表現を具体的に記述することに他ならない。

自由位相空間（離散位相）の場合

• $D:\mathbf{Set}\to \mathbf{Top}$ （離散位相：すべての部分集合が開集合）。

• $U:\mathbf{Top}\to \mathbf{Set}$ （忘却関手）。 随伴 $D⊣U$ が成り立つ。

• 余単位 ${ϵ}_X:D(U(X))\to X$

  • 集合としては同じだが、位相が最強（離散）な空間から、元の位相を持つ空間 $X$ への恒等写像。
  • 離散位相からの写像は常に連続であるため、これは連続全単射となる。
  • これは「位相を弱める（開集合を減らす）」操作であり、商の概念に近い情報圧縮の一種と見ることができる。

随伴が生み出す「商」の哲学

以上の例から、以下の哲学が導かれる。 「左随伴関手 $F$ は、素材を最大限に膨らませた『自由な構造』を作り出す。そして余単位 $ϵ$ は、その膨らんだ構造を現実の制約に合わせて『商をとる（潰す）』ことで、元の対象を復元・近似する」

我々が数学的対象を理解するとき、しばしば「まず理想的な状態（自由構造）を想定し、そこに現実的な制約（関係式）を入れて商をとる」という思考プロセスをとる。

• 多項式環 $\mathbb{R}[x]$（自由構造）を作ってから、方程式 $x^2+1=0$ で割って複素数 $\mathbb{C}$ を作る。
• 自由加群を作ってから、関係式で割って加群を作る。

この思考プロセス自体が、随伴（自由と忘却）の往復運動として定式化されているのだ。 随伴とは、「理想（Free）」と「現実（Forgetful）」の間でバランスをとるための、数学的なメカニズムなのである。

---

続く論点（第三部）

【第6節】随伴が保存するもの —— 極限と余極限の保存定理 【第7節】商と随伴 —— 可換化と「最も近い」構造への射影

第三部では、随伴関手が持つ最も実用的な定理「極限・余極限の保存（RAPL / LAPC）」を紹介します。そして、群の可換化（Abel化）を例にとり、「商をとる」という操作自体が、ある忘却関手に対する左随伴（自由構成）とみなせるという、深く美しい視点へと到達します。

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