上限位相空間・下限位相空間の第1可算公理・第2可算公理
上限位相空間・下限位相空間の第1可算公理・第2可算公理
上限位相空間\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)と下限位相空間\(\left(\mathbb{R},\mathcal{O}_{l}\right)\)は次を満たす。
上限位相空間\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)と下限位相空間\(\left(\mathbb{R},\mathcal{O}_{l}\right)\)は次を満たす。
(1)
第1可算公理を満たす。(2)
第2可算公理を満たさない。上限位相空間のみ示す。
下限位相空間も同様である。
\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)が第2可算公理を満たすと仮定する。
そうすると、可算個の開基\(\mathcal{B}\)がとれる。
開集合\(A_{x}\subseteq\mathcal{B}\)を\(x\in A_{x}\subseteq\left(x-1,x\right]\)とする。
ここで\(\mathcal{A}:=\left\{ A_{x};x\in\mathbb{R}\setminus\mathbb{Q}\right\} \subseteq\mathcal{B}\)とおいて、無理数\(\mathbb{R}\setminus\mathbb{Q}\)と\(\mathcal{A}\)の濃度を比較する。
写像\(f:\mathbb{R}\setminus\mathbb{Q}\rightarrow\mathcal{A},x\mapsto A_{x}\)が単射でないと仮定する。
そうすると、ある\(a,b\in\mathbb{R}\setminus\mathbb{Q}\)が存在し\(\lnot\left(A_{a}=A_{b}\rightarrow a=b\right)\Leftrightarrow A_{a}=A_{b}\land a\ne b\)を満たす。
このとき、\(a<b\)としても一般性を失わなく、\(b\notin\left(a-1,a\right]=A_{a}\)となるが、\(b\in A_{b}=A_{a}\)なので矛盾。
従って仮定が間違いで写像\(f\)は単射となるので、\(\left|\mathbb{R}\setminus\mathbb{Q}\right|\leq\left|\mathcal{A}\right|\leq\)\(\left|\mathcal{B}\right|\)となるが無理数\(\mathbb{R}\setminus\mathbb{Q}\)の濃度は非可算なので、開基\(\mathcal{B}\)の濃度も非可算となり矛盾。
故に背理法より\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)は第2可算公理を満たさない。
下限位相空間も同様である。
(1)
任意の\(x\in\mathbb{R}\)に対し、\(\mathcal{B}_{x}=\left\{ \left(x-\frac{1}{n},x\right];n\in\mathbb{N}\right\} \)は基本近傍系となり\(\left|\mathcal{B}_{x}\right|\leq\aleph_{0}\)を満たすので第1可算公理を満たす。(2)
背理法により示す。\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)が第2可算公理を満たすと仮定する。
そうすると、可算個の開基\(\mathcal{B}\)がとれる。
開集合\(A_{x}\subseteq\mathcal{B}\)を\(x\in A_{x}\subseteq\left(x-1,x\right]\)とする。
ここで\(\mathcal{A}:=\left\{ A_{x};x\in\mathbb{R}\setminus\mathbb{Q}\right\} \subseteq\mathcal{B}\)とおいて、無理数\(\mathbb{R}\setminus\mathbb{Q}\)と\(\mathcal{A}\)の濃度を比較する。
写像\(f:\mathbb{R}\setminus\mathbb{Q}\rightarrow\mathcal{A},x\mapsto A_{x}\)が単射でないと仮定する。
そうすると、ある\(a,b\in\mathbb{R}\setminus\mathbb{Q}\)が存在し\(\lnot\left(A_{a}=A_{b}\rightarrow a=b\right)\Leftrightarrow A_{a}=A_{b}\land a\ne b\)を満たす。
このとき、\(a<b\)としても一般性を失わなく、\(b\notin\left(a-1,a\right]=A_{a}\)となるが、\(b\in A_{b}=A_{a}\)なので矛盾。
従って仮定が間違いで写像\(f\)は単射となるので、\(\left|\mathbb{R}\setminus\mathbb{Q}\right|\leq\left|\mathcal{A}\right|\leq\)\(\left|\mathcal{B}\right|\)となるが無理数\(\mathbb{R}\setminus\mathbb{Q}\)の濃度は非可算なので、開基\(\mathcal{B}\)の濃度も非可算となり矛盾。
故に背理法より\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)は第2可算公理を満たさない。
ページ情報
タイトル | 上限位相空間・下限位相空間の第1可算公理・第2可算公理 |
URL | https://www.nomuramath.com/khwgbc85/ |
SNSボタン |
上限位相空間・下限位相空間の分離公理(T1・T2・T3・T4・正則空間・正規空間)
上限位相と下限位相の定義
\[
\mathcal{B}_{u}=\left\{ \left(a,b\right];a,b\in\mathbb{R},a<b\right\}
\]
上限位相空間・下限位相空間は非連結
上限位相・下限位相での開集合と閉集合