22/10/31 22:20:56.64 V6kL7bYX.net
では、(d≦k) が非可測であることを証明する。・・・のだが、今までは「箱の中身がサイコロ」のような
離散的な場合しかやったことがなかったので、想定外の事態が起きた。
箱の中身がサイコロの場合、任意の k≧0 に対して (d≦k) は非可測であることが示せるのだが、
「箱の中身が0以上1以下の実数」という今回のケースでは、
(☆)「有限個の k を除いて (d≦k) は非可測」
までしか言えなかった。しかも、完全代表系 T の取り方によっては、
残りの有限個の k で (d≦k) がゼロ集合(よって可測集合)になる場合が
実際に起こることが判明した。
よって、Aの非可測性の証明も、(☆)を用いた証明として修正が必要になる。それはもちろん後回しで、
まずは、(☆)の証明から始める。
以下では、s∈[0,1]^N の添え字は 0 から始めることにする。よって、s＝(s_0,s_1,…) と書ける。