[過去ログ]
現代数学の系譜 カントル 超限集合論他 3 (548レス)
現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
29: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/07/26(日) 10:37:29.90 ID:uQ4z/5zX >>28 可測非可測の話で、ヴィタリ集合は時枝でも取り上げられている が、確率論ではもう一つ、「全事象の確率は1であるというコルモゴロフの確率の公理に反する」確率分布の話がある (参考) https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 ヴィタリ集合 Giuseppe Vitali (1905)によって作られたルベーグ不可測な実数集合の基本的な例である。 ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。 (「(ヴィタリ集合)V は可測であってはいけない。つまりルベーグ測度 λ はいかなる値(有限あるいは無限)も λ(V) の値として定義してはいけない。」) https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN AI Trend 2020/04/14 非正則事前分布とは?〜完全なる無情報事前分布〜 (抜粋) 目次 非正則な分布とは?一様分布との比較 非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。 非正則分布は確率分布ではない!? 上で説明した非正則な分布ですが、よく見てみてください。確率の和が1ではありませんよね。 積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。 よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。 http://chitosepress.com/2016/02/29/1307/2/ ちとせプレス ベイズ統計学による心理学研究のすゝめ(2) (抜粋) 事前等確率の設定 特に事前情報がない場合には、「すべてのとりうる値について、確率は等しい」という、事前等確率の設定が妥当に感じます。 じつは「-∞から+∞までの範囲で一様である」という事前分布は、厳密な意味での「確率」の性質を満たしていません。 確率の数学的な定義では、すべての場合について足し合わせると100%、つまり1になることが要請されています。 しかし、「-∞から+∞までの範囲で一様」の分布は、この要請を満たすことができないのです。 こういったおかしな確率分布のことを、非正則(improper)な分布といいます。 http://rio2016.5ch.net/test/read.cgi/math/1595034113/29
70: 132人目の素数さん [sage] 2020/07/31(金) 12:14:18.90 ID:Trt2z5f1 >>69 時枝でいえば、決定番号は存在するが 決定番号を使った 確率計算は、できない(確率の公理に反する) ってことです http://rio2016.5ch.net/test/read.cgi/math/1595034113/70
237: 132人目の素数さん [sage] 2020/11/02(月) 06:43:48.90 ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/711 711 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日) 23:18:44.86ID:o4gNmK89 ・無限公理の本質は、それを表現する式のテクニカルな話ではない。単に、後者関数を帰納的に繰返しただけでは、自然数の集合N(順序数ではω)の存在はすっきり言えないってことです ・無限公理の本質は、下記の極限順序数通り。ある後者関数を選ぶと、帰納的に自然数の元が構成できる。そして、無限公理で、極限順序数ω(それは自然数の集合Nでもある)の存在が導かれる ・その後、ωに後者関数を適用することで、”ω, S(ω), S(S(ω)), S(S(S(ω))), ......”(下記)と続くということです ・後者関数の選び方には、任意性があるが、「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」 ・だから、シングルトンによる後者関数に目くじら立てるのは間違い。シングルトンによる後者関数であっても極限順序数は可能ですよ ∵シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、それは極限順序数ωでもあるのです! http://rio2016.5ch.net/test/read.cgi/math/1595034113/237
238: 132人目の素数さん [sage] 2020/11/02(月) 06:45:05.90 ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/713 713 特別支援学校教諭 2020/11/02(月) 06:18:54.78ID:PUodusEe >>711 噛んで含める説明 >無限公理の本質は 以下の式の通りですよ 「ある集合Aが存在し、Aは空集合を要素とし Aの任意の要素xについて、その後者S(x)も要素とする」 ∃A({}∈A∧∀x∈A(S(x)∈A)) >それを表現する式のテクニカルな話ではない。 テクニカルな話=後者関数の形体 ということならその通りですね つまり、後者関数によって生成される集合がシングルトンか否かとは無関係に、 無限公理によって、無限集合(シングルトンに非ず)の存在が前提される ということです http://rio2016.5ch.net/test/read.cgi/math/1595034113/238
380: 132人目の素数さん [sage] 2021/11/18(木) 05:09:08.90 ID:QG01/Tfp >>377 >>ω={0, 1, 2, 3, ............}とすれば良い >つまりシングルトンは間違いだと認めるんですね? 三歳児クンは>>376で 「かさんたじゅうしんぐるとんは絵にかけるもん!」 といいだしたので間違いだとは認めないんじゃないから ほんとこまったチャンでちゅね 三歳児クンはw >誰が無限を認めないと言ってるんですか?安達弘志じゃあるまいし そんなひといましたな 亡くなったんですかね 安達のお爺ちゃん >認めないのはωをシングルトンとして構成できるというトンデモ説ですよ そうですね カッコの図形として描けたからといって それがそのまま集合として存在するわけではない ゴジラを着ぐるみとして実現できたからといって それがそのまま怪獣として実在できるわけではない >幻聴でも聞こえるんですか?精神科を受診されては? でも治りますかね? 精神病というより人格障害というか発達障害というかそっち方向ですからねえ http://rio2016.5ch.net/test/read.cgi/math/1595034113/380
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.745s*