単元一覧 › 大学数学 集合と位相

集合と位相の問題

難易度 4大学院入試の標準レベル大学数学 集合と位相

とする。 上の同値関係 のうち、次の つの条件をともに満たすものの個数を求めよ。

  • どの同値類も 個以上の元を含む
  • と は に関して同値でない(すなわち )

この問題で使うもの

この問題を解けるようになるまで(7 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 第 2 種スターリング数の漸化式と条件つき分割
  2. 同値関係と集合の分割
  3. 樹形図で数え上げる
  4. 積の法則と和の法則
  5. 和の法則・積の法則と樹形図
  6. 順列・円順列・重複順列
  7. 組合せ

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

同値関係は の分割と 対 に対応します。まず条件 だけを満たす分割の総数を、ブロックの大きさの組で分けて数えましょう。

ヒント 2

条件 は余事象を考えると数えやすくなります。「条件 を満たし、かつ と が同じブロックに入る」分割の数を、総数から引きます。

ヒント 3

ブロックの大きさの組は の 通りで、条件 を満たす分割の総数は です。次に、 がどのブロックに入るかで場合を分けて、 が同じブロックに入るものを数えましょう。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

上の同値関係と の分割(同値類全体)は 対 に対応するので、 の分割で条件を満たすものを数える。

(1) 条件 を満たす分割の総数

どのブロック(同値類)も 個以上の元をもつ 元集合の分割の、ブロックの大きさの組は

の 通りである( なので ブロック以上はありえず、 などは大きさ のブロックを含む)。それぞれの個数は
- :
- : 大きさ のブロックを選んで
- : 大きさ のブロックを選んで
- : 大きさ のブロックを選んで 、残り 個を 個ずつの組に分ける方法が 通りで、

よって総数は である。

(2) 条件 を満たし、 と が同じブロックに入る分割の数

大きさの組ごとに、 が入るブロックで場合を分ける。
- :
- : が大きさ のブロックに入るとき、残り 個から 個を選んで 。大きさ のブロック になるとき 。合計
- : 大きさ のブロックに入るとき 、大きさ のブロックに入るとき 。合計
- : 大きさ のブロックに入るとき、残りの 個を 通りに選び、残り 個を 個ずつに分けて 通りなので 。大きさ のブロック になるとき、残り 個を大きさ と に分けて 。合計

よって である。

(検算: と を つの元 にまとめると、 だけは 元のブロックになってよい 元集合の分割に対応する。 が 元のブロックでないものは「どのブロックも 個以上の 元集合の分割」で 個、 が 元のブロックのものは残り 元の同様の分割で 個。合計 で一致する。)

(3) 答え

条件 , をともに満たすものは

個である。

答えは である。

別解

同値関係は の分割と 1 対 1 に対応する。条件 (1) は「どのブロックも大きさ 2 以上」。 を 元集合の、どのブロックも大きさ 2 以上の分割の個数とする。。

元集合で特定の 1 元を含むブロックの大きさを とすると 。これより
ではなく順に計算する: 、
、
、
。

次に、 と が同値となる (1) を満たす分割の個数を数える。 を含むブロックには、残りの (5 個)から 個が入り(、大きさは で常に条件を満たす)、残る 個は大きさ 2 以上のブロックに分割する。個数は
。

よって求める個数は 。

検算: と が別のブロックにある場合を直接数えると、 のブロック と のブロック を決める。 のうち に 個、 に 個入れる()と、残り 個を大きさ 2 以上のブロックに分割する。 を計算する: : 組 で ; : で ... ここで なので ; : は各 で 、 は で ; : は各 、 は各 、合計 で なので 。ここで の は 、残り 3 個で なので 。合計 。一致。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題