[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
854: 2019/09/08(日)12:01 ID:cMOAtiJl(5/20) AAS
>>837
>３）Xiが無限回のサイコロ投げ（東大 会田茂樹 PDF>>835の通りで、サイコロは普通で投げた後とまるｗ）
> だと、∀i∈Nで P(Xi)＝1/6です
それは任意の箱の中身を当てずっぽうで当てる確率。
時枝解法の確率は100個の候補から99個以上の当たり箱を選ぶ確率。つまり確率の対象がまったく異なるので
> 時枝記事の ∃i∈Nで P(Xi)＝99/100 とはならない
は言えない。論理がまったくデタラメ。
> だから、”相手の「どんな実数を入れるかはまったく自由」”の前提内で、反例がある
論理がデタラメで反例になっていない。
>４）戦略の話ではありません！！ 戦略以前の、「どんな実数を入れるか」の話ですよ
どんな実数を入れるかはまったく自由。
当てずっぽう戦略と時枝戦略では確率の対象が異なる。
おまえは当てずっぽう戦略がmustと言っている。回答者の戦略の自由を侵害しており論外。
サルは「当たるはずが無い」という直観を主張するばかりで時枝解法を見ようとしない。
自分が理解できない解法は見たくもないのだろう。
もうサルは失せろよ。数学板のレベルじゃない。
855: 2019/09/08(日)12:07 ID:cMOAtiJl(6/20) AAS
>>853
>全ての集合は空集合を部分集合として含む
空集合という元が属すとは書かれてないんだがｗ
まあサルが↑を理解できないなら0を1に替えてもいい。
反例：A={1},B={{1}}
A∈B だが、A⊂B ではない
∵集合Aの元1は、集合Bの元ではない。
856: 2019/09/08(日)12:09 ID:7MS+nwFK(3/4) AAS
>> 846
> 時枝のΩ ＝ R^N
> 勝手に並べ変える？
数当て戦略では無限数列を試行の結果としてみていないからだよ
袋の中に完全代表系が1つだけ入っている
つまり全ての同値類に対してそれぞれ1つだけ代表元が入っていて変更されることはない
そこで出題された(値が変更されない)任意の無限数列に対して
(1) 分けた100列から1列選ぶ
(2) 残りの99列を全て開けてそれぞれの列に対して代表元1つを使い
決定番号(定数)を求める
(3) 99列の決定番号の最大値D(定数)を求める
(4) 選んだ1列のD+1番目以降を全て開けて同値類を求める
Dの値によって同値類は変化しない
(5) 選んだ列の(変化しない)同値類の代表元rのD番目 = rD (定数)を答える
rnやDは全て開けた箱の中の数字や袋の中の変更されない代表元を用いて
決めるから無限数列を試行の結果としてみなくてよい
> 残り、可算無限個は、サイコロの目の入れたら、確率論通り1/6？
残りは全部箱を開けて中身を見てよいから箱の中の数字を確率的に考える意味がない
> 何回も独立に
> サイコロ投げを続けることを考える. その試行の結果として、1〜6 の数字の無限列が現れる.
> この無限列一つ一つが根元事象とみなせる. すなわち
> Ω は Ω = ｛ a1, a2, ・ ・ ・ , an, ・ ・ ・) ｜ ai = 1, ・ ・ ,6 ｝
100列の無限数列から1列選ぶことを考える
その試行の結果として1〜100の数字が現れる
この100個の数字1つ1つが根元事象とみなせる
すなわち Ω = {1, 2, ... , 100}
100列の内で数当てに失敗するのは2列以上にならないから
的中確率は(少なくとも)99/100
857: 2019/09/08(日)12:12 ID:cMOAtiJl(7/20) AAS
>>852
>それ、なんか、勘違いしていますよ（＾＾；
勘違いしてるのはサルｗ
>A が B の部分集合であることを、「A は B に（部分集合として）含まれる（contained; 包含される）」、「A は B に包まれる（included; 包摂あるいは内包される）」などということもある。
どこにも「AはBに（元として）属す」とは書かれてないんだがｗ
いいから近所の中学生に教えてもらえ
理解するまでROMってろ、分かってるふりしなくていいから
858(1): 2019/09/08(日)12:39 ID:cMOAtiJl(8/20) AAS
>>845
>２）二つの集合A,Bで、A ⊂ B → A ∈ B
> ∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
反例：A=B={1}
A⊂B だが、A∈B ではない
∵集合Bに{1}という元は属していない。
いいから近所の中学生に教えてもらえ
理解するまでROMってろ
859: 2019/09/08(日)12:48 ID:cMOAtiJl(9/20) AAS
サルの妄想癖にも困ったものだ
書かれていないことまで妄想して独善解釈する
書かれていることをその通りに解釈するということができない
だからアホレスを連発する、数学以前、病気
サルはすぐに病院池
妄想癖の治療が終わるまでROMってろ
860: 2019/09/08(日)12:52 ID:cMOAtiJl(10/20) AAS
>>845
> ∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
内部で？元を集めて？構成できる？
何を妄想してるんだかこのサルは
861: 2019/09/08(日)13:08 ID:cMOAtiJl(11/20) AAS
>>850
>２）これを公理として認めるわけですから、”「P(k) ⇒ P(k + 1)」で自然数全体に至る”を認めるということです
何の回答にもなってないｗ
”「P(k) ⇒ P(k + 1)」で自然数全体に至る”が意味不明
数学的帰納法からなぜ”「P(k) ⇒ P(k + 1)」で自然数全体に至る”が言えるのか不明
862: 2019/09/08(日)13:09 ID:cMOAtiJl(12/20) AAS
サルは分かってないのに分かってるふりしなくていいから
863: 2019/09/08(日)13:26 ID:cMOAtiJl(13/20) AAS
当たるはずが無いという直観はある意味では正しい。
現実世界では無限個の箱は用意できないし、選択公理を認めなければ時枝解法は使えない。
当てられるのはあくまで現代数学の中での話。
現代数学を理解せぬサルが直観にしがみつくのも仕方ない話ではある。
864: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)14:14 ID:KY2miv9A(14/23) AAS
メモ
外部ﾘﾝｸ:matomｅ.naver.jp/odai/2143648719663632301
ABC予想って結局どうなったの？ちょっと整理してみた。
２０１２年９月１７日に日本の報道各社が一斉に報じた「ABC予想解明か」というニュース、覚えてますか？
ここでは、ABC予想のニュースのその後について、最新情報を中心にまとめていきます。
更新日: 2019年05月02日
この記事は私がまとめました
abc_conjectureさん
865(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)14:26 ID:KY2miv9A(15/23) AAS
>>858
いや確かに
正則性公理を採用しているから
ｘ not∈ x
だな
だから、>>845の
”２）二つの集合A,Bで、A ⊂ B → A ∈ B”
は、不成立
（反例としては、A ⊂ Ａ → A not∈ A だな）
だから、”同値”も撤回する
但し、”「まったく別もの」ではない”は、正しい（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
正則性公理
・∀xについて、無限下降列である x ∈ x_ 1 ∈ x_ 2 ∈ ... は存在しない。
866(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)14:28 ID:KY2miv9A(16/23) AAS
再度言おう
スレ75?2chｽﾚ:math時枝記事の手法など
プロ数学者は、だれも相手にしない
不成立に見えて、自明に不成立だから ｗ（＾＾
スレ75?2chｽﾚ:math
i.i.d. 独立同分布
（説明）
１．箱が1個。確率変数X1
サイコロ，コインなら、確率空間は、下記の定義の通り。
サイコロΩ={1,2,3,4,5,6}で、1〜6の数が箱に入り、各確率1/6
コイン１枚なら、Ω={0,1}で、0か1の数が箱に入り、各確率1/2
２．箱がｎ個。確率変数X1,X2,・・・,Xn
i.i.d. 独立同分布とすると、各箱は上記1の通り
(２’箱がｎ+1個。確率変数X1,X2,・・・,Xn+1
i.i.d. 独立同分布とすると、各箱は上記1の通り)??
３．箱が可算無限個。確率変数X1,X2,・・・ →X∞
i.i.d. 独立同分布とすると、各箱は上記1の通り
４．これは、数学的帰納法の証明にもなっている。時枝は、これで尽きている。上記１〜３のどの箱の確率変数も例外なし！
QED（＾＾
（参考）
外部ﾘﾝｸ:mathtrain.jp
確率空間の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06外部ﾘﾝｸ:ja.wikipedia.org
数学的帰納法
867(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)14:29 ID:KY2miv9A(17/23) AAS
＜i.i.d. 独立同分布＞
・現代確率論が、独立な確率変数の無限族を扱えることは、下記時枝記事にもある
（時枝は、「箱にXnのランダムな値を入れられて」と表現しているが、数学では箱自身をXnと考えることができる（念のための注））
・箱が1つある。それをXiとする。サイコロの目を入れる。自明にP(Xi)=1/6
・その回りに箱を1つ増やす。独立で同分布として、サイコロの目を入れるとして、同じく確率は1/6。
・箱をｎ個増やす。上記同様
・箱をｎ＋１個増やす。上記同様
・数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ
（自明だが念のため）・そして、時枝先生は、反省しています。 （下記）「もうちょっと面白いのは，独立性に関する反省だと思う.その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，当てられっこないではないか−−他の箱から情報は一切もらえないのだから」
（下記の独立の定義より）
・独立だから、Xi以外の箱の変数の値が分かっても、Xiの確率は変化せず、P(Xi)=1/6のまま
・”i.i.d. 独立同分布”の仮定より、全てのiについて上記は成立する
QED
（参考）
スレ47?2chｽﾚ:math
(抜粋)
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
(引用終り)
外部ﾘﾝｸ:ja.wikipedia.org
独立 (確率論)
(抜粋)
2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の確率分布が変化しないことを意味する[1]。
事象 A と B が独立であるとは、事象 B の起こることが事象 A の起こる確率に一切の影響を与えないことを意味する。
868: 2019/09/08(日)14:30 ID:cMOAtiJl(14/20) AAS
>>865
>但し、”「まったく別もの」ではない”は、正しい（＾＾
意味不明過ぎｗ 「別じゃない」なら何？
869: 2019/09/08(日)14:33 ID:cMOAtiJl(15/20) AAS
>>866
また妄想か
早く治療しろ
870(2): 2019/09/08(日)14:34 ID:bH+0Hw/z(2/4) AAS
>>838
ピエロ、とはどなたですか？
妄想のようですね 精神科を紹介しますよ
あなたは「自然数論の真偽の定義」を示せていませんね
要するにあなたは論文を理解できないにもかかわらず
論文の著者を無条件に信じた愚か者ですね
871: 2019/09/08(日)14:38 ID:cMOAtiJl(16/20) AAS
>>867
>・数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ
大間違い
任意の有限列で成立することが無限列で成立するとは限らない
数学的帰納法を誤用している
近所の高校生に教えてもらえ
まあ高校生も困るだろうな、これだけ説明しても分からないバカ相手じゃ
872(1): 2019/09/08(日)14:45 ID:bH+0Hw/z(3/4) AAS
カット除去による無矛盾性証明に関しては、
林晋の「形式化と無矛盾性証明のパラドックス」
（林晋編著「パラドックス」（日本評論社）に収録）
を読まれたい
要するに、自然数論の証明がカットを含んでいないなら無矛盾である、
と自然数論でも証明できるので、一般の自然数論の証明から
必ずカットを除去できるならば、無矛盾性が証明できるという発想だが
肝心の「必ずカットが除去できる」という点が、自然数論の中では
実現できず、自然数論の外の推論（ε0に関する超限帰納法）を必要とする
873: 2019/09/08(日)14:50 ID:cMOAtiJl(17/20) AAS
>>865
>いや確かに
>正則性公理を採用しているから
>ｘ not∈ x
>だな
バカ過ぎ
正則性公理を持ち出すまでもなく間違いである
874: 2019/09/08(日)15:11 ID:bH+0Hw/z(4/4) AAS
>>872
ついでにいうと、カットの無い証明に関する証明可能性述語は
第二不完全性定理の証明の前提である可導性条件を満たさないので
第二不完全性定理（自然数論の無矛盾性証明が自然数論で証明できない）
に反するように見える結果が証明できる
875(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)17:48 ID:KY2miv9A(18/23) AAS
>>867 補足追加
1〜pまでの数をランダムに箱に入れる
（例えば、1〜pまでの整数の札を、毎回シャッフルして選ぶ。選んだ数を書いた紙を箱に入れる。札は戻して、繰返す。）
箱は、取り敢ず有限ｎ個とする。
d=1, 2, 3, 4, ・・・, n-1, n
*)1,p-1,p^2-p,p^3-p^2,・・・,p^(n-1)-p^(n-2),p^n-p^(n-1)
ｄは決定番号
*)は、場合の数で、全体ではp^n
これを確率分布に直すと
d= 1, 2, 3, 4 , ・・・, n-1, n
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,p^-p^2, 1-1/p
時枝の決定番号では、見ての通り、nが大きくなっても
減衰しません（下記「裾の重い分布」ご参照）
こういう分布で、ｄ→∞ になると
なので、ｄ→∞で確率論における確率測度（probability measure ）（例えば下記重川「定義1.3」（特にP(Ω)＝1）など）を満たさなくなるのです
外部ﾘﾝｸ:ja.wikipedia.org
裾の重い分布
(抜粋)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
スレ74 2chｽﾚ:math
外部ﾘﾝｸ[pdf]:www.math.kyoto-u.ac.jp
2013年度前期 確率論基礎 講義ノート 重川一郎 京都大学大学院理学研究科数学教室
P6
定義1.3 可測空間（Ω,F）上の測度PでP(Ω)＝1 を満たすものを確率測度（probability measure ）という。
876(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)17:54 ID:KY2miv9A(19/23) AAS
>>843
＞無限列は「これ以上分けられない」のですよね？
分けられますよ
下記の確率論 Makoto Mori 日大 2013
P12 例 1と例 2 ご参照
（＾＾
外部ﾘﾝｸ:www.math.chs.nihon-u.ac.jp
Makoto Mori
外部ﾘﾝｸ[pdf]:www.math.chs.nihon-u.ac.jp
確率論 Makoto Mori 日大 2013
P12
第 1 章 確率空間
例 1 An = {ω ∈ {0, 1}^N : ωn = 1} とおけば，P(An) = 1/2 は，Borel?Cantelli
の (2) をみたす．したがって，確率 1 で硬貨投げは表が無限回現れる．
例 2 Akn = {{0, 1}^N : ωn = ・ ・ ・ = ωn+k?1 = 1} とおけば，P(Akn) = 1/2^k は，
Borel?Cantelli の (2) をみたす．したがって，確率 1 で硬貨投げは表が連続 k
回が無限回現れる．確率 1 の集合の可算交わりは確率 1 なので，いくらでも
長い連が確率 1 で現れる．
P28
第 3 章 確率変数
例 4 X1, X2, . . . を独立な硬貨投げとする．
例 5 X1, X2, . . . を独立な硬貨投げとする．
877(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)18:09 ID:KY2miv9A(20/23) AAS
>>870
ピエロちゃんじゃないのかね？
もし、違ったら、ご容赦
（まだ疑念は残るが）
なお、”ピエロ”の定義は、>>2ご参照
(引用開始)
”あなたは「自然数論の真偽の定義」を示せていませんね
要するにあなたは論文を理解できないにもかかわらず
論文の著者を無条件に信じた愚か者ですね”
(引用終り)
ご冗談でしょｗ
貴方は、どんなに偉い人かしらないが
ただの １３２人目の素数さん＝ID:bH+0Hw/zでしょ
いや、別に、数学を偉さで判断しようとは思わないが
あなたは、前原昭二先生の 1979の投稿論文（下記）が間違っていると言いたいわけ？？ｗｗ（＾＾
この5CHのガロアスレで、言いたいわけ？ｗ
議論の場所を間違えていませんか？
自分の蘊蓄を語りたいの？
なら論文投稿したら？
それとも精神科を紹介しましょうか（＾＾
参考（>>802）
外部ﾘﾝｸ:www.jstage.jst.go.jp
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
（>>821）
外部ﾘﾝｸ:ja.wikipedia.org
論理学者
(抜粋)
前原昭二
外部ﾘﾝｸ:kotobank.jp
コトバンク
前原昭二（読み）まえはら しょうじ デジタル版 日本人名大辞典+Plusの解説
1927−1992 昭和後期-平成時代の数学者。
昭和2年10月30日生まれ。
38年東京教育大教授となる。
52年筑波大教授。
55年東京工業大教授。
63年放送大教授。
数理論理学の研究で知られる。平成4年3月16日死去。64歳。
東京出身。東大卒。著作に「数学基礎論入門」「記号論理入門」など。
外部ﾘﾝｸ:7shi.hateblo.jp
七誌の開発日記
2018-11-02
(抜粋)
ブルバキ数学原論日本語訳の巻番号
リスト
1．1968年『集合論 1』前原昭二訳（第1章、第2章）
878: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)18:14 ID:KY2miv9A(21/23) AAS
>>877 タイポ訂正
外部ﾘﾝｸ:www.jstage.jst.go.jp
自然数論 の無 矛盾性証明の必要性
↓
自然数論の無矛盾性証明の必要性
妙に、半角スペースが入るんだよね（＾＾
879: 2019/09/08(日)18:16 ID:cMOAtiJl(18/20) AAS
>>875
まったく的外れ
100個の決定番号は定数なので分布を考えること自体が無意味
880(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)18:22 ID:KY2miv9A(22/23) AAS
>>877 補足
自然数論なんて
>>793で
"自然数論は自然数全体の集合の存在を前提した理論ではない"
を茶化すために
>>802で
前原昭二先生を引用しただけで
集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
こちらとしてはね
そんなものは、いまの大学数学科の教程にないし
オワコンでしょう？ 違いますか？（＾＾；
でも、数学史として、こういう議論もあったということは
知っておいても良いとは思いますよ
（参考）
外部ﾘﾝｸ:www.jstage.jst.go.jp
自然数論の無矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
881: 2019/09/08(日)18:24 ID:cMOAtiJl(19/20) AAS
100列及び対応する100個の決定番号は定数
そのいずれを選ぶかが確率変数
サルのナンセンスな当てずっぽう戦略と違い時枝戦略では上記の通り
サルに数学は無理
882(1): 2019/09/08(日)20:40 ID:7MS+nwFK(4/4) AAS
>>876
> 分けられますよ
> 例 1と例 2 ご参照
> ω ∈ {0, 1}^N
ωは0と1からなる無限数列なので分けてないです
> An = {ω ∈ {0, 1}^N : ωn = 1}
はn番目が1であるような0と1からなる無限数列ω
> Akn = {{0, 1}^N : ωn = · · · = ωn+k−1 = 1}
は以下のことだが
> A^k_n = {ω ∈ {0, 1}^N : ωn = · · · = ω(n+k−1) = 1}
はn番目から1が連続k回現れる0と1からなる無限数列ω
883(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)22:34 ID:KY2miv9A(23/23) AAS
>>875 訂正と追加
訂正
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,p^-p^2, 1-1/p
↓
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,1/p-1/p^2, 1-1/p
追加
(引用開始)
ｄは決定番号
*)は、場合の数で、全体ではp^n
これを確率分布に直すと
d= 1, 2, 3, 4 , ・・・, n-1, n
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,1/p-1/p^2, 1-1/p
(引用終り)
ここ分かると思うが
s = (s1，s2，s3,・・・,sn) （問題の数列）
r = (r1，r2，r3,・・・,rn) （代表の数列）
差を取ると
s-r = (s1-r1，s2-r2，s3-r3,・・・,sn-rn)
決定番号dなら、d番目から両者が一致して0になります。
それで、上記の分布で分かることは、d=1とか2とか小さい値の確率は小さいのです
確率的には、d=nとなる場合が、一番確率が大きいのです
それで、入れる数p→∞と大きくすると
d=n の確率 1-1/p→1
d=n以外の確率 (p^3-p^2)/p^n（など）→0
となります
なので、d=n以外の確率は0になるのです
d=n以外の場合を論じるのは、確率の0場合を論じていることになります。
確率の0場合に、二つの決定番号でどちらが大きいかなどと言っているのが、時枝記事の手法です
上下前次1-新書関写板覧索設栞歴
あと 119 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.028s