同値関係・商集合・全射 ― 「違いを忘れる」とは何か

全射は単なる「上への写像」ではなく、ある違いを忘れて情報を圧縮することで、新しい構造（商集合）を作る写像として理解できる。 同値関係によって何を同じとみなすかを決め、その分類結果だけを残したものが商集合であり、元の世界から商集合への対応が全射として自然に現れる。 前回の記事で触れた「情報を圧縮して要約する」という全射の性質は、同値関係と商集合という概念を組み合わせることで、その本質的な意味を明確に捉えることができる。

同値関係とは何か

同値関係の本質は、対象間の特定の性質に注目し、「何を同じとみなすか」を決めることである。

前回の記事では、単射と全射を情報の視点から考えた。 単射は情報を失わず保存する写像であり、全射は情報を圧縮して要約する写像である。 特に全射については、情報を潰して新しい世界を作る写像として捉えると理解しやすいことが分かった。

しかし、何の情報を潰すのか、なぜ潰してよいのかという疑問が残る。 この疑問に答えるのが、同値関係と商集合である。 同値関係とは、以下の3つを満たす関係である。

• 反射律
• 対称律
• 推移律

しかし、この定義だけでは何をしているのか分かりにくい。 本質は、何を同じとみなすかを決めることである。

同値関係は分類である

同値関係を導入すると、元の集合は同じ性質を持つグループに分割される。

例えば整数全体の集合を考える。 偶数と奇数だけを区別したいなら、0、2、4、6などを全部同じグループにする。 また、1、3、5、7などを別のグループにする。 すると、以下の関係を導入できる。

ここでは、「偶数である」という性質だけが重要で、2と4の違いは重要ではない。

同値関係を入れると、元の集合はグループに分割される。 例えば整数は、以下の2つのグループに分かれる。

• 偶数
• 奇数

あるいは3で割った余りで分類すると、以下の3つに分かれる。

• 余り0
• 余り1
• 余り2

つまり同値関係とは、集合の分類方法なのである。

商集合とは何か

分類した結果だけを取り出して、元の世界を要約して作った新しい集合が商集合である。

分類した結果だけを取り出したものが商集合である。 整数全体を「偶数か奇数か」で分類したなら、商集合は以下の2つからなる集合になる。

• {偶数全体}
• {奇数全体}

ここでは、個々の整数は見えなくなっている。 残っているのは、分類結果だけである。 つまり商集合とは、元の世界を要約した世界である。

情報の圧縮と違いの忘却

細かい違いを捨てて本質的な分類だけを残す操作が、情報の圧縮であり商集合の本質である。

整数全体には、無限の情報がある。 しかし、偶数か奇数かだけを見るなら、そのほとんどは不要である。 例えば、2、4、100、1000は全て偶数である。 偶奇だけを考えるなら、それらを区別する必要はない。

ここで、違いを捨てるという操作が起こっている。 これが商集合の本質である。

全射が自然に現れる

元の集合から商集合への対応を考えると、情報がまとまることで自然に全射が現れる。

ここで写像を考える。 整数全体から商集合への写像を考える。 すると、以下のような対応になる。

この写像は全射である。 なぜなら、偶数と奇数のどちらにも元が送られているからである。

ここで重要なのは、全射だから商集合になるのではない。 逆である。 情報をまとめると、自然に全射が現れるのである。

全射は「忘れる写像」

全射は相手全体をカバーするというよりも、ある違いを忘れる写像として捉える方が本質に近い。

ここまで来ると、全射のイメージが少し変わる。 全射は単に相手全体をカバーする写像ではない。 それよりも、ある違いを忘れる写像として見る方が本質に近い。

整数から偶奇への写像では、2と4の違いや、100と1000の違いを忘れている。 残るのは、偶数か奇数かだけである。

群論の剰余群も同じ

群論における剰余群も、正規部分群の方向の違いを忘れて情報を圧縮した世界と言える。

群論で学ぶ剰余群も、本質的には同じである。 群 と正規部分群 があるとき、以下の商を考える。

ここでは、 と （）を同じものとみなしている。 つまり、正規部分群に属する方向の違いを忘れているのである。 そして自然な写像は以下のようになり、これは全射になる。

この意味で、商集合も剰余群も、情報を圧縮して作られた世界と考えられる。

まとめ

同値関係、商集合、全射は別々の概念ではなく、情報を忘れて新しい構造を作るという一つのストーリーを構成している。

ここまでの流れをまとめると、以下のようになる。

• 同値関係：何を同じとみなすか決める
• 商集合：分類結果だけを残す
• 全射：元の世界から要約した世界への写像

以前はこれらを別々の概念として学んでいたかもしれないが、実際にはこれらは一つのストーリーになっている。 同値関係とは、何を同じとみなすかを決めるものである。 商集合とは、その分類結果だけを残した世界である。 そして全射とは、元の世界から要約された世界への自然な写像である。

こう考えると、全射は単なる「上への写像」ではなく、情報を忘れることで新しい構造を作る写像として理解できる。 この視点は、集合論だけでなく、群論、線形代数、位相空間論など、現代数学のあらゆる分野に現れる。