ε近傍(開球)の定義
ε近傍(開球)の定義
距離空間\(\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ボタン |
距離空間での内点(内部)・外点(外部)・境界(境界点)・触点(閉包)・集積点(導集合)・孤立点の定義
\[
\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A
\]
パリ距離は距離空間
\[
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}
\]
離散位相は距離化可能
離散位相$\left(X,2^{X}\right)$は離散距離空間$\left(X,d\right)$で距離化可能である。
コーシー列と部分列の収束
コーシー列と部分列の収束