質問＜２０６８＞２００４／１１／１４
from=yamachi
「単射について」

f;A→Bが単射であるとき、g:f(A)→Aが存在してg。
f=IAを証明の仕方を教えてください。

★希望★完全解答★

お便り２００４／１１／１６
from=juin

f:A->B(1:1)
g:f(A)->Aを作る。f(a)=bのとき、g(b)=aとする。これは、f(A)の上で定義され
る。（単射だから、f(a1)=f(a2)=bならば、a1=a2となる。）
a∈Aに対して、g・f(a)=g(f(a))=g(b)=a
だから、g・f=IA