距離空間での有界列の定義
距離空間での有界列の定義
距離空間\(\left(X,d\right)\)で点列\(\left(x_{n}\right)_{n\in\mathbb{N}}\)が与えられたとき、ある\(M>0\)とある\(a\in X\)があり、任意の\(n\in\mathbb{N}\)で\(d\left(x_{n},a\right)\leq M\)が成り立つとき、\(\left(x_{n}\right)_{n\in\mathbb{N}}\)は有界列という。
すなわち、部分集合\(\left\{ x_{n};n\in\mathbb{N}\right\} \)が有界なことである。
距離空間\(\left(X,d\right)\)で点列\(\left(x_{n}\right)_{n\in\mathbb{N}}\)が与えられたとき、ある\(M>0\)とある\(a\in X\)があり、任意の\(n\in\mathbb{N}\)で\(d\left(x_{n},a\right)\leq M\)が成り立つとき、\(\left(x_{n}\right)_{n\in\mathbb{N}}\)は有界列という。
すなわち、部分集合\(\left\{ x_{n};n\in\mathbb{N}\right\} \)が有界なことである。
通常距離で考える。
点列\(\left(\left(-1\right)^{n}\right)_{n\in\mathbb{N}}\)は任意の\(n\in\mathbb{N}\)で\(d\left(\left(-1\right)^{n},0\right)\leq1\)となるので有界列である。
点列\(\left(n\right)_{n\in\mathbb{N}}\)は任意の\(M>0\)、任意の\(a\in\mathbb{R}\)に対し、\(n=M+a+1\)ととれば\(d\left(n,a\right)>M\)となるので有界列ではない。
点列\(\left(\left(-1\right)^{n}\right)_{n\in\mathbb{N}}\)は任意の\(n\in\mathbb{N}\)で\(d\left(\left(-1\right)^{n},0\right)\leq1\)となるので有界列である。
点列\(\left(n\right)_{n\in\mathbb{N}}\)は任意の\(M>0\)、任意の\(a\in\mathbb{R}\)に対し、\(n=M+a+1\)ととれば\(d\left(n,a\right)>M\)となるので有界列ではない。
ページ情報
| タイトル | 距離空間での有界列の定義 |
| URL | https://www.nomuramath.com/qqq2acf4/ |
| SNSボタン |
完備距離空間の部分集合は完備とは限らない
完備距離空間$\left(X,d_{X}\right)$の部分集合$A\subseteq X$は完備とは限らない。
pノルム(一般化ユークリッド空間距離)は距離空間
\[
d_{m}\left(\boldsymbol{x},\boldsymbol{y}\right)=\left(\sum_{k=1}^{n}\left|x_{k}-y_{k}\right|^{m}\right)^{\frac{1}{m}}=\left\Vert \boldsymbol{x}-\boldsymbol{y}\right\Vert _{m}
\]
開球同士が交わるときの包含関係
\[
B\left(x_{1},r_{1}\right)\cap B\left(x_{2},r_{2}\right)\ne\emptyset\land r_{2}\leq r_{1}\Rightarrow B\left(x_{2},r_{2}\right)\subseteq B\left(x_{1},3r_{1}\right)
\]
距離関数は連続関数
距離空間$\left(X,d\right)$の距離関数$d:X\times X\rightarrow\mathbb{R}$は直積距離空間$\left(X\times X,d'\right)$上の連続関数である。