10/03/04 22:53:11
>>504
> ２の場合は、それだけ見ると、AにはBに写らないものがあってもいいと見えますが、
ｆが集合Aから集合Bへの写像なら、Aのどの元aに対しても、fによって対応するBの元b（即ちf(a)=bとなる）がある。
その上で２．が成り立っている、という見方普通の定義。
２．は
∀b∈B ∃a∈A such that f（a）=b
と書く。
10/03/04 22:53:11
>>504
> ２の場合は、それだけ見ると、AにはBに写らないものがあってもいいと見えますが、
ｆが集合Aから集合Bへの写像なら、Aのどの元aに対しても、fによって対応するBの元b（即ちf(a)=bとなる）がある。
その上で２．が成り立っている、という見方普通の定義。
２．は
∀b∈B ∃a∈A such that f（a）=b
と書く。