現代数学の系譜 工学物理雑談 古典ガロア理論も読む59

1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 07:15:12.33 ID:JfQZB3iV.net] この伝統あるガロアすれは、皆さまのご尽力で、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 High level people 低脳幼稚園児のAAお絵かき 上記は、お断り！ 小学生がいますので、18金（禁）よろしくね！（＾＾ （旧スレが512KBオーバー（又は間近）で、新スレを立てた） 669 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 17:00:35.08 ID:1+ov1OjA.net] 時枝記事の場合、独立同分布（IID）とかいう前提は必要ない 毎回の試行で、数列は変化しないから　 数列の各項の独立性も分布も考える必要がない ぶっちゃけ、100列の各項の中身がほとんど0で、 有限個の項だけ、1をぶっこむというのでもいい この場合、代表元は全部の項が0の列でいいよ 時枝記事はこの場合 「どうやったら、有限個ある1を避けて0の項を見つけられるか？」 っていうゲームになるわけ もうここまで書いたら、当たらないほうがおかしいくらい プレイヤーに有利な状況ってわかるよね だってほとんどすべての項が0なんだから 670 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 17:31:35.74 ID:0CxYPFI+.net] おっちゃんです。>>42の(1)だけ高校レベルで考えてみた。 だが、どこに構造を調べる代数の特性を生かす必要性があったのかが分からない。 もしかしたら、>>42の出題意図とは違うかも知れない。 高校数学だから、sin(π/n)∈Q と n＝6 とは同値であることは仮定していいのだろう。 まあ、そのもとで証明。 ( cos(2π/n)∈Q(sin(2π/n)) ( cos(π/n)∈Q(sin(π/n)) ) の証明 ) Q(sin(π/n)) は有理数体Qに sin(π/n) を添加した体だから、三平方の定理から cos^2(π/n)＝1−sin^2(π/n)∈Q(sin(π/n))。 また、体 Q(sin(π/n)) は有理数の加減乗除について閉じている。故に、cos(π/n) の半倍角の公式から、 cos^2(π/n)＝(1＋cos(2π/n))/2∈Q(sin(π/n)) であって、cos(2π/n)∈Q(sin(π/n))。 ところで、cos(2π/n) に関する2倍角の公式から cos^2(2π/n)＝(1−2sin^2(π/n))^2＝1−4sin^2(π/n)＋4sin^4(π/n) だから、三平方の定理から、−sin^4(π/n)＋4sin^2(π/n)＝sin^2(2π/n)∈Q(sin(π/n))。 同時に sin^2(2π/n)∈Q(sin(2π/n)) であるから、sin^2(2π/n)∈Q(sin(2π/n))∩Q(sin(π/n))。 2つの体 Q(sin(2π/n))、Q(sin(π/n)) はどちらも有理数の加減乗除について閉じていて −2sin^2(2π/n)∈Q(sin(2π/n))∩Q(sin(π/n)) だから、cos(2π/n) に再度倍角公式を適用すると、 cos(2π/n)＝1−2sin^2(π/n)∈Q(sin(2π/n))∩Q(sin(π/n))。 故に、Q(sin(2π/n))∩Q(sin(π/n))⊂Q(sin(2π/n)) から cos(2π/n)∈Q(sin(2π/n))。 上の議論は任意の正の奇数nについて成り立つから、nを2nで置き換えれば、cos(π/n)∈Q(sin(π/n))。 671 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 17:37:25.51 ID:0CxYPFI+.net] あ、sin(π/n)∈Q となるのは n＝2 または n＝6 のときに限ることか。 >>621はこれを仮定している。高校数学だし、多分仮定していいのだろう。 672 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 17:42:40.32 ID:/c8qM/no.net] >>614 >>616-620 多分、数学科３年から４年で、すでに確率過程論履修したか、履修中の人ならご賛同いただけると思うが（＾＾； あんたら、せめて、>>612の ・「確率過程とその応用」管理人　逆瀬川浩孝 早稲田大学 ・重川一郎 京都大学大学院理学研究科数学教室 2013年度前期 確率論基礎 講義ノート この二つくらいは、 通読しとかんといかんよ（＾＾ それ最低レベルだよ そうしないと、時枝記事に書いてあることが、理解できないでしょ？ｗ（＾＾； 673 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 17:43:53.79 ID:0CxYPFI+.net] n＝1 も含まれるが、sin(2π)＝sin(π)＝0、cos(2π)＝1、cos(π)＝-1 なので、これは無視していい。 674 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 17:45:51.24 ID:k/UCPa3o.net] >>614に対して>>623はリプライになってない 675 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 17:48:33.42 ID:/c8qM/no.net] >>622 おっちゃん、横レス悪いけど クロネッカーウエーバー引用していたように その関連で 代数拡大まで考えて、有限次元拡大になるって話だと思うよ だから、代数的数の集合を”Q~”として sin(π/n)∈Q~ までを論じることになると思うね（＾＾ （１のｎ乗のべき根が、代数拡大（超越拡大ではない）になる） 676 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 17:56:40.07 ID:1+ov1OjA.net] >>623 ＞数学科３年から４年で、すでに確率過程論履修したか、 ＞履修中の人ならご賛同いただけると思うが 数学科卒で、確率論の講義で確率過程についても学びましたが 全然賛同できませんね あなたは自分が紹介したpdfを全部通読したんですね では、時枝記事で確率過程を使って確率を計算してみせて下さい はっきりいって時枝記事に書いてあることを理解できてないのは スレ主のほうです >>620に書きましたよね 時枝記事は有限個の例外を除いて0の数列に対して0の場所を見つけるのと同じだと 選択公理のときも全然ステートメント読まずに見当違いなことばっかりいってたけど 数列の各項が確率変数の族でもなんでもないのに、IIDとか全然見当違いですから もう馬鹿� 677 名前：ｩつアホは引っ込んで下さい　迷惑ですよ [] [ここ壊れてます] 678 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 18:05:43.97 ID:0CxYPFI+.net] >>626 >代数的数の集合を”Q~”として sin(π/n)∈Q~ >までを論じることになると思うね（＾＾ >（１のｎ乗のべき根が、代数拡大（超越拡大ではない）になる） やはりそうだったか。この種の問題は或る意味で他の本(大学以上のレベルとして扱われている)に載っている。 それじゃ、おっちゃんもう寝る。 679 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 18:11:47.95 ID:/c8qM/no.net] >>626 あと、蛇足だが、ガウスが示したように、べき根拡大になるよね（＾＾ 680 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 18:19:30.16 ID:/c8qM/no.net] >>628 おっちゃん、どうも、スレ主です。 ご苦労さまです おっちゃんらしく、いつものごとく、文献読まずだね〜（＾＾ 下記（>>42より）に、解答の半分はあるよ あとの半分は、同じ手法で、すでにヒント出してくれている通りで （>>403より） ＞sinとcos を入れ替えた場合→　x+π/2　として分析できる。 なるほどね、周期をπ/2ずらす π/pだと分母に奇数しかこないからね。それで、あとは同じようにできる” という話しになると思うよ、やってないけどね（＾＾； （>>42より） ＜解答もありますが、その引用は、省いています（＾＾；＞ fjmttty.hatenablog.com/entry/2017/08/05/202216 数学雑記 2017-08-05 体論の期末試験(再現) (抜粋) 問2 pを奇素数とする。 (1)Q(cos2π/p)/QがGalois拡大であることを示し、その拡大次数を求めよ。 (2)sin2π/p=cos{2π(4?p)}/4pであることを利用し、[Q(sin2π/p):Q]を求めよ。 (引用終り) 681 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 18:26:18.99 ID:/c8qM/no.net] >>627 >＞数学科３年から４年で、すでに確率過程論履修したか、 >＞履修中の人ならご賛同いただけると思うが > >数学科卒で、確率論の講義で確率過程についても学びましたが >全然賛同できませんね これはこれは、うそつきサイコパスちゃんじゃないですか？ 妄言ごくろうさまです 騙される人いるかもね〜（＾＾ https://ameblo.jp/wayuki17/entry-12277390091.html 和み雪　降る夜　雪華天（ゆきかてん） 2017年05月24日 テーマ：サイコパス研究 組織におけるサイコパスの扱い方 「嘘つき」サイコパスの真実と分析/研究 (抜粋) 　「嘘つき」の代表格はサイコパスである。サイコパスとは発達障害の一つで、遺伝子異常とか発育環境とか諸説あるが、端的に言えば、人を騙すことを当たり前にやる障害者である。 (引用終わり) 682 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 18:34:09.99 ID:JnVDj6QU.net] おっちゃんが>>42の(1)に証明をつけたら、まず間違いなく ・ より一般的な角度θに対しても cos(θ)∈Q(sin(θ)) が証明できてしまうが、 　 反例となるθが存在する ・ より一般的な実数 x,y に対しても x∈Q(y) が証明できてしまうが、 　 反例となる実数 x,y が存在する というズタボロな結果になると密かに予想していたが、 やはりそうなったなｗ 683 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 18:38:43.85 ID:JnVDj6QU.net] >>621 おっちゃんも薄々感じているように、 この証明には「π/n」の性質がどこにも使われておらず、 「π/n」の部分を一般の「θ」に置換しても通用してしまう。 つまり、おっちゃんは cos(θ)∈Q(sin(θ)) を一般の角度θで証明したことになる。もちろん間違ってる(反例となるθが存在する)。 どこが間違ってるのかは、>>621の「π/n」をメモ帳の置換機能で「θ」に 変換してみれば分かりやすい 684 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 18:43:23.57 ID:JnVDj6QU.net] θに変換した結果がこちら。 Q(sin(θ)) は有理数体Qに sin(θ) を添加した体だから、三平方の定理から cos^2(θ)＝1−sin^2(θ)∈Q(sin(θ))。 また、体 Q(sin(θ)) は有理数の加減乗除について閉じている。故に、cos(θ) の半倍角の公式から、 cos^2(θ)＝(1＋cos(2θ))/2∈Q(sin(θ)) であって、cos(2θ)∈Q(sin(θ))。 ところで、cos(2θ) に関する2倍角の公式から cos^2(2θ)＝(1−2sin^2(θ))^2＝1−4sin^2(θ)＋4sin^4(θ) だから、三平方の定理から、−sin^4(θ)＋4sin^2(θ)＝sin^2(2θ)∈Q(sin(θ))。 同時に sin^2(2θ)∈Q(sin(2θ)) であるから、sin^2(2θ)∈Q(sin(2θ))∩Q(sin(θ))。 2つの体 Q(sin(2θ))、Q(sin(θ)) はどちらも有理数の加減乗除について閉じていて −2sin^2(2θ)∈Q(sin(2θ))∩Q(sin(θ)) だから、cos(2θ) に再度倍角公式を適用すると、 cos(2θ)＝1−2sin^2(θ)∈Q(sin(2θ))∩Q(sin(θ))。 故に、Q(sin(2θ))∩Q(sin(θ))⊂Q(sin(2θ)) から cos(2θ)∈Q(sin(2θ))。 上の議論は任意の正の奇数nについて成り立つから、nを2nで置き換えれば、cos(θ)∈Q(sin(θ))。 最後の一文はこのままでは意味が通らないが、 「θは任意なので、θをθ/2に置き換えれば cos(θ)∈Q(sin(θ)) が成り立つ」 という意味の文章だと思えば、文章としては成立する。 だが反例となるθが存在するので、どこかに計算ミスがある 685 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 18:47:48.69 ID:JnVDj6QU.net] 実際の計算ミスは ＞−2sin^2(2θ)∈Q(sin(2θ))∩Q(sin(θ)) だから、cos(2θ) に再度倍角公式を適用すると、 ＞cos(2θ)＝1−2sin^2(θ)∈Q(sin(2θ))∩Q(sin(θ))。 この部分。−2sin^2(2θ)∈Q(sin(2θ))∩Q(sin(θ)) しか言えてないのに、 いつの間にか −2sin^2(θ)∈Q(sin(2θ))∩Q(sin(θ)) が言えたことになっていて、 それを使って cos(2θ)＝1−2sin^2(θ)∈Q(sin(2θ))∩Q(sin(θ)) としている。そこが間違い。 686 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 18:58:09.77 ID:JnVDj6QU.net] 本質的なミスではないものの、細かいミスも目立つ。まず ＞上の議論は任意の正の奇数nについて成り立つから、nを2nで置き換えれば、cos(π/n)∈Q(sin(π/n))。 ここが微妙に間違ってる。 もし本当に正の奇数nに対してしか成り立たない結果を述べているのなら、 nを2nに置き換えたときには、その「2n」は偶数だから、nが奇数のときの結果は 適用不可能であり、cos(π/n)∈Q(sin(π/n))は導出できないことになる ただし、おっちゃんの>>621は「π/n」に限らず一般のθで "通用してしまう" ので、 正の奇数nに対してしか成り立たない結果というわけではない。なので、修正するなら 「上の議論は任意の 正 の 整 数 nについて成り立つから、nを2nで置き換えれば、cos(π/n)∈Q(sin(π/n))」 と修正すればいい。ただし、それより前の段階で致命的に間違ってる(>>635)ので、 この修正に意味はないｗ 687 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:06:01.79 ID:JnVDj6QU.net] ついでに、>>622の見解も間違ってる。>>621では 三平方の定理・cosの半角の公式・cosの倍角の公式しか使ってない 688 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:11:26.23 ID:TctpkUqO.net] おっちゃんは「証明が長い」ことを自慢していたが 結局おっちゃんの「証明」は「ごちゃごちゃ書いてる 間に自分が証明できたと錯覚するもの」であるために 「長さ」が必要なだけ笑 689 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:18:56.79 ID:TctpkUqO.net] >上の議論は任意の正の奇数nについて成り立つから、nを2nで置き換えれば これは論理的にはひどい間違い。 nを2nで置き換えたら奇数じゃなくなるでしょww 690 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:20:30.21 ID:JnVDj6QU.net] そして、「π/n」の性質に特化しなければ示せないはずの(1)の問題に 「三平方の定理・cosの半角の公式・cosの倍角の公式」 という、任意のθで成り立つ汎用的な道具しか使わないのであれば、 原理的に(1)が示せるはずがない。結局、おっちゃんには 「特化した証明」ができない。こいつには 「汎用的な道具を使った汎用的な計算の猿真似」 しかできない。しかも間違える。しかも、これが初めてではない。 こいつの書く内容はいつもこうなっている。 正真正銘のトンデモ 691 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:27:31.25 ID:1+ov1OjA.net] >>631 自分の主張を否定されると すぐうそつきサイコパス呼ばわりするのは それこそ自己中サイコパスですね 692 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:27:34.09 ID:JnVDj6QU.net] ま、そうは言っても(1)は高校レベルで簡単に解けるし、 上の方でヒントも出ちゃってるので、さすがのおっちゃんでも そのうち解けるだろうとは予想している 693 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:35:03.50 ID:1+ov1OjA.net] >>638 おっちゃんは、特定の値でしか成立しない等式を 任意の値で成立するものと誤解する悪癖がある 致命的だね 694 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:36:11.37 ID:TctpkUqO.net] >>626 スレ主意味不明。 sin(π/n)が代数的数である→整数係数の代数方程式の根であることを示せばいい が、「sin(π/n)∈Q であるnは○○に限る」 ことを示すためには、○○以外のnのみたす代数方程式の次数≧2 と、その方程式がQ上既約であることの証明が本質的に必要。 当然、大学レベル。 695 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:38:05.20 ID:TctpkUqO.net] スレ主は代数拡大もガロア理論も本当には分かってないんだろうなぁ 696 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:41:16.22 ID:1+ov1OjA.net] >>644 スレ主自身「自分は馬鹿でアホだから自分のいうことは一切信用するな」といってますね 時枝記事に関する発言を見れば、一切信用できないことは明らかですが 697 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:42:54.76 ID:1+ov1OjA.net] >>645 全然分かってないと思いますよ スレ主に理解できるのは計算だけ 中学・高校レベルの数学は理解できても 大学の数学は全然歯が 698 名前：立たないでしょう 計算じゃなく論理で理解する事柄はスレ主には無理 [] [ここ壊れてます] 699 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:46:39.49 ID:TctpkUqO.net] >>643 おそらく任意の値で成立する証明法しか思いつかない のだと思います。 700 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 19:49:16.93 ID:1+ov1OjA.net] >>648 基本的に等式変形しかしてないからね 数学＝計算と思い込んでる●●に多い 論理が分かってないから大学の数学の学習はほぼ不可能 701 名前：１３２人目の素数さん [2019/01/31(木) 21:15:14.32 ID:/pRxkKRm.net] >>594 ＞おれさまスタンダードかね ＞はいはい、下記”Ω={1,･･･,100}”でしたね〜ｗ（＾＾； ＞笑えるわ（＾＾； 時枝記事に書いてある。サルが読めてないだけ。 ↓ ＞さて， 1〜100 のいずれかをランダムに選ぶ. サルは国語から 702 名前：１３２人目の素数さん [2019/01/31(木) 21:18:01.00 ID:/pRxkKRm.net] >>595 ＞ほんと、サイコは無節操な発言が多いよねｗ（＾＾； 記事に書かれてることそのままなのに一体何を誤解してるのやらこのおサルさんは まあおサルは人間の言葉が理解できんのやろうね、国語から勉強しなさい、反省！ 703 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 21:19:21.75 ID:cqxUa0JO.net] >>645-645 どもありがとう 私にも気配りありがとう 私が何を分っていて、何を分っていないかを人に示すのは、難しいだろうね それは、サイコパスのピエロが、選択公理を、 こんな根本的なところで分っていなかったのか〜！と、 今年になって、今更知ってしまったことで しみじみ分ったよ つまり、結論として、他人が何をどれだけ分っているかいないかも、判断が難しいし よって、自分がどこまで分っているかなんて、人に示す必要もないねと、そう思った次第です（＾＾ >「sin(π/n)∈Q であるnは○○に限る」 >ことを示すためには、○○以外のnのみたす代数方程式の次数≧2 >と、その方程式がQ上既約であることの証明が本質的に必要。 >当然、大学レベル。 ああ、そうなんだろうね。別に否定はしない >スレ主は代数拡大もガロア理論も本当には分かってないんだろうなぁ ああ、そうなんだろうね。別に否定はしない まあ、カンニングした（>>42）しね。（＾＾； 　>>42の 問１の方は、数学雑記 2017-08-05 体論の期末試験(再現) の手法で解けると思った が、>>42 問１の方が分らなかった。 しかし、>>630に書いたけど、ヒント出してもらったし、やれそうに思った 体論の期末試験(再現) にあるように、”ζp+ζp^-1”みたいなのが、本質的で、相反多項式（相反方程式とも）とかになるんだっけ・・とか 昔を想いだしかけたがね・・。>>42 問2もやれそうに思うが、まあ、気分だけかも知れないけど。本気で解くなら、もっとカンニングもするしね・・ｗ（＾＾ https://ja.wikipedia.org/wiki/%E5%86%86%E5%88%86%E5%A4%9A%E9%A0%85%E5%BC%8F 円分多項式 https://ja.wikipedia.org/wiki/%E7%9B%B8%E5%8F%8D%E5%A4%9A%E9%A0%85%E5%BC%8F 相反多項式 (抜粋) 実係数の場合 実係数多項式でその根がすべてガウス平面上の単位円上に載っている（つまりすべての根が絶対値 1（単模）である）ようなものは、自己相反であるかさもなくば反自己相反であるかの何れかである[11][要ページ番号] 704 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 21:20:48.79 ID:cqxUa0JO.net] >>652 タイポ訂正 が、>>42 問１の方が分らなかった。 　↓ が、>>42 問2の方が分らなかった。 705 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 21:25:26.65 ID:1+ov1OjA.net] >>652 ＞サイコパスのピエロが、 ＞選択公理を、こんな根本的なところで ＞分っていなかったのか〜！ スレ主が自らを「サイコパスのピエロ」と認めた！ 選択公理が根本的に分かってなかったのはスレ主一匹だけ！ 706 名前：１３２人目の素数さん mailto:sage [2019/01/31(木) 21:27:44.63 ID:1+ov1OjA.net] >>652 ＞他人が何をどれだけ分っているかいないかも、判断が難しい スレ主の場合、実に簡単だけどね ＞自分がどこまで分っているかなんて、人に示す必要もない スレ主は書けば書くほど、分かってないことが露見するけどね さすが「馬鹿でアホだから俺を信用するな！」と豪語するだけのことはある 707 名前：１３２人目の素数さん [2019/01/31(木) 21:38:26.56 ID:/pRxkKRm.net] >>609 まさにおサルが>>156でやらかしてますね、代表の取り直し。 ドヤ顔で「改良版だ〜」と大見得切ったまでは良かったが、まったく改良になってないことが 708 名前：指摘され赤っ恥ｗ これがほんとの”サル知恵”ｗ [] [ここ壊れてます] 709 名前：１３２人目の素数さん [2019/01/31(木) 21:45:38.19 ID:/pRxkKRm.net] おサルには>>614レベルから説明しないとダメなのか（絶望） やはりサルはサルだ、人間とは違う（納得） 710 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 21:48:38.28 ID:cqxUa0JO.net] >>652 ついでに貼るよ（＾＾； https://ja.wikipedia.org/wiki/%E4%B8%89%E8%A7%92%E9%96%A2%E6%95%B0%E3%81%AE%E5%85%AC%E5%BC%8F%E3%81%AE%E4%B8%80%E8%A6%A7 三角関数の公式の一覧 711 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 21:52:14.88 ID:cqxUa0JO.net] >>623 自己レス 反例があったので、これを除く 多分、数学科３年から４年で、すでに確率過程論履修したか、履修中の人ならご賛同いただけると思うが（＾＾； 　↓ 多分、数学科３年から４年で、すでに確率過程論履修したか、履修中の人ならご賛同いただけると思うが（＾＾； 但し、数学科落ちこぼれで、キチガイサイコのピエロを唯一の例外として除くものとする（＾＾ 712 名前：１３２人目の素数さん [2019/01/31(木) 21:59:03.12 ID:/pRxkKRm.net] >>623 ＞そうしないと、時枝記事に書いてあることが、理解できないでしょ？ｗ（＾＾； 時枝記事を読めてないのはおサルだよ ＞箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる ↑おサルが読めない文章 ＞さて， 1〜100 のいずれかをランダムに選ぶ. ↑おサルが読めない文章 反省だけならサルでもできる、反省もできないスレ主 713 名前：１３２人目の素数さん [2019/01/31(木) 22:18:22.11 ID:/pRxkKRm.net] ＞選択公理が根本的に分かってなかったのはスレ主一匹だけ！ スレ主は選択公理というと、やれカントールがーだのラッセルがーだのコピペするだけで 肝心の公理の内容がまったくわかってない。 だらかステートメントを読みなさいと指摘されてしまうが、他人のアドバイスを一切聞か ない頑固者なので一向に改善されない。 反省だけならサルでもできる、スレ主は反省もできない。 714 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 22:33:06.09 ID:cqxUa0JO.net] 未解決問題です ・確率過程論も知らず ・時枝記事後半の「独立な確率変数の無限族 X1，X2，X3，…」が、確率過程論の典型的な記述だとも知らず ・ド素人の「固定」などという珍妙な用語に乗せられ、ぼこぼこに素人に論破された ・確率変数は、時枝記事の箱に入れられないと、素人”変数”解釈に乗せられた 赤っ恥の数学科出身、落ちこぼれとは、だれのことでしょうか？（＾＾ 715 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 23:04:25.68 ID:cqxUa0JO.net] >>612 (引用開始) 「確率変数X1,X2, ...,Xn が互いに独立で同分布に従う場合はi.i.d. (independent, identically distributed) と呼ばれ、良く使われる。」 （逆瀬川 P27 重川なら P21） ということを教えて 初心者には ”独立同分布”の場合のみで、取りあえずは、添え字は無視して考えて良いと （つまりXi,やXtで、単にX1の確率空間とその分布を考えれば良いんよと。あとは、それのコピペで済むからと） (引用終り) これ、実は、時枝不成立の説明に繋がっています。まあ、素人さんには分らなかったかもね １）確率変数X1,X2,・・・,,Xn ・・・ が、互いに独立で同分布に従う場合はi.i.d. (independent,identically distributed) という ２）この場合、上記のように、どのXnも、単一の確率空間として、確率分布も同じで考えれば良い 　　例えば、 　コイントスならΩ=｛0,1｝で、確率1/2 　サイコロならΩ=｛1,2,3,4,5,6｝、確率1/6 　Sergiu Hart氏のPDF game2でΩ= {0, 1, ・・・, 9}で、確率1/10 　game1でΩ= { [0, 1] | independently and uniformly }で、確率 0 ３）で、これは全ての各確率変数X1,X2,・・・,,Xn ・・・ で成立します。 　i.i.d. (independent,identically distributed) なので例外なし 　一方、時枝記事ではある箱が99/100の的中確率になります。これは矛盾です（時枝記事に対する反例になります） ４）なお、確率過程論のテキスト（逆瀬川でも重川でもその他でも）を読んで貰えば、 　確率変数X1,X2, ...,Xn ... は、有限長でも可算無限長でも、i.i.d. (independent,identically distributed) 下で、上記２）の結論は同じです（変わりなし） 　なお、Sergiu Hart氏のPDF Remark.で、有限の場合を（落語における）”オチ”として最後に言及しています（＾＾ 　（有限の場合を（落語における）”オチ”として言及していることは、確率過程論を学んだ人には納得できるでしょうね） スレ44 rio2016.2ch.net/test/read.cgi/math/1506848694/463 より Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf つづく 716 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 23:05:20.01 ID:cqxUa0JO.net] >>663 つづき Sergiu Hart氏PDF P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.” （参考） www.f-denshi.com/000TokiwaJPN/17kakto/010prob.html ときわ台学/確率と統計学/確率空間，確率変数 １　確率空間　　 f-denshi.com 最終更新日：11/05/25 (抜粋) はじめてこの定義を読んだ人は，ちんぷんかんぷん，意味不明にちがいない。補足説明が必要であろう。 集合Ωは標本空間とも呼ばれる。また，F とは，Ωの部分集合からなる集合(=集合族)で加法族[#]と呼ばれ，その元A∈F を確率論では事象と呼ぶ。さらにF は，Ωが整数のような離散集合ならば，可算加法族，実数のような連続集合ならばσ加法族と区別して呼ぶこともある。そして，上記のPとF の定義された集合Ωのことを確率空間と呼び，(Ω，F，P)と書くのである。 まだまだ，大変抽象的なので，どの面も等確率で現れる正四面体のサイコロを例にとり，上の定義の意味を具体的に考えてみる。 (引用終り) 以上 717 名前：１３２人目の素数さん [2019/01/31(木) 23:13:25.75 ID:/pRxkKRm.net] >>662 ＞ド素人の「固定」などという珍妙な用語に乗せられ、ぼこぼこに素人に論破された 「可算無限個の箱に実数を入れること」を「数列を固定する」と言っているだけです。 未定義語を使っているわけではないので、文句を言うのは筋違いです。 ＞確率変数は、時枝記事の箱に入れられないと、素人”変数”解釈に乗せられた 時枝の数当てゲームで箱に何を入れていいかは時枝記事が規定しています。 これが読めませんか？ ↓ ＞箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる これはもう数学ではなく国語です。おサルは国語から勉強しなさい、反省！ 718 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/31(木) 23:32:56.21 ID:cqxUa0JO.net] >>665 重川や逆瀬川読めない人がなにを言っても説得力ないぜ 719 名前：１３２人目の素数さん [2019/01/31(木) 23:38:35.12 ID:/pRxkKRm.net] >>666 自他ともに認める馬鹿でアホのおサルが何言っても説得力無いよ 悔しかったら確率過程論を使って時枝不成立を証明してごらん 口だけのおサルさんには無理かな？ 720 名前：１３２人目の素数さん [2019/01/31(木) 23:40:46.03 ID:/pRxkKRm.net] ていうか、このおサルは数当てゲームのルールすら読めてない、 すなわち証明すべき命題もわかってないんだけどねｗ おサルは国語から、反省！ 721 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 05:30:13.86 ID:0K3/qIvQ.net] おっちゃんです。 >>632 どうやら、昨日は cos(2θ)∈Q(sin(θ)) が任意の実数で成り立つことを示したのか。 まあ、私も>>42を高校数学で解ける気はしなく、他の事情もあるので下りる。 本気で書くと、私にとっても都合が悪くなってしまう。 まあ、z＝cos(π/n)＋isin(π/n) とおくと z^n＝-1 から z^{2n}＝1 が得られることも含めて議論を進めることは予測出来る。 722 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 06:53:40.36 ID:vrYesLBH.net] 昨日は、キチガイを取締る役代表の方は、お休みかな〜？（＾＾ まあ、いいか（＾＾； 723 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 06:59:16.47 ID:wEmDrSP5.net] >>669 本気じゃないとかすごい負け惜しみだなw >>642も書いてるように、高校レベルで簡単に解ける。 オイラーの公式や虚数単位は高校数学に含めていない。 必要な道具は加法定理だけ。あと若干の推論。 簡潔に書け 724 名前：ば、証明は2,3行で済む。 [] [ここ壊れてます] 725 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 07:02:37.50 ID:wEmDrSP5.net] >>670 >キチガイを取締る役代表の方 最初は、常識人のスレ主が口汚く罵られてると 正義感にかられていたのかもしれんが 段々スレ主のおかしさに気づいて、役を降りたのかもねw 726 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 07:08:33.32 ID:vrYesLBH.net] >>665 (引用開始) ＞確率変数は、時枝記事の箱に入れられないと、素人”変数”解釈に乗せられた 時枝の数当てゲームで箱に何を入れていいかは時枝記事が規定しています。 これが読めませんか？ ↓ ＞箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる これはもう数学ではなく国語です。おサルは国語から勉強しなさい、反省！ (引用終り) まあ、高校生向けに、まじレスすれば （サイコは、これも理解できないのだろうが） 数学は、その抽象化の力で、扱える対象を広げている 確率過程論も、扱える対象は、物理的な確率現象から、金融ファイナンス、社会現象などが、扱える対象だ 時枝記事も、その一つにすぎない 時枝が記事で、彼が（下記）「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，」と書いたのは、分り易く書いただけのこと 時枝記事も、確率過程論で扱える対象であり、「独立な確率変数の無限族 X1，X2，X3，…」で扱えますよ （>>35より） (引用開始) 過去スレ35 rio2016.2ch.net/test/read.cgi/math/1497848835/15 時枝問題（数学セミナー201511月号の記事） (抜粋) 独立な確率変数の無限族 X1，X2，X3，… n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって， その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. (引用終り) 以上 727 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 07:12:03.23 ID:vrYesLBH.net] >>672 その可能性もあるが 多分違うだろうね キチガイを取締る役代表の方は、サイコパスピエロより、古い住人と思うよ 真に、サイコパスがうざいと思っていると思う まあ、昨夜は、サッカーでいう、笛を吹かずに流したんだろうと（＾＾ 728 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 07:18:56.52 ID:IK9KpWwl.net] >>663 IIDとわめくスレ主へ ・時枝記事で箱の中身の分布は具体的に何ですか？ 実は記事には書いてないよ。書く必要もない。 数列は箱に入れた後変化しないんだから分布もクソもない IID？意味ないよｗ ＞一方、時枝記事ではある箱が99/100の的中確率になります。これは矛盾です 時枝記事では箱の中の数は確率変数ではないので分布なんてありません 矛盾でもなんでもありませんよ 結論：スレ主は時枝記事が読めてない 729 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 07:20:42.36 ID:vrYesLBH.net] 繰返す （>>264） 時枝の根本には、 標準数学から外れた 「同値類の代表と、ある元との比較をして、代表からなにがしかの情報が得られる」という、とんでもない屁理屈を使っていると だから、トンデモ確率論が出来たということを示しました。 （>>249 >>242 >>230 >>220 >>216 あと ＜時枝ふしぎな戦略改良１〜４＞ （>>156 >>174 >>181より）） (引用終り) もし、諸兄各位で、「同値類の代表と、ある元との比較をして、代表からなにがしかの情報が得られる」という例があるよという方がいれば どうぞ、例示されたい 私の知る限りでは、無い 730 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 07:24:14.80 ID:IK9KpWwl.net] >>675 ＞時枝記事では”ある箱が99/100の的中確率” これ、完全にスレ主の読み間違いねｗ 選ばれる箱の候補は100個ある そのうち99個は中身が代表元と一致する あとの1個は中身が代表元と違っている これが時枝記事で述べてること 731 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 07:25:31.34 ID:IK9KpWwl.net] >>676 >>677を読め 時枝記事はトンデモでもなんでもない厳然たる事実 732 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 07:35:22.75 ID:vrYesLBH.net] >>675 ピエロちゃんだね それ、サイコらしい屁理屈だね。さすがサイコと思いますけどね（＾＾ (>>663より) スレ44 rio2016.2ch.net/test/read.cgi/math/1506848694/463 より Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf 　Sergiu Hart氏のPDF 　最後のRemark.で、有限列の場合 　game2でΩ= {0, 1, ・・・, 9}で、確率1/10 　game1でΩ= { [0, 1] | independently and uniformly }で、確率 0 という 上記いずれも”independently and uniformly”という分布を与えています。 確率過程論では、有限長でも可算無限長も扱いは同じです 有限列の場合に分布を考えることができれば、可算無限長も同様に扱えます。 さらに、時枝記事では、どの 733 名前：ような分布にするかは、箱に数を入れる側の自由ですよ 屁理屈ご苦労さま（＾＾ [] [ここ壊れてます] 734 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 07:57:21.52 ID:vrYesLBH.net] >>674 補足 下記は、キチガイを取締る役代表の方の 前スレ58での（サイコをたしなめる）発言だが 彼は、私スレ主のことを良く分かっているんだろうと思う おそらく、古くからのこのスレの住人だろう サイコが来るずっと前からいる人だろうと思う かれのサイコ キチガイ取締は、ここから始まっている (引用開始) 前スレ58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/793 793 名前：１３２人目の素数さん[sage] 投稿日：2019/01/25(金) 19:37:36.37 ID:6SDbolW7 >>792 そういうところを指摘したいのならこのスレを開くべきではない (引用終り) 735 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 08:30:38.21 ID:0K3/qIvQ.net] >>671 >本気じゃないとかすごい負け惜しみだなw 負け惜しみではないんだが。 >オイラーの公式や虚数単位は高校数学に含めていない。 何だ、複素数も高校数学には含まれてなかったのか。 以前は含まれていたんだがな。 >必要な道具は加法定理だけ。あと若干の推論。 >簡潔に書けば、証明は2,3行で済む。 もし、思い付いたら書く。 今、寒くて調子悪いし、>>42に付き合う気がしない。 736 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 11:02:59.15 ID:4wR6I4vT.net] >>678 時枝記事が数学セミナーに掲載されたのは事実だ が、数学セミナーは専門のレフェリーが査読する雑誌ではない 数学セミナーは、大体が大学レベルか、あるいはその上のフィールズ賞とか、あるいは未解決の大問題が解けたとか、時の数学の話題を解説するような記事が大半だ 時枝記事の「箱入り無数目」（2015年11月号）は、題名からして、半分おふざけで 上記の大学レベルの数学をかみ砕いて解説する類の記事とは、毛色が異なる ジョークならジョークで、もう少しオチ（落ち）をしっかり書いてやらないと 笑うべきところを、まともな数学と誤解するヤカラが排出するじゃないかと 言いたいことは、そういうことです 数学セミナーは専門のレフェリーが査読する雑誌ではないということで、さらに付け加えれば これをまっとうな数学として見るプロ数学者は皆無だと それを主張するのが>>31です。みんな、時枝記事の内容は、プロ数学者は白眼視しているんだと。 どうぞ、スレ主はでたらめを言ってけしからんと思われる方 >>31を実行してみてください その過程で、間違っているのは、自分だと知ることになるということですよ >>31をアップしたのは、昨年の末だった 今日は、もう年明けの２月だ この間だれか、トライしたかも知れないが、”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”とおっしゃるプロ数学者は皆無 この厳然たる事実を、そろそろ落ちこぼれピエロも知るべきですよ 737 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 11:46:51.41 ID:4wR6I4vT.net] >>676 補足 >時枝の根本には、 >標準数学から外れた >「同値類の代表と、ある元との比較をして、代表からなにがしかの情報が得られる」という、とんでもない屁理屈を使っていると >だから、トンデモ確率論が出来た こう考えれば良いかもしれないね 同値類で、「不変量」というのがある（下記）。これは、標準数学内だ。 ここまでは良い。 それを超えて、ある元と代表とを比較して、何かをいうことは、間違いのもとだと （標準数学では、代表を選ぶ総選挙や、選抜試験は実施しませんですからね〜、 はい（＾＾ ） https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 (抜粋) 不変量 〜 が X 上の同値関係で P(x) が， x 〜 y であるときにはいつでも， P(y) が真ならば P(x) が真であるような，X の元の性質であるとき， 性質 P は 〜 の不変量， あるいは関係 〜 のもとで well-defined であるといわれる． よくある場合は f が X から別の集合 Y への関数であるときに生 738 名前：じる； x1 〜 x2 であるときにはいつでも f(x1) = f(x2) であるとき， f は 〜 に対する射，〜 の下での類不変量， あるいは単に 〜 の下の不変量 といわれる． これは例えば有限群の指標理論において現れる． (引用終わり) つづく [] [ここ壊れてます] 739 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 11:51:52.20 ID:4wR6I4vT.net] >>683 つづき まあ、分かりやすく、例えでいえば あるめずらしいペンギンが、海岸で発見された。 調べると、ガラパゴスペンギンだと分かった とすると、すでに知られている、ガラパゴスペンギン類の不変量から、 その発見された「めずらしいペンギン」は、こういう性質を持つということは言える が、さらに進んで、ガラパゴスに現在生息しているガラパゴスペンギンを一羽捕まえて、それを代表として調べたところで、あまり意味がない なぜなら、見つかった「めずらしいペンギン」と、たまたま一羽捕まえたガラパゴスペンギンと、なんの相関関係もない以上 たまたま一羽捕まえたガラパゴスペンギンについて言えることが、即、見つかったペンギンで言えることにならないからね これを時枝記事の数列の同値類についてみれば ある数列があって、その数列のシッポを、D＋1から先の箱を開けて、どの同値類に属するか判明したと そして、標準数学内で、不変量として、その同値類がどういうシッポを共通に持つのか？　それは言えるだろう しかし、そこから踏み込んで、同値類の代表を取ってきて、それ以上のことを言おうとしても、無茶だよと この時枝の場合は、D＋1から先の箱を開けてオープンになった箱の数値以上の情報は、得られないですよと 「どの同値類に属するか判明した」、そこまでが全てです。それだけが、標準数学内だと ところで、そもそも時枝の問題の数列と、同値類の代表と、D＋1から先の箱の可算無限個の数が全て一致するなんて そんなことが起きる確率を考えてみなさいよ。その確率はゼロ（０）ですよね！（＾＾； https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%A9%E3%83%91%E3%82%B4%E3%82%B9%E3%83%9A%E3%83%B3%E3%82%AE%E3%83%B3 ガラパゴスペンギン 740 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 16:02:36.26 ID:0K3/qIvQ.net] あっ、簡単な解法があった。取り敢えず>>42の(1)だけ。 詳細で細かい証明は抜き。 任意の3以上の奇数kについて、或る g∈Q[X] が存在して cos(kθ)＝g(sin(θ))cos(θ)。 また。任意の正の奇数kについて、或る g∈Q[X] が存在して cos(2kθ)＝g(sin(θ))。 ところで仮定から、nは3以上の奇数だから、或る g∈Q[X] が存在して cos(π)＝g(sin(π/n))cos(π/n)、 従って、g(sin(π/n))cos(π/n)＝-1。g(sin(π/n))≠0 だから、g(sin(π/n))∈Q(sin(π/n)) から cos(π/n)＝-1/( g(sin(π/n)) )∈Q(sin(π/n))。 741 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 16:38:38.62 ID:0K3/qIvQ.net] >>685の証明の要点は以下のようになる。 任意の3以上の奇数kについて、両方共に或る f,g∈Q[X] が存在して sin(kθ)＝f(sin(θ))sin(θ) かつ cos(kθ)＝g(sin(θ))cos(θ) である。 従って、任意の3以上の奇数kについて、或る g∈Q[X] が存在して cos(kθ)＝g(sin(θ))cos(θ)。 また。任意の正の奇数kについて、或る g∈Q[X] が存在して cos(2kθ)＝g(sin(θ))。 ところで仮定から、nは3以上の奇数だから、或る g∈Q[X] が存在して cos(π)＝g(sin(π/n))cos(π/n)、 従って、g(sin(π/n))cos(π/n)＝-1。g(sin(π/n))≠0 だから、g(sin(π/n))∈Q(sin(π/n)) から cos(π/n)＝-1/( g(sin(π/n)) )∈Q(sin(π/n))。 >任意の3以上の奇数kについて、両方共に或る f,g∈Q[X] が存在して sin(kθ)＝f(sin(θ))sin(θ) かつ cos(kθ)＝g(sin(θ))cos(θ) である。 に限らず、上の証明の概略の細部の詳細な証明は省略。 それじゃ、おっちゃんもう寝る。 742 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 16:53:20.72 ID:4wR6I4vT.net] >>685-686 おっちゃん、どうも、スレ主です。 ごくろうさまです 読んでないけど（＾＾ 743 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 18:59:41.26 ID:IK9KpWwl.net] >>679 >Sergiu Hart氏のPDF 時枝記事じゃないね 時枝記事の設定を書いてごらん ついでにいうと、Sergiu Hart氏の問題の場合も 箱の中身の分布は関係ないけどね 単に箱の中身の範囲が指定されている場合に 有限列の場合、決定番号が末尾だと、その先の箱がないので、 尻尾の同値類の代表元がとれず、中身を当てる場合に プレイヤー側がランダムに選んでるだけだから （箱の中身の分布とは無関係） >確率過程論では、有限長でも可算無限長も扱いは同じです 時枝記事では、有限長と可算無限長では状況が違います 前者では決定番号の先の尻尾がない場合が存在しますが 後者ではそのような場合は存在しません つまりスレ主が考える確率過程論の範囲を逸脱してます >有限列の場合に分布を考えることができれば、 >可算無限長も同様に扱えます。 時枝記事では、有限列の場合も可算無限長の場合も 箱の中身の分布は考えてません >さらに、時枝記事では、どのような分布にするかは、箱に数を入れる側の自由ですよ 記事は正しく読みましょう 「どんな実数をいれるかは全く自由」 とありますが、分布について� 744 名前：ﾍ全く述べられていません 実は考える必要がないからです [] [ここ壊れてます] 745 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 19:00:35.77 ID:IK9KpWwl.net] >>682 >これ(時枝記事)をまっとうな数学として見るプロ数学者は皆無だと >みんな、時枝記事の内容は、プロ数学者は白眼視しているんだと スレ主の勝手な妄想ですな >それを主張するのが>>31です 間違いがない以上、数学者としては何もいうことはないよ 記事が面白いと思うかどうかは別の話だけどね 逆に記事が間違ってるというなら、 数学者であれば、確実に指摘してくれるでしょう スレ主は、なぜ数学者の意見を求めないのか？ おそらく意見を求めたところ断られたんでしょう 当然ですね　間違いがないんだから いっときますが、 「時枝記事が確率変数の無限族の独立性と無関係」 とかいう今更な指摘は、時枝記事の誤りを示すもの ではありません スレ主が勝手に異なる問題を同一視してギャアギャア騒いだだけ 記事の結論だけ読んで頭に血が上ったんでしょうが、軽率ですね まあ、時枝記事は、戦略と直接関係しない非可測性とか独立性とか に言及してる時点で、素人がミスリードされやすいのは確かだがね 「時枝記事は正しい」 この厳然たる事実を、そろそろ落ちこぼれピエロのスレ主も知るべきですよ 746 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 19:01:23.18 ID:IK9KpWwl.net] >>684 >そもそも時枝の問題の数列と、同値類の代表と、 >D＋1から先の箱の可算無限個の数が全て一致するなんて >そんなことが起きる確率を考えてみなさいよ。 それを考えたのが時枝の記事ですが >その確率はゼロ（０）ですよね！ いいえ、 100列なら99/100 n列なら(n-1)/n そもそも、Dとは何か、を考えないからスレ主は間違う Dとは 「選んだ列以外の列の決定番号の最大値」 つまり、 「D＋1から先の箱の可算無限個の数が一致しない」 というのは 「選んだ列の決定番号dが 　他の列の決定番号の最大値D 　に1加えたものより大きい」 ということになる そんな可能性は100列だろうがｎ列だろうが たかだか1列しかない >時枝の場合は、D＋1から先の箱を開けて >オープンになった箱の数値以上の情報は、 >得られないですよ 残念ながら、選んだ列の決定番号dが 選んだ列以外の列の決定番号の最大値D より小さければd=<m=<Dの範囲内の 箱の情報が得られる >「どの同値類に属するか判明した」、そこまでが全てです。 >それだけが、標準数学内だと 残念ながら、 「ｎ個の自然数（重複を許す）の中で、 　他より大きな数は高々１個」 というのは、順序の基本的な性質から云える ことであって、完全に標準数学の範囲内です むしろ、 「選んだ列が何であれ、その決定番号dが 　他の列の決定番号の最大値Dより 　必ず大きくなる」 というのは、順序の性質を否定したトンデモ数学です 注）選んだ列に依存して、代表元を変えるのはＮＧです 　　そういうことは時枝記事ではしていませんから 747 名前：１３２人目の素数さん [2019/02/01(金) 19:31:42.40 ID:R1wD039u.net] >>676 標準数学ってなに？ おサルの勝手な妄想？ おサルは国語から、反省！ 748 名前：１３２人目の素数さん [2019/02/01(金) 19:40:51.36 ID:R1wD039u.net] >>676 ある項から先が一致するという同値関係がサルに理解できないだけの話ｗ 標準数学もクソも無いｗ おサルは国語から、反省！ 749 名前：１３２人目の素数さん [2019/02/01(金) 19:44:45.87 ID:R1wD039u.net] >>679 分布など関係無いことが何度も説明されてるんだが 結論：サルに数学は無理 750 名前：１３２人目の素数さん [2019/02/01(金) 19:56:21.61 ID:R1wD039u.net] >>680 ＞彼は、私スレ主のことを良く分かっているんだろうと思う そうだね、馬鹿でアホだとね ちなみに彼も馬鹿でアホだね、一言も数学を語らなかったからね 語ればバレると警戒してたんだろう まさにサルの浅知恵ｗ 751 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 19:57:35.72 ID:j77M+4dF.net] 数学板には標準数学以外に異次元数学がありそうな。 752 名前：１３２人目の素数さん [2019/02/01(金) 19:59:02.20 ID:R1wD039u.net] >>682 サルに数学は無理 とっとと失せろサル、シッシ 753 名前：１３２人目の素数さん [2019/02/01(金) 20:00:36.27 ID:R1wD039u.net] >>682 この間だれか、トライしたかも知れないが、”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は間違い”とおっしゃるプロ数学者は皆無 この厳然たる事実を、そろそろサルも知るべきですよ 754 名前：１３２人目の素数さん [2019/02/01(金) 20:04:48.55 ID:R1wD039u.net] >>683 ＞それを超えて、ある元と代表とを比較して、何かをいうことは、間違いのもとだと 間違えてるのはサル サルには数学は無理、シッシ！ 755 名前：１３２人目の素数さん [2019/02/01(金) 20:06:57.35 ID:R1wD039u.net] >>683 ＞（標準数学では、代表を選ぶ総選挙や、選抜試験は実施しませんですからね〜、 はい（＾＾ ） 代表系が存在しないと？　馬鹿丸出しｗ　選択公理がわかってない証拠ｗ サルには数学は無理、シッシ！ 756 名前：１３２人目の素数さん [2019/02/01(金) 20:09:45.78 ID:R1wD039u.net] >>684 ＞そして、標準数学内で、不変量として、その同値類がどういうシッポを共通に持つのか？　それは言えるだろう 言えません。 共通のしっぽなど存在しません。存在すると仮定すれば簡単に矛盾が導けます。 サルが馬鹿過ぎて理解できないだけ、シッシ！ 757 名前：１３２人目の素数さん [2019/02/01(金) 20:20:08.30 ID:R1wD039u.net] >>684 ＞「どの同値類に属するか判明した」、そこまでが全てです。それだけが、標準数学内だと 数列の同値類が判明すれば、その数列と代表はどこかの項（＝決定番号）から先が一致しています。 100列のうち決定番号が単独最大なのはたかだか1列なので、その列を選ばなければ、D+1項目は代表と一致してます。 その列を選ばない確率は99/100以上。 たったこれだけの話を理解できないサルに数学は無理。諦めなさい。シッシ！ ＞ところで、そもそも時枝の問題の数列と、同値類の代表と、D＋1から先の箱の可算無限個の数が全て一致するなんて ＞そんなことが起きる確率を考えてみなさいよ。その確率はゼロ（０）ですよね！（＾＾； Nから一元を無作為抽出して、それが０である確率は０です。しかし０∈Nです。 サルには数学は無理。諦めなさい。シッシ！ 758 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 20:25:48.49 ID:vrYesLBH.net] >>688-701 ご苦労さん キチガイみたいなレスしか出来なくなったみたいだね（＾＾ まあ、キチガイサイコパスだから、仕方ないかな〜（＾＾； 759 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 20:26:51.53 ID:vrYesLBH.net] まあ、だれが見ても正気を失っているよね（＾＾ 760 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/01(金) 20:28:02.21 ID:vrYesLBH.net] まあ、そのうち無視するけど（＾＾ しばらく、遊んであげますよ（＾＾； 761 名前：１３２人目の素数さん [2019/02/01(金) 20:30:59.85 ID:R1wD039u.net] ＞まあ、時枝記事は、戦略と直接関係しない非可測性とか独立性とか ＞に言及してる時点で、素人がミスリードされやすいのは確かだがね 時枝先生にまんまとミスリードされるサルｗ サル真似しかできないコピペ猿に数学は無理ｗ　シッシ！ 762 名前：１３２人目の素数さん [2019/02/01(金) 20:33:23.44 ID:R1wD039u.net] >>702 正しいレスをキチガイみたいに見えるということはお前がキチガイである証拠ｗ サルに数学は無理。シッシ！ 763 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 20:49:54.76 ID:IK9KpWwl.net] >>704 >無視 スレ主、反論不能で時枝に惨敗ｗ 764 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 20:51:56.11 ID:IK9KpWwl.net] 今日の一曲 https://www.youtube.com/watch?v=e07sE-RWRac 特に意味はないｗ 765 名前：１３２人目の素数さん [2019/02/01(金) 22:13:16.28 ID:R1wD039u.net] 共通のしっぽ久々に聞いたｗ やはりサルは学習できないようですｗ まあサルにはサル真似（コピペ）が関の山でしょうｗ 766 名前：１３２人目の素数さん mailto:sage [2019/02/01(金) 23:59:17.99 ID:Ua95SAD5.net] >>679 > さらに、時枝記事では、どのような分布にするかは、箱に数を入れる側の自由ですよ これを読んでスレ主が何を勘違いしているか分かりました スレ主の言うとおり、1個の箱に入れる実数はどんな確率分布で決めてもＯＫです ・サイコロを振って1,2,3,4,5,6の何れかをランダムに選んでもよいし、 ・[0,1]から実数を一様分布で選んでもよいです スレ主は正しいことを言っています このようにして各箱i∈Nに入る数x_i∈Rが決まります たとえばスレ主はサイコロを振り、 1番目はx_1＝1， 2番目はx_2＝6， という具合にサイコロを無限回振り、実数x_1, x_2,...を順次箱1, 2,...に入れていきます サイコロを振り終わり、各箱に入る数が決まったらそれを変えることはありません 各箱iに入れる数字x_iは、スレ主がサイコロを振って　1　つ　に　決　め　た　のです それはi＝1ならば1であり、i＝2ならば6です サイコロを振って各箱に入る実数は確定しました よってこの時点で　x_i　は　定　数　です 「各箱の実数を　固　定　する」とは「x_iを　定　数　とする」 と言っているだけです サイコロを振って各x_i（i＝1,2,....）が決まったのだから、箱に入れる実数x_i（i＝1,2,...）は定数です もちろん、サイコロを振る前は定数ではありませんよ？ サイコロを振る前のx_iはサイコロの分布に従う確率変数です しかし、サイコロを振って箱に入れる数x_iを確定した後は定数です x_1＝1, x_2＝6,...です 箱に実数が入れられたら、今度は回答者の番です 回答者はスレ主がどんな実数を箱に入れたか分かりません x_1＝1, x_2＝6, x_3＝,....のいずれかひとつでも当たれば数当て成功となります これが、今考えている数当てゲームです 分かっていただけたでしょうか？スレ主さん 767 名前：１３２人目の素数さん [2019/02/02(土) 00:27:03.22 ID:IdCmNqB7.net] スレ主は手ごわいぞ？ｗ 768 名前：１３２人目の素数さん mailto:sage [2019/02/02(土) 00:29:40.14 ID:D4KW9ZrD.net] >>710は小学生でも理解できるように書きました スレ主はきっと理解してくれると思います それでもスレ主は、箱に入れる実数x_iは固定されない、と考えるかもしれません その場合、スレ主は箱に入れる実数x_iを決定しない　ことを意味します >>710の例でいえば、 　〜回答者が箱を開けるまでグルグル回り続ける不思議なサイコロ〜 を箱に入れることを意味します スレ主自身、各箱iにどんな実数x_iを入れたのかを知ることはできません この時点で記事のゲームのルールと異なることが分かると思います ＞どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. ＞もちろんでたらめだって構わない.そして箱をみな閉じる. と記事に書いてありますから、各箱に入れる実数はe^πか、πか、それ以外か、とにかく確定していなければいけません スレ主が入れた実数を回答者が当てるのです スレ主が入れた 　〜回答者が箱を開けるまでグルグル回り続ける不思議なサイコロ〜 の出目を回答者が当てるゲームではないのです スレ主にとって、各箱iに入れた実数x_iは既知であり、x_1＝1, x_2＝6,...です (>>710) しかｓ回答者にとって、箱の中身x_iは未知です 箱を開けずに中身x_iを1つでも当てたらすごい そういうゲームです 【補足】 　〜回答者が箱を開けるまでグルグル回り続ける不思議なサイコロ〜 スレ主はこのようなサイコロを各箱に入れ、回答者に出目を答えさせる・・・ スレ主がこのようなゲームを考えたければそれもよいでしょう この場合、各箱の実数x_iはサイコロの分布で決まる確率変数です 回答者は記事の戦略に従って箱を開けていきます 戦略どおり、回答者は開けずに残した箱kに注目しx_k＝3と予想しました しかし、箱kに入ったサイコロはまだ回り続けています・・・ 箱を開けるまで、他の箱の中身とは独立にグルグル回り続けています 箱を開けたとたん、x_k＝3でピタッと止まるとはちょっと思えませんねぇｗ この確率がサイコロで決まる1/6なのか、戦略で決まる99/100なのか、非可測故に定まらないとするのかは、議論が残るところです 769 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/02(土) 07:07:08.30 ID:0GFYmnUI.net] >>711 手ごわい？（＾＾ それ、テンプレ>>13の＜数学ディベート＞について に書いた通りですよね ”いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾； ”手強い？”とは・・、まさに、ディベートですね” 私の強さは、「こちらが正しい」ということが その裏付けになっていますよ（＾＾ こちらが正しいということ以上の強さはありませんです、はい（＾＾

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef