質問<3232>
「「写像の証明」」
日付
質問者 さくら
\(\frac{2006}{6}\)/7


f:M\(\vec{N}\) g:N\(\vec{M}\) g。f=im f。g=in
とする時、gが全単射でgインバース=fを示す。
…という問題ですが解答でいきなりg。fが全射でf。gが単射と
書いてあるのですがそれはなぜですか??

★完全解答希望★

お便り
日付 2006/7/24
回答者 たなか


質問中に
g。f=im f。g=in
とありますが、これが何なのか不明です。まずは、問題を明確にして、下さい。

お便り
日付 2006/8/11
回答者 kino


gof が M から M への恒等写像,fog が N から N への恒等写像,
ということだと思います。

全単射とは,全射かつ単射であるということです。

恒等写像は必ず全単射です。ですから,gof も fog も全単射です。
そこで,特に gof が全射で fog が単射であるという性質に着目したのだと思います。