[過去ログ] スレタイ 箱入り無数目を語る部屋4 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
305
(1): 2022/10/30(日)14:09 ID:6rtRwLi2(16/33) AAS
こうして P^*(A) ≧ 99/100 が示せたわけだが、次は決定番号 d について考える。

まず、(d∈N) = [0,1]^N なので、(d∈N) は可測であり、確率 P(d∈N) が定義できて、
しかも P(d∈N)=1 が成り立つ。次に、(d≦m) は m≧1 に関して単調増加であり、
(d≦m) ↑ [0,1]^N (m→∞) が成り立つ。よって、測度 P の上への連続性から、

lim[m→∞] P(d≦m) = 1

が成り立つことが期待される。しかし、(d≦m) は非可測なので、P(d≦m) は定義できない。
しかし、P から生成される外測度 P^* について、P^*(d≦m) なら普通に定義できる。実は、
省4
343: 2022/10/30(日)16:13 ID:6rtRwLi2(25/33) AAS
>>327
>ここでは、非正則分布使いません!w
>使っているのは、時枝氏のデタラ"目" 確率99/100を導く理論のところですよ

スレ主の「非正則分布」が意味を成さないことは、

・ lim[m→∞] P^*(d≦m) = 1 (>>305)

を見れば一目瞭然である。もし非正則分布だったら、スレ主が今まで何度も主張してきたように

"lim[m→∞] (d≦m が成り立つ確率) = 0"
省7
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s