19/02/10 09:14:04.02 3pF/2yS5.net
>>454
>確率過程論の知識を頼むよ
必要ないよ
ゲームを繰り返す際
・箱の中身は変わらない
・選択関数も変わらない
・変えられるのはどの列を選ぶか、だけ
だから箱の中身も選択関数も確率変数じゃない
確率変数は列の附番だけ
507:１３２人目の素数さん
19/02/10 09:17:30.80 3pF/2yS5.net
>>455
>相手に確率過程論の知識が有ろうが無かろうが証明すりゃいいだけｗ
ごもっとも
スレ主は自分勝手なゲームの証明しかできないだろう
つまり毎回の試行において
・予測する箱は変えない
・箱の中身は変わる
という場合の証明しかできない
でもそれは時枝記事のゲームとは異なる。
時枝記事では、毎回の試行で
・予測する箱がプレイヤーの選択によって変わる
・箱の中身のほうは変わらない
から、スレ主の自分勝手な設定とは真逆
それじゃ答えが一致するわけないんだよ
508:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 12:03:28.01 v+MY/Hv+.net
これは、ピエロちゃんだな
夜遅くまで
また
朝早くから、ご苦労さま
「東大出身」なんだって？
そっから、大ウソの間違いだろ？ｗ（＾＾
509:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 12:07:21.11 v+MY/Hv+.net
残党は、サイコパスのピエロと、High level peopleの二人だね
いまのところはね
で、パトロール隊長が参戦するのは構わんが、
参戦するなら>>454よろしくな（＾＾
510:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 12:08:14.28 v+MY/Hv+.net
パトロール隊長は、
古い住人かと思ったが
意外とそうでもないのかもね（＾＾；
511:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 12:22:16.88 v+MY/Hv+.net
>>469
>残党は、サイコパスのピエロと、High level peopleの二人だね
数学的には、High level peopleが上だな
落ちこぼれが、「固定」とか「確率変数は箱に入れられない」とか
わけのわからん概念に乗せられているね
定義を確認してから語れよ、数学科出身者なら
「固定」の定義を確認せずに、元祖さまにケンカふっかけて
コテンパンにされて
”君子豹変”～！とかやったのにはワロタよｗ（＾＾
（”君子豹変”は、>>38-41をご参照ｗ）
512:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 12:24:24.57 v+MY/Hv+.net
「東大出身」の大ウソも、
次のテンプレに入れてやるよ（＾＾；
513:１３２人目の素数さん
19/02/10 12:45:46.68 3Y78yhMO.net
>>455がスレ主の本質だな
スレ主ホイホイのテンプレにしよう
514:１３２人目の素数さん
19/02/10 12:48:52.09 3T9w9n/Y.net
スレ主は自分で「馬鹿でアホ」だと言ってるけどその実プライドが高いよね
工学部出身バカが下手の横好きで数学に手出してるだけのくせにwwwww
515:１３２人目の素数さん
19/02/10 12:54:31.06 3T9w9n/Y.net
円分体の高度な理論のコピペやpdfを貼って蘊蓄をたらたら語りながら
1のべき根の意味さえ誤解してたバカっぷりには呆れた
516:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 13:57:10.45 v+MY/Hv+.net
>>473
まあ、マジレスすれば
>相手に確率過程論の知識が有ろうが無かろうが証明すりゃいいだけｗ
>相手に知識が無いと困るというのは、「俺には証明はできないが、俺の言いたいことを汲み取ってくれ」と懇願しているのと同じこと。
過去にも類似の話があったろ？
テンプレ>>16にあるよ
スレ54で議論していたのが、定理1.7と関連の系1.8だが
おれは、この数学板に書かれたアスキー表示の数学証明は読まないので、せめてPDFにしてくれと
で、彼はPDFにアップして嫁と
で、おれは一読して、「面白そうな定理だから、大学教員に相談しろ」と
で、彼は「もっと証明を読んでくれ」と
俺は「証明が良く分からないが、その定理の命題が変だよ」と
延々議論すること、数か月から半年掛けて、彼は撤退していった
で、証明の成否はともかく
１）この証明は、PDF A4で、５枚くらいだったかな。
これをこのスレに展開すれば、10個くらいに分かれるだろう
かつ、ΣとかΠとか積分記号とかあったかな、ともかく、この板には書けない数学記号が沢山あってね
２）そんな証明をこの板に書くなと
３）おれやおっちゃんのカキコを見れば分かるだろうが、初稿はタイプミスなどもあるしよ
そんなのを真剣に読む気はせんだろ？
４）まあ、結論としては、「証明、証明」というなら、きちんとTeXでも起こして、
それをだれか大学教員でも、せめて友人にでも見てもらってから、PDFかなにかでアップロードしろよと
それが、おれが証明を読む最低条件だよ
（さもなくば、このスレで１つか２つで収まる略証を書くかだと。）
過去になんども、High level peopleには、
そんなに自信があるなら
大学へ行って、大学教員と議論してこいと、言ったのだがね
その挙句の>>31なのだ。
あなたも、ぐじぐじ言っているヒマがあったら>>31だよ
それで、正しいのは、おれだと分かるよ（＾＾
517:１３２人目の素数さん
19/02/10 13:58:46.73 O9UzgKhM.net
>>456
＞現代確率論や確率過程論とは無関係というトンデモを語るサイコ野郎なのだ
以下の通り必要なのは初等確率論のみだよ。分かってないのはスレ主一人。
出題列を100列に並び変えることは、f:{1,2,...,100}→N を作ることと等価。
{1,2,...,100} から無作為抽出した k が f(k)>max{f(1),f(2),...,f(k-1),f(k+1),...,f(100)} を満たす
確率は1/100以下（複数の f 値が最大の場合満たさないので「以下」）
そしてその場合に代表から情報をもらえない、よって数当て成功確率は99/100以上。
518:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 14:03:52.33 v+MY/Hv+.net
>>474
>工学部出身バカが下手の横好きで数学に手出してるだけのくせにwwwww
それも半分当たっているがね
まあ、数学と工学との関係は
電車の車両製造者と、電鉄会社の関係と思いなよ
電鉄会社は、電車の構造とか機構とか、ある程度知っていないと
いざというときに、適切な処置が取れないでしょ
電車のメンテナンスもできないしね
でも、自分で電車を設計製造する必要はないんだ
設計図は配線図と読めれば良いんだ
だが、設計図や配線図を理解できなければいけないんだよ（＾＾
519:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 14:05:05.69 v+MY/Hv+.net
>>475
円分体は、面白いね～（＾＾
あれいいわ～（＾＾；
520:１３２人目の素数さん
19/02/10 14:07:18.87 jwcHkSxg.net
>>465
よし、問題を確率過程と解釈する方法を見つけてスレ主に教えてあげよう。
521:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 14:09:03.08 v+MY/Hv+.net
>>478 タイポ訂正
設計図は配線図と読めれば良いんだ
↓
設計図と配線図とが、読めれば良いんだ
522:１３２人目の素数さん
19/02/10 14:10:16.08 O9UzgKhM.net
>>456
>「時枝記事が成り立たないなら、選択公理が否定される」
時枝解法の仮定は選択公理のみだよ。
よって解法を否定するには唯一の仮定である選択公理を否定するしか無い。
>選択公理は、数列のしっぽの同値類の代表を選ぶときのみに使われて、
集合上に同値関係が与えられた時同値分割可能であることの証明は以前に提示した。
スレ主はその証明には選択公理が使われていると主張したが、証明のどこで使われているのか
という問いには未回答のまま。回答できないということは言いがかりに過ぎないということだ。
523:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 14:10:32.92 v+MY/Hv+.net
>>480
>よし、問題を確率過程と解釈する方法を見つけてスレ主に教えてあげよう。
ありがとう
だけど、それ時枝記事に書いてあるよ
まず、時枝記事読んでくれ（＾＾；
524:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 14:15:16.18 v+MY/Hv+.net
メモ貼付け
前にも貼ったかもね（＾＾
URLﾘﾝｸ(ocw.nagoya-u.jp)
名大の授業Webサイト
糸健太郎 准教授
URLﾘﾝｸ(ocw.nagoya-u.jp)
講義ノート
(一括ファイル)数学展望Ⅰ(一括ファイル, 67ページ) (PDF 文書, 1209KB)
目 次
はじめに 2
第 1 章 連分数 4
1.1 連分数とは？ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 黄金比の連分数展開 . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 無理数の連分数展開 . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 収束分数列
525: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.5 ２次の無理数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 第 2 章 フォードの円 29 2.1 フォードの円 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.2 よい近似分数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.3 フルビッツの定理 . . . . . . . . . . . . . . . . . . . . . . . . . . 46 第 3 章 双曲幾何 51 3.1 円に関するの反転 . . . . . . . . . . . . . . . . . . . . . . . . . . 51 3.2 双曲平面 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.3 双曲平面とフォードの円 . . . . . . . . . . . . . . . . . . . . . . 62
526:１３２人目の素数さん
19/02/10 14:22:14.44 O9UzgKhM.net
スレ主ってすごいね
自分の固定概念と相容れないというだけで相手をかたっぱしから落ちこぼれ扱いするんだからｗ
（しかも間違ってるのは数学科出身なら誰でも分る通りスレ主の方）
人格破綻者かな？
527:１３２人目の素数さん
19/02/10 14:24:53.56 O9UzgKhM.net
>>463
＞まあ、落ちこぼれていない数学科生や、
＞あるいは京大重川研やそれ以外でも、確率論の研究室の連中は分っているよ
つまり世の中の数学科生は全員落ちこぼれってことですね？
スレ主の賛同者がゼロってことはｗ
528:１３２人目の素数さん
19/02/10 14:31:41.67 O9UzgKhM.net
＞だいたい、これ、確率論というより集合論の問題だし
スレ主の頑固さは異常ｗ
人間歳取ると誰しも頭が固くなるが、それにしても異常ｗ
529:１３２人目の素数さん
19/02/10 14:38:12.44 O9UzgKhM.net
＞箱の中身は確率変数じゃないし、選ぶのは列であり箱であるから
＞問題の捉え方が全然間違ってるんだよ
「問題の捉え方を間違って、その結果不成立に至っている」
というよりは
「成立をどうしても認めたくなくて、間違った問題の捉え方にならざるを得なくなっている」
が真実かもねｗ
530:１３２人目の素数さん
19/02/10 14:41:30.86 O9UzgKhM.net
>>470
パトロール隊長は最古住人、すなわちあんただよｗ
531:１３２人目の素数さん
19/02/10 14:45:47.32 O9UzgKhM.net
>>471
＞落ちこぼれが、「固定」とか「確率変数は箱に入れられない」とか
＞わけのわからん概念に乗せられているね
＞定義を確認してから語れよ、数学科出身者なら
何度も言ってるが、時枝記事に書かれている通り
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」
が定義ですｗ 定義を勝手に歪曲してはいけませんｗ
532:１３２人目の素数さん
19/02/10 15:07:34.18 3pF/2yS5.net
>>476
>正しいのは、おれだと分かるよ（＾＾
相対論は間違ってると絶叫するトンデモも同じセリフを吐く
自分の常識に対する根拠のない自信 これが狂気の源ｗ
533:１３２人目の素数さん
19/02/10 15:11:47.33 3pF/2yS5.net
>>478
>数学と工学との関係は
>電車の車両製造者と、電鉄会社の関係
>と思いなよ
悪いが工学ではガロア理論なんて使わない。集合論についても同様。
だからスレ主が代数のネタや時枝理論で間違えるのは当然といえば当然ｗ
534:１３２人目の素数さん
19/02/10 15:14:48.14 3pF/2yS5.net
>>483
>>よし、問題を確率過程と解釈する方法を見つけてスレ主に教えてあげよう。
>それ時枝記事に書いてあるよ
>まず、時枝記事読んでくれ
時枝記事のどこにも、確率過程のことなんて書いてないよ
確率変数の族の話は書いてあるが戦略とは無関係だから
計算には一切でてこない スレ主、時枝記事も読めない馬鹿か？
535:１３２人目の素数さん
19/02/10 15:17:29.32 3pF/2yS5.net
>>485
>スレ主ってすごいね
>自分の固定概念と相容れないというだけで
>相手をかたっぱしから落ちこぼれ扱いする
自惚れの極致だよ トンデモに多いね
536:１３２人目の素数さん
19/02/10 15:23:00.74 3pF/2yS5.net
>>490
>「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」
ここで、毎回の試行で、その都度、箱に実数を入れるんなら、箱の中身は確率変数になる
しかし時枝記事はそうなってない
それを示すのが以下の文句
「さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
ランダムに選ぶのは作られた100列のいずれかであって、数列全体ではない
つまり、毎回の試行で、箱の中身から入れ替えることはしないわけだ
だから、箱の中身は「ランダムな値」ではない
時枝記事で
「独立な確率変数の無限族 X1，X2，X3，…」
「n番目の箱にXnのランダムな値を入れ」
とあっても、戦略とは全く無関係だから
そこに固執しつづけると、スレ主のように発狂するｗ
537:１３２人目の素数さん
19/02/10 15:32:49.40 3pF/2yS5.net
スレ主は●●の一つ覚えで確率過程に固執してるが
要するに箱の中身は独立同分布、といいたいだけだろう
しかしそもそも箱の中身がランダムでなく
ランダムなのは、時枝戦略で選ばれる
１００の箱のいずれかなのだから、
スレ主の直感とは全然関係ない話
（時枝記事の後半の独立性の話が罪作り
なんであんな余計な話を書いたのかわからんが）
538:１３２人目の素数さん
19/02/10 15:34:49.06 3pF/2yS5.net
スレ主はそもそも時枝記事の中身を読もうとしないか
読んでも頭が混乱して理解できないかのいずれかだから
何度説明しても時枝記事の戦略を理解することはないだろう
そんな低能で数学を語ろうとするのは
幼稚園児が自動車を運転するよ
539:うなもの だからやめてほしいものだ
540:１３２人目の素数さん
19/02/10 15:55:50.71 O9UzgKhM.net
>>474
まったくその通りだと思う
541:１３２人目の素数さん
19/02/10 16:00:25.76 O9UzgKhM.net
＞1のべき根の意味さえ誤解してたバカっぷりには呆れた
スレ主はすべてにおいて基礎がなってないｗ
ネットで無料PDF拾ってきて読んでわかった気になってるだけ、実際は何も分かっていないｗ
542:１３２人目の素数さん
19/02/10 16:03:52.50 O9UzgKhM.net
>>476
＞それが、おれが証明を読む最低条件だよ
いや、お前が証明を書くんだよｗ 確率過程論で不成立が証明できるんだろ？ｗ
543:１３２人目の素数さん
19/02/10 16:11:41.07 3pF/2yS5.net
>>500
スレ主の主張は、独立同分布につきるからなあ
でも、特定のある箱について、
他の箱の情報から得られた同値類の代表元
と一致する確率が、偶然の一致と同じとして
そこから時枝記事の矛盾が導けるかといえば
できないけどなｗ
つまり、スレ主は矛盾でもなんでもないことを
勝手に矛盾だと騒いでるだけのバカ
544:１３２人目の素数さん
19/02/10 16:14:15.16 3pF/2yS5.net
>>499
スレ主は結局数学そのものじゃなくて
「自分が数学の高尚な理論に触れている」
という気分が好きなだけ
中身を理解する意欲もなく努力もしないから
結果として理解できない
こういう変質者は数学板で書いてほしくない
ウンコ臭い書き込みなんか不快なだけ
545:１３２人目の素数さん
19/02/10 16:16:10.34 O9UzgKhM.net
＞（時枝記事の後半の独立性の話が罪作り
＞ なんであんな余計な話を書いたのかわからんが）
時枝先生の罪でしょうな。
前半だけだと「はいそうですね」で終わっちゃうから、雑誌記事としてのプレゼンスを出そうと企てた。
それにまんまと騙されちゃったのが自分の頭で考えることができないスレ主ｗ
546:１３２人目の素数さん
19/02/10 16:42:15.03 3pF/2yS5.net
>>503
>>時枝記事の後半の独立性の話が罪作り
>時枝先生の罪でしょうな。
やっぱりそう思うよね
いきなり独立性の話だと唐突だから
つなぎで非可測性の話を挟んでるが
これまた罪作り
箱の中身は確率変数じゃないから
非可測性なんて問題にならないんだけどね
547:１３２人目の素数さん
19/02/10 16:52:33.79 O9UzgKhM.net
>>504
非可測集合を経由してるからお手付きと片付けるのはのくだり、言われてみれば確かに変ですね
スレ主みたいな崇拝妄信タイプの読者には不向きですね、この記事ｗ
548:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 18:13:06.85 v+MY/Hv+.net
この定理が不成立だとすれば、選択公理が成り立たない？
確かに、基礎論で、選択公理と等価な命題はいくつかあるが
時枝記事がそうだったのか！？
おれには初耳だったね（＾＾；
しかし、選択公理を疑う前に
自分の頭を疑えよ
おい ：ｐ）ｗ
549:１３２人目の素数さん
19/02/10 18:28:48.33 3pF/2yS5.net
>>506
>おれには初耳だったね
素人の知らないことなんて沢山ある
>選択公理を疑う前に 自分の頭を疑えよ
時枝記事を疑う前に自分の頭を疑えよ
550:１３２人目の素数さん
19/02/10 18:36:37.65 O9UzgKhM.net
>>506
＞この定理が不成立だとすれば、選択公理が成り立たない？
はい。
＞確かに、基礎論で、選択公理と等価な命題はいくつかあるが
＞時枝記事がそうだったのか！？
＞おれには初耳だったね（＾＾；
スレ主は p⇒q と p⇔q の区別が付かないようでｗ
551:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 19:33:00.35 6AF3LOKJ.net
>>508
これは、High level peopleさん、良いフォローだよ
>＞この定理が不成立だとすれば、選択公理が成り立たない？
>はい。
>＞確かに、基礎論で、選択公理と等価な命題はいくつかあるが
>＞時枝記事がそうだったのか！？
>＞おれには初耳だったね（＾＾；
>スレ主は p⇒q と p⇔q の区別が付かないようでｗ
言っていることが、一心同体
数学で言えば、双対か
というくらい一致しているので、笑えるが
（>>506より）
>この定理が不成立だとすれば、選択公理が成り立たない？
(引用終り)
まあ、言いたかったのは
１．公理系ZFCは標準だろ？ PCに例えれば、デフォルトだと。ZFC以外なら、宣言しておかないと、まずい
２．で、公理系ZFC上でふつう数学は理論体系が出来ている
３．時枝記事も、その理論体系の中の連鎖の命題の一つにすぎない
４．時枝は当然、いくつかの仮定のもとで、成り立っている
つまり、例えばこんな感じだな
仮定命題：選択公理、仮定１、仮定２、・・・、仮定ｎ、”ピエロは正気”
↓
結論命題：時枝の確率計算成立
で、対偶で、
￢結論命題：時枝の確率計算は不成立
↓
￢仮定命題：選択公理の￢
を主張するピエロ
おれ：一番怪しいのは、”ピエロは正気”だろ？ ：ｐ）ｗ
ちゃんちゃん（＾＾；
552:１３２人目の素数さん
19/02/10 19:35:23.37 O9UzgKhM.net
>>509
＞仮定１、仮定２、・・・、仮定ｎ
とは？
553:１３２人目の素数さん
19/02/10 20:05:44.36 3pF/2yS5.net
>>511
無限公理じゃね？ｗ
結論：スレ主は無限否定論者
554:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 20:54:04.79 6AF3LOKJ.net
>>510-511
笑えるよ
数学は体系だよ
公理は、数体系の背後にある
確率論を支えるいくつものいくつもの定義と補題を含む命題と、
それら全ての上に時枝が成り立っている
ところで、
数学科生なら、
「この定理が不成立だとすれば、選択公理が成り立たない」という定理が、
いくつか頭に浮かぶだろうね
そんなに多くないはずだ
普通は、基礎論の選択公理と等価な命題が浮かぶことだろう
それ以外になにか浮かぶかい？
この議論のために、創作した命題ではなく、教科書とか論文にすでに出ている定理の中で
ふつう、ないよね（もし、あれば、教えて欲しい）
で、これらの定理と、時枝記事の命題が並列されるのだと
おれは、「ご冗談でしょ！」と（＾＾
”この定理の証明は、絶対間違いない！”という程度なら、まだ可愛いよ（＾＾
あるいは、冗談で、「時枝が不成立だとすれば、選択公理が成り立たない」と大げさにいうのもありだろうね
しかし、これを本気でいうとしたら、「おまえ気は確かか？」と言うよね、数学科生ならね ：ｐ）
555:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 20:57:35.71 6AF3LOKJ.net
ああ、ﾊﾞﾅｯﾊタルスキーとかあったね
非可測の話などね
時枝記事も、後半で非可測の話しをしていたね～（＾＾；
556:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 21:05:20.37 6AF3LOKJ.net
そうか、ピエロちゃん、
非可測集合による確率論の定理だと言っていたのか？ （＾＾；
さすがだね～ ：ｐ）
557:１３２人目の素数さん
19/02/10 21:06:52.27 O9UzgKhM.net
で？不成立の証明はどうなったの？
558:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 21:23:04.00 6AF3LOKJ.net
>>475
>円分体の高度な理論のコピペやpdfを貼って蘊蓄をたらたら語りながら
> 1のべき根の意味さえ誤解してたバカっぷりには呆れた
円分体と1のべき根の意味とは、表裏一体でしょ？（＾＾
加川研>>174 より
>それにしても円分体は面白い。時間があれば Washington の本をじっくり読みたいところだが
立命館 数理科学科 教授が、「じっくり読みたい」と言われる（＾＾
>>173 より
>ノイキルヒのゼミ。で今は Q(ζn) の整数環が Z[ζn] であることの証明だったが、n が素数の冪の場合で沈没したらしく、「一般の場合は来週にします」とのことだった。
>で40分くらいで終了。円分体の整数環の決定って、何でこんなに難しいんだろう？そもそも [Q(ζn)：Q]＝φ(n) であることも、一般の場合は実に難しい。
これ読むと、まあ、おれなんか
怖じ気づいてしまうよね～（＾＾
で、まあ、せめて>>114の円分体くらいは、齧り付いてみようとしたわけです、はい（＾＾
559:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 21:25:12.58 6AF3LOKJ.net
>>515
まあ、時枝は、テンプレ>>2の通り
"時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。"と書いた通りです（>>435）
気が向いたら、またやりますよ
560:１３２人目の素数さん
19/02/10 21:39:30.42 O9UzgKhM.net
>>515
せっかく不成立の主張を聞いてやろうと言ってるのに自ら機会を放棄すると？
ならば成立あるのみ！
これで決着。
561:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 23:57:27.90 6AF3LOKJ.net
>>518
ご随意にどうぞ
562:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 23:57:54.10 6AF3LOKJ.net
>>160 関連
（問題は >>114 ご参照）
円分体の一般論は、私にはとても手に負えないが
問題に必要な最小限の p,2p,4p の場合のみ考えてみたので、ご参考までに書く
＜数学の内容は、ほぼ高校数学の延長線上だが、円分体やガロアでは頻出だったと思う＞
数学雑記さんより
URLﾘﾝｸ(fjmttty.hatenablog.com)
2017-08-05 体論の期末試験(再�
563:ｻ) が、解答の中でやっていることの補足です （円分体の掘り下げ） ζ4pを作ります ζ4p ＝cos2π/4p + i sin2π/4p ＝cosπ/p + i sinπ/p これは x^4p - 1＝0の根です 拡大体 Q（4p）内で、 ζ4pのベキを考えることができます p乗で （ζ4p)^p ＝cos2π/4 + i sin2π/4 ＝cosπ/2 + i sinπ/2 ＝ i となり、iが得られます。なお、iは虚数単位です。 つまりi=e^(π/2)=ζ4 ∈Q(ζ4p)です （後述の永野哲也研 長崎県立大 １の8乗根の図解ご参照 ） つづく
564:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 23:58:27.47 6AF3LOKJ.net
>>520
つづき
蛇足で、繰り返しすが
ζ4=iは、x^4=1の根です
重要なのはζ4=i（虚数単位）が得られること
なお、ζ2は、x^2=1の根で、ζ2=-1ですが、これは有理数Qの中です
（体の拡大に寄与しない）
下記wikipedia 円分体の記述のように、
Q(ζ4p) は、Q(ζ4)と Q(ζp)との合成体とみることができます
つまり、 拡大体 Q(i,ζp)と見ることが出来ます
ζpは、x^p=1の根で、最小多項式は、p-1次多項式です。
（根 x=1 が除かれますのでp-1です）
1以外の根は、ζp,ζp^2,・・・,ζp^(p-1) のp-1個です
実円分体 Q(ζp)∩R は、共役複素数の和 ζp ＋1/ζp = 2cos(2π/p)達です
で
ζp ＋1/ζp,・・・,ζp^{(p-1)/2} ＋1/ζp^{(p-1)/2} で、(p-1)/2個
なお、念のため
ζp＝cos2π/p + i sin2π/p です
ここで、
ζp^{(p+1)/2}
=cosπ(p+1)/p + i sinπ(p+1)/p
=cosπ(1+1/p) + i sinπ(1+1/p)
=-cosπ/p - i sinπ/p
=-ζ2p
とできます
つづく
565:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/10 23:59:50.72 6AF3LOKJ.net
>>521
つづき
これより
ζp^{(p+1)/2} + 1/ζp^{(p+1)/2} = -2cosπ/p
つまり、
cosπ/p ∈Q(ζ2p) (＝(ζp)）
なお
ζp^{(p+1)/2} - 1/ζp^{(p+1)/2} = -2i sinπ/p
だから
i ∈Q(ζ4p) が使えて（割るか掛けるかする）
（cosπ/p,sinπ/p) ⊂ Q(ζ2p)∩R(実円分体）
です
で、上記より実円分体で、
（ζp ＋1/ζp,・・・,ζp^{(p-1)/2} ＋1/ζp^{(p-1)/2} ）⊂ Q(ζp)∩ R
＝ Q(ζ2p)∩ R
＝ Q(cosπ/p)⊂Q(sinπ/p)⊂ Q(ζ4p)∩ R
＝Q(i,ζp)∩ R
が成り立つ
元の円分体で示すと
Q(ζp)＝ Q(ζ2p)⊂ Q(ζ4p)＝Q(i,ζp)
です
言葉で述べると
・Q(ζp)は、Q内に-1=e^πiを含んでいるので、Q(ζ2p)（2p等分点による）と等しい
・Q(ζ4p)（4p等分点による）は、iを含む
・Q(i,ζp)で、iとζpによる拡大体になる
つづく
566:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 00:00:44.35 qyW7buAe.net
>>522
つづき
で、これを因数分解で見ると
x^4p - 1
＝(x^2p - 1)(x^2p + 1)
＝(x^p - 1)(x^p + 1)(x^2p + 1)
＝0
x^p ＝ 1 から、ζpがでる
x^p ＝ - 1 から、- 1=e^πi を使ってζ2pがでるが、Q(ζp)＝ Q(ζ2p)
x^2p ＝ - 1 から、- 1=e^πi を使ってζ4pがでる
体の拡大の次数は
|Q(ζp)：Q|＝p-1
|Q(ζ2p)：Q|＝p-1
|Q(ζ4p)：Q|＝2(p-1)
|Q(ζp)∩ R：Q|＝|Q(ζ2p)∩ R：Q|＝(p-1)/2
|Q(ζ4p)∩ R：Q|＝p-1
>>114の
問1：cos(π/n)∈Q(sin(π/n)) の証明は、
>>158-159の通りで、
「nが奇数ならn-1=2mと表せてcosの2m倍角公式がsinだけで書ける」（spread 多項式 Smを使う）ことから従う
問2：sinπ/p not ∈ Q(ζ2p + 1/ζ2p)⊂Q(ζ2p)＝Q(ζp)の略証は、>>178に書いた通り
あと残っているのは
”Q(sinπ/p) ＝ Q(ζ4p)∩ R ”が成り立つはずなのだが・・、
まだ示せていない（＾＾；
追伸
なお、ここらの式変形やテクニックは、円分体やガロア理論では頻出だったよね、確か（＾＾；
まあ、ガウスなら秒殺で浮かぶだろうことが、鈍才のスレ主は、思いだしながら１週間くらいかかったよ（＾＾
つづく
567:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 00:01:13.30 qyW7buAe.net
>>523
つづき
（参考）
URLﾘﾝｸ(sun.ac.jp)
永野 哲也研 長崎県立大
URLﾘﾝｸ(sun.ac.jp)
第16回
(抜粋)
２．円分多項式
URLﾘﾝｸ(sun.ac.jp)
１の8乗根を単位円周上に図示すると以下のような z1、z2、z3、z4、z5、z6、z7、z8 である。
z1、z3、z5、z7 が１の原始8乗根である。
z4 は原始2乗根、z2、z6 は原始4乗根、z8 はもちろん原始1乗根である。
URLﾘﾝｸ(ja.wikipedia.org)
円分体
(抜粋)
性質
・3 以上の整数 m に対して、円分体 Q (ζm) の拡大次数 [ Q (ζm): Q ]は、φ (m)である。
但し、φ (n)はオイラー関数である。
・任意の円分体は、ガロア拡大体であり、ガロア群は、アーベル群である。
・3 以上の整数 m に対して、 m=p_1^e_1・・・ p_r^e_r ( p_1,・・・ ,\ p_r は、相異なる素数、 e_1,・・・ ,e_r >= 1) と素因数分解すると、
Q (ζm) は、 Q (ζp_1^e_1),・・・ ,Q (ζp_R^e_r) の合成体であり、
Gal ( Q (ζm)/ Q )～＝ ( {Z} /m {Z} )^x～＝ ( {Z} /p_1^{e_1} {Z} )^x X ・・・ X ( {Z} /p_r^{e_r} {Z} )^x
が成立する。
・ Q(ζm)∩ R= Q(ζm +1/ζm) である。この Q (ζm +1/ζm)を、最大実部分体または実円分体という。
(引用終わり)
以上
568:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 00:06:16.49 qyW7buAe.net
>>522 タイポ訂正
（cosπ/p,sinπ/p) ⊂ Q(ζ2p)∩R(実円分体）
↓
（cosπ/p,sinπ/p) ⊂ Q(ζ4p)∩R(実円分体）
569:１３２人目の素数さん
19/02/11 00:37:07.00 pWpod5Dv.net
>>519
了解。
時枝は成立で決着。
スレ主の学力では理解できなかったのだろうが、ならば正直に分からないと言えばよかったものを、
分かったふりして3年間もピエロを演じ続けたキチガイのスレ主さん、即刻数学板から退場された方がよいのでは？
どうしても続けるつもりならしっかりテンプレに入れといてね。このキチガイの所業を。
570:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:03:04.79 qyW7buAe.net
>>526
ご随意にどうぞ
571:１３２人目の素数さん
19/02/11 08:07:12.92 OG2xCUB+.net
>>526
>時枝は成立で決着。
だな
時枝氏は、記事の内容が、箱の中身を確率変数としても成立する、と
いいたかったのかもしれん（後半の非可測とか独立性の話から察して）
上記の見解については議論があるところだが、もともとの時枝記事の
確率計算では、箱の中身は確率変数ではないから、議論の余地はない
>スレ主の学力では理解できなかった
スレ主は定義も確認しない「頭の★すぎる人」だから、
問題の前提も確認せず、勝手に俺様問題で考えたんだろう
ほんと、頭の★すぎる人は勝手に暴走するから困る
>3年間もピエロを演じ続けたキチガイのスレ主
キチガイは演じられないよ 地の性格だから
3年といわず5年でも10でも●違いつづけるだろうな
>即刻数学板から退場された方がよい
即入院したほうがいいな ネット環境のない閉鎖病棟に
ネットはスレ主の病状を悪化させるだけ
572:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:17:49.36 qyW7buAe.net
>>520 補足
いま読み返すと、前スレで ID:I3RTouchさんが書いてくれていた一部を
私が>>520以下で具体的に示したわけか
ようやく意図がわかったよ、ありがとう（＾＾
(引用開始)
前スレ59 ｽﾚﾘﾝｸ(math板:381番)
381
573:名前：１３２人目の素数さん[sage] 投稿日：2019/01/28(月) 01:03:38.54 ID:I3RTouch [1/4] >>168で「特化した証明」と書きましたが、まったく任意の実数xも含めて考えてみたので書きますね。 当初考えていた証明→ sin のn倍角公式を使うもの でしたが、オイラーの公式を使った方が簡単。 オイラーの公式: e^(ix)=cos(x)+i*sin(x). そして、x:π/n の整数倍 とは限らず、x:任意の実数 でもある程度の分析は可能→命題参照 Qを有理数体、Rを実数体とする。 xをπの整数倍ではない任意の実数とする。K=Q(cos(x)), L=Q(e^(ix))=K(i*sin(x)) とおくと L/K は2次拡大。また、L∩R=K という関係がある。 以上のことから次の命題が成立することが分かる。 命題 sin(x)∈K ⇔ i∈L. 最も簡単なケース（円分体） e^(ix)の整数乗でi に等しいものがあるとき ⇔ Lが1のn乗根（nは4の倍数）の体のとき i∈L だとしても、それが「e^(ix)の整数乗」という形で含まれるとは限らないので sin(x)\not∈K の証明はより難しい。 sinとcos を入れ替えた場合→ x+π/2 として分析できる。 （以上、オイラーの公式と初歩的な代数しか使ってない。） (引用終り)
574:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:18:26.22 qyW7buAe.net
>>528
ご随意にどうぞ
575:１３２人目の素数さん
19/02/11 08:31:08.35 ev+5tIVY.net
>>526
いやだからお前が出ていけよ
もう用は済んだろ？
576:１３２人目の素数さん
19/02/11 08:34:34.42 OG2xCUB+.net
>>531
スレ主毎度恒例の豹変
もうその芸飽きたからいいよ
577:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:42:25.02 qyW7buAe.net
>>523
>あと残っているのは
>”Q(sinπ/p) ＝ Q(ζ4p)∩ R ”が成り立つはずなのだが・・、
>まだ示せていない（＾＾；
やはり、>>520の数学雑記さんが、解答の中でやっているスジか
下記、1の冪根で、sin π/p をζ4p達の中の原始冪根ξpで表現できると
そのときに、下記「n と互いに素な自然数 m に対して ξnm は 1 の原始 n 乗根であり、逆に 1 の原始 n 乗根はこの形に表せる。」
そのことを、gcdで表現している
ようやく思い出した（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
1の冪根
(抜粋)
1の冪根、または1の累乗根は、数学において、冪乗して 1 になる（冪単である）ような数のことである。すなわち、ある自然数 n が存在して
z^n = 1
となる z のことである。通常は複素数の範囲で考えるが、場合によっては p 進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。
自然数 n に対し、m (< n) 乗しても決して 1 にならず、n 乗して初めて 1 になるような 1 の冪根は n 乗根として原始的 (primitive) であるという。自然数 n を固定せず、1 の原始 n 冪根あるいは 1 の原始 n 乗根として得られる数を総称し、1の原始冪根（いちのげんしべきこん）、または1の原始累乗根（いちのげんしるいじょうこん）という。
1の原始冪根
複素数の範囲では、1 の原始 n 乗根は n ? 3 のとき2つ以上存在する。ド・モアブルの定理より、1 の原始 n 乗根の一つは
ζ n=cos 2π/n + i sin 2π/n
で与えられることが分かる。この時、ζn の共役複素数 ζn も 1 の原始 n 乗根である。n と互いに素な自然数 m に対して ξnm は 1 の原始 n 乗根であり、逆に 1 の原始 n 乗根はこの形に表せる。すなわち、1の原始 n 乗根は、オイラーのφ関数を用いて、ちょうど φ(n) 個存在する。
方程式 x^n = 1 を考える。この方程式の根は、ド・モアブルの定理より、
x=cos 2π k/n+isin 2π k/n (0 <= k <= n-1)
であるが、1 の原始 n 乗根 ξn を一つ選べば、
x=ξn^k (0 <= k <= n-1)
と書くことができる。
根号を用いて表示できること、つまり方程式が代数的にも可解であることはガウスにより証明された。
(引用終り)
578:１３２人目の素数さん
19/02/11 08:43:22.62 ev+5tIVY.net
>>532
あ
579:ーいまだにダダ漏れ個人情報が出せないゴミの方かこいつ サヨナラ
580:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:43:55.44 qyW7buAe.net
>>533
いや、もっと簡単に、三角関数の公式などで、出せないかと考えたのだが
思いつかない
円分体は偉大だね～（＾＾
581:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:46:08.95 qyW7buAe.net
>>534
パトロール隊長、ごくろうさま
なんか、いつの間にか同一人物にされて、ご愁傷さまです（＾＾；
お詫び申し上げます（＾＾
582:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 08:54:20.81 qyW7buAe.net
>>520 補足
あと、つまらんことだが
カンニングして文句をつけるのもあれだが
数学雑記さんが、問２の(2)で書いている証明は、あくまで略式だから、これを正式な書き方と思わない方がいい
具体的には、等号の間に、なまの文を挿入しているよね
これ試験答案で書くと印象悪いだろうね、多分。教科書の証明では絶対やらんよ、これ。まねしないようにね（＾＾；
583:１３２人目の素数さん
19/02/11 08:54:40.60 OG2xCUB+.net
>>534
宿題はやってきたか
スレ主が時枝記事のどこをどう誤解したか指摘するアレだよ
別人になりすますならそのくらいやってみせろよな
できない？じゃ、スレ主と同一人物だと認めたことになるな
スレ主とまったく同じ誤りを共有してるんだから
584:１３２人目の素数さん
19/02/11 08:57:07.46 OG2xCUB+.net
>>533-535
スレ主は同時並行を演出するため
PCとケータイ同時に構えて
書き込みしたなｗｗｗｗｗｗｗ
585:１３２人目の素数さん
19/02/11 08:59:46.40 ev+5tIVY.net
>>538
お前が先に自分の主張を証明しろ;
>>337>>340他
これができないならお前がこのスレナンバーワンのホラ吹きゴミだ
586:１３２人目の素数さん
19/02/11 09:00:03.43 OG2xCUB+.net
「さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
ほら見ろ、ランダムに選ぶのは箱の中身じゃないぞｗ
スレ主は記事の日本語もロクに読めない文盲ｗｗｗ
587:１３２人目の素数さん
19/02/11 09:01:26.78 OG2xCUB+.net
>>540
おまえがスレ主の誤りを指摘しろ
できない限りおまえはスレ主のイヌ
●違いのイヌになって楽しいか？ｗｗｗｗｗｗｗ
588:１３２人目の素数さん
19/02/11 09:04:43.14 OG2xCUB+.net
イヌが出てくれば
「スレ主の誤りを指摘しろ」
と云い続けるまで
云えない限りイヌの負けｗｗｗｗｗｗｗ
589:１３２人目の素数さん
19/02/11 09:04:51.07 ev+5tIVY.net
自分のデマカセは棚に上げてひたすら他人批判とはいいご身分ですね
ゴミだけに
時枝が決着した以上スレ主の方がまともまである
590:１３２人目の素数さん
19/02/11 09:06:01.44 OG2xCUB+.net
スレ主が出てくれば
「確率過程（独立同分布）で
時枝記事の戦略の成功確率を
計算せよ」
と云い続けるまで
云えない限りスレ主の負けｗｗｗｗｗｗｗ
591:１３２人目の素数さん
19/02/11 09:08:00.48 OG2xCUB+.net
>>544
>スレ主の方がまともまである
打ち間違いはスレ主のお家芸
スレ主の主張を支持する時点でスレ主のなりすまし確定ｗ
ほんとコイツ馬鹿だな ミエミエのなりすましｗｗｗｗｗｗｗ
592:１３２人目の素数さん
19/02/11 09:11:36.19 ev+5tIVY.net
知恵遅れソースを貼るのは心が痛いけど
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
ゴミの方もネットリテラシー皆無のジジイだったんだな
なんていうかかわいそうになってきた
593:１３２人目の素数さん
19/02/11 09:11:47.79 OG2xCUB+.net
「さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
ほら見ろ、ランダムに選ぶのは箱の中身じゃないぞｗ
スレ主は記事の日本語もロクに読めない文盲ｗｗｗ
594:１３２人目の素数さん
19/02/11 09:13:44.51 OG2xCUB+.net
>>547
おまえ日本語も知らない朝鮮人か？ｗｗｗｗｗｗｗ
595:１３２人目の素数さん
19/02/11 09:14:25.89 OG2xCUB+.net
「さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
ほら見ろ、ランダムに選ぶのは箱の中身じゃないぞｗ
スレ主は記事の日本語もロクに読めない文盲ｗｗｗ
596:１３２人目の素数さん
19/02/11 09:16:05.12 OG2xCUB+.net
>>547
「・・・まである」
＞例文はすべて誤用ですね。
＞誤用が起きる原因としては予測変換が考えられます。
ケータイから慣れない書き込みするから
そういうイタイ間違いするんだよｗｗｗｗｗｗｗ
597:１３２人目の素数さん
19/02/11 09:19:02.55 OG2xCUB+.net
「さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
100列の箱の中身は、毎回の試行で同じまま変わらない
列から代表元を選ぶ選択関数も、毎回の試行で同じまま変わらない
毎回の試行で変えられる�
598:ﾌは、100列のうちどの列を選ぶかだけ こんな根本的なことが文章から読みとれないスレ主は日本語が分からない文盲ｗｗｗ
599:１３２人目の素数さん
19/02/11 09:21:23.52 OG2xCUB+.net
今の状況を日米戦争に喩えれば
「広島・長崎に原爆投下」
もう無条件降伏しかないな スレ主
600:１３２人目の素数さん
19/02/11 09:25:07.99 ev+5tIVY.net
おじいちゃんがおじいちゃんの間違いアンサーを持ってきてそれを正しいと思い込む
まさにスレ主と同じ振る舞いをしてて草
URLﾘﾝｸ(blog.livedoor.jp)
5ちゃんやってるのに数年前からあるスラングすらまともに知らないネトウヨおじいちゃん
歳をとってもこうはなりたくないなあ
601:１３２人目の素数さん
19/02/11 09:31:54.07 OG2xCUB+.net
>>554
凡ミスから生まれたスラングにとびつく軽薄バカｗ
ネトウヨ？誰のことだい？
俺はアメリカ人だからさｗｗｗｗｗｗｗ
602:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 09:42:22.55 qyW7buAe.net
>>554
>まさにスレ主と同じ振る舞いをしてて草
隊長、これ面白いわ
しかし、「まである」論争ね
ご苦労さまです（＾＾
603:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 09:46:38.53 qyW7buAe.net
>>554
こんなの”まであ～る”（＾＾
ちゃんちゃん（＾＾；
URLﾘﾝｸ(www.ozorabunko.jp)
書籍/カレンダー > 『まだある。』シリーズ 大空出版
URLﾘﾝｸ(madarchiba.com)
まだあ～るちば
604:現代数学の系譜 雑鋳k 古典ガロア理論も読む
19/02/11 09:54:40.96 qyW7buAe.net
>>555
>ネトウヨ？誰のことだい？
>俺はアメリカ人だからさｗｗｗｗｗｗｗ
出ました、サイコパス反応が（＾＾
脊髄反射的にウソをつく（＾＾；
605:１３２人目の素数さん
19/02/11 10:03:38.10 OG2xCUB+.net
>>558
ん？ホントだよ
身の程知らずに戦争おっぱじめる馬鹿な日本人
まさにスレ主ｗｗｗｗｗｗｗ
606:１３２人目の素数さん
19/02/11 10:05:22.35 61ruhzCC.net
>>533
>あと残っているのは
>”Q(sinπ/p) ＝ Q(ζ4p)∩ R ”が成り立つはずなのだが・・、
>>529
>K=Q(cos(x)), L=Q(e^(ix))=K(i*sin(x)) とおくと
>L/K は2次拡大。また、L∩R=K という関係がある。
>sinとcos を入れ替えた場合→ x+π/2 として分析できる。
とあるでしょ。
上の関係でπ/2シフトするとcos(x)は-sin(x)になる
一方、nが奇数のとき1の原始2n乗根はπ/2シフトである原始4n乗根になることと
体としては、どの原始N乗根をとっても同じ体（ガロア拡大）であることに注意すればいい。
別に円分体の込み入った議論は一切必要ない。
607:１３２人目の素数さん
19/02/11 10:13:02.00 OG2xCUB+.net
>>560
スレ主は何でも難しく考えたがる馬鹿
「ああ、おれって頭☆すぎる」と自惚れたいだけ
実際には頭★すぎる正真正銘の馬鹿
608:１３２人目の素数さん
19/02/11 10:13:23.62 61ruhzCC.net
>>131も参照
要するにπ/2シフトで
「nが奇数のとき」と「nが2で割れるが4で割れないとき」
が入れ替わり
「nが4で割れるとき」は不変
sinとcos 全てのケースで入れ替わり
という関係になっている。
609:１３２人目の素数さん
19/02/11 10:28:36.37 61ruhzCC.net
あと1の原始2n乗根としてe^(iπ/n)を取るというのは、原始根の一つを複素数体への埋め込みで確定していることになる。
しかし「体として同型」であれば成立することは、複素数体への埋め込みとは関係なく成立するはずである
ということを考えれば、大幅に思考を節約することができる。
610:１３２人目の素数さん
19/02/11 11:04:28.48 61ruhzCC.net
複素数体の自己同型写像としては
a+bi→a-bi という"共役写像"があり、通常はこれしかないように思えるだろう。
しかし、選択公理を仮定すると、巨大な自己同型群の存在が証明できる。
Cの巨大な自己同型群の存在（言い換えると巨大な対称性）は
選択公理を認めるかどうかにかかっている。
共役写像でないCの自己同型を「ワイルドな自己同型」と言ったりするが
それは位相を一切保たないし、直接構成することもできない
ほとんど応用がないように思えるだろう。
しかし、実はかなり驚くべき応用があるのだ
ということを、昔、藤原一宏という先生が書いていた。
611:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 11:41:20.21 WAQsPo5G.net
>>559
出ました、サイコパス反応が（＾＾
脊髄反射的にウソをつく（＾＾；
>ん？ホントだよ
>身の程知らずに戦争おっぱじめる馬鹿な日本人
>まさにスレ主ｗｗｗｗｗｗｗ
要するに、自分は君子で、絶対正しいのだと
「間違ってました」とか「冗談だよ」というのが無い
「俺はアメリカ人だからさ」と「東大出身者です」と、同じ構図なんだ
その場を取り繕うために、言えることで思いついたことを、前後のみさかいなく口に出す
そして、収拾が付かなくなるときがあって
そのときは”君子豹変”が飛び出して、”おまえはイヌコロ”だと
（>>38-40ご参照）
笑えます（＾＾
612:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 12:05:54.47 WAQsPo5G.net
>>560-564
ID:61ruhzCCさん、フォローありがとうございます（＾＾
いやね、おっちゃん流に、三角関数の公式で、簡単に出せないかと思ったが（＾＾
残念ながら、閃かなかった（＾＾；
まあ、こういうふうに考えたらいいかな
三角関数のsin cosの問題を、円分体の空間に持ち込む
そうすると、全て、e^iθのべき計算でやれる
つまり、三角関数の難しい公式が、単なるべき計算で見通し良く実行できるよと
4p拡大で、
ζ4p ＝cos2π/4p + i sin2π/4p
で
（ζ4p)^p ＝cos2π/4 + i sin2π/4
蛇足だが
p/4p = 1/4を使っている
つまり L=m n と因数分解できるなら
1/L から、因子 1/m , 1/n が取り出せる
ζL → ζm, ζn が出るってことだね
ここらも、円分体では、基本事項だね
あと
”三角関数のsin cosの問題を、円分体の空間に持ち込む”の類似は
現代数学では結構あるよね
フーリエ変換とか、ｘｘ変換なんてのも、関数を別の空間に移して、
そこでは、扱いやすくて、演算をして、もとの関数の空間に逆変換するとか
ガロア理論でも、代数方程式の解法を、根の置換群の空間に持ち込んで、解法を探求しようとしたんだ
現代では、根の置換群が、抽象的な群論に変わったけど
まあ、円分体は、数学科生はやっとくと、役に立つよ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
フーリエ変換
613:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 12:28:11.48 WAQsPo5G.net
>>565
まあ、数学には向かない性格だよね
要するに、自分は君子で、絶対正しいのだと
間違いを認められない性格で
その場を取り繕うために、
言えることで思いついたことを、前後のみさかいなく口に出す
論理の一貫性もなにもない
614:１３２人目の素数さん
19/02/11 13:54:19.43 pWpod5Dv.net
>>544
＞時枝が決着した以上スレ主の方がまともまである
スレ主は自ら間違いを認めてはいない。「御随意にどうぞ」とはすべてを投げ出すことを宣言した行為である。
なぜこんな自分で自分のケツも拭けない虚け者をまともと言えるのか？それはお前がまともでないからである。
615:１３２人目の素数さん
19/02/11 13:55:54.27 pWpod5Dv.net
>>567
それ全部お前じゃんｗ
自己紹介乙ｗ
616:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 13:58:50.86 WAQsPo5G.net
ご随意にどうぞ
どうぞ、お好きに
617:１３２人目の素数さん
19/02/11 14:03:42.59 ev+5tIVY.net
>>568
決着したんじゃなかったのか？
618:１３２人目の素数さん
19/02/11 14:05:51.69 pWpod5Dv.net
>>570
ほらね、自分で自分のケツも拭けないｗ
全て投げ出して他人任せにすることしかできない
要するにスレ主は3歳児なんだよｗ 3歳児に数学は無理、即刻数学板から出ていくべき
619:１３２人目の素数さん
19/02/11 14:06:39.42 pWpod5Dv.net
>>571
スレ主自ら間違いを認めたレスのレス番号教えて
620:１３２人目の素数さん
19/02/11 14:08:42.50 ev+5tIVY.net
>>573
いやスレ主のレスは見てないって言っただろ相変わらず同じこと何度も言わないと通じないやつだな
>>526でお前が決着だと宣言したからそう判断したんだよ
621:１３２人目の素数さん
19/02/11 14:10:06.62 pWpod5Dv.net
そしてどうせ後になって
「俺は「お好きなように」としか言ってない」
とか言�
622:｢出してまた蒸し返すに決まっている なぜならスレ主は卑怯者だからだ
623:１３２人目の素数さん
19/02/11 14:10:51.27 pWpod5Dv.net
>>574
>>575
624:１３２人目の素数さん
19/02/11 14:13:04.37 pWpod5Dv.net
すべてを人任せにするくらいなら自ら間違いを認めればいいのである。
どこまでも卑怯なスレ主。
625:１３２人目の素数さん
19/02/11 14:14:15.98 ev+5tIVY.net
じゃあまだ決着してないってことでいいんだな？
626:１３２人目の素数さん
19/02/11 14:15:34.49 pWpod5Dv.net
なんで俺に聞くの？ お前自分で判断できんの？
627:１３２人目の素数さん
19/02/11 14:17:35.06 ev+5tIVY.net
いやお前とスレ主の言い争いの裁定を第三者ができるかよ
628:１３２人目の素数さん
19/02/11 14:32:33.65 OG2xCUB+.net
>>580
そもそも言い争いではない
スレ主の間違いを我々数学板読者が正してやっているのである
数学的には時枝記事が正しい 議論の余地はない
間違ったことをいう奴は屠る これが数学板
貴様のように間違った奴をかばう奴も屠る
畜生に生きる価値も資格もない
629:１３２人目の素数さん
19/02/11 14:35:09.74 OG2xCUB+.net
>>565
スレ主は東大にも入れぬ負け犬日本人ｗｗｗｗｗｗｗ
負け犬は死ねよ イヌには生きる価値も資格もない
630:１３２人目の素数さん
19/02/11 14:36:12.43 OG2xCUB+.net
「さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
100列の箱の中身は、毎回の試行で同じまま変わらない
列から代表元を選ぶ選択関数も、毎回の試行で同じまま変わらない
毎回の試行で変えられるのは、100列のうちどの列を選ぶかだけ
こんな根本的なことが文章から読みとれないスレ主は日本語が分からない文盲ｗｗｗ
631:１３２人目の素数さん
19/02/11 14:38:27.88 pWpod5Dv.net
>>580
おいおいｗ
言い争い？ お前が調停？
お前はいったい何を勘違いしてるんだ？
632:１３２人目の素数さん
19/02/11 14:45:07.89 OG2xCUB+.net
ID:ev+5tIVYは時枝記事を読まないのに
スレ主を支持してる時点で胡散臭い
実際はスレ主が別IDで書き込んでる
633:１３２人目の素数さん
19/02/11 14:50:39.44 pWpod5Dv.net
スレ主を支持しているのに
＞いやスレ主のレスは見てないって言っただろ
も奇怪至極
634:１３２人目の素数さん
19/02/11 15:01:25.09 ev+5tIVY.net
>>586
まずなにをもってスレ主を支持していると判断したのかから説明してみ
635:１３２人目の素数さん
19/02/11 16:25:29.47 OG2xCUB+.net
>>587
時枝記事もスレ主の時枝記事に関するコメも読まないといいつつ
スレ主ではなく我々に対して文句をいうのがそもそも間違ってる
スレ主にこそ文句を言え スレ主こそ数学板荒らし！
636:１３２人目の素数さん
19/02/11 16:26:07.61 oQcVrLbj.net
おっちゃんです。
時枝記事はスレ主の間違い。
なるほど、スレ主はやはり複数の ID を使っていたか。
まあ、他のことに時間を割くとネット関係に割ける時間はなくなる。
637:１３２人目の素数さん
19/02/11 16:27:58.45 OG2xCUB+.net
ああそれから今日は「日向坂」誕生で忙しいからｗ
URLﾘﾝｸ(www.hinatazaka46.com)
638:１３２人目の素数さん
19/02/11 16:37:13.18 oQcVrLbj.net
>>566
これにガロア理論はいらん。
私は未だガロア理論は知らん。
せいぜい、1のベキ根や初等整数論などで十分。
639:１３２人目の素数さん
19/02/11 16:39:16.03 OG2xCUB+.net
>>591
＞私は未だガロア理論は知らん。
おっちゃんにはガロア理論は無理
計算馬鹿は算数でもやってろｗ
640:１３２人目の素数さん
19/02/11 16:56:16.50 oQcVrLbj.net
>>592
読まなくても>>566の類の問題を解ける書籍はある。但し、分厚く読むのに時間がかかる。
まあ、オイラーの定数γの問題のことを書いただけでわめいているんだからな。
私がリーマン予想を解けたと主張したなら、わめいても何ら不思議ではないが。
641:１３２人目の素数さん
19/02/11 16:59:13.96 oQcVrLbj.net
>>592
「読まなくても」とはガロア理論の本な。
642:１３２人目の素数さん
19/02/11 17:18:08.00 OG2xCUB+.net
>>594
どうでもいいがいちいちここに書くな
書きたかったら別スレ立てろ
643:１３２人目の素数さん
19/02/11 17:24:19.04 oQcVrLbj.net
>>595
あたかも制空権を握りたがるかのようなこの種のセリフは、スレ主がよく書く。
644:１３２人目の素数さん
19/02/11 17:44:43.58 oQcVrLbj.net
まあ、計算をバカにすると痛い目に合う。
645:１３２人目の素数さん
19/02/11 17:45:36.22 oQcVrLbj.net
それじゃ、おっちゃんもう寝る。
646:１３２人目の素数さん
19/02/11 18:09:58.39 61ruhzCC.net
これからどう生きるかが大事と今日思った。
647:１３２人目の素数さん
19/02/11 18:13:53.35 OG2xCUB+.net
>>596
軍事バカか？
制空権がほしいんなら、なおさら自分でスレ立てろよ
648:１３２人目の素数さん
19/02/11 18:23:03.57 pWpod5Dv.net
＞おっちゃんです。
＞時枝記事はスレ主の間違い。
おっちゃんからもダメ出しされるスレ主ｗ
649:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 18:25:39.92 WAQsPo5G.net
仕事しているうちに、なんかいろいろあったみたいだねｗ（＾＾
650:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 18:26:43.52 WAQsPo5G.net
>>601
おっちゃんは、古くからの友達だよ～（＾＾；
おっちゃんにダメ出しされるのが正解さ！（＾＾
651:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 19:57:36.92 qyW7buAe.net
>>582
>スレ主は東大にも入れぬ負け犬日本人ｗｗｗｗｗｗｗ
>負け犬は死ねよ イヌには生きる価値も資格もない
これも、典型的な、サイコパス反応（＾＾
脊髄反射的に誤魔化すカキコだ（＾＾；
”スレ主は東大にも入れぬ負け犬日本人ｗｗｗｗｗｗｗ”って、意味分る人いるかい？
いやね、おそらく、このスレ見ている人は、多くは（多分殆どは）東大には入っていないと思うんだ
そうすると、このスレ見ている多くは、「東大にも入れぬ負け犬日本人」の同値類に分類されてしまうよね
で、読んだ人は、「こいつ（＝ピエロは）、何を言いたいんだ～！！」と思うでしょう？（＾＾
これね、
”君子豹変”が飛び出す心理状態と同じと思うよ（>>38-40ご参照）
要するに、自分が論理的に反論できなくなったとき
支離滅裂を構わず、脊髄反射的に、典型的な、
サイコパス反応が出現すると、私は理解しておりますです、はいｗ（＾＾
652:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 20:03:26.84 qyW7buAe.net
>>598
おっちゃん、どうも、スレ主です。
サイコパスを支持してくれて、ありがとう
おれは、オイラーの定数γは超越数だと思うけどね、証明できないけど有理数では絶対無いだろうと
もし、γが有理数が証明されたなら、ビッグニュースが世界を駆け巡るだろうね（＾＾
時枝も同じだよ（＾＾；
成立つとなったら、確率論を研究している人は腰抜かすぜ（＾＾
653:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 20:04:14.41 qyW7buAe.net
どちらもありえんだろう（＾＾；
654:１３２人目の素数さん
19/02/11 20:10:26.65 pWpod5Dv.net
>>605
＞成立つとなったら、確率論を研究している人は腰抜かすぜ（＾＾
これだけ教えられても理解できない馬鹿
655:１３２人目の素数さん
19/02/11 20:11:21.69 pWpod5Dv.net
ほらね、スレ主の蒸し返しが始まった
言わんこっちゃない
656:１３２人目の素数さん
19/02/11 20:14:06.64 pWpod5Dv.net
確率論を研究している人は腰抜かさないよ
なぜなら時枝問題は確率論の問題じゃないからね
まあスレ主には3年どころか一生かかっても理解できないだろうね
おっちゃんでさえ理解できたのにね
657:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 20:14:22.47 qyW7buAe.net
>>587
隊長は、古くからの住人かと思ったが
そうでもないみたいだね
最近かな、ここに来たのは
時枝は、2015年の11月か12月ころからやっていてね
もう飽きてきたのと
最近残っている最後の二人が、えらく確率論及び確率過程論の知識レベルが低いことが分ってね、まあ、がっかりしたよ
微分積分やってない人とは、微分方程式の議論はできない
それと同じで、確率論及び確率過程論の知識の無い人と
確率の議論をしても、仕方が無いねーと
まあ、隊長が、時枝記事 >>22 数学セミナー 2015年11月号 箱入り無数目 時枝 正 を読んで
面白そうと思ったら、議論しても良いけどね
望ましくは、確率過程論くらいはやっておいて欲しいが、新しい住人なら、勉強しながらでもOKですがね
おっと、サイコパスやHigh level peopleとは、
話す必要はほとんどないけどね（＾＾
658:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 20:16:50.81 qyW7buAe.net
>>610
まあ
時枝と、従来の確率過程論と、対比しながら、議論できるレベルでないと
数学の議論にならんでしょ
100列だから、確率空間のΩ＝{1,2,3・・・,100}になるとかさ
おいおい、それ小学生じゃんかと
話しにならんよね（＾＾；
659:１３２人目の素数さん
19/02/11 20:17:30.66 OG2xCUB+.net
時枝記事は集合論の問題だな
確率論としては初歩レベル
>>610
＞話す必要はほとんどないけどね
そうやって他人の指導を避けるから
スレ主はバカのままなんだよ
660:１３２人目の素数さん
19/02/11 20:19:07.27 OG2xCUB+.net
>>611
＞時枝と、従来の確率過程論と、対比しながら、議論できるレベル
時枝記事で
661:は箱の中身は確率変数ではないから 独立同分布とか持ち出す時点で正真正銘の馬鹿 スレ主は数学を語るレベルにない いいからここから出ていけ 池沼
662:１３２人目の素数さん
19/02/11 20:41:47.78 Sro7leQr.net
選択公理を認めると導かれる定理の例
複素数体Cには巨大な体自己同型群が存在する
ガロア群は代数的数にしか作用しないが
この自己同型群はすべての超越数にも作用する
663:１３２人目の素数さん
19/02/11 20:58:28.98 61ruhzCC.net
>ガロア群は
間違ってた。「絶対ガロア群は」ですね。
664:１３２人目の素数さん
19/02/11 21:14:02.39 61ruhzCC.net
Q上の
665:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 21:24:08.34 qyW7buAe.net
>>614-616
どうもありがとう
それ、面白いね
だから、我々が普通に議論する数学の土俵はZFCの中であって
わざわざ、時枝ごときで、これが成立たないなら、選択公理が否定されるなんてさ
それは、大げさすぎでしょうよと（＾＾；
「え？ マジ？」 ：ｐ）
666:１３２人目の素数さん
19/02/11 21:29:00.34 61ruhzCC.net
時枝は成立する派ですけどw
時枝の面白い点についての意見もある
でも、それを書いても余計混乱しそうだから止めとくw
667:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 21:29:35.48 qyW7buAe.net
>>604
>スレ主は東大にも入れぬ負け犬日本人ｗｗｗｗｗｗｗ
>負け犬は死ねよ イヌには生きる価値も資格もない
もうちょっと掘り下げておくと
ピエロが、「おれは東大出身だ～」と言ったわけだ
で、小生が「おいおい」と
「東大出身」をネタに、”いじって”やったわけ
で、たまらず出てきたセリフが
「スレ主は東大にも入れぬ負け犬日本人ｗｗｗｗｗｗｗ」だったわけ
で、これが言い訳なら、あんたは
「東大出身の勝ち組なの？ 東大出身の勝ち組が、なんでこんな５ｃｈのスレに粘着してんだ？ｗ」と普通言われるよね（＾＾
それ、だれでも、普通に疑問に思うでしょ？（＾＾；
そういう後先見ない、辻褄の合わない発言を平気でするのが、典型的サイコパス反応だと思っておりますです、はいｗ（＾＾；
668:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 21:33:16.56 qyW7buAe.net
>>618
はい、お止め頂ければ幸いです
まあ、>>611にも書いたけど
「時枝と、従来の確率過程論と、対比しながら、議論できるレベルでないと
数学の議論にならん」とそう思っているし
そんなつまらん議論をしても、時間の無駄でしょ
確率過程論と、対比しながら、議論すれば、多少のプラスはあるよね
669:１３２人目の素数さん
19/02/11 21:34:08.39 pWpod5Dv.net
>>610
＞それと同じで、確率論及び確率過程論の知識の無い人と
＞確率の議論をしても、仕方が無いねーと
お前が証明すればいいだけだったｗ なに人のせいにしてんだよｗ
そして自らその機会を放棄して逃亡したくせに未練がましいのう、このキチガイは
670:１３２人目の素数さん
19/02/11 21:35:45.23 pWpod5Dv.net
>>611
＞時枝と、従来の確率過程論と、対比しながら、議論できるレベルでないと
＞数学の議論にならんでしょ
対比の必要が無いことを3年かかって理解できないアホ主じゃ議論にならんでしょｗ
671:１３２人目の素数さん
19/02/11 21:37:56.04 pWpod5Dv.net
>>611
＞100列だから、確率空間のΩ＝{1,2,3・・・,100}になるとかさ
＞おいおい、それ小学生じゃんかと
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
↑
これが理解できないとかさ
おいおい、それ小学生じゃんかと
672:１３２人目の素数さん
19/02/11 21:40:43.89 pWpod5Dv.net
「1～100 のいずれかをランダムに選ぶ」って明記されてるんだがｗ
Ω＝{1,2,3・・・,100} 以外の何を妄想してるんだかｗ
アホの脳内はわかりましぇーんｗ
673:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 21:49:25.63 qyW7buAe.net
>>617
まあ、仮定の話として
時枝のふしぎな戦略が、その「複素数体Cには巨大な体自己同型群が存在する」に匹敵する
選択公理と直結する定理として成立っているとしましょうか
だったら、藤原一宏先生みたいな人が、同様に取り上げるでしょ
面白がって
というか、その前に、論文になっとるわね。基礎論としても、ちょっと面白いネタだと思うよ、仮にもし成立つならね（＾＾
674:１３２人目の素数さん
19/02/11 21:56:59.95 pWpod5Dv.net
>>620
＞確率過程論と、対比しながら、議論すれば、多少のプラスはあるよね
ありません。
時枝問題に確率過程論は必要ありません。
そんなことも理解できないんじゃ馬鹿過ぎて話になりません。
675:１３２人目の素数さん
19/02/11 21:59:27.78 61ruhzCC.net
>藤原一宏先生みたいな人が、同様に取り上げるでしょ
時枝正が取り上げてるでしょw
>その前に、論文になっとるわね。
もうなってますよ。時枝氏も書いてたように、もとは海外で広まってた話でしょう。
676:１３２人目の素数さん
19/02/11 22:00:49.18 pWpod5Dv.net
だからそんなに確率過程論がーと言うならとっとと確率過程論使った証明を書けばいいんだよ
そしたら間違いを指摘してやっからｗ
しかしこの馬鹿は自分で証明は書けないのであったｗ 馬鹿丸出しｗ
677:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 22:05:07.90 qyW7buAe.net
>>614
どもです
検索すると、下記などがヒットするけど、この関係かな？
（文字化けあるけど、原文見て下さい）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
No.1137
解析関数空間とその上の作用素論
Analytic Function Spaces and Operators on these Spaces
研究集会報告集
1999/11/24～1999/11/26
泉池 敬司
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
1. Ring homomorphisms on commutative Banach algebras I (Analytic Function Spaces and Operators on these Spaces)
新潟大学自然科学研究科 羽鳥 理 (Hatori,Osamu)
1 複素数体上の自己同型写像
Segre [6] は複素数体 $\mathbb{C}$ 上の自己同型写像で自明でないものの存在を問題にした (cf. [3]).
自己同型写像 $\rho$ は 1 を保存するので有理数体 $\mathbb{Q}$ 上線形であり, $\rho(i)=i$ または $\rho(i)=-i$
をみたす. しかし $\rho$ が自明になる, 即ち $\rho(z)=z$ か $\rho(z)=\overline{z}$ が任意の複素数 $z$ に対して
成り立つとは言えないことが現在ではよくしられている.
678:１３２人目の素数さん
19/02/11 22:05:48.37 pWpod5Dv.net
証明を書けないということが、分かった気になってるだけである確かな証明ｗ
確率過程論を勉強しろだと？ スレ主教えてもらう気満々ｗ 馬鹿過ぎｗ
679:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 22:06:21.18 qyW7buAe.net
>>627
問い
レフェリーのいう専門誌の論文を一つあげよ（＾＾
680:１３２人目の素数さん
19/02/11 22:07:51.41 61ruhzCC.net
Cの自己同型群の話も、もとは"folklore"（民話）という扱いだったらしい。
近年、アーベル多様体にまで応用されてるみたいですが。
681:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 22:07:57.42 qyW7buAe.net
>>631 タイポ訂正
レフェリーのいう専門誌の論文を一つあげよ（＾＾
↓
レフェリーのいる専門誌の論文を一つあげよ（＾＾
数学セミナーは、一般大衆向けだろ？
数学セミナーの前に、学会発表とかあるはずだろ？
682:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 22:10:22.37 qyW7buAe.net
>>632
どうもありがとう
うん、その話は聞いたことがあるような・・、
結構古い話題で、起源は19世紀の終りか20世紀初頭にまで遡る話しだったような（＾＾
683:１３２人目の素数さん
19/02/11 22:12:27.51 pWpod5Dv.net
一般大衆向け雑誌も理解できないアホ主ｗ
684:１３２人目の素数さん
19/02/11 22:14:53.89 pWpod5Dv.net
スレ主>>624に答えてごらん
お前は Ω＝{1,2,3・・・,100} 以外の何を妄想してるの？
「1～100 のいずれかをランダムに選ぶ」って明記されてるのにｗ
685:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 22:16:05.93 qyW7buAe.net
>>634
これだったかも（下記）
URLﾘﾝｸ(ja.wikipedia.org)
自己同型
(抜粋)
・体の自己同型は、体から自分自身への全単射な環準同型である。有理数 Q と実数 R の場合には、非自明な体自己同型は存在しない。
R が非自明な体自己同型を持つとすると、R の全体への拡大ができない（なぜならば、R は平方根を持つ数の性質を保たなくなるからであるからである）。
複素数 C の場合は、R を R の中へ移す非自明な自己同型は複素共役ただ一つである。
しかし、（選択公理を前提とすると、）無限個（非可算個の）「ワイルド」な自己同型が存在する。[2][3]
体自己同型は体の拡大、特にガロア拡大の理論で重要である。ガロア拡大 L/K の場合には、K を各元ごとに固定する L
686: の自己同型全体の部分群を拡大のガロア群と呼ぶ。 参考文献 ２．^ Yale, Paul B. (May 1966). “Automorphisms of the Complex Numbers”. Mathematics Magazine 39 (3): 135?141. doi:10.2307/2689301. JSTOR 2689301. ３．^ Lounesto, Pertti (2001), Clifford Algebras and Spinors (2nd ed.), Cambridge University Press, pp. 22?23, ISBN 0-521-00551-5 (引用終り)
687:１３２人目の素数さん
19/02/11 22:31:09.93 61ruhzCC.net
本来、数学は自分の知性で正しさが分かるレベルまで勉強すべきですね。
スレ主はネット検索結果で決めてるみたいですが。
688:１３２人目の素数さん
19/02/11 22:36:11.66 61ruhzCC.net
確率過程論でご自分の知性で時枝が否定できるレベルまで
勉強されたのなら、皆さんが言われるようにその証明を
お書きになればよろしいでしょう。
689:１３２人目の素数さん
19/02/11 22:40:59.95 OUEtMYv5.net
数学的真偽は多数決で決めるのだ！
690:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:04:23.78 qyW7buAe.net
>>639
あなたのレベルだと、数学セミナーは読んでいる方でしょ？
時枝記事は、いくつかの点で異例だ
一つは、普通は、もっと勉強したいひとは・・、と参考図書などを挙げる場合が多い
二つには、普通数学セミナーの記事の以前に、専門誌や専門の教科書で取り上げられている理論を、解説する記事が多いところ、時枝はそうではないと
それは分るでしょ？
レフェリーの居ない雑誌の記事だから、arxiv投稿以下のレベル（arxiv投稿はプロ向けですからね）
あなたにお薦めは、>>31ですよ
早く、大学教員レベルのご意見を聞かれた方がよろしいかと
どこかの大学の市民講座とか、公開講座でも行かれて
大学教員の意見を聞いたら如何ですかね？ それで、どちらが正しいかわかる
あなたは、おそらくスレ28に居た
もう一人の High level peopleさんかな？ もう３年経ってますよ
691:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:05:24.14 qyW7buAe.net
>>640
>数学的真偽は多数決で決めるのだ！
まさにまさに～（＾＾
692:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:07:27.92 qyW7buAe.net
>>639
変数は箱に入れられないと言われたのは貴方かな？
そのレベルでは、証明書いても理解できないでしょ？
693:１３２人目の素数さん
19/02/11 23:10:11.29 pWpod5Dv.net
>>643
言い訳はいいから黙って書け できるなら
694:１３２人目の素数さん
19/02/11 23:13:22.06 pWpod5Dv.net
スレ主>>624に答えてごらん
お前は Ω＝{1,2,3・・・,100} 以外の何を妄想してるの？
「1～100 のいずれかをランダムに選ぶ」って明記されてるのにｗ
695:１３２人目の素数さん
19/02/11 23:14:53.59 61ruhzCC.net
>>641
正しい派は証明を書いてますね。
わたしはそれで十分と判断しています。
あなたは証明を出されていない。
ただ不十分と言うだけ。
それならば、確率過程論でどこが誤りかを示すべきでしょう。
ただ確率過程論でそれが可能である原理が分かりません。
時枝では箱に実数を順に入れていくのではなく、無限個先
まで入り切った状態を考えています。
なぜ確率過程論の適用なのか、概略だけでもご説明下さい。
696:１３２人目の素数さん
19/02/11 23:18:09.99 FSd02pP1.net
お前らいつもスレ主を袋叩きにするように、
ゼミでダメ学生吊るして楽しんでるだろw
本当に糞教員はタチが悪いわ。
697:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:19:50.31 qyW7buAe.net
>>641 補足
まあ、ゲームの数理でも
囚人の帽子とか
モンティホールとか
数学的に成立する面白い話しは、幾人かの数学者が取り上げてもいいはず
時枝は、３年たっても皆無。
Sergiu Hart氏のPDFが2013年だから、６年経過して、だれも触れない取り上げない話題だということですよ
あなたにとって、不都合な真実かもしれないが、現実を直視しましょうね
698:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:21:10.44 qyW7buAe.net
>>647
笑える
ありがとう
まあ、彼らは、教員ではないけどね
単に、確率論0点レベルなだけですね（＾＾
699:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:21:40.13 qyW7buAe.net
>>646
おっちゃんも証明書いているよ（＾＾
700:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:22:28.56 qyW7buAe.net
>>646
そうそう
あなたの証明は？
スレ 28にありますか？
701:１３２人目の素数さん
19/02/11 23:25:25.85 61ruhzCC.net
スレ主の代数初め、数学の学力が大学レベルにないことは確認済ですね。
確率過程のみが大学の水準というのは不自然ですね。
702:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:32:26.59 qyW7buAe.net
>>512
そうそう、時枝と選択公理の関係で、Sergiu Hart氏のPDFに下記がありましたね（＾＾
これを認めるなら、選択公理なしで、時枝類似の数当ては成立つ
この議論は、過去なんども同じ経緯を辿って
あげく、Sergiu Hart氏のgame2: を指摘すると、しっぽを撒いて逃げ行く
その繰り返しです（＾＾
スレ44 ｽﾚﾘﾝｸ(math板:463番) より
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu Hart氏は、ここに
A similar result, but now without using the Axiom of Choice.^2
Consider the following two-person game game2:
^2 Due to Phil Reny.
として、”without using the Axiom of Choice” ”game2”を提案しているよ
(引用終り)
703:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:33:43.54 qyW7buAe.net
>>652
はいはい、貴方は東大出身でしたね、はいはい（＾＾
704:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:38:41.72 qyW7buAe.net
>>653
サイコパスの特徴で、論理が首尾一貫しない
まあ、その日暮らしなんだ
だから、選択公理の過去の話で、”いじる”と
すぐむきになって反論してきてね
また、同じ議論になって、Sergiu Hart氏のgame2 を指摘で、沈没ノックアウトになるのでした（＾＾
この話は、何度目だろうかね（＾＾；
705:１３２人目の素数さん
19/02/11 23:43:04.98 61ruhzCC.net
>>653
何も理解されてませんね。
箱に入れる実数が制限されたゲームだから、選択公理が不必要でもおかしくありません。
むしろ制限付の無限列では成立すると言っており、あなたが得意になる理由はありません。
箱に入れるのが実数の任意の無限列であれば、選択公理が必要です。
706:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:47:38.79 qyW7buAe.net
>>647
＞お前らいつもスレ主を袋叩きにするように、
まあ、３年前の時枝の初期は、こんなものじゃなかった
だが、大学の数学科在席の人は、確率論と確率過程論を学んで、時枝不成立を知り、撤退していきました
いま、残っているのは、大学の良質な情報を得られない”落ちこぼれ達”です
おそらく３人かな。High level peopleさん 2人と、キチガイサイコパス１名でしょうね。ああ、あと、おっちゃんか・・（＾＾；
他にいますか？（＾＾
707:１３２人目の素数さん
19/02/11 23:48:21.12 61ruhzCC.net
>>655
スレ主がいかに"アホ"なことを言ってても、怒る気はしません。
スレ主はそもそもいい加減な人間なので、程々に嗤って
相手にするべきだと思います。
708:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:49:08.79 qyW7buAe.net
>>656
スレ28の「固定」を提案されたのは、あなたでしたね
「固定」の定義を書いてください
709:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/11 23:50:03.70 qyW7buAe.net
>>658
はいはい、貴方は東大出身でしたね、はいはい（＾＾
どうぞ、「固定」の定義を書いてください（>>659）
710:１３２人目の素数さん
19/02/12 00:06:09.00 EeL+IUuh.net
別に東大でなくてもスレ主は大学レベルにはない。
これは事実です。
確かに用語や蘊蓄や貼ってるpdfが「大学院気分」なのは分かります。
しかし、「1のべき根」の意味さえ理解していないなどありえない。
なぜならガロア理論を勉強し、根号表示を勉強したのなら
n乗
711:根の共役根表示に表れる1のべき根の意味を理解していないなど 普通ありえないからです。 正に「自分で何も考えていない」証拠。
712:１３２人目の素数さん
19/02/12 00:06:46.00 4yOfMEt3.net
>>647
＞お前らいつもスレ主を袋叩きにするように、
何言ってんだ？ 間違いを指摘するのは当たり前だろ 指摘されるのが嫌なら退場すればいいだけ
713:１３２人目の素数さん
19/02/12 00:10:03.30 4yOfMEt3.net
>>648
時枝問題は面白いゲームというより当たり前の話だからね。
それだけだと「はいそうですね」で終わっちゃうくらい。
だから時枝先生は記事後半に謎めいた話を付け足した。
それにまんまと引っかかったのが自分の頭で考えられないスレ主ｗ
714:１３２人目の素数さん
19/02/12 00:12:10.11 4yOfMEt3.net
>>649
＞単に、確率論0点レベルなだけですね（＾＾
いや、確率論0点は>>624から逃げ回るスレ主だよｗ
715:１３２人目の素数さん
19/02/12 00:14:29.97 4yOfMEt3.net
>>652
解析の初歩の初歩も分からないスレ主に確率過程論は無理ｗ
単にナントカ本を読んで感化されて分かった気になってるだけｗ
716:１３２人目の素数さん
19/02/12 00:26:15.45 4yOfMEt3.net
分かった気になってるだけじゃないというなら証明を書けばいい
書かないのが何よりの証拠
717:現代数学の系譜 雑談 古典ガロア理論も読む
19/02/12 07:47:45.50 qDZIWDd7.net
>>661
顧みて他たを言う：
返答に窮して、本題とは別の事に話題をそらしてごまかす。
URLﾘﾝｸ(www.weblio.jp)
顧みて他たを言う Weblio 辞書 三省堂 大辞林
〔孟子 梁恵王下〕
返答に窮して、本題とは別の事に話題をそらしてごまかす。
(引用終り)
スレ28の「固定」を提案されたのは、あなたでしたね
「固定」の定義を書いてください
「固定」で、時枝記事は正当化されるという主張でしたね
スレ28以外でも、散々書かれましたね
その大事な「固定」の定義が書けないとは、これ如何に ：ｐ）
見るところ、貴方は数学科出身ではないですね（＾＾
どうも定義が甘い
「固定」の定義が書けない以上、それは数学として、「固定」なる用語をもって時枝を正当化することはできませんよ
そんな素人「固定」談義に乗せられる、サイコパスピエロもアホ
（詳しくは、>>40-41ご参照（＾＾ ）
哀れなもんだよね、あいつも
718:１３２人目の素数さん
19/02/12 08:25:02.51 ronxOwj3.net
「固定」と言ったのはわたしではありません。
ただ、スレ主が「おまえは○○だろう」と言っても
反論しないのは、スレ主がいろいろな人物を混同
している点にスレ主の発狂があらわれており
放置しておいていいと思うからですw
意味はこれまでも説明されてますね。
話題をそらしているのはあなた。
ちゃんと確率過程論で時枝不成立を証明してください。
pdf読んで大学院気分のあなたに、確率過程論が使い
こなせるわけがないので不可能でしょうが。
719:１３２人目の素数さん
19/02/12 08:29:56.93 ronxOwj3.net
スレ主の時枝不理解の根源は、おそらく「無限」そのものが
理解できないというような、非常にプリミティブなもの
だろうと思います。ただ、自分でそのことに気づかないか
気づかないフリをしている。反応が非常に感情的です。