無限正項級数は順序変更出来る
無限正項級数は順序変更出来る
数列\(\left(a_{k}\right)\)の各項が\(a_{k}\geq0\)を満たし、自然数の間の全単射を\(\sigma:\mathbb{N}\rightarrow\mathbb{N}\)とすると、
\[ \sum_{k=1}^{\infty}a_{k}=\sum_{k=1}^{\infty}a_{\sigma\left(k\right)} \] となる。
すなわち無限正項級数は順序変更できる。
数列\(\left(a_{k}\right)\)の各項が\(a_{k}\geq0\)を満たし、自然数の間の全単射を\(\sigma:\mathbb{N}\rightarrow\mathbb{N}\)とすると、
\[ \sum_{k=1}^{\infty}a_{k}=\sum_{k=1}^{\infty}a_{\sigma\left(k\right)} \] となる。
すなわち無限正項級数は順序変更できる。
任意の自然数\(n\)に対し、
\[ N_{n}=\max_{1\leq k\leq n}\sigma\left(k\right) \] とすると、
\[ \sum_{k=1}^{n}a_{\sigma\left(k\right)}\leq\sum_{k=1}^{N_{n}}a_{k} \] となり、\(n\rightarrow\infty\)とすると、
\[ \sum_{k=1}^{\infty}a_{\sigma\left(k\right)}\leq\sum_{k=1}^{\infty}a_{k} \] となる。
\(\sigma\left(k\right)\)は\(\sigma\)の逆写像によって\(k\)になるので、
\begin{align*} \sum_{k=1}^{\infty}a_{k} & =\sum_{k=1}^{\infty}a_{\sigma^{\bullet}\left(\sigma\left(k\right)\right)}\\ & \leq\sum_{k=1}^{\infty}a_{\sigma\left(k\right)} \end{align*} も成り立つ。
これより、
\[ \sum_{k=1}^{\infty}a_{k}=\sum_{k=1}^{\infty}a_{\sigma\left(k\right)} \] が成り立つので無限正項級数は順序変更出来る。
\[ N_{n}=\max_{1\leq k\leq n}\sigma\left(k\right) \] とすると、
\[ \sum_{k=1}^{n}a_{\sigma\left(k\right)}\leq\sum_{k=1}^{N_{n}}a_{k} \] となり、\(n\rightarrow\infty\)とすると、
\[ \sum_{k=1}^{\infty}a_{\sigma\left(k\right)}\leq\sum_{k=1}^{\infty}a_{k} \] となる。
\(\sigma\left(k\right)\)は\(\sigma\)の逆写像によって\(k\)になるので、
\begin{align*} \sum_{k=1}^{\infty}a_{k} & =\sum_{k=1}^{\infty}a_{\sigma^{\bullet}\left(\sigma\left(k\right)\right)}\\ & \leq\sum_{k=1}^{\infty}a_{\sigma\left(k\right)} \end{align*} も成り立つ。
これより、
\[ \sum_{k=1}^{\infty}a_{k}=\sum_{k=1}^{\infty}a_{\sigma\left(k\right)} \] が成り立つので無限正項級数は順序変更出来る。
ページ情報
タイトル | 無限正項級数は順序変更出来る |
URL | https://www.nomuramath.com/qy2u1wn7/ |
SNSボタン |
絶対収束するならば順序変更可能
\[
\sum_{k=1}^{\infty}\left|\alpha_{k}\right|<\infty\Rightarrow\sum_{k=1}^{\infty}\alpha_{k}=\sum_{k=1}^{\infty}\alpha_{\sigma\left(k\right)}
\]
上極限・下極限は存在
カントールの区間縮小法
一様コーシー列の定義
\[
\forall\epsilon>0,\exists N\in\mathbb{N},\forall x\in I;\left(N\leq m,n\right)\rightarrow d\left(f_{m}\left(x\right),f_{n}\left(x\right)\right)<\epsilon
\]