幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
幾何学序論1
市原一裕
2015年6月1日(月)2限
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
小テスト
1. f(x) = x2で決まる写像f :R→Rに対して,
A1 := [−1,1],A2 := (0,1)としたとき,
f(A1−A2)とf(A1)−f(A2)を求めなさい.
2. XとY を集合とし,f :X →Y を写像とすると き,Y の部分集合Y1とY2に対して,
f−1(Y1∪Y2)⊂f−1(Y1)∪f−1(Y2)を証明しなさい.
3. f−1 ◦f(A)̸=Aとなるような集合A⊂XとY お よび写像f :X →Y の具体的な例をあげなさい.
幾何学序論1 K.Ichihara
単射
全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
単射とは
定義 2.4.1【単射(injection, monomorphism, one-to-one map)】
写像f :X→Y が単射であるとは,
∀x1, x2∈Xに対し,x1 ̸=x2ならばf(x1)̸=f(x2) が成り立つということ.
言い換え(1)
f が単射 ⇔
∀x1, x2 ∈Xに対し,「f(x1) =f(x2)ならばx1 =x2」
言い換え(2)
幾何学序論1 K.Ichihara
単射
全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
単射かどうか調べるには
写像が単射かどうかの調べ方(1)
定義域が有限集合のときはすべての要素の行き先を調べる.
写像が単射かどうかの調べ方(2)
定義域が無限集合のときは,定義の対偶(言い換え(1))を 調べるとうまくことが多い.
注意 2.4.3
単射性を調べるときは,定義域を把握しておく必要がある.
つまり定義域によって単射になったりならなかったりする.
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
全射とは
定義 2.5.1【全射(surjection, epimorphism, onto map)】
写像f :X→Y が全射であるとは,
∀y∈Y に対し,∃x∈X s.t. y=f(x) が成り立つということ.
言い換え
f が全射 ⇔ ∀y∈Y, ♯(f−1(y))≥1
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
全射・単射と合成写像
定理 2.6.1
X,Y,Zを集合とし,f :X→Y とg:Y →Zを2つの 写像とする.
1. fとgが単射⇒ g◦fは単射 2. fとgが全射⇒ g◦fは全射 3. g◦f :X →Zが単射 ⇒ fは単射 4. g◦f :X →Zが全射 ⇒ gは全射
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
全単射とは
定義 2.7.1【全単射(bijection)】
写像f :X→Y が全単射であるとは,f が単射かつ全射と いうこと.
言い換え
f が全単射 ⇔ ∀y∈Y, ♯(f−1(y)) = 1
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
逆写像とは
定義 2.7.2【逆写像(inverse map)】
写像f :X→Y が全単射であるとき,
∀y ∈Y に対して,♯(f−1(y)) = 1
が成り立つから,y=f(x)となるx∈Xが唯一つ存在.
このy7→xという対応により得られるY からXへの写像を この写像をfの逆写像といい,f−1:Y →Xであらわす.
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
逆写像の性質
定理 2.7.1
写像f :X→Y が全単射であるならば,
1. f◦f−1 =idY
2. f−1◦f =idX
定理 2.7.2
2つの写像f :X→Y とg:Y →Xがあって,
f ◦g=idY g◦f =idX が成り立つならば,
幾何学序論1 K.Ichihara
単射 全射
全射・単射と合成 写像
全単射
全単射とは 逆写像 逆写像の性質
練習問題
練習問題 練習問題 2.7.1
f :R→R,f(x) = 2x−1が単射であることを示しなさい.
練習問題 2.7.2
f :R→R,f(x) =|x|が全射でないことを示しなさい.
練習問題 2.7.4
写像f :X →Y が単射のとき,Xの部分集合A1とA2に対し て,f(A1∩A2) =f(A1)∩f(A2)を証明しなさい.
チャレンジ問題
次の集合X とY の間の全単射を見つけなさい.
1. X = (0,1),Y =R 2. X =N,Y =Z 3. X = (0,1),Y = [0,1]