像ぞうimageと逆像ぎゃくぞうpreimageの演習えんしゅう

1対応たいおうする講義こうぎlecture

2問題もんだい1：像ぞうimageを求もとめる

$$A=\{1,2,3,4\}$$A=\{1,2,3,4\}、$$B=\{0,1\}$$B=\{0,1\} とし、写像しゃぞうmap $$f:A\to B$$f:A\to B を、$$f\left(x\right)$$f(x) は $$x$$x を 2 で割わった余あまり、と定さだめる。$$S=\{1,2,4\}$$S=\{1,2,4\} の像ぞうimage $$f\left(S\right)$$f(S) を求もとめよ。

2.1解答かいとう

$$f\left(1\right)=1$$f(1)=1、$$f\left(2\right)=0$$f(2)=0、$$f\left(4\right)=0$$f(4)=0 なので、

である。

2.2解説かいせつ

像ぞうimageは、部分集合ぶぶんしゅうごうsubsetの各かく元げんelementを実際じっさいに写うつして得えられる集合しゅうごうsetである。重複ちょうふくして同おなじ値あたいになっても、集合しゅうごうsetでは 1 回かいだけ数かぞえる。

3問題もんだい2：逆像ぎゃくぞうpreimageを求もとめる

問題もんだい1の写像しゃぞうmap $$f$$f について、$$T=\left\{0\right\}$$T=\{0\} の逆像ぎゃくぞうpreimage $$f^{-1}\left(T\right)$$f^{-1}(T) を求もとめよ。

3.1解答かいとう

$$f\left(x\right)=0$$f(x)=0 となるのは $$x=2,4$$x=2,4 である。したがって

である。

3.2解説かいせつ

逆像ぎゃくぞうpreimageは、終域しゅういきcodomain側がわの指定していされた集合しゅうごうに入はいる出力しゅつりょくoutputを持もつ入力にゅうりょくinput全体ぜんたいである。逆写像ぎゃくしゃぞうinverse mapとは別べつの概念がいねんなので、写像しゃぞうmapが全単射ぜんたんしゃbijectionでなくても求もとめられる。

4問題もんだい3：逆像ぎゃくぞうpreimageが補集合ほしゅうごうcomplementを保たもつことを示しめす

$$f:A\to B$$f:A\to B、$$T\subseteq B$$T\subseteq B とする。

を示しめせ。

4.1解答かいとう

任意にんいの $$x\in A$$x\in A について、

任意にんいの $$x\in A$$x\in A で所属条件しょぞくじょうけんが同値どうちなので、2 つの集合しゅうごうsetは等ひとしい。

4.2解説かいせつ

補集合ほしゅうごうcomplementでは、どの全体集合ぜんたいしゅうごうに対たいする補集合ほしゅうごうかが重要じゅうようである。$$B\setminus T$$B\setminus T は出力側しゅつりょくがわの補集合ほしゅうごうcomplementであり、その逆像ぎゃくぞうpreimageは入力側にゅうりょくがわの補集合ほしゅうごうcomplement $$A\setminus f^{-1}\left(T\right)$$A\setminus f^{-1}(T) になる。

5証明しょうめい演習えんしゅう：像ぞうimageと逆像ぎゃくぞうpreimageの往復おうふく

5.1問題もんだい

$$f:A\to B$$f:A\to B とする。次つぎを証明しょうめいせよ。

1. 任意にんいの $$S\subseteq A$$S\subseteq A について $$S\subseteq f^{-1}\left(f\right(S\left)\right)$$S\subseteq f^{-1}(f(S)) である。すべての $$S\subseteq A$$S\subseteq A で等号とうごうが成立せいりつすることと、$$f$$f が単射たんしゃinjectionであることは同値どうちである。
2. 任意にんいの $$T\subseteq B$$T\subseteq B について $$f\left(f^{-1}\right(T\left)\right)=T\cap f\left(A\right)\subseteq T$$f(f^{-1}(T))=T\cap f(A)\subseteq T である。すべての $$T\subseteq B$$T\subseteq B で $$f\left(f^{-1}\right(T\left)\right)=T$$f(f^{-1}(T))=T が成立せいりつすることと、$$f$$f が全射ぜんしゃsurjectionであることは同値どうちである。

5.2解答かいとう

1. $$x\in S$$x\in S なら $$f\left(x\right)\in f\left(S\right)$$f(x)\in f(S) なので、$$x\in f^{-1}\left(f\right(S\left)\right)$$x\in f^{-1}(f(S)) である。よって $$S\subseteq f^{-1}\left(f\right(S\left)\right)$$S\subseteq f^{-1}(f(S)) である。

$$f$$f が単射たんしゃinjectionで、$$x\in f^{-1}\left(f\right(S\left)\right)$$x\in f^{-1}(f(S)) とする。ある $$s\in S$$s\in S が存在そんざいして $$f\left(x\right)=f\left(s\right)$$f(x)=f(s) だから、単射性たんしゃせいinjectivityより $$x=s\in S$$x=s\in S である。したがってすべての $$S$$S で等号とうごうが成立せいりつする。

逆ぎゃくに、すべての $$S$$S で等号とうごうが成立せいりつするとする。$$f\left(x_1\right)=f\left(x_2\right)$$f(x_1)=f(x_2) とし、$$S=\left\{x_1\right\}$$S=\{x_1\} と置おく。すると $$x_2\in f^{-1}\left(f\right(S\left)\right)=S$$x_2\in f^{-1}(f(S))=S なので $$x_2=x_1$$x_2=x_1 である。よって $$f$$f は単射たんしゃinjectionである。

1. $$y\in f\left(f^{-1}\right(T\left)\right)$$y\in f(f^{-1}(T)) なら、ある $$x\in f^{-1}\left(T\right)$$x\in f^{-1}(T) が存在そんざいして $$y=f\left(x\right)$$y=f(x) である。逆像ぎゃくぞうpreimageの定義ていぎより $$f\left(x\right)\in T$$f(x)\in T であり、また $$y=f\left(x\right)\in f\left(A\right)$$y=f(x)\in f(A) だから、$$y\in T\cap f\left(A\right)$$y\in T\cap f(A) である。

逆ぎゃくに $$y\in T\cap f\left(A\right)$$y\in T\cap f(A) なら、ある $$x\in A$$x\in A が存在そんざいして $$f\left(x\right)=y$$f(x)=y である。$$y\in T$$y\in T なので $$x\in f^{-1}\left(T\right)$$x\in f^{-1}(T)、したがって $$y\in f\left(f^{-1}\right(T\left)\right)$$y\in f(f^{-1}(T)) である。よって

である。

$$f$$f が全射ぜんしゃsurjectionで、$$y\in T$$y\in T とする。ある $$x\in A$$x\in A が存在そんざいして $$f\left(x\right)=y$$f(x)=y である。すると $$x\in f^{-1}\left(T\right)$$x\in f^{-1}(T) なので $$y\in f\left(f^{-1}\right(T\left)\right)$$y\in f(f^{-1}(T)) であり、すべての $$T$$T で等号とうごうが成立せいりつする。

逆ぎゃくに、すべての $$T$$T で等号とうごうが成立せいりつするとする。$$T=B$$T=B と置おけば

だから、$$f$$f は全射ぜんしゃsurjectionである。

5.3解説かいせつ

入力側にゅうりょくがわから「像ぞうimageを取とって逆像ぎゃくぞうpreimageで戻もどす」と、同おなじ出力しゅつりょくoutputへ送おくられる入力にゅうりょくが追加ついかされうる。その追加ついかが起おきないための条件じょうけんが単射性たんしゃせいinjectivityである。

出力側しゅつりょくがわから「逆像ぎゃくぞうpreimageを取とって像ぞうimageで戻もどす」と、もともと写像しゃぞうmapが到達とうたつしない元げんelementが失うしなわれうる。その欠落けつらくが起おきないための条件じょうけんが全射性ぜんしゃせいsurjectivityである。

ここで単射性たんしゃせいinjectivity・全射性ぜんしゃせいsurjectivityと同値どうちなのは、「特定とくていの 1 つの部分集合ぶぶんしゅうごうで等号とうごうが成立せいりつすること」ではなく、「すべての部分集合ぶぶんしゅうごうで等号とうごうが成立せいりつすること」である。量化りょうかの違ちがいに注意ちゅういする。

6次つぎの講義こうぎlecture