写像

mapping, map

二つの集合が与えられたときに、

一方の集合の各元に対し、

他方の集合のただひとつの元を指定して

結びつける対応のことである。

函数（関数）、変換、作用素、射などが写像の同義語として用いられることもある。

現代的な立場では、

「写像」と（一価の）「函数」は論理的におなじ概念を表すものと理解されているが、

歴史的には「函数」の語は解析学に出自を持つものであり、

一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる（多価函数参照）。

文献によっては「数の集合（大抵の場合実数体 R または複素数体 C の部分集合）を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。

写像