【第3節】幾何学における「同じ」の変遷

【第3節】幾何学における「同じ」の変遷

—— 合同、相似、そして位相

ライプニッツの原理によって、我々は「視点（注目する性質）を制限することで、異なるものを同じとみなせる」ことを知った。この思想が最も鮮やかに、そして歴史的に展開されたのが幾何学の世界である。幾何学の歴史とは、ある意味で「拘束衣を一枚ずつ脱ぎ捨てていく解放の歴史」と読み解くことができる。

1. ユークリッドの厳格さ：合同（Congruence）

紀元前300年頃、ユークリッドが体系化した幾何学において、図形が「同じ」であるための基準は極めて厳格であった。それが**「合同（Congruence）」である。 二つの三角形が合同であるとは、一方を移動させて他方にぴったりと重ね合わせることができる状態を指す。ここで許される移動は「平行移動」「回転」「鏡映（裏返し）」のみである。これらは「剛体運動（Rigid motion）」とも呼ばれ、図形の「形」だけでなく「大きさ（距離）」**も完全に保存する。 この世界では、辺の長さが1mmでも違えば、それは「異なる」三角形として区別される。これは我々が現実世界で物体を扱う感覚（鍵と鍵穴の関係など）に最も近い、直感的な同一性である。

2. 視点の拡張：相似（Similarity）

時代が下り、視点は少し緩やかになる。**「相似（Similarity）」**の登場である。 地図を見る時、我々は縮尺が違っても形が同じであれば「同じ地形」と認識する。相似幾何学では、剛体運動に加えて「拡大・縮小」という操作が許容される。 ここでは、もはや「距離（長さ）」は不変量（Invariant）ではない。しかし、「角度」や「辺の比」は保たれる。ユークリッド幾何学という牢獄から「大きさ」という拘束が取り払われ、より本質的な「形」の概念が抽出されたと言える。商の視点で言えば、相似とは「全図形の集合」を「拡大縮小による同値関係」で割った（商をとった）世界である。

3. 射影幾何学：遠近法の魔法

ルネサンス期の画家たちが遠近法を発見したことで、幾何学は劇的な跳躍を遂げる。**「射影幾何学（Projective Geometry）」**の誕生である。 円を斜めから見れば楕円に見える。線路の平行線は遠くの消失点で交わって見える。射影変換（視点の移動）においては、長さはもちろん、角度さえも保存されない。円と楕円、放物線、双曲線は、射影変換によって互いに移り変わることができるため、この世界ではすべて「円錐曲線」という名の「同じ」図形として扱われる。 しかし、そんな混沌の中でも変わらないものがある。「複比（Cross-ratio）」や「直線の交差性（Incidence）」といった性質である。射影幾何学は、我々の目が捉える「見え方の不変性」を数学的に記述したものである。

4. ゴムの幾何学：トポロジー（Topology）

そして19世紀末から20世紀にかけて、ポアンカレらによって確立された**「位相幾何学（Topology）」**において、幾何学的な同一視は極限に達する。 ここでは、図形をゴムのように自由に引き伸ばしたり、曲げたり、縮めたりすることが許される（連続変形）。ただし、千切ったり（切断）、くっつけたり（接着）することは許されない。 この視点に立てば、もはや三角形も円も四角形もすべて「同じ」である。コーヒーカップとドーナツが「同じ」であるという有名な例えは、ここから来ている。両者とも「穴が一つある」という構造を持つからだ。 トポロジーの世界では、距離、角度、面積、曲率といった計量的な概念はすべて捨て去られる（商として消え去る）。残るのは、「つながり方（Connectivity）」や「穴の数（Genus）」といった、最も原始的かつ強靭な性質だけである。

クラインのエルランゲン・プログラム

1872年、フェリックス・クラインは、これらバラバラに見える幾何学を統一する視点を提示した。有名な「エルランゲン・プログラム」である。彼は、**「幾何学とは、ある変換群によって不変に保たれる性質を研究する学問である」**と定義した。

• ユークリッド幾何学 $⟷$ 合同変換群（距離を保つ）
• アフィン幾何学 $⟷$ アフィン変換群（平行性を保つ）
• 射影幾何学 $⟷$ 射影変換群（複比を保つ）
• トポロジー $⟷$ 同相変換群（連続性を保つ）

「同じ」という概念は絶対的なものではなく、「どの変換群（操作の集まり）を採用するか」によって相対的に決まるものである。これは、前節で述べた「どの性質に注目するか」というライプニッツ的な問いを、群論という数学的構造で形式化したことに他ならない。 幾何学の歴史は、より大きな変換群を採用し、より多くの情報を「商」として捨てることで、より抽象的で深い「不変量（Invariant）」を発見してきた歴史なのである。

---

【第4節】集合論的道具 —— 関係、同値関係、そして「商」

—— 直感を厳密な論理へ落とし込む技術

幾何学における豊かな「同じ」の例を見てきたが、現代数学はこれらを「なんとなく似ている」という感覚で済ませることはしない。すべてを**「集合（Set）」と「写像（Map）」の言葉で厳密に定義し直す必要がある。 ここで登場するのが、本著の最初の技術的な山場である「同値関係（Equivalence Relation）」と「商集合（Quotient Set）」**である。これは圏論における「余等化子」の具体的な姿（プロトタイプ）であるため、その構造を解剖学的によく理解しておく必要がある。

関係のドライな定義

まず、「関係（Relation）」という言葉を数学的に定義しよう。人間関係における「友人である」「親子である」といったウェットな意味は捨てる。 集合 $A$ における関係 $R$ とは、直積集合 $A\times A$ の部分集合のことである。 $R\subseteq A\times A$ もし要素 $a$ と $b$ に関係がある（$a\sim b$）ならば、ペア $(a,b)$ が集合 $R$ に入っている、というただそれだけのことだ。

「同じ」であるための資格：同値関係の3条件

あらゆる関係の中で、「等号（$=$）」の代わりを務めることができる特別な関係を「同値関係」と呼ぶ。それには以下の3つの資格（公理）が必要である。

1. 反射律（Reflexivity）： $a\sim a$
   • すべてのものは、自分自身と同じである。「自分探し」をする必要はない、自分は常に自分なのだ。
2. 対称律（Symmetry）： $a\sim b⟹b\sim a$
   • 一方通行は許されない。「私があなたに似ているなら、あなたは私に似ている」。この対称性こそが「等価」の証である。
3. 推移律（Transitivity）： $a\sim b\wedge b\sim c⟹a\sim c$
   • 「友達の友達は友達」。この連鎖が成り立つことで、関係は局所的なつながりを超えて、集合全体をグループ分けする力を持つ。

この3条件を満たす関係 $\sim$ が与えられたとき、集合 $A$ の世界は激変する。

商集合の構成：袋詰めによる情報の圧縮

同値関係があると、集合 $A$ の要素は互いに素なグループに分割される。これを**「同値類（Equivalence Class）」と呼ぶ。ある要素 $a$ を含む同値類 $[a]$ は、$a$ と「同じ」とみなされる全要素の集まりである。 $[a]=\{x\in A\mid x\sim a\}$ この同値類 $[a]$ を、一つの「袋」だとイメージしてほしい。バラバラだった要素たちを、関係のあるもの同士で袋に詰め込むのである。 そして、この「袋たち」を新たな要素として持つ集合を「商集合（Quotient Set）」**と呼び、$A/\sim$ と表記する。 $A/\sim =\{[a]\mid a\in A\}$

この $A/\sim$ という表記は、「集合 $A$ を関係 $\sim$ で割る」と読む。割り算の比喩は伊達ではない。例えば、$A$ が12個の要素を持つ集合で、各同値類が均等に3個ずつの要素を含んでいるなら、商集合の要素数は $12÷3=4$ 個になる。まさに割り算である。

しかし、数的な割り算以上に重要なのは、これが**「情報の圧縮」あるいは「解像度の変更」**を意味している点だ。 例として、時計の文字盤（1時から12時までの整数 $\mathbb{Z}$）を考えよう。 「13時」と「1時」は違う数だが、時計としては同じ位置を指す。ここでは $x\sim y⟺x-y\text{ は 12 の倍数}$ という同値関係が設定されている。 この関係で整数全体 $\mathbb{Z}$ を割った商集合 $\mathbb{Z}/12\mathbb{Z}$ が、我々が見ている「時計の世界」である。 商をとる前（$\mathbb{Z}$）は、無限に続く直線のイメージだった。商をとった後（$\mathbb{Z}/12\mathbb{Z}$）は、12個の点からなる円環のイメージになる。 直線が円環へ。これは劇的な構造変化である。商操作は、対象のトポロジー（形状）さえも変えてしまう力を持っている。

自然な射影：破壊と創造の架け橋

最後に、この商操作を語る上で欠かせない写像を紹介する。 元の集合 $A$ の各要素 $a$ を、それが入っている袋 $[a]$ に対応させる写像 $\pi :A\to A/\sim$ を**「自然な射影（Canonical Projection）」または「商写像（Quotient Map）」と呼ぶ。 $\pi (a)=[a]$ この写像 $\pi$ は常に全射（Surjection）**である。空っぽの袋は商集合の要素として認められないからだ。

この $\pi$ は、我々が「具体的な個物」の世界から「抽象的な概念」の世界へと跳躍するステップを表している。 具体的なリンゴ（$a$）を指して「これは『1』という数（$[a]$）である」と言うとき、我々は脳内で写像 $\pi$ を実行している。 圏論において、この $\pi$ は「余等化子」という普遍的な役割を演じることになる。それは、ある関係を「無かったこと」にする（等式として成立させる）ための、最も効率的で標準的なルートなのである。

しかし、集合論の言葉だけでは、まだ不十分な点がある。それは「構造」との関係だ。単に要素を袋に詰めるだけなら誰でもできる。重要なのは、元の集合が持っていた「足し算」や「図形のつながり」といった構造を壊さずに、いかにして商の世界に継承させるかという問題である。 ここで「準同型定理」や「well-defined（定義の妥当性）」という概念が登場し、物語は代数学、そして圏論へと接続されていく。

---

続く論点（第三部）

【第5節】構造としての「同じ」 —— 代数学における同型（Isomorphism） 【第6節】「自然な」同一視と「不自然な」同一視 —— 圏論への助走

第三部では、「構造を持った集合（群、環など）」における同一視の問題を扱います。単に要素を対応させるだけでなく、演算構造を保つとはどういうことか？ そして、「自然な同型」という概念を通じて、いよいよ圏論が登場する必然性を語ります。

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