カントールの区間縮小法

by nomura · 2024年4月7日

カントールの区間縮小法
閉区間$I_{n}=\left[a_{n},b_{n}\right],\left(n\in\mathbb{N}\right)$が$I_{n}\supseteq I_{n+1}$を満たし、$\lim_{n\rightarrow\infty}\left(b_{n}-a_{n}\right)=0$となるとき、$\bigcap_{n\in\mathbb{N}}I_{n}=\left\{ \alpha\right\} $となる$\alpha$が存在する。
ここで$\alpha=\lim_{n\rightarrow\infty}a_{n}=\lim_{n\rightarrow\infty}b_{n}$である。

$a_{n}$は有界で単調増加数列であるので$\lim_{n\rightarrow\infty}a_{n}=\alpha$となる$\alpha$が存在する。
同様に$b_{n}$は有界で単調減少数列であるので$\lim_{n\rightarrow\infty}b_{n}=\beta$となる$\beta$が存在する。
$\lim_{n\rightarrow\infty}\left(b_{n}-a_{n}\right)=\beta-\alpha=0$なので$\alpha=\beta$となる。
任意の$n$に対し$a_{n}\leq\alpha\leq b_{n}$となるので$\alpha\in I_{n}$となり、$\lim_{n\rightarrow\infty}I_{n}=\lim_{n\rightarrow\infty}\left[a_{n},b_{n}\right]=\alpha$となる。
これより、題意は成り立つ。

ページ情報

タイトル	カントールの区間縮小法
URL	https://www.nomuramath.com/tmv0mq6l/
SNSボタン

絶対収束する級数は収束する

\[ \sum_{k=1}^{\infty}\left|\alpha_{n}\right|<\infty\Rightarrow\sum_{k=1}^{\infty}\alpha_{n}\text{は収束する} \]

ワイエルシュトラスのM判定法(優級数判定法)

チェザロ平均と上限・下限・上極限・下極限の大小関係

\[ \limsup_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}a_{k}\leq\limsup_{n\rightarrow\infty}a_{n} \]

条件収束と絶対収束の定義

数列$\left\{ a_{n}\right\} $の各項$a_{n}$の絶対値をとった総和が$\sum_{k=1}^{\infty}\left|a_{n}\right|<\infty$となるとき、$\sum_{k=1}^{\infty}a_{n}$は絶対収束するという。