[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)

スレタイ 箱入り無数目を語る部屋4 http://rio2016.5ch.net/test/read.cgi/math/1666352731/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

434: １３２人目の素数さん [sage] 2022/11/01(火) 00:10:10.22 ID:sIOgpcGr では、>>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 を任意に取る。 x∈[0,1) を任意に取って、x での断面を考えれば、( [0,1)A )_x ⊃ B_x である。 ( [0,1)A )_x ＝ A なので、A ⊃ B_x である。さらに、B∈F_N により B_x∈F_N である。 よって、μ_{N*}(A)≧μ_{N*}(B_x)＝μ_N(B_x)である。これが任意の x∈[0,1) で言える。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/434

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 568 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.014s