確率空間 上の確率変数 が区間 上の一様分布に従うとする。正の整数 に対して
とおく。極限 を求めよ。
測度論的な期待値と収束定理
期待値を確率測度による積分として扱い、収束定理を使って期待値の極限を求められる
前提
- 単調収束定理・優収束定理 (大学院数学 測度論・実解析)
- 一様分布・指数分布 (大学数学 確率・統計)
この技能までの道筋(62 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- ルベーグ積分の計算 (大学院数学 測度論・実解析)
- 単調収束定理・優収束定理 (大学院数学 測度論・実解析)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 期待値 (数学A 場合の数と確率)
- 確率変数と確率分布 (数学B 統計的な推測)
- 平均と合計 (算数 いろいろな文章題)
- 平均値・中央値・最頻値 (中学数学 データの活用)
- 代表値(平均値・中央値・最頻値) (数学I データの分析)
- 分散と標準偏差 (数学I データの分析)
- 変量の変換と平均・分散 (数学I データの分析)
- 確率変数の期待値・分散と (数学B 統計的な推測)
- 連続型確率変数と確率密度関数 (数学B 統計的な推測)
- 一様分布・指数分布 (大学数学 確率・統計)
説明
確率変数の期待値を「確率空間 上のルベーグ積分 」として捉え直すと、単調収束定理・優収束定理がそのまま期待値に使えます。これにより、確率変数の列 について が成り立つかを判定し、成り立つときは期待値の極限を計算できます。期待値の中に を含む式があり、直接積分してから極限をとるのが難しい場面で特に役立ちます。
なぜそうしてよいのか
確率変数 は確率空間 上の可測関数で、期待値はその による積分 と定義されます。 は全体の測度が の測度なので、ルベーグ積分について成り立つ定理はすべて期待値にも成り立ちます。さらに が密度 をもつとき、可測関数 について (どちらかが意味をもてば両辺が一致)なので、実際の計算は 上の積分に帰着できます。
したがって、各 で(あるいは確率 の集合を除いて) のとき、(i) なら単調収束定理により (値が のこともある)、(ii) によらない確率変数 で かつ となるものがあれば優収束定理により が成り立ちます。確率 の集合の上で何が起きても積分の値は変わらないので、収束は「ほとんど確実に(確率 で)」で十分です。
確率空間ならではの点として、定数 は なので可積分です。よって と一様に抑えられれば、それだけで優収束定理の仮定が満たされます(有界収束定理)。全測度が無限大の 上のルベーグ測度ではこの議論は使えないので、確率測度で考える利点がここにあります。
手順
期待値を積分で書く:、密度 をもつ を使う なら と表す。
各点(またはほとんど確実に)での極限 、すなわち を求める。
使う定理の仮定を確かめる:非負で単調増加なら単調収束定理、そうでなければ によらない で 、 となるものを探す(確率空間では定数 も可)。
極限と期待値を交換して を計算する。
例題
確率変数 はパラメータ の指数分布(密度 、 では )に従うとする。 を求めよ。
例題の解答
手順1: とおくと、 がほとんど確実に成り立つので と書ける。このまま ごとに積分するのは面倒なので、極限と期待値の交換を考える。
手順2: を固定すると ( による。 なら両辺 )なので、。よって (ほとんど確実に)。
手順3: なら なので 。すなわち が によらず成り立つ。確率空間では定数 は で可積分なので、優収束定理の仮定が満たされる。
手順4:優収束定理より
答え:
よくある誤り
各点収束だけで極限と期待値を交換してしまう誤り。例えば が 上の一様分布に従うとき は (ほとんど確実に)だが なので 。正しくは、優関数 (、)か単調性を確かめてから交換する。この例では が可積分でないため優関数がとれない。
優関数に を含むものを使ってしまう誤り。例えば のように ごとに別の上界を置いても仮定を満たさない。正しくは によらない一つの で、すべての について が成り立つ必要がある。
単調減少列にも単調収束定理がそのまま使えるとしてしまう誤り。 が 上の一様分布に従うとき は非負で単調に減少して に収束するが、 なので 。正しくは、減少列では を確かめ、 を優関数として優収束定理を使う。
単調収束定理の結論で極限が有限だと決めつける誤り。単調収束定理は を保証するだけで、 もありうる(例: なら )。正しくは、交換した後に を計算して有限かどうかを確かめる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
確率空間 上の確率変数 が、確率密度関数
をもつ(パラメータ の指数分布に従う)とする。正の整数 に対して
とおく。極限 を求めよ。確率空間 上の確率変数 が、確率密度関数
をもつ指数分布に従うとする。正の整数 に対して
とおく。極限 を求めよ。を独立同分布な確率変数で、 を満たすものとする。, とし、( は自明な σ 加法族)とする。停止時刻 を考える()。期待値 を求めよ。
を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。 とおき、
とする( が初めて または に到達する時刻)。期待値 を求めよ。
この技能を使う問題
を独立で、それぞれ区間 上の一様分布に従う確率変数とし、正の整数 に対して とおく。極限
を求めよ。正の整数 に対して
とおく。極限 を求めよ。を連続関数とする。正の整数 に対して
とおく。ここで積分は 上のルベーグ積分であり、被積分関数は となる 1 点(原点)では と定めるものとする。このとき
であることを証明せよ。なお、大数の強法則(独立同分布で可積分な確率変数列の標本平均は期待値にほとんど確実に収束する)と、有界収束定理は用いてよい。
を確率空間 上の 1 次元標準ブラウン運動とする。すなわち であり、すべての で は連続、 に対して増分 は独立で、 は平均 、分散 の正規分布に従う。
を定数とし、
(各 ごとのリーマン積分)とおく。このとき
であることを証明せよ。なお、平均 、分散 の正規分布に従う確率変数 について であること、およびフビニ・トネリの定理は用いてよい。
正の整数 に対して
とおく(積分はルベーグ積分とする。被積分関数は となる点、すなわち原点では定義されないが、この 1 点は測度 なので積分の値に影響しない)。極限 を求めよ。正の整数 に対して
とおく(被積分関数は となる点で定め、測度 の残りの集合は無視する)。極限 を求めよ。を独立同分布な確率変数で、 を満たすものとし、
とおく(この級数は各標本点で絶対収束する)。 の特性関数 を無限積で表し、それを用いて 次モーメント を求めよ。を正の整数とする。 を独立同分布な確率変数で を満たすものとし、, とおく。
とする。 という条件のもとでの の条件付き期待値 を の式で求めよ。とし、, とおく。 を独立同分布な確率変数列で , を満たすものとし、, とおく。 を自明な -加法族、 とする。正の整数 を固定し、
とおく。 のとき、 に到達するまでの経路の「面積」を
で定める。このとき a.s. であり、 は可積分で
であることを証明せよ。なお、-マルチンゲール と -停止時刻 に対して、各 で が成り立つこと(有界な停止時刻に対する任意抽出定理)、マルコフの不等式、単調収束定理(項別積分を含む)、優収束定理は用いてよい。
を通常の条件を満たすフィルター付き確率空間とし、 を であり、すべての標本路が連続な -標準ブラウン運動とする。定数 , と をとり、
と定める。ただし と約束する。 が -停止時刻であること、伊藤の公式、および有界な発展的可測過程 に対して ()であることは用いてよい。このとき
が成り立つことを証明せよ。
この技能の次に学べること
- 特性関数の性質と反転公式 (大学院数学 確率論)
- ボレル・カンテリの補題と大数の強法則 (大学院数学 確率論)
- σ 加法族に関する条件付き期待値 (大学院数学 確率論)