今回から、金融工学におけるシミュレーションについて学んでいく。テキストとして以下を使う。今回はP.17まで。
1. 収束の概念
モンテカルロ法は、乱数により試行を実験的に多数発生させ、その実験値を元に知りたい分布の統計量を得る方法である。その背景には、
- 多数の試行を実験的に発生させることで、観測値から得た統計量が理論的に欲しい値に近づくことが保障されること
- 観測値から得た統計量が特定の分布に収束すること
の2つが理論的に保障されていることにある。
まずはそれらについて説明する。その大前提として実確率変数列および実確率変数
について収束の概念を整理する。条件の厳しいものからより緩いものまで順番に説明する。
前提とする数学的な設定として、確率空間としてLebesgue空間
を取ることとする。
1.2 各点収束
一様収束は個々の点の値に依存せずに一定以上の
を求めてきた。これを緩めたものが各点収束である。
任意の正数に対して、
に依存する充分に大きいある自然数
を取るとすべての
で
が成り立つとき、は
に各点収束するという。
各点収束するならば、各点について
とおけば、
を取ることで
が成り立つ、すなわち一様収束が成り立つ。このように各点収束は一様収束の条件を緩めたものであることが確認できた。
逆は成り立たない。湯前・鈴木(2000)に挙げられた例を紹介する*2。Lebesgue空間上の確率変数列
を
と定義する。このとき、は以下の
に各点収束する。
しかしのときは
において
1.3 概収束
各点収束はすべての点における収束を求めているものの、確率が
になる点
は頻繁に表れる。実際、連続確率変数を扱っていれば、その値がある値(
点)になるような確率は
である。このような点は興味の範疇から外すこともあり得る。たとえば6面サイコロを振って出た目の確率を考える場合に、
の目が出る事象を考える(定義する)こと自体は可能である。しかしそのような事象が生じる確率は明らかに
で、定義する必要性は無い。そこでこうしたことを加味して各点収束をより緩やかな条件に替えたものとして概収束がある。
確率である命題
が成り立つことを「命題
がほとんど至る所で成り立つ」という*3。
任意の正数に対して、殆ど至る所の点
で充分に大きいある自然数
を取ると
が成り立つとき、は
に概収束するという。
概収束するならば各点収束するが、逆は成り立たない。1.2で与えた例を改めて考える*4。連続な確率変数ではそれが点を取る確率は
であるから、
と概収束するものの、これはで成り立たないから各点収束しない。
1.4 確率収束
ここまでは各点における収束に注目したものであった。視点を変えて、定義域全体のうち収束しない部分の確率測度がに近づく様子を表すものが確率収束である。これまでは各点
における条件であったものの、確率収束は確率の取り方に対する条件であるため、収束しない点が存在し得る点がこれまでとは異なるものである。
任意の正数に対して、
が成り立つとき、は
に確率収束するという。
1.5 法則収束
ここまでは同一の確率空間における議論を扱ってきた。他方で当然ながら、同じような状況に異なる確率空間(特に確率)を設定することは可能であり、そうした確率に関して収束を議論することも可能である。
確率空間上の実確率変数列
および確率空間
上の実確率変数列
に対し、分布をそれぞれ
とする。
のすべての連続点
において
が
に収束するとき、
は
に法則収束するという。