写像しゃぞうmapの基本きほん

1導入どうにゅう

写像しゃぞうmapで最初さいしょに固定こていすべき問といは、「各かく入力にゅうりょくinputに対たいして、出力しゅつりょくoutputを一意いちいに決きめているか」である。写像しゃぞうmapは、関係かんけいrelationの一種いっしゅであるが、任意にんいの関係かんけいrelationよりも条件じょうけんが強つよい。

この条件じょうけんがあるから、$$f\left(a\right)$$f(a) という記号きごうが意味いみを持もつ。1 つの $$a$$a に複数ふくすうの出力しゅつりょくoutputが対応たいおうすれば、$$f\left(a\right)$$f(a) は 1 つの値あたいvalueとして定さだまらない。対応たいおうする出力しゅつりょくoutputが存在そんざいしなければ、$$f\left(a\right)$$f(a) は未定義みていぎになる。

写像しゃぞうmapで必須ひっすなのは、各かく入力にゅうりょくinputに出力しゅつりょくがちょうど 1 つ決きまることである。異ことなる入力にゅうりょくが同おなじ出力しゅつりょくへ行いくことは許ゆるされる。「異ことなる入力にゅうりょくを異ことなる出力しゅつりょくへ送おくる」という追加ついか条件じょうけんを単射性たんしゃせいinjectivityといい、その条件じょうけんを満みたす写像しゃぞうmapを単射たんしゃinjectionと呼よぶ。

2用語ようごと定義ていぎ

集合しゅうごうset $$A,B$$A,B に対たいして、写像しゃぞうmap $$f:A\to B$$f:A\to B とは、各かく $$a\in A$$a\in A に対たいして、一意いちいの $$b\in B$$b\in B を対応たいおうさせる規則きそくである。

$$A$$A を定義域ていぎいきdomain、$$B$$B を終域しゅういきcodomainという。$$a$$a に対応たいおうする値あたいvalueを $$f\left(a\right)$$f(a) と書かく。値域ちいきrangeまたは像ぞうimageは、実際じっさいに現あらわれる出力しゅつりょくoutputの集合しゅうごうであり、

である。常つねに $$f\left(A\right)\subseteq B$$f(A)\subseteq B である。

3像ぞうimageと逆像ぎゃくぞうpreimage

部分集合ぶぶんしゅうごうsubset $$S\subseteq A$$S\subseteq A の像ぞうimageは

である。部分集合ぶぶんしゅうごうsubset $$T\subseteq B$$T\subseteq B の逆像ぎゃくぞうpreimageは

である。ここで $$f^{-1}\left(T\right)$$f^{-1}(T) は逆写像ぎゃくしゃぞうinverse mapを仮定かていしている記号きごうではない。逆像ぎゃくぞうpreimageは、任意にんいの写像しゃぞうmapで定義ていぎできる。

4方針ほうしん

写像しゃぞうmapを確認かくにんするときは、次つぎの 2 点てんを分わける。

1. 各かく $$a\in A$$a\in A に対たいして、少すくなくとも 1 つの出力しゅつりょくoutputが存在そんざいするか。
2. 各かく $$a\in A$$a\in A に対たいして、出力しゅつりょくoutputが高々たかだか 1 つか。

両方りょうほうが成立せいりつするとき、出力しゅつりょくoutputは[ちょうど 1 つ]であり、写像しゃぞうmapである。関係かんけいrelationとして見みるなら、$$f$$f は $$A\times B$$A\times B の部分集合ぶぶんしゅうごうsubsetであり、各かく $$a\in A$$a\in A に対たいして $$(a,b)\in f$$(a,b)\in f となる $$b$$b が[ちょうど 1 つ]である。

5直感的ちょっかんてきな説明せつめい

写像しゃぞうmapは、入力側にゅうりょくがわの各かく元げんelementから出力側しゅつりょくがわへ 1 本ぽんずつ矢印やじるしを引ひく図ずとして考かんがえられる。各かく入力にゅうりょくinputから矢印やじるしが必かならず 1 本ぽんだけ出でることが写像しゃぞうmapの条件じょうけんである。

出力側しゅつりょくがわの元げんelementには、矢印やじるしが 0 本ほんしか入はいらないことも、複数ふくすう本ほん入はいることもある。これは写像しゃぞうmapであること自体じたいには問題もんだいない。これらをさらに制限せいげんすると、単射たんしゃinjectionや全射ぜんしゃsurjectionになる。

機械きかいmachineとして見みると、変かえているのは入力にゅうりょくから出力しゅつりょくへの対応たいおうである。一方いっぽう、定義域ていぎいきdomainの各かく元げんelementを必かならず処理しょりすることと、終域しゅういきcodomainの中なかへ出力しゅつりょくすることは保存ほぞんされる。

6厳密げんみつな説明せつめい

写像しゃぞうmap $$f:A\to B$$f:A\to B の像ぞうimageと逆像ぎゃくぞうpreimageは、向むきが違ちがう。像ぞうimageは $$A$$A 側がわの部分集合ぶぶんしゅうごうsubsetを $$B$$B 側がわへ送おくる。

逆像ぎゃくぞうpreimageは $$B$$B 側がわの部分集合ぶぶんしゅうごうsubsetを $$A$$A 側がわへ戻もどす。

逆像ぎゃくぞうpreimageは、写像しゃぞうmapが単射たんしゃinjectionでも全射ぜんしゃsurjectionでもない場合ばあいにも定義ていぎできる。

7例題れいだい：終域しゅういきcodomainと値域ちいきrangeを区別くべつする

7.1問題もんだい

$$f:\{1,2,3\}\to \{a,b,c,d\}$$f:\{1,2,3\}\to\{a,b,c,d\} を $$f\left(1\right)=a$$f(1)=a、$$f\left(2\right)=b$$f(2)=b、$$f\left(3\right)=b$$f(3)=b で定義ていぎする。終域しゅういきcodomainと値域ちいきrangeを求もとめよ。

7.2解説かいせつ

終域しゅういきcodomainは、写像しゃぞうmapの型かたとして先さきに指定していされた集合しゅうごうsetである。したがって終域しゅういきcodomainは $$\{a,b,c,d\}$$\{a,b,c,d\} である。

値域ちいきrangeは、実際じっさいに値あたいとして現あらわれる出力しゅつりょくoutputの集合しゅうごうである。この例れいでは $$a$$a と $$b$$b だけが現あらわれるので、

である。$$c,d$$c,d は終域しゅういきcodomainには含ふくまれるが、値域ちいきrangeには含ふくまれない。

解答かいとうでは、表ひょうや矢印図やじるしずだけでなく、定義域ていぎいきdomain・終域しゅういきcodomain・対応規則たいおうきそくを言葉ことばでも確認かくにんする。未定義みていぎの入力にゅうりょくや 2 つの出力しゅつりょくを持もつ入力にゅうりょくがあれば、写像しゃぞうmapではない。

8変かわるものと保存ほぞんされるもの

単射性たんしゃせいinjectivityとは、異ことなる入力にゅうりょくinputが異ことなる出力しゅつりょくoutputへ送おくられることである。全射性ぜんしゃせいsurjectivityとは、終域しゅういきcodomainの各かく元げんelementが少すくなくとも 1 つの入力にゅうりょくinputの値あたいvalueになることであり、$$f\left(A\right)=B$$f(A)=B と同値どうちである。次つぎの表ひょうでは、定義域ていぎいきdomainや終域しゅういきcodomainの変更へんこうがこれらの性質せいしつへどう影響えいきょうするかを比くらべる。

終域しゅういきcodomainを広ひろげたり狭せばめたりすると、同おなじ対応規則たいおうきそくでも全射性ぜんしゃせいsurjectivityが変かわることがある。一方いっぽう、像ぞうimageは定義域ていぎいきdomainと対応規則たいおうきそくから決きまる。

ただし、終域しゅういきcodomainを狭せばめて同おなじ写像しゃぞうmapの対応規則たいおうきそくを保たもつには、新あたらしい終域しゅういきcodomainが値域ちいきrange $$f\left(A\right)$$f(A) を含ふくまなければならない。$$f\left(A\right)$$f(A) の元げんelementを除のぞけば、ある入力にゅうりょくinputの値あたいvalueが終域しゅういきcodomainの外そとに出でるため、その型かたの写像しゃぞうmapではなくなる。

9見分みわけ方かたと関連かんれんリンク

• 各かく入力にゅうりょくinputに出力しゅつりょくoutputが[ちょうど 1 つ]なら、写像しゃぞうmapである。
• 1 つの入力にゅうりょくinputに複数ふくすうの出力しゅつりょくoutputが対応たいおうするなら、写像しゃぞうmapではない。
• 終域しゅういきcodomainは先さきに指定していされた出力しゅつりょくoutputの候補こうほ全体ぜんたいである。
• 値域ちいきrangeは実際じっさいに到達とうたつする出力しゅつりょくoutputの集合しゅうごうである。
• 逆像ぎゃくぞうpreimageは逆写像ぎゃくしゃぞうinverse mapが存在そんざいしなくても定義ていぎできる。

10演習えんしゅうリンク