[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
874(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/23(火) 06:07:02.80 ID:dlY4UBza(1/3) AAS
>>872
「ぷふ」さん（>>19）か
ご本人なら
お久しぶりですね＼（＾＾）／
>>870
>とすると、game2 は game1 と同じとは言えないな。
>各箱の中が独立事象にならないからな。
そうそう
game2で、数列の”しっぽ”の循環節の部分は、繰り返しになるから、
循環節のパターンの部分は game1 と同じとは言えない
但し、Hart氏PDF(>>843)の数当てをするPlayer 2の立場では、数列の”しっぽ”を開けたとき、下記二つの場合で
１）開けた部分で、循環節が終わっていると判明したら、数当ては非循環部分になるので、そこは独立事象の部分ですよね
２）開けた部分で、循環節内の場合でも、どこで循環節が終わるかの情報をPlayer 2が持っていないとすれば、閉じている箱はやはり”しっぽ”とは独立と考えて良い
ということでしょう
なお、game2でも、フルの選択公理は使わないとしても、可算選択公理（あるいはそれに類似の公理）は使いますよね
でも、可算選択公理では、ソロヴェイ先生によれば、ビタリのような非可算集合は出来ない（下記）
https://ja.wikipedia.org/wiki/%E5%BE%AA%E7%92%B0%E5%B0%8F%E6%95%B0
循環小数
小数第一位から循環が始まる類を純循環小数、小数第二位以降から始まる類を混合循環小数といい、混合循環小数は冒頭の有限小数とそれ以降の循環小数の二つに分離される[1]。
https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
可算選択公理
ACωは選択公理や従属選択公理（英語版）よりも弱い主張である。実際、選択公理が成り立たないソロヴェイのモデル（英語版）においても、可算選択公理は成り立つ。
ポール・コーエンはACωがZF集合論から証明できないことを示した。
https://en.wikipedia.org/wiki/Solovay_model
Solovay model
In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay (1970) in which all of the axioms of Zermelo?Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable.
The construction relies on the existence of an inaccessible cardinal.
878(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/23(火) 07:48:39.36 ID:dlY4UBza(2/3) AAS
>>876
>有理数全体について、各有理数が同じ重みをもつように
>測度を設定することはできません 可算加法性に反するので
また、半可通のキチガイが喚いているね
”Solovay model
exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable.”
ここで
”all sets of real numbers are Lebesgue measurable.”で、
”all sets of real numbers”だから、ここに有理数の集合は含まれます。
なので
”Lebesgue measurable”で、かつ、測度は０でしょ？ｗ（＾＾
https://en.wikipedia.org/wiki/Solovay_model
Solovay model
In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay (1970) in which all of the axioms of Zermelo?Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable.
879(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/23(火) 07:54:31.53 ID:dlY4UBza(3/3) AAS
>>878 補足
有理数の集合とヴィタリ集合の非可測性とは全く違う
”一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち V は可測であってはいけない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。”
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち V は可測であってはいけない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s