【第6節】位相空間の圏 Top における余等化子

【第6節】位相空間の圏 Top における余等化子

—— グルーイング（接着）の幾何学

集合論、群論ときて、最後に位相空間の圏 Top における余等化子を見てみよう。ここでは、「商をとる」という抽象的な操作が、**「図形を切ったり貼ったりする」**という極めて視覚的で具体的な工作作業として現れる。

接着の指示書としての平行射

位相空間 $X,Y$ と、連続写像 $f,g:A\to Y$ を考える（分かりやすくするため、定義域を $A$ とした）。 通常、トポロジーでの貼り合わせ（グルーイング）は、部分空間の接着として語られることが多い。 例えば、紙 $Y$ の一部（糊代）$f(A)$ と $g(A)$ をくっつけたい。 このとき、平行射 $f,g$ は**「どの点とどの点をくっつけるか」という精密な指示書**の役割を果たす。 「$A$ の点 $a$ に対応する $Y$ 上の点 $f(a)$ と $g(a)$ を同一視せよ」 これをすべての $a\in A$ について実行するのだ。

商位相（Quotient Topology）：形を決めるルール

余等化子となる空間 $Q$ は、集合としては $Y$ を関係 $f(a)\sim g(a)$ で割った商集合 $Y/\sim$ である。 問題は、この新しい集合 $Q$ にどのような位相（形の構造）を入れるかだ。 ここでも「普遍性」が決定的な仕事をする。

普遍性が要求するのは、商写像 $q:Y\to Q$ が連続であり、かつ任意の連続写像 $h:Y\to Z$（ただし $h\circ f=h\circ g$）に対して、一意的な連続写像 $u:Q\to Z$ が存在することである。 この条件を満たすためには、$Q$ の位相は「$q$ を連続にする範囲で、最も強い（開集合が最も多い）位相」でなければならない。 具体的には、$U\subseteq Q$ が開集合である条件を、 $q^{-1}(U)\text{ は }Y\text{ において開集合である}$ と定義する。これを**「商位相」**と呼ぶ。 この定義により、幾何学的な直感（貼ったらつながる、縮めたら小さくなる）と、論理的な整合性（連続性）が完全に一致する。

具体例1：円周 $S^1$ の構成

区間 $I=[0,1]$ の両端をくっつけて円を作ろう。

• 空間: $Y=[0,1]$。
• 糊代: $A=\{\bullet ,\bullet \}$ （2点集合）。
• 写像:
  • $f:A\to Y$ は、1点目を $0$ に、2点目を $0$ に送る（固定）。
  • $g:A\to Y$ は、1点目を $0$ に、2点目を $1$ に送る。 この2本の射 $f,g$ の余等化子をとると、$0$ と $1$ が同一視され、それ以外の点はそのまま残る。 結果として得られる空間 $Q$ は、両端がつながった区間、すなわち円周 $S^1$ と同相になる。

具体例2：メビウスの帯

長方形 $Y=[0,1]\times [0,1]$ の左右の辺を、ひねって貼り付ける。

• 糊代: $A=[0,1]$ （線分）。
• 写像:
  • $f(t)=(0,t)$ （左辺）。
  • $g(t)=(1,1-t)$ （右辺を上下逆さまにして対応）。 この余等化子は、有名なメビウスの帯となる。もし $g(t)=(1,t)$ （そのまま対応）なら、円筒（シリンダー）になる。 写像 $g$ の選び方ひとつで、出来上がる宇宙の形状（トポロジー）が劇的に変わる。圏論は、この「ねじれ」の構造さえも正確に記述する。

---

【第7節】余極限（Colimit）への飛躍

—— 全ては一つにつながる

本章の締めくくりとして、視座をさらに高く上げよう。 これまで見てきた「余等化子」は、実は**「余極限（Colimit）」**と呼ばれる、より巨大な概念の一部に過ぎない。

図式の「影」としての余極限

余等化子は、「2つの対象と2つの射」というシンプルな図式からの商であった。 しかし、圏論ではもっと複雑な図式を考えることができる。

• 点と点が無数につながったグラフのような図式。
• 無限個の対象が並ぶ図式。

どのような形の図式 $D$ であっても、それら全体を「上から包み込む」ような対象 $L$ を考え、そこへ向かう射たちが普遍性（始対象性）を満たすとき、その $L$ を図式 $D$ の余極限と呼び、$\text{colim }D$ と書く。

余極限とは、バラバラに散らばった対象たち（図式）を、射による関係性（制約）に従って**「一つに溶かし合わせる（接着する）」**操作の総称である。

商の親戚たち

余等化子の他にも、余極限の仲間には重要な「商」の変種たちがいる。

1. 直和（Coproduct）:

   • 何の制約（平行射）もない対象たちを、ただ単に「並べる」操作。
   • 集合なら非交和 $A\bigsqcup B$、ベクトル空間なら直和 $V\oplus W$。
   • これは「接着剤なしで置く」という、最も緩い形の接着である。

2. プッシュアウト（Pushout）:

   • 2つの対象 $B,C$ を、共通の部品 $A$ を介して貼り合わせる操作。
   • $B\leftarrow A\to C$ という図式からの余極限。
   • トポロジーでの「空間の貼り合わせ」の最も一般的な記述であり、群論では「自由積の融合積（アマルガム積）」に対応する。
   • これもまた、余等化子の一種として構成できる（直和をとってから余等化子で割る）。

結び：商とは「統合」である

こうして見ると、「商をとる」という操作の真の意味が見えてくる。 それは単に「情報を捨てる（差異を無視する）」ことだけではない。 異なるもの同士を、ある関係性に基づいて**「接続し、統合し、新しい全体を作り上げる」**という、創造的なビルディング・プロセスなのである。

• 余分な枝葉を切り落として幹を残す（情報の圧縮）。
• バラバラのパーツを糊付けして立体を作る（構造の構築）。

この二つの側面は、圏論における**「余極限（Colimit）」**という一つの言葉の下で、完全に統一される。 数学的理解とは、複雑な現象の中に適切な図式を見出し、その余極限をとって本質（不変量）を抽出することに他ならない。

さて、光があれば影がある。 「商（余極限）」の双対として、「部分（極限）」の世界が存在する。 次章では、この鏡の向こう側の世界——「部分対象」と「極限」——を探訪し、商と部分がいかにして絡み合い、数学的構造を支えているかを解き明かしていく。

（第3章・完）

---

1. 第一部：割り算のメタファーから、余等化子の定義（可換性と普遍性）への導入。
2. 第二部：普遍性の「外注」による直感的理解と、Set・Grpにおける具体例（商集合、正規部分群）。
3. 第三部：Topにおける幾何学的グルーイングと、余極限による概念の統合。

第3章は本書の理論的な中心にあたる。ここで得た「商」への見方は、次章以降の応用編へ進むための基礎となる。