写像

写像（しゃぞう、英: mapping, map）は、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。関数、変換、作用素、射などが写像の同義語として用いられる^[1]^[2]こともある。

ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と（一価の）「関数」は論理的におなじ概念を表すものと理解されているが、歴史的には「関数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも関数の名の下におなじ範疇に扱われる（多価関数参照）。文献によっては「数の集合（大抵の場合実数体 $R$ または複素数体 $C$ の部分集合）を終域に持つ写像」をして特に「関数」と呼び、「写像」はより一般の場合に用いる^[3]^[4]。関数、二項関係、対応の各項も参照のこと。

定義

素朴な説明

→「関数 (数学)」も参照

集合 $A$ の各元に対してそれぞれ集合 $B$ の元をただひとつずつ指定するような規則 $f$ が与えられているとき、 $f$ を「定義域（あるいは始域） $A$ から終域 $B$ への写像」といい

f\colon A\to B,\quad A{\stackrel {f}{{}\to {}}}B

などと表す。また $f$ は $A$ で（あるいは $A$ の上で）定義されているといい、あるいはまた $f$ は $B$ に（あるいは $B$ の中に）値を持つという。始域 $A$ を $sour(f)$ 、終域 $B$ を $tar(f)$ のように記すこともある。また、 $A$ の元 $a$ に対して $f$ によって指定される $B$ の元が $b$ である（このことを、 $a$ が $f$ によって $b$ に写されるという）とき、 $b$ を $a$ における $f$ の像あるいは値（あたい、value）と呼び、 $b$ を $f (a)$ で表す。 $f$ によって $A$ の元 $a$ が $B$ の元 $f (a)$ に写されることは、

$a \mapsto f (a)$

という記法で表される^[5]。変数 $x$ を用いて $x \mapsto f (x)$ のように写像を表すとき、 $f$ は、 $A$ をわたる（または動く）変数 $x$ の関数である、あるいは変数 $x$ に従属するという^[要出典]。

相等関係

2つの写像 $f : A \to B$ 、 $g : A \to B$ の相等関係について、次が成り立つ：

$f = g \Leftrightarrow \forall a \in A (f (a) = g (a) )$ ^[6]。

関係の一種として定義する場合

→「二項関係」も参照

集合論においては、集合 $A$ , $B$ の元の順序対からなる集合（すなわち二項関係） $f$ が

$x \in A$ ならば $(x, y) \in f$ を満たす $y \in B$ が存在する
$(x, y 1) \in f$ かつ $(x, y 2) \in f$ ならば $y 1 = y 2$

の二つをみたすとき、 $f$ を $A$ から $B$ への関数と呼び^[7]、 $f : A \to B$ で表す。またこのとき、 $(x, y) \in f$ であることを $f (x) = y$ と書く。この文脈では、 $f$ と $f$ のグラフ ${(x, y) | y = f (x)$ } を同一視し、関数と写像を同じ意味に用いる。二つの写像 $f$ と $g$ の相等は、集合として同一であるということ、すなわち

\forall x \forall y ( (x, y) \in f \Leftrightarrow (x, y) \in g)

ということであるが、これは（ $f$ と $g$ の定義域が等しく、かつ）任意の $a \in A$ に対して $f (a) = g (a)$ であることと同値である。

3つの集合からなる組の一種として定義する場合

一方、圏論の用語との整合性を重んじる文脈では、次のようになる。集合 $A$ , $B$ の元の順序対からなる集合（すなわち二項関係） $G f$ が

全域性: $x \in A$ ならば $(x, y) \in G f$ を満たす $y \in B$ が存在する
右一意または関数的: $(x, y 1) \in G f$ かつ $(x, y 2) \in G f$ ならば $y 1 = y 2$

の二つをみたすとき、三つ組 $f := (A, B, G f)$ をこの関数関係 $G f$ から定まる $A$ から $B$ への写像と呼び、 $f : A \to B$ で表す。またこのとき、 $(x, y) \in G f$ であることを $f (x) = y$ と書き、 $G f = {(x, y) | y = f (x)}$ を写像 $f$ のグラフと呼ぶ。二つの写像 $(A, B, G f)$ と $(C, D, G g)$ の相等は、三つ組としての相等をいう。特に、 $f$ , $g$ がともに $A$ から $B$ への写像のとき、 $f$ と $g$ が等しいというのは、この二つの写像のグラフ $G f$ と $G g$ とが $A \times B$ の集合として同一であるということ、すなわち

\forall x \forall y ( (x, y) \in G f \Leftrightarrow (x, y) \in G g)

ということであるが、これは任意の $a \in A$ に対して $f (a) = g (a)$ であることと同値なので、素朴な意味で写像 $f$ と $g$ が等しいと言ったときと同じ意味となる。

圏論の用語と整合性をとる文脈では、写像の相等を扱う際の、二つの写像が「ともに $A$ から $B$ への」写像であるという但し書きは重要である。例えば $A$ から $B$ への写像 $f$ と $A$ から $B \subseteq B'$ なる $B'$ への写像 $g$ について、集合として $f = g$ （つまりグラフが一致）でも三つ組としては異なるから、この二つの写像は同一でない。実際、 $x \mapsto x 2$ なる元の対応で定められる二つの写像 $f : R \to R$ と $g : R \to R \geq0$ を考えると後者は全射性を持つが前者はそうでない^[8]（値域・終域の各項も参照）。

また、超限帰納法を用いるなどして写像を集合論的に構成する場合、始域や終域としては「すべての集合」のような真の類を考えることもある^[要出典]。そのような場合でも定義域 $A$ を集合に制限すれば順序対の集まり $f| A$ や値域 $f(A)$ も集合となる^[要出典]。

例

自明な写像

集合 $A$ の任意の元 $a$ に対して $a$ 自身を対応させると、これは $A$ から $A$ への写像になる。この写像を恒等写像といい、 $I A$ や $id A$ や $1 A$ などで表す。
$B$ を $A$ の部分集合とするとき、 $B$ の任意の元 $b$ に対して $b$ 自身を $A$ の元として対応させる $B$ から $A$ への写像を包含写像といい、 $i A, B$ や $inc A, B$ などで表す。
$f : A \to B$ とする。 $A$ の部分集合 $A'$ について、 $A'$ の各元 $a$ に対して $B$ の元 $f (a)$ を対応させると、これは $A'$ から $B$ への写像になる。この写像を $f$ の $A'$ への制限写像といい、 $f | A'$ と表す。
$A$ が空集合のとき、 $A$ から $B$ への写像はただ一つ存在し、これを空写像と呼ぶ。空写像に対応するグラフは空集合である。 $A$ の元が存在しないので何の対応も定めてはいないが、これも立派な写像である。素朴な定義では、 $f$ が写像であるとは「 $a$ が $A$ の元ならば $B$ の元 $f (a)$ がただ一つ定まる」が成り立つことであったが、 $A$ が空集合ならば「 $a$ が $A$ の元」は偽であるから、この命題は真である。この議論は $A$ と $B$ が共に空集合である場合も通用するので、空集合から空集合への写像は空写像ただ一つである^{[注釈 1]}。

一般の例

$x \in R$ に絶対値 $| x |$ を対応させる $|・|: R \to [0, \infty)$ は写像である。これは全射であるが単射ではない。
$GL (n, R)$ を $n$ 次実一般線型群、即ち正則な実 $n$ 次正方行列の全体とする。行列 $A \in GL (n, R)$ にその行列式 $\det A\in \mathbb {R} ^{\times }:=\mathbb {R} \setminus \{0\}$ を対応させる対応 $det: GL (n, R) \to R \times$ は写像になる。これも全射であるが $n \geq 2$ のとき単射ではない。
$R 2 [x]$ を ${ax 2 + bx + c | a, b, c \in R, a \neq 0}$ （実係数2次多項式全体）で定める。多項式 $ax 2 + bx + c \in R 2 [x]$ にその判別式 $D = b 2 - 4 ac \in R$ を対応させる対応 $D : R 2 [x] \to R$ は写像である。これも全射であるが単射ではない。
$x\in \mathbb {R}$ に $\lfloor x\rfloor :=\max\{n\in \mathbb {Z} \mid x\geq n\}$ （ $x$ 以下の最大の整数）を対応させる対応 $\lfloor \cdot \rfloor \colon \mathbb {R} \to \mathbb {Z}$ は床関数といわれる。同様に、 $\lceil x\rceil :=\min\{n\in \mathbb {Z} \mid x\leq n\}$ （ $x$ 以上の最小の整数）を対応させる対応 $\lceil \cdot \rceil \colon \mathbb {R} \to \mathbb {Z}$ は天井関数といわれる。どちらも、全射であるが単射ではない。
$z=a+bi\in \mathbb {C}$ に実部, 虚部を対応させる写像 $\mathrm {Re} \colon \mathbb {C} \ni z\mapsto a\in \mathbb {R}$ , $\mathrm {Im} \colon \mathbb {C} \ni z\mapsto b\in \mathbb {R}$ はともに全射であるが単射でない.
$n$ 個の空でない集合 $X 1,..., X n$ の直積集合 $X_{1}\times \cdots \times X_{n}$ から $X i$ への写像 $p i$ を次のように定める: $p_{i}\colon X_{1}\times \cdots \times X_{n}\ni (x_{1},\dots ,x_{n})\mapsto x_{i}\in X_{i}.$ これは $X_{1}\times \cdots \times X_{n}$ から $X i$ への第 $i$ 射影（ $i$ -th projection）といわれる. これは全射であるが単射でない.

各分野で代表的な写像

など。これらはどれも、圏論における射の例になっている。（#射・関手）

定値写像

$X, Y$ を集合とする。写像 $f : X \to Y$ が $X$ の任意の元 $x, y$ に対して $f (x) = f (y)$ をみたすとき、 $f$ は定値写像といわれる。 $X$ が空でないとき、定値写像とはその像が一元集合となるものである。 $X$ が空であるときは、文献によって扱いが異なる。

基本概念

像・逆像

→詳細は「像 (数学)」および「値域」を参照

$B'$ を $B$ の部分集合とするとき、 $f$ によって $B'$ に写される始域 $A$ の元全体からなる集合 ${a \in A | f (a) \in B'}$ を $B'$ の逆像または原像といい、 $f -1 (B')$ で表す^{[注釈 2]}。

$A$ の部分集合 $X$ の元の $f$ による像たちの全体からなる終域 $B$ の部分集合 ${f (a) | a \in X}$ を $X$ の $f$ による像といい、 $f [X]$ , $f ″ X$ などで表す。特に $f$ の $A$ による像 $f [A]$ を $f$ の値域 (range) と呼び、 $ran(f)$ , $Im(f)$ などで表す^{[注釈 3]}。つまり、写像 $f : A \to B$ あるいは $G f \subseteq A \times B$ の値域 $ran(f)$ は

\operatorname {ran} (f)=\{y\mid \exists x((x,y)\in G_{f})\}\subseteq B

で定義される。

合成

→詳細は「写像の合成」を参照

2つの写像 $f : A \to B$ 、 $g : B \to C$ が与えられたとする。そのとき、 $A$ の元 $a$ に $C$ の元 $g (f (a))$ を対応させる $A$ から $C$ への写像が1つ得られる^[9]。その写像を $f$ と $g$ との合成写像（あるいは積）といい、 $g \circ f$ （または $gf$ ）で表す：

$g \circ f : A \to C$ 、 $\forall a \in A ( (g \circ f)(a) = g (f (a)) )$ ^[9]。

写像 $f : A \to B$ 、 $g : B \to C$ 、 $h : C \to D$ が与えられたとき、

$(h \circ g)\circ f = h \circ(g \circ f)$ 　　（結合律）、
$f \circ I A = f$ 、　 $I B \circ f = f$

が成り立つ^[10]。（なお、写像の合成について交換律は成り立たない^[11]）これらのことから、特に $A$ からそれ自身への写像（ $A$ 上の変換）全体の集合は恒等写像を単位元とする非可換モノイドをなすことがわかる。

全射・単射および逆写像

→詳細は「全射・単射・全単射（英語版）」を参照

→「全射」、「単射」、「全単射」、および「逆写像」も参照

全射・単射・全単射

右全域性「 $f : A \to B$ について $ran(f) = B$ 」が成り立つとき（つまり値域と終域が一致するとき）、 $f$ を $A$ から $B$ への全射という。

左一意性「 $A$ の任意の元 $a 1, a 2$ に対して、 $a 1 \neq a 2$ ならば $f (a 1) \neq f (a 2)$ 」が成り立つとき、 $f$ を単射という。包含写像は単射である。単射の制限写像も単射である。

$A$ から $B$ への全射 $f$ がさらに単射でもあるとき、 $f$ は $A$ から $B$ への全単射であると言われる。定義域を $A$ とする任意の単射 $f$ はあきらかにその値域 $f (A)$ への全単射である。

逆写像

$f$ を $A$ から $B$ への全単射とする。そのとき、 $B$ の元 $b$ に対して、 $f (a) = b$ であるような $A$ の元 $a$ がちょうど1つ存在する。そこで、 $B$ の元 $b$ にそのような $A$ の元 $a$ を対応させる $B$ から $A$ への写像を $f$ の逆写像といい、 $f -1$ と表す。定義より次が成り立つ：

$f -1 : B \to A$ 、　 $\forall a \in A \forall b \in B (f -1 (b) = a \Leftrightarrow f (a) = b)$ ^[9]。

$f -1$ は $B$ から $A$ への全単射である。 $f -1$ の構成から、

f^{-1}\circ f=\operatorname {id} _{A},\quad f\circ f^{-1}=\operatorname {id} _{B}

であることが分かる。

写像の構成法

既知の写像から別の新たな写像を構成する方法をいくつか示す。

制限と延長

→詳細は「制限 (数学)」を参照

写像の定義域をより小さな部分集合に取り換えることで写像の制限 (restriction) または縮小^[11]が定義される。すなわち、写像 $f : X \to Y$ と部分集合 $S \subseteq X$ が任意に与えられたとき、任意の $s \in S$ に対して $f | S (s) := f (s)$ と置くことにより定義される写像 $f | S : S \to Y$ を写像 $f$ の $S$ への（定義域の）制限と呼ぶ。写像 $h$ の適当な制限が $f$ に一致するとき、 $h$ は $f$ の延長 (continuation) または拡大^[12]もしくは拡張 (extension) であるという。終域の制限や延長を考えることもある。また写像の制限の記号は誤解のおそれが無い限り省略されることも多い。

直和

→詳細は「区分的に定義された写像」を参照

ふたつの写像 $f : X \to Y$ , $g : W \to Y$ で、それらの定義域が交わりを持たない ( $X \cap W = \emptyset$ ) とき、これらのグラフの合併として写像の直和 $f \oplus g : X \cup W \to Y$ を定義する。これは具体的に

(f\oplus g)(\xi )={\begin{cases}f(\xi )&(\xi \in X)\\g(\xi )&(\xi \in W)\end{cases}}

と書ける区分的に定義された写像である。より一般に、 $X \cap W \neq \emptyset$ のとき、二つの写像の $X \cap W$ への制限が $f | X \cap W = g | X \cap W$ を満たすとき、直和写像 $f \oplus g$ は well-defined で、

(f\oplus g)(\xi )={\begin{cases}f(\xi )&(\xi \in X\smallsetminus W)\\f|_{X\cap W}(\xi )=g|_{X\cap W}(\xi )&(\xi \in X\cap W)\\g(\xi )&(\xi \in W\smallsetminus X)\end{cases}}

を満たす。直和 $f \oplus g$ は $f$ , $g$ の共通の延長として最小であり、直和のグラフはそれぞれの写像のグラフの合併である。直和は可換である。

さらに一般の場合に、 $f : X \to Y$ の $g : W \to Y$ による上書き和 (override union) と呼ばれる $g$ の延長 $f \oplus g : X \cup W \to Y$ が $g$ および $f| X∖W$ のグラフの合併として与えられ、

(f\oplus g)(\xi )={\begin{cases}f(\xi )&(\xi \in X)\\g(\xi )&(\xi \in W\smallsetminus X)\end{cases}}

と書ける。上書き和は一般には可換でない。

直積

ふたつの写像 $f : X \to Z$ , $g : Y \to W$ に対して、写像の直積 $f \times g : X \times Y \to Z \times W$ は

(f\times g)(x,y):=(f(x),g(y))\quad (x\in X,\,y\in Y)

で与えられる。

商と標準分解

任意の写像 $f : X \to Y$ に対し、 $X$ 上の二項関係 $\sim f$ を

a\sim _{f}b\iff f(a)=f(b)

で定めると $\sim f$ は同値関係で、写像 $f$ に付随する同値関係^[13]と呼ばれる。この同値関係による類別を考えることにより $X$ は等位集合 $C (y) = f -1 (y) (y \in Y)$ の和に分割される。このとき、商集合 $X/\sim f$ からの写像

\varphi \colon X/{\sim _{f}}\to \operatorname {ran} (f)(\subset Y);\;C(y)\mapsto y

は well-defined で、 $f$ の同値関係 $\sim f$ による商写像あるいは $f$ に付随する全単射^[14]と呼ぶ。写像系列

f\colon X{\stackrel {\pi }{{}\twoheadrightarrow {}}}X/{\sim _{f}}{\stackrel {\varphi }{{}\to {}}}\operatorname {ran} (f){\stackrel {\iota }{{}\hookrightarrow {}}}Y,

あるいは等式 $f = ι \circ φ \circ π$ （ただし、 $π$ は自然な全射、 $ι$ は自然な単射）を写像 $f$ の標準分解^[14]と呼ぶ。

写像の集合

→詳細は「配置集合」を参照

$X$ から $Y$ への写像全体の成す集合は配置集合^[15] (独: Belegungsmenge^[16]) と呼ばれ、しばしば指数記法に従って $Y X$ （あるいは $X Y$ ）と書かれる。圏論の言葉で言えば配置集合は集合と写像の圏の指数である^[要出典]。配置集合は $[X\to Y],\ {\mathcal {F}}(X,Y),\ \operatorname {Map} (X,Y)$ とも書かれる。

濃度の冪は配置集合の濃度と定義される: $| B A | = | B | | A |$ ^[17]。

カリー化 $A \times B C \to A (B C)$ は^[要出典]

f\mapsto g\quad (C\ni f(a,b)=g(a)(b);\;g:A\to [B\to C])

^[要出典]

のように二変数写像をある種一変数化する、配置集合の間の同型である^[要出典]。

写像図式

→詳細は「可換図式」を参照

複数の集合と写像を一度に扱う必要があるとき、図式や系列と呼ばれる道具を用いると記述が簡素になる。ホモロジー代数や圏論の文脈ではよく用いられる。写像の図式^[18]とは、いくつかの集合を頂点とし、それらの集合間の写像を有向辺にもつようなグラフである。簡単な図式の例としては鎖 $A_{1}{\stackrel {f_{1}}{{}\to {}}}A_{2}{\stackrel {f_{2}}{{}\to {}}}A_{3}$ や

写像の合成: 可換三角形
可換矩形

などを挙げることができる。任意の頂点から別の任意の頂点への写像が経路の取り方に依らないとき、図式は可換であるという^[19]。例えば $h = g \circ f$ のとき図式

は可換であり、逆もまた成り立つ。

一般化と応用

部分写像

→詳細は「部分写像」を参照

一般には、定義域と始域が異なる（値の定められていない始域の元が存在する）という場合も考え得る。集合 $A$ , $B$ の元の順序対からなる集合（すなわち二項関係） $G f$ が

右一意性: $(x, y 1) \in G f$ かつ $(x, y 2) \in G f$ ならば $y 1 = y 2$

をみたすとき $G f$ は $A$ から $B$ への関数関係であると言われる。このとき、三つ組 $f := (A, B, G f)$ をこの関数関係 $G f$ から定まる $A$ から $B$ への部分写像と呼び^{[注釈 4]}、 $f : A \to B$ で表す。部分写像 $f : A \to B$ すなわち $G f \subseteq A \times B$ の定義域 $dom(f)$ と値域 $ran(f)$ は次のように定義される：

\operatorname {dom} (f)=\{x\mid \exists y((x,y)\in G_{f})\}\subseteq A,\quad \operatorname {ran} (f)=\{y\mid \exists x((x,y)\in G_{f})\}\subseteq B.

写像の定義の際には課した関係の全域性は、部分写像 $f$ の定義域 $dom(f)$ が始域 $A$ に一致することをいうものであり、全域的な部分写像を特に全域写像 (total mapping) と呼ぶ。すなわち、全域写像は写像の同義語である^{[注釈 5]}。

多変数・多価の写像

→詳細は「多変数関数」および「多価関数」を参照

写像の多変数化による一般化を考えると、それは始域を何らかの直積集合に取り換えた通常の意味の写像として扱える。とくに一つの集合 $M$ に対して $M \times M \times\dots\times M \to M$ なる形の多変数写像は $M$ の複数の元から別の新しい元を作り出す操作と見做して算法と呼ばれる^[20]。

多値の関数の場合も終域を直積集合に取り換えた写像として定式化することができる場合もあり、例えばベクトル値関数はスカラー値関数の直積として理解できる。しかし単純にそのように捉えることができない場合、あるいは捉えないほうがよい場合もある。例えば多価の複素解析関数は、分岐切断を超えてそれぞれの分枝の間に素性の良い関係性を記述することができ、適当なリーマン面上で定義された通常の関数と考えることが有効である。

射・関手

→詳細は「射 (圏論)」および「関手」を参照

写像は集合と写像の圏における射であり、一般に具体圏（英語版）における射はある種の写像として与えられるが、一般の圏における射は必ずしも写像でない。

圏の間の関手は、集合の間の写像と似た概念だが、対象同士の対応関係とともに対象間の射についても同時に対応関係を記述する。さらに、関手間の射として自然変換の概念が定式化される。

脚注

[脚注の使い方]

注釈

^ この事実は0の0乗を 1 と定義する理由の一つに挙げられる（ただし、いつもそのように定義するわけではない）
^ ここに、 $f -1$ は単なる符牒であって必ずしも写像を定義しないが、対応と考えることができるし、写像 $f$ が逆を持てばそれに一致する。
^ 部分写像を写像と呼ぶ立場と同様に、やはり値域と終域を明示的に区別しない立場もある。またこの立場では値域と終域とを区別せずにコドメイン (codomain) あるいはターゲット (target) と呼ぶこともある。
^ 全域的でないものに限って部分写像と言っている場合もある。
^ 部分写像と全域写像を総称して写像と呼ぶ流儀もある。これは、定義域と始域の区別を重視しない立場であるということもでき、この立場で始域や定義域を区別せずにドメイン (domain)あるいはソース(source)と呼ぶこともある。

出典

^ 例えば(ケリー 1968, p. 10)は「関数，対応，写像，作用素をすべて同じ意味で使用することにする」という断り書きをつけている。
^ The words map or mapping, transformation, correspondence, and operator are often used synonymously. (Halmos 1970, p. 30). (訳文: 写像、変換、対応および作用素の語がしばしば (関数の) 同義語として用いられる)
^ 例えば Lang 1971, p. 83, 松坂 1968, p. 28, PlanetMath など
^ 松本 (1988) は、多様体上の実数値写像を関数と呼んでいる。
^ 松坂 1968, p. 298.
^ 松坂 1968, p. 24, 37, 38.
^ Kunen 1980, p. 14
^ 松本 (2004), 注意 1.1.6, 定義 1.1.7 なども参照
^ ^a ^b ^c 松坂 1968, p. 34.
^ 松坂 1968, p. 35, 定理 6.
^ ^a ^b 松坂 1968, p. 36.
^ 松坂 1968, p. 37.
^ 松坂 1968, p. 55.
^ ^a ^b 松坂 1968, p. 59.
^ 松坂 1968, p. 38.
^ Dauben (1990), Georg Cantor, p. 174
^ Dauben (1990), Georg Cantor, p. 174
^ 松坂 1968, p. 296.
^ 松坂 1968, p. 297.
^ 松坂 1968, p. 50.

参考文献

ニコラ・ブルバキ著、前原昭二訳『集合論要約』〈数学原論〉1968年。
Halmos, Paul R. (1970). Naive Set Theory. Springer-Verlag. ISBN 0-387-90092-6
ジョン L. ケリ－著、児玉之宏訳『位相空間論』吉岡書店、1968年。
Kunen, Kenneth (1980). Set Theory An Introduction to Independence Proofs. North-Holland. ISBN 0-444-86839-9
Lang, Serge (1971), Linear Algebra (2nd ed.), Addison-Wesley
松本, 幸夫『多様体の基礎』東京大学出版会〈基礎数学5〉、1988年。ISBN 978-4-13-062103-8。
松坂和夫『集合・位相入門』岩波書店、1968年。ISBN 4-00-005424-4。

外部リンク

Weisstein, Eric W. "Map". mathworld.wolfram.com (英語).
mapping - PlanetMath.（英語）
松本眞 (2004年). “代数系入門” (PDF). 広島大学理学部数学科松本研究室. 2012年5月閲覧。
『写像』 - コトバンク

[9] この事実は0の0乗を 1 と定義する理由の一つに挙げられる（ただし、いつもそのように定義するわけではない）

[10] ここに、 $f -1$ は単なる符牒であって必ずしも写像を定義しないが、対応と考えることができるし、写像 $f$ が逆を持てばそれに一致する。

[11] 部分写像を写像と呼ぶ立場と同様に、やはり値域と終域を明示的に区別しない立場もある。またこの立場では値域と終域とを区別せずにコドメイン (codomain) あるいはターゲット (target) と呼ぶこともある。

[23] 全域的でないものに限って部分写像と言っている場合もある。

[24] 部分写像と全域写像を総称して写像と呼ぶ流儀もある。これは、定義域と始域の区別を重視しない立場であるということもでき、この立場で始域や定義域を区別せずにドメイン (domain)あるいはソース(source)と呼ぶこともある。

[1] 例えば(ケリー 1968, p. 10)は「関数，対応，写像，作用素をすべて同じ意味で使用することにする」という断り書きをつけている。

[2] The words map or mapping, transformation, correspondence, and operator are often used synonymously. (Halmos 1970, p. 30). (訳文: 写像、変換、対応および作用素の語がしばしば (関数の) 同義語として用いられる)

[3] 例えば Lang 1971, p. 83, 松坂 1968, p. 28, PlanetMath など

[4] 松本 (1988) は、多様体上の実数値写像を関数と呼んでいる。

[FOOTNOTE松坂1968298-5] 松坂 1968, p. 298.

[FOOTNOTE松坂196824,_37,_38-6] 松坂 1968, p. 24, 37, 38.

[7] Kunen 1980, p. 14

[8] 松本 (2004), 注意 1.1.6, 定義 1.1.7 なども参照

[FOOTNOTE松坂196834-12] 松坂 1968, p. 34.

[FOOTNOTE松坂196835定理_6-13] 松坂 1968, p. 35, 定理 6.

[FOOTNOTE松坂196836-14] 松坂 1968, p. 36.

[FOOTNOTE松坂196837-15] 松坂 1968, p. 37.

[FOOTNOTE松坂196855-16] 松坂 1968, p. 55.

[FOOTNOTE松坂196859-17] 松坂 1968, p. 59.

[FOOTNOTE松坂196838-18] 松坂 1968, p. 38.

[19] Dauben (1990), Georg Cantor, p. 174

[20] Dauben (1990), Georg Cantor, p. 174

[FOOTNOTE松坂1968296-21] 松坂 1968, p. 296.

[FOOTNOTE松坂1968297-22] 松坂 1968, p. 297.

[FOOTNOTE松坂196850-25] 松坂 1968, p. 50.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[注釈 1]

[注釈 2]

[注釈 3]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[注釈 4]

[注釈 5]

[20]

写像

定義