集合と位相の問題
集合 上の位相 のうち、開集合の個数がちょうど であるもの(すなわち がちょうど 個の の部分集合からなるもの)の個数を求めよ。
ただし、 の部分集合族 が 上の位相であるとは、、 であり、 が有限個の共通部分と任意個の和集合について閉じていることをいう。異なる部分集合族は異なる位相として数える。
この問題で使うもの
- 有限集合上の位相(説明と入口の問題)
- 全射の個数(説明と入口の問題)
- 写像・単射の個数と集合の濃度(説明と入口の問題)
この問題を解けるようになるまで(12 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
開集合がちょうど 個なら の形です。 と に包含関係があるかどうかで場合を分けましょう。
ヒント 2
包含関係がある場合()は条件が自動的に満たされ、各元を「」「」「」の つに振り分ける全射の個数になります。包含関係がない場合は 、 が必要です。
ヒント 3
全射の個数は包除原理で 、 の つの部分への分割の個数は です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
は と を含むので、開集合がちょうど 個のとき
と書ける。ここで は空でない の真部分集合で、 である。 は有限集合なので、位相の条件は「 と がともに に属する」ことと同じである( との和・共通部分は自動的に に入る)。
(1) と に包含関係があるとき. としてよい。このとき 、 なので条件は自動的に満たされる。よって
となる組 の個数を数えればよい( と決めたので、 と組 は 対 に対応する)。各元 が「 に属する」「 に属する」「 に属する」の つのどれに入るかを決めることと同じで、 つとも空でない必要がある。これは 元集合から 元集合への全射の個数であり、包除原理より
(2) と に包含関係がないとき. は とも とも異なり、空でもないので でなければならない。同様に は とも とも異なり、 でもないので でなければならない。よって は を空でない つの部分に分ける分割であり、逆にそのような分割から位相が得られる。その個数は、 の空でない真部分集合 個を、補集合どうしの組にまとめて
(3) 合計. (1) と (2) は重ならないので、求める個数は
別解
とおく。ここで は互いに異なる の空でない真部分集合。 が位相であるための条件は、 と が に属すること(他の組の共通部分・和集合は自明に閉じている)。
(i) (または )の場合: 、 なので位相になる。これは という鎖で、 を順序つきの空でない 3 つのブロック に分けることと同じ。個数は ( は第 2 種スターリング数)。
(ii) が包含関係にない場合: かつ包含関係がないので しかありえず、同様に となる。したがって 。このような は、 の空でない真部分集合 個を補集合どうしの組にしたもので 通り。
合計は 。
検算: (i) の個数を別に数える。()として の和を取ると、、、、、、 で合計 となり一致。よって 。