上極限と下極限のソースを表示

[[ファイル:Lim sup example 5.png|サムネイル|300x300ピクセル|数列<math>x_n</math>が青色の点で表されているとき、赤色の点が近付く先が<math>x_n</math>の上極限と下極限である。]]
[[数学]]において、[[数列]]（以下この記事においては、単に数列と言ったら実数列のことを指すものとする） {{math|(''a<sub>n</sub>'')<sub>''n''&isin;'''N'''</sub>}} の'''上極限'''（じょうきょくげん、{{lang-en|limit superior}}）および'''下極限'''（かきょくげん、{{lang-en|limit inferior}}）とは、{{mvar|n}}を無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の[[極限]]に（ある意味で）なりうる値を上と下からおさえるために使われる。

数列 {{math|(''a<sub>n</sub>'')}} の上極限を表す記号には
:<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>
と書く。

== 定義 ==
数列 {{math|(''a<sub>n</sub>'')}} の'''上極限'''は
<math display="block">\varlimsup_{n\to\infty}a_n:=\lim_{n\to\infty}\left(\sup_{k\geq n}a_k\right)</math>
または
<math display="block">\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 display="block">\varliminf_{n\to\infty}a_n:=\lim_{n\to\infty}\left(\inf_{k\geq n}a_k\right)</math>
または
<math display="block">\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>
で定義される。

== 性質 ==
数列 {{math|(''a<sub>n</sub>'')}} の上極限と下極限は（無限大をとることを許せば）必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。

*  {{math|(''a<sub>n</sub>'')}} の部分列 {{math|(''b<sub>n</sub>'')}} が収束したとする。このとき<math display="block">\varliminf_{n\to\infty}a_n\leq\lim_{n\to\infty}b_n\leq\varlimsup_{n\to\infty}a_n.</math>
*  {{math|(''a<sub>n</sub>'')}} の部分列で上極限に収束するものが存在する。下極限についても同様。
この2つの性質から導ける次の性質がもっとも重要である。
* 「{{math|(''a<sub>n</sub>'')}} が収束すること」と「上極限と下極限が一致すること」は同値である。

== 集合列の上極限と下極限 ==
数列の場合と同様にして、集合の列 {{math|(''A<sub>n</sub>'')}} にも上極限と下極限が定義される。

:<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>
と書くことがある。これらは集合のかわりに[[集合の定義関数]]の列を考えれば、数列の場合の定義と一致する。

集合列の上極限と下極限は[[確率論]]でよく使われる。確率論においては列として[[事象 (確率論)|事象]]の列{{math|(''A<sub>n</sub>'')}}を考える。例えば、サイコロを無限回振るという試行を行い{{mvar|n}}回目のサイコロの目が1であるという事象を{{mvar|A<sub>n</sub>}}と呼ぶことにする。この事象の列の上極限・下極限
:<math>\varlimsup_{n\to\infty} A_n, \quad \varliminf_{n\to\infty} A_n</math>
もまた事象になる。この事象の意味は
;事象列の上極限: 無限に多くの{{mvar|n}}に対して、{{mvar|A<sub>n</sub>}}が起きるという事象。サイコロの場合は、無限回サイコロを投げたら、1の目が無限回でるという事象である。
;事象列の下極限: 有限個の例外を除いた残りすべての{{mvar|n}}に対して、{{mvar|A<sub>n</sub>}}が起きるという事象。サイコロの場合は、無限回サイコロを投げたら、1以外の目は有限回しか出ず残りはすべて1の目が出るという事象である。

事象列の上極限と下極限も事象であるから、確率を計算することができる。サイコロの場合は上に書いたことから直感的には
:<math>P(\varlimsup_{n\to\infty} A_n) = 1</math>
:<math>P(\varliminf_{n\to\infty} A_n) = 0</math>
となりそうだが、定義に従って計算するのは難しい。この確率が 0 または 1 になる簡単な十分条件を与えるのが、[[ボレル–カンテリの補題]]である。

== 参考文献 ==
{{cite book|和書|author=黒田成俊|title=微分積分|publisher=共立出版|series=共立講座 21世紀の数学|year=2002|ref=harv}}

{{DEFAULTSORT:しようきよくけんとかきよくけん}}
[[Category:解析学]]
[[Category:確率論]]
[[Category:集合論]]
[[Category:極限 (数学)]]
[[Category:数学に関する記事]]