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

Basics of maps写像しゃぞう

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 つ決きまることである。異ことなる入力にゅうりょくが同おなじ出力しゅつりょくへ行いくことは、単射たんしゃinjectionを要求ようきゅうしない限かぎり許ゆるされる。

1Introduction

The first question for a map写像しゃぞう is whether each input入力にゅうりょく determines a unique output出力しゅつりょく. A map is a special kind of relation関係かんけい, but it has stronger conditions than an arbitrary relation.

This condition is what makes the notation $$f\left(a\right)$$f(a) meaningful. If one $$a$$a had several outputs, $$f\left(a\right)$$f(a) would not be a single value値あたい. If it had no output, $$f\left(a\right)$$f(a) would be undefined.

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 である。

2Terms and definition

For sets集合しゅうごう $$A,B$$A,B, a map写像しゃぞう $$f:A\to B$$f:A\to B is a rule assigning to each $$a\in A$$a\in A a unique element $$b\in B$$b\in B.

The set $$A$$A is the domain定義域ていぎいき, and $$B$$B is the codomain終域しゅういき. The assigned value値あたい is written $$f\left(a\right)$$f(a). The range値域ちいき, or image像ぞう, is the set of outputs出力しゅつりょく that actually appear:

Always $$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で定義ていぎできる。

3Images像ぞう and preimages逆像ぎゃくぞう

For a subset部分集合ぶぶんしゅうごう $$S\subseteq A$$S\subseteq A, the image像ぞう of $$S$$S is

For a subset $$T\subseteq B$$T\subseteq B, the preimage逆像ぎゃくぞう is

The notation $$f^{-1}\left(T\right)$$f^{-1}(T) does not assume that an inverse map逆写像ぎゃくしゃぞう exists. A preimage is defined for every 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 つ]である。

4Strategy

To check whether a relation is a map写像しゃぞう, separate two requirements.

1. For every $$a\in A$$a\in A, at least one output出力しゅつりょく exists.
2. For every $$a\in A$$a\in A, at most one output exists.

If both hold, each input has exactly one output, and the relation is a map. From the relation関係かんけい viewpoint, $$f$$f is a subset部分集合ぶぶんしゅうごう of $$A\times B$$A\times B such that for every $$a\in A$$a\in A there is exactly one $$b$$b with $$(a,b)\in f$$(a,b)\in f.

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

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

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

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

5Intuitive explanation

A map写像しゃぞう can be pictured as drawing one arrow from each element元げん on the input side to the output side. The defining condition is that exactly one arrow leaves every input入力にゅうりょく.

An element on the output side may have no incoming arrows, or it may have several incoming arrows. That is not a problem for being a map. Additional restrictions on these incoming arrows lead to injections単射たんしゃ and surjections全射ぜんしゃ.

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でもない場合ばあいにも定義ていぎできる。

6Precise explanation

For a map写像しゃぞう $$f:A\to B$$f:A\to B, images像ぞう and preimages逆像ぎゃくぞう go in opposite directions. An image sends a subset部分集合ぶぶんしゅうごう of the $$A$$A side to the $$B$$B side:

A preimage sends a subset of the $$B$$B side back to the $$A$$A side:

A preimage is defined even when the map is neither an injection単射たんしゃ nor a 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を求もとめよ。

7Worked example: distinguish codomain終域しゅういき and range値域ちいき

7.1Problem

Define $$f:\{1,2,3\}\to \{a,b,c,d\}$$f:\{1,2,3\}\to\{a,b,c,d\} by $$f\left(1\right)=a$$f(1)=a, $$f\left(2\right)=b$$f(2)=b, and $$f\left(3\right)=b$$f(3)=b. Find the codomain終域しゅういき and the 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ではない。

7.2Explanation

The codomain終域しゅういき is the set集合しゅうごう specified in advance as part of the type of the map写像しゃぞう. Therefore the codomain is $$\{a,b,c,d\}$$\{a,b,c,d\}.

The range値域ちいき is the set of outputs出力しゅつりょく that actually occur as values. In this example only $$a$$a and $$b$$b occur, so

The elements $$c,d$$c,d are in the codomain, but not in the range.

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

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

8What changes and what is preserved

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

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

9How to check and related links

• If every input入力にゅうりょく has exactly one output出力しゅつりょく, it is a map写像しゃぞう.
• If one input has multiple outputs, it is not a map.
• The codomain終域しゅういき is the declared set of possible outputs.
• The range値域ちいき is the set of outputs actually reached.
• A preimage逆像ぎゃくぞう is defined even when no inverse map逆写像ぎゃくしゃぞう exists.