全射と単射
カテゴリ:集合と論理

写像にはいくつか特殊な写像があります。
それが全射と単射と呼ばれる写像です。
ここでは、これらの写像の定義と解説を行います。
全射
はじめに全射について解説します。
集合から
への写像
を考えます。
一般に
ですが、もし
となる場合、を
から
への全射(ぜんしゃ)といいます。
例えば、
とすれば
となるのでは
から
への全射となります。
全てを射抜くから全射というのです。
単射
さて、次に単射について説明します。
任意の二つの集合の要素を
とします。この際
となるときを
から
への単射(たんしゃ)といいます。
射抜くのはただ一つだから単射というんですね。
例としては先ほどの
は単射です。なぜならば
を射抜くは
しかないからです。同様に
も一つしかありません。
よって単射です。
は単射ではありません。なぜなら
を射抜く要素はと3つあるからです。
最後に
全射と単射の両方が成り立つ写像を全単射と呼びます。
写像が出てきたら全射か単射かどうかを意識するといいと思います。
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー