【第5節】構造としての「同じ」

【第5節】構造としての「同じ」

—— 代数学における同型（Isomorphism）

前節までで、我々は集合の要素を「袋詰め（商集合）」にすることで同一視する技術を手に入れた。しかし、数学が対象とするのは、ただの「要素の集まり」ではない。要素同士が足し算で結びついていたり（群）、距離で結びついていたり（位相空間）する、いわゆる**「構造（Structure）」**を持った対象である。

構造を持つ対象同士が「同じ」であるとはどういうことか？ ここに、現代代数学の核心概念である**「同型（Isomorphism）」**が登場する。

名前の違いは本質ではない

簡単な例を挙げよう。 ここに二つの世界がある。

• 世界A： $\{0,1\}$ という2つの数字からなる世界。演算ルールは「時計の計算（mod 2）」である。つまり、$1+1=0$。
• 世界B： $\{\text{偶数},\text{奇数}\}$ という2つの言葉からなる世界。演算ルールは「足し算の性質」である。つまり、$\text{奇数}+\text{奇数}=\text{偶数}$。

この二つの世界は、見かけ（ラベル）は全く異なる。片方は数字で、もう片方は言葉だ。しかし、構造的には完全に**「瓜二つ」**である。 なぜなら、以下のような翻訳辞書（写像）を作ることができるからだ。

• $0⟷\text{偶数}$
• $1⟷\text{奇数}$

この辞書を使えば、世界Aでの計算「$1+1=0$」は、世界Bでの計算「$\text{奇}+\text{奇}=\text{偶}$」に完全に翻訳できる。逆もまた然りである。 数学者は、このように構造を保った翻訳可能な二つの対象を「同型（Isomorphic）」と呼び、記号 $\cong$ で結ぶ。 $A\cong B$ 同型である二つの対象は、圏論的な視点（構造主義的な視点）では**「区別がつかない」**とされる。たとえ一方が英語で書かれ、他方が日本語で書かれていようと、物語の内容（構造）が同じであれば、それは「同じ本」なのである。

同型写像の定義

もう少し厳密に定義しよう。二つの代数系（例えば群）$G$ と $H$ が同型であるとは、以下の条件を満たす写像 $f:G\to H$ が存在することである。

1. 全単射（Bijection）： $G$ の要素と $H$ の要素が漏れなくダブりなく、一対一に対応している。（要素の数としての等価性）
2. 準同型（Homomorphism）： 演算が保たれる。つまり、任意の $x,y\in G$ に対して、 $f(x\cdot y)=f(x)\cdot f(y)$ が成り立つ。（構造としての等価性）

この条件2は、「$G$ で計算してから $H$ に送っても、$H$ に送ってから $H$ で計算しても、結果は同じ」ということを意味する。これを圏論では**「可換性（Commutativity）」**と呼び、四角形の図式（ダイアグラム）で表現する。 この可換性こそが、「構造を保つ」ことの数学的定義である。計算のタイミング（翻訳の前か後か）が結果に影響しないということは、その翻訳が構造に対して透明であることを意味するからだ。

商をとるときの「well-defined」問題

さて、構造を持った集合で「商」をとる（同一視する）場合、非常に厄介な問題が発生する。それが**「well-defined（定義の妥当性）」**の問題である。

例えば、整数 $\mathbb{Z}$ を「12で割った余り」で同一視して、時計の世界 $\mathbb{Z}/12\mathbb{Z}$ を作るとしよう。ここで、時計の世界でも「足し算」をしたい。 「13時」と「25時」を足すとどうなるか？

• 商をとる前で計算： $13+25=38$。38は12で割ると2余るから、時計の世界では「2時」。
• 商をとってから計算： 13時は「1時」、25時も「1時」。$1+1=2$。時計の世界では「2時」。

結果は一致した。これは偶然ではない。整数の足し算という構造と、「12で割った余りで同一視する」という商の関係が、たまたま相性が良かった（協調していた）からだ。これを専門用語では、同値関係が**「合同関係（Congruence relation）」**であると言う。

もし、相性の悪い同一視（例えば「絶対値が同じ数を同一視する」など）をしてしまうと、計算結果が一意に定まらなくなり、新しい世界で足し算が定義できなくなる（ill-defined）。 「商をとる」という行為は、単に情報を捨てるだけではない。残された構造が壊れないように、慎重に捨て方を選ばなければならないのだ。代数学において「部分群」ではなく「正規部分群」、「部分環」ではなく「イデアル」による商しか考えないのは、この「構造の保存（well-definedness）」を保証するためである。

---

【第6節】「自然な」同一視と「不自然な」同一視

—— 圏論への助走

ここまで、「同型」であれば数学的には「同じ」とみなして良い、と述べてきた。しかし、話はそう単純ではない。実は、「同型」の中にも**「筋の良い同型」と「筋の悪い同型」**があるのだ。この微細だが決定的な違いを理解することが、圏論へ進むための最後のステップとなる。

有限次元ベクトル空間とその双対

線形代数学の例を出そう。$V$ を有限次元ベクトル空間とし、$V^{\ast }$ をその双対空間（$V$ からスカラーへの線形写像全体の空間）とする。 線形代数の定理によれば、$V$ と $V^{\ast }$ の次元は等しい。次元が等しいベクトル空間同士は必ず同型になるので、 $V\cong V^{\ast }$ である。これは数学的に正しい。しかし、多くの数学者はこの同型を**「不自然（Unnatural）」**と呼んで嫌う。

なぜか？ $V$ と $V^{\ast }$ を同一視する同型写像を作るためには、$V$ の**「基底」を一組選んで固定しなければならないからだ。 基底を選ぶというのは、観測者の座標系を勝手に決めるということだ。Ａさんが選んだ基底での同型写像と、Ｂさんが選んだ基底での同型写像は、全く別のものになってしまう。 つまり、この「同じ」は、「観測者の恣意的な選択（基底）」に依存した、脆く相対的な「同じ」**なのである。

二重双対空間の奇跡

ところが、$V$ と、その双対の双対である $V^{\ast \ast }$（二重双対空間）の関係は違う。 ここにも同型 $V\cong V^{\ast \ast }$ が存在するのだが、この同型写像を作るのには、基底を選ぶ必要がない。 任意のベクトル $v\in V$ に対して、 $\Phi (v)(\varphi )=\varphi (v)(\text{ただし }\varphi \in V^{\ast })$ という写像 $\Phi :V\to V^{\ast \ast }$ を定義できる。この定義式には、基底の「き」の字も出てこない。ベクトル $v$ と関数 $\varphi$ だけで完結している。 誰がどこから見ても、どんな座標系を使っても、この同型写像 $\Phi$ はただ一つに定まる。これを数学者は**「自然な同型（Natural Isomorphism）」**と呼び、喝采を送る。

圏論の必要性：関係性の体系化

「不自然な同型」と「自然な同型」。この違いは、単なる「集合としての全単射」を見ているだけでは分からない。対象 $V$ の内部構造だけを凝視していても見えてこない。 この違いが見えるのは、**他の対象や他の写像との「関係性（可換性）」**を俯瞰したときだけである。

「基底の取り換え」という操作（座標変換）に対して、同型写像が整合的に振る舞うかどうか。つまり、変換してから写しても、写してから変換しても結果が変わらないか。 この「変換に対する整合性」こそが、圏論における**「自然変換（Natural Transformation）」**の定義そのものである。

サミュエル・アイレンベルグとサンダース・マックレーンが1945年に圏論を創始したとき、彼らの動機はまさにこの「自然な同型」を厳密に定義することにあったと言われている。 彼らは気づいたのだ。「同じ」という概念を掘り下げていくと、対象そのものではなく、対象間の**「射（Morphism）」**の振る舞いにこそ本質が宿っている、と。

序章の結び：新たな言語への招待

我々は長い旅をしてきた。 ヘラクレイトスの川から始まり、ライプニッツの識別不可能性、幾何学における変換群、集合論の同値関係、そして代数学の同型を経て、ついに「自然さ」という壁に突き当たった。

これまでの数学（集合論的パラダイム）は、対象を「要素の集まり」として定義し、その内部を覗き込むことで理解しようとしてきた。 しかし、これからの数学（圏論的パラダイム）は違う。対象の中身は見ない。その代わり、対象が他の対象とどう関係しているか（射）、その関係性がどう変化するか（関手）、そしてその変化がいかに整合的か（自然変換）という、**「関係性のネットワーク」**として数学的対象を捉え直す。

この新しい視点に立ったとき、これまで「袋詰め」や「割り算」としてバラバラに理解されていた「商」の概念は、**「余極限（Colimit）」**という壮大な普遍的概念の一部として、驚くほど美しく統合されることになる。

さあ、準備は整った。次章より、圏論という名の新しい眼鏡をかけ、数学の構造を、そして「同じ」という概念の真の姿を、鮮やかに透かし見ていくことにしよう。

（序章・完）

---

1. 第一部：哲学的導入と等号の意味（ヘラクレイトス、ライプニッツ）
2. 第二部：幾何学の変遷と集合論的ツール（商集合、同値関係）
3. 第三部：構造的同一視と圏論へのモチベーション（同型、自然性）

この序章によって、読者は「なぜ圏論を学ぶ必要があるのか」「商とは単なる割り算ではなく、どのような知的操作なのか」という深い動機付けを持って、本編の圏論的定義へと進むことができるはずです。