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

集合と位相の問題

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

集合 上の位相 (開集合系)のうち、開集合がちょうど 個であるもの(すなわち となるもの)の個数を求めよ。ただし、開集合系として異なるものは、位相空間として同相であっても別のものとして数える。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. 写像・単射の個数と集合の濃度
  7. 有限集合上の位相
  8. 第 2 種スターリング数の漸化式と条件つき分割
  9. 同値関係と集合の分割
  10. 有限位相と前順序の対応
  11. 確率の定義と和事象・余事象
  12. 包除原理
  13. 同じものを含む順列・重複組合せ
  14. 一般の包除原理
  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 個で条件を満たす。

この問題の確認

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

間違いを報告する

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

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

関連する問題