15/11/29 14:38:39.95 SasjpBzo.net
>>66-67
どうも。スレ主です。
ありがとう
やっぱ、数学系の人は、思考が深いね（＾＾；
高校レベルで終わりとはいかない>>39
>有界であることは使っていいと思う。
正直、ルベーグ可測はあまり理解出来ていないが・・・
1次元開球U(ε)に閉じ込めた超越基底Sは、Totally bounded spaceで→ルベーグ可測が言えるとする
（証明のあらすじ）
１．あるの1次元開球U(ε)に閉じ込めた超越基底S>>48は、Totally bounded spaceで→ルベーグ可測であり、有限のルベーグ測度 m >0を持ったとする
２．>>64で書いたように「超越基底Sを、全体を有理数で割ることで、超越基底の位相的（測度的？）性質を変えないで、（相似形で）圧縮できる」＊）
３．一般性を失わず開球U(ε)の中心を０とし、簡単のために、1次元開球U(ε)に対応する閉区間[-ε, +ε]を考えると、閉区間のルベーグ測度は、2εとなる
４．あきらかに、2ε＞mが成り立つ
５．有理数 q > ε/(m/2) なるqを取り、開球U(ε)をqで割って（(m/2)/εを掛けても同じ）、圧縮する。
６．上記２で述べたように、超越基底のルベーグ測度は mで不変。一方、対応する圧縮された閉区間[-ε/q, +ε/q]のルベーグ測度は、m未満となる
７．ルベーグ測度 mの超越基底が、ルベーグ測度 m未満の閉区間[-ε/q, +ε/q]に入っていることになり、m >0とすると矛盾＊＊）。従ってm=0となる
＊）超越基底Sが、nowhere dense >>53 みたいなことを、しっかり証明する必要があるという気がしてきた（＾＾；
＊＊）ルベーグ測度の加法性に反する？
こんなのでどうですか？