[過去ログ] 現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net (747レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
56(3): 現代数学の系譜11 ガロア理論を読む 2015/11/29(日)09:26 ID:SasjpBzo(5/14) AAS
>>55 つづき
さて、非加算零集合のカントール集合の扱いを参考にすると
”As the above summation argument shows, the Cantor set is uncountable but has Lebesgue measure 0. Since the Cantor set is the complement of a union of open sets,
it itself is a closed subset of the reals, and therefore a complete metric space. Since it is also totally bounded, the Heine-Borel theorem says that it must be compact.”
ってところが使えそうだと
そこで、the Cantor set→任意の1次元開球U(ε)に閉じ込めたある超越基底>>48に置き換えて考えてみると
1)the complement of a union of open sets:yes
省10
57(3): 現代数学の系譜11 ガロア理論を読む 2015/11/29(日)09:47 ID:SasjpBzo(6/14) AAS
>>56 つづき
超越基底のルベーグ可測はyesについては、上でカントール集合にならって示した
さて、それが0についてだが
1.任意の1次元開球U(ε)に閉じ込めたある超越基底>>48が、ある有限のルベーグ測度 m >0を持ったとする
2.簡単のために、1次元開球U(ε)に対応する閉区間[r-ε, r+ε](rは開球の中心)のルベーグ測度は、2εとなる
3.あきらかに、2ε>mが成り立つ
4.しかし、ε< m/2 と取れば、2ε<m とできるので矛盾
省5
59(2): 2015/11/29(日)09:54 ID:2P6DAj1m(3/13) AAS
>>56
>5)compact:? 3)に同じ
スレ主、超越基底はコンパクトではないことが知られているのだが。
63(1): 2015/11/29(日)11:39 ID:4wl9a+n9(1/5) AAS
>>56
>1)the complement of a union of open sets:yes
カントール集合はこのようして構成されるからyesだけど、
超越基底もこのように構成できるというならそれを示す必要がある。
結論から言うと答えはnoだと思う。
yesだと超越基底はコンパクトになってしまう。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.043s