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

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

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

---

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

---

410: １３２人目の素数さん [sage] 2022/10/31(月) 23:02:39.23 ID:V6kL7bYX さて、Poly は無限集合なので、異なる可算無限個の v_i∈Poly を取れば、 (T^[k]∩[0,1)^N) [+] Poly が直和であることから、 { (T^[k]∩[0,1)^N) [+] v_i }_{i≧1} は互いに素である。ここで、B⊂T^[k]∩[0,1)^N なる B∈F_N を任意に取る。 すると、B [+] v_i ∈ F_N である。また、B [+] v_i ⊂ (T^[k]∩[0,1)^N) [+] v_i により、 { B [+] v_i }_{i≧1} は互いに素である。また ∪[i＝1〜∞] (B [+] v_i) ⊂[0,1)^N である。 両辺の μ_N を考えると、 Σ[i＝1〜∞] μ_N(B [+] v_i) ≦ μ_N([0,1)^N) ＝ 1 である。さらに、μ_N(B [+] v_i) ＝ μ_N(A) である。よって、Σ[i＝1〜∞] μ_N(B) ≦ 1 となったので、μ_N(B)＝0 となるしかない。B ⊂T^[k]∩[0,1)^N なる B∈F_N は任意だったから、 μ_{N*}(T^[k]∩[0,1)^N)＝0 である。よって、μ_{N*}(T^[k])＝0 である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/410

411: １３２人目の素数さん [sage] 2022/10/31(月) 23:03:42.41 ID:V6kL7bYX 今の時点で、 ・ μ_N^*(d≦k) ＝ μ_N^*(T^[k]),　μ_{N*}(d≦k) ＝ μ_{N*}(T^[k]), ・ lim[k→∞] μ_N^*(T^[k]) ＝ 1,　μ_{N*}(T^[k])＝0 (k≧0) が得られている。特に、ある k_0≧1 が存在して、k≧k_0 のとき μ_N^*(T^[k]) ＞ 0 である。 よって、μ_N^*(T^[k]) ＞ μ_{N*}(T^[k]) (∀k≧k_0) である。すなわち、 μ_N^*(d≦k) ＞ μ_{N*}(d≦k)　(∀k≧k_0) である。([0,1]^N, F_N, μ_N) の完備化 ([0,1]^N, F_{Nw}, μ_{Nw}) について、 >>392の定理により μ_{Nw}^* ＝ μ_N^*, μ_{Nw*} ＝ μ_{N*} だから、 μ_{Nw}^*(d≦k) ＞ μ_{Nw*}(d≦k)　(∀k≧k_0) である。>>392の定理により、¬((d≦k) ∈ F_{Nw}) (∀k≧k_0) である。 すなわち、(d≦k) は k≧k_0 のとき非可測である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/411

412: １３２人目の素数さん [sage] 2022/10/31(月) 23:04:35.98 ID:V6kL7bYX 補足：「 k≧k_0 のとき (d≦k) は非可測である」とは、 「有限個の k を除いて (d≦k) は非可測である」という意味に他ならない。 では、残りの有限個の k に対しては、(d≦k) は可測なのか？それとも非可測なのか？ 実は、使用する完全代表系 T によっては、有限個の k に対して (d≦k) が ゼロ集合になるようにできる。この場合、それらの (d≦k) は可測になる。この意味において、 「有限個の k を除いて (d≦k) は非可測である」 という主張は最良の結果である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/412

413: １３２人目の素数さん [sage] 2022/10/31(月) 23:06:34.13 ID:V6kL7bYX 補足：以下では、有限個の k に対して (d≦k) が可測になる例を挙げておく。 U＝{s∈[0,1]^N｜s_0＝s_1＝s_2＝0 } ＝ {0}^3[0,1]^N と置く。[0,1]^N 上の同値関係 〜 をU上に導入すれば、〜 はそのまま U 上の同値関係になる。 U の〜に関する完全代表系を1つ取って T_0 と置くと、これは [0,1]^N 上の〜に関する 完全代表系にも なっていることが確かめられる。 この T_0 から決定番号の写像 d：[0,1]^N → N∪{0} を作った場合には、 (d≦k)∩[0,1)^N ＝ [0,1)^k(T_0^[k]∩[0,1)^N) (k≧1) をk＝2に対して適用すれば、 (d≦2)∩[0,1)^N ＝ [0,1)^2(T_0^[2]∩[0,1)^N) ⊂ T_0^[2] ⊂ U^[2] ＝ {0}[0,1)^N なので、μ_{Nw}^*((d≦2)∩[0,1)^N) ≦ μ_{Nw}^*({0}[0,1]^N) ＝ 0 であり、 よってμ_{Nw}^*(d≦2)＝0 であり、完備性により (d≦2)∈F_{Nw} かつ μ_{Nw}(d≦2)＝0 となる。 すなわち、(d≦2) は可測となる。(d≦0) ⊂ (d≦1) ⊂ (d≦2) 及び完備性により、 (d≦0),(d≦1)∈F_{Nw} かつ μ_{Nw}(d≦0)＝0, μ_{Nw}(d≦1)＝0 となる。 よって、この T_0 の場合では、(d≦k) は k＝0,1,2 に対して可測となる。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/413

414: １３２人目の素数さん [] 2022/10/31(月) 23:08:06.90 ID:vpuiD3x9 >>389 御託はいいから、証明かけよ おれのためじゃなく、証明を要求したID:Rh3Q9O/g氏や その他にも、証明を見たいって人いるだろう？ >別に読まなくても構わんが、その場合はスレ主は>>371-372を受け入れなければならない。 不同意！ 数学では、そんな理屈はないよ おれは、あんたのクソ証明を見て、 ID:Rh3Q9O/g氏や他の人が、どういう反応を示すかみたいだけ ID:Rh3Q9O/g氏や他の人が、クソ証明だというならば、多分それはクソだよね ID:Rh3Q9O/g氏や他の人が、あんたの証明を見て賞賛するなら、それから考えるよ まあ、クソでも賞賛でもないなら、それはそのときでまた考えるさ ともかく、証明書いてみな なお、以前にも類似（他の人で証明読んでくれ）があったけど 個人的希望は、ＰＤＦにしてアップしてもらいたいね この板では、数式はまともに書けない等があるから視認性が悪いのでね http://rio2016.5ch.net/test/read.cgi/math/1666352731/414

415: １３２人目の素数さん [sage] 2022/10/31(月) 23:08:23.41 ID:V6kL7bYX さて、「ある k_0≧1 が存在して、(d≦k) は k≧k_0 のとき非可測」であることから、 { k≧0｜∀k'≧k s.t. (d≦k') は非可測 } という集合は空でない。そこで、この集合の最小元を再び k_0 と置くことにする。 よって、k_0 ≧ 0 であり、k≧k_0 のとき、(d≦k) は非可測である。 ・ もし k_0＝0 なら、任意の k≧0 に対して (d≦k) は非可測ということになる。 ・ もし k_0≧1 なら、k_0 の最小性から、(d≦k_0−1) は可測、すなわち 　 (d≦k_0−1) ∈ F_{Nw}　ということになる。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/415

416: １３２人目の素数さん [sage] 2022/10/31(月) 23:09:58.76 ID:V6kL7bYX 定理：>>376の確率空間(Y_n,E_n,α_n)について、ここでは n＝99 の場合を考える。 d：[0,1]^N → N∪{0}は決定番号の写像とする。z＝(z^{0},…,z^{98})∈Y_99 に対して、 D(z)：＝ max{d(z^{j})｜0≦j≦98} として D：Y_99 → N∪{0} を定義する。このとき、α_99^* (D≧k_0) ＞ 0 である。 証明：k_0＝0のときは、α_99^* (D≧0) ＞ 0 を示せばよいが、そもそも D は非負なので、 (D≧0)＝Y_99 であり、よって α_99^* (D≧0) ＝ 1 ＞ 0 である。 以下では、k_0≧1 としてよい。(Y_99,E_99,α_99)の完備化(Y_99, E_{99w}, α_{99w})について、 >>392の定理により α_99^*＝α_{99w}^* が成り立つことに注意する。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/416

417: １３２人目の素数さん [] 2022/10/31(月) 23:10:56.69 ID:NkNyx+A/ >>414 おまえは3歳児か http://rio2016.5ch.net/test/read.cgi/math/1666352731/417

418: １３２人目の素数さん [sage] 2022/10/31(月) 23:11:29.69 ID:V6kL7bYX さて、α_99^*(D≧k_0)＞0 を示したいのだった。α_99^*(D≧k_0)＝0 と仮定する。 このとき、>>392の定理により (D≧k_0)∈E_{99w} かつ α_{99w}(D≧k_0)＝0 である。 (Y_{98},E_{98},α_{98})と([0,1]^N,F_N,μ_N)の積空間が(Y_99, E_99, α_99)であるから、>>393の定理により、 α_98.a.e. u∈Y_98, μ_N.a.e. v∈[0,1]^N s.t. ¬( (u,v)∈(D≧k_0) ) が成り立つ。すなわち、 α_98.a.e. u∈Y_98, μ_N.a.e. v∈[0,1]^N s.t. (u,v)∈(D≦k_0−1) が成り立つ。よって、あるゼロ集合 M_98∈E_98が存在して、 ∀u∈Y_98−M_98, μ_N.a.e. v∈[0,1]^N s.t. (u,v)∈(D≦k_0−1) が成り立つ。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/418

419: １３２人目の素数さん [sage] 2022/10/31(月) 23:12:04.46 ID:V6kL7bYX そこで、u∈Y_98−M_98 を1つ取って固定する。よって、 μ_N.a.e. v∈[0,1]^N s.t. (u,v)∈(D≦k_0−1) が成り立つ。よって、あるゼロ集合 M_1∈F_N が存在して、 ∀v∈[0,1]^N−M_1 s.t. (u,v)∈(D≦k_0−1) が成り立つ。すなわち、 ∀v∈[0,1]^N−M_1 s.t. D(u,v) ≦ k_0−1 である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/419

420: １３２人目の素数さん [] 2022/10/31(月) 23:12:53.76 ID:NkNyx+A/ >>387 >あなたには http://www.ma.huji.ac.il/hart/puzzle/choice.pdf Theorem 1 の証明の中の間違っている文を挙げることができない >ということでよろしいか？ にできると言いながら挙げない時点で詰み できるできる詐欺かｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/420

421: １３２人目の素数さん [sage] 2022/10/31(月) 23:13:04.88 ID:V6kL7bYX D(u,v)＝ max{ d(u^{0}),…,d(u^{98}), d(v) } だから、 ∀v∈[0,1]^N−M_1 s.t. d(u^{0})≦k_0−1, d(u^{1})≦k_0−1,…, d(u^{98})≦k_0−1, d(v)≦k_0−1 ということになる。特に、 ∀v∈[0,1]^N−M_1 s.t. d(v)≦k_0−1 である。これは [0,1]^N−M_1 ⊂ (d≦k_0−1) を意味する。 特に、μ_{Nw}^*([0,1]^N−M_1) ≦ μ_{Nw}^*(d≦k_0−1) が成り立つ。 すなわち、1≦μ_{Nw}^*(d≦k_0−1) である。一方で、>>411で見たように μ_{Nw*}(d≦k)＝0 (∀k≧0) なので、特に μ_{Nw*}(d≦k_0−1)＝0 である。よって、 μ_{Nw*}(d≦k_0−1) ＜ μ_{Nw}^*(d≦k_0−1) となったので、(d≦k_0−1) は非可測である。しかし、k_0の最小性から、(d≦k_0−1) は可測なので矛盾。 以上により、α_99^*(D≧k_0)＞0 である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/421

422: １３２人目の素数さん [] 2022/10/31(月) 23:13:37.88 ID:vpuiD3x9 >>403 挙げている アホか お前はｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/422

423: １３２人目の素数さん [sage] 2022/10/31(月) 23:14:00.40 ID:V6kL7bYX さて、>>375-383の証明を修正しなければならない。>>382 の ＞B∈E_w だったから、>>375の補題により、α_99.a.e.z＝(z^{0},z^{1},…,z^{98})∈Y_99 に対して、 ＞B の z での断面 B_z は B_z∈F_{Nw} を満たす。すなわち、あるゼロ集合 M∈E_99 が存在して、 ＞任意の z∈Y_99−M に対して、B の z での断面 B_z は B_z∈F_{Nw} を満たす。 この部分までは、修正の必要はない。ここから先は、新しく証明を書き直す。 状況を整理しておくと、A が可測であるという仮定のもとで、 B ＝ { (y^{0},y^{1},…,y^{99})∈Y｜d(y^{99})≦max{d(y^{j})｜0≦j≦98} } という集合について、 (☆) あるゼロ集合 M∈E_99 が存在して、任意の z∈Y_99−M に対して、B の z での断面 B_z は B_z∈F_{Nw} を満たす という展開になっている。ここから矛盾を導きたい。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/423

424: １３２人目の素数さん [sage] 2022/10/31(月) 23:14:19.60 ID:V6kL7bYX z＝(z_0,…,z_98)∈Y_99−M に対して、D(z)：＝ max{d(z^{j})｜0≦j≦98} と定義する。 任意の z∈Y_99−M に対して、(☆)により B_z∈F_{Nw} であるが、一方で B_z ＝ { y^{99}∈[0,1]^N｜(z,y^{99})∈B } ＝ { y^{99}∈[0,1]^N｜d(y^{99})≦max{d(z^{j})｜0≦j≦98} } ＝ { y^{99}∈[0,1]^N｜d(y^{99})≦D(z) } ＝ (d≦D(z)) であるから、結局、(d≦D(z))∈F_{Nw} ということになる。これが任意の z∈Y_99−M で成り立つ。 よって、次が言えたことになる。 (☆☆) ∀z∈Y_99−M s.t. (d≦D(z))∈F_{Nw}. http://rio2016.5ch.net/test/read.cgi/math/1666352731/424

425: １３２人目の素数さん [sage] 2022/10/31(月) 23:14:42.60 ID:V6kL7bYX 一方で、>>416の定理により、α_{99}^*(D≧k_0) ＞ 0 である。α_99(M)＝0 なので、 α_{99}^*((D≧k_0)−M) ＞ 0 である。よって、(D≧k_0)−M は空でない。 そこで、z∈(D≧k_0)−M を1つ取る。すると、特に z∈Y_99−M なので、 (☆☆)により (d≦D(z))∈F_{Nw} である。一方で、z∈(D≧k_0) なので、 D(z)≧k_0 である。よって、 ・ (d≦D(z))∈F_{Nw},　D(z)≧k_0 ということになったが、任意の k≧k_0 に対して (d≦k) は非可測なので矛盾。 以上により、A は可測という仮定は間違っていたことになる。よって、A は非可測である。■ http://rio2016.5ch.net/test/read.cgi/math/1666352731/425

426: １３２人目の素数さん [sage] 2022/10/31(月) 23:17:42.56 ID:V6kL7bYX >>407 ＞２）”どんな実数を入れるかはまったく自由”だから、(-∞、+∞)でしょ！！ｗ もともとの時枝記事では、出題する実数列は固定である。 何を選んでもよいが、選んだあとは固定である。 その固定された実数列に対して、回答者が何度も時枝戦術をテストするという構造である。 一方で、スレ主は実数列自体をランダムにしたいと考えている。 ところが、R 上の一様分布は存在しない。つまり、R に拘っている限り、スレ主が望むような 「標準的なランダム性を兼ね備えた出題」 は不可能。しかし、閉区間[0,1]なら一様分布が存在する。 よって、箱の中身を「0以上1以下の実数」に制限すればよい。 時枝記事の不思議さは、このように制限しても失われない。それだけの話。 今さら [0,1] に文句をつけるのはナンセンス。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/426

427: １３２人目の素数さん [] 2022/10/31(月) 23:19:00.76 ID:NkNyx+A/ >>422 挙げてない アホか お前はｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/427

428: １３２人目の素数さん [] 2022/10/31(月) 23:22:01.74 ID:vpuiD3x9 >>421 ご苦労様ですｗ 区間[0,1]のトイモデルが終わったら 元の時枝の通り>>1の [0,1]→｛-∞、+∞｝やってくれ>>407 http://rio2016.5ch.net/test/read.cgi/math/1666352731/428

429: １３２人目の素数さん [sage] 2022/10/31(月) 23:23:46.12 ID:V6kL7bYX >>428 それは不可能。理由は>>426で書いたとおり、 ＞一方で、スレ主は実数列自体をランダムにしたいと考えている。 ＞ところが、R 上の一様分布は存在しない。つまり、R に拘っている限り、スレ主が望むような ＞ ＞「標準的なランダム性を兼ね備えた出題」 ＞ ＞は不可能。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/429

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.014s