Table of Contents
恒等写像をつくる写像の存在について基本的な定理を紹介します。
定理
f を A から B への写像とする。
- f が全射のとき、またそのときに限り f∘s=IB となるような写像 s:B→A が存在する。
- f が単射のとき、またそのときに限り r∘f=IA となるような写像 r:B→A が存在する。
証明
-
f∘s=IB となるとき、 任意の b∈B について f(s(b))=b 。 よって fは全射。
f:A→B を全射とする。 このとき s を b∈B について s(b)∈f−1(b) となるように定義する。 選択公理より、そのような s(b) を定めることは可能である。 すると 任意の b∈B について f(s(b))=b 。
-
r∘f=IA となるとき、 任意のAの元 a1 , a2 について f(a1)=f(a2) とすれば a1=r(f(a1))=r(f(a2))=a2 。 よって fは単射。
f:A→B を単射とする。 b∈B について、 b∈f(A) のときは b=f(a) なる元 a∈A が存在する。 その a を用いて r を r(b)=a となるように定義する。 b∉f(A) のときは Aの元をひとつとってa0と書くことにし、 r(b)=a0 となるように定義する。 すると、 任意の a∈A について r(f(a))=a 。
系
A , B を2つの集合とする。 A から B への単射が存在するための必要十分条件は、 B から A への全射が存在することである。
証明
AからBへの単射φが存在する場合、定理の2によって、 ψ∘φ=IA となる写像 ψ:B→A が存在する。 ψ は定理の1により全射。
BからAへの全射ψが存在する場合、定理の1によって、 ψ∘φ=IA となる写像 φ:A→B が存在する。 φ は定理の2により単射。