[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋21 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/08/18(日)08:59 ID:dAEsXUtp(1/6) AAS
>>19
>ソロヴェイの定理は関係ない。
>むしろソロヴェイモデルは選択公理を否定するが、それ分かってる？
ド素人が、何を喚くｗ （まあ、おれも素人だがｗ）
下記の ソロヴェイモデル、従属選択公理 （wikipedia）百回音読してねｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省22
25(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/08/18(日)09:03 ID:dAEsXUtp(2/6) AAS
>>23
(引用開始)
総括
１．出題者の出題および回答者の列選択がともに確率変数の場合
箱入り無数目の成功確率は計算不能である
(引用終り)
ブッハハ
省1
26(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/08/18(日)09:12 ID:dAEsXUtp(3/6) AAS
>>25 補足
重川一郎（>>7より）
外部ﾘﾝｸ[pdf]:www.math.kyoto-u.ac.jp
2013年度前期 確率論基礎
これを
百回音読しなｗ ；ｐ）
29(3): 2024/08/18(日)09:56 ID:dAEsXUtp(4/6) AAS
>>27
>（可算列に関する）従属選択公理から選択公理は導けないよ
ブッハハ
子供でも知っていることを自慢されてもね ；ｐ）
(参考)
ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。
省15
30(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/08/18(日)10:20 ID:dAEsXUtp(5/6) AAS
>>26
重川一郎の要点を抜粋しておく
重川一郎（>>7より）
外部ﾘﾝｸ[pdf]:www.math.kyoto-u.ac.jp
2013年度前期 確率論基礎
Ｐ7
確率空間例サイコロ投げの場合
省16
32(4): 2024/08/18(日)12:59 ID:dAEsXUtp(6/6) AAS
>>31
> でも君知らなかったんだろ？
旧ガロアすれでの 初期の箱入り無数目の議論で
ここらの 選択公理や 非可測集合、可測集合、可測関数の話は、さんざんやった
面倒だから、過去ログ発掘はしないが
>確率変数の定義をいくら見たって
>「開けた箱は確率変数でなくなり、開けていない箱は依然確率変数」
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s