写像

**写像**（しゃぞう、）は、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。**[[関数_(数学)|関数]]**、**[[変換 (数学)|変換]]**、**[[作用素 (関数解析学)|作用素]]**、**[[射 (圏論)|射]]**などが写像の同義語として用いられることもある。

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

## 定義
### 素朴な説明

集合 A の任意の元に対してそれぞれ集合 B の元をただ一つずつ指定する規則 f があるとき、A を f の**[[定義域]]**（あるいは**始域**）、B を f の**[[終域]]**、f を A から B への**写像**という。この関係を、下式のように表す。
*f:A\rarr B
*A\stackrel fB

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

という記法で表される。。

#### 相等関係
2つの写像 、  の相等関係について、次が成り立つ：

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

集合論においては、集合 ,  の元の順序対からなる集合（すなわち二項関係） が
*  ならば  を満たす  が存在する
*  かつ  ならば 
の二つをみたすとき、 を  から  への関数と呼び、 で表す。またこのとき、 であることを  と書く。この文脈では、 と  のグラフ } を同一視し、関数と写像を同じ意味に用いる。
二つの写像  と  の相等は、集合として同一であるということ、すなわち
:
ということであるが、これは（  と  の定義域が等しく、かつ）任意の  に対して  であることと同値である。

### 3つの集合からなる組の一種として定義する場合
一方、圏論の用語との整合性を重んじる文脈では、次のようになる。
集合 ,  の元の順序対からなる集合（すなわち二項関係） が
* **全域性**:  ならば  を満たす  が存在する
* **右一意**または**関数的**:  かつ  ならば 
の二つをみたすとき、三つ組  をこの関数関係  から定まる  から  への写像と呼び、 で表す。またこのとき、 であることを  と書き、を写像  のグラフと呼ぶ。二つの写像  と  の相等は、三つ組としての相等をいう。特に、,  がともに  から  への写像のとき、 と  が等しいというのは、この二つの写像のグラフ と とが  の集合として同一であるということ、すなわち
:
ということであるが、これは任意の  に対して  であることと同値なので、素朴な意味で写像  と  が等しいと言ったときと同じ意味となる。

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

。。

## 基本概念
### 像・逆像

 を  の部分集合とするとき、 によって  に写される始域  の元全体からなる集合  を  の逆像または原像といい、 で表す。

 の部分集合  の元の  による像たちの全体からなる終域  の部分集合  を  の  による像といい、,  などで表す。特に  の  による像  を  の**[[値域]]**  と呼び、,  などで表す。つまり、写像  あるいは  の値域  は
:\operatorname{ran}(f) = \{y \mid \exists x ((x,y)\in G_f)\}\subseteq B
で定義される。

### 合成

2つの写像 、  が与えられたとする。そのとき、  の元  に  の元  を対応させる  から  への写像が1つ得られる。その写像を  と  との**[[合成写像]]**（あるいは**積**）といい、 （または  ）で表す：

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

### 全射・単射および逆写像

#### 全射・単射・全単射
右全域性「 について 」が成り立つとき（つまり値域と終域が一致するとき）、 を  から  への全射という。

左一意性「 の任意の元  に対して、 ならば 」が成り立つとき、  を単射という。包含写像は単射である。単射の制限写像も単射である。

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

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

は  から  への全単射である。 の構成から、
:f^{-1} \circ f = \operatorname{id}_A,\quad f\circ f^{-1} = \operatorname{id}_B
であることが分かる。

#### 関連概念および定理
 からそれ自身への全単射全体の集合を  とすると、写像の合成は結合法則を満たし、恒等写像を単位元として、任意の全単射が逆写像を逆元に持つから、これは群をなす。特に  が  個の元からなる有限集合の場合の  を  次**[[対称群]]**という。

,  の合成  が定義可能で全単射であるとき、 が全射であることおよび  が単射であることが容易に確かめられるが、このことの逆も次の意味で成り立つ。

*  が全射であるとき、（選択公理を仮定すると） から  への写像  が存在して右可逆性  が成り立つ。この  のことを、 の**右逆写像**という。
*  （）が単射であるとき、*B* から  への写像  が存在して左可逆性  が成り立つ。この  のことを、 の**左逆写像**という。
この二つの事実には、正確に逆が成り立つ。従って、全射と単射を次のように定義することもできる。
:写像  が右逆写像を持つことは  が全射であることと同値であり、 が左逆写像を持つことは  が単射であることと同値である。

## 例
### 自明な写像
* 集合  の任意の元  に対して  自身を対応させると、これは  から  への写像になる。この写像を恒等写像といい、 や  や  などで表す。
*  を  の部分集合とするとき、 の任意の元  に対して  自身を  の元として対応させる  から  への写像を包含写像といい、 や  などで表す。
*  とする。 の部分集合  について、 の各元  に対して  の元  を対応させると、これは  から  への写像になる。この写像を  の  への制限写像といい、 と表す。
*  が空集合のとき、 から  への写像はただ一つ存在し、これを空写像と呼ぶ。空写像に対応するグラフは空集合である。 の元が存在しないので何の対応も定めてはいないが、これも立派な写像である。素朴な定義では、 が写像であるとは「 が  の元ならば  の元  がただ一つ定まる」が成り立つことであったが、 が空集合ならば「 が  の元」は偽であるから、この命題は真である。この議論は  と  が共に空集合である場合も通用するので、空集合から空集合への写像は空写像ただ一つである。

### 一般の例
* に 絶対値  を対応させる  は写像である。これは全射であるが単射ではない。
* を  次実一般線型群、即ち正則な実  次正方行列の全体とする。行列  にその行列式 \det A \in \mathbb{R}^\times:=\R \setminus \{0\} を対応させる対応  は写像になる。これも全射であるが  のとき単射ではない。
* を  （実係数2次多項式全体）で定める。多項式  にその判別式  を対応させる対応  は写像である。これも全射であるが単射ではない。
*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}  はともに全射であるが単射でない.
* 個の空でない集合  の直積集合 X_1 \times \cdots \times X_n から  への写像  を次のように定める: 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 から  への**第** i **[[射影 (集合論)|射影]]**（i -th projection）といわれる. これは全射であるが単射でない.

### 各分野で代表的な写像
* 線型空間の間の線型写像
* 群や環等の間の準同型写像
* 距離空間や位相空間の間の連続写像
* 順序集合の間の単調写像
* 可微分多様体間の可微分写像
など。これらはどれも、圏論における射の例になっている。（#射・関手）

### 定値写像
 を集合とする。写像  が  の任意の元  に対して  をみたすとき、 は定値写像といわれる。 が空でないとき、定値写像とはその像が一元集合となるものである。 が空であるときは、文献によって扱いが異なる。

## 写像の構成法
既知の写像から別の新たな写像を構成する方法をいくつか示す。
### 制限と延長

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

### 直和

ふたつの写像 ,  で、それらの定義域が交わりを持たない () とき、これらのグラフの合併として写像の直和  を定義する。これは具体的に
: (f\oplus g)(\xi) = \begin{cases} 
 f(\xi) & (\xi\in X)\\
 g(\xi) & (\xi\in W)
\end{cases}
と書ける区分的に定義された写像である。より一般に、 のとき、二つの写像の  への制限が  を満たすとき、直和写像  は 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}
を満たす。直和  は  および  の双方の延長となる写像のうち定義域が最小のもの（すなわち定義域が X \cup W であるもの）であり、直和のグラフはそれぞれの写像のグラフの合併である。直和は可換である。

さらに一般の場合に、 の  による上書き和 (override union) と呼ばれる  の延長  が  および  のグラフの合併として与えられ、
: (f\oplus g)(\xi) = \begin{cases} 
 f(\xi) & (\xi\in X)\\
 g(\xi) & (\xi\in W\smallsetminus X)
\end{cases}
と書ける。上書き和は一般には可換でない。

### 直積
ふたつの写像 ,  に対して、写像の直積  は
: (f\times g)(x,y) := (f(x),g(y))\quad (x\in X,\,y\in Y)
で与えられる。

### 商と標準分解
任意の写像  に対し、 上の二項関係  を
: a \sim_f b \iff f(a)=f(b)
で定めると  は同値関係で、写像  に**付随する同値関係**と呼ばれる。この同値関係による類別を考えることにより  は等位集合  の和に分割される。このとき、商集合  からの写像
: \varphi\colon X/{\sim_f} \to \operatorname{ran}(f) (\sub Y);\; C(y) \mapsto y
は well-defined で、 の同値関係  による商写像あるいは  に**付随する全単射**と呼ぶ。写像系列
: f\colon X \stackrel{\pi} X/{\sim_f} \stackrel{\varphi} \operatorname{ran}(f) \stackrel{\iota} Y,
あるいは等式  （ただし、 は自然な全射、 は自然な単射）を写像  の**標準分解**と呼ぶ。

## 写像の集合

 から  への写像全体の成す集合は**配置集合** () と呼ばれ、しばしば指数記法に従って （あるいは ）と書かれる。。配置集合は [X \to Y],\ \mathcal{F}(X,Y),\ \operatorname{Map}(X,Y) とも書かれる。 

* 濃度の冪は配置集合の濃度と定義される: 。

。

## 写像図式

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

File:Morphism-Composition-with-name.svg|写像の合成: 可換三角形
File:Commutative square.svg|可換矩形

などを挙げることができる。任意の頂点から別の任意の頂点への写像が経路の取り方に依らないとき、図式は可換であるという。例えば  のとき図式
: 
は可換であり、逆もまた成り立つ。

## 一般化と応用
### 部分写像

一般には、定義域と始域が異なる（値の定められていない始域の元が存在する）という場合も考え得る。集合 ,  の元の順序対からなる集合（すなわち二項関係） が
* **右一意性**:  かつ  ならば 
をみたすとき  は  から  への**関数関係**であると言われる。このとき、三つ組  をこの関数関係  から定まる  から  への部分写像と呼び、 で表す。部分写像  すなわち  の**定義域**  と**値域**  は次のように定義される：
: \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.

写像の定義の際には課した関係の全域性は、部分写像  の定義域  が始域  に一致することをいうものであり、全域的な部分写像を特に**全域写像** () と呼ぶ。すなわち、全域写像は写像の同義語である。

### 多変数・多価の写像

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

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

### 射・関手

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

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

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 
* 
* 
* 

## 関連項目
* 射 (圏論)
* 列 (数学)
* 族 (数学)

## 外部リンク
* 
* 
* 
*