[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
399(2): 2022/10/31(月)22:46 ID:V6kL7bYX(26/47) AAS
定理：任意の A∈F_N と任意の k≧0 に対して、A^[k]∈F_N であり、
しかも μ_N(A^[k]) ≦ μ_N(A^[k＋1]) (k≧0)である。
証明：A∈F_N に対して A^[k]∈F_N が成り立つことの証明は省略する。
次に、A∈F_N を任意に取る。μ_N(A^[k]) ≦ μ_N(A^[k＋1]) (k≧0)を示したい。
一般に (A^[k])^[l]＝A^[k＋l] なので、μ_N(A) ≦ μ_N(A^[1]) が示せれば十分である。
まず、A ⊂ [0,1]A^[1] が成り立つ。また、A, [0,1]A^[1]∈F_N である。よって、
μ_N(A) ≦ μ_N([0,1]A^[1]) であり、そして μ_N([0,1]A^[1])＝μ_N(A^[1]) である。
省1
432: 2022/11/01(火)00:07 ID:sIOgpcGr(1/28) AAS
>>390-425
読み返してみたが、さすがにこの分量だと変なミスがあるな。すまん。
(>>399)
＞定理：任意の A∈F_N と任意の k≧0 に対して、A^[k]∈F_N であり、
＞しかも μ_N(A^[k]) ≦ μ_N(A^[k＋1]) (k≧0)である。
この定理、A^[k]∈F_N の証明は省略していたが、丁寧にやってみたところ、
なんか示せそうにない(サイコロのような離散的な場合だと示せるのだが)。
省2
434: 2022/11/01(火)00:10 ID:sIOgpcGr(3/28) AAS
では、>>399は丸ごと削除し、そして>399の性質を使っている唯一の>>404を証明し直す。
そのやり方は、>>400 >>402と全く同じ方法でよかった。
A⊂[0,1)^N を任意に取る。μ_{N*}([0,1)A)＝μ_{N*}(A) を示したい。
A⊃B∈F_N なる B を任意に取れば、[0,1)A ⊃ [0,1)B∈F_N なので、
μ_{N*}([0,1)A) ≧ μ_{N*}([0,1)B)＝μ_N([0,1)B)＝μ_N(B) である。
A⊃B∈F_N なる B は任意だったから、そのような B の sup を取れば、
μ_{N*}([0,1)A)≧μ_N^*(A) となる。次に、[0,1)A ⊃ B ∈ F_N なる B を任意に取る。
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s