0

かんたんめな位相空間論の演習問題を思いついたので書きます

364
0
$$$$

どうも

 こんにちは ごててんです 早速作った問題を貼ります(おそらく10000番煎じくらいの問題ですが)

 $X$を元の数が$n \geq 3$の有限集合, $(X,\mathcal{O})$を位相空間とするとき, 次が成立することを示せ.

  • 離散位相でないなら, $|\mathcal{O}| \leq 2^n-n+1$.

 

解答は下に......

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 解答を貼ります! おそらくいろいろな解き方がありますが私が思いついたものを書きます

 $X$のべき集合$2^X$の元の個数は$2^n$であるので, 開集合とならない部分集合を$n-1$個挙げればよい.

 離散位相でないので, 開集合でない$\{a\}$$(a \in X)$が取れる. さて, $\{a,b\}$$(b \in X, a \ne b)$の形の開集合が1つも無ければその時点で開集合とならないものが$1+(n-1)=n$個とれていることになり正しい. $\{a,b\}$$(b \in X, a \ne b)$の形の開集合が$2$つ以上とれたとする. すると, その共通部分も開集合であるはずだがそれは$\{a\}$. よって$\{a,b\}$$(b \in X, a \ne b)$の形の開集合は存在しても$1$個のみであり, ここから開集合でないものが少なくとも$1+(n-2)=n-1$個あるとわかる.

 

 

 $3$点, $4$点集合からなる位相空間をPythonで求めていたときにこの問題を思いつきました. 開集合の数は同相で保たれるはずなので開集合の個数というのは興味を持たれていたはずですし, そういう意味でこの問題は既出も既出だと思います() それでは~~~~~

投稿日:2022626
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

ごててん
ごててん
295
56761
位相空間と環が好きです

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中