[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋22 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
910(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/09/18(水) 17:33:15.14 ID:B/ePC74M(3/3) AAS
>>902
>アルキメデスの性質から示せるって
>アルキメデスの性質、分かる？
下記のヴィタリ集合の非可測の証明と同じスジだよ
下記を百回音読したあと
ルベーグ測度を勉強してね、オチコボレさんｗ ；ｐ）
(参考)
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
ヴィタリ集合（ヴィタリしゅうごう、英: Vitali set）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ非可測な実数集合の基本的な例である[1]。ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算個のヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。1970年にロバート・ソロヴェイ（英語版）は、到達不能基数の存在を仮定することにより、全ての実数の集合がルベーグ可測となるような（選択公理を除いた）ツェルメロ・フレンケル集合論のモデルを構築した[2]。
重さに最も近い一般化はσ-加法性を持つルベーグ測度である。この測度は [a, b] の長さに b − a を割り当て、可算集合である有理数全体の集合には 0 を割り当てる。ルベーグ測度が定められる集合をルベーグ可測集合と呼ぶ。しかし、ルベーグ測度の構成（カラテオドリの拡張定理を使う）自体からは非可測集合の存在は明らかに分かることではない。その問題に対する答えは選択公理を仮定するかどうかをも問うことになる。
構成と証明
有理数体 Q は実数体 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある r ∈ R についての Q + r として書ける。
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる。このようにして作られた集合がヴィタリ集合と呼ばれているものである。
すなわち、ヴィタリ集合 V は [0, 1] の部分集合で、各 r ∈ R に対して v − r が有理数になるような一意的な v を要素に持つものである。ヴィタリ集合 V は不可算であり、
u,v∈V,u≠v
であれば v − u は必ず無理数である。
ヴィタリ集合は非可測である。これを示すために V が可測だったとして矛盾を導く。
略すが
（概要は、ヴィタリ集合Vが可測だとして、その測度をλ(V)として
[−1, 1] の有理数の数え上げを使って、Vの平行移動の集合を作ると
それらを集めたものは、区間[-1,2]に入る
有理数は、可算無限なので
1≦Σλ(V)≦3 が導かれる（Σλ(V)は、λ(V)の可算無限和を表す）
λ(V)が有限ならば∞に発散し、0ならばその和も0で矛盾。よって 測度λ(V)は存在しえないとなる）
911: 師天使ociel [] 2024/09/18(水) 18:03:31.87 ID:4Jac70Ep(3/7) AAS
>>909 よせばいいのに・・・
>>910
>>アルキメデスの性質、分かる？
>ヴィタリ集合の非可測の証明と同じスジだよ
もっと前
ヴィタリ集合の非可測の証明では
・平行移動で測度が不変
・ヴィタリ集合のQによる平行移動が重なりを持たない
・ヴィタリ集合のQによる平行移動の合併で[0,1]を覆う
という性質を使うが、ここで
・ヴィタリ集合のQによる平行移動（可算個）が同じ測度をもつ
・しかもその合併が有限の測度をもつ
という２つの性質が示される
そしてそのような測度がないことからヴィタリ集合の非可測性が示されるが
これが実はアルキメデスの性質で証明される
そこ、分かってる？
つまりルベーグ測度とかいう以前
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s