[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む70 (1002レス)
1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
810: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)06:31 ID:cA6sFXL+(1/41) AAS
>>807
ID:UCvlm9paさん、どうも。スレ主です。
あなたは、例の問題提出をした方かな(>>5) (^^

(引用開始)
方程式の可解性への応用だけなら、
1の冪根を最初から添加済みに(ついでに標数も0に)した方が、
理論が簡単になることぐらい、分かるだろうに。
(引用終り)

同意です
バカとしか言いようが無い

>どうしてもディスりたいんだね。・・・

半分は、そうらしいが
もう半分は、バカでしょ
上記を突っ込んでも、逆効果
代数方程式のガロア理論を知る人からみれば、”1の冪根”に関して、このツッコミは自爆でしょw(^^
811
(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)06:58 ID:cA6sFXL+(2/41) AAS
>>799-806
この流れを見ると、
 >>801 ID:j9UjIiP4 [17/22]
 >>803 ID:J44w7Ifz [10/10]
は、別人か。
さすがに、ここまで手の込んだ一人芝居もないだろうから
しかし、二人とも、”時枝不成立が分らない”くらいの同じ程度の低レベルだということは、よく分った(^^

 >>806
"ま、結論が「四則演算とべき根で解けないこと」だから
 基礎体が多少大きくても別にかまわないんだけど
 これが証明の都合だってことを理解しないのはダメだよねw"

 笑えるわ(^^;
 普通、代数方程式のガロア理論のテキストとしては
 結論を、「5次方程式が代数的に可解でない」
 を目標として、最短コースを取る
 まず、5次方程式のガロア群が対称群S5であることを示す
 そのためには、”1の冪根”は添加済みにしておく
 そうしないと、S5がすっきり言えず、ごたごたするから
 その上で、S5→A5(5次交代群)へ行って、可解でないと結論付ける
 アルティン本がどうだったか忘れたけど、この流れだったと思うよ(あとで確認しておくよ)
(アルティン本も(大阿久先生同様)、米女子大生への「5次方程式が代数的に可解でない」ことの講義テキストだったらしい。過去スレにある)
812: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)07:06 ID:cA6sFXL+(3/41) AAS
>>795
>>Cox和訳下巻 8章 べき根による可解性 のところ
>その本持ってないんだけどネットで見れない?英語版でもいよ

えーと、>>714から再録
外部リンク:books.google.co.jp
外部リンク:books.google.co.jp
Galois Theory David A. Cox - 2011 - ?Mathematics

リンクは二つで、どちらも、google本
前者は、キーワード付きのリンクです
前者は、長すぎて通らないかもと思って、短い後者も付けたけど、前者もOKだった
覗いてみて(^^
814: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)07:50 ID:cA6sFXL+(4/41) AAS
>>785>>787 補足

> 5)問題は、A5(5次対称群)位数60の部分群で、これを群Bと名付けると、群B⊃C5(位数5の巡回群)で、最大の可解群は何か?
> つまり、繰り返すが、A5の部分郡かつC5(位数5の巡回群)を含む、最大の可解群Bは何か?

Coxの14章 「可解置換群」で、扱われているね
14.1 でp次の既約多項式を扱っている
その記載は簡潔である(理解できるかどうかは、別として)
815
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)07:52 ID:cA6sFXL+(5/41) AAS
>>813
> 1のべき根を添加済みにしておくのは根号解法における都合で、根号の添加が常にクンマー拡大になるようにするためなんだよ。

だから、「根号解法における都合」は、当然あるよ
代数方程式の可解性を論じるんだからさw(^^
816
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)08:15 ID:cA6sFXL+(6/41) AAS
>>815 補足
> 1のべき根を添加済みにしておくのは根号解法における都合で、根号の添加が常にクンマー拡大になるようにするためなんだよ。

石井本(>>797)を見ると、6章「根号で表わす」の7〜9で”クンマー拡大”を扱っているね
なお、9の終りのところで
”ポイントは
「予め十分な1のn乗根を仕込んでおくこと」・・”
と記載されています

なお、アルティン本(>>811)は、すぐ見つからなかった(どなたか手持ちの方がいれば、ご確認ください)
821
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)08:41 ID:cA6sFXL+(7/41) AAS
>>784 補足
>下記の彌永昌吉の本は、ダメ元で見て置いたらどうでしょう。町の図書館で借りられると思いますので

哀れな素人さん、どうもスレ主です。

彌永昌吉の本
外部リンク[html]:booklog.kinokuniya.co.jp
2013-12-28
『ガロアの時代 ガロアの数学』時代篇&数学篇 彌永昌吉 丸善出版

を見ています
P221辺りから第八節の解説ですね
P223に「線形」と出てくるので、線形群として扱っていますね
あと、P272で、原論文に沿った形で、註記の形で
再び第八節の解説です。これも合わせて読むと分り易いかも
あと、P274で、倉田令二カ氏の『ガロア方程式論(1)』河合ブックレット1987
に言及され、同じ証明が出ているとあります

河合ブックレットは持ってないのですが
倉田令二カ氏『ガロアを読む』日本評論社(1987)の
「素数次既約方程式」p163からが、同様の話と思います
図書館で読めるなら、お薦めします(大学の図書館ならあるかも)(^^
822
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)08:44 ID:cA6sFXL+(8/41) AAS
>>817
どうも。スレ主です。

(引用開始)
これは違うな
5次方程式のガロア群が対称群S5であるというだけなら
例えば、勝手な元c1,c2,c3,c4,c5を解とする方程式fを考えて
上記5つの解の基本対象式s1,s2,s3,s4,s5を付加した体を
基礎体とすればいい(s1,s2,s3,s4,s5は方程式の係数として現れる)
(引用終り)

じゃ、
それで本書いて出版しなよ
絶賛されるかもね(^^;
824: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)08:48 ID:cA6sFXL+(9/41) AAS
>>818-819
哀れな素人さん
ご苦労さまです

 >>820

まあ、あなたには参考になるかどうか分らんが(^^
828: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)09:04 ID:cA6sFXL+(10/41) AAS
>>825
哀れな素人さん
どうも。スレ主です。

>もちろんその二冊は読んでいる(笑

なるほど、かなり勉強されたんですね
第八節は難しいですね、確かに

普通、数学科でも、ここを避けてますから
難しいし、他との関連が薄いし

彌永本より易しい解説は難しいかも(^^
859
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)12:50 ID:cA6sFXL+(11/41) AAS
>>817 戻る
てへぺろ☆(・ω<)さんか
どうも。スレ主です。

(引用開始)
>>811
>まず、5次方程式のガロア群が対称群S5であることを示す
>そのためには、”1の冪根”は添加済みにしておく
>そうしないと、S5がすっきり言えず、ごたごたするから
これは違うな
5次方程式のガロア群が対称群S5であるというだけなら
例えば、勝手な元c1,c2,c3,c4,c5を解とする方程式fを考えて
上記5つの解の基本対象式s1,s2,s3,s4,s5を付加した体を
基礎体とすればいい(s1,s2,s3,s4,s5は方程式の係数として現れる)
(引用終り)

考え直して見ると、あなたの言われる通りだね(^^;
5次方程式の5つの根 s1,s2,s3,s4,s5 の基本対象式
これは、5次方程式の係数そのものだからね

なので、
>>811 <訂正版>
 普通、代数方程式のガロア理論のテキストとしては
 結論を、「5次方程式が代数的に可解でない」
 を目標として、最短コースを取る
 まず、5次方程式のガロア群が対称群S5であることを示す

 ベキ根拡大によっては、S5に到達できないことをいう
 そのためには、”1の冪根”は添加済みにしておく
 そうしないと、S5にベキ根拡大で到達できないすっきり言えず、ごたごたするから
 その上で、S5→A5(5次交代群)へ行って、可解でないと結論付ける
 アルティン本がどうだったか忘れたけど、この流れだったと思うよ(あとで確認しておくよ)
(アルティン本も(大阿久先生同様)、米女子大生への「5次方程式が代数的に可解でない」ことの講義テキストだったらしい。過去スレにある)
訂正版以上

こんなところでどうでしょうかね(^^
861
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)13:04 ID:cA6sFXL+(12/41) AAS
>>855
てへぺろ☆(・ω<)さん
どうも。スレ主です。

>私もその昔、数学科というところで学んでたんですが
>計算機関係に方向転換しましたけどね

なるほど
実は、ここ3年くらい論争している
時枝問題(数学セミナー201511月号の記事)
スレ35 2chスレ:math
というのがあってね(^^

気が向いたら、一言二言コメントしていってください
数学科を名乗る人は、いままで殆ど居なかったので、
貴重なチャンスなので

先に行っておきますが、
私は、時枝先生の解法は不成立と思っています
862: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)13:08 ID:cA6sFXL+(13/41) AAS
>>860
てへぺろ☆(・ω<)さん
どうも。スレ主です。

 >>861 被ったな(^^

結論は、反対だけど、面白いね(^^
じゃ、遊んで行って下さい、よろしくw(^^;
863
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)13:11 ID:cA6sFXL+(14/41) AAS
>>860
てへぺろ☆(・ω<)さん
どうも。スレ主です。

”成立してると思ってる?”
であって
”成立してると思ってる!”
ではないと

時枝先生が記事を書いたときの気分に近いのかもね
いま、どう思っているか知りたいところだがw(^^;
864
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)13:19 ID:cA6sFXL+(15/41) AAS
>>863 補足

てへぺろ☆(・ω<)さんは、
下記で、”(3) 懐疑派”から成立の方へ重心が移っているのかね(^^
(なお、スレ主氏 ->(4)ですけどね(^^; )

(参考)
スレ65 2chスレ:math
544 名前:132人目の素数さん[sage] 投稿日:2019/05/14(火) 22:40:31.89 ID:3yjTocWT [2/2]
おそらく、単純な二分法ではうまくいかないだろう。
この問題における各人の立場は、おそらく次の4通りに分けることが出来るだろう。

(1) 成立派(自明派)
  時枝記事は単純なカード宛ゲームである。
  さらに確率論を排除することも可能。

(2) 成立派(選択公理否定派)
  選択公理を用いるとランダムなはずの数を
  言い当てることが出来ることが示された。
  やはり、選択公理を認めるのは危険である。!!

(3) 懐疑派
  明らかに直感に反するこのパラドックスは、
  何らかの否定的な解決がなされるべきである。
  パラドックス解消の解決策は今だ持っておらず、
  いくつかの問題点を指摘するに留まっている。

(4) 不成立派
  時枝解法は誤りである。
  このパラドックスは否定的に解決できるものである。

この分類の元では、私は現時点では(3)である。
そして、私の見立てでは次のようになる。

ここの成立派の諸君 ->(1)
Hart氏     ->(2)or(3)(or(4))
時枝氏     ->(3)
Pruss氏,Tony Huyn氏 ->(3)or(4)?
スレ主氏     ->(3)?
(引用終り)
867: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)14:08 ID:cA6sFXL+(16/41) AAS
>>865-866
下記、ご両名のどちらか知らぬが、ご苦労さん
がんばってなw(^^;

(>>799-805より、引用)
799 :2019/06/21(金) 22:03:45.68 ID:J44w7Ifz [7/10]
あのね(^^;
そのPDFはガロア理論のほんのさわりを紹介してるだけw
12章が1ページ半しか無いじゃん、方程式の可解性が1ページ半で書けるかw
お前数学書で勉強したこと無いの?(^^;

800 :2019/06/21(金) 22:07:22.52 ID:J44w7Ifz [8/10]
>>798
ぺらっぺらのPDFで勝ち誇るスレ主は f(x)∈Q[X] の可解性について何も言えずに惨敗(^^

801 :2019/06/21(金) 22:10:23.66 ID:j9UjIiP4 [17/22]
>>796
外部リンク[pdf]:lab.twcu.ac.jp
「定理 12.1
 K をすべての 1 のべき乗根を含むような C の部分体,
 f(x) ∈ K[x] を 2 次以上の多項式とする.
 このとき,方程式 f(x) = 0 が K 上べき根によって解けるための必要十分条件は
 f(x) の K 上の分解体 L のガロア群 Gal(L/K) が可解群となることである.」
なんで「すべての 1 のべき乗根を含むような C の部分体」なんて前提してるんだ?
別にKは標数0の体なら何でもいいだろう

802 :2019/06/21(金) 22:16:05.07 ID:J44w7Ifz [9/10]
>すべての 1 のべき乗根を含むような C の部分体
またまた大そうご立派な制約を設けたことでw
ありがた迷惑な定理だな(^^;
高校生が見たら「ガロア理論ショボっ」って思うだろうな(^^;

803 :2019/06/21(金) 22:23:55.98 ID:J44w7Ifz [10/10]
>>801
>仮定より 1 の ni 乗根は K に含まれるので,どれを選んでも以下の議論に影響はない.
なんか知らんけど1ページ半というスペースに収めるには制約を設けて証明をはしょる
必要があったんでは?

804 :2019/06/21(金) 22:28:45.44 ID:j9UjIiP4 [18/22]
>>802
>またまた大そうご立派な制約を設けたことでw
>ありがた迷惑な定理だな(^^;
でしょ?なんかキモチワルイよね
だってあんな制約要らないでしょ

805 :2019/06/21(金) 22:33:09.53 ID:j9UjIiP4 [19/22]
>>803
そういうことみたいだね
ただ、本質的ではないよね
(引用終り)
868
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)14:13 ID:cA6sFXL+(17/41) AAS
因みに、ガロア原論文は極めて短いけどな
稲永本に、あるけどな、ガロア原論文
なお、長い証明が、改良されて短くなることは、しばしばあるw(^^
869: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)14:14 ID:cA6sFXL+(18/41) AAS
>>868 訂正スマン

稲永本に、あるけどな、ガロア原論文
 ↓
彌永本に、あるけどな、ガロア原論文

(^^;
871: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)15:14 ID:cA6sFXL+(19/41) AAS
ご苦労さん(^^
872: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)15:16 ID:cA6sFXL+(20/41) AAS
暴れて良いよ
どぞw(^^
873
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)15:17 ID:cA6sFXL+(21/41) AAS
そろそろ、次スレなんで
ピエロちゃんに、使役を残そうと思っているんだw(^^
890
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)18:17 ID:cA6sFXL+(22/41) AAS
>>874
てへぺろ☆(・ω<)さん
どうも。スレ主です。

>正 成立してると思ってる!
>でオナシャス

ありがとう
いろいろ教えて下さい(^^

>逆にいえば、これどういう方法で確率0にできんの?
>ってくらい不成立は難しいんだけど?

細かい話は後にして、もともと確率0でしょ
例えば、ある人が、頭に浮かべた任意の実数rを、他人が的中させる確率は0
トランプだったら、その人が、選んだ札を当てる確率は、ジョーカー抜きで確率1/52でしょうが

>>875-876
>ガロア第一論文の第八節?の説明オナシャス
>あ、コピペじゃなく、全部、スレ主の地の文で

・頼む相手を間違っていますよ、それ、おっちゃんの仕事です(^^
(私は、証明をここに書く趣味はないですし、ここに書かれた証明を読む趣味もありません。ここ数学板は普通に数学記号が使えないのでね)
・でも、ガロア第一論文の第八節の分り易い説明は、探しています。どっかにないかと
・見つかったら報告しますので、お楽しみ(^^
891
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)18:21 ID:cA6sFXL+(23/41) AAS
>>884
哀れな素人さん
どうも。スレ主です。

ID:HQLwMRVl
>↑これはナマポ鮮人(笑

この人は、ちょっと、感触が違うね
サイコパスピエロが持っている人肉喰の願望がないみたいだからw(^^;
893: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)18:25 ID:cA6sFXL+(24/41) AAS
>>881
おっちゃん、どうも、スレ主です。
おやすみなさい(^^
899
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)18:47 ID:cA6sFXL+(25/41) AAS
>>890 補足

(引用開始)
>逆にいえば、これどういう方法で確率0にできんの?
>ってくらい不成立は難しいんだけど?
細かい話は後にして、もともと確率0でしょ
例えば、ある人が、頭に浮かべた任意の実数rを、他人が的中させる確率は0
トランプだったら、その人が、選んだ札を当てる確率は、ジョーカー抜きで確率1/52でしょうが
(引用終り)

てへぺろ☆(・ω<)さんも
”わぉ、イッツ・ミラクル!!!☆(・ω<)”と言っているので、
ほんとは分っているのでしょ?w(^^;

要するに時枝さんの方法は
・可算無限数列が存在すれば、(それがどんな数列であれ)
 あるD番目の数が、D以外の数から決められるというもの
・しかしながら、反例を上げておいたが (>>47>>322&>>735もご参照))
 関数f:R→R で、Rは連続濃度だから、
 定義域R中に可算無限数列 x1,x2,・・・xD,・・・が、(いくつでも)取れて
 関数値の列 f(x1),f(x2),・・・f(xD),・・・があるとして
 f(xD)の値が、f(xD)以外の値が確率1-εで決まってしまうということになる
・ところが、現代数学の関数の定義より、関数f:R→Rにおいて、
 f(xD)の値は本来他の値とは無関係なので、他の関数値からほぼ一つに(確率1-εで)決まることにはならない
903
(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)18:58 ID:cA6sFXL+(26/41) AAS
>>894
てへぺろ☆(・ω<)さん
どうも。スレ主です。

あなたは、なかなか賢くて、優秀ですね(^^

時枝記事=〜ある人が、頭に浮かべた任意の実数rを、他人が的中させる確率

でしょ(^^

>>895
>あれ?このスレはガロアスレだよね?

ええ。ですが、このスレの定義は、テンプレ>>11の通りです
”このスレは、半分趣味と遊びのスレと思ってくれ(^^;
もう半分は、ここはおれのメモ帳だ ”ってことです

>>ガロア第一論文の第八節の分り易い説明は、探しています。
>>どっかにないかと
>なぁんだ、スレ主も全然わかってなかったんだ
>ボクと同じ、バカだったんだ(をひ)

いえいえ、私は”皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします”
が定義です。テンプレ>>13に記載の通りです(^^;

てへぺろ☆(・ω<)さんの方が、ずっと賢いですよ(^^
まあ、そう真面目にならずに、遊んで行って下さい
907
(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)19:03 ID:cA6sFXL+(27/41) AAS
>>902
あるD番目の数が、D以外の数から(時枝に従って)決められる数rDだったとします
で、確率1-εで当てられるということですから、確率1-εで f(xD)=rDということですね
f(xD)が、それ以外の値になるなら、確率1-εになりませんから
922
(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)20:08 ID:cA6sFXL+(28/41) AAS
>>912
てへぺろ☆(・ω<)さん
どうも。スレ主です。
あなたは面白いわ(^^

>>919
>スレ主さん自身の思い込みしかないでしょうねー
>でここで自分の思い込みは正しいといって突っ張ると人生棒に振る、と
>そういう人を実生活でもネットでもたくさん見てきました
>「自分は賢い」と思ったら、人生失敗しますね
>やっぱりバカなんですよ バカが一番(をひ)

ご忠告ありがとう
テンプレ>>13をしっかり守って、
「コピペじゃなく、全部、スレ主の地の文で」は丁重にお断りしますね(^^

>>902
>ええ、この世は奇跡に満ちてるってことをね(そっちか!)

なるほど
>>860より)
”理由?だってそのほうが非常識で面白いじゃん☆(・ω<)
さぁ、祭りだ!祭りだ!!”
でしたねw
非常識な奇跡がお好みだと(^^

>なんかいろいろ省略しちゃってないかな?

”抽象化”というキーワードを使わせて貰っていますです、はいw

>まず、可算無限数列は1つじゃないよね
>少なくとも2つ以上ないと、Dが決まらないから

ええ、時枝記事の通りでも結構ですし、それ以外でも可です
つまり、時枝記事:1列を何列にも並べ変え可だと
とにかく、
1列以上の可算無限数列があり、そのどれかの数列のD番目が確率1-εで的中できると、”抽象化”しています

>決定番号が最大値の列では、Dは全体で二番目に大きな決定番号だし
>それ以外の列では、Dは全体で最大の決定番号だよね

そこも全部抽象化しました
最大値でも大小比較でも、
なんでもご自由に

なお、関数論に持ち込んだのは、現代数学の定義との比較で
「ある関数値f(xD)って、それ以外の関数値とは、全く無関係に取れるべき
 ところが、時枝さんは、関数値f(xD)が他の関数値から、ある方法で確率1-εで決められるべきだと」
これは明らかにおかしいですよ(^^
923: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)20:10 ID:cA6sFXL+(29/41) AAS
>>921
てへぺろ☆(・ω<)さん
どうも。スレ主です。

ご忠告ありがとう
まあ、いろいろご教示感謝していますよ(^^

次スレを用意しますので
よろしくねw(^^
931
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/22(土)20:35 ID:cA6sFXL+(30/41) AAS
>>924
>ああ、そんな堅苦しい言い方しなくていいって
>「無理!だって全然分かってねえもん!」
>ってぶっちゃけて!

ええ、同意しますよw(^^;
(分っていうとは、お人が悪いw(^^; )

>>そのどれかの数列のD番目が確率1-εで的中できると、
>それ、違うよね
>「的中できる数列が確率1-εで選べる」だよね。

いいえ
「そのどれかの数列のD番目が確率1-εで的中できる」(下記)
です
「的中できる数列が確率1-εで選べる」と言い換えるのは、ハマリです

(参考)時枝問題(数学セミナー201511月号の記事)
スレ35 2chスレ:math
(抜粋)
”勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
列r のD番目の実数r(D)を見て, 「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.”
(引用終り)
1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.054s