集合と位相の問題
集合 上の同値関係の個数を求めよ。ただし、 の部分集合として異なる同値関係は区別して数える。
この問題で使うもの
- 同値関係と集合の分割(説明と入口の問題)
この問題を解けるようになるまで(2 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
同値関係と集合の分割(同値類全体)が 1 対 1 に対応することを使い、同値関係の個数を分割の個数に言いかえましょう。
ヒント 2
分割の個数はベル数 です。 は漸化式 で表にできます。
ヒント 3
表を作ると、 の行は になります。ここから の行を求めて足し合わせましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針:同値関係を分割に言いかえる
集合 上の同値関係 を 1 つ決めると、 は同値類に分かれます。同値類は空でなく、互いに交わらず、全部の和集合は になるので、同値類の全体は の分割になります。
逆に、 の分割を 1 つ決めて「 と が同じブロックに属するとき 」と定めると、同値関係が 1 つ得られます。この 2 つの対応は互いに逆なので、
は 1 対 1 に対応します。したがって、求める個数は 元集合の分割の個数、つまりベル数
です。ここで は 元集合を 個のブロックに分ける分割の個数(第 2 種スターリング数)です。
スターリング数の表を作る
漸化式 と、 を使います。
- :
- :。よって
- :
- よって
- :
- よって
合計する
よって、 上の同値関係は 個です。
別解
A 上の同値関係は A の分割と一対一に対応するので、個数は 5 個の元の集合の分割の数、すなわちベル数 に等しい。
スターリング数 を使うと、、、、、 なので、合計は 。
検算として、ベル数の漸化式 を使う。、、、、 より、
。
よって答えは 52。