{1,2,3} - > {1,2}とg:{1,2,3} - > {1,2,3,4}があります。

{1,2,3} - > {1,2}とg:{1,2,3} - > {1,2,3,4}があります。
Anonim

回答:

#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# 単射です。