集合と写像が織りなす「変換による考え方」——セット理論の圏を歩く

集合論を「要素の集まりを眺める学問」と捉えてしまうと、どこか静的で扱いにくい印象を受けます。しかし実際には、集合論の中心には“変換”の発想があります。ある集合から別の集合へ要素を写し取る対応（写像）を考え、その変換が持つ性質を調べることで、集合そのものの構造が見えてくるからです。ここでは、そのような「変換によって世界を見る」態度を、集合論の重要テーマである同値関係と商集合、さらには写像のふるまいへとつなげながら、なるべく一本の流れとして説明します。

まず同値関係という概念に入ります。同値関係とは、ある集合の要素同士を「同じだと言ってよい」とみなすためのルールで、反射律・対称律・推移律という性質を満たす関係として定式化されます。たとえば整数全体の中で「差が偶数である」という関係を考えると、「同じ余りを持つ」と解釈でき、2や6は同値、1や5は同値、などがきれいに整理されます。このとき、同値類とは「同値なものが集まった塊」です。重要なのは、同値関係は“要素を種類（区別の仕方）で再編する装置”だという点です。個々の要素を区別するのではなく、「同じクラスに属するかどうか」だけを残して考えるわけです。

ここで登場するのが商集合（quatient set）です。商集合は、集合を同値類によってまとめ直し、同値類そのものを新しい“要素”として扱うことで得られます。直感的には、「細かな違いを捨てて、区別の粒度を粗くする」操作です。集合論ではこのような操作が厳密に定義されるため、「区別をやめる」という曖昧な発想が数学的に制御可能になります。たとえば、整数を2で割った余りだけで分類する操作は、商集合として表現できます。つまり「整数の世界」から「余りの世界」へ移るのです。この移り変わりは単なる言い換えではなく、写像によって明確な対応関係が与えられます。

この連結を作る主役が自然な射影（商写像）です。商集合へ写す写像は、各要素をその属する同値類に対応させるものになり、「細部の情報を同値類へ潰していく」役割を持ちます。ここが集合論らしい面白さです。単に同値類を作るだけでなく、その情報の捨て方が写像として一貫して記述されます。たとえば、整数から「偶奇（偶か奇か）」の情報へ落とす写像を考えると、偶数は同じ同値類へ、奇数も同じ同値類へ写ります。すると、元の整数上の計算や性質が、商集合上ではどんな形で現れるかが追跡できるようになります。

さらに深いところへ進むと、「商集合を作ること」は普遍性（universal property）によって特徴づけられます。普遍性とは、「ある条件を満たす写像が、商写像を通して一意に因数分解される」という形で定式化される考え方です。これは抽象的に聞こえるかもしれませんが、要するに次のことを保証します。つまり同値関係によって“潰されるべき情報”は、商集合で表現された後にのみ意味を持つ、という構造的な必然性があるのです。もし別の方法で同値類ごとに情報をまとめたとしても、そのまとまり方は結局商集合と同じ構造に戻ってくる、という感じです。集合論は、この種の“最終的に同じになる”ことを、論理と定義によって扱えるようにしています。

ここでさらに重要なテーマとして、写像の性質（単射・全射・全単射）と、同値関係の関係が浮かび上がります。単射（injective）は「潰さない」性質、全射（surjective）は「全部に行き着く」性質を表します。全単射（bijective）であれば、ある集合と別の集合は数学的に同じ形をしていると言えます。集合論では「同じ形」を要素のラベルに依存せず、写像によって特徴づけようとします。これが“変換による見方”の核心です。要素の名前を変えても同じであり、区別のルールを変える操作は写像として記述できる。この態度こそ、集合論がしばしば他の数学分野へ橋を架ける理由です。

同値関係の話に戻すと、同値関係が生む商集合は、しばしばある写像の繊維（ファイバー）によっても理解できます。つまり「この写像で同じ値になる要素同士は同値」と見なすことで同値関係が得られ、その同値類を集めた商集合は、結果としてその写像を“情報圧縮”した先の像に関係します。言い換えると、「商を取る」ことは、「写像が本質的に区別していない部分をまとめる」ことと同型に結びつくのです。これにより、同値関係・商集合・写像の概念は、単独の話題ではなく一つのネットワークとしてつながります。

この連結を圏（category）の視点で眺めると、さらに輪郭がはっきりします。圏とは、対象（ここでは集合）と射（写像）を用意し、合成ができるようにした抽象の枠組みです。集合と写像を圏として捉えると、単に計算の道具ではなく、構造が“写像の組み合わせ方”として表現されます。この見方では、同値関係を商として作ることも、単射・全射・全単射の役割も、圏の中で自然に位置づけられます。さらに言えば、数学的対象の同一性が「要素」ではなく「対応（射）」によって決まる、という感覚が強まります。集合論は、最も基本的な圏の例を提供しているため、抽象化された数学の入り口としてとても重要です。

面白いのは、このテーマが日常の思考とも近いことです。たとえば、地図では細かな地形は縮尺の違いで同じように扱われます。交通時間で言えば、厳密な道路の曲がり具合は無視して「到着可能性」や「所要時間」だけを重視するでしょう。これは本質的には同値関係の作り方に似ています。「今回の目的では区別しない」ものを同値とみなして潰し、必要な情報だけを残す。集合論の商集合は、この“目的に応じた分類”を厳密にする器になっているのです。

まとめると、セット理論の興味深さは、要素を集めることだけでなく、「どうまとめ直し、どう対応させ、どこまで区別を保つか」を写像と同値関係の言葉で管理できる点にあります。同値関係は区別の単位を定め、商集合はその単位に従って世界を再編し、普遍性はその再編が必然的に一意になることを保証し、さらに写像の性質がその構造を支えます。集合と写像を中心に据えると、集合論は静かな分類学から、変換による構造理解へと表情を変えます。その結果として、数学全体を貫く「同じ形とは何か」「情報を潰すとき何が残るのか」という問いが、かなり明確な輪郭を持って見えてくるのです。