写像

写像とは、ある集合の要素を別の集合の要素に対応付けるルールのことです。

集合Aから集合Bへの写像fは、以下のように表されます。

f:A→B

また、集合Aの要素aが集合Bの要素bに対応付けられる場合、以下のように表記されます。

fff(a)=b

例えば、以下はすべて集合Aから集合Bへの写像です。

関数との違い

一般的に「関数」は数値の集合間の対応関係を指し、「写像」はより抽象的な集合間の対応関係を指します。

文脈によっては写像は、関数と同じ意味で使用されることもあります。