15/12/31 19:21:52.52 VnEkVToZ.net
>>566
＞ところで同値関係～に付随するRからR/～への写像は明らかに単射ではない。
これは君が書いたのではないのか？
591:１３２人目の素数さん
15/12/31 19:24:24.92 DJ4l0EHl.net
>>565
話題逸らし乙。では、1つ1つ詰めていくことにしよう。
定義
集合Xと、その上の同値関係～が与えられているとする。
X/～とXが同一視できるとは、次で定義される特定の写像
X ∋ x → [x] ∈ X/～
が全単射であるときを言う(xの同値類をここでは[x]と書いた)。
あるいは、単なる言い換えだが、～が何も類別してないときを言う。
すなわち、X/～の各元が1点集合であるときを言う。あるいは、
これも単なる言い換えだが、同値関係～が次のように定義されているときを言う。
・ x ～ y ⇔ x＝y.
これが、俺の定義する、今回の意味での「同一視」だ。
この意味においては、R^N/～ と R^N は明らかに同一視できない。
その証明は>>556に書いた。一方で、お前はその>>556を、>>561において
「そういうことではない」と切り捨てた。そして、>>561において
＞証明すべきはR^NとR^N/～間に全単射が存在しないことだよ。
このように書いた。となれば、お前の定義する「同一視」は、俺の定義する「同一視」とは
異なっていることになる。そのこと自体は、別に問題ではない。単に流儀の違いがあるだけだ。
では、今度はお前の番だ。お前の定義する「同一視」を書け。
592:１３２人目の素数さん
15/12/31 19:54:44.65 VnEkVToZ.net
>>568
＞お前の定義する「同一視」を書け。
集合X,Yに対し、全単射φ:X→Yが存在するとき、XとYは同一視できる、あるいは、x∈Xとφ(x)∈Yは同一視できると言う。
商集合限定版（YをX/～の形に限る）は特に考えていなかったが、君の定義を使うことに異存は無い。
＞その証明は>>556に書いた。
＞R^N/～ が R^N と同一視できるなら、R^N/～ は何も類別してないことになる(>>552)。
ここが既に間違い。
何故なら、R^N/～ は同値関係～によって類別された商集合だから。
⇒同値関係、商集合の定義を確認すべし。
593:１３２人目の素数さん
15/12/31 19:58:48.98 DJ4l0EHl.net
>>569
＞集合X,Yに対し、全単射φ:X→Yが存在するとき、XとYは同一視できる、あるいは、x∈Xとφ(x)∈Yは同一視できると言う。
ほらね。結局、お前が言うところの「同一視」ってのは、
単に全単射が存在すれば何でもいいわけだろ。
でもね、それは普通、「XとYは濃度が等しい」と呼ぶのであって、
「XとYは同一視できる」とは言わないんだよ。おバカさん。
594:１３２人目の素数さん
15/12/31 20:01:07.20 VnEkVToZ.net
>>570
レスは落ち着いてよく
595:読んでからにしよう。 ＞商集合限定版（YをX/～の形に限る）は特に考えていなかったが、君の定義を使うことに異存は無い。 と言ってるんだが。
596:１３２人目の素数さん
15/12/31 20:02:51.32 DJ4l0EHl.net
>>569
＞商集合限定版（YをX/～の形に限る）は特に考えていなかったが、君の定義を使うことに異存は無い。
意味不明。俺の定義とお前の定義は全く違う。
お前の定義では、単に全単射が存在すれば何でもいいと言っている。
すなわち、濃度が等しければ何でもかんでも「同一視できる」と言っている。
それがお前の定義である。一方で、俺の定義では、
X ∋ x → [x] ∈ X/～
という、固定された「特定の写像」が全単射でなければ同一視とは呼ばないと言っている。
そんなわけで、俺の定義とお前の定義は全く別物。そして、俺の定義を使う限りは、
>>556で証明になっており、R^N/～ と R^N は同一視できない。一方で、両者の濃度は等しいから、
お前の定義する「同一視」においては、両者は同一視できる(が、そのような意味の同一視には
何の意味もない。濃度が等しいだけ)。
597:１３２人目の素数さん
15/12/31 20:04:27.05 sTe6Wwaz.net
スレ主はイデアルで割るとかすらわかってなさそうだもんなあ・・・
598:１３２人目の素数さん
15/12/31 20:08:22.04 VnEkVToZ.net
>>572
分らん人だなあ＾＾；
だから、それは、値域YをX/～の形に限定した場合の定義だろ？
それについて、俺は君の定義に賛同してるんだよ？
599:１３２人目の素数さん
15/12/31 20:11:41.20 DJ4l0EHl.net
>>574
まず、俺の定義とお前の定義が全く違うものであることは理解してるの？
お前の定義を商集合に限定しても、俺の定義には 一 致 し な い のだが、分かってる？
それを分かった上で、お前の定義とは全く別の話として、単に俺の定義に賛同するということならば、
>>556 で話は終ってるよ。もう少し詳しく書かないと分からない？
証明
R^N/～ と R^N は、俺の定義する >>568 の意味においては同一視できない。
なぜなら、もし同一視できるのならば、>>568 の定義に従って、次の写像
R^N ∋ x → [x] ∈ R^N/～
は全単射でなければならない。しかし、～ の定義に従うと、この写像は単射ではないことが簡単に証明できる。
これは矛盾。よって、よって、俺の定義する「同一視」の意味においては、R^N/～ と R^N は同一視できない。
600:１３２人目の素数さん
15/12/31 20:17:17.01 8yo6V71F.net
>>575
（無駄コメ失礼）
このレスでようやく分かった。貴方はメンターだね。
いつもと違うくだけた口調だったので惑わされたｗ
601:１３２人目の素数さん
15/12/31 20:19:45.71 VnEkVToZ.net
>>575
あ～もうめんどくさい＾＾；
じゃあめんどくさいから話を、X と X/～ の形の同一視に限定しよう。
君の定義に全面賛同だよ。これなら文句無いでしょ？
＞R^N ∋ x → [x] ∈ R^N/～
＞は全単射でなければならない。しかし、～ の定義に従うと、この写像は単射ではないことが簡単に証明できる。
簡単に証明できると思うなら書いてみて
そこを省いたら証明にならんでしょうが、もう＾＾；
602:１３２人目の素数さん
15/12/31 20:21:25.65 6wh7yUe9.net
疲れるので、打たせて取る方針に変更w
603:１３２人目の素数さん
15/12/31 20:25:09.49 DJ4l0EHl.net
>>577
＞R^N ∋ x → [x] ∈ R^N/～
簡単のため、この写像を F と書くことにする。
すなわち、写像 F：R^N → R^N/～ は、F(x)：＝ [x] で定義される写像である。
F は単射でないことを示す。そのためには、「 x≠y かつ F(x)＝F(y)」を満たす
x, y ∈ R^N が存在することを言えばよい。さて、x, y∈R^N を次のように定義する。
・ x_n＝0 (n∈N).
・ y_n＝0 (n≧2), y_1＝1.
このとき、x_n＝y_n (n≧2) が成り立つので、x ～ y が成り立つ。
よって、[x]＝[y] が成り立つ。すなわち、F(x)＝F(y) が成り立つ。
しかし、明らかに x≠y である。よって、F は単射ではない。
よって、俺の定義する同一視の意味において、R^N/～ と R^N は同一視できない。
604:１３２人目の素数さん
15/12/31 20:29:40.95 sTe6Wwaz.net
擬同型で割る導来圏。
605:１３２人目の素数さん
15/12/31 21:04:13.66 VnEkVToZ.net
>>579
ID:DJ4l0EHl君の定義だと同一視できないのは当然だね、そこは早とちりだったよ。
で、元々の俺の疑念は、全単射φ:R^N→R^N/～ が存在するのでは？ だった。
君は存在すると言う。その証明は知りたいが、それはもう俺の中の問題だから、これで失礼する。
付き合ってくれて有難う。
606:１３２人目の素数さん
15/12/31 21:12:34.83 8yo6V71F.net
>>581
> で、元々の俺の疑念は、全単射φ:R^N→R^N/～ が存在するのでは？ だった。
今でもお前はお前の定義において『全単射φ:R^N→R^N/～ が存在するのでは？』が
> 問題の根幹にかかわる命題だから絶対に避けては通れない。
と考えているのか？
>>559に書いたようにいままで散々俺に絡んできたんだ。逃げる前に答えろ。
607:１３２人目の素数さん
15/12/31 23:01:42.71 9pX3itB9.net
ぼくもこんなに懇切丁寧に指導してもらいたいですね
うらやましい
608:現代数学の系譜11 ガロア理論を読む
16/01/01 06:32:02.63 I5+SyW9z.net
どうも。スレ主です。
皆様、明けましておめでとうございます。＼（^<>^）／
今年も良い年でありますように！ ご健康と、ご多幸を、お祈りします！
609:現代数学の系譜11 ガロア理論を読む
16/01/01 06:32:47.78 I5+SyW9z.net
ちょっと見ない内にずいぶんスレが進みましたね（＾＾；
610:現代数学の系譜11 ガロア理論を読む
16/01/01 06:47:40.93 I5+SyW9z.net
>>580
>擬同型で割る導来圏。
ども、レスありがとう。これか
URLﾘﾝｸ(ja.wikipedia.org)
アーベル圏 A の導来圏(どうらいけん、derived category) D(A) はホモロジー代数から構成されるもので、A 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。
その構成は基本的には次の様に進む：まず圏 D(A) の対象は A の鎖複体であり、次に2つのその様な鎖複体の間にチェーン写像が存在してホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。
このとき、導来函手は鎖複体に対して定義され、超コホモロジー（英語版）(hypercohomology)の考えを精密化したものとなる。
これらの定義により、煩雑なスペクトル系列（英語版）(spectral sequence)を用いて（完全に忠実ではなく）記述されるよりほか無かった式系に対する、劇的な簡素化が導かれる。
導来圏は、アレクサンドル・グロタンディーク(Alexander Grothendieck)と彼の学生のジャン・ルイ・ヴェルディエ（英語版）(Jean-Louis Verdier)により1960年代初頭に整備されると、
ホモロジー代数が長足の進歩を遂げた十年である1950年代に於ける爆発的な展開の一つの到達点となった。
ヴェルディエによる理論の基本的部分は博士論文に纏められ、ようやく1996年になってAsterisque（要約はずっと早くにSGA 4?に収録されていた）に出版された。
その定式化には革新的な発想である三角圏（英語版）(triangulated category)の概念が必要であり、その構成は環の局所化を一般化した圏の局所化（英語版）(localization of a category)に基づく。
"導来"形式の展開への原動力となった欲求は、グロタンディークの連接双対（英語版）(coherent duality)の理論のなんらかの意味での定式化を行うことであった。
導来圏は以後、代数幾何学以外の領域に於いてさえ、たとえば、D-加群や超局所解析(microlocal analysis)でも不可欠な概念となっている。
さらに、近年は、ミラー対称性やD-ブレーンの定式化という物理学に近い領域でも、導来圏が重要な役割を果たすようになっている。
611:現代数学の系譜11 ガロア理論を読む
16/01/01 07:13:49.55 I5+SyW9z.net
導来圏は、物理板でも話題になっているのか
＜物理板＞
大学生のための参考書・教科書 51冊目
ｽﾚﾘﾝｸ(sci板)
263 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2015/10/04(日) 17:44:24.32 ID:???
グロタンディーク構成って逆元を造るやりかたなんだけどベクトル束から?群、弱い意味での導来圏、指数を構成するやり方なんだが
一方通行な半群からアンドゥUndoをつくるって操作に無理矢理逆操作を定義することになるなぁと。
612:現代数学の系譜11 ガロア理論を読む
16/01/01 07:38
613::27.83 ID:I5+SyW9z.net
614:現代数学の系譜11 ガロア理論を読む
16/01/01 08:19:58.11 I5+SyW9z.net
>>550
TAさん、どうも。スレ主です。レスありがとう
>Dが大きいほうがプレイヤーは運が良いと感じるはずだ（あくまで気分の問題だが）。
>なぜなら数字を当てるには第k列の決定番号がD以下でなければならないからだ。
>運悪くD=1だったらもう絶望的。Dが大きければ大きいほど（気分的には）ラッキーなのだ。
良いヒントですね（＾＾；。で、
”時枝先生の記事で、最初の問題>>549
「可算無限個ある箱の中に実数があり、一つ以外は全部開けて、残り一つの数字を当てることができるか」という出題
を
条件は同じで、「箱を1列に並べ、当てたい箱を列の先頭にするという条件で、ある番号D+1以降の箱を空けて良い」という問題に変えて見よう
そして、「一方で、実数からなる数列R^Nを同値類で類別して、代表と決定番号なる概念を整備しておく」>>546も、同様とする
１．1列に並べた数列が、実数からなる数列R^Nを同値類のどれかに該当し、集合R^Nは非加算無限を、認めることとしよう（証明は略すという意味）
２．そうすると、1列に並べた数列の代表rの決定番号（＝1列に並べた数列と代表数列rのシッポがどこから先一致するかを示す番号）をdとして、dの範囲は1～無限大（つまり自然数Z全体？（集合論的にはもっと大きいかも？）。それは、TAさんもどこかで書いていた通り）
３．先頭の箱を当てるためには、決定番号d=1でなければならない。だが、d=1の確率は無限小
（確率計算のために、決定番号dの取り得る範囲が１～１００としよう。そうすると、d=1の確率は1/100。だが、範囲が∞なら、確率1/∞。）
４．これが、時枝トリックの一番のキモだろうか
615:現代数学の系譜11 ガロア理論を読む
16/01/01 08:53:59.63 I5+SyW9z.net
>>589 つづき
そこで、列を２列に増やす。「当てたい箱を列の先頭にするという条件」>>589は同じとする。簡単のために、当てたい数の列は、最後の列とする
１．「第１列目の決定番号d1＞＝第２列目(最後で当てたい箱の列)の決定番号d2」、となる確率は1/2であることも認めよう（証明は略すという意味）
２．だが、ここで考えてみると、先に示したように、列が１つの場合に、d=1の確率は1/∞。ある有限のDに対し、d＜＝Dである確率は、D/∞。
３．さて、第１列目を全て明けて、決定番号d1を明けて、ある有限のDが決まると仮定しよう（ここは、上記に照してあくまで仮定としたい）
４．仮に、ある有限のDが決まると仮定しても、当てたい箱の列の決定番号d2=1となる確率は？ 1/D? それとも 無限小？
５．「無限小？」のところを、掘り下げる。これこそ、事後確率の例かも？ 確かに、d1,d2が未定のときに、d1＞＝d2の確率は1/2。しかし、これはd1,d2とも1～∞の場合。d1が有限に確定したときにも、1/2？（まだ上手く数学的に説明できないが）
さて、この場合で、D＝２となったとしよう。で、d2=2になったとしよう。この場合に、２番目以降のシッポは代表によって確定する。
が、肝心の先頭の箱は決められない。先頭の箱の可能性は、依然として、非加算無限であることを注意しておく
だから、結論として、「問題がすり替わっている」（当てたい箱の実数は当てられない）という主張になる>>549
616:現代数学の系譜11 ガロア理論を読む
16/01/01 09:16:58.50 I5+SyW9z.net
>>590 つづき
そこで、列を１００列に増やす。「当てたい箱を列の先頭にするという条件」も外す。
これで、時枝の確率99%の方法と同じ
但し、簡単のために、当てたい数の列は、最後の列とする
１．さて、時枝問題のDの取り得る範囲を考えてみると、列を１００列に増やしたところで、Dの範囲は1～∞であることは不変
２．故に、最後の列のd100も、例え、d100＜＝Dとしても、d100の範囲は1～∞。d100＜＝Dの確率が99%としてもだ。
３．ならば、問題は、範囲1～∞のDを考えて、（まあジャンボ宝くじのように、矢を打って、Dを決めるイメージ）、D+1から先を明けて、一つ手前のDの箱が分かりましたと
４．確率99%の方法が正しいとしても、得られるものは、”ジャンボ宝くじの外れ以下の期待値”じゃないだろうか？
一気に、列を１００列に増やし、「当てたい箱を列の先頭にするという条件」も外すと、一見条件が増えて、頭が混乱する
それも、時枝（ルーマニア人？）マジックかも
617:現代数学の系譜11 ガロア理論を読む
16/01/01 09:37:32.06 I5+SyW9z.net
>>591 つづき
>確率99%の方法が正しいとしても、得られるものは、”ジャンボ宝くじの外れ以下の期待値”じゃないだろうか？
2011年は、６億６千万枚とか（下記）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
tanyaopinfucoldさん2011/12/2222:20:25 年末ジャンボ宝くじの総発行枚数って、一体何枚くらい何ですか？
補足６億６千万枚・・・・みんな、この数字を知ってて宝くじ買うんでしょうか・・・・
６６ユニットの中に１等２億円が２本。
（引用おわり）
６億６千万なんて、数学者なら、大した数じゃないと思うのでしょうかね（＾＾；
が、宝くじで、「６６ユニットの中に１等２億円が２本。」だから、１等の確率 １／３億３千万 だ
時枝（ルーマニア人？）マジックの一つのしかけが、この無限大を使ったトリックにありそうだということが、ご理解頂けましたか（＾＾；
618:現代数学の系譜11 ガロア理論を読む
16/01/01 09:55:35.02 I5+SyW9z.net
>>589 補足
>dの範囲は1～無限大（つまり自然数Z全体？（集合論的にはもっと大きいかも？）
よく考えてみると、dの範囲は1～無限大（つまり自然数Z全体）が正しい
∵加算無限の長さの列で、dは加算無限の長さの二つ列で決まる番号だから
が、
R^Nの一つの同値類には非加算無限の元がある（一つの同値類の濃度は非加算）こと
決定番号がdとなる代表元も非加算無限あること
従って、決定番号がdと代表元が分かっても、dより小さい番号（ねもと）の箱の中の数は、非加算無限の可能性が残っている
ということは、注意しておきたい
>>590 補足
>「無限小？」のところを、掘り下げる。これこそ、事後確率の例かも？ 確かに、d1,d2が未定のときに、d1＞＝d2の確率は1/2。しかし、これはd1,d2とも1～∞の場合。d1が有限に確定したときにも、1/2？（まだ上手く数学的に説明できないが）
ここ怪しいと思うんだが。数学的に解明できるほど、確率論に詳しくない（＾＾；
>>542 補足
>工学系
>・「一見理屈は合っているが、過去の例はどうなんだ？ 経験的にはなんだかなー。”風が吹けば桶屋”定理も証明されたというが＊）、確かなのだろうか？」
正直、大分迷走しました。「なんか怪しい」とは思うのだが、なかなか数学トリックが見えなかった。試行錯誤の過程で、間違ったことも沢山書きました。全部一旦忘れて下さい。（＾＾；
ご破算にして、以降再度正しいと思うことを書きますので ｍ（＿ ＿）ｍ
では
619:現代数学の系譜11 ガロア理論を読む
16/01/01 10:04:56.16 I5+SyW9z.net
>>590 訂正（日本語がおかしいし、ロジックが不明確）
３．さて、第１列目を全て明けて、決定番号d1を明けて、ある有限のDが決まると仮定しよう（ここは、上記に照してあくまで仮定としたい）
↓
３．さて、第１列目を全て明けて、決定番号d1が分かり、ある有限のD（=d1）が決まると仮定しよう（ここは、上記に照してあくまで仮定としたい）
620:１３２人目の素数さん
16/01/01 10:48:43.74 13PzAsrD.net
>>593
> で、間違ったことも沢山書きました。全部一旦忘れて下さい。（＾＾；
> ご破算にして、以降再度正しいと思うことを書きますので ｍ（＿ ＿）ｍ
"以降"というのはどこからでしょうか？
>>590の結論は無茶苦茶なんだが・・。これは"以降"に入るのでしょうか？
スレ主は時枝の戦略に論理的な欠陥を見つけたと主張しているの？
それともまだ見つからず思考実験をしている最中？
欠陥を見つけたというならそれを明確に書いてください。
思考実験の独り語りに突っ込みを入れるのは野暮だと思うので。
621:１３２人目の素数さん
16/01/01 15:45:28.42 yWuw831K.net
>>588
> ネター先生が、そこを深く考えたんだ
過去スレによると
>どうも、スレ主です
>ガロア原論文による理論を学ぶ意義は
>１．現代数学が抽象化してゆく原点の理論だと
>２．理論というのは、出来たときは手作り荒削り。それを後世の人が磨いて分かりやすくする。だが、素朴な手作りの味も重要だ
>３．ガロアの前には、デデキントもシュタイニッツもネターもアルティンも居なかったんだ。弱冠二十歳のガロアが作った意義は偉大だよ
>４．ガロアのブレークスルー（＝突破力）、デデキントもアルティンも、めじゃない。「おれは自分で道を作る」この精神を知ること
>これらを知ることじゃないだろうか？
>旧スレ705"車輪の再発明はやめてくれ！"?
>？？ ガロアが聞いたら笑うだろうよ
>「ガロア原論文で、理論のみならず発明力も学べ」と
上の4.には名前が入っていないが3.からの流れから推測すると
「デデキントもアルティンも(ネターも)、めじゃない。」ってことだろうから
2016年は「おれは自分で道を作る」の精神を発揮してスレ主がガロア原論文で養った「発明力」で
イデアルを「自分で」再発明することに期待
622:１３２人目の素数さん
16/01/01 15:51:08.59 VGzhvXRr.net
同値類で割って商集合をつくることの一番重要な例がイデアルで割ることだから。
623:１３２人目の素数さん
16/01/01 16:30:06.33 NraIj/pp.net
[問題]
時刻t＝0：可算無限個の閉じた箱がある。各箱には1つの実数が入っている。
時刻t＝t_1＞0：貴方は1つの箱を選び、(選択公理より)それ以外の全ての箱を開いて中の数字を見る
ことができる。
時刻t＞t_1：貴方は選んだ箱の中の数字を当てることができるか？
最初から確率空間の事象が可算無限で、考えるべき対象が限られているから、
直観的に箱の中の数字を当てることは出来んだろ。与えられた時点でそうなっている。
実数全体が非可算である以上、例え当てようとしても当てられない事象からなるような、
非可算の確率空間を上と同様に構成出来る。
[問題]
時刻t＝0：非可算無限個の閉じた箱がある。各箱には、上の問題のときに漏れたような、1つの実数が入っている。
換言すれば、ここで今説明した「実数」全体をA、上の問題での「実数」全体をBとすると、A∪B＝R、A∩B＝Φ。
時刻t＝t_1＞0：貴方は1つの箱を選び、(選択公理より)それ以外の全ての箱を開いて中の数字を見る
ことができる。
時刻t＞t_1：貴方は選んだ箱の中の数字を当てることができるか？
記事の内容は知らんが、恐らく、この問題を考えていることと同じだ。
この場合は、直観的には出来る。
624:１３２人目の素数さん
16/01/01 17:19:49.99 p3hiBHsi.net
>>598
当ててやろう！貴方はおっちゃん�
625:ﾅある。いかがか？
626:現代数学の系譜11 ガロア理論を読む
16/01/01 19:10:41.82 I5+SyW9z.net
>>598-599
どうも。スレ主です。レスありがとう
>>598は、おっちゃんか？ にしては、整然と書かれているが・・（＾＾；
時枝の記事のオリジナルでは、非可算無限個の閉じた箱は登場しない
ただ、>>598の前半の問題で、箱の並び方を変えることと、数列の類別と商集合を考えることで、的中確率を高めることができるというだけ・・・
627:現代数学の系譜11 ガロア理論を読む
16/01/01 19:22:06.21 I5+SyW9z.net
>>596-597
どうも。スレ主です。
>同値類で割って商集合をつくることの一番重要な例がイデアルで割ることだから。
それはそうかも知れないが、”同値類で割って商集合をつくる”という思想自身が、尊いと思う
つまり、群なり環なりという数学的構造を、解明してゆく、第一歩であり、常套手段でもあるから
> 2016年は「おれは自分で道を作る」の精神を発揮してスレ主がガロア原論文で養った「発明力」で
>イデアルを「自分で」再発明することに期待
"「おれは自分で道を作る」の精神"は、工学では大事なんだ。工学は現実だから。「作ってなんぼ」の世界。厳密解や解析解でなくとも良い。近似解や数値解で可
かつ、使えるものは、使えという精神もある。遠慮することはない。（エンブレム問題みたいな、意匠に関することは別として。また、特許も尊重するとして）
それから、”規格”や”法規”も重要だ。
すでに、”イデアル”という規格品があるなら、”「自分で」再発明する”は、工学ではやらない
「自分で道を作る」しかないという部分は、仕事としては、常にある。だから、そこに力を集中するんだ
628:現代数学の系譜11 ガロア理論を読む
16/01/01 19:44:04.13 I5+SyW9z.net
>>595
どうも。スレ主です。TAさん、おめでとうございます（＾＾；
>"以降"というのはどこからでしょうか？
>>589以降
>>>590の結論は無茶苦茶なんだが・・。これは"以降"に入るのでしょうか？
590の結論は入ります。
”結論として、「問題がすり替わっている」（当てたい箱の実数は当てられない）という主張になる>>549”
＜補足＞
A:”時枝先生の記事で、最初の問題>>549
「可算無限個ある箱の中に実数があり、一つ以外は全部開けて、残り一つの数字を当てることができるか」という出題”
B:”時枝の確率99%の方法：「箱を100列に並べ、最後の列で、ある番号D+1以降の箱を空けて、一つ前のDの箱を当てる」という方法
そして、「一方で、実数からなる数列R^Nを同値類で類別して、代表と決定番号なる概念を整備しておく」>>546は、同様とする。”
１．A→Bを導く：Aが解ければ、Bは解ける。ある番号D+1以降の箱を開けて、また一つ前のDの箱を開けてもAの条件は満たしているから。（Aが解ければ、箱の全てが分かるからとも言える）
２．B→Aは導けない：Bが解けても、Aは解けない。Bが解けても、分かるのはDの箱まで。1～(D-1)の箱は不明のままだから、Aは解けていない。
629:１３２人目の素数さん
16/01/01 19:51:20.13 p3hiBHsi.net
>>602
もはや問題すら理解できてないんだな。
630:１３２人目の素数さん
16/01/01 19:57:02.40 p3hiBHsi.net
>1～(D-1)の箱は不明のままだから、Aは解けていない。
意味不明なんだが。開けたきゃ開けりゃいいじゃん。
D番目を知るのには不要。だから記事ではわざわざ開けない。
それだけなんだけど、スレ主は何を勘違いしているの？
631:１３２人目の素数さん
16/01/01 20:44:05.07 rY4uRmKz.net
道を見失うこともありえる
632:１３２人目の素数さん
16/01/01 20:46:45.49 vHuRyjxp.net
いつでも五里霧中なスレ主
633:１３２人目の素数さん
16/01/01 20:47:57.70 vHuRyjxp.net
と、おっさん
634:１３２人目の素数さん
16/01/01 21:04:34.28 uAUm3ZtL.net
>同値類で割って商集合をつくること
準同型射そしてコホモロジー
635:１３２人目の素数さん
16/01/01 21:08:38.80 uAUm3ZtL.net
>同値類で割って商集合をつくること
準同型射、イメージカーネルコカーネル、コホモロジー
636:現代数学の系譜11 ガロア理論を読む
16/01/01 21:16:52.51 I5+SyW9z.net
>>593 補足
>>「無限小？」のところを、掘り下げる。これこそ、事後確率の例かも？ 確かに、d1,d2が未定のときに、d1＞＝d2の確率は1/2。しかし、これはd1,d2とも1～∞の場合。d1が有限に確定したときにも、1/2？（まだ上手く数学的に説明できないが）
>ここ怪しいと思うんだが。数学的に解明できるほど、確率論に詳しくない（＾＾；
こういうふうに考えたらどうだろうか？
１．A,B二人でサイコロを振るゲームとするとしよう。振るのは各１回のみ。AがB以上（等しい場合を含む）の目を出す確率は、数値計算すると0.58
２．トランプとして、1～13の数とする。札は裏向けて、一人が引いた札は戻してシャッフルする。札を引くのは各１回のみ。AがB以上（等しい場合を含む）の数を出す確率は、数値計算すると0.538
ここまでは、事前確率だ
３．そこで、自分がBの立場で、相手がAとして、小さい数を引いた方が勝ち。同じ数は引き分け。相手の引いた数が、分かって、勝負を下りることも可能としよう。
ここからが、事後確率だ（下記wikipedia）
相手が13を引いたとする。自分は勝ったと思うだろう。が、相手が１を引いたら、負けたと思うだろう。
つまり、相手の手が見える場合は、事後確率だ。事前確率は0.5であったとしても、相手が小さい数の札を引いた場合など、事後確率は別になる
４．思考実験として、トランプの数を増やして、1～無限大の数とする。相手がDという有限の数を引いた。自分は、D以下の小さい数で無ければ勝てない。
これは、あたかも、普通のトランプで相手が１という小さい数を引いた場合に相当するのでは？
つまり、1～無限大の数のトランプで、相手がDという有限の小さい数を引いたとき、自分は確率的にはほとんど勝てないと
５．だから、時枝問題の99%の確率は事前確率だ。が、Dという有限の小さい数に対する事後確率は、別の計算になる。
この話は、TAさんの>>550がヒントになっている
URLﾘﾝｸ(ja.wikipedia.org)
事後確率（じごかくりつ、Posterior probability）は条件付確率の一種で、ある証拠（データあるいは情報）を考慮に入れた条件で、ある変数について知られている度合を確率として表現する主観確率の一種である。
対になる用語が事前確率
637:１３２人目の素数さん
16/01/01 21:38:57.73 p3hiBHsi.net
>>610
じゃあスレ主は第k列の決定番号は確率1で他の99個の決定番号より大きくなると言いたいのだね？
第k列だけが特別なわけだ。100列は独立だったにもかかわらず。
他の99個の決定番号が分かったとたん、
箱は当初のまま、並び替えたわけでもないのに
第k列の決定番号がそれらより絶対大きくなると。
なんで？どうして？
時枝のトリックよりよっぽど不思議なんだが。
638:現代数学の系譜11 ガロア理論を読む
16/01/01 21:58:22.75 I5+SyW9z.net
こう考えたらどうだろうか？
１．普通のトランプで、相手が１のカードを引いた場合、自分がそれより小さい（等しい場合を含む）カードを引く確率は、１／１３
２．もし、カードの番号が、１～１００だったら、自分がそれより小さい（等しい場合を含む）カードを引く確率は、１／１００
３．もし、カードの番号が、１～１０００だったら、自分がそれより小さい（等しい場合を含む）カードを引く確率は、１／１０００
４．もし、カードの番号が、１～∞だったら、自分がそれより小さい（等しい場合を含む）カードを引く確率は、１／∞
639:現代数学の系譜11 ガロア理論を読む
16/01/01 22:00:05.71 I5+SyW9z.net
でも、カードをお互い隠してゲームをすれば、勝負の確率は、５割。事前確率の通り
640:１３２人目の素数さん
16/01/01 22:07:33.18 VZdJC9qG.net
デキの悪い生徒を指導するデキの悪い先生
いつまでたっても共通理解に達しない
641:１３２人目の素数さん
16/01/01 22:11:42.36 4PpfnHrK.net
>>614
TAと呼ばれているものだが。
お前やってみろ。スレ主を啓蒙してみなさい。
642:１３２人目の素数さん
16/01/01 22:22:50.06 4PpfnHrK.net
>>610
スレ主、わかっていると思うが
１．記事はゲーム開始前、すなわち箱を開け始める"前"の勝率を計算している。
２．スレ主は99列の箱を開けてDが分かった"後"の勝率（条件付き確率）を計算している。
スレ主が求めたいのはどちら？
普通、ゲームの戦略の勝率といったら１でないかい？
１を求めるのに条件付き確率を使うなら、Dとなる確率を求め、条件付き確率を掛け合わせ、さらにDについて和を取らなければならないんじゃない？
643:１３２人目の素数さん
16/01/01 23:08:19.84 VZdJC9qG.net
>>615
はぁ？
お前が好きで始めたことだろ
手に負えなくなったからって人に振るなよ
644:１３２人目の素数さん
16/01/01 23:11:22.84 xU3b12Ed.net
「趣味でスレ主のティーチング・アシスタントをしている者だ」
と自己紹介してみたいだろw
645:１３２人目の素数さん
16/01/01 23:13:43.67 4PpfnHrK.net
>>600
遅れましたがあけましておめでとうございます。
>598は、おっちゃんか？ にしては、整然と書かれているが・・（＾＾；
おっちゃんだと思うけどね。整然と書かれているように見えるところが・・。
正直言って小者の俺には内容が全然理解できない。
解説してもらえるとありがたいんだが・・（冗談です）
646:１３２人目の素数さん
16/01/01 23:14:32.18 4PpfnHrK.net
>>617
うむ。返す言葉がない。
647:現代数学の系譜11 ガロア理論を読む
16/01/02 07:33:56.24 1dqHLNC2.net
「おれは自分で道を作る」の精神で>>601、時枝問題>>589を説明する概念を、自分流に考えてみよう
１．＜時枝問題は、無限大のトランプゲーム＞
・時枝問題は、1～無限大の数のトランプ>>610
２．＜無限大のトランプゲームは、平均�
648:lが無限大で、有限の大小に対し非対称＞ ・平均値が無限大。だから、有限の数より大のカードを勝ちにするか、小のカードを勝ちにするかで、非対称 ３．＜カードを伏せたゲームでは、非対称は隠蔽され、２人ゲームの勝率は０．５＞ ・お互いカードを１枚引いて伏せたまま。同時に見せて、勝ち負けを争えば、非対称は隠蔽され、２人ゲームの勝率は０．５ ４．＜100人ゲームの勝率は、伏せたゲームでは、大小どちらでも、勝率1/100。が、カードをオープンにしたら、事後確率の世界＞ ・100人ゲームの勝率は、伏せたゲームでは、大小どちらでも、勝率1/100。非対称は隠蔽されているから ・が、自分がカードを引く前に、他の99人がカードをオープンにしたら、隠蔽されていた非対称が現れる ・もし、大きい方が勝ちなら、”勝った”と思う。もし、小さい方が勝ちなら、”負けた”と思うだろう ・蛇足だが、普通のトランプで、小さい方が勝ちで、相手が13なら、オープンを見て、”勝った”だろう ・しかし、番号が1000まであるトランプなら、13なら、”勝った”とは思わないだろう ・つまりは、番号が何番まであるかによる。そして、平均値が目安になるだろう。平均値が無限大なら、有限のカードより小さい数を引く確率は、限りなく小（事後確率の世界。大きい方が勝つなら、自分有利） ＜補足＞ ・「実数からなる数列R^Nを同値類で類別して、代表と決定番号なる概念を整備しておく」>>546は、単なる無限大のトランプゲームを、複雑に見せるための小道具 ・元の問題「可算無限個ある箱の中に（非加算無限から選んだ）実数があり、一つ以外は全部開けて、残り一つの数字を当てることができるか」 ・これを、100列に並び変えたところで、なんら本質的な問題解決には、なっていないはず ・それを、無限大のトランプゲームとして、実数からなる数列R^Nの同値類として、ストーリーを作った ・原型はルーマニアから仕入れたという
649:現代数学の系譜11 ガロア理論を読む
16/01/02 07:45:43.59 1dqHLNC2.net
＜補足２＞
・記事には、引用文献もなにもない。おそらく、専門の学術誌に投稿、あるいは専門書に採用された話でもないようだ
・別に工学系に限らないと思うが、「経験的真偽の判定法で、二つの別の方法で、同じ結論に至るなら、それは正しいだろうと」>>543
・が、時枝問題は、シャノンの情報量と情報理論>>544に照らしてみれば、箱を100列に並び変えたところで、なんら増える情報量はない。ランダムな並びだから>>546
・それを気付かれないように、うまくストーリーをまとめ上げる。時枝先生、お見事です！>>461
650:現代数学の系譜11 ガロア理論を読む
16/01/02 08:03:47.54 1dqHLNC2.net
Inter-universal geometry と ABC予想11の受け売りだが、メモしておく
URLﾘﾝｸ(github.com)
Brian Conrad によるオックスフォードでの IUT ワークショップのノート（試訳） Dec 31, 2015
がいいね
”望月の戦略は、Szpiro 予想を完全に群論的で「離散的」なものに再定式化することだ（つまり、特定の代数的・幾何学的対象から離れ、群論的・圏論的な対象が組み合わさった構造に関心を移すことだ）。
これによって、直接は幾何学的な解釈が存在しない操作を加えることが可能となる。またこの結果として、結論はもとの幾何学的状況設定では解釈できなくなる。
大雑把なアナロジーとしては、Wiles の Fermat の最終定理 (FLT) の証明においては、Fermat の方程式を直接取り扱うことはしないし、Frey が仮想的な反例を埋め込んだ楕円曲線すら直接取り扱わない。
その代わりに、Wiles は Galois 表現を変形する、より広い枠組みに再定式化し、楕円曲線そのものでは表現できない（可換環論と Galois コホモロジーに由来する）別のテクニックや操作を可能とした。
より望月自身の研究に即したアナロジーとしては、p 進体の絶対 Galois 群は（代数体のそれとは異なり）体論的な自己同型にはない（トポロジカル）自己同型を持ち、
従ってある代数体をその絶対 Galois 群で置き換えたときには新しいことが起こり（「エギゾティックな」自己同型が現れる）、もとの代数体ではこれは表現できない。
より具体的には、望月が導入した枠組み、Frobenioid 理論は、群論的データと層論的データの組み合せによって、標数ゼロの数論幾何構造に対する「Frobenius 写像」という古くからの夢を部分的に実現するものである。
これを如何に実現するかという着想は、望月の p 進 Teichmuller 理論に関する過去の研究から来ているようである（従って「IUT」の「Teichmuller」になっている）。
様々な幾何的対象について望月は「Frobenioid」を対応させ、然る後に幾何的対象を捨て去って完全に Frobenioid たちのみを用いた議論に移行する。
FLT とのアナロジーで言うならば、Wiles は Galois 表現を得るや否や、楕円曲線を投げ捨てて、Galois 表現に関するもとの楕円曲線においては何ら意味を持たない議論を進めている。”
651:現代数学の系譜11 ガロア理論を読む
16/01/02 08:05:14.67 1dqHLNC2.net
原文
URLﾘﾝｸ(mathbabe.org)
Notes on the Oxford IUT workshop by Brian Conrad December 15, 2015
（省略された 7. Technical appendixがある）
では
652:１３２人目の素数さん
16/01/02 08:05:18.81 mpoO1QcV.net
>>621-622
>>616を読んだのか？
653:１３２人目の素数さん
16/01/02 08:12:19.66 mpoO1QcV.net
スレ主、>>616を読んだ上での>>621-622ならば俺はもう貴方に構うのはやめにする。
どうしようもない馬鹿だからだ。
>>616に至っては完全に高校数学だ。
工学系も数学系もない。
654:１３２人目の素数さん
16/01/02 09:15:30.99 RdYcYZZH.net
>>626
>どうしようもない馬鹿だからだ。
何をいまさらっすねwww
655:現代数学の系譜11 ガロア理論を読む
16/01/02 13:00:27.38 1dqHLNC2.net
>>625-626
TAさん、どうも。スレ主です。
この話は、少し冷却期間をおくことを提案します
１ヶ月くらい後で、読み返してみたら？
数が、無限大のトランプか・・。時枝先生か、ルーマニア人かしならないが、面白いことを考えたね
トランプの数がNで有限なら、相手の出した札Dが有限で、Dと平均N/2との比較で、事後確率の自分が有利不利が分かる。（少ない方が勝ちの条件で、D＞N/2なら自分有利）
が、N→∞の極限を考えてみたら？ Dが有限なら、自分が有利には絶対にならない。Nが有限か無限かで、変わる。そこがトリックなのでしょう
情報理論から見て、時枝問題は、原理原則に反している。いわば物理で、エネルギー保存の法則を破っているがごとく。（まあ、情報理論がエントロピーを使った理論だとすれば、このエネルギー保存則アナロジーもあながち外れては居ないだろう）
私にも賛同者は居ない、が、TAさんにも明白に賛同する人は居ない。まあ、明白にTAさんが正しいという論陣を張る人がいない。というか、正しいとするロジックが見つからないんだろう・・
正しいとするロジックが見つからない以上、私も自分の見解（時枝のトリック）を変える理由がない
が、どちらにも賛同者がないし、合意に達しないなら、１ヶ月くらい冷却期間をおきましょう。まあ、２月かな。それ以前に、お互い、前の主張を取り消すとか、新しい有力な論拠が見つかれば、この限りにあらず
では
656:１３２人目の素数さん
16/01/02 13:04:56.85 2TgNRIk8.net
スレ主をマトモにとりあってくれる数少ない人に対して失礼だな。
まあ、スレ主は頭が飛んでるから仕方ないか。
657:現代数学の系譜11 ガロア理論を読む
16/01/02 13:11:16.97 1dqHLNC2.net
>>629
どうも。スレ主です。
ID:2TgNRIk8さん、レスありがとう
ところで、ID:2TgNRIk8さんは、どちらに軍配をあげるの？
TAさんに味方してあげれば喜ぶと思うよ
ただ、なぜそちらに軍配をあげるのか、数学的な理由付けをしてもらえれば、もっと良いだろう
658:１３２人目の素数さん
16/01/02 13:46:31.20 1ks2ARAx.net
まず問題と正対しろって話じゃねぇの
659:１３２人目の素数さん
16/01/02 13:57:06.31 mpoO1QcV.net
>>628
この期に及んで多数決か？
あるいは論文やwikiにでも明記されないとダメか？
俺は>>616でも>>604でも論理で反論している。
論理は理解できたのか？できていないのか？
工学系の矜持だかなんだか知らないがそんなのは俺は知らん。
結論を直観で納得できるかどうかを議論しているのではない。
現実に実験できたと仮定して箱の中身を当てられるかどうかを議論しているのでもない。
そうではなくて、公理定義をもとに結論を導出した"論理"を理解したのかと聞いている。
物理だのエントロピーだの情報理論だの、いったいお前は何の話をしているんだ？
まったく話にならない。頭が悪くて論理が理解できません、というならもうそれでいい。
まさに>>614の言うとおりだ。
いくら説明を尽くしても共通理解に達しない。
代数拡大>>274-275でもそうだったが、wikiや論文を引き合いに出さないと
考えを改められないというならもう俺が何を説明したって無駄だ。
660:現代数学の系譜11 ガロア理論を読む
16/01/02 19:53:11.73 1dqHLNC2.net
>>632
TAさん、分かってないね。数学のロジックで、貴方に味方する人は居ない。心情的に味方する人はいても
ここ数学板で、このスレを17まで引っ張ってきた。数学的ロジックを曲げてまで、迎合する気は無いよ
すでにはっきり書いたように
１．時枝のいう99%は、無限数トランプでの100人が全て札を伏せた賞美。第k列が、他より大きい確率は1/100さ。それは事前確率。だが、他の99人の最大値がDという有限の値と分かったら、第k列が、有限値D以下のカードを引ける確率は1/100ではない。それは事後確率で全く別物。それがトリックだ
２．時枝の最初の導入問題と、ルーマニア人だかの「実数からなる数列R^Nを同値類で類別して、代表と決定番号なる概念を整備」してという問題とは質が変わっている
この２点は譲る必要はないと思っている
ここは初心者も来ると思うので、数学的ロジックを曲げる気は無いよ
661:現代数学の系譜11 ガロア理論を読む
16/01/02 19:54:24.89 1dqHLNC2.net
>>633 訂正
１．時枝のいう99%は、無限数トランプでの100人が全て札を伏せた賞美。
↓
１．時枝のいう99%は、無限数トランプでの100人が全て札を伏せた勝負。
662:１３２人目の素数さん
16/01/02 20:10:47.92 mpoO1QcV.net
>>633
> TAさん、分かってないね。数学のロジックで、貴方に味方する人は居ない。
もう何も言うことはない。最後に>>616を再褐して終わる。
> スレ主、わかっていると思うが
> １．記事はゲーム開始前、すなわち箱を開け始める"前"の勝率を計算している。
> ２．スレ主は99列の箱を開けてDが分かった"後"の勝率（条件付き確率）を計算している。
> スレ主が求めたいのはどちら？
> 普通、ゲームの戦略の勝率といったら１でないかい？
> １を求めるのに条件付き確率を使うなら、Dとなる確率を求め、条件付き確率を掛け合わせ、さらにDについて和を取らなければならないんじゃない？
663:１３２人目の素数さん
16/01/02 20:11:50.21 mpoO1QcV.net
最後の最後で誤植は恥ずかしいなｗ→再掲
ではさようなら。
664:１３２人目の素数さん
16/01/02 20:12:22.60 H/XRx09W.net
>>633
いや数学のロジックでスレ主を支持するなんてことは
あり得ないからw
665:現代数学の系譜11 ガロア理論を読む
16/01/03 11:11:57.39 9qiH5IIf.net
>>637
どうも。スレ主です。
いや、別に私を支持して欲しいとは言っていない
私は、むしろ、TAさんを数学的なロジックで支援して下さいと頼んだ。もしそれがあるならね
君には、その能力が無かった（おそらく、考える能力が・・・）
私見では、TAさんを支持する数学的なロジックは無いよ
666:現代数学の系譜11 ガロア理論を読む
16/01/03 12:00:52.89 9qiH5IIf.net
>>635-636
ここは、初心者も来るから、なんとか分かるように、書いてみよう
＜事前確率と事後確率＞ URLﾘﾝｸ(ja.wikipedia.org) 及び URLﾘﾝｸ(ja.wikipedia.org)
１．>>610でも書いたが、A,B二人でトランプをするとよう。トランプは、１～Nまでのカードから成る。BがAより小さな数のカードを引く確率は、1/2。これは、事前確率
２．では、Aが有限の数Dのカードを引いた後�
667:ｻれを見せて、（カードは戻すとして）BがDより小さな数（等しい場合を含む）のカードを引く確率は？ 事後確率で、 D/Nだ。（Dより大きな数のカードを引く確率は (N-D)/N） ＜Nが有限ならば、事前確率と事後確率とは整合している＞ １．BがDより小さな数のカードを引く確率は、 D/N ２．Nが有限であれば、ベイズの定理により、事前確率とは整合している ＜N→∞の極限では、事前確率と事後確率とは整合しなくなる＞ １．N→∞とすると、BがDより小さな数のカードを引く確率は、 D/N→0になる。 ２．だから、N無限大のトランプゲームでは、事前確率と事後確率とは整合しない ＜実数からなる数列R^Nを同値類で類別した、決定番号問題は、N無限大のトランプゲームN→∞の類似＞ １．>>464に書いたように、代表元の候補は無限にあり、決定番号も無限の可能性がある ２．だから、可算無限の箱を並べて、属する同値類を調べ、そこから代表元を得ても、決定番号は１～∞の範囲 ３．つまりは、N無限大のトランプゲーム類似
668:１３２人目の素数さん
16/01/03 12:06:12.59 DKKY6nty.net
>>639
Dが決まった後にゲームが始まるわけじゃねぇんだよ。馬鹿野郎。
669:現代数学の系譜11 ガロア理論を読む
16/01/03 12:29:29.52 9qiH5IIf.net
>>639
＜補足＞
１．時枝問題：「可算無限個ある箱の中に（非加算無限から選んだ）実数があり、一つ以外は全部開けて、残り一つの数字を当てることができるか」
２．ここを掘り下げる。まず列が１つのとき、有限のDを任意に決める。D+1から先の箱を開けて、属する同値類を調べ、そこから代表元を得ても、決定番号は１～∞の範囲。
だから、有限のNが無限になる極限を考えると、この列の決定番号（これをdとして）が、d＜＝Dとなる事後確率は、D/N→0になる。
３．で、列を、１００列に並べ変えた。有限のDの与え方を、問題の列以外の99列の決定番号の最大値（=D）によるとする
だが、１００列が全くランダムだから、この場合（有限Dより小）の事後確率は、上記１と同じく、D/N→0になる。
４．勿論、事前確率としては、ランダムな１００列で、問題の列の決定番号が、他の99列の決定番号たちより大になる確率は1/100だ。
それを逆に取って、的中確率99%と、時枝は主張する。が、事後確率と事前確率とは別なのだ
（補足の補足）
時枝トリックか、ルーマニアトリックか不明だが、”事前確率と事後確率”、それに”N→∞の極限では、事前確率と事後確率とは整合しなくなる”とがからんで、全体像が、見えにくい。
それがだまし絵たるゆえんだろう。
時枝先生が、数セミ2015.11月号P36の記事を、どこまで本気で書いているか不明だ
が、数学的ロジック（トリック？）は、上記説明と記事を合わせて読んで貰えば分かるだろう
670:現代数学の系譜11 ガロア理論を読む
16/01/03 12:55:24.44 9qiH5IIf.net
>>640
どうも。スレ主です。良い質問ですね
が、無限大の極限操作になれていないと見える
１．では、きちんと勝負して、時枝のいう通り、ある確率＊）で、問題の列の決定番号d<=D（＝他の列の決定番号の最大値）が成り立つことが分かったとしよう
２．が、Dの範囲は、1～∞。そして、dの範囲も、1～∞。
３．無限大の極限操作になれていない方のために、具体例下記
１）列が１万としよう。dの範囲は、1～１万。
２）列が１億としよう。dの範囲は、1～１億。
３）列が１兆としよう。dの範囲は、1～１兆。
・・・
とすると、dの範囲（極限で）は、1～Nで、N→∞。結局なんにも決まっていないってことでは？ これも、だまし絵の一つの見方かも（＾＾；
＊）ある確率が、１００列なら99/100なのかも知れないが、”dの範囲は、1～Nで、N→∞。結局なんにも決まっていないってこと”という結論には影響しない
（>>639>>641 は、Dとdが有限という制限を入れた場合のだまし絵の一つの見方だ）
671:１３２人目の素数さん
16/01/03 12:58:31.47 DKKY6nty.net
>>641
> それを逆に取って、的中確率99%と、時枝は主張する。が、事後確率と事前確率とは別なのだ
事後確率と事前確率は別だよ？当たり前じゃん。何が言いたいの？
ゲームはDが分かっていないところから始まる。異論ある？
D=1,2,3,4,・・・,Nとなる確率P(D)は定数関数ではない。異論ある？
D=1,2,3,4,・・・,Nのそれぞれに対してプレイヤーが勝つ事後確率P_D(D)が決まる。異論ある？
D=1,2,3,4,・・・,Nとなる確率P(D)にP_D(D)を掛けてDで和を取ったものがプレイヤーの勝つ確率。異論ある？
最後にNを∞に飛ばしてみなよ。箱が100列なら答えは99/100に近づくから。
最後の計算はあんたがエクセルで一生懸命確認したから分かるよな？ｗ
672:１３２人目の素数さん
16/01/03 13:10:42.15 DKKY6nty.net
>>642
何を言いたいのか不明確。
> Dの範囲は、1～∞。そして、dの範囲も、1～∞。
そのとおり。でもDが1となる確率とdが1となる確率は違うんだわ。
なぜかって？Dは99個の最大値、dは1個の値だから。
99個をどんどん増やしていけばd<=Dとなる確率がどんどん大きくなる。
言っている意味分かる？
673:現代数学の系譜11 ガロア理論を読む
16/01/03 13:39:17.22 9qiH5IIf.net
>>643
どうも。スレ主です。箱が100列なら答えは99/100は良い。それは事前確率
だが、時枝問題の記事は、Dが有限から始まる。ここはどうよ？ 同意しますか？
>>644
d<=Dとなる確率がどんどん大きくなるよ。
でも、問題は、当てようとしている箱がD+1番目
D→∞だったら？ 「結局なんにも決まっていないってこと」>>642だろ？ （D→∞は、N→∞から従う）
674:現代数学の系譜11 ガロア理論を読む
16/01/03 13:42:38.41 9qiH5IIf.net
>>645 訂正
でも、問題は、当てようとしている箱がD+1番目
↓
でも、問題は、当てようとしている箱がD番目（D＋１番目より先の箱を開けて、属する類と代表元と代表番号を決めて）
だったね
675:１３２人目の素数さん
16/01/03 13:47:11.67 DKKY6nty.net
>>645
> どうも。スレ主です。箱が100列なら答えは99/100は良い。それは事前確率
> だが、時枝問題の記事は、Dが有限から始まる。ここはどうよ？ 同意しますか？
> でも、問題は、当てようとしている箱がD+1番目
> D→∞だったら？ 「結局なんにも決まっていないってこと」>>642だろ？ （D→∞は、N→∞から従う）
はぁ？何言っているの？Dは有限の値を取るよ？
なぜかって？
どんな実数列も決定番号は有限の値をとるから。
それはなぜかって？
ある自然数n∈Nから先で実数列がベッタリ一致するというのが今考えている同値関係だから。
言っている意味分かる？
というか、そんなことも分からずに議論していたの？？？
676:現代数学の系譜11 ガロア理論を読む
16/01/03 13:48:13.95 9qiH5IIf.net
>>646 補足
>属する類と代表元と代表番号を決めて
正確には、代表番号は、D番目以降の箱を開けないと決まらないんだった
が、”d<=D”とすることで、代表元を見て、代表元の列のD番目と、問題の列のD番目とが等しい方に賭ける。”d<=D”の確率が１００列なら99%だと
だが、繰り返すが、D→∞だったら？ 「結局なんにも決まっていないってこと」>>642
677:現代数学の系譜11 ガロア理論を読む
16/01/03 13:54:24.33 9qiH5IIf.net
>>647
どうも。スレ主です。
>はぁ？何言っているの？Dは有限の値を取るよ？
では、Dの上限値は？ 上限は無いんだろ？
>ある自然数n∈Nから先で実数列がベッタリ一致するというのが今考えている同値関係だから。
そうだよ。n∈Nだよ。だから、有限の値nを考えることはできる。だが、nには上限がない
そして、>>644の確率を考えているときも、おそらくn→∞を考えているんだ
まあ、ここら、有限と無限の境をうまくまぜているのが、だまし絵のゆえんだろう（＾＾；
678:現代数学の系譜11 ガロア理論を読む
16/01/03 14:03:04.25 9qiH5IIf.net
>>647
どうも。スレ主です。
無限大の極限操作になれていないと見える
１．ある自然数n∈Nから先で実数列がベッタリ一致するという
２．n=１万とする。１万から先で実数列がベッタリ一致するという二つの数列があったとする。二つの数列は、同じ同値類に属する
３．n=１億とする。１億から先で実数列がベッタリ一致するというもう一つの数列があったとする。上記を加え三つの数列は、同じ同値類に属する
４．n=１兆とする。１兆から先で実数列がベッタリ一致するというもう一つの数列があったとする。上記を加え四つの数列は、同じ同値類に属する
・・・・
同じように繰り返して、ｎから先で実数列がベッタリ一致するというもう一つの数列があったとする。上記を加えｍ個の数列は、同じ同値類に属する
つまりは、シッポの先のｎは有限で打ち切ってはいけないし、ｍは無限大、つまりは、同値類は集合として基本的に可算無限の濃度だよ
679:現代数学の系譜11 ガロア理論を読む
16/01/03 14:07:28.49 9qiH5IIf.net
>>650 訂正
ｍは無限大、つまりは、同値類は集合として基本的に可算無限の濃度だよ
↓
ｍは無限大、つまりは、同値類は集合として基本的に非可算無限の濃度？
決定番号は、明らかに可算無限だが、同値類は集合としての濃度は、可算無限で収まらないかも・・・
680:１３２人目の素数さん
16/01/03 14:08:12.04 DKKY6nty.net
>>649
> では、Dの上限値は？ 上限は無いんだろ？
> そうだよ。n∈Nだよ。だから、有限の値nを考えることはできる。だが、nには上限がない
> そして、>>644の確率を考えているときも、おそらくn→∞を考えているんだ
本当に馬鹿だな。
必ずある自然数n∈Nが取れるって言ってるんだよ。
Nは上に有界ではないよ？だから何？
上に有界じゃないと誰かがやってきて勝手にnを∞に飛ばしちゃうの？
どこまで馬鹿なの？
ある実数列の決定番号が∞ということは、代表元とベッタリ一致し始める自然数n∈Nが存在しない、
すなわち2つの実数列はどこまでいってもベッタリ一致しないってことだよ？
2つの実数列は同値なはずなのにおかしいよね？
俺の言っている意味分かる？
681:１３２人目の素数さん
16/01/03 14:09:50.00 VwVkPMXz.net
いくらでも大きな値を取りうることと値が無限大であることとは大きなギャップがあるよね
682:１３２人目の素数さん
16/01/03 15:36:38.28 YSdT8nKm.net
N(m):={n∈N|n<m∈N} とする。
∀m に対し、∀n∈N(m) は（有限の）自然数
lim[m→∞]maxN(m)=∞
683:現代数学の系譜11 ガロア理論を読む
16/01/03 16:22:46.47 9qiH5IIf.net
>>652-654
どうも。スレ主です。
>ある実数列の決定番号が∞ということは、代表元とベッタリ一致し始める自然数n∈Nが存在しない、
>すなわち2つの実数列はどこまでいってもベッタリ一致しないってことだよ？
>2つの実数列は同値なはずなのにおかしいよね？
その通りだが
まず、Dは何の条件もないとして
問題の第k列の数列が、D＋１番目より先の箱を開けて、問題の列がある同値類Sに属したとしよう
で、ある同値類Sの代表rとは？ ある数列の同値類Sに属する任意の数列で良いだろ。ここまでは同意できるだろう？
そして、その代表rと、問題数列とを比較するんだったよね。代表元は、任意で良かった。だから、二つの数列がある数nから一致するとしても、決定番号nの可能性は１～∞。そして、いま我々は、確率を考えていることを忘れないでほしい
で、Dと決定番号ｎとはなんの関係もない。ここも良いだろ？ そうすると、決定番号nが、n<=D(有限)となる確率は？ D/∞になる。ここまでは同意できるだろうか？
次に、なんらかの条件で、Dが決まるとする。但し、Dは有限とする。また、上記決定番号ｎがDの決定になんら影響を与えず、かつ、決定されたDも決定番号ｎになんら影響を与えないとする
そうすると、決定番号nが、n<=D(有限)となる確率は？ 上記と同じく、D/∞になる。ここは同意できるかね？
時枝問題に戻ると、上記”上記決定番号ｎがDの決定になんら影響を与えず、かつ、決定されたDも決定番号ｎになんら影響を与えない”という条件は、確率計算の基本だ。だから時枝も同意するだろう
ならば、決定番号nが、n<=D(有限)となる確率は、上記と同じく、D/∞になる。再度強調しておくが、いま我々は、確率を考えていることを忘れないでほしい
そして、１００列に並べた可算無限個の箱の数列で、各列の決定番号を比較したとき、問題の列が他の９９列の決定番号より大になる確率は１／１００に同意する
が、それは、上記で述べたn<=D(有限)となる確率計算（D/∞になる）とは両立するよ。ここは同意しますか？
684:１３２人目の素数さん
16/01/03 17:40:17.57 DKKY6nty.net
>>655
> 次に、なんらかの条件で、Dが決まるとする。但し、Dは有限とする。また、上記決定番号ｎがDの決定になんら影響を与えず、かつ、決定されたDも決定番号ｎになんら影響を与えないとする
> そうすると、決定番号nが、n<=D(有限)となる確率は？ 上記と同じく、D/∞になる。ここは同意できるかね？
文章が不明瞭なので回答不可。
99個の箱を開いてDが得られる確率P(D)と、
Dが得られたという条件でn<=Dとなる条件付確率P_D(D)を
お前が明確に区別できているのかが不明瞭。よって回答不可。
> そして、１００列に並べた可算無限個の箱の数列で、各列の決定番号を比較したとき、問題の列が他の９９列の決定番号より大になる確率は１／１００に同意する
> が、それは、上記で述べたn<=D(有限)となる確率計算（D/∞になる）とは両立するよ。ここは同意しますか？
本当にお前は何を言いたいの？両立の定義はなに？
何度も何度も同じことを言わせんなよ。
『99/100』はお前の言うところのn<=Dとなる事前確率。時枝の言うところの勝つ確率。
『D/∞』は99個の決定番号がDがだったときにn<=Dとなる条件付確率P_D(D)。
お前は本当にここを分かってるの？
当たり前だけどね、ゲームはDが得られた後に始まるわけではないの。
だから勝つ確率はお前の言うところの『D/∞』ではないの。
ゲーム開始時点（すなわち箱を開ける前）に計算される確率は
Dが得られる確率P(D)にP_D(D)を掛けてDで無限和を取ったものなの。
P_D(D)=D/∞という条件付確率は『Dが既知のゲーム』に勝つ確率なの。
このゲームはDが既知ではないの。いろんな値を取りうるの。
言っている意味分かる？
685:現代数学の系譜11 ガロア理論を読む
16/01/03 19:36:32.94 9qiH5IIf.net
>>656
どうも。スレ主です
逃げのピッチングに見えるが、まあ良い
その回答なら、前段>>655の「Dと決定番号ｎとはなんの関係もないとすると、決定番号nが、n<=D(有限)となる確率は D/∞になる」までは同意だね
そうすると、100列の内で、99列の決定番号ｎたち（n1,n2,・・・,n99）の最大値Dが、有限としても、日常身の回りにある数より、とてつもなく大きくなるということは同意してもらえそうだね
で、具体例として、原子の大きさ 約１×10^-10として、地球の半径 6.3 ×10^6（下記）を考える。その比は、6.3 ×10^16。原子の個数を考えると、３次元だから、（10^!6)^3=10^48のオーダー
つまり、地球に存在するある一つの原子を当てる確率は、1/10^48のオーダーだ
が、上記の最大値Dは、それ（10^48のオーダー）よりもっと大きい可能性があるということも、同意だね （というか、ほとんどの場合、10^48のオーダーよりもっともっと大きいだろう）
（参考）
URLﾘﾝｸ(www.geocities.jp) 原子の大きさ 約１×10^-10 （半径）（ｍ）
URLﾘﾝｸ(ja.wikipedia.org) 地球 半径： 6,371 km ＝6.3 ×10^6 （ｍ）
そうすると、繰り返すが、実際のDは、上記10^48のオーダーもかわいく見える巨大になると考えられる
だから、「D番目の箱は当てられます」という問題は、最初の問題（最初の１つ以外は全部開け、残った一つを当てることができる）とは、すり替わっているという主張になる（>>633の２の主張）
そして、だから「結局なんにも決まっていない」という主張になる >>642>>648
再度強調すると、「10^48のオーダーもかわいく見える巨大なDに対して、D番目から当てられますよ」と
だが、1～D-1までの箱の中は、さっぱり分からないなら、その解法は、日常感覚では、役に立たないってことだ。確率が99%だとしても
だから、だまし絵だろ？という主張になる
１．Dが有限としても、確率99%だとしても、Dは日常感覚では役に立たない巨大な数にならざるを得ない
２．もう一つの解釈は、Dが日常感覚の有限値になる確率は、D/∞に近い。つまりは、宝くじの１等を当てる確率よりずっと小さいと
ここが同意できれば、だまし絵とそのトリックにも同意してもらえるだろう。では
686:１３２人目の素数さん
16/01/03 19:58:26.72 DKKY6nty.net
>>657
今度は何の話だよｗ
> 再度強調すると、「10^48のオーダーもかわいく見える巨大なDに対して、D番目から当てられますよ」と
> だが、1～D-1までの箱の中は、さっぱり分からないなら、その解法は、日常感覚では、役に立たないってことだ。確率が99%だとしても
本当に全く言っている意味が分からないんだが。
>>604で回答されてるじゃん。第k列の1～D-1は開けたきゃ開けろよ。
D番目を知るのには役に立たないから開けないだけだってば。
その『日常感覚では役に立たない』ってのは何だよ。
お前の日常感覚なんか議論してねえよｗ
無限個のうち1個の中身を当てればいいんだぞ？このゲームは。分かってる？
記事はD番目を当てる戦略を書いている。それで十分。
なんでお前は1～D-1の箱の中身を気にしてるんだ？
1～D-1番目が分からないから『役に立たない』？馬鹿だろお前。
687:１３２人目の素数さん
16/01/03 20:14:10.62 DKKY6nty.net
>>657
素直に間違いを認められないお前はいま本当に見苦しい。
数学の議論にお前の個人的な『日常感覚』まで持ち出しやがって。
それがお前の『数学的ロジック』か？笑わせんな阿呆。
原子と地球がなんだって？ｗ
10^48が大きいか小さいか？
そんなの10^100^100に比べたら豆みたいなもんじゃねえの？
それだって10^100^100^100に比べたら豆粒だけどな。
で、それがどうした？どこらへんがお前の『数学的ロジック』なんだ？
688:１３２人目の素数さん
16/01/03 21:05:07.29 rMISjHul.net
輝くスレ主の工学的センス！
689:１３２人目の素数さん
16/01/03 21:13:04.33 Ef7heb/b.net
数学における数は何か、
より一般的な対象と対象間の関係において、数が持っている果たしている機能、役割、性質、構造などは何か、
数「に」従う対象と対象間の関係とは何か、
数「が」従う対象と対象間の関係とは何か、
数や数に関わる対象に基づいて、一定の演算、規則、ルール、論理操作、パターン、機能、役割などが定まるのか、
一定のパターン、論理操作、ルール、規則、演算、機能、役割に基づいて、数ないし数に関わる対象が定まるのか、または、
これら相互に一定の関係、可分または不可分な関係があるのか、
数の間にある、または数に関わる対象にある一定のパターンは、
数と、数または数に関わる対象に関する論理操作、ルール、規則および演算と、これら相互のものとに存在する、
各機能・各構造・各対象と各対象間の各関係に基づく、
より一般的なパターン、演算、計算に関する論理操作、機能、構造、対象と対象間の関係とそれら間の関係、変形に基づくのか、
だから、計算変形理論？
以上の各観点からみて直接取り扱いできない直接論理操作できない触れない各対象はある、
しかし、これらの対象間に仮に存在が想定されるパターン、規則、ルール、関係、機能、役割、構造などに基づく論理操作、取扱いによってこれらの各対象またはこれらをワークさせている対象に間接的に触れることはできるのか、
以上の各観点からみた、素数が果たしている機能、役割は何か？
690:１３２人目の素数さん
16/01/03 21:15:35.62 YSdT8nKm.net
工学的センスがあるなら、地球が原子で隙間無く詰まってるモデルは採用しないだろうけどね
691:１３２人目の素数さん
16/01/03 21:26:10.82 liRZqZWU.net
Yet another 工学的センスマン shows up!
692:１３２人目の素数さん
16/01/03 22:43:33.14 5jE0tFNH.net
工学なら、例えば情報伝送の非符号抜け・符号誤りが100%なくても
普通に製品化するでしょ。携帯電話の初期なんか95%以上で普通に見切り
発車し納入品作ってたよ。もちろんクレームなしノーリターンだった。
純粋に100%目指すのは理想だけど、先払いの納期であったり予算の関係
そもそも開発は、危険回避で同じテーマを２つ以上の部署に同時並行して
やらせてるから完成月日から逆算して出来の良い方でつじつまを合わせていく
こんな時代だからある意味、今はもっと酷くなってる可能性ある
のは当たり前だった。工学は正直マジで理学とちょっと違うと思うよ
理学の人にとったらかなり違和感あると思うけどｗ
693:１３２人目の素数さん
16/01/03 22:52:17.15 5jE0tFNH.net
ごめんスレ主シンパなわけじゃなくて、バブル最盛期？ですら
そんな雰囲気がメーカーには普通にあったね
694:１３２人目の素数さん
16/01/03 23:10:59.39 DKKY6nty.net
>>664
些細なことだが下の2行は順序が入れ替わってないかい？
> こんな時代だからある意味、今はもっと酷くなってる可能性ある
> のは当たり前だった。工学は正直マジで理学とちょっと違うと思うよ
あるいは縦読みでも仕掛けてたりする？
不思議な文章で気になってしまったよ。
695:１３２人目の素数さん
16/01/03 23:23:16.64 5jE0tFNH.net
続投ごめん。自分のいた会社は日本無線だった。
当時（平成３年前後）、警察無線のほとんどは日本無線と国際電気が受け持ってて
そのころの陸上・海上自衛隊のレーダー機器のかなりの部分も日本無線が受注を受けてた。
当然NTTともツーカーだった。馬鹿げたことだけど日本の全家庭での勤務先、取引銀行
年収等個人情報のICチップ化もほとんど完成してて、同僚にモニターで見せてもらい驚愕
した思い出がある。
比較的そんな堅い会社でも、というお話
696:１３２人目の素数さん
16/01/03 23:27:48.88 5jE0tFNH.net
ごめん、文章まちがいです
697:１３２人目の素数さん
16/01/03 23:29:16.47 DKKY6nty.net
>>668
そうですか。わざわざどうも。
698:現代数学の系譜11 ガロア理論を読む
16/01/08 22:19:29.94 /Q9yV2+y.net
どうも。スレ主です。
なんか、盛り上がってますね
分かり易い説明を思いついたので書いてみます
699:現代数学の系譜11 ガロア理論を読む
16/01/08 23:43:03.90 /Q9yV2+y.net
どうもみなさん、代数は得意かも知れないが、確率計算をしているということを忘れる傾向がある。
まあ、それが、時枝の狙いか
１．まず、「第ｋ列の決定番号d(s^k)が、ある数Dに対して、D＜d(s^k)となる確率は、Dに依存する」ということを示そう
１）単純化して、以前も書いた２人のトランプゲームを考える。相手がA、第ｋ列がBとする
２）トランプカードは、１３まで。Aが引いたカードDに対して、第ｋ列が引くカードをd(s^k)とする。Aが引いたカードDは、戻すとする
３）D＝１１に対して、D＜d(s^k)となる確率は、２／１３だ。が、D＝３に対しては、１０／１３だ。
４）ところで、１～１３の中央の７の場合、確率は、６／１３だ。
５）上記の３）の意味が分かるかな？ D＝１１とD＝３は、中央の７に対して対称の位置で、（２／１３＋１０／１３）／２＝６／１３という関係になっている
６）つまり、D＝１～１３まで、中央の７の場合の確率６／１３で、中央の７に対して対称の位置のDを二つたして平均して６／１３。だから、D＝１～１３全体の平均は、６／１３。（各１～１３の確率を足して平均する）
７）そこで、最大値を、１３より大きな数ｍ（簡単のために奇数）としてみよう。D＜d(s^k)となる確率、D＝１～ｍ全体の平均は（ｍ－１）／２ｍ。上で説明したように、中央の（ｍ＋１）／２に対して（ｍ－１）／２ｍ。対称の位置のDを二つたして平均して（ｍ－１）／２ｍ。
８）この説明で分かるように、Dが中央の（ｍ＋１）／２に対してどの位置にあるかで、D＜d(s^k)となる確率は、変わる。つまり、Dに依存するということが示せた
２．もう一度、これを言葉で、説明すると、Dが中央の（ｍ＋１）／２に対して、小さい位置にあれば、D＜d(s^k)となる確率は大きくなる。そして、中央の（ｍ＋１）／２に対して、対称の位置の確率は小さく、二つの確率が平準化されて、全体の平均確率が実現されていることが分かる
700:１３２人目の素数さん
16/01/09 00:03:08.33 Ueu6ZS/K.net
>>671
懲りずに同じ議論を繰り返す馬鹿
701:現代数学の系譜11 ガロア理論を読む
16/01/09 01:12:48.38 vCOPf6Dz.net
>>671 つづき
１．お分かりと思うが、上記２人のトランプゲームは、時枝の問題で列が２つの場合に相当する。つまり、数学モデルとしては等価だと
（但し、２列問題で、決定番号Dとd(s^k)とが、トランプゲーム同様１～ｍまで均一に出現するという前提で考える。）
２．もう少し、２人ゲームで考えてみよう。Dの中央の（ｍ＋１）／２に対する距離を、Δ＝（ｍ＋１）／２－Dとする。Dは、中央の（ｍ＋１）／２より小さいとする。
３．このときの、D＜d(s^k)となる確率は、（ｍ－１）／２ｍ＋Δ/ｍ。
４．そこで、具体的な小さい数Dに対しては、ｍをどんどん大きくすると、中央値からの距離Δは、相対的に、ほとんど（ｍ＋１）／２に等しいと見なすことができて、上記３の場合のD＜d(s^k)となる確率は１に近づく。
５．逆に、D＞＝d(s^k)となる（小さいか等しい）確率は、上記３の場合０に近づく。
６．だから、時枝の方法は、ｍが大きくなると、具体的な小さい数Dに対しては、無力な方法だ（つまりD＞＝d(s^k)となる確率は０に近づく）と
７．これは、単純化した２人ゲームだが、人数が増えても、本質は同じ。（トランプカードの最大値ｍが大きくなると、相手の引いた具体的な小さい数Dより小さいカードを引ける確率はどんどん小さくなる）
遅くなったので、続きは明日
702:はろー２ちゃんのばかども
16/01/09 03:13:16.15 4OSACxfl.net
羊頭狗肉の実演はあまりぞっとしない。
703:現代数学の系譜11 ガロア理論を読む
16/01/09 07:23:24.24 vCOPf6Dz.net
>>673 つづき
１．>>671を、後のために「第ｋ列の決定番号d(s^k)が、ある数Dに対して、D＞＝d(s^k)となる確率に書き換えておこう」
１）単純化して、以前も書いた２人のトランプゲームを考える。相手がA、第ｋ列がBとする
２）トランプカードは、１３まで。Aが引いたカードDに対して、第ｋ列が引くカードをd(s^k)とする。Aが引いたカードDは、戻すとする
３）D＝１１に対して、D＞＝d(s^k)となる確率は、１１／１３だ。が、D＝３に対しては、３／１３だ。
４）ところで、１～１３の中央の７の場合、確率は、７／１３だ。
５） D＝１１とD＝３は、中央の７に対して対称の位置で、（１１／１３＋３／１３）／２＝７／１３という関係になっている
６）つまり、D＝１～１３まで、中央の７の場合の確率７／１３で、中央の７に対して対称の位置のDを二つたして平均して７／１３。だから、D＝１～１３全体の平均は、７／１３。（各１～１３の確率を足して平均する）
７）そこで、最大値を、１３より大きな数ｍ（簡単のために奇数）としてみよう。D＞＝d(s^k)となる確率、D＝１～ｍ全体の平均は（ｍ＋１）／２ｍ。上で説明したように、中央の（ｍ＋１）／２に対して（ｍ＋１）／２ｍ。対称の位置のDを二つたして平均して（ｍ＋１）／２ｍ。
２．>>673に示したように、ｍをどんどん大きくすると、具体的な小さい数Dに対しては、D＞＝d(s^k)となる確率は０に近づく。逆に、このDと対称の位置では、確率は１に近づく。
３．別の見方をすると、中央（ｍ＋１）／２は、どんどん大きくなって、Dと対称の位置もどんどん大きくなる。いわば、視界から消える。Dだけは、確率が０に近づくがそれに気付かれず、視界に残る。そこがトリック。
704:現代数学の系譜11 ガロア理論を読む
16/01/09 07:25:41.24 vCOPf6Dz.net
>>675 つづき
１．視点を変えて、時枝問題は、確率を論じていたことを思いだそう
２．確率論は、測度論をベースに扱われる
URLﾘﾝｸ(ja.wikipedia.org) 確率論
URLﾘﾝｸ(ja.wikipedia.org) 測度論
３．測度論で、零集合という概念があった
４．例えば、実数の集合に対し、有理数の集合は、零集合。だから、実数の集合から、任意に一つ数を取り出したとき、有理数である確率はゼロ。
５．それは、有理数が存在しないということではない。が、確率はゼロ
６．同様に、>>673でｍをどんどん大きくすると、ある有限のDに対して、D＞＝d(s^k)となる確率は０に近づく。つまり、存在するが、零集合に近い存在となる。そして∞の極限ではでは零集合になる。
７．存在するが、零集合になる。そこがトリック。
705:テスト ◆B/0i04vh6JdH
16/01/09 07:47:29.72 h7Xc4P/T.net
テスト
706:１３２人目の素数さん
16/01/09 08:05:26.47 cZxsDYxa.net
これが僕らニッポン列島の労働賃金実態！
全国平均最低月給197,500円
■都道府県、市区町村の平均月給ランキング
URLﾘﾝｸ(jobinjapan.jp)
1位、東京都 - 226,600円
20位、石川県 - 189,800円
47位、沖縄県 - 169,000円
東京と沖縄の賃金格差は年収換算約７０万円也！
提供： URLﾘﾝｸ(jobinjapan.jp)
707:現代数学の系譜11 ガロア理論を読む
16/01/09 08:51:39.22 vCOPf6Dz.net
>>676 つづき
＜実数からなる数列R^Nを同値類で類別した、代表と決定番号は、この確率問題ではWell-definedではない＞ >>639
URLﾘﾝｸ(ja.wikipedia.org)
（この話は、代数が得意な人には納得頂けるだろう）
１．>>676では、ｍをどんどん大きくすると、ある有限のDに対して、D＞＝d(s^k)となる集合は零集合に近い存在となることを示した。ここでは、さらに、代表と決定番号は、この確率問題ではWell-definedではないことを示そう
２．第ｋ列の数列s^kが、時枝問題のある同値類cに属することが分かったとしよう
３．簡単な例として、あるnより先の数列のシッポが一致しているとする
・n＝１０としよう。
・ねもと
708:の、n＝１から９の箱の数字が異なる。簡単にするために、この箱の中の数字は、１から１０に制限する ・第ｋ列の数列s^kが、例えば１，２，３，４，５，６，７，８，９，n1,n2,n3,・・・・として ・代表元として、例えば３，３，３，４，５，６，７，８，９，n1,n2,n3,・・・・ならば、決定番号は３になる ・そして容易に分かるように、決定番号１の代表元は１通り、決定番号２の代表元は９通り、決定番号２の代表元は９^2通り、・・、決定番号９の代表元は９^9通りとなる。 ・つまり、決定番号が大きいほど、代表元の候補は増える。 ・だから、ある同値類cに属する元を、ランダムに選ぶと、想定される決定番号は、大きい ・一般に、ねもとの長さをL（=n-1）、箱に入る数の種類をZ個とすると、代表の候補の総数は、Z^y、ここにyは１からLまでを動き、その総和になる。Z^yは、決定番号yの代表元候補の数である ４．これは何を意味するか？ ・繰り返しになるが、決定番号が大きいほど、代表元の候補は増える。だから、代表と決定番号は確率問題ではWell-definedではない＊） ・かつ、この想定で、箱に入る数の種類をZ個に上限は無い。上記で、Zをどんどん大きくして行くと、小さな決定番号の可能性は殆どゼロ。この点からも、この確率問題ではWell-definedではない＊） つづく
709:現代数学の系譜11 ガロア理論を読む
16/01/09 08:54:37.88 vCOPf6Dz.net
>>679 つづき
＊）代数系の場合、Well-definedな同値類は、代表元の取り方に依存せず、問題となる演算結果が同じになる
しかし、この確率問題では、そうではない。
類別と代表と決定番号は、小さな決定番号の可能性は殆どゼロ。（小さな決定番号は、確率的にこの類別では出現しない）
だから、現実的な問題解決に役立たない。つまり、Well-definedと言えない
（言い換えれば、ある有限のDを想定して問題を解きたいと思ったとき、この類別と代表と決定番号は、機能しない）
（補足）
もともとの、時枝問題は、D=2を想定していた。つまり、無限の箱を一つ残して全部開け、一つ残った箱の中の数を当てよと
それには、全く役立たない
710:１３２人目の素数さん
16/01/09 09:00:52.47 NXO/O91V.net
だからもつまりも全然論理的でなくて草
711:現代数学の系譜11 ガロア理論を読む
16/01/09 09:31:05.82 vCOPf6Dz.net
>>680 つづき
＜天文学的な数＞
・地球の直径１．２万km。月までが、３８万km。太陽までが、１億５千万km（≒1.5x10^8km）。
・１光年が、約9.5兆キロメートル（≒1x10^13km）
・地球から「可視」宇宙の端までの共動距離は、465億光年（≒5x10^10光年≒5x10^23km）
URLﾘﾝｸ(ja.wikipedia.org)
地球から「可視」宇宙（宇宙光の地平面）の端までの共動距離は、あらゆる方向に約14ギガパーセク（465億光年）である[4]。
・時枝問題のDが、非常に大きな数になるということは、>>657に書いた。
・再度強調しておく。箱の大きさを1m立方とする。箱を可算無限並べる。宇宙の端まで465億光年≒5x10^23km≒5x10^26m。つまりは、宇宙の端まで、5x10^26個ならぶ
・時枝解法は、宇宙の端の箱なら当てられるかも知れないと。が、それは、我々の太陽系や地球とは、無関係な数
・かつ、Dは、5x10^26に収まる可能性は殆どない。（つまりは零集合で、D=5x10^26は存在するけれども、確率ゼロ）
712:現代数学の系譜11 ガロア理論を読む
16/01/09 10:03:07.57 vCOPf6Dz.net
>>682 つづき
時枝解法のトリックを、まとめておこう
１．可算無限の箱を１００列に並べ変えて、９９列の決定番号の最大値Dを得るという。それは、数学的には>>621に書いたように、無限大のトランプゲームと同じ構造
つまり、最大値Dは天文学的数字、ないし、基本的には無限大>>682
２．有限値Dは、零集合ではあるけれども、さらに有限値Dに対して、第ｋ列の決定番号d(s^k)がD＞＝d(s^k)となる確率も、ゼロ>>675-676
３．そして、"実数からなる数列R^Nを同値類で類別した、代表と決定番号は、この確率問題ではWell-definedではない">>679-680 >>459
（同値類に属する元は、決定番号が大きい元が圧倒的に多数。だから、ランダムに代表元を選ぶ限り、大きい決定番号しか出てこない。かつ、決定番号には上限がない）
これが、時枝トリックのだまし絵の構図>>459-464
上記、１～３は、”情報理論から見て、時枝問題は、原理原則に反している。いわば物理で、エネルギー保存の法則を破っているがごとく。”（>>628）と合致する
つまり、１列の可算無限の箱を、１００列に並べ変えたところで、ランダムな並べ変えでは、情報エントロピーは殆ど変化しないはず>>544>>546
だったら、時枝解法が機能するはずがないと
713:１３２人目の素数さん
16/01/09 11:03:16.48 Ueu6ZS/K.net
1週間たっても何の進展もないスレ主へ。
>>673
> ４．そこで、具体的な小さい数Dに対しては、ｍをどんどん大きくすると、中央値からの距離Δは、
> 相対的に、ほとんど（ｍ＋１）／２に等しいと見なすことができて、上記３の場合のD＜d(s^k)となる確率は１に近づく。
> ５．逆に、D＞＝d(s^k)となる（小さいか等しい）確率は、上記３の場合０に近づく。
お前は『具体的な小さい数Dに対しては』という仮定をおいている。
このとき求まる確率は『Dが既知のときにD<d(s^k)となる条件付確率』であって、
『Dが未知のときにD<d(s^k)となる(事前)確率』ではない。
当たり前だがこのゲームはDが未知の状態からスタートする。
よって求めるべき確率（ゲームに勝つ確率）は後者であり前者ではない。
>>671
> ７）そこで、最大値を、１３より大きな数ｍ（簡単のために奇数）としてみよう。D＜d(s^k)となる確率、D＝１～ｍ全体の平均は（ｍ－１）／２ｍ。
> 上で説明したように、中央の（ｍ＋１）／２に対して（ｍ－１）／２ｍ。対称の位置のDを二つたして平均して（ｍ－１）／２ｍ。
お前は『D＝１～ｍ全体の平均は（ｍ－１）／２ｍ』と言っている。
これこそが『Dが未知のときにD<d(s^k)となる確率』だ。
m→∞の極限で確率は1/2となる。
記事において箱を2列に並べたときの勝率と一致する。
>>633
>ここ数学板で、このスレを17まで引っ張ってきた。数学的ロジックを曲げてまで、迎合する気は無いよ
などと威勢を張っているお前は条件付確率すら分かっていない。
すなわち中学高校の数学を理解していない。
上に書いた理屈が分からなければもうどうしようもない。
質問スレにでも行け。いい先生を見つけて聞いてこい。
>>680
>
>（補足）
> もともとの、時枝問題は、D=2を想定していた。つまり、無限の箱を一つ残して全部開け、一つ残った箱の中の数を当てよと
記事はD=2など想定していない。お前の読み間違い。
>>680
> だから、現実的な問題解決に役立たない。つまり、Well-definedと言えない
>>681が指摘したとおり。まったく意味不明。
714:684
16/01/09 13:19:46.61 B4WM8Cgo.net
>>684は不等号が一部逆になっているがお構いなく。議論の本質には影響しない。
715:１３２人目の素数さん
16/01/09 22:38:05.64 2gksTVVZ.net
比較的最近になってスレ主が「well-defined」をよく使うようになった印象があったので
検索してみたら2015/03からなのか
以下のような書き込みがあったりとよほどうれしかったのか
>それでも、「普通はハーツホーンとか読む ウィキなんか知るかって態度が正解」と言えるのかね？
>その”普通”はwell-defined
>「嘘つきは土日の始まり」の元は、「嘘つきは泥棒の始まり」。嘘つきと泥棒は、経験的因果関係があるというのが元だろう。対して、嘘つきと土日には必然的な因果関係がない
>そもそも、金曜夜から始まっているから、Well-definedではない
>よって、数学的能力の低さが表れている QED
還暦過ぎても子供のような心を持っているから微笑ましいというべきなのかな
716:１３２人目の素数さん
16/01/10 22:03:48.23 3Z7qgMRP.net
>>686
>それでも、「普通はハーツホーンとか読む ウィキなんか知るかって態度が正解」と言えるのかね？
>その”普通”はwell-defined
この文中のwell-defined、何を言いたいのかさっぱり分からんのだが。
「普通」という単語の定義がwell-definedだって言いたいんだよな？
で、どういう意味なのそれ？誰か解説してくれ。
717:１３２人目の素数さん
16/01/10 22:38:10.14 aQLSzgRF.net
馬鹿の脳内は解説不能
718:現代数学の系譜11 ガロア理論を読む
16/01/11 09:38:39.87 JGyJNr1j.net
>>683
具体例を補足する
１．時枝問題（数学セミナー201611月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみ
719:な閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 ２．で、具体例として、可算無限個の箱で、一つだけ４(当てる箱)で、残り全て３を入れたとしよう ３．簡単のために、２列にならべて、問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。 ４．一方の１列目は当然全て３だ。では、１列目が属する同値類と代表番号はどうなるか？ 当然、それはシッポの先が全て３の同値類 ５．シッポの先が全て３の同値類の一例として、ｎ番目まで４で、シッポの先が全て３の数列を考えると、これは同値類に属する。 （例えば、ｎ＝6とすると、4,4,4,4,4,4,3,3,3,3,3,3,3,・・・・） ６．たまたま、上記の例の”ｎ番目まで４で、シッポの先が全て３の数列”が、代表だとすると、決定番号D＝ｎ。 ７．で、当然ながら、同値類だから、ねもとは４でなくともよい。任意だ。そして、ｎ番目が３でない数で、シッポの先が全て３の数列なら、その数列は同値類に属する。そういう数列は、無限にある。非加算無限ある。 ８．上記の問題に戻る。上記のように、１列目を開けると全て３で、同値類が決まる。上記例で代表が決まり決定番号D＝ｎ。時枝解法により、２列目のｎ+1＝7から先を開けて、全て３であることが分かる ９．簡単に、ｎ＝6としよう。時枝解法では、この代表を使って、ｎ＝6の代表の数が4で、だから２列目のｎ＝6の箱も４だと、賭ける。が、正しくは３。時枝は、「賭けに勝つ確率は、２列だから、1/2(＝５割)」という。が、この問題では明らかに不成立。（反例？） １０．そして、気付くのは、ｎ→∞ありだよね？ 決定番号D＝ｎは有限でないと
720:現代数学の系譜11 ガロア理論を読む
16/01/11 09:43:09.82 JGyJNr1j.net
>>689 つづき
１．上記の同値類と決定番号の具体例から、賢明な方は、もうお分かりと思うが、以下補足説明する
２．時枝解法は、最初に設定された問題には無力
３．のみならず、ｎ→∞ありだから、現実問題の解としても無力（ｎは、ほとんどの場合、我々が現実に知りたい数の範囲外。）
４．かつ、この具体例では、賭けに勝つ確率は、1/2(＝５割)ではない。ｎ＞２で、決定番号ｎがいくらであっても、ｎ＋１までの箱を開けて、ｎ番目の箱を開ければ、原理的に”外れ”（上記２列目ｎ＞２なら正解３に対し、不正解の４）しか出ない
５．これって、反例じゃないかな？
721:現代数学の系譜11 ガロア理論を読む
16/01/11 09:47:34.77 JGyJNr1j.net
>>690 つづき
well-definedについて
・まあ、１冊の数学書を読めば、well-definedってだいたい出てくるだろう
・別に当たり前と思っていた
・が、ご指摘のように、教えて貰った。「well-definedって、重要なんだよ。上級者ほど、well-definedかどうかに敏感だよ」と教えて貰った
・それから、不肖私も、well-definedは強く意識するようにしている
・ところで、well-definedで、「(1) 定義で使われる方法が実際にうまくいく。」などという要件があるそうだ（下記）
・時枝解法で、「同値類と代表と決定番号」は、前記のように”実際にうまく”行ってないなだろと。だったら、well-definedって言えないんじゃない？
URLﾘﾝｸ(ja.wikipedia.org)
概要
以下の二つが示せたとき、定義が well-defined であるという。
(1) 定義で使われる方法が実際にうまくいく。
(2) 定義がもともとの対象から複数定まる対象を経由して行われる場合、結果がもともとの対象にのみ依存する。
一つの対象のある表示に対して定義が満たされるが、別のある表示については満たされない状況であるとか、一つの対象の異なる表示を考えると定義の示す結果がそれぞれの表示に対して異なるといった状況であるならば、与えられた定義はその対象自体に対する定義として不適切 (ill-defined) である。
722:現代数学の系譜11 ガロア理論を読む
16/01/11 10:00:39.35 JGyJNr1j.net
>>689 訂正
８．・・・・、２列目のｎ+1＝7から先を開けて、全て３であることが分かる
↓
８．・・・・、２列目のｎ+1から先を開けて、全て３であることが分かる
（この行書き直したんだったが、修正もれ）
９．簡単に、ｎ＝6としよう。時枝解法では、この代表を使って、ｎ＝6の代表の数が4で、だから２列目のｎ＝6の箱も４だと、賭ける。が、正しくは３。・・・
↓
９．簡単に、ｎ＝6としよう。時枝解法では、この代表番号D=n=6を使って、だから２列目のｎ＝6の箱の中は４だと、賭ける。が、正しくは３。・・・
（この行も書き直したんだったが、表現が不適切だった）
723:１３２人目の素数さん
16/01/11 10:25:38.29 Kny9Mf+H.net
>>689
> ９．簡単に、ｎ＝6としよう。時枝解法では、この代表を使って、ｎ＝6の代表の数が4で、だから２列目のｎ＝6の箱も４だと、賭ける。が、正しくは３。時枝は、「賭けに勝つ確率は、２列だから、1/2(＝５割)」という。が、この問題では明らかに不成立。（反例？）
どこが反例なんだよ。
お前が『正解できないように箱を並べた』んだろうが。
馬鹿すぎるぞお前。
以前お前はメンターに「おっちゃんよりはるかにマシだ」と言われていたな。
俺に言わせればとんでもない。おまえこそ数学をやめろ。お前には数学は無理。
デタラメな論理で雑誌の内容が間違いだと結論するな。
馬鹿で軽率、人の説明を聞かない。全く手に負えない。本当に迷惑。
お前は自分の間違いに気付いていない真の馬鹿なの？
それとも気付いているがプライドが邪魔して今更主張を引っ込められないだけなの？
いずれにせよ、もう記事の内容についてコメントするのはやめろよ。
コメントをすればするほどお前は馬鹿を曝け出して損をする。
お前のデタラメな論理がネットに出回ると出版社や時枝にとっては大変迷惑。
馬鹿なコメントを訂正する方も時間を無駄にする。
お前が馬鹿なコメントをするとみんなが不幸になるんだよ。
724:１３２人目の素数さん
16/01/11 10:35:38.47 Kny9Mf+H.net
>>689
>３．簡単のために、２列にならべて、問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。
全く分からんのは下記の問題設定だ。
「問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。 」
時枝が当てようとするのはD番目の箱なんだが。
なぜお前は最初の箱を当てようとするんだ？意味が分からんよ。
725:１３２人目の素数さん
16/01/11 10:44:38.59 Kny9Mf+H.net
>>694
もう少し補足すると,
代表元：4,4,4,4,4,4,3,3,3,3,・・・
1列目 ：3,3,3,3,3,3,3,3,3,3,・・・
2列目 ：4,3,3,3,3,3,3,3,3,3,・・・
だとする。
初めに1列目の箱を開けたとする。7番目から一致するからD=7だ。
時枝の戦略では2列目のD+1(=8)番目から箱を開ける。これによって上の3つが同値だと分かる。
2列目のD番目は代表元と一致する。よって戦略は成功だ。
で、スレ主が>>694で言った
> 問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。
というのは一体なんなの？
726:１３２人目の素数さん
16/01/11 10:59:03.68 Kny9Mf+H.net
スレ主、連投すまんね。
>>689は、D=7とすべきところを6と取り違えただけじゃない？
> 問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。
というコメントがあったので、>>693では『正解できないように箱を並べた』（すなわち問題設定を変えた）のかと思ったのだが、
よく読むと>>689の後段では2列目の1番目ではなく6番目を比較している。
もし戦略どおりD番目を比較するのであれば、単純にDの取り違えたことが間違いだったということになる。
727:１３２人目の素数さん
16/01/12 01:19:13.52 0qkE3aeE.net
>>693
> お前は自分の間違いに気付いていない真の馬鹿なの？
> それとも気付いているがプライドが邪魔して今更主張を引っ込められないだけなの？
> いずれにせよ、もう記事の内容についてコメントするのはやめろよ。
もともと俺は選択公理とか非可測集合とか無限族の独立性とか、
そのあたりの話をしたくて（聞きたくて）時枝の話題を振った。
時枝の戦略を理解しないと話が進められないわけだが、
正直言わせてもらうと3週間たっても記事の論理を理解できないなんて想定外。
しかしどうしても理解できないならもうそれでいいと思えてきた。
理解できないのは俺の説明が下手糞だったせいもあるだろう。それは認める。
でスレ主への提案だが、時枝の記事に関するコメントをストップしてほしい。
自信満々に間違った結論を書き込むのを止めてほしい。
スレ主独自の命題の真偽ならともかく、いまは出版物の内容を扱っている。
俺は日本評論社や時枝の回し者ではないが、誤解に基づいた結論を書かれてしまうと
記事を紹介した手前反論をしないわけにはいかない。
スレ主がどうしても自論を曲げずコメントをし続けるというなら、
それを止める権利は俺にはないので議論を続けるが・・。
まあさすがに疲れたというか、不毛なやり取りの繰り返しで飽きてきたｗ
他の人が議論に参戦してくれるなら活気が出ていいかもしれないが、
この話を始めてから�
728:ﾂが過疎ってる気もする。 数セミのバックナンバーなんかを話題に出した俺のせいだろうけど。
729:現代数学の系譜11 ガロア理論を読む
16/01/12 05:23:02.97 s4+J4Jtj.net
>>695
どうも。スレ主です。
ご指摘の通りです
決定番号を１番間違えてた、スマソ
訂正します
730:現代数学の系譜11 ガロア理論を読む
16/01/12 05:24:01.79 s4+J4Jtj.net
>>689 全面訂正
具体例を補足する
１．時枝問題（数学セミナー201611月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
２．で、具体例として、可算無限個の箱で、一つだけ４(当てる箱)で、残り全て３を入れたとしよう
３．簡単のために、２列にならべて、問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。
４．一方の１列目は当然全て３だ。では、１列目が属する同値類と代表番号はどうなるか？ 当然、それはシッポの先が全て３の同値類
５．シッポの先が全て３の同値類の一例として、ｎ番目まで４で、シッポの先が全て３の数列を考えると、これは同値類に属する。
（例えば、ｎ＝6とすると、4,4,4,4,4,4,3,3,3,3,3,3,3,・・・・）
６．たまたま、上記の例の”ｎ番目まで４で、シッポの先が全て３の数列”が、代表だとすると、決定番号D＝ｎ＋１。
７．で、当然ながら、同値類だから、ねもとは４でなくともよい。任意だ。そして、ｎ番目が３でない数で、シッポの先が全て３の数列なら、その数列は同値類に属する。そういう数列は、無限にある。非加算無限ある。
８．上記の問題に戻る。上記のように、１列目を開けると全て３で、同値類が決まる。上記例で代表が決まり決定番号D＝ｎ＋１。時枝解法により、２列目のｎ+２から先を開けて、全て３であることが分かる
９．簡単に、ｎ＝6としよう。時枝解法では、この代表番号D=n=7を使って、だから２列目のｎ＝6の箱の中は3だと、賭ける。正解だが、時枝は、「賭けに勝つ確率は、２列だから、1/2(＝５割)」という。が、この問題では常に成立で確率１０割。（反例？）
１０．そして、気付くのは、ｎ→∞ありだよね？ 決定番号D＝ｎ＋１は有限でないと
731:現代数学の系譜11 ガロア理論を読む
16/01/12 05:28:05.53 s4+J4Jtj.net
>>690 （全面訂正）
>>689 つづき
１．上記の同値類と決定番号の具体例から、賢明な方は、もうお分かりと思うが、以下補足説明する
２．時枝解法は、最初に設定された問題には無力
３．のみならず、ｎ→∞ありだから、現実問題の解としても無力（ｎは、ほとんどの場合、我々が現実に知りたい数の範囲外。）
４．かつ、この具体例では、賭けに勝つ確率は、1/2(＝５割)ではない。ｎ＞２で、決定番号ｎ＋１がいくらであっても、ｎ＋２までの箱を開けて、ｎ番目の箱を開ければ、原理的に常に”当たり”（確率１０割）。が、それがどうした？
５．これって、反例じゃないかな？（確率１０割だから、２列の確率５割と不一致）
732:現代数学の系譜11 ガロア理論を読む
16/01/12 05:50:52.12 s4+J4Jtj.net
>>697
>でスレ主への提案だが、時枝の記事に関するコメントをストップしてほしい。
>自信満々に間違った結論を書き込むのを止めてほしい。
>スレ主独自の命題の真偽ならともかく、いまは出版物の内容を扱っている。
>俺は日本評論社や時枝の回し者ではないが、誤解に基づいた結論を書かれてしまうと
>記事を紹介した手前反論をしないわけにはいかない。
分かった
但し、条件がある
>>699で設定した問題
”可算無限個の箱で、一つだけ４(当てる箱)で、残り全て３を入れたとしよう”で、
４の代わりに、私スレ主が番号を入れる。そうだな、一部上場会社の代表電話番号のどれかにしよう
２列だろうが、１００列だろうが、１００００列だろうが結構だ
問題の箱をどの列（ｋ列）の何番目（ｍ番目）に置く指定してもらって結構。但し、問題のDより手前でね
その条件で、私の思った一部上場会社の代表電話番号を当てて欲しい（海外局番なみに頭のゼロは省略します）
残り全て３というのが、時枝記事の確率計算に合わない？ それなら、当てたい箱以外は、あなたのすきな数にしてもらって結構だ
それで、２列だろうが、１００列だろうが、やってみてくれ。当たるかどうか。確率99%なら、２～３回やれば当たるはず？
時枝の解法で、他の列の決定番号の最大値Dがいくらになるかを教えて貰えれば。そして、私の考えている数字の箱を置いて欲しい場所を、指定して下さい
そして、私の思っている番号が、いくらか推定して欲しい
もし、これができるなら、時枝解法を正当と認めよう。
いや、外れでもあっても結構だ。そこは大した問題じゃ無い
自分で、是非時枝解法を実行してみてくれ。そうすれば、分かるはず
（時枝解法が正当なら、せめて電話番号らいし数字がでるんだろう？？？）
が、出来ないなら、私の言っていることが正しいと認めて貰おう
どうですか？
733:１３２人目の素数さん
16/01/12 11:13:31.53 Rc8xlHB3.net
>>701
横レスで申し訳ないが
>>699
>私が実数を入れる.
>どの箱を閉じたまま残すかはあなたが決めうる.
だからスレ主の選んだ電話番号が入った箱を閉じたまま残さなくてもいいわけ
問題は開けずに1つ残した箱の中の数字を当てることであってスレ主が選んだ1つの番号を必ず
当てることではないよ
ただしこのような数(スレ主が選んだ1つの電話番号と残りは3)の入れかたの場合箱を開けたときに3以外の数字
がでればそれがスレ主が選んだ番号であることが自動的に分かるから同値類や決定番号を使わなくても
開ける箱の数を十分に増やせばスレ主が選んだ番号をほぼ100%当てることができる
734:697
16/01/12 19:36:44.72 0qkE3aeE.net
>>702
的確なレスをありがとう。
ちなみにこの種の勘違いは>>449と>>550で指摘済みです。
>>699
> ９．簡単に、ｎ＝6としよう。時枝解法では、この代表番号D=n=7を使って、だから２列目のｎ＝6の箱の中は3だと、賭ける。正解だが、時枝は、「賭けに勝つ確率は、２列だから、1/2(＝５割)」という。が、この問題では常に成立で確率１０割。（反例？）
反例になってるわけないでしょうがｗ
> ３．簡単のために、２列にならべて、問題の４は２列目の最初の箱にあるとする。これが当てたい箱ということは、分かっているとする。
この条件は相変わらず意味不明だ。
なんで2列目の最初の箱を当てろと指定されなきゃいけないの？
>>702のレスで問題設定を正しく理解してくださいな。
> １０．そして、気付くのは、ｎ→∞ありだよね？ 決定番号D＝ｎ＋１は有限でないと
何でnを∞に飛ばすの？それは何か意味のある操作なの？
決定番号が有限の値をとることは>>652で指摘済みなんだが。
////
スレ主もそろそろ気付いてるよな？
あるいはとっくの昔に気付いていたのかもしれんが、
問題の理解から結論に至るまで間違っているのはスレ主だ。
理解したいなら分からないところを質問すればいい。
地球だ原子だエントロピーだはもう結構。
間違った自説をいくら手を変え品を変え沢山の例をだして説明されようと間違ってるもんは間違ってるｗ
間違いを認めるか、せめて反論を止めるか、どちらかにしてくれ。