ここでは写像について話をしようと思います。写像は英語ではmapと呼ばれます。よくという記号を用いて
などと書かれます。簡単に行ってしまうと、高校までに習った関数を一般化したものが写像です。すなわち”関数”というものよりも広いものになります。高校までに習った関数
はとる値がスカラー値でした。しかしながら”写像”はより広い場合、例えば、ベクトルが与えられればベクトルを返すような写像、というものを考えることができます。例を考えましょう。
あるベクトルの集合(ベクトル空間)からベクトル空間
への写像
を考えましょう。
この写像を用いるとの元であるベクトル
から
の元であるベクトル
を与えることができます。
ベクトルではなく、ある集合を与えて集合を返す、という写像も考えることができます。例えば、というたくさんの集合の集まり、集合の集合から
という集合の集合への写像を考えましょう。
この写像を用いるとの元である集合
から
の元である集合
を与えることができます。これは具体的にはどのようなものなのかというと、例えばここで出てきた集合
をクラスの男子の集合とします。そして彼らの家の集合を
とすると、この写像は”人”と”家”を対応させる住所録のようなものになります。これが集合を与えて集合を返す写像の例です。