補題の記述
させて
関数であり、
測定可能な空間。関数
は
測定可能であるのは、
一部の人にとって
測定可能
[ 1 ]
注記:「もし」の部分は、2つの可測関数の合成が可測であることを述べているだけです。「必要条件」の部分は以下で証明されています。
注記。空間が
に置き換えられます
どこ![{\displaystyle S\subseteq [-\infty ,\infty ],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a447a5118b17071ba913a405d853dc1c9ebb3c5c)
は全単射である
そして、この全単射は両方向において測定可能である。
定義上、測定可能性
つまり
すべてのボレル集合に対して
したがって
そして、この補題は次のように言い換えることができる。
補題。
そして
測定可能な空間です。
一部の人にとって
測定可能
かつその場合に限り
。
参考文献
- A. Bobrowski:確率と確率過程のための関数解析入門、ケンブリッジ大学出版局 (2005)、ISBN 0-521-83166-0
- MM Rao、RJ Swift :応用を伴う確率論、数学とその応用、第582巻、Springer-Verlag(2006)、ISBN 0-387-27730-7doi : 10.1007/0-387-27731-5