写像

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

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

1. 定義
-----

1.1. 素朴な説明
----------

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

などと表す。また f}} は A}} で定義されているといい、あるいはまた f}} は B}} に値を持つという。始域 A}} を sour}}、終域 B}} を tar}} のように記すこともある。また、A}} の元 a}} に対して f}} によって指定される B}} の元が b}} であるとき、b}} を a}} における f}} の像あるいは値と呼び、b}} を //f//}} で表す。 f}} によって A}} の元 a}} が B}} の元 //f//}} に写されることは、 という記法で表される松坂。[[変数 。

1.1.1. 相等関係
-----------

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

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

集合論においては、集合 A}}, B}} の元の順序対からなる集合f}} が

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

ということであるが、これは任意の //a// ∈ //A//}} に対して //f// =}} //g//}} であることと同値である。

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

一方、圏論の用語との整合性を重んじる文脈では、次のようになる。 集合 A}}, B}} の元の順序対からなる集合Gsub が

全域性: //x// ∈ //A//}} ならば  ∈ //G//sub を満たす //y// ∈ //B//}} が存在する
右一意または関数的:  ∈ //G//sub かつ  ∈ //G//sub ならば の二つをみたすとき、三つ組 //f// :=}}  ∈ //G//sub であることを //f// =}} //y//}} と書き、//G//subを写像 f}} のグラフと呼ぶ。二つの写像 (//A//, //B//, //G//sub と (//C//, //D//, //G//sub の相等は、三つ組としての相等をいう。特に、f}}, g}} がともに A}} から B}} への写像のとき、f}} と g}} が等しいというのは、この二つの写像のグラフ//G//sub と //G//subとが //A// × //B//}} の集合として同一であるということ、すなわち

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

圏論の用語と整合性をとる文脈では、写像の相等を扱う際の、二つの写像が「ともに A}} から B}} への」写像であるという但し書きは重要である。例えば A}} から B}} への写像 f}} と A}} から //B// ⊆ //B//′}} なる //B//′}} への写像 g}} について、集合として //f// =}} //g//}}でも三つ組としては異なるから、この二つの写像は同一でない。実際、//x// ↦ //x//2}} なる元の対応で定められる二つの写像 //f//: R → R}} と //g//: R → R≥0}} を考えると後者は全射性を持つが前者はそうでない。

また、超限帰納法を用いるなどして写像を集合論的に構成する場合、始域や終域としては「すべての集合」のような[[クラス 。そのような場合でも定義域 mvar。

2. 例
----

2.1. 自明な写像
----------

集合 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//′}} から B}} への写像になる。この写像を f}} の //A//′}} への制限写像といい、//f//!}}//A//′}} と表す。
A}} が空集合のとき、A}} から B}} への写像はただ一つ存在し、これを空写像と呼ぶ。空写像に対応するグラフは空集合である。A}} の元が存在しないので何の対応も定めてはいないが、これも立派な写像である。素朴な定義では、f}} が写像であるとは「a}} が A}} の元ならば B}} の元 //f//}} がただ一つ定まる」が成り立つことであったが、A}} が空集合ならば「a}} が A}} の元」は偽であるから、この命題は真である。この議論は A}} と B}} が共に空集合である場合も通用するので、空集合から空集合への写像は空写像ただ一つであるこの事実は0の0乗を 1 と定義する理由の一つに挙げられる}}。

2.2. 一般の例
---------

//x// ∈ R}} に 絶対値 abs を対応させる abs は写像である。これは全射であるが単射ではない。
//GL//}} を n}} 次実一般線型群、即ち正則な実 n}} 次正方行列の全体とする。行列 //A// ∈ //GL//}} にその行列式 を対応させる対応 det: //GL// → R×}} は写像になる。これも全射であるが //n// ≥ 2}} のとき単射ではない。
R2[//x//]}} を mset で定める。多項式 //ax//2 + //bx// + //c// ∈ R2[//x//]}} にその判別式 //D// =}} //b//2 − 4//ac// ∈ R}} を対応させる対応 //D//: R2[//x//] → R}} は写像である。これも全射であるが単射ではない。
に を対応させる対応 は床関数といわれる。同様に、 を対応させる対応 は天井関数といわれる。どちらも、全射であるが単射ではない。
に実部, 虚部を対応させる写像 , はともに全射であるが単射でない.
n}} 個の空でない集合 //X//1,...,//X//n}} の直積集合 から //X//i}} への写像 //p//i}} を次のように定める: これは から //X//i}} への第 射影といわれる. これは全射であるが単射でない.

2.3. 各分野で代表的な写像
---------------

線型空間の間の線型写像
群や環等の間の準同型写像
距離空間や位相空間の間の連続写像
順序集合の間の単調写像
可微分多様体間の可微分写像など。これらはどれも、圏論における射の例になっている。

2.4. 定値写像
---------

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

3. 基本概念
-------

3.1. 像・逆像
---------

//B//′}} を B}} の部分集合とするとき、f}} によって //B//′}} に写される始域 A}} の元全体からなる集合 mset を //B//′}} の逆像または原像といい、//f//−1}} で表すここに、math。

A}} の部分集合 X}} の元の f}} による像たちの全体からなる終域 B}} の部分集合 mset を X}} の f}} による像といい、//f//[//X//]}}, //f//″//X//}} などで表す。特に f}} の A}} による像 //f//[//A//]}} を f}} の値域 en と呼び、ran}}, Im}} などで表す部分写像を写像と呼ぶ立場と同様に、やはり値域と終域を明示的に区別しない立場もある。またこの立場では値域と終域とを区別せずにコドメイン lang。つまり、写像 //f//: //A// → //B//}} あるいは //G//sub の値域 ran}} は

で定義される。

3.2. 合成
-------

2つの写像 //f// : //A//→//B//}}、 //g// : //B//→//C//}} が与えられたとする。そのとき、 A}} の元 a}} に C}} の元 //g//)}} を対応させる A}} から C}} への写像が1つ得られる松坂。その写像を f}} と g}} との合成写像といい、 //g//∘//f//}}で表す： 写像 //f// : //A//→//B//}}、 //g// : //B//→//C//}}、 //h// : //C//→//D//}} が与えられたとき、

∘//f// =}} //h//∘}}　　、
//f//∘//I//sub、　 が成り立つ松坂。これらのことから、特に A}} からそれ自身への写像全体の集合は恒等写像を単位元とする非可換モノイドをなすことがわかる。

3.3. 全射・単射および逆写像
----------------

3.3.1. 全射・単射・全単射
----------------

右全域性「//f//: //A// → //B//}} について ran =}} //B//}}」が成り立つとき、f}} を A}} から B}} への全射という。

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

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

3.3.2. 逆写像
----------

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

であることが分かる。

3.3.3. 関連概念および定理
----------------

A}} からそれ自身への全単射全体の集合を //S//}} とすると、写像の合成は結合法則を満たし、恒等写像を単位元として、任意の全単射が逆写像を逆元に持つから、これは群をなす。特に A}} が n}} 個の元からなる有限集合の場合の //S//}} を 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}} を単射という。

4. 写像の構成法
---------

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

4.1. 制限と延長
----------

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

4.2. 直和
-------

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

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

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

さらに一般の場合に、//f//: //X// → //Y//}} の //g//: //W// → //Y//}} による上書き和  と呼ばれる g}} の延長 //f//   ⊕   //g//: //X//   ∪   //W// → //Y//}} が g}} および f!}}sub のグラフの合併として与えられ、

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

4.3. 直積
-------

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

で与えられる。

4.4. 商と標準分解
-----------

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

で定めると ∼sub は同値関係で、写像 f}} に付随する同値関係松坂と呼ばれる。この同値関係による類別を考えることにより X}} は等位集合 //C// =}} //f//sup の和に分割される。このとき、商集合 X/∼sub からの写像

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

あるいは等式 //f// =}} ι ∘ φ ∘ π}} を写像 f}} の標準分解松坂と呼ぶ。

5. 写像の集合
--------

X}} から Y}} への写像全体の成す集合は配置集合松坂  と呼ばれ、しばしば指数記法に従って Ysupと書かれる。圏論の言葉で言えば配置集合は[[集合の圏。配置集合は とも書かれる。

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

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

6. 写像図式
-------

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

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

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

7. 一般化と応用
---------

7.1. 部分写像
---------

一般には、定義域と始域が異なるという場合も考え得る。集合 A}}, B}} の元の順序対からなる集合Gsub が

右一意性:  ∈ //G//sub かつ  ∈ //G//sub ならば をみたすとき Gsub は A}} から B}} への関数関係であると言われる。このとき、三つ組 //f// :=}} }} と値域 ran}} は次のように定義される：

写像の定義の際には課した関係の全域性は、部分写像 f}} の定義域 dom}} が始域 A}} に一致することをいうものであり、全域的な部分写像を特に全域写像  と呼ぶ。すなわち、全域写像は写像の同義語である部分写像と全域写像を総称して写像と呼ぶ流儀もある。これは、定義域と始域の区別を重視しない立場であるということもでき、この立場で始域や定義域を区別せずにドメイン lang。

7.2. 多変数・多価の写像
--------------

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

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

7.3. 射・関手
---------

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

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

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 参考文献
-------

10. 関連項目
--------

射 
列 
族 

11. 外部リンク
---------