集合と位相の問題
とする。 上の同値関係 のうち、次の つの条件をともに満たすものの個数を求めよ。
- どの同値類も 個以上の元を含む
- と は に関して同値でない(すなわち )
この問題で使うもの
- 同値関係と集合の分割(説明と入口の問題)
- 組合せ(説明と入口の問題)
- 和の法則・積の法則と樹形図(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
同値関係は の分割と 対 に対応します。まず条件 だけを満たす分割の総数を、ブロックの大きさの組で分けて数えましょう。
ヒント 2
条件 は余事象を考えると数えやすくなります。「条件 を満たし、かつ と が同じブロックに入る」分割の数を、総数から引きます。
ヒント 3
ブロックの大きさの組は の 通りで、条件 を満たす分割の総数は です。次に、 がどのブロックに入るかで場合を分けて、 が同じブロックに入るものを数えましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
上の同値関係と の分割(同値類全体)は 対 に対応するので、 の分割で条件を満たすものを数える。
(1) 条件 を満たす分割の総数
どのブロック(同値類)も 個以上の元をもつ 元集合の分割の、ブロックの大きさの組は
の 通りである( なので ブロック以上はありえず、 などは大きさ のブロックを含む)。それぞれの個数は
- :
- : 大きさ のブロックを選んで
- : 大きさ のブロックを選んで
- : 大きさ のブロックを選んで 、残り 個を 個ずつの組に分ける方法が 通りで、
よって総数は である。
(2) 条件 を満たし、 と が同じブロックに入る分割の数
大きさの組ごとに、 が入るブロックで場合を分ける。
- :
- : が大きさ のブロックに入るとき、残り 個から 個を選んで 。大きさ のブロック になるとき 。合計
- : 大きさ のブロックに入るとき 、大きさ のブロックに入るとき 。合計
- : 大きさ のブロックに入るとき、残りの 個を 通りに選び、残り 個を 個ずつに分けて 通りなので 。大きさ のブロック になるとき、残り 個を大きさ と に分けて 。合計
よって である。
(検算: と を つの元 にまとめると、 だけは 元のブロックになってよい 元集合の分割に対応する。 が 元のブロックでないものは「どのブロックも 個以上の 元集合の分割」で 個、 が 元のブロックのものは残り 元の同様の分割で 個。合計 で一致する。)
(3) 答え
条件 , をともに満たすものは
個である。
答えは である。
別解
同値関係は の分割と 1 対 1 に対応する。条件 (1) は「どのブロックも大きさ 2 以上」。 を 元集合の、どのブロックも大きさ 2 以上の分割の個数とする。。
元集合で特定の 1 元を含むブロックの大きさを とすると 。これより
ではなく順に計算する: 、
、
、
。
次に、 と が同値となる (1) を満たす分割の個数を数える。 を含むブロックには、残りの (5 個)から 個が入り(、大きさは で常に条件を満たす)、残る 個は大きさ 2 以上のブロックに分割する。個数は
。
よって求める個数は 。
検算: と が別のブロックにある場合を直接数えると、 のブロック と のブロック を決める。 のうち に 個、 に 個入れる()と、残り 個を大きさ 2 以上のブロックに分割する。 を計算する: : 組 で ; : で ... ここで なので ; : は各 で 、 は で ; : は各 、 は各 、合計 で なので 。ここで の は 、残り 3 個で なので 。合計 。一致。