現代数学の系譜工学物理雑談古典ガロア理論も読む63

現代数学の系譜工学物理雑談古典ガロア理論も読む63at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む63 - 暇つぶし2ch966:う 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.

次ページ

続きを表示

1を表示