回答:
#f# 単射することはできません。
#g# injective inにすることができます #24# 方法。
説明:
2つの入力が同じ出力を提供しない場合、関数は単射です。言い換えれば、のようなもの
#f(x)= f(y)、 quad x ne y#
起こり得ない。
これは、有限ドメインおよびコドメインの場合、基数が、そのドメインがコドメインよりも小さい(または、最大でも等しい)場合に限り、関数が単射的になる可能性があることを意味します。
これが理由です #f# 決して単射することはできません。実際には、あなたは修正することができます #f(1)# 好きなように。いう #f(1)= 1#、 例えば。選ぶとき #f(2)#もう一度言うことはできない #f(2)= 1#または #f# 単射ではないでしょう。しかしそれがなると #f(3)# 私たちが言うなら、私たちには選択肢がありません #f(3)= 1# 我々は持っています #f(1)= f(3)#そして、我々が言うなら #f(3)= 2# 我々は持っています #f(2)= f(3)#.
言い換えれば、3つの入力それぞれに2つの可能な出力のうちの1つを割り当てなければなりません。入力が異なる出力を提供できないことは明らかなはずです。
一方 #g# 「十分なスペース」があるので、客観的になることができます。3つの入力のそれぞれは、異なる入力が同じ出力を提供しないように4つの出力のうちの1つを選択できます。
しかし、いくつの方法で?それでは、もう一度始めましょう。 #f(1)#。この入力には4つの出力のいずれかを選択できるので、選択できます。 #f(1)# 4つの方法で。
なると #f(2)#自由を失う:に値を代入することができる #f(2)#割り当てたものを除く #f(1)#つまり、2つの選択肢があります。たとえば、修正した場合 #f(1)= 2#それから #f(2)# どちらでも構いません #1#, #3# または #4#.
同じ論理では、次の2つの選択肢があります。 #f(3)#:4つの可能な選択肢から、我々はすでに割り当てられているものを除外します。 #f(1)# そして #f(3)#.
だから、我々は定義することができます #g# に #4*3*2 = 24# そのような方法 #g# 単射です。