写像（Map）とは何か？数学における関数と写像の定義と違いを解説

数学の世界で頻繁に登場する写像（Map/Mapping）という言葉。一般的に「関数」と同じ意味で使われることが多いですが、分野や文脈によって微妙なニュアンスの違いや、特定の性質を持つ特別な関数を指す場合があります。本記事では、基礎的な定義から高度な圏論における解釈まで、写像の概念を分かりやすく整理して解説します。

Key Facts

写像は広義には「関数」と同じ意味であり、ある集合の要素を別の集合の要素に対応させる規則を指す。
分野によって、連続関数（位相空間論）や線形変換（線形代数）など、特定の性質を持つ関数を「写像」と呼ぶ傾向がある。
一部の数学者は、「関数」を数値（実数や複素数）を扱うものに限定し、より一般的な対応関係を「写像」と区別して呼ぶ。
圏論においては、写像は「射（Morphism）」と同義であり、構造を保存する関数としての側面が強調される。

写像と関数の基礎概念

写像とは、簡単に言えば「ある集合（定義域）の各要素に対して、別の集合（終域）の要素をただ一つ割り当てるルール」のことです。この概念の語源は、地球の表面という立体を平面の紙に投影する「地図作成（Mapping）」のプロセスにあると言われています。

多くの数学分野では、写像と関数はほぼ同義として扱われます。しかし、専門的な文脈では以下のような使い分けが見られます。

線形代数：ベクトル空間の構造を保つ「線形写像」という言葉が使われます。一方で「線形関数」と言うと、一次式（線形多項式）を指す場合があり、混同を避けるために使い分けられます。
位相空間論：「連続関数」のことをしばしば写像と呼びます。
解析学：「演算子（Operator）」という名称で呼ばれることがあります。

また、セルジュ・ラングなどの数学者は、出力先（終域）が数値の集合（実数 $\mathbb{R}$ や複素数 $\mathbb{C}$ など）である場合のみを「関数」と呼び、それ以外の一般的な対応関係を「写像」と定義して区別しています。

A map is a function, as in the association of any of the four colored shapes in X to its color in Y

部分写像と全写像の定義

数学的な厳密な定義において、集合 $A$ から $B$ への関係 $\phi$ が部分写像（Partial mapping）であるとは、「ある要素 $a$ が $b$ と $c$ の両方に対応する場合、必ず $b = c$ である」ことを意味します。つまり、一つの入力に対して出力が一つに定まっている状態です。

この部分写像のうち、定義域 $A$ のすべての要素に対して対応する値が存在する場合（つまり、漏れなくすべての要素が割り当てられている場合）、それを完全な写像または関数と呼びます。

圏論における「射」としての写像

現代数学の抽象的な枠組みである圏論（Category theory）では、写像はしばしば射（Morphism）や「矢印（Arrow）」と呼ばれます。ここでの写像は、単なる要素の対応関係ではなく、「構造を保存する」という重要な役割を担っています。

通常の関数の定義では、関数 $f: X \to Y$ は $X \times Y$ の部分集合（グラフ）として捉えられ、終域 $Y$ の情報は必ずしも保持されません。しかし、圏論における射としての写像は、ソース（始域 $X$）とターゲット（終域 $Y$）という情報を明確に保持しており、構造的な変換としての性質が強調されます。

写像の種類とまとめ

数学の各分野で、写像は特定の性質に応じて多様な名称で呼ばれています。以下に主要なものをまとめます。

分野別・性質別の写像の呼称
分野	呼称	主な特徴
代数学	準同型 (Homomorphism)	代数的な構造を保存する写像
幾何学	等長写像 (Isometry)	距離を保存する写像
位相空間論	同相写像 (Homeomorphism)	位相的性質を完全に保存する写像
力学系	進化関数 (Evolution function)	離散的な時間発展を記述する写像
線形代数	線形変換 (Linear transformation)	線形性を保持する写像