点列の収束と任意の部分列の収束
点列の収束と任意の部分列の収束
距離空間\(\left(X,d\right)\)が与えられているとき、点列\(\left(x_{n}\right)_{n\in\mathbb{N}}\)が\(a\in X\)に収束することと、\(\left(x_{n}\right)_{n\in\mathbb{N}}\)の任意の部分列が\(a\)に収束することは同値である。
距離空間\(\left(X,d\right)\)が与えられているとき、点列\(\left(x_{n}\right)_{n\in\mathbb{N}}\)が\(a\in X\)に収束することと、\(\left(x_{n}\right)_{n\in\mathbb{N}}\)の任意の部分列が\(a\)に収束することは同値である。
ある部分列が収束するだけでは\(\Leftarrow\)は成り立たない。
何故なら、\(\left(x_{n}=\left(-1\right)^{n}\right)_{n\in\mathbb{N}}\)とすると収束しないが、部分列を\(\left(x_{2n}=\left(-1\right)^{2n}=1\right)_{n\in\mathbb{N}}\)に収束するからである。
何故なら、\(\left(x_{n}=\left(-1\right)^{n}\right)_{n\in\mathbb{N}}\)とすると収束しないが、部分列を\(\left(x_{2n}=\left(-1\right)^{2n}=1\right)_{n\in\mathbb{N}}\)に収束するからである。
\(\Rightarrow\)
\(\left(x_{n}\right)_{n\in\mathbb{N}}\)が\(a\)に収束するので任意の\(\epsilon>0\)に対し、ある自然数\(N\in\mathbb{N}\)が存在し、\(N\leq n\rightarrow d\left(x_{n},a\right)<\epsilon\)となる。このとき、部分列\(\left(x_{\sigma\left(n\right)}\right)_{n\in\mathbb{N}}\)については、ある\(N_{1}\in\mathbb{N}\)が存在し\(N_{1}\leq n\rightarrow N\leq\sigma\left(n\right)\)を満たすので、\(N\leq\sigma\left(n\right)\rightarrow d\left(x_{\sigma\left(n\right)},a\right)<\epsilon\)となり\(a\)に収束する。
\(\Leftarrow\)
\(\left(x_{n}\right)_{n\in\mathbb{N}}\)の任意の部分列は\(\left(x_{\sigma\left(n\right)}\right)_{n\in\mathbb{N}}\)なので\(\sigma\left(n\right)=n\)ととれば元の点列になるので明らかに元の点列も\(a\)に収束する\(\Leftrightarrow\)
故に\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)となる。ページ情報
| タイトル | 点列の収束と任意の部分列の収束 |
| URL | https://www.nomuramath.com/lroj6ogu/ |
| SNSボタン |
距離関数は連続関数
距離空間$\left(X,d\right)$の距離関数$d:X\times X\rightarrow\mathbb{R}$は直積距離空間$\left(X\times X,d'\right)$上の連続関数である。
距離空間での空集合・全体集合・1点集合
距離空間$\left(X,d\right)$で空集合$\emptyset$と全体集合$X$はどちらも開集合かつ閉集合となる。
距離空間での集積点と閉包の点列による別定義
\[
x\in A^{d}\leftrightarrow\exists\left(x_{n}\right)_{n=1}^{\infty}\subseteq A\setminus\left\{ x\right\} ,\lim_{n\rightarrow\infty}x_{n}=x
\]
離散距離は距離空間
\[
d_{\delta}\left(\boldsymbol{x},\boldsymbol{y}\right)=\begin{cases}
0 & \boldsymbol{x}=\boldsymbol{y}\\
1 & \boldsymbol{x}\ne\boldsymbol{y}
\end{cases}
\]