上極限と下極限
数学において、数列 (an)n∈N の上極限(じょうきょくげん、limit superior)および下極限(かきょくげん、limit inferior)とは、nを無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に(ある意味で)なりうる値を上と下からおさえるために使われる。
数列 (an) の上極限を表す記号には
- [math]\varlimsup_{n\to\infty} a_n,\quad \limsup_{n\to\infty} a_n[/math]
の二種類がある。同様に下極限は
- [math]\varliminf_{n\to\infty} a_n,\quad \liminf_{n\to\infty} a_n[/math]
と書く。
Contents
定義
数列 (an) の上極限は [math]\varlimsup_{n\to\infty}a_n:=\lim_{n\to\infty}\left(\sup_{k\geq n}a_k\right)[/math] または [math]\varlimsup_{n\to\infty}a_n:=\inf_{n\in\mathbb{N}}\sup_{k\geq n} a_k=\inf\{\,\sup\{\,a_k\mid k\geq n\,\}\mid n\in\mathbb{N}\,\}[/math] で定義される。同様に下極限は [math]\varliminf_{n\to\infty}a_n:=\lim_{n\to\infty}\left(\inf_{k\geq n}a_k\right)[/math] または [math]\varliminf_{n\to\infty}a_n:=\sup_{n\in\mathbb{N}}\inf_{k\geq n}a_k=\sup\{\,\inf\{\,a_k\mid k\geq n\,\}\mid n\in\mathbb{N}\,\}[/math] で定義される。
性質
数列 (an) の上極限と下極限は(無限大をとることを許せば)必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。
- (an) の部分列 (bn) が収束したとする。このとき[math]\varliminf_{n\to\infty}a_n\leq\lim_{n\to\infty}b_n\leq\varlimsup_{n\to\infty}a_n.[/math]
- (an) の部分列で上極限に収束するものが存在する。下極限についても同様。
この2つの性質から導ける次の性質がもっとも重要である。
- 「(an) が収束すること」と「上極限と下極限が一致すること」は同値である。
集合列の上極限と下極限
数列の場合と同様にして、集合の列 (An) にも上極限と下極限が定義される。
- [math]\varlimsup_{n\to\infty} A_n = \bigcap_{n\in\mathbb{N}}\bigcup_{k\geq n} A_k[/math]
- [math]\varliminf_{n\to\infty} A_n = \bigcup_{n\in\mathbb{N}}\bigcap_{k\geq n} A_k[/math]
集合の列の場合は上極限と下極限が一致するときに集合の列は収束するといい、
- [math]\lim_{n\to\infty} A_n[/math]
と書くことがある。これらは集合のかわりに集合の定義関数の列を考えれば、数列の場合の定義と一致する。
集合列の上極限と下極限は確率論でよく使われる。確率論においては列として事象の列(An)を考える。例えば、サイコロを無限回振るという試行を行いn回目のサイコロの目が1であるという事象をAnと呼ぶことにする。この事象の列の上極限・下極限
- [math]\varlimsup_{n\to\infty} A_n, \quad \varliminf_{n\to\infty} A_n[/math]
もまた事象になる。この事象の意味は
- 事象列の上極限
- 無限に多くのnに対して、Anが起きるという事象。サイコロの場合は、無限回サイコロを投げたら、1の目が無限回でるという事象である。
- 事象列の下極限
- 有限個の例外を除いた残りすべてのnに対して、Anが起きるという事象。サイコロの場合は、無限回サイコロを投げたら、1以外の目は有限回しか出ず残りはすべて1の目が出るという事象である。
事象列の上極限と下極限も事象であるから、確率を計算することができる。サイコロの場合は上に書いたことから直感的には
- [math]P(\varlimsup_{n\to\infty} A_n) = 1[/math]
- [math]P(\varliminf_{n\to\infty} A_n) = 0[/math]
となりそうだが、定義に従って計算するのは難しい。この確率が 0 または 1 になる簡単な十分条件を与えるのが、ボレル–カンテリの補題である。
参考文献
黒田成俊 『微分積分』 共立出版〈共立講座 21世紀の数学〉、2002年。