集合と位相の問題
, とする。全射 のうち、
を満たすものの個数を求めよ。
この問題で使うもの
- 全射の個数(説明と入口の問題)
この問題を解けるようになるまで(11 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
まず条件なしの全射の個数を包除原理で求め、条件を満たさないもの( または )を包除原理で引く。
ヒント 2
を満たす全射は、 と を つの元にまとめた 元集合からの全射と同じ個数ある。 元集合から 元集合への全射の個数は 。
ヒント 3
全射の総数は 、 を満たすものは 、 かつ を満たすものは である。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
元集合から 元集合への全射の個数を とする。包除原理により
よって 、、。
全射 全体を 、そのうち を満たすものを 、 を満たすものを とする。求める個数は である。
- 。
- の元は、 と を同じ元に送るので、 をまとめた つの元と からなる 元集合からの全射と 対 に対応する。よって 。同様に 。
- の元は、 をそれぞれ つの元とみた 元集合からの全射と対応するので 。
したがって
別解
値域を含む部分集合 ()への写像で条件を満たすものの個数を とする。 は異なる値なので 通り、 も 通り、 は各 通りで、。、、。
包除原理により、全射の個数は 。
検算: 余事象で数えると、条件を満たす写像全体は 、そのうち像が丁度 2 点のものは (像がちょうど 2 点の集合ごとに )、像が 1 点のものは 0。よって全射は ✓。