現代数学の系譜　カントル　超限集合論2

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

33: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/22(日) 08:06:52.76 ID:jNutOcAm

>>24
>Ωが次の性質を持つ限りZFCと両立することはできません。
>・Fを
>x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
>によって定められる集合とするときFの任意の要素はシングルトンか空集合。
>・Ωは有限Zermelo ordinal numberではない。

（前スレ>>961より）
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
<ノイマン構成>
・任意の集合 a の後者は a と {a} の合併集合として定義される。
　suc (a):=a∪{a}
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
<Zermelo構成>（前スレ>>725より）
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
(引用終り)

なので、<Zermelo構成>も<ノイマン構成>も
∈-数列
0∈1∈2∈3・・・∈n∈・・・→ω
（"→ω"の意味は、ωに向けてずっと続くってことね）
（なお、ωは、超限順序数で、いわゆる”有限”ではない）

で、「0∈1∈2∈3・・・∈n∈・・・→ω」は、<Zermelo構成>も<ノイマン構成>も全く同じ
だから、この<Zermelo構成>を否定することはできません
（∵<Zermelo構成>を否定すると、<ノイマン構成>も同様に否定されるから）

但し、
<ノイマン構成>においては、ω＝N（自然数の集合）なので
n∈ω（＝N）は、可
というか
<ノイマン構成>なら、任意のm<nで、m∈n成立
（∵<ノイマン構成>では、後者関数の定義が、それ以前の全てを要素からなる集合だから（前スレ966））

一方、<Zermelo構成>においては、もともと、任意のm<nで、m∈n不成立
（∵<Zermelo構成>では、後者関数の定義が、異なるため）
だから、もともと、”n not∈ω（=x1=Ωかな）”なのです（nは、任意の自然数）
これは、後者関数の定義の問題なのです
（なので、<Zermelo構成>もZFC内で成立します）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1576852086/33

723: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [sage] 2020/03/27(金) 15:35:35.76 ID:JV2qk9Qn

＜再録＞
>>685 補足
(引用開始)
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)

補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
３）複数の箱がある。iid(独立同分布)を仮定する
　下記のiidの説明 通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
４）可算無限個の箱がある。iid(独立同分布)を仮定する
　（ここは、大学の確率論の教程を学べば分かる）
　下記の通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
　どの箱も、例外無し！
５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという
　大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！
QED
（＾＾；

（参考）
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12157505717
mas********さん2016/3/2720:48:25 Yahoo
サイコロの目が出る確率は1/6ですが
サイコロの目を当てる確率はいくつですか？
回答
umi********さん 2016/3/2720:55:03
1/6 ですよ。
半分は国語の問題ですねw

https://www.practmath.com/iid/
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。

https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布

>>702 補足
これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？

ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定する」なんて
確率論の頻出で、いろはのい、初歩の初歩です

http://rio2016.5ch.net/test/read.cgi/math/1576852086/723

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.031s