距離空間でのε-近傍・開集合・閉集合・開集合全体の集合・開集合族の定義
距離空間での\(\epsilon\)-近傍・開集合・開集合族・閉集合の定義
距離空間\(\left(X,d\right)\)が与えられているとする。
距離空間\(\left(X,d\right)\)が与えられているとする。
(1)\(\epsilon\)-近傍
\(a\in X,\epsilon>0\)に対して、\(U_{\epsilon}\left(a\right)=\left\{ x\in X;d\left(x,a\right)<\epsilon\right\} \)を\(\epsilon\)-近傍という。(2)開集合
\(\exists O\subseteq X,\forall a\in O,\exists\epsilon>0,U_{\epsilon}\left(a\right)\subseteq O\)が成り立つとき、\(O\)を開集合という。(3)閉集合
部分集合\(A\subseteq X\)の補集合\(A^{c}\)が開集合となるとき\(A\)は閉集合であるという。(4)開集合全体の集合
全ての開集合\(\lambda\in\Lambda,O_{\lambda}\)を要素に持つ族\(\mathcal{O}=\left\{ O_{\lambda}\right\} _{\lambda\in\Lambda}\)を\(\left(X,d\right)\)の開集合全体の集合\(\mathcal{O}\)という。(5)開集合族
任意の開集合\(\lambda\in\Lambda,O_{\lambda}\)を要素に持つ族\(\mathcal{U}=\left\{ O_{\lambda}\right\} _{\lambda\in\Lambda}\)を\(\left(X,d\right)\)の開集合族\(\mathcal{U}\)という。ページ情報
タイトル | 距離空間でのε-近傍・開集合・閉集合・開集合全体の集合・開集合族の定義 |
URL | https://www.nomuramath.com/yisj48n4/ |
SNSボタン |
点列の収束と任意の部分列の収束
点列の収束と任意の部分列の収束
距離空間での収束の定義と開集合による別定義
\[
\exists a\in X,\forall\epsilon>0,\exists N\in\mathbb{N},N<n\rightarrow d\left(a_{n},a\right)<\epsilon
\]
単射により誘導された距離空間
\[
d_{f}\left(a,b\right)=d\left(f\left(a\right),f\left(b\right)\right)
\]
有限集合で距離化可能なのは離散位相のみ
有限位相空間では距離化可能と離散位相は同値である。