【第4節】同値関係の徹底解剖

【第4節】同値関係の徹底解剖

—— 「＝」の一般化

前節で、集合 $A$ 上の関係 $R$ とは、直積 $A\times A$ の部分集合（グリッド上の図形）であると述べた。この無数にある関係の中で、「等号（$=$）」の代役を務めることができるエリートこそが**「同値関係（Equivalence Relation）」**である。

通常、同値関係は「反射律・対称律・推移律」という3つの呪文として教えられる。しかし、これらを幾何学的、あるいは情報理論的な視点から解釈すると、その真の意味が浮かび上がってくる。

1. 反射律（Reflexivity）：自己肯定

$\forall x\in A,x\sim x$ 幾何学的に言えば、これは関係 $R$ が対角線 $\Delta =\{(x,x)\mid x\in A\}$ を完全に含んでいることを意味する。 グリッドの対角線上がすべて黒く塗られている状態だ。 「自分は自分と同じである」。これは同一視を行うための最低条件である。もし $x$ が自分自身とさえ「同じ」とみなせないなら、グループ分けなど不可能だからだ。

2. 対称律（Symmetry）：相互性

$x\sim y⟹y\sim x$ 幾何学的に言えば、図形 $R$ が対角線に関して線対称であることを意味する。 $(x,y)$ が黒なら、ひっくり返した $(y,x)$ も黒でなければならない。 これは関係の「公平性」を保証する。「私があなたに似ているなら、あなたは私に似ている」。一方的な片思いは「同じ」とは認められないのだ。

3. 推移律（Transitivity）：波及効果

$x\sim y\wedge y\sim z⟹x\sim z$ これは少し想像力を要する。幾何学的には、$(x,y)$ と $(y,z)$ という二つの点があれば、それらを繋いでショートカットした $(x,z)$ も必ず含まれる、という「領域の凸性」に近い性質だ。 情報理論的に言えば、これは**「中継が可能である」**ことを意味する。「友達の友達は友達」。この連鎖反応によって、関係は局所的なペアから、集合全体を巻き込むグローバルなネットワークへと成長する。

この3条件が揃ったとき、関係図形 $R$ は非常に特殊な形状をとる。それは、対角線に沿って並んだいくつかの正方形のブロック（ブロック対角行列のような形）になるのだ。 この各ブロックこそが、次に定義する「同値類」の幾何学的な姿である。

「粗視化」としての同値関係

同値関係を導入するということは、**「高解像度の世界にモザイクをかける」**ことに他ならない。 例えば、実数 $\mathbb{R}$ において、「差が整数である」という関係を考えよう。 $x\sim y⟺x-y\in \mathbb{Z}$ これは同値関係になる。

• $1.2$ と $2.2$ は同じ。
• $0.5$ と $100.5$ も同じ。 このメガネを通すと、無限に広がる数直線の詳細が見えなくなる。整数の差という情報は「ノイズ」として切り捨てられ、残るのは「小数部分」という情報だけになる。 同値関係とは、情報の**「不要なビットを捨てるフィルタ」**なのである。

---

【第5節】商集合の構成

—— 世界を畳み込む技術

同値関係 $\sim$ が定まると、集合 $A$ は劇的な変貌を遂げる。バラバラだった要素たちが、互いに手を取り合ってグループを作り始めるのだ。

同値類：似た者同士の袋詰め

ある要素 $a\in A$ に注目する。こいつと「同じ（$\sim$）」とみなされる仲間をすべて集めてこよう。 $[a]=\{x\in A\mid x\sim a\}$ これを $a$ の**「同値類（Equivalence Class）」と呼ぶ。 $a$ はこのクラスの「代表元（Representative）」と呼ばれるが、あくまで「代表」にすぎない。同じクラス内のどの要素 $b\in [a]$ を選んでも、クラス自体は変わらない（$[a]=[b]$）。 同値類とは、要素を入れる「袋」である。 重要な性質として、「任意の二つの同値類は、完全に一致するか、さもなくば共通部分を一切持たない（互いに素）」**という定理がある。 つまり、中途半端に重なることはない。集合 $A$ は、これらの袋たちによって、綺麗に分割（Partition）されるのだ。

商集合の定義：袋を「点」にする魔法

ここからが数学特有の抽象化のジャンプである。 我々は今、要素 $a$ ではなく、要素が入った袋 $[a]$ を手に持っている。この**「袋そのもの」を一つの要素とみなす新しい集合を作ろう。 $A/\sim =\{[a]\mid a\in A\}$ これを「商集合（Quotient Set）」と呼ぶ。 記号 $A/\sim$ は、「$A$ mod $\sim$」あるいは「$A$ over $\sim$」と読む。 この操作の意味する所は深遠である。 元の世界 $A$ では、$a$ と $b$ は異なる点だった。しかし、$a\sim b$ ならば、袋としては $[a]=[b]$ なので、商集合 $A/\sim$ の世界では、これらは「たった一つの点」**に融合してしまう。 世界がギュッと縮むのだ。

商写像（自然な射影）：次元を下げるレンズ

この「縮約」のプロセスを記述するのが、**「商写像（Quotient Map）」あるいは「自然な射影（Canonical Projection）」である。 通常 $\pi$ （パイ）という記号で表される。 $\pi :A\to A/\sim$ $\pi (x)=[x]$ 要素 $x$ を、それが属する袋 $[x]$ へと送り込む写像である。 この写像 $\pi$ は、常に全射（Surjection）**である。空っぽの袋は商集合のメンバーになれないからだ。 $\pi$ は、高次元の情報を低次元に射影するレンズのような役割を果たす。

具体例で見る「畳み込み」の威力

商集合の概念は、抽象的すぎて実感が湧きにくいかもしれない。いくつかの具体例で、その「形を変える力」を見てみよう。

例1：時計の文字盤（剰余類）

• 元の集合：整数全体 $\mathbb{Z}$（無限に続く直線上の点）。
• 同値関係：$x\sim y⟺x-y$ は12の倍数。
• 商集合：$\mathbb{Z}/12\mathbb{Z}$。
  • 同値類は $[0],[1],...,[11]$ の12個だけ。
  • 無限の直線が、ぐるっと巻かれて**「円環」**になった。トポロジー（形状）が変化したのだ。

例2：方向ベクトル（射影空間）

• 元の集合：平面から原点を除いたもの ${\mathbb{R}}^2\setminus \{0\}$。
• 同値関係：$(x,y)\sim (x^{\prime },y^{\prime })⟺$ 一方が他方の定数倍（同じ直線上にある）。
• 商集合：射影直線 ${\mathbb{P}}^1$。
  • それぞれの「直線」を「一点」とみなす。
  • 結果として得られるのは、すべての方向をパノラマのように繋げた**「円（のようなもの）」**である。

例3：ドーナツの構成（貼り合わせ）

• 元の集合：柔らかい正方形のシート $I\times I$。
• 同値関係：
  • 左辺の点 $(0,y)$ と右辺の点 $(1,y)$ を同一視せよ。
  • 上辺の点 $(x,1)$ と下辺の点 $(x,0)$ を同一視せよ。
• 商集合：トーラス（Torus）。
  • 左右を貼り合わせて筒にし、さらに上下を貼り合わせてタイヤの形にする。
  • 幾何学における「図形の工作」は、すべて商集合の言葉で厳密に記述できる。

このように、商集合 $A/\sim$ は、単なる記号操作ではない。 それは、**「切る」「貼る」「丸める」「潰す」**といった、空間に対するダイナミックな加工操作を、集合論という静的な言語で完全に記述するための魔法の杖なのである。

そして、この「商をとる」という操作は、数学における最も美しい定理の一つ、**「準同型定理（Isomorphism Theorem）」**へと繋がっていく。それは、「写像」と「商」と「部分」の間に成り立つ、普遍的な三角形の物語である。

---

続く論点（第三部）

【第6節】写像の分解定理 —— 第一同型定理の原型 【第7節】普遍性へのプレリュード —— 商写像の「最強」性

第三部では、任意の写像 $f:A\to B$ が、実は「商をとって（全射）、埋め込む（単射）」という二段階のプロセスに分解できることを示します。そして、商写像 $\pi$ が持つ「普遍性」という概念を導入し、圏論の核心（余等化子）への接続を行います。

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