集合と位相の問題
集合 上の位相 (開集合系)のうち、開集合がちょうど 個であるもの(すなわち となるもの)の個数を求めよ。ただし、開集合系として異なるものは、位相空間として同相であっても別のものとして数える。
この問題で使うもの
- 有限集合上の位相(説明と入口の問題)
- 有限位相と前順序の対応(説明と入口の問題)
- 全射の個数(説明と入口の問題)
- 同値関係と集合の分割(説明と入口の問題)
この問題を解けるようになるまで(15 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
有限集合上の位相は、 を含み と で閉じた部分集合族です。 個の開集合が包含関係でどのように並びうるかを分類しましょう。
ヒント 2
開集合系は分配束になるので、 元の束のうち分配的でない , は現れません。残るのは「 元の鎖」「最小元の上に 元、その上に比較不能な 元」「比較不能な 元の上に 元」の つの形です。
ヒント 3
鎖の場合は を つの空でない部分に順序付きで分ける方法の数 です。他の つの形では、比較不能な つの開集合 について , が何になるかを調べ、 を つの空でない部分に分ける問題に帰着させましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
は有限集合なので、位相 は を含み、和集合と共通部分について閉じた の部分集合族である。逆に、そのような族は位相である。したがって は包含関係について、 と を結びと交わりとする分配束になる(集合の は分配法則を満たすため)。
5 元の分配束の形. 元の束は、最小元・最大元のほかに 元をもつ。その 元の順序関係で分けると
- 元が鎖: 束は 元の鎖
- 元のうち 元が他の 元(互いに比較不能)の下にある
- 元のうち 元が他の 元(互いに比較不能)の上にある
- 元の鎖と 元が比較不能(束 )
- 元が互いに比較不能(束 )
となる。, は分配束でないので現れない。よって の 通りを数えればよい。
鎖の場合. , 。これは を の つの空でない部分に順序付きで分けることと 対 に対応する。その個数は 元集合から 元集合への全射の個数 。
の場合. で、, , は比較不能。 で閉じていて かつ だから 。 で閉じていて だから 。よって は の つの空でない部分に分かれる。逆にこのように分ければ は で閉じた 元の族になる。 の順序付きの分け方は 元集合から 元集合への全射の個数
で、 と を入れ替えても同じ になるので、 の個数は 。
の場合. で、 は比較不能、。同様に , となるので、 は の つの空でない部分に分かれる。 と同じく 個。
以上より、求める個数は
である。
(確認: が 元集合のとき同じ方法で数えると、 は 個、 は 個ずつで計 個となり、 点集合上の位相 個の内訳と一致する。)
別解
有限集合 上の位相は前順序( など)と 1 対 1 に対応し、開集合は前順序の上閉集合(up-set)に当たる。前順序は「同値類(ブロック)への分割」と「ブロック全体の上の半順序」で決まり、開集合の個数はこの商半順序の上閉集合の個数、すなわち反鎖(空集合を含む)の個数に等しい。
ブロック数 で場合分けする(分割の各ブロックは中身で区別されるので、商半順序はラベル付き半順序として数える)。
- : 開集合は 2 個。不適。
- : 反鎖が 4 個(反鎖型)または 3 個(鎖型)。5 個にならない。
- : 反鎖が 5 個になる半順序は、空集合 1 + 1 点集合 3 + 2 点反鎖の個数が 1 の場合、すなわち比較不能な対がちょうど 1 組のもの。3 元半順序のうち、 字()と 字()がこれで、ラベル付きで各 3 通り、計 6 通り。(他の型は反鎖 8, 6, 4 個)。3 ブロックの分割は 通りなので 。
- : 反鎖は空集合 1 + 1 点集合 4 で既に 5 個なので 2 点反鎖はなく、全順序(鎖)。ラベル付きで 通り。分割は 1 通りなので 24。
合計 。
検算: の例として のブロック と 字()の位相の開集合は の 5 個で条件を満たす。