写像

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

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

定義

素朴な説明

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

[math]f\colon A \to B,\quad A \stackrel{f}{{}\to{}} B[/math]

などと表す。また 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) で表す。また、代表元 a が f によって b に写されることを、棒つき矢印を用いて

[math]f \colon a \mapsto b,\quad f \colon A \ni a \mapsto b \in B[/math]

などとも表す。変数 x を用いて x ↦ f(x) のように写像を表すとき、f は、 A をわたる（または動く）変数 x の函数である、あるいは変数 x に従属するという。

二項関係を用いた定義

集合論に由来する定義と、圏論に由来する定義に分けて説明する。

集合論における函数としての写像

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

• x ∈ A ならば (x, y) ∈ f を満たす y ∈ B が存在する
• (x, y₁) ∈ f かつ (x, y₂) ∈ f ならば y₁ = y₂

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

∀x∀y ( (x,y) ∈ f ⇔ (x,y) ∈ g )

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

圏論の射の一種としての写像

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

• 全域性: x ∈ A ならば (x, y) ∈ G_f を満たす y ∈ B が存在する
• 右一意または函数的: (x, y₁) ∈ G_f かつ (x, y₂) ∈ G_f ならば y₁ = y₂

の二つをみたすとき、三つ組 f := (A, B, G_f) をこの関数関係 G_f から定まる A から B への写像と呼び、f: A → B で表す。またこのとき、(x, y) ∈ 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 × B の集合として同一であるということ、すなわち

∀x∀y ( (x,y) ∈ G_f ⇔ (x,y) ∈ G_g)

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

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

また、超限帰納法を用いるなどして写像を集合論的に構成する場合、始域や終域としては「すべての集合」のような真の類を考えることもある。そのような場合でも定義域 A が集合であれば順序対の集まり f や値域 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 → 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 が共に空集合である場合も通用するので、空集合から空集合への写像は空写像ただ一つである。

一般の例

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

各分野で代表的な写像

• 線型空間の間の線型写像
• 群や環等の間の準同型写像
• 距離空間や位相空間の間の連続写像
• 順序集合の間の単調写像
• 可微分多様体間の可微分写像

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

定値写像

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

基本概念

像・逆像

"「像 (数学)」および「値域」"

B′ を B の部分集合とするとき、f によって B′ に写される始域 A の元全体からなる集合 {a ∈ A | f(a) ∈ B′} を B′ の逆像または原像といい、f⁻¹(B′) で表す。

A の部分集合 X の元の f による像たちの全体からなる終域 B の部分集合 {f(a) | a ∈ X} を X の f による像といい、f[X], f″X などで表す。特に f の A による像 f[A] を f の値域 (range) と呼び、ran(f), Im(f) などで表す。つまり、写像 f: A → B あるいは G_f ⊆ A × B の値域 ran(f) は

[math]\operatorname{ran}(f) = \{y \mid \exists x ((x,y)\in G_f)\}\subseteq B[/math]

で定義される。

合成

"「写像の合成」"

二つの写像 f: A → B, g: C → D を考える。 B が C の部分集合であるとき、A の任意の元 a に対して g(f(a)) は D のある一つの元であるから、 a に対して g(f(a)) を対応させることで A から D への写像が得られる。この写像を f と g との合成（ごうせい、composition; 結合）または積といい、g ∘ f あるいは gf と表す。

上の集合論的な定義に従って書けば

[math]G_{g \circ f} = \left\{ (a,d) \mid \exists x \in B;\; (a,x)\in G_f \and (x,d) \in G_g \right\}[/math]

が合成写像のグラフであり、合成 g ∘ f は三つ組として (A, D, G_g∘f) で表される。

以下の合成が定義される限りにおいて、

• 結合律: [math]h \circ (g \circ f) = (h \circ g) \circ f[/math]
• 単位律: [math]\operatorname{id}\circ f = f \circ \operatorname{id} = f[/math]

が成り立つ。また

• 可換律: [math]f\circ g = g\circ f[/math]

は両辺が定義される場合においても一般には成立しない。これらのことから、特に A からそれ自身への写像（A 上の変換）全体の集合は恒等写像を単位元とする非可換モノイドをなすことがわかる。

全射・単射および逆写像

ファイル:Surjection.svg

全射であり単射でない。

ファイル:Funcao venn.png

単射であり全射でない。

ファイル:Bijection.svg

全単射。

"「全射・単射・全単射」"

• 右全域性「f: A → B について ran(f) = B」が成り立つとき（つまり値域と終域が一致するとき）、f を A から B への全射という。
• 左一意性「A の任意の元 a₁, a₂ に対して、a₁ ≠ a₂ ならば f(a₁) ≠ f(a₂)」が成り立つとき、 f を単射という。包含写像は単射である。単射の制限写像も単射である。
• A から B への全射 f がさらに単射でもあるとき、f は A から B への全単射であると言われる。定義域を A とする任意の単射 f はあきらかにその値域 f(A) への全単射である。

f を A から B への全単射とする。f(a) = b によって b は a に対応しているが、f は全射だから、全ての b がある a に対応していて、f が単射であることからそのような a は一つしかないことが分かる。従ってこの関係を逆に見て、a が b に対応しているとみなすこともできる。この対応によって得られる B から A への写像を f の逆写像といい、f⁻¹ と表す。f⁻¹は B から A への全単射である。f⁻¹ の構成から、

[math]f^{-1} \circ f = \operatorname{id}_A,\quad f\circ f^{-1} = \operatorname{id}_B[/math]

であることが分かる。

A からそれ自身への全単射全体の集合を S(A) とすると、写像の合成は結合法則を満たし、恒等写像を単位元として、任意の全単射が逆写像を逆元に持つから、これは群をなす。特に A が n 個の元からなる有限集合の場合の S(A) を n 次対称群という。

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

• f: A → B が全射であるとき、（選択公理を仮定すると）B から A への写像 r が存在して右可逆性 f ∘ r = id_B が成り立つ。この r のことを、f の右逆写像という。
• f: A → B が単射であるとき、B から A への写像 l が存在して左可逆性 l ∘ f = id_A が成り立つ。この l のことを、f の左逆写像という。

この二つの事実には、正確に逆が成り立つ。従って、全射と単射を次のように定義することもできる；

写像 f が右逆写像を持つとき、f を全射といい、f が左逆写像を持つとき、f を単射という。

写像の構成法

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

制限と延長

"「制限 (数学)」"

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

直和

"「区分的に定義された写像」"

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

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

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

[math](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}[/math]

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

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

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

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

直積

ふたつの写像 f: X → Z, g: Y → W に対して、写像の直積 f × g: X × Y → Z × W は

[math](f\times g)(x,y) := (f(x),g(y))\quad (x\in X,\,y\in Y)[/math]

で与えられる。

商と標準分解

任意の写像 f: X → Y に対し、X 上の二項関係 ∼_f を

[math]a \sim_f b \iff f(a)=f(b)[/math]

で定めると ∼_f は同値関係で、写像 f に付随する同値関係と呼ばれる。この同値関係による類別を考えることにより X は等位集合 C(y) = f⁻¹(y) (y ∈ Y) の和に分割される。このとき、商集合 X/∼_f からの写像

[math]\varphi\colon X/{\sim_f} \to \operatorname{ran}(f) (\sub Y);\; C(y) \mapsto y[/math]

は well-defined で、f の同値関係 ∼_f による商写像あるいは f に付随する全単射と呼ぶ。写像系列

[math]f\colon X \stackrel{\pi}{{}\twoheadrightarrow{}} X/{\sim_f} \stackrel{\varphi}{{}\to{}} \operatorname{ran}(f) \stackrel{\iota}{{}\hookrightarrow{}} Y,[/math]

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

写像の集合

"「配置集合」"

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

• 濃度の冪は配置集合の濃度と定義される: テンプレート:Abs = テンプレート:Abs^{テンプレート:Abs}.

カリー化 ^A×BC → ^A(^BC) は

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

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

写像の相等

写像 [math]f, g \in \mathcal{F}(X,Y)[/math] の間の相等関係 [math]=[/math] は次のように定義される：

[math]f=g\ :\Leftrightarrow\ f(x)=g(x)\quad \forall\ x \in X.[/math]

集合論では，定義域の相等と同じ元に対する像の相等のみ要求して，終域の相等は要求しない．

一方，圏論の用語と整合性をとる文脈では「定義域」「終域」「同じ元に対する像の相等」によって写像の相等を特徴づける．このような文脈では，定義域と終域を特定せずに勝手に選んだ写像 [math]\varphi \colon X \to Y,\ \psi \colon Z \to W[/math] については，

[math]\varphi = \psi\ :\Leftrightarrow\ X=Z,\ Y=W,\ \varphi(x)=\psi(x)\quad \forall\ x \in X[/math]

と定義される（[math]x \in X[/math] に対して [math]\psi(x)[/math] が定まることは [math]X=Z[/math] より従う）．

例

　[math]f \colon [0,2\pi) \to [-1,1],\ g \colon [0,2\pi) \to \mathbb{R}[/math] を [math]f(x):=\sin x=:g(x)[/math] と定義したとする．この [math]f,g[/math] は写像として異なる．しかし， [math]g[/math] の終域を像 [math][-1,1][/math] に置き換えた写像 [math]g^* \colon [0,2\pi) \to [-1,1][/math] を考えると [math]f=g^{\ast}[/math] となる．このように，終域を像に置き換えることによって等しくなる写像を，最初から等しいとみなしてしまおう，という考え方が，上で述べた「終域の相等」を要求しない定義に対応する．

　一方で，[math]f \colon [0,2\pi) \to [-1,1],\ h \colon [0,4\pi) \to [-1,1][/math] を [math]f(x):=\sin x=:h(x)[/math] と定義したとする．この [math]f,h[/math] も写像として異なるが， [math]h[/math] の定義域を [math][0,2\pi)[/math] に制限した制限写像 [math]h|_{[0,2\pi)} \colon [0,2\pi) \to [-1,1][/math] を考えると， [math]f=h|_{[0,2\pi)}[/math] となる．このような，定義域の制限によって等しくなる写像は，等しくないと考えるのが通例である．

写像図式

"「可換図式」"

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

• Morphism-Composition-with-name.svg

  写像の合成: 可換三角形

• Commutative square.svg

  可換矩形

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

200px

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

一般化と応用

部分写像

"「部分写像」"

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

• 右一意性: (x, y₁) ∈ G_f かつ (x, y₂) ∈ G_f ならば y₁ = y₂

をみたすとき G_f は A から B への関数関係であると言われる。このとき、三つ組 f := (A, B, G_f) をこの関数関係 G_f から定まる A から B への部分写像と呼び、f: A → B で表す。部分写像 f: A → B すなわち G_f ⊆ A × B の定義域 dom(f) と値域 ran(f) は次のように定義される：

[math] \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.[/math]

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

多変数・多価の写像

"「多変数函数」および「多価函数」"

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

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

射・函手

"「射 (圏論)」および「函手」"

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

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

参考文献

• ニコラ・ブルバキ 『集合論 要約』 前原昭二訳〈数学原論〉、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（英語）.
• mapping - PlanetMath.（英語）
• 松本眞 (2004年). “代数系入門 (PDF)”. 広島大学 理学部数学科 松本研究室. . 2012年5月閲覧.