ε近傍(開球)の定義
ε近傍(開球)の定義
距離空間\(\left(X,d\right)\)があるとき、\(X\)の元\(a\in X\)と正の実数\(\epsilon>0\)を用いて、\(a\)からの距離が\(\epsilon\)より小さい元全体を\(a\)の\(\epsilon\)近傍や中心\(a\)半径\(\epsilon\)の開球(open
ball)といい、\(U_{\epsilon}\left(a\right)\)や\(U\left(a,\epsilon\right)\)で表したり\(B_{\epsilon}\left(x\right)\)や\(B\left(a,\epsilon\right)\)で表す。
すなわち、
\[ U\left(a,\epsilon\right)=\left\{ x\in X;d\left(a,x\right)<\epsilon\right\} \] である。
距離空間\(\left(X,d\right)\)があるとき、\(X\)の元\(a\in X\)と正の実数\(\epsilon>0\)を用いて、\(a\)からの距離が\(\epsilon\)より小さい元全体を\(a\)の\(\epsilon\)近傍や中心\(a\)半径\(\epsilon\)の開球(open
ball)といい、\(U_{\epsilon}\left(a\right)\)や\(U\left(a,\epsilon\right)\)で表したり\(B_{\epsilon}\left(x\right)\)や\(B\left(a,\epsilon\right)\)で表す。
すなわち、
\[ U\left(a,\epsilon\right)=\left\{ x\in X;d\left(a,x\right)<\epsilon\right\} \] である。
実数全体の集合\(\mathbb{R}\)に通常距離\(d\)を入れた距離空間\(\left(\mathbb{R},d\right)\)で\(a\in\mathbb{R},\epsilon>0\)とすると\(\epsilon\)近傍\(U\left(a,\epsilon\right)\)は開集合\(\left(a-\epsilon,a+\epsilon\right)\)となる。
ページ情報
| タイトル | ε近傍(開球)の定義 |
| URL | https://www.nomuramath.com/aynu4zz7/ |
| SNSボタン |
離散位相は距離化可能
離散位相$\left(X,2^{X}\right)$は離散距離空間$\left(X,d\right)$で距離化可能である。
距離空間での空集合・全体集合・1点集合
距離空間$\left(X,d\right)$で空集合$\emptyset$と全体集合$X$はどちらも開集合かつ閉集合となる。
距離空間の有界・直径と全有界の定義
\[
\diam\left(A\right):=\sup\left\{ d\left(a,b\right);a,b\in A\right\}
\]
距離空間での有界列の定義
\[
d\left(x_{n},a\right)\leq M
\]