集合と位相の問題
, とする。写像 のうち、次の つの条件をともに満たすものの個数を求めよ。
- は全射である
- である
この問題で使うもの
- 全射の個数(説明と入口の問題)
この問題を解けるようになるまで(11 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
という条件を使って、問題をもっと元の少ない集合からの写像の問題に言い換えてみましょう。
ヒント 2
と を つの元とみなすと、 元集合から 元集合への全射の個数を数えればよくなります。全射の個数は包除原理 で求められます。
ヒント 3
写像全体は 個、特定の 元を像に含まないものは 個、特定の 元を像に含まないものは 個です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
条件 より なので、 は と に同じ値を対応させる。そこで をまとめて つの元 とみなし、 元集合 を考える。
条件 を満たす写像 と、写像 は、, によって 対 に対応する。また と の像は等しいので、 が全射であることと が全射であることは同値である。
よって、求める個数は 元集合から 元集合への全射の個数に等しい。これを包除原理で数える。写像 は全部で 個ある。 の特定の 元を像に含まない写像は 個、特定の 元を像に含まない写像は 個、 元すべてを含まない写像は 個である。したがって全射の個数は
である。
(別解)全射 では 個の元が つの値に分かれるので、ちょうど つの値に 個、ほかの値に 個ずつ対応する。同じ値をとる 個の選び方が 通り、その つのグループへの の割り当てが 通りで、 個。
答えは 個である。
別解
なので、 を 1 つの元 にまとめると、 は 4 元集合 から への全射と同じ(まとめた元の像が )。4 元集合から 3 元集合への全射の個数は (または )。
検算: 像が 3 点すべてになるには、5 点の値のうち を 1 組と見て 4 個の値が をすべて含む。1 つの値が 2 回、他は 1 回ずつ現れる: 重複する値を選ぶ 3 通り、4 つの位置から重複位置の組を選ぶ 通り、残り 2 つの異なる値の割り当て 通りで ✓。