単射と全射を「情報の視点」から理解する

単射と全射は、集合間の関係を「情報」の視点から捉え直すことで直感的に理解できる。 単射は情報を失わずに保存する写像であり、全射は情報を圧縮して要約する写像である。 大学数学の参考書では数式による定義が先行しがちだが、写像を「集合の情報を比較する道具」として捉えることで、これらの概念がなぜ必要なのかが見えてくる。

写像とは集合を比較する道具

現代数学では写像を対象同士の関係を比較する道具として扱う。

現代数学では、対象そのものよりも対象同士の関係を重視する。 集合 と集合 があるとき、次のような写像を考える。

このような写像は、「 と を比較するための道具」として見ることができる。 この視点に立つと、単射と全射は集合の大きさや情報量を比較する概念として理解できる。

単射とは情報を失わない写像

単射は異なる要素を同じ要素に潰さないため、構造を保ったまま相手の集合へ埋め込む役割を持つ。

単射の定義は以下の通りである。

これは、「異なるものを同じものに潰していない」という意味である。 例えば、次のような対応を考える。

• 東京 → 東京
• 大阪 → 大阪
• 名古屋 → 名古屋

これであれば、それぞれの違いは保たれている。 一方、次のように送ると、東京と神奈川の違いは失われる。

• 東京 → 関東
• 神奈川 → 関東

したがって単射とは、情報を失わずに相手の世界へ埋め込む写像と見ることができる。 このため単射は「中への写像」と呼ばれる。 集合論的に の単射が存在するなら、 と考えられる。 要するに、 は の中に情報を保ったまま入るということである。

全射とは情報を要約する写像

全射は複数の情報を少数の分類にまとめることで、情報を圧縮し新しい構造を生成する。

単射は比較的直感的に理解しやすい。 しかし全射は「相手全体をカバーする」「相手を生成する」「商構造を作る」など様々な説明があり、統一的なイメージを持ちにくい。 例えば、次のような写像を考える。

• 田中 → A型
• 鈴木 → B型
• 佐藤 → A型

ここでは、田中と佐藤は別人であり、鈴木も別人であるという情報が存在する。 しかし写像の先では、A型とB型だけが残る。 個人の違いが捨てられているのである。 全射は、多くの情報を少数の分類へまとめる操作と見ることができる。

商構造と情報圧縮

違いを無視して新たな分類を作る操作は情報の圧縮であり、商構造の概念に繋がる。

ここで商構造が登場する。 商構造とは、ある違いを無視することで新しい世界を作ることである。 例えば、東京、神奈川、埼玉をすべて「関東」として扱う。 すると、「東京と神奈川は違う」という情報は捨てられる。 代わりに、「関東地方」という大まかな構造だけが残る。 これはまさに、情報の圧縮である。

相手全体をカバーする意味

像が終域全体を覆うことは、元の集合から終域の世界が完全に生成されていることを意味する。

全射の定義は以下の通りである。

つまり、 のすべての元が像になっている。 これは、 が から完全に作られていることを意味する。 例えば血液型の世界を考えると、A型、B型、AB型、O型のすべてが誰かに対応していれば、血液型という世界全体が人間の世界から生成されている。 その意味で、 だけで 全体を説明できると言える。 これが「相手全体をカバーする」という表現の意味である。

結論

単射は部分構造を、全射は商構造を見るための概念であり、これらを通して構造そのものを比較する。

ここまでを整理すると、単射と全射は情報の視点から次のように対比できる。

概念	情報の視点
単射	情報を失わず保存する
全射	情報を圧縮して要約する

単射は、構造を保ったまま埋め込むための概念である。 全射は、構造を単純化するための概念である。 これらは単なる写像の性質ではない。 構造をどう比較するかを表している。 単射で部分構造を、全射で商構造を、全単射で同じ構造であることを見る。 何を比較したいのかがあり、そのために必要な概念として定義が与えられる。 全射は、「情報を圧縮し、新しい世界を作る写像」として捉えることで理解しやすくなる。