無限正項級数は順序変更出来る
無限正項級数は順序変更出来る
数列\(\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ボタン |
級数が収束するならチェザロ平均の極限は存在
\[
\exists a\in\left[-\infty,\infty\right],\lim_{n\rightarrow\infty}a_{n}=a\rightarrow\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}a_{k}=a
\]
ボルツァーノ・ワイエルシュトラスの定理
有界実数列は収束する部分列を持つ。
実数全体の集合のデデキント切断と最大元・最小元
上限と下限・最大元と最小元・上極限と下極限との関係
\[
\inf_{n\in\mathbb{N}}\left(-a_{n}\right)=-\sup_{n\in\mathbb{N}}\left(a_{n}\right)
\]