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

集合と位相の問題

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

集合 上の位相 のうち、開集合の個数がちょうど であるもの(すなわち がちょうど 個の の部分集合からなるもの)の個数を求めよ。

ただし、 の部分集合族 が 上の位相であるとは、、 であり、 が有限個の共通部分と任意個の和集合について閉じていることをいう。異なる部分集合族は異なる位相として数える。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. 写像・単射の個数と集合の濃度
  7. 有限集合上の位相
  8. 確率の定義と和事象・余事象
  9. 包除原理
  10. 同じものを含む順列・重複組合せ
  11. 一般の包除原理
  12. 全射の個数

ヒント

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

ヒント 1

開集合がちょうど 個なら の形です。 と に包含関係があるかどうかで場合を分けましょう。

ヒント 2

包含関係がある場合()は条件が自動的に満たされ、各元を「」「」「」の つに振り分ける全射の個数になります。包含関係がない場合は 、 が必要です。

ヒント 3

全射の個数は包除原理で 、 の つの部分への分割の個数は です。

答えと解説

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

は と を含むので、開集合がちょうど 個のとき

と書ける。ここで は空でない の真部分集合で、 である。 は有限集合なので、位相の条件は「 と がともに に属する」ことと同じである( との和・共通部分は自動的に に入る)。

(1) と に包含関係があるとき. としてよい。このとき 、 なので条件は自動的に満たされる。よって

となる組 の個数を数えればよい( と決めたので、 と組 は 対 に対応する)。各元 が「 に属する」「 に属する」「 に属する」の つのどれに入るかを決めることと同じで、 つとも空でない必要がある。これは 元集合から 元集合への全射の個数であり、包除原理より

(2) と に包含関係がないとき. は とも とも異なり、空でもないので でなければならない。同様に は とも とも異なり、 でもないので でなければならない。よって は を空でない つの部分に分ける分割であり、逆にそのような分割から位相が得られる。その個数は、 の空でない真部分集合 個を、補集合どうしの組にまとめて

(3) 合計. (1) と (2) は重ならないので、求める個数は

別解

とおく。ここで は互いに異なる の空でない真部分集合。 が位相であるための条件は、 と が に属すること(他の組の共通部分・和集合は自明に閉じている)。

(i) (または )の場合: 、 なので位相になる。これは という鎖で、 を順序つきの空でない 3 つのブロック に分けることと同じ。個数は ( は第 2 種スターリング数)。

(ii) が包含関係にない場合: かつ包含関係がないので しかありえず、同様に となる。したがって 。このような は、 の空でない真部分集合 個を補集合どうしの組にしたもので 通り。

合計は 。

検算: (i) の個数を別に数える。()として の和を取ると、、、、、、 で合計 となり一致。よって 。

この問題の確認

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

間違いを報告する

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

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

関連する問題