14/12/20 18:49:40.35
>>34
「X, Yを集合とする。
fをXからYへの写像、gをYからXへの写像とする。
任意のx∈Xに対して、g(f(x))=xならば、fは単射である。」
は良いとして、、追加すればgの全射性も言える。でもって
「X, Yを集合とする。
fをXからYへの写像、gをYからXへの写像とする。
任意のy∈Yに対して、f(g(y))=yならば、gは単射、fは全射である。」
これも言える。
今の場合どっちも使える。
14/12/20 18:49:40.35
>>34
「X, Yを集合とする。
fをXからYへの写像、gをYからXへの写像とする。
任意のx∈Xに対して、g(f(x))=xならば、fは単射である。」
は良いとして、、追加すればgの全射性も言える。でもって
「X, Yを集合とする。
fをXからYへの写像、gをYからXへの写像とする。
任意のy∈Yに対して、f(g(y))=yならば、gは単射、fは全射である。」
これも言える。
今の場合どっちも使える。