集合が同じで位相が異なる空間
集合が同じで位相が異なる空間
同じ集合で位相が異なる位相空間\(\left(X,\mathcal{O}_{1}\right),\left(X,\mathcal{O}_{2}\right)\)がある。
同じ集合で位相が異なる位相空間\(\left(X,\mathcal{O}_{1}\right),\left(X,\mathcal{O}_{2}\right)\)がある。
(1)
\(\mathcal{O}_{1}\cap\mathcal{O}_{2}\)は位相、すなわち\(\left(X,\mathcal{O}_{1}\cap\mathcal{O}_{2}\right)\)は位相空間となる。(2)
\(\mathcal{O}_{1}\cup\mathcal{O}_{2}\)は一般的に位相とならない。(1)
\(\mathcal{O}_{1}\)にも\(\mathcal{O}_{2}\)にも空集合\(\emptyset\)と全体集合\(X\)が含まれているので、\(\emptyset,X\in\)\(\mathcal{O}_{1}\cap\mathcal{O}_{2}\)となる。\(O_{1},O_{2}\in\)\(\mathcal{O}_{1}\cap\mathcal{O}_{2}\)とすると、\(O_{1},O_{2}\in\)\(\mathcal{O}_{1}\)なので\(O_{1}\cap O_{2}\in\)\(\mathcal{O}_{1}\)となり、同様に\(O_{1}\cap O_{2}\in\)\(\mathcal{O}_{2}\)となるので\(O_{1}\cap O_{2}\in\)\(\mathcal{O}_{1}\cap\mathcal{O}_{2}\)となる。
\(\mathcal{O}\subseteq\mathcal{O}_{1}\cap\mathcal{O}_{2}\)とすると、\(\mathcal{O}\subseteq\mathcal{O}_{1}\)なので\(\bigcup\mathcal{O}\subseteq\mathcal{O}_{1}\)となり、同様に\(\bigcup\mathcal{O}\subseteq\mathcal{O}_{2}\)となり、\(\bigcup\mathcal{O}\in\)\(\mathcal{O}_{1}\cap\mathcal{O}_{2}\)となる。
これらより、位相であるための条件を満たしているので\(\mathcal{O}_{1}\cap\mathcal{O}_{2}\)は位相となる。
(2)
反例で示す。2つの位相空間を\(\left(\left\{ a,b,c\right\} ,\left\{ \emptyset,\left\{ a,b\right\} ,\left\{ a,b,c\right\} \right\} \right),\left(\left\{ a,b,c\right\} ,\left\{ \emptyset,\left\{ b,c\right\} ,\left\{ a,b,c\right\} \right\} \right)\)とすると、\(\left\{ \emptyset,\left\{ a,b\right\} ,\left\{ a,b,c\right\} \right\} \cup\left\{ \emptyset,\left\{ b,c\right\} ,\left\{ a,b,c\right\} \right\} =\left\{ \emptyset,\left\{ a,b\right\} ,\left\{ b,c\right\} ,\left\{ a,b,c\right\} \right\} \)となるが、\(\left\{ a,b\right\} \cap\left\{ b,c\right\} =\left\{ b\right\} \)が位相に入っていない。
故に\(\mathcal{O}_{1}\cup\mathcal{O}_{2}\)は一般的に位相とならない。
ページ情報
| タイトル | 集合が同じで位相が異なる空間 |
| URL | https://www.nomuramath.com/ybq15255/ |
| SNSボタン |
展開はしないほうがいいです
\[
\left(x+y\right)^{2}\left(xy-1\right)+1\text{を因数分解}
\]
重心・垂心・外心の関係
\[
\boldsymbol{H}+2\boldsymbol{J}=3\boldsymbol{G}
\]
エジプト式分数表示
任意の正の真分数はエジプト式分数で表せる。
超幾何微分方程式(ガウスの微分方程式)の解
\[
x\left(1-x\right)y''\left(x\right)+\left(c-\left(a+b+1\right)x\right)y'\left(x\right)-aby\left(x\right)=0
\]

