写像
カテゴリ:集合と論理

集合と集合の関係を表すときに写像という概念を使います。
写像の例としては関数があげられます。
ここでは写像の解説と定義を紹介します。
さっそくですが、集合と集合の関係性を記述できる写像について以下のように定義します。
集合に対してある対応関係
があり、
集合の任意の要素に対して、対応関係
により対応する集合
の要素がただ一つあるとき
を
から
への写像(しゃぞう)といいます。
また、
と簡略化して記述します。
例1
写像の例が関数です。たとえば、
は実数から実数への写像となり
とかくことができます。
例2
また、関数
なら実数から0以上の実数への写像なので、0以上の実数の集合をとかけば
となります。
例3
また、集合のすべての要素を写像
で変換した要素の集まりを
とかきます。
例えば、とすれば、
となります。
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー