SSブログ

第9回 像と逆像 [集合論入門]

第9回 像と逆像

 

を写像とする。Xの部分集合A⊂Xの要素のfによる像の全体をf(A)で表し、Afによるという。

すなわち、

  

である。

また、Yの部分集合B⊂Yに対して、Xの部分集合

  

fによるB原像と言い、で表す。

 

【注意】

写像の逆写像f⁻¹と同一の記号を用いているが、逆写像とは似て非なるもの、異なるものなので注意。

f(x)=x²で定められる写像があり、B=[0,4]⊂Rとすると、

  

また、∅⊂Rだから、

  

 

 

定理1 とすると、次のことが成り立つ。

genzou-001.png

【証明】

(1) A₁⊂A₂とする。y=f(x)∈f(A₁)とすると、y=f(x)となるx∈A₁が存在する。

また、A₁⊂A₂だからx∈A₂となり、y=f(x)∈f(A₂)

よって、

  

 

(2) A₁∩A₂⊂A₁A₂

(1)より、

  

 

(3) A₁A₂⊂A₁∪A₂だから、

  

y∈f(A₁∪A₂)とすると、y=f(x)となるx∈A₁∪A₂が存在する。

x∈A₁のときy=f(A₁)だからy∈f(A₁)∪f(A₂)

x∈A₂のときy=f(A₂)だからy∈f(A₁)∪f(A₂)

いずれの場合も、y∈f(A₁)∪f(A₂)

故に、

  

 

(4) y∈f(A₁)−f(A₂)とすると、y=f(x)となるx∈f(A₁)が存在し、かつy=f(x)∉f(A₂)である。

仮にx∈A₂とすると、f(x)∈f(A₂)となり、矛盾。よって、x∉A₂

故に、

  

(証明終)

 

例1 f(x)=x²によって写像を定め、Rの部分集合A₁A₂を閉区間

  

とすると、

  

である。

したがって、

  

また、

  

となり、定理1の(2)、(4)に関して、一般に等号が成立しないことがわかる。

定理(2)、(4)で等号が成り立つのはfが単射のときである。

 

 

定理2 を写像、A⊂XB⊂Yとすると、次のことが成り立つ。

 genzou-004.png

【証明】

(1) とすると、f(x)∈f(B₁)。仮定よりB₁⊂B₂だから、f(x)∈B₂

故に、

 

(証明終)

 

 

定理3 を写像、A⊂XB⊂Yとする。このとき、次のことが成り立つ。

genzou-006.png

【証明】

(1)

⇒ f(A)⊂Bとする。

x∈Aとすると、f(x)∈f(A)。仮定より、f(x)∈B。よって、x∈f⁻¹(B)

したがって、A⊂f⁻¹(B)である。

 

⇐ A⊂f⁻¹(B)であるとする。

y∈f(A)とすると、あるx∈Aが存在してy=f(x)。仮定より、A⊂f⁻¹(B)だからx∈f⁻¹(B)。よって、y=f(x)∈B

ゆえに、A⊂f⁻¹(B)

 

(2) x∈Aならばf(x)∈f(A)

よって、

  

 

(3) とすると、y=f(x)となる元x∈f⁻¹(B)が存在する。

よって、

  

(証明終)

 

例2 f(x)=x²によってを定め、A=[0,2]B=[−1,4]とする。

このとき、

  

定理3の(2)で等号が成立するのは単射のときである。

また、

  

定理3の(3)で等号が成立するのは全射のときである。

 

 


nice!(0)  コメント(0) 

nice! 0

コメント 0

コメントを書く

お名前:
URL:
コメント:
画像認証:
下の画像に表示されている文字を入力してください。

この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。