合成写像ごうせいしゃぞうcomposite mapと逆写像ぎゃくしゃぞうinverse map

Composite maps合成写像ごうせいしゃぞう and inverse maps逆写像ぎゃくしゃぞう

1導入どうにゅう

合成写像ごうせいしゃぞうcomposite mapで重要じゅうようなのは、写像しゃぞうmapを操作そうさとして読よむことである。$$f:A\to B$$f:A\to B は $$A$$A の元げんelementを $$B$$B の元げんelementへ送おくる操作そうさであり、$$g:B\to C$$g:B\to C はその結果けっかをさらに $$C$$C へ送おくる操作そうさである。この 2 つを続つづけて行おこなうのが合成写像ごうせいしゃぞうcomposite mapである。

逆写像ぎゃくしゃぞうinverse mapは、操作そうさを元もとに戻もどす操作そうさinverse operationである。ただし、戻もどすためには、入力にゅうりょくが潰つぶれておらず、出力側しゅつりょくがわに余あまりもないことが必要ひつようである。この条件じょうけんが全単射ぜんたんしゃbijectionである。

合成ごうせいcompositionでは順序じゅんじょが重要じゅうようで、先さきに適用てきようした写像しゃぞうmapの終域しゅういきcodomainが、次つぎの写像しゃぞうmapの定義域ていぎいきdomainに合あう必要ひつようがある。逆写像ぎゃくしゃぞうinverse mapは、この移動いどうをすべての入力にゅうりょくと出力しゅつりょくで戻もどせるときにだけ存在そんざいする。

1Introduction

The key to a composite map合成写像ごうせいしゃぞう is to read a map写像しゃぞう as an operation. A map $$f:A\to B$$f:A\to B sends an element元げん of $$A$$A to an element of $$B$$B, and a map $$g:B\to C$$g:B\to C sends that result further into $$C$$C. Performing these two operations in sequence is composition.

An inverse map逆写像ぎゃくしゃぞう is an operation that restores the original input. To restore inputs, no two inputs may have collapsed to the same output, and no element of the output side may be left unused. This condition is exactly bijection全単射ぜんたんしゃ.

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

写像しゃぞうmap $$f:A\to B$$f:A\to B と $$g:B\to C$$g:B\to C が与あたえられたとき、合成写像ごうせいしゃぞうcomposite map $$g\circ f:A\to C$$g\circ f:A\to C を

で定義ていぎする。記号きごう $$g\circ f$$g\circ f は、先さきに $$f$$f を適用てきようし、次つぎに $$g$$g を適用てきようすることを表あらわす。

集合しゅうごうset $$A$$A 上うえの恒等写像こうとうしゃぞうidentity map $${id}_A:A\to A$$\mathrm{id}_A:A\to A は、

で定義ていぎされる写像しゃぞうmapである。

写像しゃぞうmap $$f:A\to B$$f:A\to B に対たいして、写像しゃぞうmap $$h:B\to A$$h:B\to A が

を満みたすとき、$$h$$h を $$f$$f の逆写像ぎゃくしゃぞうinverse mapといい、$$f^{-1}$$f^{-1} と書かく。

2Terms and definitions

Given maps $$f:A\to B$$f:A\to B and $$g:B\to C$$g:B\to C, define the composite map合成写像ごうせいしゃぞう $$g\circ f:A\to C$$g\circ f:A\to C by

The notation $$g\circ f$$g\circ f means that $$f$$f is applied first and $$g$$g is applied second.

The identity map恒等写像こうとうしゃぞう $${id}_A:A\to A$$\mathrm{id}_A:A\to A on a set $$A$$A is the map defined by

For a map $$f:A\to B$$f:A\to B, if a map $$h:B\to A$$h:B\to A satisfies

then $$h$$h is called the inverse map逆写像ぎゃくしゃぞう of $$f$$f and is written $$f^{-1}$$f^{-1}.

3方針ほうしん

合成写像ごうせいしゃぞうcomposite mapでは、型かたを先さきに確認かくにんする。$$g\circ f$$g\circ f を作つくるには、$$f$$f の終域しゅういきcodomainと $$g$$g の定義域ていぎいきdomainが合あっていなければならない。少すくなくとも $$f\left(A\right)\subseteq \mathrm{d}\mathrm{o}\mathrm{m}\left(g\right)$$f(A)\subseteq\mathrm{dom}(g) が必要ひつようである。

逆写像ぎゃくしゃぞうinverse mapでは、$$f^{-1}$$f^{-1} という記号きごうを書かく前まえに、$$f$$f が全単射ぜんたんしゃbijectionであることを確認かくにんする。逆像ぎゃくぞうpreimage $$f^{-1}\left(T\right)$$f^{-1}(T) は任意にんいの写像しゃぞうmapで定義ていぎできるが、逆写像ぎゃくしゃぞうinverse map $$f^{-1}:B\to A$$f^{-1}:B\to A は全単射ぜんたんしゃbijectionでなければ存在そんざいしない。

3Method

For a composite map合成写像ごうせいしゃぞう, check the types first. To form $$g\circ f$$g\circ f, the codomain終域しゅういき of $$f$$f must match the domain定義域ていぎいき of $$g$$g. At minimum, $$f\left(A\right)\subseteq \mathrm{d}\mathrm{o}\mathrm{m}\left(g\right)$$f(A)\subseteq\mathrm{dom}(g) must hold.

For an inverse map逆写像ぎゃくしゃぞう, check that $$f$$f is a bijection全単射ぜんたんしゃ before writing $$f^{-1}$$f^{-1} as a map. A preimage逆像ぎゃくぞう $$f^{-1}\left(T\right)$$f^{-1}(T) is defined for any map, but an inverse map $$f^{-1}:B\to A$$f^{-1}:B\to A exists only when $$f$$f is bijective.

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

合成写像ごうせいしゃぞうcomposite mapは、機械きかいを直列ちょくれつに接続せつぞくすることに対応たいおうする。最初さいしょの機械きかい $$f$$f に入力にゅうりょくinput $$a$$a を入いれると $$f\left(a\right)$$f(a) が出力しゅつりょくされる。次つぎの機械きかい $$g$$g に $$f\left(a\right)$$f(a) を入いれると $$g\left(f\right(a\left)\right)$$g(f(a)) が出力しゅつりょくされる。したがって全体ぜんたいの機械きかいは $$g\circ f$$g\circ f である。

逆写像ぎゃくしゃぞうinverse mapは、機械きかいの結果けっかから入力にゅうりょくを完全かんぜんに復元ふくげんする機械きかいである。もし 2 つの入力にゅうりょくが同おなじ出力しゅつりょくへ潰つぶれていれば、出力しゅつりょくだけを見みても元もとの入力にゅうりょくを選えらべない。もし終域しゅういきcodomainに届とどかない元げんelementがあれば、その元げんelementを戻もどす入力にゅうりょくが存在そんざいしない。

合成ごうせいcompositionは矢印やじるしを左ひだりから右みぎへ連結れんけつする操作そうさであり、一般いっぱんには $$gcircf$$gcirc f と $$fcircg$$fcirc g は同おなじではない。型かたが合あわなければ、そもそも合成ごうせいは定義ていぎできない。

4Intuitive explanation

A composite map合成写像ごうせいしゃぞう is like connecting machines in series. Put an input入力にゅうりょく $$a$$a into the first machine $$f$$f, and the output is $$f\left(a\right)$$f(a). Put that output into the second machine $$g$$g, and the output is $$g\left(f\right(a\left)\right)$$g(f(a)). The whole machine is therefore $$g\circ f$$g\circ f.

An inverse map逆写像ぎゃくしゃぞう is a machine that reconstructs the input from the result. If two inputs collapse to the same output, the output alone cannot tell which input was used. If some element of the codomain終域しゅういき is never reached, there is no input to send back from that element.

5厳密げんみつな説明せつめい：逆写像ぎゃくしゃぞうinverse mapと全単射ぜんたんしゃbijection

$$f:A\to B$$f:A\to B が逆写像ぎゃくしゃぞうinverse map $$h:B\to A$$h:B\to A を持もつとする。$$f\left(a_1\right)=f\left(a_2\right)$$f(a_1)=f(a_2) なら、両辺りょうへんに $$h$$h を適用てきようして

を得える。$$h\circ f={id}_A$$h\circ f=\mathrm{id}_A より $$a_1=a_2$$a_1=a_2 である。したがって $$f$$f は単射たんしゃinjectionである。

また、任意にんいの $$b\in B$$b\in B に対たいして、$$a=h\left(b\right)$$a=h(b) と置おくと、$$f\left(a\right)=f\left(h\right(b\left)\right)=b$$f(a)=f(h(b))=b である。ここで $$f\circ h={id}_B$$f\circ h=\mathrm{id}_B を用もちいた。したがって $$f$$f は全射ぜんしゃsurjectionである。

逆ぎゃくに $$f$$f が全単射ぜんたんしゃbijectionなら、任意にんいの $$b\in B$$b\in B に対たいして、$$f\left(a\right)=b$$f(a)=b を満みたす $$a\in A$$a\in A が存在そんざいし、しかも単射性たんしゃせいinjectivityにより一意いちいである。そこで $$f^{-1}\left(b\right)=a$$f^{-1}(b)=a と定義ていぎできる。この一意性いちいせいがなければ、逆写像ぎゃくしゃぞうinverse mapの値あたいvalueが決きまらない。

5Rigorous explanation: inverse maps and bijections

Suppose $$f:A\to B$$f:A\to B has an inverse map逆写像ぎゃくしゃぞう $$h:B\to A$$h:B\to A. If $$f\left(a_1\right)=f\left(a_2\right)$$f(a_1)=f(a_2), then applying $$h$$h to both sides gives

Since $$h\circ f={id}_A$$h\circ f=\mathrm{id}_A, we get $$a_1=a_2$$a_1=a_2. Hence $$f$$f is an injection単射たんしゃ.

Also, for any $$b\in B$$b\in B, put $$a=h\left(b\right)$$a=h(b). Then $$f\left(a\right)=f\left(h\right(b\left)\right)=b$$f(a)=f(h(b))=b by $$f\circ h={id}_B$$f\circ h=\mathrm{id}_B. Hence $$f$$f is a surjection全射ぜんしゃ.

Conversely, if $$f$$f is a bijection全単射ぜんたんしゃ, then for every $$b\in B$$b\in B there exists $$a\in A$$a\in A with $$f\left(a\right)=b$$f(a)=b, and injectivity単射性たんしゃせい makes this $$a$$a unique. Therefore one can define $$f^{-1}\left(b\right)=a$$f^{-1}(b)=a. Without this uniqueness, the value of the inverse map would not be determined.

6例題れいだい：合成写像ごうせいしゃぞうcomposite mapと逆写像ぎゃくしゃぞうinverse map

6Worked example: composite maps and inverse maps

6.1問題もんだい

$$A=\{1,2,3\}$$A=\{1,2,3\}、$$B=\{a,b,c\}$$B=\{a,b,c\} とし、$$f:A\to B$$f:A\to B を

で定義ていぎする。$$f$$f が全単射ぜんたんしゃbijectionであることを確認かくにんし、逆写像ぎゃくしゃぞうinverse mapを求もとめよ。

6.1Problem

Let $$A=\{1,2,3\}$$A=\{1,2,3\} and $$B=\{a,b,c\}$$B=\{a,b,c\}. Define $$f:A\to B$$f:A\to B by

Check that $$f$$f is a bijection全単射ぜんたんしゃ and find its inverse map逆写像ぎゃくしゃぞう.

6.2解説かいせつ

$$f\left(1\right),f\left(2\right),f\left(3\right)$$f(1),f(2),f(3) はそれぞれ $$b,c,a$$b,c,a であり、互たがいに異ことなる。したがって異ことなる入力にゅうりょくinputは異ことなる出力しゅつりょくoutputへ送おくられるので、$$f$$f は単射たんしゃinjectionである。

また、終域しゅういきcodomain $$B=\{a,b,c\}$$B=\{a,b,c\} の全すべての元げんelementが $$f$$f の値あたいvalueとして現あらわれる。したがって $$f$$f は全射ぜんしゃsurjectionである。よって $$f$$f は全単射ぜんたんしゃbijectionである。

逆写像ぎゃくしゃぞうinverse mapは、矢印やじるしを逆向ぎゃくむきに読よむことで

となる。

6.2Explanation

The values $$f\left(1\right),f\left(2\right),f\left(3\right)$$f(1),f(2),f(3) are $$b,c,a$$b,c,a, and they are distinct. Thus distinct inputs入力にゅうりょく are sent to distinct outputs出力しゅつりょく, so $$f$$f is an injection単射たんしゃ.

Every element元げん of the codomain終域しゅういき $$B=\{a,b,c\}$$B=\{a,b,c\} appears as a value of $$f$$f. Therefore $$f$$f is a surjection全射ぜんしゃ. Hence $$f$$f is a bijection全単射ぜんたんしゃ.

The inverse map逆写像ぎゃくしゃぞう is obtained by reading the arrows backward:

7見分みわけ方かた

• $$g\circ f$$g\circ f は先さきに $$f$$f、後あとに $$g$$g を適用てきようする。
• 合成写像ごうせいしゃぞうcomposite map を作つくる前まえに、出力しゅつりょくと次つぎの入力にゅうりょくの型かたが合あうかを確認かくにんする。
• 逆写像ぎゃくしゃぞうinverse map は全単射ぜんたんしゃbijectionのときにだけ存在そんざいする。
• 逆像ぎゃくぞうpreimage と逆写像ぎゃくしゃぞうinverse mapを混同こんどうしない。

見分みわけるときは、まず定義域ていぎいきdomainと終域しゅういきcodomainを確認かくにんする。逆写像ぎゃくしゃぞうinverse mapでは、片側かたがわだけでなく $$gcircf$$gcirc f と $$fcircg$$fcirc g の両方りょうほうが恒等写像こうとうしゃぞうになることを確認かくにんする。

7How to distinguish the ideas

• In $$g\circ f$$g\circ f, $$f$$f is applied first and $$g$$g is applied second.
• Before forming a composite map合成写像ごうせいしゃぞう, check that the output type and the next input type match.
• An inverse map逆写像ぎゃくしゃぞう exists only for a bijection全単射ぜんたんしゃ.
• Do not confuse a preimage逆像ぎゃくぞう with an inverse map逆写像ぎゃくしゃぞう.

8証明しょうめい補足ほそく：合成ごうせいで単射たんしゃ・全射ぜんしゃが保存ほぞんされる理由りゆう

$$f:X\to Y$$f:X\to Y、$$g:Y\to Z$$g:Y\to Z とする。$$f$$f と $$g$$g がともに単射たんしゃinjectiveなら、$$g\circ f$$g\circ f も単射たんしゃである。

証明しょうめいする。$$(g\circ f)\left(x_1\right)=(g\circ f)\left(x_2\right)$$(g\circ f)(x_1)=(g\circ f)(x_2) とする。これは $$g\left(f\right(x_1\left)\right)=g\left(f\right(x_2\left)\right)$$g(f(x_1))=g(f(x_2)) である。$$g$$g が単射たんしゃなので $$f\left(x_1\right)=f\left(x_2\right)$$f(x_1)=f(x_2) である。さらに $$f$$f が単射たんしゃなので $$x_1=x_2$$x_1=x_2 である。したがって $$g\circ f$$g\circ f は単射たんしゃである。

$$f$$f と $$g$$g がともに全射ぜんしゃsurjectiveなら、$$g\circ f$$g\circ f も全射ぜんしゃである。$$z\in Z$$z\in Z を任意にんいに取とる。$$g$$g が全射ぜんしゃなので、ある $$y\in Y$$y\in Y が存在そんざいして $$g\left(y\right)=z$$g(y)=z である。さらに $$f$$f が全射ぜんしゃなので、ある $$x\in X$$x\in X が存在そんざいして $$f\left(x\right)=y$$f(x)=y である。よって $$(g\circ f)\left(x\right)=z$$(g\circ f)(x)=z である。

この二ふたつを組くみ合あわせると、全単射ぜんたんしゃbijection の合成ごうせいはまた全単射ぜんたんしゃである。逆写像ぎゃくしゃぞうが存在そんざいすることも、単射たんしゃと全射ぜんしゃが同時どうじに成なり立たつことの言いい換かえである。

8Proof supplement: why composition preserves injectivity and surjectivity

Let $$f:X\to Y$$f:X\to Y and $$g:Y\to Z$$g:Y\to Z. If both $$f$$f and $$g$$g are injective単射たんしゃ, then $$g\circ f$$g\circ f is injective.

To prove this, assume $$(g\circ f)\left(x_1\right)=(g\circ f)\left(x_2\right)$$(g\circ f)(x_1)=(g\circ f)(x_2). This means $$g\left(f\right(x_1\left)\right)=g\left(f\right(x_2\left)\right)$$g(f(x_1))=g(f(x_2)). Since $$g$$g is injective, $$f\left(x_1\right)=f\left(x_2\right)$$f(x_1)=f(x_2). Since $$f$$f is injective, $$x_1=x_2$$x_1=x_2. Therefore $$g\circ f$$g\circ f is injective.

If both $$f$$f and $$g$$g are surjective全射ぜんしゃ, then $$g\circ f$$g\circ f is surjective. Take arbitrary $$z\in Z$$z\in Z. Since $$g$$g is surjective, there exists $$y\in Y$$y\in Y with $$g\left(y\right)=z$$g(y)=z. Since $$f$$f is surjective, there exists $$x\in X$$x\in X with $$f\left(x\right)=y$$f(x)=y. Hence $$(g\circ f)\left(x\right)=z$$(g\circ f)(x)=z.

Combining these two statements, the composite of bijections全単射ぜんたんしゃ is again a bijection. The existence of an inverse map is another way to say that injectivity and surjectivity hold at the same time.

9演習えんしゅうリンク

9Exercise link

10関連かんれんリンク

10Related links