離散位相は距離化可能
離散位相は距離化可能
離散位相\(\left(X,2^{X}\right)\)は離散距離空間\(\left(X,d\right)\)で距離化可能である。
離散位相\(\left(X,2^{X}\right)\)は離散距離空間\(\left(X,d\right)\)で距離化可能である。
任意の\(x\in X\)に対し\(U_{1/2}\left(x\right)=\left\{ x\right\} \)となるので\(\left\{ x\right\} \)は開集合となる。
任意の部分集合\(A\subseteq X\)をとると、\(A=\bigcup_{x\in A}\left\{ x\right\} \)となるので\(A\)は開集合となる。
これより、離散距離空間\(\left(X,d\right)\)の開集合\(\mathcal{O}_{d}\)は\(\mathcal{O}_{d}=2^{x}\)となるので題意は成り立つ。
任意の部分集合\(A\subseteq X\)をとると、\(A=\bigcup_{x\in A}\left\{ x\right\} \)となるので\(A\)は開集合となる。
これより、離散距離空間\(\left(X,d\right)\)の開集合\(\mathcal{O}_{d}\)は\(\mathcal{O}_{d}=2^{x}\)となるので題意は成り立つ。
ページ情報
タイトル | 離散位相は距離化可能 |
URL | https://www.nomuramath.com/s4i1c176/ |
SNSボタン |
一様連続であれば各点連続
一様連続であれば各点連続である。
完備距離空間の像は完備部分集合とは限らない
完備距離空間の像は完備部分集合とは限らない
距離空間での開集合全体の集合
\[
\forall\mathcal{P}\subseteq\mathcal{O},\bigcup_{P\in\mathcal{P}}P\in\mathcal{O}
\]
距離空間での集積点と閉包の点列による別定義
\[
x\in A^{d}\leftrightarrow\exists\left(x_{n}\right)_{n=1}^{\infty}\subseteq A\setminus\left\{ x\right\} ,\lim_{n\rightarrow\infty}x_{n}=x
\]