19/05/18 14:50:54.64 To+6m73X.net
>>985
＞単射である必要はない。全射でさえあればよい
？？？
>>983
2. 自然数m,nがm≠nを満たすときf(m)≠f(n)
これって単射の定義そのものなのでは？
だから単射である必要があるのでは？
f が単射でない場合 f:a->z, f:b->z だった場合に a != b にもかかわらず f(a)=f(b) で 2 を満たさない
19/05/18 14:50:54.64 To+6m73X.net
>>985
＞単射である必要はない。全射でさえあればよい
？？？
>>983
2. 自然数m,nがm≠nを満たすときf(m)≠f(n)
これって単射の定義そのものなのでは？
だから単射である必要があるのでは？
f が単射でない場合 f:a->z, f:b->z だった場合に a != b にもかかわらず f(a)=f(b) で 2 を満たさない