集合 の部分集合族 を次のように定める。
このうち 上の位相(開集合系)であるものの番号 をすべて求め、集合 の形で答えよ。
有限集合上の位相
部分集合族が位相の公理( を含み、和と有限個の共通部分で閉じる)を満たすかを判定できる。2 点・3 点集合上の位相をすべて数えられる(3 点集合では 29 個)
前提
- 写像・単射の個数と集合の濃度 (大学数学 集合と位相)
この技能までの道筋(6 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 写像・単射の個数と集合の濃度 (大学数学 集合と位相)
説明
集合 の部分集合を集めた族 が「位相」の条件を満たすかを判定できるようになります。あわせて、有限集合上の位相をもれなく数えられるようになります。位相は「開集合とはどれか」を決めるもので、連続性や近さを集合の言葉だけで扱うための土台です。点が少ない有限集合では、2 つずつの和と共通部分を調べれば判定できます。さらに「どの 1 点集合が開集合か」で場合分けすると、2 点集合上の位相 4 個、3 点集合上の位相 29 個をもれなく数え上げられます。
なぜそうしてよいのか
集合 の部分集合族 が次の 3 条件を満たすとき、 を 上の位相といい、その元を開集合とよびます。
(O1) かつ 。
(O2) の元をいくつ(無限個でもよい)集めても、その和集合は に属する。
(O3) の有限個の元の共通部分は に属する。
が有限なら の元は高々 個なので、(O2) の「いくつ集めても」は実際には有限個の異なる集合の和です。 のように 2 つずつ順に合わせられます。よって「任意の で 」を確かめれば (O2) 全体が従います(帰納法)。共通部分も同じく 2 つずつ確かめれば十分です。 や との和・共通部分は自分自身か ・ になるので、確認は要りません。
数えるときは、まず候補の数を押さえます。 は必ず含まれるので、残り 個の部分集合を入れるか入れないかで、候補は 個です。()では候補 個です。、 なので、4 個すべてが位相になります。()では候補が 64 個あるので、次の 2 つの事実を使って場合分けします。(ア) 開集合である 1 点集合をいくつか合わせた和は開集合である。(イ) 異なる 2 点集合 2 つの共通部分は 1 点集合になる(例:)。そこで 1 点集合 が開集合になる点 を集めた集合を とおき、 で分けます。
・:すべての 1 点集合が開集合なので、(ア) より全部の部分集合が開集合になり、 の 1 個だけ。
・( とする):(ア) より は必ず開集合。 を両方入れると共通部分 が開集合になり、 に反する。よって両方は入れられず、「どちらも入れない」「 だけ」「 だけ」の 3 通りになる。どれも和・共通部分で閉じている。 の選び方は 通りなので、 個。
・( とする): は、 と並ぶと共通部分 が生じ、 と並ぶと が生じる。どちらも に反するので同時には入れられない。一方 は問題ない。よって入れる 2 点集合は「なし」「」「」「」「」の 5 通りで、どれも位相になる。 の選び方は 3 通りなので 個。
・:(イ) より 2 点集合は高々 1 つしか入れられない。「なし」の 1 通りと「2 点集合 1 つ」の 3 通りで、4 個。
合計 個です。
この 29 個を形(型)で整理します。型ごとの個数は「型の中で各点が果たす役割に、 を割り当てる方法」の数で、選び方の積で求まります。点の入れ替えで形が変わらない役割の組は、まとめて 1 通りと数えます。
・:1 個
・: の選び方で 3 個
・:2 点集合の選び方で 3 個
・: が 3 通り、 が残り 2 通りで 個
・: を決めれば も決まるので 3 個
・: を選べば決まる( を入れ替えても同じ族)ので 3 個
・: を決めれば決まる( を入れ替えても同じ族)ので 3 個
・:2 つの 2 点集合に共通な点 が 3 通り、もう 1 つの開 1 点集合 が 2 通りで 6 個
・:1 個
となり、場合分けの結果と一致します。
手順
と が族に入っているかを確かめる(入っていなければ位相ではない)。
以外の元から 2 つ を選ぶすべての組について、 が族に入っているかを確かめる。
同じすべての組について、 が族に入っているかを確かめる。1 つでも外れれば位相ではない。すべて入っていれば位相である(有限集合なので 2 つずつの確認で十分)。
位相を数えるときは、1 点集合が開集合になる点の集合 で場合分けする。各場合で、 の点の 1 点集合の和を必ず含める。そのうえで、共通部分が に入らない点の 1 点集合になってしまう 2 点集合の組(例: の共通部分 )を除いて、加える 2 点集合を列挙する。
列挙した族を手順 1〜3 で確かめる。 の選び方や点の役割の割り当て方(選び方の積)を掛けて、各場合・各型の個数を合計する。
例題
上の位相のうち、 を開集合として含むものの個数を求めよ。
例題の解答
手順 4:1 点集合が開集合になる点の集合を とする。条件より なので、 は 、、、 のどれかである。
・:すべての 1 点集合の和として全部の部分集合が開集合になり、 の 1 個。
・:和 は必ず含まれる。 と を両方入れると、共通部分 が開集合になって に反する。よって候補は次の 3 つ。
手順 1〜3 で 2 つ目を確かめる。和は 、、 などで、すべて族に入る。共通部分は 、、 などで、すべて族に入る。1 つ目・3 つ目も同様に確かめられるので、3 個。
・: と の役割を入れ替えただけなので、同様に 3 個。
・: は、 と並ぶと共通部分 が、 と並ぶと が生じる。どちらも に反するので同時には入れられない。 は許される。よって加える 2 点集合は「なし」「」「」「」「」の 5 通り。
手順 5 で確かめる。たとえば では、和 、共通部分 で、ほかの組も との和・共通部分なので族に入る。 では、、。残りも同様で、5 個とも位相である。
手順 5:合計して 個。
答え:
よくある誤り
和だけ確かめて共通部分の確認を忘れる誤り。 で は和では閉じているが、 が入っていないので位相ではない。
共通部分だけ確かめて和の確認を忘れる誤り。 で は共通部分では閉じているが、 が入っていないので位相ではない( なら となり位相になる)。
や を入れ忘れた族を位相としてしまう誤り。 で は和と共通部分では閉じているが、 を含まないので位相ではない。正しくは 。
型の数や対称性を取り違えて個数を誤る誤り。3 点集合上の位相を型の数 9 と答えたり、 型を 3 個と数えたりする。この型は が 3 通り、 が 2 通りで 個ある。逆に 型は を入れ替えても同じ族なので 3 個である。全体は 個で、候補の総数 と混同しないこと。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
集合 を考える。 の部分集合 で、 を満たすものに対して、部分集合族
を考える。 が 上の位相(開集合系)になるような の個数を求めよ。集合 上の位相 (開集合系)のうち、 かつ を満たすものの個数を求めよ。ただし、部分集合族として異なるものは区別して数える。
この技能を使う問題
個の元からなる集合の上の位相(開集合系)の個数を とする。ただし、開集合系として異なるものは区別して数える(同相なものも別々に数える)。, であることが知られている。これを用いて、集合 上の位相 のうち、位相空間 が連結となるものの個数を求めよ。
集合 上の位相 のうち、(すなわち 点集合 が開集合)となるものの個数を求めよ。
集合 上の位相 (開集合系)のうち、開集合がちょうど 個であるもの(すなわち となるもの)の個数を求めよ。ただし、開集合系として異なるものは、位相空間として同相であっても別のものとして数える。
集合 上の位相 のうち、開集合の個数がちょうど であるもの(すなわち がちょうど 個の の部分集合からなるもの)の個数を求めよ。
ただし、 の部分集合族 が 上の位相であるとは、、 であり、 が有限個の共通部分と任意個の和集合について閉じていることをいう。異なる部分集合族は異なる位相として数える。
を空でない有限集合とする。 上の前順序とは、 上の二項関係 で、反射律(任意の で )と推移律( かつ ならば )を満たすものをいう(反対称律は要求しない)。 上の位相全体の集合を 、 上の前順序全体の集合を とする。
位相 と に対し とおき、 上の関係 を「」で定める。
前順序 に対し、 の部分集合族 を
で定める。は から への全単射であり、その逆写像は であることを証明せよ。
この技能の次に学べること
- 有限位相と前順序の対応 (大学数学 集合と位相)
- 内部・閉包・境界・集積点 (大学数学 集合と位相)