からしゅれProblem4.2
からしゅれのProblem4.2で
%3D%5Cbigg%5C%7B%20%5Comega:%5Csum_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%5Cfrac%7B1%7D%7B2%5En%7D%5Csup_%7B0%5Cleq%20t%5Cleq%20n%20,%20t%5Cin%20%5Cmathbf%7BQ%7D%7D(%7C%5Comega(t)-%5Comega_0(t)%7C%5Cwedge%201)%3C%5Cvarepsilon%5Cbigg%5C%7D.png)
が本当に
-可測なのか？というのが今日のゼミで話合いになった．ゼミで解決した方法よりも簡単な方法を発見したっぽいので書いておきます．
%5Cni%20%5Comega%20%5Cmapsto%20%5Comega(t)%5Cin%20%5Cmathbf%7BR%7D%20.png)
を時刻tでの射影とする． の定義より 
は 可測関数．よって極限関数である
%5Cni%20%5Comega%20%5Cmapsto%20%5Csum_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%5Cfrac%7B1%7D%7B2%5En%7D%5Csup_%7B0%5Cleq%20t%5Cleq%20n,%20t%5Cin%5Cmathbf%7BQ%7D%7D(%7C%5Comega(t)-%5Comega_0(t)%7C%5Cwedge%201)%5Cin%20%5Cmathbf%7BR%7D.png)
も -可測関数である．よって %3D%5C%7B%5Cvarphi(%5Comega)%3C%5Cvarepsilon%5C%7D.png)
より .png)
は -可測集合である．
からしゅれのProblem4.2で
が本当に-可測なのか？というのが今日のゼミで話合いになった．ゼミで解決した方法よりも簡単な方法を発見したっぽいので書いておきます．
を時刻tでの射影とする． の定義より は 可測関数．よって極限関数である
も -可測関数である．よって より は -可測集合である．