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

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は、この移動いどうをすべての入力にゅうりょくと出力しゅつりょくで戻もどせるときにだけ存在そんざいする。

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} と書かく。

3基本法則きほんほうそく：恒等写像こうとうしゃぞうidentity mapと結合則けつごうそく

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

が成立せいりつする。実際じっさい、任意にんいの $$a\in A$$a\in A について

である。

また、$$f:A\to B$$f:A\to B、$$g:B\to C$$g:B\to C、$$h:C\to D$$h:C\to D に対たいして、合成ごうせいcompositionは結合則けつごうそくassociative law

を満みたす。どちらも $$a\in A$$a\in A を $$h\left(g\right(f\left(a\right)\left)\right)$$h(g(f(a))) へ送おくるからである。したがって、3 個こ以上いじょうの写像しゃぞうmapを合成ごうせいするとき、括弧かっこの付つけ方かたは結果けっかを変かえない。ただし、$$g\circ f$$g\circ f と $$f\circ g$$f\circ g のように順序じゅんじょorderを入いれ替かえることとは別べつである。

4方針ほうしん

合成写像ごうせいしゃぞうcomposite mapでは、型かたを先さきに確認かくにんする。この講義こうぎで扱あつかう標準的ひょうじゅんてきな型かた付つき合成ごうせいtyped compositionでは、$$f:A\to B$$f:A\to B と $$g:B\to C$$g:B\to C のように、$$f$$f の終域しゅういきcodomainと $$g$$g の定義域ていぎいきdomainを同おなじ集合しゅうごう $$B$$B として宣言せんげんする。このとき $$f\left(a\right)\in B$$f(a)\in B なので、すべての $$a\in A$$a\in A に $$g\left(f\right(a\left)\right)$$g(f(a)) を適用てきようできる。

逆写像ぎゃくしゃぞう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でなければ存在そんざいしない。

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

合成写像ごうせいしゃぞう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は矢印やじるしを順じゅんにつなぐ操作そうさであり、一般いっぱんには $$g\circ f$$g\circ f と $$f\circ g$$f\circ g は同おなじではない。どちらか一方いっぽうしか型かたtypeが合あわないこともあり、型かたが合あわなければ、その合成ごうせいcompositionは定義ていぎできない。

6厳密げんみつな説明せつめい：逆写像ぎゃくしゃぞう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が決きまらない。

この定義ていぎから、任意にんいの $$a\in A$$a\in A と $$b\in B$$b\in B について

である。したがって $$f^{-1}\circ f={id}_A$$f^{-1}\circ f=\mathrm{id}_A かつ $$f\circ f^{-1}={id}_B$$f\circ f^{-1}=\mathrm{id}_B であり、構成こうせいした写像しゃぞうmapは実際じっさいに逆写像ぎゃくしゃぞうinverse mapである。

7命題めいだい：逆写像ぎゃくしゃぞうinverse mapの一意性いちいせい

写像しゃぞうmap $$f:A\to B$$f:A\to B の逆写像ぎゃくしゃぞうinverse mapが存在そんざいするなら、それは一意いちいである。実際じっさい、$$h,k:B\to A$$h,k:B\to A がともに $$f$$f の逆写像ぎゃくしゃぞうinverse mapなら、結合則けつごうそくassociative lawと恒等則こうとうそくidentity lawsより

である。この一意性いちいせいにより、逆写像ぎゃくしゃぞうinverse mapを $$f^{-1}$$f^{-1} と一意いちいに表あらわせる。

8例題れいだい：逆写像ぎゃくしゃぞうinverse mapと両側りょうがわの確認かくにん

8.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を求もとめ、両側りょうがわの合成ごうせいcompositionが恒等写像こうとうしゃぞうidentity mapになることを確たしかめよ。

8.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は、矢印やじるしを逆向ぎゃくむきに読よむことで

となる。さらに $$x=1,2,3$$x=1,2,3 のそれぞれについて $$f^{-1}\left(f\right(x\left)\right)=x$$f^{-1}(f(x))=x であり、$$y=a,b,c$$y=a,b,c のそれぞれについて $$f\left(f^{-1}\right(y\left)\right)=y$$f(f^{-1}(y))=y である。したがって

が確たしかめられる。

9見分みわけ方かた

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

見分みわけるときは、まず定義域ていぎいきdomainと終域しゅういきcodomainを確認かくにんする。逆写像ぎゃくしゃぞうinverse mapの候補こうほ $$g:B\to A$$g:B\to A については、片側かたがわだけでなく $$g\circ f={id}_A$$g\circ f=\mathrm{id}_A と $$f\circ g={id}_B$$f\circ g=\mathrm{id}_B の両方りょうほうを確認かくにんする。

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

$$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 の合成ごうせいはまた全単射ぜんたんしゃである。逆写像ぎゃくしゃぞうが存在そんざいすることも、単射たんしゃと全射ぜんしゃが同時どうじに成立せいりつすることの言いい換かえである。

11演習えんしゅうリンク

12関連かんれんリンク