- 数列の上極限(limsup)・下極限(liminf)について.
級数の収束半径などで現れます.
$\epsilon$-$N$論法の良い練習になります.$\inf, \sup$の性質(定義)さえわかっていれば,必要に応じて導けると思います.
コンパクトな内容にしようと思っていましたが,少しずつ書き足した結果,長くなってしまいました(未完).
【関連記事】
- [A] 「集合」の上極限・下極限・極限 - Notes_JP:なるべく集合の場合との対応がつくように書きました.見比べてみてください.
- [B] 【正項級数】収束判定法と例 - Notes_JP:上極限が現れます.
定義
記法
本記事では,実数$\mathbb{R}$に$\pm\infty$を付け加えた集合を\overline{\mathbb{R}}
\coloneqq \mathbb{R}\cup\{-\infty, +\infty\}
\end{aligned}
また,
\begin{cases}
\, \displaystyle
\sup_{k \geq n} a_{k} \coloneqq \sup \{a_{k} \mid k \geq n\} \\
\, \displaystyle
\inf_{k \geq n} a_{k} \coloneqq \inf \{a_{k} \mid k \geq n\}
\end{cases}
\end{aligned}
上極限・下極限
$\overline{\mathbb{R}}$の数列$\{a_{n}\}_{n}$に対し,上極限と下極限を,それぞれ数列$\{ \sup_{k \geq n} a_{k} \}_{n}$,$\{\inf_{k \geq n} a_{k} \}_{n}$の極限として定義する.\underset{n\to\infty}{\overline{\lim}} a_{n}
\coloneqq \lim_{n \to \infty} \sup_{k \geq n} a_{k}
\end{aligned}
\underset{n\to\infty}{\underline{\lim}} a_{n}
\coloneqq \lim_{n \to \infty} \inf_{k \geq n} a_{k}
\end{aligned}
さて,以上の定義がwell-definedであることを確かめる必要がある.つまり,数列$\{ \sup_{k \geq n} a_{k} \}_{n}$,$\{\inf_{k \geq n} a_{k} \}_{n}$の極限が存在することを確かめなくてはならない.
極限が存在すること
数列$\{ \sup_{k \geq n} a_{k} \}_{n}$は単調減少列,$\{\inf_{k \geq n} a_{k} \}_{n}$は単調増加列である.したがって,以下を示せば,上極限・下極限の定義はwell-definedとなる.- $\{a_{n}\}_{n}$が単調減少列なら,極限が存在し,$\displaystyle \lim_{n\to\infty} a_{n} = \inf \{a_{n}\mid n\in\mathbb{N}\}$.
- $\{a_{n}\}_{n}$が単調増加列なら,極限が存在し,$\displaystyle \lim_{n\to\infty} a_{n} = \sup \{a_{n}\mid n\in\mathbb{N}\}$.
1.) $a = \inf \{a_{n}\mid n\in\mathbb{N}\}$とすると,$\inf$の定義から,任意の$\epsilon > 0$に対して$a \leq a_{n_{0}} < a + \epsilon$を満たす$n_{0} \in \mathbb{N}$が存在する.したがって,$n\in\mathbb{N}$に対し$n\geq n_{0} \Rightarrow$$a \leq a_{n} < a + \epsilon \Rightarrow $$| a_{n} - a| < \epsilon$を満たす.以上より,$\displaystyle \lim_{n\to\infty} a_{n} = a = \inf \{a_{n}\mid n\in\mathbb{N}\}$が示された(※ ハイライト部分が極限の定義になっている).//
2.) 1. と同様.
または,$\{ - a_{n}\}_{n}$が単調減少列になるから,1. の結果より
\lim_{n\to\infty} (-a_{n})
&= \inf \{ - a_{n}\mid n\in\mathbb{N}\} \\
&= -\sup \{ a_{n}\mid n\in\mathbb{N}\}
\end{aligned}
上極限と下極限の関係
大小関係(不等式)
集合の場合の「包含関係」に対応する関係です.\underset{n\to\infty}{\underline{\lim}} a_{n}
\leq \underset{n\to\infty}{\overline{\lim}} a_{n}
\end{aligned}
数列$\{ \sup_{k \geq n} a_{k} \}_{n}$,$\{\inf_{k \geq n} a_{k} \}_{n}$の極限が存在し,任意の$n\in \mathbb{N}$に対して
\inf_{k \geq n} a_{k}
\leq \sup_{k \geq n} a_{k}
\end{aligned}
(-1)倍
集合の場合の「補集合」に対応する関係です.& \underset{n\to\infty}{\overline{\lim}} ( - a_{n})
= - \underset{n\to\infty}{\underline{\lim}} a_{n} \\
& \underset{n\to\infty}{\underline{\lim}} ( - a_{n})
= - \underset{n\to\infty}{\overline{\lim}} a_{n}
\end{aligned}
第2式は,第1式で$a_{n}$を$-a_{n}$で置き換えたものである.したがって,第1式を示せば良い.
第1式は,
\sup_{k \geq n} (- a_{k})
= - \inf_{k \geq n} a_{k}
\end{aligned}
- 任意の$l \geq n$に対して$\displaystyle \inf_{k \geq n} a_{k} \leq a_{l}$
- 任意の$\displaystyle y > \inf_{k \geq n} a_{k}$に対して$l \geq n$が存在し,$y > a_{l}$
- 任意の$l \geq n$に対して$\displaystyle - \inf_{k \geq n} a_{k} \geq - a_{l}$
- 任意の$\displaystyle y < - \inf_{k \geq n} a_{k}$に対して$l \geq n$が存在し,$y < - a_{l}$
定数倍
- $c > 0$に対し
- $\underset{n\to\infty}{\overline{\lim}} ( c a_{n}) = c \underset{n\to\infty}{\overline{\lim}} a_{n}$
- $\underset{n\to\infty}{\underline{\lim}} ( c a_{n}) = c \underset{n\to\infty}{\underline{\lim}} a_{n}$
- $c < 0$に対し
- $\underset{n\to\infty}{\overline{\lim}} ( c a_{n}) = c \underset{n\to\infty}{\underline{\lim}} a_{n}$
- $\underset{n\to\infty}{\underline{\lim}} ( c a_{n}) = c \underset{n\to\infty}{\overline{\lim}} a_{n}$
1. が示せれば,2. は$c = - (-c)$と考えて「1. の結果」と「(-1)倍」の性質から示される.
1. は$c > 0$に対し次が成り立つことからわかる.
& c \cdot \sup_{k\geq n} a_{k} = \sup_{k\geq n} (c a_{k}) \\
& c \cdot \inf_{k\geq n} a_{k} = \inf_{k\geq n} (c a_{k})
\end{aligned}
第1式のみ示す(第2式も同様に示せる).
任意の$n \in \mathbb{N}$と$l \geq n$に対し
c a_{l} \leq c \cdot \sup_{k\geq n} a_{k}
\end{aligned}
& x / c < a_{l}\\
&\Leftrightarrow x < c a_{l}
\end{aligned}
c \cdot \sup_{k\geq n} a_{k} = \sup_{k\geq n} (c a_{k})
\end{aligned}
性質
極限
「上極限」「下極限」という以上,2者が一致する場合には「①極限が存在し」,「②上極限(=下極限)に一致している」ことが成り立ってほしいです.これが成り立つことが示せます.- 数列$\{a_{n}\}_{n}$の極限が存在する $\Leftrightarrow \underset{n\to\infty}{\underline{\lim}} a_{n} = \underset{n\to\infty}{\overline{\lim}} a_{n}$.
- $\displaystyle \underset{n\to\infty}{\underline{\lim}} a_{n} = \underset{n\to\infty}{\overline{\lim}} a_{n} = a \Rightarrow \lim_{n\to\infty} a_{n} = a$.
1.)
($\Rightarrow$) $\displaystyle \lim_{n\to\infty} a_{n} = a$とする.極限の定義から,任意の$\epsilon > 0$に対し,$n_{0}\in\mathbb{N}$が存在し,$n\in\mathbb{N}$に対し$n\geq n_{0} \Rightarrow$$|a_{n} - a| < \epsilon / 2$を満たす.
ここで,
& |a_{n} - a| < \epsilon / 2 \\
& \Leftrightarrow a - \epsilon / 2 < a_{n} < a + \epsilon / 2 \\
&\Rightarrow a - \epsilon / 2 < \sup_{k\geq n} a_{k} \leq a + \epsilon / 2 \\
&\Rightarrow |\sup_{k\geq n} a_{k} - a| \leq \epsilon / 2 < \epsilon
\end{aligned}
数列$\{a_{n}\}_{n}$の極限が存在するとき,数列$\{-a_{n}\}_{n}$の極限も存在し,$\displaystyle \lim_{n\to\infty} ( - a_{n}) = - \lim_{n\to\infty} a_{n}$である.したがって,もう一つの等式も
\underset{n\to\infty}{\underline{\lim}} a_{n}
&= - \underset{n\to\infty}{\overline{\lim}} ( - a_{n}) \\
&= - \lim_{n\to\infty} ( - a_{n}) \\
&= \lim_{n\to\infty} a_{n}
\end{aligned}
($\Leftarrow$)
\inf_{k\geq n} a_{k}
\leq a_{n}
\leq \sup_{k\geq n} a_{k}
\end{aligned}
\lim_{n\to\infty} a_{n}
=\underset{n\to\infty}{\underline{\lim}} a_{n}
= \underset{n\to\infty}{\overline{\lim}} a_{n}
\end{aligned}
2.) 1. の($\Leftarrow$) の証明中で示された.//
不等式
和
- $\underset{n\to\infty}{\overline{\lim}} (a_{n} + b_{n}) \leq \underset{n\to\infty}{\overline{\lim}} a_{n} + \underset{n\to\infty}{\overline{\lim}} b_{n}$
- $\underset{n\to\infty}{\underline{\lim}} (a_{n} + b_{n}) \geq \underset{n\to\infty}{\underline{\lim}} a_{n} + \underset{n\to\infty}{\underline{\lim}} b_{n}$
1.) 以下が示せれば,「$\displaystyle \underset{n\to\infty}{\underline{\lim}} a_{n} \leq \underset{n\to\infty}{\overline{\lim}} a_{n}$」の証明と同様の方法で示される.
\sup_{k \geq n} (a_{k} + b_{k})
\leq \sup_{k \geq n} a_{k} + \sup_{k \geq n} b_{k}
\end{aligned}
任意の$n\in\mathbb{N}$と$l \geq n$に対し,$a_{l} \leq \sup_{k \geq n} a_{k}$,$b_{l} \leq \sup_{k \geq n} b_{k}$なので
a_{l} + b_{l}
\leq \sup_{k \geq n} a_{k} + \sup_{k \geq n} b_{k}
\end{aligned}
& \sup_{k \geq n} (a_{k} + b_{k}) \\
&= \sup_{l \geq n} (a_{l} + b_{l}) \\
&\leq \sup_{k \geq n} a_{k} + \sup_{k \geq n} b_{k}
\end{aligned}
2.) 1. と同様に
\inf_{k \geq n} a_{k} + \inf_{k \geq n} b_{k}
\leq \inf_{k \geq n} (a_{k} + b_{k})
\end{aligned}
あるいは,$a_{n}, b_{n}$をそれぞれ$-a_{n}, -b_{n}$に置き換えれば,1. と上で求めた関係式「$\displaystyle \underset{n\to\infty}{\overline{\lim}} ( - a_{n}) = - \underset{n\to\infty}{\underline{\lim}} a_{n} $」から示される.//
積
- $\underset{n\to\infty}{\overline{\lim}} (a_{n} b_{n}) \leq \underset{n\to\infty}{\overline{\lim}} a_{n} \cdot \underset{n\to\infty}{\overline{\lim}} b_{n}$
- $\underset{n\to\infty}{\underline{\lim}} (a_{n} b_{n}) \geq \underset{n\to\infty}{\underline{\lim}} a_{n} \cdot \underset{n\to\infty}{\underline{\lim}} b_{n}$
1. 任意の$n\in\mathbb{N}$と$l \geq n$に対し,$0 \leq a_{l} \leq \sup_{k \geq n} a_{k}$,$0 \leq b_{l} \leq \sup_{k \geq n} b_{k}$なので
a_{l} \cdot b_{l}
\leq \sup_{k \geq n} a_{k} \cdot \sup_{k \geq n} b_{k}
\end{aligned}
\sup_{k \geq n} (a_{k} \cdot b_{k})
&\leq \sup_{k \geq n} a_{k} \cdot \sup_{k \geq n} b_{k}
\end{aligned}
2. 任意の$n\in\mathbb{N}$と$l \geq n$に対し,$0 \leq \inf_{k \geq n} a_{k} \leq a_{l}$,$0 \leq \inf_{k \geq n} b_{k} \leq b_{l}$なので
\inf_{k \geq n} a_{k} \cdot \inf_{k \geq n} b_{k}
\leq a_{l} \cdot b_{l}
\end{aligned}
\inf_{k \geq n} a_{k} \cdot \inf_{k \geq n} b_{k}
\leq \inf_{k \geq n} (a_{k} \cdot b_{k})
\end{aligned}
商
\underset{n\to\infty}{\underline{\lim}} \frac{a_{n+1}}{a_{n}}
\leq \underset{n\to\infty}{\underline{\lim}} \sqrt[n]{a_{n}}
\leq \underset{n\to\infty}{\overline{\lim}} \sqrt[n]{a_{n}}
\leq \underset{n\to\infty}{\overline{\lim}} \frac{a_{n+1}}{a_{n}}
\end{aligned}
参考文献
- [1] 微分積分学 (笠原 晧司):4.7 整級数
- [2] 解析入門1 (杉浦 光夫):第V章 級数