上極限と下極限

出典: フリー百科事典『ウィキペディア（Wikipedia）』

数学において、数列 { a_n } の上極限(じょうきょくげん)と下極限(かきょくげん)とは、n を無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に（ある意味で）なりうる値を上と下からおさえるために使われる。

数列 { a_n } の上極限を表す記号には

$\varlimsup_{n\to\infty} a_n,\quad \limsup_{n\to\infty} a_n$

の二種類がある。同様に下極限は

$\varliminf_{n\to\infty} a_n,\quad \liminf_{n\to\infty} a_n$

と書く。

[編集] 定義

数列 { a_n } の上極限は

$\varlimsup_{n\to\infty} a_n = \inf_{n\in\mathbb{N}}\sup_{k\geq n} a_k$

で定義される。同様に下極限は

$\varliminf_{n\to\infty} a_n = \sup_{n\in\mathbb{N}}\inf_{k\geq n} a_k$

で定義される。

[編集] 性質

数列 { a_n } の上極限と下極限は（無限大をとることを許せば）必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。

{ a_n } の部分列 { b_n } が収束したとする。このとき

$\varliminf_{n\to\infty} a_n \leq \lim_{n\to\infty} b_n \leq \varlimsup_{n\to\infty} a_n$

{ a_n } の部分列で上極限に収束するものが存在する。下極限についても同様。

この２つの性質から導ける次の性質がもっとも重要である。

「{ a_n } が収束すること」と「上極限と下極限が一致すること」は同値である。

[編集] 集合列の上極限と下極限

数列の場合と同様にして、集合の列 { A_n } にも上極限と下極限が定義される。

$\varlimsup_{n\to\infty} A_n = \bigcap_{n\in\mathbb{N}}\bigcup_{k\geq n} A_k$

$\varliminf_{n\to\infty} A_n = \bigcup_{n\in\mathbb{N}}\bigcap_{k\geq n} A_k$

集合の列の場合は上極限と下極限が一致するときに集合の列は収束するといい、

$\lim_{n\to\infty} A_n$

と書くことがある。これらは集合のかわりに集合の定義関数の列を考えれば、数列の場合の定義と一致する。

集合列の上極限と下極限は確率論でよく使われる。確率論においては列として事象の列 { A_n } を考える。例えば、サイコロを無限回振るという試行を行い n 回目のサイコロの目が 1 であるという事象を A_n と呼ぶことにする。この事象の列の上極限・下極限

$\varlimsup_{n\to\infty} A_n, \quad \varliminf_{n\to\infty} A_n$

もまた事象になる。この事象の意味は

事象列の上極限: 無限に多くの n に対して、A_n が起きるという事象。サイコロの場合は、無限回サイコロを投げたら、1 の目が無限回でるという事象である。
事象列の下極限: 有限個の例外を除いた残りすべての n に対して、A_n が起きるという事象。サイコロの場合は、無限回サイコロを投げたら、2～6 の目は有限回しか出ず残りはすべて 1 の目が出るという事象である。

事象列の上極限と下極限も事象であるから、確率を計算することができる。サイコロの場合は上に書いたことから直感的には

$P(\varlimsup_{n\to\infty} A_n) = 1$

$P(\varliminf_{n\to\infty} A_n) = 0$

となりそうだが、定義に従って計算するのは難しい。この確率が 0 または 1 になる簡単な十分条件を与えるのが、ボレル-カンテリの補題である。

[編集] 参考文献

黒田成俊　微分積分　共立出版, <共立講座２１世紀の数学>, 2002

この項目「上極限と下極限」は、自然科学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。

See also ebooksgratis.com: no banners, no cookies, totally FREE.

上極限と下極限

出典: フリー百科事典『ウィキペディア（Wikipedia）』

目次

[編集] 定義

[編集] 性質

[編集] 集合列の上極限と下極限

[編集] 参考文献

Views

ナビゲーション

ヘルプ

検索

他の言語