可測関数や合成関数の定理は、測度論や確率論でよく登場する重要な概念です。特に「g が可測で X が g 可測なら X(s)=f(g(s)) となるような f が存在する」という記述は、関数の可測性と写像の構造に関する基本的な結果を示しています。本記事では、この考え方をわかりやすく解説します。
可測関数とは何か
集合 X と Y 上に σ-代数が定義されているとき、関数 g:X→Y が可測とは、任意の B⊂Y が σ-代数に属するとき、その逆像 g^{-1}(B) が X 上の σ-代数に含まれることを意味します。
簡単に言えば、可測関数は「測度や確率の構造を壊さずに写す関数」です。この性質により、積分や期待値などの計算が可能になります。
g 可測とはどういう意味か
ここで「X が g 可測」とは、X の情報が g によって決定できることを表します。つまり、X は g の値に依存しており、ある関数 f を使えば X(s)=f(g(s)) と表せるということです。
これは可測関数の合成の性質に関連しており、確率論で条件期待値やσ-代数に関する議論でよく用いられます。
関連する定理の例
この考え方に類似した定理として、次のものがあります。
- 条件期待値の表現定理: 任意の可積分関数 X と σ-代数 G に対して、E[X|G] は G 可測な関数として存在する
- 合成可測関数の定理: f が Borel 可測で g が可測関数なら、f∘g も可測
これらの定理は、関数の可測性を保ちつつ合成や条件付きの表現が可能であることを保証します。
具体例
例えば、Ω=[0,1] 上で g(s)=s^2 とし、X(s)=√s とします。ここで X は g 可測であり、f(x)=√x とすれば X(s)=f(g(s)) となります。これにより、g の情報から X を表現できることが確認できます。
この手法は、複雑な関数 X をより単純な可測関数 g を通じて表現する際に非常に便利です。
まとめ
「g が可測で X が g 可測なら X(s)=f(g(s)) となるような f が存在する」という記述は、可測関数の合成や条件可測性の基本的な結果を表しています。
可測性の理解は積分や条件期待値の計算、確率変数の表現などに不可欠であり、条件付き表現や関数の合成を通じて、より複雑な構造をシンプルに扱うことが可能です。


コメント