Loading AI tools
ウィキペディアから
数学において、数列(以下この記事においては、単に数列と言ったら実数列のことを指すものとする) (an)n∈N の上極限(じょうきょくげん、英語: limit superior)および下極限(かきょくげん、英語: limit inferior)とは、nを無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に(ある意味で)なりうる値を上と下からおさえるために使われる。
数列 (an) の上極限を表す記号には
の二種類がある。同様に下極限は
と書く。
数列 (an) の上極限は または で定義される。同様に下極限は または で定義される。
数列 (an) の上極限と下極限は(無限大をとることを許せば)必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。
この2つの性質から導ける次の性質がもっとも重要である。
数列の場合と同様にして、集合の列 (An) にも上極限と下極限が定義される。
集合の列の場合は上極限と下極限が一致するときに集合の列は収束するといい、
と書くことがある。これらは集合のかわりに集合の定義関数の列を考えれば、数列の場合の定義と一致する。
集合列の上極限と下極限は確率論でよく使われる。確率論においては列として事象の列(An)を考える。例えば、サイコロを無限回振るという試行を行いn回目のサイコロの目が1であるという事象をAnと呼ぶことにする。この事象の列の上極限・下極限
もまた事象になる。この事象の意味は
事象列の上極限と下極限も事象であるから、確率を計算することができる。サイコロの場合は上に書いたことから直感的には
となりそうだが、定義に従って計算するのは難しい。この確率が 0 または 1 になる簡単な十分条件を与えるのが、ボレル–カンテリの補題である。
黒田成俊『微分積分』共立出版〈共立講座 21世紀の数学〉、2002年。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.