[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
68: １３２人目の素数さん [sage] 2022/08/25(木) 19:39:30.08 ID:ON3UZhHc 箱入り無数目は一箇所だけおかしい点があるね。 確率計算の箇所じゃないよ。 「代表系の中身が見れる」としている点。 選択公理は「代表系が存在する」と言ってるだけで 「中身が見れる」なんて一言も言ってない。 ZF内で構成できる代表系と構成できない代表系 には差があるはずなのに、一様に「見れる」と とするのはおかしいんじゃないですかね？ 「見れる」ことを認めるなら、完全に成立している。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/68
70: １３２人目の素数さん [] 2022/08/25(木) 20:46:44.55 ID:rYWQEwxt >>68 >選択公理は「代表系が存在する」と言ってるだけで >「中身が見れる」なんて一言も言ってない。 s∈R^N が属す同値類を[s]と書く。s∈[s]∈R^N/〜 写像φ：R^N→R^N/〜 を φ(s)=[s]で定義する。 「代表系が存在する」とは 「写像Ψ：R^N/〜→R^N が存在して ∀s∈R^Nに対して s〜Ψ(φ(s)) を満たす」という意味である。 選択公理によりその存在を保証される写像Ψを選択関数と呼んでもよい。 Ψ(φ(s))は実数列であるから、そのどの項も定まっている。 箱の例えで言えば、どの箱の中身も見える。 >ZF内で構成できる代表系と構成できない代表系には差があるはずなのに ZFCでも代表系の構成ができる保証なんて無いよ。保証があるのは存在のみ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/70
72: １３２人目の素数さん [] 2022/08/26(金) 07:50:43.42 ID:jfaTSMU5 >>68-71 >箱入り無数目は一箇所だけおかしい点があるね。 >ZF内で構成できる代表系と構成できない代表系 >には差があるはずなのに、一様に「見れる」と >とするのはおかしいんじゃないですかね？ >「見れる」ことを認めるなら、完全に成立している。 ”構成”という用語がちょっとへん。>>70の通り ”構成”というより、”計量化”が適切じゃないですか？ 確率計算のためには、”計量化”が不可欠 対して、選択公理だけでは、ヴィタリ集合に代表される不可測集合の存在などがある （なお、時枝記事は、非正則分布を使うため、”計量化”が不可） 選択公理を使って、確率計算に必要な”計量化”の条件が満たされれば、 時枝記事は正しい。しかし、満たしていない http://rio2016.5ch.net/test/read.cgi/math/1660377072/72
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s