濃度2以上の密着位相は距離化不可能
濃度2以上の密着位相は距離化不可能
\(2\leq\left|X\right|\)となる密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)は距離化不可能である。
\(2\leq\left|X\right|\)となる密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)は距離化不可能である。
\(\left|X\right|<2\)のときは離散位相となるので距離化可能である。
(0)
\(2\leq\left|X\right|\)となる密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)の任意の元を含む開集合は\(X\)のみである。これより密着位相はハウスドルフ空間でないので距離空間とはならない。
すなわち距離化不可能である。
(0)-2
\(2\leq\left|X\right|\)となる密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)は距離化可能であると仮定する。任意の\(\epsilon>0\)に対し元\(x\in X\)の開近傍\(U_{\epsilon}\left(x\right)\)は\(\emptyset\lor X\)となるが\(x\)を含むため\(\emptyset\)ではないので\(X\)となり\(U_{\epsilon}\left(x\right)=X\)となる。
\(x\)と異なる任意の\(y\in X\)を選ぶと、\(y\in U_{\epsilon}\left(x\right)\)なので\(0<d\left(x,y\right)<\epsilon\)となるが\(\epsilon\)は任意の正の実数なのでいくらでも小さく出来て\(d\left(x,y\right)=0\)となり矛盾。
故に背理法より\(2\leq\left|X\right|\)となる密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)は距離化不可能である。
ページ情報
| タイトル | 濃度2以上の密着位相は距離化不可能 |
| URL | https://www.nomuramath.com/pcqx5wzb/ |
| SNSボタン |
距離空間での収束の定義と開集合による別定義
\[
\exists a\in X,\forall\epsilon>0,\exists N\in\mathbb{N},N<n\rightarrow d\left(a_{n},a\right)<\epsilon
\]
部分距離空間・直積距離空間の定義
\[
d\left(P,Q\right)^{2}:=\sum_{k=1}^{n}d_{k}\left(p_{k},q_{k}\right)^{2}
\]
パリ距離は距離空間
\[
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}
\]
距離空間の有界・直径と全有界の定義
\[
\diam\left(A\right):=\sup\left\{ d\left(a,b\right);a,b\in A\right\}
\]