22/07/22 10:52:55.82 1XI1PxJf.net
原像が1点と暗黙のうちに仮定している時点で単射じゃん。
「α, β∈f(X)⊂Y に対し α≠βならば αの原像∩βの原像=空集合」はfが単射でなくても、原像の定義から自明に成り立つ。
22/07/22 10:52:55.82 1XI1PxJf.net
原像が1点と暗黙のうちに仮定している時点で単射じゃん。
「α, β∈f(X)⊂Y に対し α≠βならば αの原像∩βの原像=空集合」はfが単射でなくても、原像の定義から自明に成り立つ。