1 同値関係の定義
1.1 二項関係と同値関係の前提
1.1.1 集合と関係の記法
同値関係は、ある集合 \(X\) 上の二項関係として定義される。二項関係とは、要素の組 \((a,b)\in X\times X\) のうち、ある条件を満たすものを「関連がある」と見なす仕組みである。一般に関係は \(R\) や記号 \(\sim\) などで表され、条件が成り立つときに \(aRb\) または \(a\sim b\) の形で記述する。 このとき \(X\times X\) は「左側に \(a\)、右側に \(b\) を置ける」という意味の直積で、関係はその中のどの組が関連を持つかを決める。
1.1.2 対象となる要素の取り扱い
同値関係の定義では、対象となる要素は集合 \(X\) の任意の元として扱う。重要なのは「要素の個別性」に頼らず、関係の規則だけで要素同士の対応関係が整理される点である。 たとえばある同値関係 \(\sim\) において、特定の元の性質ではなく、\(\sim\) が与える関係性が議論の中心になる。これにより、後述する同値類の概念へ自然につながる。
1.2 同値関係の3条件
1.2.1 反射性
関係 \(\sim\) が同値関係であるためには、まず反射性が必要である。反射性とは、任意の \(a\in X\) に対して \(a\sim a\) が成り立つことを指す。 反射性は「各要素は自分自身と同じ扱いになる」ことを保証する基本条件で、同値類を作る際の整合性を与える。
1.2.2 対称性
次に対称性が課される。対称性とは、任意の \(a,b\in X\) について、もし \(a\sim b\) ならば \(b\sim a\) も成り立つことを意味する。 これは「同じグループに属する関係は方向を持たない」ことを表し、後に述べる同値類の概念が左右どちらから見ても同じまとまりとして振る舞う根拠になる。
1.2.3 推移性
最後に推移性がある。推移性とは、任意の \(a,b,c\in X\) について、もし \(a\sim b\) かつ \(b\sim c\) が成り立つなら、必ず \(a\sim c\) も成り立つことをいう。 推移性は「連鎖して同じ扱いにできる」ことを要請し、離散的な近さや途中経路があっても最終的な同値が崩れないようにする。
1.3 同値関係の直観
1.3.1 「区別しない」考え方としての同値
同値関係は、要素を丸ごと区別するのではなく、関係が指示する範囲でまとめて扱うという発想を形式化する。反射性・対称性・推移性が揃うと、関係の下での「同じ扱い」は一貫したルールになる。 結果として、同値関係により要素は互いに相容れない複数のまとまりへ分解され、各まとまりの中では要素が同等視される。
1.3.2 例による理解
直感を掴むために、代表的な例がよく用いられる。たとえば整数の世界で「ある数を別の数と見なす」条件を \(\sim\) で与え、どの元も自分と同値（反射性）、同値が交換可能（対称性）、同値が連結して保たれる（推移性）ように設計すると、それは同値関係になる。 具体例は後の章でより詳細に扱うが、ここでは「規則が3性質を満たすとき、数学的なまとまりとして正当化できる」という点が核心である。
2 同値類と商集合
2.1 同値類の定義
2.1.1 同値類の記法
同値関係 \(\sim\) が集合 \(X\) 上で与えられているとする。このとき、ある要素 \(a\in X\) に対して同値類とは「\(a\) と同値な要素全体」を集めた集合である。通常、同値類は \([a]\) や \(a\) のまわりの記号で表され、定義としては \[ [a]=\{x\in X\mid x\sim a\} \] のように与えられる。 同値類は、個々の要素ではなく同値のまとまりを扱うための単位になる。
2.1.1.1 同値類の要素の特徴
同値類 \([a]\) の要素 \(x\) は、必ず \(x\sim a\) を満たす。したがって同値類の中では、どの要素を選んでも同じまとまりを表すことになる。 また反射性より \(a\) 自身は常に \([a]\) に含まれ、対称性と推移性により「同じまとまりである」という関係が安定化する。これにより、同値類を作る操作が恣意的にならない。
2.2 同値類の性質
2.2.1 同値類の一致と包含の関係
同値類は、次の重要な性質を持つ。任意の \(a,b\in X\) について、同値類 \([a]\) と \([b]\) は、(1) 完全に一致するか、(2) 一切交わらない、のどちらかになる。 より具体的には \([a]\cap[b]\neq\emptyset\) なら \([a]=[b]\) が成り立つ。これは推移性を用いて、共通の元があると同値が伝播し、境界が曖昧にならないことを示す。
2.2.2 集合の分割としての同値類
上の一致・非交差の性質により、同値類全体は \(X\) の分割を与える。分割とは、集合が互いに交わらない部分集合の族に分かれることを意味する。 つまり同値関係 \(\sim\) は、要素を個別に見るのではなく「どの同値類に属するか」だけを問題にする見方を導入する。これは商集合の構成に直結する。
2.3 商集合の構成
2.3.1 商集合の定義と直観
商集合とは、同値類を新しい「点」と見なして作る集合である。定義は、同値類全体の集合として表され、たとえば \[ X/{\sim}=\{[a]\mid a\in X\} \] のように書ける。 直観的には「同値類を代表点として縮約した空間」が商集合であり、同値の区別を忘れる操作に相当する。
2.3.2 商写像（自然な写像）
商集合へ移す標準的な写像が商写像である。商写像 \(\pi:X\to X/{\sim}\) は各要素 \(a\) をその同値類 \([a]\) に送る。つまり \[ \pi(a)=[a] \] と定義される。 この写像は同値類への対応として最も自然で、以後「商で定義する対象は商写像と両立する必要がある」という議論の基礎になる。
3 同値関係の構成方法
3.1 ある関係から同値関係を作る
3.1.1 同値化（閉包）の考え方
多くの場面で、最初から同値関係が与えられるとは限らない。例えば反射性や推移性が欠けた関係が現れ、それを同値関係に拡張して扱いやすくする必要が生じる。この操作の考え方は同値化または閉包として説明される。 同値化の狙いは、与えられた関係を含む形で、反射性・対称性・推移性を満たす最小の同値関係を構成することである。そうすることで、元の情報を過不足なく保持しつつ統一的な同値の枠組みへ移行できる。
3.1.2 反射的・対称的・推移的な拡張
一般に任意の関係 \(R\) に対して、まず反射性を満たすよう補う。次に対称性を保証するため逆向きの対応を追加する。さらに推移性を満たすために、連鎖を通じて到達可能な関係を付け加える。 この手順は段階的な拡張として理解できる。拡張の過程を通じて元の関係の関連が、最終的に同値として「届く範囲」に集約される。
3.2 同値関係の生成
3.2.1 生成される最小の同値関係
同値関係の生成とは、いくつかの基本的な等式や関係の指定から、それらを含む最小の同値関係を作ることを指す。最小であるとは、「必要な性質だけを用いて作られる」ことを意味する。 たとえばあるペアの集合を出発点にしても、反射・対称・推移を満たすように拡張すると、最終的に得られる同値関係は一意に定まり、その指定を超える余計な同値付けは行われない。
3.2.2 具体的な手順と計算の見通し
生成の実務では、「指定した関係を関係連鎖として閉じる」ように考えると見通しがよい。推移性があるので、途中で別の関係を経由して到達する要素同士も同値になる。 対称性があるため、指定の向きに限らずどちら方向にも同値の連鎖が働く。結果として、同値類は「連鎖でつながる成分」を集めたものとして理解でき、計算では連結性の問題に帰着することが多い。
3.3 総合例：合同から同値類へ
3.3.1 合同式が作る同値関係
合同式は同値関係の代表例である。たとえば整数 \(a,b\) と正の整数 \(n\) を考え、「\(n\) で割った余りが等しい」ことを \(a\equiv b\pmod n\) と書く。 この関係は反射性・対称性・推移性を満たす。反射性は \(a\equiv a\) が常に成り立つことに対応し、対称性は余りの一致が双方向に同じであること、推移性は余りが一致するなら連鎖して最初と最後も一致することを表す。
3.3.2 同値類の具体例
この同値関係の下での同値類は、整数の集合を「同じ余りごと」に並べたものになる。たとえば \(n\) が 5 のとき、同値類は余りが 0,1,2,3,4 の5種類に対応する。 具体的には \([0]\) は 5 の倍数全体、\([1]\) は 5 で割って 1 余る整数全体、という具合に分かれる。こうして商集合は余りの種類の集合として表現でき、計算や分類の基盤になる。
4 応用と周辺概念
4.1 商集合を用いる場面
4.1.1 構造の引き継ぎ（写像の整合性）
商集合を導入しただけでは情報が失われたように見えるが、適切な条件を課すと元の構造を保ったまま記述できる。要点は、ある写像 \(f:X\to Y\) を商集合上の写像として「降ろせるかどうか」である。 降ろせるとは、同値類内のどの元を選んでも同じ値が得られること、すなわち \(a\sim b\) なら \(f(a)=f(b)\) が成り立つことを指す。これにより、商写像を介して一貫した定義が可能になる。
4.1.2 不変量としての利用
同値関係は、比較の対象を「変わってよいもの」と「変わってはいけないもの」に分ける手段でもある。変えても同値のままで結果が変わらない量は、不変量として扱える。 たとえばある操作を行った後でも同値関係が保たれ、同値類の情報しか変わらないなら、その背後で定まる数や特徴は不変とみなせる。こうした発想は、分類・整理における実用性を支えている。
4.2 同値関係と関数
4.2.1 同値類上で定義される関数
同値類上で定義される関数とは、各同値類に対して値を割り当てる関数のことである。定義が意味を持つためには、同じ同値類に属する元をどれとして選んでも値が一致する必要がある。 この一致性は、代表元の選択に依存しないという性質として理解される。同値類を基準にしているため、値の割り当ては個々の要素ではなく「まとまり」に対して行われる。
4.2.2 商写像を介した記述
商写像 \(\pi:X\to X/{\sim}\) を用いると、同値類上の関数は商写像を通じて元の集合上の関数と対応づけられることがある。たとえば商上の関数 \(g:X/{\sim}\to Y\) があるとき、元の関数は \(f=g\circ \pi\) の形で書ける。 逆に、元の関数 \(f\) が同値類内で一定であるなら、商上の関数 \(g\) が一意に定まる。ここで中心になるのは「商写像を介した因子分解」によって定義の整合性を保証する点である。
4.3 同値関係と他の概念の関係
4.3.1 全順序・整列との対比
同値関係は「順序」ではなく「同等性」を扱う。全順序は比較可能性や大小関係の枠組みを与えるのに対し、同値関係は要素の優劣を決めないまま、区別を消す発想に基づく。 そのため、同値類の要素は互いに区別しないが、どれが大きいか・小さいかといった情報は残らない。比較の目的が「分類」なのか「順序付け」なのかで適切な概念が選ばれる。
4.3.2 位相・代数での類似の考え方
位相や代数では、同値関係に類似した「同じものとして扱う」枠組みが繰り返し現れる。たとえば位相では、点を直接区別せず、開集合の振る舞いを基準に空間の違いを捉える。これは厳密な同値関係ではない場合もあるが、「観測可能な性質で区別を調整する」という発想が共通している。 代数でも、元を等価と見なすことで計算を簡潔にし、商構成によって新しい対象を作る。これにより、同値関係は多分野での構造抽出の基本手段として位置づけられる。