Privacy Policy Cookie Policy Terms and Conditions 写像 - Wikipedia

写像

出典: フリー百科事典『ウィキペディア(Wikipedia)』

写像(しゃぞう、mapping, map)とは、二つの集合が与えられたときに、一方の集合の各元に対し、一つずつ他方の集合の元を指定して結びつける対応関係のことである。

写像は、ブルバキに見られるように集合とともに現代数学の基礎となるものの一つである。圏と関手を縦横に駆使する最先端の数学を除けば、現代数学のほとんどが、集合と写像の言葉で書かれているといっても良いほどである。

解析学に表れる写像は、しばしば関数と呼ばれる。関数の項目も参照されたい。

目次

[編集] 素朴な定義

A の各元に対してそれぞれ B のただひとつの元を指定するような規則 f が与えられているとき、fA から B への写像であるといい

f\colon A \to B

と表す。またこのとき、A, B のことをそれぞれ f始域終域という。始域のことをまた定義域ともいう(本来独立に定義されるものである。下の「集合論的な写像の定義」の項を見よ)。

A の元 af によって B の元 b に移されるとき、bf による aと呼び、b = f(a) などと表す。また、f(A) := {f(a) | aA} のことを f値域という。f(A) は B の部分集合である。反対に、B'B の部分集合とするとき、f -1(B' ) :={aA | f(a) ∈ B' } を B'逆像(または原像)という。

f が逆写像をもたなくても逆像は対応として定義できることに注意されたい。(更にこの対応は値域の和集合を逆像の和集合へ移す準同型性を自動的に備えたものになる:

f -1(B1B2) = f -1(B1) ∪ f -1(B2).

この逆像と写像の性質は有用である。)

[編集] 集合論的な写像の定義

写像にはグラフがつきまとうものである。しかも、グラフは規則やら指定などといった言葉を要さずに、単純に集合としてみることができる。それを逆に利用して、グラフを使って写像を定義するというのが、集合論的な写像の定義の指針である。ただ、注意すべきなのは、二次関数 f(x) = x2 が実数から実数への写像なのか、実数から 0 以上の実数への写像なのか、というのを区別できるようにしたい。これらを踏まえて、集合論では写像は次のように定義される;

集合 A始域 と呼ぶ)、B終域 と呼ぶ) が与えられたとき、その直積 A × B の部分集合 Gf (これをグラフと呼ぶ)ともと集合との三つの組 f = (Gf, A, B) は、ある A の元に対していくつかの B の元を指定するような対応を表す。そのためには、Gf の元 (a, b) は ab に対応することを表す、とみればよい。prA(Gf) := {a | (a, b) ∈ Gf} を定義域 とよぶ(pr は projection からとったものである。詳しくは、射影の記事を参照)。

この Gf について、

  1. A の各元 a に対して B のある元 b が少なくとも一つ存在して (a, b) ∈ Gf 。(ここから始域と定義域とは一致する)
  2. そのような b は一つしかない。(多価でない)

が成り立てば、その bf(a) と書き、 f = (Gf, A, B) を写像という。 二つの写像が等しいとは、それらを集合としてみたときに等しい、というのと同じである。

対応としてみれば、写像は一意対応と同じことである。ただしその場合、b = f(a) は {b} = f(a) の略記であると理解する。

[編集] 自明な写像

  • A の任意の元 a に対して a 自身を対応させると、これは A から A への写像になる。この写像を恒等写像 (identity mapping) といい、IA とか idA などと表す。
  • BA の部分集合とするとき、B の任意の元 b に対して b 自身を A の元として対応させる B から A への写像を包含写像 (inclusion mapping) という。
  • f: AB とする。A の部分集合 A' について、A' の元 a に対して B の元 f(a) を対応させると、これは A' から B への写像になる。この写像を fA' への制限写像といい、f|A' と表す。

[編集] 写像の合成

二つの写像 f: AB, g: CD を考える。 BC の部分集合であるとき、A の任意の元 a に対してg(f(a)) は D のある一つの元になる。こうして決まる写像を fg との合成写像といい、g \circ fと表す。上の集合論的な定義からは

G_{g \circ f} = \left\{ (a,d) \mid \exists x \in B\quad (a,x)\in G_f, (x,d) \in G_g \right\}

が合成写像のグラフであり、 g \circ f = (G_{g \circ f} , A, D) となる。 合成写像について、

h \circ (g \circ f) = (h \circ g) \circ f

が成り立つ:すなわち、写像の合成は結合法則を満たす。このことから、次のことが分かる; A からそれ自身への写像全体の集合はモノイドをなす。このモノイドを M(A) と表す。

[編集] 全射・単射・全単射

  • f: AB について f(A) = B が成り立つとき(つまり値域と終域が一致するとき)、 f全射という。
  • 任意の A の元 a1, a2 に対して、a1a2 ならば f (a1) ≠ f (a2) が成り立つとき、 f単射という。包含写像は単射である。単射の制限写像も単射である。
  • 全射で単射な写像のことを全単射という。単射 f: AB の終域を値域 f(A) に制限したものは全単射であり、像を原像に写す写像(後述する逆写像)も全単射となる。

[編集] 逆写像

fA から B への全単射とする。f(a) = b によって、「ba に」対応させると、f は全射だから、全ての b がある a に対応していて、f が単射であることからそのような a は一つしかないことが分かる。こうして作られる写像を f逆写像といい、f-1 と表す。構成から、

f^{-1} \circ f = I_A,\quad f\circ f^{-1} = I_B

であることが分かる。

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

f: AB, g: CD について、fg が合成可能で、g\circ f: A\to D が全単射であったとしよう。すると、任意の D の元 d に対して C のある元 c が対応していて g(c) であるから、結局 g は全射であることが分かる。さらに、f が単射でなければ、g\circ f も単射でないことが容易に分かるので、(対偶をとって)仮定から、f が単射であることが分かる。

このことの逆も次の意味で成り立つ。

f: A → B が全射であるとき、(選択公理を仮定すると)ある B から A への写像 r が存在して合成

f \circ r \colon B \to B

は恒等写像 IB に等しくなる。この r のことを、f右逆写像という。

今度は f: AB が単射であるとしよう。このとき、ある B から A への写像 l が存在して合成

l \circ f \colon A \to A

は IA に等しくなる。この l のことを、f左逆写像という。

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

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

圏論では射 (morphism) の全射と単射はこのようにして定義される。

[編集] 結合写像

[編集] 関連項目

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu