質問: 次の集合ABについて指定された性質を持つ写像f:A-Bを1つ定義せよ。
回答: A=(abcd) B=(1234) fは単射でも全射でもない。 f(a)=f(b)=f(c)=f(d)=1 A=N B=N fは単射でないが、全射である。 f(1)=1,f(n)=n-1 (n∈N) A=N B=N fは単射だが、全射でない。 f(n)=n^2 (n∈N) A=Q B=Z fは単射でないが、全射である。 有理数をp/q (p∈N,q∈Z,q≠0)としたとき f(p/q)=p と定めると条件を満たす写像が作れます