$$ \newcommand\bm[1]{\boldsymbol{#1}} \renewcommand\limsup{\varlimsup} \renewcommand\liminf{\varliminf} $$

$A$, $B$ を集合とするとき, $A$ から $B$ への全射が存在すれば, $B$ から $A$ への単射が存在することを証明せよ.

解答例 1

全射 $f:A\rightarrow B$ が存在すれば, ある写像 $s:B\rightarrow A$が存在して, $f\circ s = \mathrm{id}_{B}$ となる. このとき, $s$ は単射である.

最終更新日:2011年11月02日

©2003-2011 よしいず