写像

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

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

定義

素朴な説明

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

などと表す。また fA で(あるいは A の上で)定義されているといい、あるいはまた fB に(あるいは B の中に)値を持つという。始域 Asour(f)、終域 Btar(f) のように記すこともある。また、A の元 a に対して f によって指定される B の元が b である(このことを、af によって b写されるという)とき、ba における fあるいは(あたい、value)と呼び、bf(a) で表す。 f によって A の元 aB の元 f(a) に写されることは、

a f(a)

という記法で表される[5]変数 x を用いて xf(x) のように写像を表すとき、f は、 A をわたる(または動く)変数 x の関数である、あるいは変数 x に従属するという

相等関係

2つの写像 f : ABg : AB の相等関係について、次が成り立つ:

f = g aA ( f(a) = g(a) )[6]

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

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

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

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

xy ( (x,y) f (x,y) g )

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

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

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

  • 全域性: x A ならば (x, y) Gf を満たす y B が存在する
  • 右一意または関数的: (x, y1) Gf かつ (x, y2) Gf ならば y1 = y2

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

xy ( (x,y) Gf (x,y) Gg)

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

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

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

自明な写像

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

一般の例

  • x R絶対値 |x| を対応させる ||: R [0, ∞) は写像である。これは全射であるが単射ではない。
  • GL(n, R)n 次実一般線型群、即ち正則な実 n 次正方行列の全体とする。行列 A GL(n, R) にその行列式 を対応させる対応 det: GL(n, R) R× は写像になる。これも全射であるが n 2 のとき単射ではない。
  • R2[x]{ax2 + bx + c | a, b, c R, a ≠ 0} (実係数2次多項式全体)で定める。多項式 ax2 + bx + c R2[x] にその判別式 D = b2 4ac R を対応させる対応 D: R2[x] R は写像である。これも全射であるが単射ではない。
  • 以下の最大の整数)を対応させる対応 床関数といわれる。同様に、 以上の最小の整数)を対応させる対応 天井関数といわれる。どちらも、全射であるが単射ではない。
  • にその実部, 虚部を対応させる写像 , はともに全射であるが単射でない. ここで 複素共役である。
  • n 個の空でない集合 X1,...,Xn の直積集合 から Xi への写像 pi を次のように定める: これは から Xi への 射影 -th projection)といわれる. これは全射であるが単射でない.

各分野で代表的な写像

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

定値写像

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

基本概念

像・逆像

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

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

で定義される。

合成

2つの写像 f : ABg : BC が与えられたとする。そのとき、 A の元 aC の元 g(f(a)) を対応させる A から C への写像が1つ得られる[9]。その写像を fg との合成写像(あるいは)といい、 gf(または gf )で表す:

gf : ACaA ( (gf)(a) = g(f(a)) )[9]

写像 f : ABg : BCh : CD が与えられたとき、

  • (hg)f = h(gf)  (結合律)、
  • fIA = f、 IBf = f

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

全射・単射および逆写像

全射であり単射でない。
単射であり全射でない。
全単射。

全射・単射・全単射

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

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

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

逆写像

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

f1 : BA、 aAbB ( f1(b) = a f(a) = b )[9]

f1B から A への全単射である。f1 の構成から、

であることが分かる。

関連概念および定理

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

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

  • f: A B が全射であるとき、(選択公理を仮定すると)B から A への写像 r が存在して右可逆性 fr = idB が成り立つ。この r のことを、f右逆写像という。
  • f: A BA )が単射であるとき、B から A への写像 l が存在して左可逆性 lf = idA が成り立つ。この l のことを、f左逆写像という。

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

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

写像の構成法

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

制限と延長

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

直和

ふたつの写像 f: XY, g: WY で、それらの定義域が交わりを持たない (XW = ) とき、これらのグラフの合併として写像の直和 fg: XWY を定義する。これは具体的に

と書ける区分的に定義された写像である。より一般に、XW のとき、二つの写像の XW への制限が f|XW = g|XW を満たすとき、直和写像 fgwell-defined で、

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

さらに一般の場合に、f: XYg: WY による上書き和 (override union) と呼ばれる g の延長 fg: XWYg および f|XW のグラフの合併として与えられ、

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

直積

ふたつの写像 f: XZ, g: YW に対して、写像の直積 f×g: X×YZ×W

で与えられる。

商と標準分解

任意の写像 f: XY に対し、X 上の二項関係 f

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

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

あるいは等式 f = ιφπ (ただし、π自然な全射ι自然な単射)を写像 f標準分解[14]と呼ぶ。

写像の集合

X から Y への写像全体の成す集合は配置集合[15] (: Belegungsmenge[16]) と呼ばれ、しばしば指数記法に従って YX(あるいは XY)と書かれる。圏論の言葉で言えば配置集合は集合と写像の圏指数である。配置集合は とも書かれる。

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

カリー化 A×BCA(BC)

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

写像図式

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

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

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

一般化と応用

部分写像

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

  • 右一意性: (x, y1) Gf かつ (x, y2) Gf ならば y1 = y2

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

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

多変数・多価の写像

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

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

射・関手

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

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

脚注

注釈

  1. この事実は0の0乗を 1 と定義する理由の一つに挙げられる(ただし、いつもそのように定義するわけではない)
  2. ここに、f1 は単なる符牒であって必ずしも写像を定義しないが、対応と考えることができるし、写像 fを持てばそれに一致する。
  3. 部分写像を写像と呼ぶ立場と同様に、やはり値域と終域を明示的に区別しない立場もある。またこの立場では値域と終域とを区別せずにコドメイン (codomain) あるいはターゲット (target) と呼ぶこともある。
  4. 全域的でないものに限って部分写像と言っている場合もある。
  5. 部分写像と全域写像を総称して写像と呼ぶ流儀もある。これは、定義域と始域の区別を重視しない立場であるということもでき、この立場で始域や定義域を区別せずにドメイン (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) は、多様体上の実数値写像を関数と呼んでいる。
  5. 松坂 1968, p. 298.
  6. 松坂 1968, p. 24, 37, 38.
  7. Kunen 1980, p. 14
  8. 松本 (2004), 注意 1.1.6, 定義 1.1.7 なども参照
  9. 松坂 1968, p. 34.
  10. 松坂 1968, p. 35, 定理 6.
  11. 松坂 1968, p. 36.
  12. 松坂 1968, p. 37.
  13. 松坂 1968, p. 55.
  14. 松坂 1968, p. 59.
  15. 松坂 1968, p. 38.
  16. Dauben (1990), Georg Cantor, p. 174, https://books.google.com/books?id=n3t4b6GUlhAC&pg=PA174&dq=%22Belegungsmenge%22
  17. Dauben (1990), Georg Cantor, p. 174, https://books.google.com/books?id=n3t4b6GUlhAC&pg=PA174&dq=%22exponentiation%22
  18. 松坂 1968, p. 296.
  19. 松坂 1968, p. 297.
  20. 松坂 1968, p. 50.

参考文献

  • ニコラ・ブルバキ『集合論 要約』前原昭二訳〈数学原論〉、1968年。
  • Halmos, Paul R. (1970). Naive Set Theory. Springer-Verlag. ISBN 0-387-90092-6. http://books.google.com/books?id=x6cZBQ9qtgoC
  • ジョン 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。

関連項目

外部リンク

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.