集合が同じで位相が異なる空間
集合が同じで位相が異なる空間
同じ集合で位相が異なる位相空間\(\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ボタン |
パリ距離は距離空間
\[
d\left(\boldsymbol{x},\boldsymbol{y}\right)=\begin{cases}
\left|\boldsymbol{x}-\boldsymbol{y}\right| & \exists c\in\mathbb{R},\boldsymbol{y}=c\boldsymbol{x}\\
\left|\boldsymbol{x}\right|+\left|\boldsymbol{y}\right| & other
\end{cases}
\]
3角関数と3角関数の対数の積分
\[
\int\sin\left(z\right)\log\left(\sin z\right)dz=-\cos z\log\sin z+\cos z+\log\left(\sin\frac{z}{2}\right)-\log\left(\cos\frac{z}{2}\right)+C
\]
フィボナッチ数列の組み合せ論的解釈
$n$段の階段を1段または2段ずつ登るときの登り方は$F_{n+1}$通り。
(*)ベルヌーイ多項式の総和
\[
\sum_{j=0}^{n}C\left(n,j\right)B_{j}\left(x\right)=\left(-1\right)^{n}B_{n}\left(-x\right)
\]

