質問<2068>2004/11/14
f;A→Bが単射であるとき、g:f(A)→Aが存在してg。 f=IAを証明の仕方を教えてください。 ★希望★完全解答★
お便り2004/11/16 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