16/01/15 21:19:38.51 d++PCd/C.net
旧スレが500KBオーバーに近づいたので、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む17
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む16
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む15
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む14
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む13
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む12
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む11
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む10
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む9
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む8
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む7
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む6 ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む5 ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む(4) ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む3 ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む2 ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む ｽﾚﾘﾝｸ(math板)
古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。
2:現代数学の系譜11 ガロア理論を読む
16/01/15 21:44:33.66 d++PCd/C.net
前スレ>>699 再録 （現代数学の系譜11 ガロア理論を読む17）
１．時枝問題（数学セミナー201611月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^
3:πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」
4:現代数学の系譜11 ガロア理論を読む
16/01/15 22:10:45.25 d++PCd/C.net
（まあ、時枝記事が書いていることが分からないと、スレの住人も困るだろうから）
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= no → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd(実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
5:現代数学の系譜11 ガロア理論を読む
16/01/15 23:01:37.39 d++PCd/C.net
（趣旨は同じ）
３．つづき
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，SlOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
どの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， S^1～S^(k-l),S^(k+l)～SlOOの決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・.いま
D >= d(S^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s~k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
6:現代数学の系譜11 ガロア理論を読む
16/01/15 23:14:43.21 d++PCd/C.net
>>2-4
つくづく、数学表現に不便な板だ
上付き添え字、下付添え字が使えない
おっと訂正
>>3
∃n0：n >= no → sn＝ s'n とき
↓
∃n0：n >= n0 → sn＝ s'n とき
>>4
S^1,S^2，・・・，SlOO
↓
S^1,S^2，・・・，S^lOO
(補足)
>>3
sD+1， sD+2，sD+3，・・・：D+1などは下付添え字
>>4
S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・：^kは上付き添え字、(D+l)などは下付添え字
7:現代数学の系譜11 ガロア理論を読む
16/01/15 23:27:49.43 d++PCd/C.net
>>2-5
一貫校の秀才中学生にも分かるように、「時枝解法が成り立たない」ことを解説する
記号を整備しておく
実数の集合R、有利数の集合Q、整数の集合Z
実数列の集合 R^Nにならって、有利数列の集合 Q^N、整数列の集合 Z^N
あと、一桁の整数の集合Z<1>=｛1,2,3,4,5,6,7,8,9｝、同様に2桁の整数の集合Z<2>、・・・、n桁の整数の集合Z<n>
ついでに、n桁以下の整数の集合Z<-n>としよう。Z<-n>の濃度card(Z<-n>)≒10^n(10のn乗)だ
8:現代数学の系譜11 ガロア理論を読む
16/01/15 23:37:06.74 d++PCd/C.net
>>4
＜訂正＞
どの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
↓
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
＜解説＞
「s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
ここトリックなんだよね
・これは、正しい。が、これは、数列が、実数R^N、有理数Q^N、整数Z^Nに関わらずなりたつ
（Z<n>などでも同じ）
・つまり、１００列が、条件が同じであれば、k列が１番になる確率は、1/100ってこと。単純な話だ
・そして、実数か、有理数か、整数か、などに無関係ということを強調しておく
9:現代数学の系譜11 ガロア理論を読む
16/01/16 00:02:24.19 Y3KfUbj9.net
さて、π＝３．１４・・・・を使って、頭から一桁の数字を、問題の箱に詰めることにしよう
・この数列は、Z<1>^Nに属する
・私が、あなたに、「箱には、πを使って、各１桁の数字を入れた」と宣言しよう
・もし、あなたが、数字を当てたいならば、数列の同値類と代表元は、Z<n>^Nから選ぶべき
・が、整数列Z^Nから同値類と代表元を選べば、代表元には一桁以外の無数の整数が含まれるから、当たる確率は減る
・詳しく書けば・・、例えば、数列が２列だったとする
・１列目の決定番号がDとする
・２列目で、D＋１番目より先の箱を開け、同値類と代表を取り出す
・確率５割が時枝理論だが、別の観点から見ると、Dは１桁の数字だから、確率は1/9
・しかし、もし桁数無制限の整数列Z^Nから同値類を選んだら？ 代表には一桁以外の整数が含まれるから、Dは１桁の数字に限られず、当たらなくなる
・もし、有理数列Q^Nから同値類を選んだら？ ますます当たらない。実数列R^Nならますますだ
・ここで、気付く
・条件が同じであれば、１００列だったら1/100。２列だったら、1/2。それは当然だが
・しかし、上で見たように、「箱には、πを使って、各１桁の数字を入れた」と分かっているなら、実数列R^Nの同値類は使うべきでなく、使うべきはZ<1>^Nの同値類なのだ
10:現代数学の系譜11 ガロア理論を読む
16/01/16 00:27:16.62 Y3KfUbj9.net
（お断り）
>>6-8では、正の数に限定しています。（負の数でも可だが、負の数を除いても、本質は同じだから）
さて私は、前スレ>>713で、箱に電話番号を入れることを提案した
・簡単のために、１０桁の整数を入れるとしよう
・数列は、>>6の記号でZ<10>^Nに属する
・もし、>>8と同じように、あなたに、「箱には、電話番号を使って、各１０桁の数字を入れた」と宣言しよう
（例えば、簡単に東京の03-xxxx-yyyyで、0を1に置き換えて、13-xxxx-yyyyとすれば良い）
・お分かりのように、もし、それを聞いたあなたが、数字を当てたいならば、数列の同値類と代表元は、Z<10>^Nから選ぶべき
・もし、実数列R^Nから選べば、的中確率はぐんと落ちる（実数列R^Nから選んで、１０桁の整数が出る理屈がない）
・さて、時枝理論の1/100や1/2を思い出そう
・Z<10>^Nから同値類を選ぼうが、R^Nから選ぼうが、各列の条件は同じだから、1/100なり1/2なりは不変。それは正しい
・でも、上記の通り的中確率は変わっている＊）
・だから、ここがマジックだと
＊）１０桁の整数になれば、的中の確率は、1/100さえありえない
が、各列の条件が同じだから、ある列が１００列中１番になる確率は1/100であることは不変で、正しい。R^NであろうがZ^NであろうがZ<10>^Nであろうが
では
11:１３２人目の素数さん
16/01/16 00:34:37.87 ICzGJ8KZ.net
>>8
> ・私が、あなたに、「箱には、πを使って、各１桁の数字を入れた」と宣言しよう
> ・もし、あなたが、数字を当てたいならば、数列の同値類と代表元は、Z<n>^Nから選ぶべき
なんでｗ
1桁の数字を各箱に入れたと分かっていながら、どうしてn桁の整数の列Z<n>^Nを考えるんだ？
> ・確率５割が時枝理論だが、別の観点から見ると、Dは１桁の数字だから、確率は1/9
なんでDが1桁なんだ？πを一桁ずつ箱に入れたんだろ？
無限に続くZ<1>の列Z<1>^Nを考えているんだから、Dは自然数全体を取る。
自分で勝手に問題を設定して自分で混乱してるじゃんｗなにやってんのさ。
もうそういうのやめろよ。
時枝の戦略に正面から向き合ってくれ。
余計な設定は要らん。間違った例はもうたくさん。
12:１３２人目の素数さん
16/01/16 01:58:59.48 ICzGJ8KZ.net
>>9
スレ主は主張してることがコロコロ変わってるんだが、そのへん自覚してる？ｗ
・時枝は問題をすり替えている、とか、
・（条件付確率を理解できずに）D >= d(s^k)となる確率は1/∞だ、とか
・日常感覚ではDが大きすぎて役に立たないから間違いだ、とか
・エントロピーはほとんど変化しないから間違いだ、とか
・Dが∞になることがあるから間違いだ、とか。
自分の間違いはしっかり認めてから先へ進んでくれよな。
俺も馬鹿だからよく間違えるが、
自分の間違いをwebに泳がすのは恥ずかしいから
指摘内容を理解したらすかさず認めるぞ。
スレ主は恥ずかしくないの？まあ匿名掲示板だから恥ずかしくないかｗ
>>9
> ・もし、実数列R^Nから選べば、的中確率はぐんと落ちる（実数列R^Nから選んで、１０桁の整数が出る理屈がない）
何十回も同じことを言っている気がするが、時枝の戦略はそのような確率を扱わない。
『箱の中身が属するZ<10>^Nの類を、R^Nの同値類から正しく選べるかどうかは確率的に決まる。その確率はほぼゼロである』
スレ主はこのようなことを主張しているのだろう。
しかしR^Nの同値関係~に矛盾がなければ、
ある実数列（あるいは整数列）がR^N/~のどれに属するかは
同値類への自然な射影R^N→R^N/~により自然に決まるのであって
スレ主が言うように確率的に類が選ばれるのではない。
このように、ある実数列が属する類は自然に決まる。
類が決まればその類の代表元との比較により決定番号が決まる。
ゲームの勝負は決定番号の大小関係で決まる。
これが記事の戦略だ。
スレ主の論理の拠り所を俺は否定した。
俺の言うことを認めるのか？認められないのか。
認められないなら何が認められないのか、
イチイチ別の例を出さずに直接的に答えろ。
身勝手かつ間違った例を次々に出して他人を説得しようとするな。
スレ主のせいで話が発散するばかり。一向に収束しない。
記事に書いてある戦略の内容だけに論点を絞れよ。
記事のどこが間違っているのかを論理的に明快に書け。
書けないなら記事の論理が正しいかもしれないということを認めるしかないだろう。
13:現代数学の系譜11 ガロア理論を読む
16/01/16 07:06:42.05 Y3KfUbj9.net
>>2-4 ここで引用した時枝解法は、数学セミナー201511月号P36 時枝正「箱入り無数目」の記事からだ
さて、>>4の時枝解法をいくつかのプロセスに分けてみよう
１．箱を100列に並べる
２．列を一つ選ぶ。第k列とする。
３．第k列以外の箱を開け、各列の決定番号を決める。その最大値をDとする
４．第k列の(D+1) 番目から先の箱だけを開ける
５．開けた箱から、>>3に記載された方法で、実数列の集合 R^Nの同値類を決める
６．ここで、第k列の属する同値類の代表r＝r(S^k)が決まる。が、まだ袋の中で取り出していないとする
７．代表を袋から取り出す。ここで、二つの場合に分かれる。1) D >= d(S^k)か、2) D ＜ d(S^k)か
８．2)の D ＜ d(S^k)の場合、d(S^k)は具体的な数として確定する。1) のD >= d(S^k)の場合は、d(S^k)は未確定。全ての箱を開けて、確定する
９．時枝は、1) のD >= d(S^k)である確率は、99/100だと主張する。そして、1)に賭けてS^k(D)＝r(D)だという
ここで、Dが他の99列の最大値ということを一旦忘れて、ともかくなにかの方法でDが決まったとする
そして、第k列の(D+1) 番目から先の箱だけを開け、同値類を決める。代表の入った袋が分かる
上記７で二つの場合、1) D >= d(S^k)か、2) D ＜ d(S^k)か
ここで、第k列の決定番号d(S^k)の取り得る範囲を、冷静に考えてみると、可算無限の数列を考えているから、その範囲は１～∞
だから、Dが小さな値であれば1) のD >= d(S^k)である確率は小さく、Dが大きな値であれば1) のD >= d(S^k)である確率は大きい
つまりは、この場合においては、1) のD >= d(S^k)である確率は、Dの大小によるということが分かる
では、Dの決め方が、他の99列の最大値であったら？
上記の議論は、Dの決め方には、何の制約も無い。だから、Dの決め方が、他の99列の最大値であったとしても、成り立つ
だから、Dに依存せずに、「確率は、99/100」とは言えない。
全てのDを考えて、平均を取れば、99/100だろう
（時枝トリック）
14:１３２人目の素数さん
16/01/16 07:43:49.01 DGcR0Ldf.net
自然数全体を1～∞と書くの嫌だからやめない？
15:現代数学の系譜11 ガロア理論を読む
16/01/16 07:54:10.66 Y3KfUbj9.net
>>12の時枝解法のプロセスを別の視点から見てみよう
１．Dを決める。第k列の(D+1) 番目から先の箱だけを開ける
２．(D+1) 番目から先の箱だけで、同値類と袋内の代表r＝r(S^k)が決まる（最終的には、全ての箱を開けて、決定番号 d(S^k)が確定する）
３．D >= d(S^k)に賭ける。つまり、S^k(D)＝r(D)に賭ける
４．袋内の代表r＝r(S^k)を取り出し、全ての箱を開けて決定番号 d(S^k)が確定し、賭けの勝敗が決まる
５．簡単に言えば、(D+1) 番目から先の箱だけで、D番目の箱を決める方法だが
６．時枝は、商集合だ射影だという。が、それ、well-defined？
７．推移律だけチェックしました（>>3「sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する」と）
８．そんなチェックだけで・・・？
９． well-defined の定義：「定義で使われる方法が実際にうまくいく」は、示されていないだろう？ URLﾘﾝｸ(ja.wikipedia.org)
（時枝トリック）
16:現代数学の系譜11 ガロア理論を読む
16/01/16 07:58:04.96 Y3KfUbj9.net
一旦まとめよう
１．>>12で示したように、無条件で「確率は、99/100」とは言えない。Dに依存する。そして、Dの範囲は１～∞
２．>>8-9で示したように、時枝解法は、箱に入れる数によって、適切な集合と、その集合から成る数列を使って、同値類と代表を決めなければならない
例えば、１桁の整数を入れたのに、実数列R^Nから選べば、的中確率はぐんと落ちる（実数列R^Nから選んで、１桁の整数が出る理屈がない）
３．>>14で示したように、商集合だ射影だという。が、それがこの問題に対して、well-defined （「定義で使われる方法が実際にうまくいく」）かどうかは、数学的には証明されてないと思うよ
４．だから、上記３つの要因から分かることは、時枝解法はあくまでトリック
17:現代数学の系譜11 ガロア理論を読む
16/01/16 07:59:16.01 Y3KfUbj9.net
>>13
どうも。スレ主です。
レスありがとう
分かった。自然数全体を1～∞と書く事に対して、代案を出してほしい
18:現代数学の系譜11 ガロア理論を読む
16/01/16 08:05:15.40 Y3KfUbj9.net
>>10
どうも。スレ主です。
レスありがとう
> 1桁の数字を各箱に入れたと分かっていながら、どうしてn桁の整数の列Z<n>^Nを考えるんだ？
ご指摘ありがとう
>>8 訂正
・もし、あなたが、数字を当てたいならば、数列の同値類と代表元は、Z<n>^Nから選ぶべき
↓
・もし、あなたが、数字を当てたいならば、数列の同値類と代表元は、Z<1>^Nから選ぶべき
> ・確率５割が時枝理論だが、別の観点から見ると、Dは１桁の数字だから、確率は1/9
ご指摘ありがとう
>>8 訂正
・確率５割が時枝理論だが、別の観点から見ると、Dは１桁の数字だから、確率は1/9
↓
・確率５割が時枝理論だが、別の観点から見ると、D番目の数は１桁の数字だから、確率は1/9
19:現代数学の系譜11 ガロア理論を読む
16/01/16 08:16:23.91 Y3KfUbj9.net
>>11
どうも。スレ主です。
レスありがとう
>>6-9は、一貫校の秀才中学生にも分かるように、新たに書き下ろした
（基礎となる時枝解法も>>2-4に引用して）
従って、例も新しく追加した（分かり易い例として）
が、主張は、終始一貫している。時枝トリック
時枝トリックの謎解きは、確かに紆余曲折したと思う
だから、>>6-9と>>12-15を見て貰えれば。数学的な内容は、前スレの後半からは変わっていない
20:現代数学の系譜11 ガロア理論を読む
16/01/16 08:45:53.53 Y3KfUbj9.net
つづき
>>11
>何十回も同じことを言っている気がするが、時枝の戦略はそのような確率を扱わない。
>『箱の中身が属するZ<10>^Nの類を、R^Nの同値類から正しく選べるかどうかは確率的に決まる。その確率はほぼゼロである』
>スレ主はこのようなことを主張しているのだろう。
>しかしR^Nの同値関係~に矛盾がなければ、
>ある実数列（あるいは整数列）がR^N/~のどれに属するかは
>同値類への自然な射影R^N→R^N/~により自然に決まるのであって
>スレ主が言うように確率的に類が選ばれるのではない。
それは言えないだろ
時枝は、「念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.」>>3
という。だから、sとs'とs"と、少なくとも、この３つは、代表候補であり、sとs'とs"と、どれを代表にしようが、定義には矛盾しない
で、代表候補は３つに限らない。s,s',s",・・・と基本は無限にある（考えている集合がR^Nだから。（ここは、Z^Nでも同じ））
（念のため時枝引用「～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.」>>3）
そして、（>>6の記号で）
当然ながら、
実数の集合R⊃有理数の集合Q⊃整数の集合Z
実数列の集合 R^N⊃有理数列の集合 Q^N⊃整数列の集合 Z^N
で、整数列の集合 Z^Nで、同値類を決めて、代表を決める。それはR^Nにも含まれる
が、逆は言えない。R^Nで、しっぽの先が全て整数の数列があるとして、ねもとは、整数とは限らないから。だから、代表はZ^Nに属するとは言えないだろ
だから、自然な射影というところが、数学的には不適切だと思う
だから、ねもとまで整数と分かっている数列なら、Z^Nを使う方がR^Nを使うより圧倒的に有利（自然に決まるとは言えない）
21:現代数学の系譜11 ガロア理論を読む
16/01/16 08:51:58.46 Y3KfUbj9.net
おっと、訂正
>>6
実数の集合R、有利数の集合Q、整数の集合Z
実数列の集合 R^Nにならって、有利数列の集合 Q^N、整数列の集合 Z^N
↓
有利数：有理数
22:現代数学の系譜11 ガロア理論を読む
16/01/16 09:03:30.20 Y3KfUbj9.net
つづき
>>11
>スレ主の論理の拠り所を俺は否定した。
>俺の言うことを認めるのか？認められないのか。
>認められないなら何が認められないのか、
>イチイチ別の例を出さずに直接的に答えろ。
私は、>>19で
>ある実数列（あるいは整数列）がR^N/~のどれに属するかは
>同値類への自然な射影R^N→R^N/~により自然に決まるのであって
について、数学的に反論した。自然な射影で、自然に決まるに反論した
つまり、いま問題にしているのは、同値類そのものではなく、同値類の代表なのだ。そして、代表から決定番号が決まるのだ
代表が、正数列（∈ Z^N）か、実数列（∈ R^N）か
解法の正否（正答確率）に決定的な影響を与える
私の答えは、それで十分だろう
では
23:１３２人目の素数さん
16/01/16 09:40:57.57 ICzGJ8KZ.net
>>19
> で、整数列の集合 Z^Nで、同値類を決めて、代表を決める。それはR^Nにも含まれる
> が、逆は言えない。R^Nで、しっぽの先が全て整数の数列があるとして、ねもとは、整数とは限らないから。だから、代表はZ^Nに属するとは言えないだろ
そりゃそうだ。それがどうした？
俺は>>9の
> もし、実数列R^Nから選べば、的中確率はぐんと落ちる（実数列R^Nから選んで、１０桁の整数が出る理屈がない）
というスレ主の主張に対して
『時枝の戦略はそのような確率を扱っていない』
と反論している。
箱の中身がR^NだろうがZ^Nだろうが、全体集合をR^Nに取って~による類別を考えればよいと主張している。
何度も何度も何度も同じことを指摘するが、スレ主の主張は
>>472
> 「第k列のD番目の箱の中身は無限の候補がある。だから当てられっこない」
> つまりスレ主の考えている確率というのは、
> 「箱の中身は無限の可能性があり、正解は1つ。よって確率は1/∞。」
と言っているのと等価。スレ主の例で言うと、
『代表元をR^Nから選んでおく。ここで箱の中身はZの元であるとする。
代表元としてZ^Nの元が選ばれる確率は0。よって当てられない』というわけだ。
この考え方は非常に直感的。きっと誰もがそう思うだろう。
無限個の箱であろうと1つの箱であろうと、箱の中身は非可算無限の可能性があり、
その中から1個を当てる確率は1/∞、よって不可能、というわけだ。
記事の戦略�
24:ﾍ、"可算無限の箱を巧みに扱う"ことによって、 このような確率を相手にすることを回避している。 この回避方法が論理的に間違っていることを示せなければ、 時枝の戦略を否定できたことにはならない。
25:１３２人目の素数さん
16/01/16 09:59:55.46 ICzGJ8KZ.net
>>21
> つまり、いま問題にしているのは、同値類そのものではなく、同値類の代表なのだ。そして、代表から決定番号が決まるのだ
問題意識がすれ違ったわけだ。
> 代表が、正数列（∈ Z^N）か、実数列（∈ R^N）か
> 解法の正否（正答確率）に決定的な影響を与える
この主張に対しては既に否定した。
箱の中身がZに限定されていたとしても、考える同値類を
R^N/~に取ろうがZ^N/~に取ろうが求める確率は変わらない。
記事の戦略に従えば、個々の箱の中身が何通りあるか
(たとえばRの元なのかZの元なのか）といった議論はスキップできる。
その点こそがこの戦略の不思議なところなのであって、
RをZに替えてみるといった思考実験をするあたり、
スレ主が戦略の本質を理解していないということが良く分かる。
26:１３２人目の素数さん
16/01/16 10:36:25.34 ICzGJ8KZ.net
>>17を見逃していた。
>>17
>・確率５割が時枝理論だが、別の観点から見ると、D番目の数は１桁の数字だから、確率は1/9
あのさ、いまは時枝の戦略に論理矛盾があるかどうかを議論しているつもりなんだが。
戦略の論理が正しいことは認めるの？認めないの？どちら？
お前の別の観点、別の戦略を議論するのは後にしろよ。
お前が対象にしている中学生も混乱するぞ。
27:現代数学の系譜11 ガロア理論を読む
16/01/16 13:22:07.82 Y3KfUbj9.net
>>22-24
どうも。スレ主です。
レスありがとう
>>22
>> もし、実数列R^Nから選べば、的中確率はぐんと落ちる（実数列R^Nから選んで、１０桁の整数が出る理屈がない）
>というスレ主の主張に対して
>『時枝の戦略はそのような確率を扱っていない』
>と反論している。
>箱の中身がR^NだろうがZ^Nだろうが、全体集合をR^Nに取って~による類別を考えればよいと主張している。
そこまで時枝解法を擁護するなら、>>8で設定した「π＝３．１４・・・・を使って、頭から一桁の数字を、問題の箱に詰める」で、時枝解法を実行してみて下さい
問題を簡単にして、円周率（百万桁）を使おう。これが右サイトにある URLﾘﾝｸ(www.geocities.jp)
まず、箱に円周率（百万桁）に詰めましょう。提案として、簡単に２列としよう
１列目に、百万桁の奇数番目の数、その先のしっぽには、全て１をつめる
２列目に、百万桁の偶数番目の数、その先のしっぽには、全て２をつめる
まず、１列目を開けて、どの類に属するか決めて下さい。そして、代表を取り出して下さい。決定番号Dを教えて下さい
そして、２列目D+1から先の箱を開けて下さい。それで、２列目の属する同値類を教えてださい。代表rを取り出して下さい。代表rのD番目の箱の数を教えて下さい
28:現代数学の系譜11 ガロア理論を読む
16/01/16 13:22:24.73 Y3KfUbj9.net
でも、実行できないでしょ？
実行できるはずがない
だって、トリックだもの
実行できない時枝解法。だから一見最もらしいと言える
29:現代数学の系譜11 ガロア理論を読む
16/01/16 13:22:44.68 Y3KfUbj9.net
問題を単純化しずぎ？
じゃ、３列でも結構。もっと多く１００列でもどうぞ
箱百万個、３列。頭からmod３で、列を作って３列。しっぽの先は、１列目１、２列目２、３列目３を詰める
１００列なら、頭からmod 100で、列を作れば100列。しっぽの先は、１列目１、２列目２、３列目３、・・・、100列目100を詰める
１００列の場合、”一桁の数字を、問題の箱に詰める”を守っていない。が、”頭から３桁以内の数字を、問題の箱に詰める”に変えれば、数学的には成り立つ
30:現代数学の系譜11 ガロア理論を読む
16/01/16 13:24:08.06 Y3KfUbj9.net
まだまだ、簡単化しすぎで、時枝解法に合わない？
じゃ、頭からmod３や、mod 100やめます。すきにランダムに並べ貰って結構だ。どうぞ
？ １列目１、２列目２、３列目３、・・・、100列目100が気に食わない？ なら、しっぽはお任せします。ご随意に
ともかく、円周率（百万桁）を使ってください・・・
？ それも気に食わない？ なら、自分で分かり易い時枝解法の例題を作って、適用法を示して下さい
例はなんでも良いです。但し、具体的数値でね。文字は使わずに
中学生が混乱しない具体例の説明願います
でも、具体例の実行できないでしょ？
実行できるはずがない
だって、トリックだもの
実行できない時枝解法。だから一見最もらしいと言える
31:現代数学の系譜11 ガロア理論を読む
16/01/16 13:29:36.41 Y3KfUbj9.net
>>25 訂正
まず、箱に円周率（百万桁）に詰めましょう。
↓
まず、箱に円周率（百万桁）を詰めましょう。
32:１３２人目の素数さん
16/01/16 13:58:02.87 ICzGJ8KZ.net
>>25
>まず、箱に円周率（百万桁）に詰めましょう。提案として、簡単に２列としよう
>１列目に、百万桁の奇数番目の数、その先のしっぽには、全て１をつめる
>２列目に、百万桁の偶数番目の数、その先のしっぽには、全て２をつめる
>まず、１列目を開けて、どの類に属するか決めて下さい。そして、代表を取り出して下さい。決定番号Dを教えて下さい
>そして、２列目D+1から先の箱を開けて下さい。それで、２列目の属する同値類を教えてださい。代表rを取り出して下さい。代表rのD番目の箱の数を教えて下さい
πは全部で200万桁使っているとしてよいな？
では、俺は箱の中身は知らぬことにして、まず代表元を定める。
しっぽが1,1,1,1,・・・と続く実数列の代表元として
1,1,1,1,1,1,・・・を取る。
しっぽが2,2,2,2,・・・と続く実数列の代表元として
2,2,2,2,2,2,・・・を取る。
ここで1列目の箱を全て開ける。
100万桁目まではπの奇数番目の数に一致する。
100万飛んで1桁から先はすべて1,1,1,1,・・・が続く。
よって先に取った代表元1,1,1,1,1・・・と同値であり、この列の決定番号d1は100万1だ。
（πの数表は見ていない。πの100万番目の奇数桁が1でないと仮定した。）
箱が2列並べている今のケースでは、D=d1=100万1と決まる。
さて次に2列目のD+1(=100万2)番目以降を開けたところ、
2,2,2,2,2,2・・・が連続している。
これは先に取った代表元2,2,2,2,2,2,・・・と同値だ。
ここで、まだ開けていない2列目のD(=100万1）番目の箱を、
2列目が属する類の代表元のD(=100万1）番目と同じ『2』と予想する。
この予想が正しい確率は、2列目の決定番号d2がD(=100万1)=d1以下である確率1/2に等しい。
D番目をあけたところ『2』。正解。ゲームはここで終わる。
ゲームが終わった後、２列目の箱もすべて開けてみよう。
2列目は100万桁までπの偶数桁と一致しており、100万1桁目から2が続く、ということが分かる。
すなわち、今の場合d1=D=d2が成り立っていたということが分かる。
（ここでも100万番目のπの偶数桁が2でないと仮定した。数表は見ていない）
以上。
33:１３２人目の素数さん
16/01/16 14:12:03.77 ICzGJ8KZ.net
>>30
>πは全部で200万桁使っているとしてよいな？
スレ主は100万桁が良かったかな？まあ同じことだ
スレ主が俺を試そうとしたチャレンジ問題は時枝の戦略に
論理矛盾がないことを示すとても良い例になったぞ。
スレ主にとっては非常に不本意だろうｗ
>>30の例はきっと小学生でも理解できる。
箱の中身が実数か整数かは重要でないということもこの例でよく分かるだろう。
34:１３２人目の素数さん
16/01/16 14:41:51.57 ICzGJ8KZ.net
>>30
分かるとは思うが念のため訂正しておく。
> では、俺は箱の中身は知らぬことにして、まず代表元を定める。
> しっぽが1,1,1,1,・・・と続く実数列の代表元として
> 1,1,1,1,1,1,・・・を取る。
> しっぽが2,2,2,2,・・・と続く実数列の代表元として
> 2,2,2,2,2,2,・・・を取る。
↓
では、俺は箱の中身は知らぬことにして、まず代表元を定める。
しっぽが1,1,1,1,・・・と続く実数列"が属する類"の代表元として
1,1,1,1,1,1,・・・を取る。
しっぽが2,2,2,2,・・・と続く実数列"が属する類"の代表元として
2,2,2,2,2,2,・・・を取る。
35:１３２人目の素数さん
16/01/16 14:44:18.03 lxzcZorR.net
>では、俺は箱の中身は知らぬことにして、まず代表元を定める。
>しっぽが1,1,1,1,・・・と続く実数列の代表元として
>1,1,1,1,1,1,・・・を取る。
箱の中身を知らないのに、何故しっぽが1,1,1,1,・・・と続く実数列の代表元を取ろうと思ったのですか？
36:１３２人目の素数さん
16/01/16 14:53:56.52 ICzGJ8KZ.net
>>33
>箱の中身を知らないのに、何故しっぽが1,1,1,1,・・・と続く実数列の代表元を取ろうと思ったのですか？
R^Nを類別して各々の類から代表元を取る、
という操作は（選択公理を仮定すれば）いつでも可能。
箱の中身当てクイズとは無関係に実行可能。
記事にもあるように『代表元をつめた袋』を用意しておくのは、ゲームを始める前だ。
これで分かるだろうか。お相手したいところだがしばらくの間レスができない。
37:１３２人目の素数さん
16/01/16 15:17:45.91 lxzcZorR.net
>>30
>この予想が正しい確率は、2列目の決定番号d2がD(=100万1)=d1以下である確率1/2に等しい。
１．決定番号は全ての自然数をとり得る。
２．決定番号の定め方の場合の数は∞。
３．ある自然数d1が存在して、決定番号d2≦d1と定める場合の数はd1。
４．２，３より、決定番号d2がD(=100万1)=d1以下である確率はd1/∞=0。
１～４のどこが間違ってるのでしょうか？
38:１３２人目の素数さん
16/01/16 15:41:26.86 mNDHiBMG.net
>>35
君が考えた確率はd1が既知の場合にd2がd2≦d1となる条件付き確率。
しかしこのゲームはd1が未知の状態でスタートする。
このときd2≦d1となる確率は1/2となる。
過去に何度もこの話題は取り上げられている。参考まで。
39:１３２人目の素数さん
16/01/16 16:02:55.07 lxzcZorR.net
>>36
d1が未知なら
>さて次に2列目のD+1(=100万2)番目以降を開けたところ、
>2,2,2,2,2,2・・・が連続している。
>これは先に取った代表元2,2,2,2,2,2,・・・と同値だ。
>ここで、まだ開けていない2列目のD(=100万1）番目の箱を、
>2列目が属する類の代表元のD(=100万1）番目と同じ『2』と予想する。
に記されている、開ける箱を定めること、値を予想する箱を定めること、予想値を定めること、は不可能では？
40:１３２人目の素数さん
16/01/16 16:52:58.02 mNDHiBMG.net
>>37
1列目を開けてd1がkになる確率をp1(k)と書く。
d1=kのときにd2がd1以下となる条件付き確率をp2_d1(k)と書く。
ゲームに勝つ確率は、この2つの確率の積を取って
kで無限和を取ったものになる。
ここまではOK?
d1がkであることを知った時点からゲームをスタートするなら
貴方の言うとおり勝つ確率はk/∞だ。
しかしゲームを開始するのはd1を知る前だ。
d1がkとなること自体が確率事象なので、
ゲーム開始前に計�
41:Zされるプレイヤーの勝つ確率は k/∞ではなく上の無限和になる。 実際に1列目の箱を開けてd1がkだったかどうかは上の無限和には影響しない。 ゲーム開始後にd1を知ったからといって ゲーム開始前の無限和の計算結果が変化するわけではない。 (当たり前すぎてかえって分かりづらいか？)
42:１３２人目の素数さん
16/01/16 17:01:43.86 AaUSB/SH.net
>>3-4
記事の内容を埋めたりして書くけど、スレ主が書いた文章は以下のような解釈でよい？
>4の途中から分かりにくかったけど、間違っていたら悪いな。
>２．続けて時枝はいう
>
> 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかたに
>似ている. 「いわゆる,カントールの実数の構成の手法に似たことである. 記事の都合上詳細は
>省くが, このあらましの要点を書くと大体以下の通りである.
>有理コーシー列の全体をXとする. 実数列全体の集合をR^Nとする.
>有理コーシー列の集合Xは可算無限集合である. Xに属する任意の有理コーシー列は,
>或る1つの実数rに収束する. そこで, {r_n},{s_n}∈X に対して,
>有理コーシー列 {r_n}－{s_n} が0に収束するという関係を～とする.
>すると, Xの～による商環 X/～ は一意に決まることが知られている.
>この X/～ を R と書き, 実数体とよぶ.
>実数rを任意に取る. rに収束する有理コーシー列 {x_n} は, 可算無限個存在する.
>rに収束する有理コーシー列の全体を X(r) と書く. X(r) は可算無限集合である.
>X(r) に属し, rに収束する有理コーシー列 {r_n},{s_n}∈X(r) に対し,
>有理コーシー列 {r_n}－{s_n} が0に収束するという関係を ∽ と書く.
>X(r)の∽による商集合 X(r)/∽ の代表元は一意に決まる. 逆に, このような
>商集合 X(r)/∽ が与えられたとき, 元の実数rは存在する.
>だから, 実数体Rと, 集合{X(r)/∽|r∈R}との間には全単射が存在することになる.
>X(r)/∽ の代表元はrと考えられる. そこで, 有理コーシー列 {x_n} を X(r)/∽ の代表元とし,
>{x_n}の極限として実数rを lim_{x→+∞} x_n＝r と定義する.
>以上がカントール式の実数の構成のあらましである. ここに, r,s∈R に対し,
>r≠s のときは (X(r)/∽)∩(X(s)/∽)＝Φ であり, X＝{X(r)/∽|r∈R} なることに注意しよう.」
43:１３２人目の素数さん
16/01/16 17:01:51.63 mNDHiBMG.net
うかつにk/∞なんて言うと鋭い人から突っこまれそうだ。
俺は単にp1(k)と書くだけにしておく。
44:１３２人目の素数さん
16/01/16 17:04:40.01 AaUSB/SH.net
>>3-4
(>>39の続き)
>「さて本題に戻るが」, 但し「ここでは」もっときびしい同値関係を使う. 実数列の集合 R^Nを考える.
>s＝(s_1, s_2, s_3, …)，s'＝(s'_1, s'_2, s'_3,…)∈R^Nは，ある番号nから
>先のしっぽ「いわゆる第n項」が一致する. 「換言すれば」∃n_0：n≧n_0 → s_n＝s'_n のとき,
>同値「関係～を」s～s' と定義しよう(いわばコーシーのべったり版).
>「ここに, 任意の, 或る実数rに収束する有理コーシー列 {r_n},{s_n}∈X(r)⊂X について,
>或る番号n_0が存在して, n≧n_0 のとき s_n＝s'_n なることに注意しよう.」
>念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致する
>なら，sとs"は2015番目から先一致する. ～は R^N を類別するが，各類から代表を選び,
>代表系を袋に蓄えておく. 幾何的には商射影 R^N → R^N/～の切断を選んだことになる.
>「換言すると次のようになる. 商射影 R^N → R^N/～ をfとする.
>f：R^N → R^N/～ は全単射である. 実数列 {x_n}∈R^N/～ を任意に取る. すると, {x_n}は或る実数
>rに収束するコーシー列である. rに収束するコーシー列の全体を X(r) とする. すると, X(r)⊂R^N/～ であり,
>X(r) は同値関係～による商集合として扱える. X(r) を同値関係～による商集合と見なすと,
>rは商集合 X(r) の代表元として扱える. rは {x_n} に対して定まったから,
>これはコーシー列 {x_n} を商集合 X(r) の代表元として扱うことと同じである.
45:１３２人目の素数さん
16/01/16 17:05:54.42 AaUSB/SH.net
>>3-4
(>>41の続き)
>そこで, {x_n} を商集合 X(r) の代表元とする. すると, rに対して, rに収束する実数列を考えることで,
>f({r_n})＝{x_n} なるような実数列 {r_n}∈R^N の全体を考えることが出来る.
>そこで, {x_n} に対して f({r_n})＝{x_n} なる実数列 {r_n}∈R^N の全体を f^{-1}({x_n}) とする.
>このようにして f^{-1}({x_n}) を構成することは, 任意の実数列 {x_n}∈R^N/～ に対して出来る.
>そのようなことに注意して, R^N に選択公理を適用し, R^N のすべての元が一直線状に並んでいると見なす.
>R^N/～ のすべての元についても同様に選択公理を適用し, そのすべての元が一直線状に並んでいると見なす.
>すると, 直積 R^N×R^N/～ を xy平面のような平面と見なせる. このような平面上で, x軸に平行な複数の,
>y軸に垂直であるような点線を引くような, 操作を行うことである.
>これが, 代表系を袋に蓄えておくことの, 大体の幾何的な意味である.」
>任意の実数列 s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表
>「としてのコーシー列」 r＝r(s) を丁度一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号
>を sの決定番号 と呼び，d＝d(s) と記す. つまり「sの部分列」 s_d，s_{d+1}，s_{d+2}, … を知れば
>「これは無限列だから,」 sの類の代表r は決められる. 更に，何らかの事情によりdが知らされていなくても,
>ある D≧d について「sの部分列」 s_{D+1}, s_{D+2}, s_{D+3}, … が知らされたとするならば,
>「同様にこれも無限列だから,」それだけの情報で既に「コーシー列」 r＝r(s)は取り出せる.
>したがって「sの決定番号」 d＝d(s) も決まり, 結局s_d(実は s_d, s_{d+1}, …, s_D ごっそり)が決められる
>ことに注意しよう.
46:１３２人目の素数さん
16/01/16 17:07:13.66 mNDHiBMG.net
>>40
ちがったp2_d1(k)だった。すまん。
47:１３２人目の素数さん
16/01/16 17:07:59.41 AaUSB/SH.net
>>3-4
(>>42の続き)
３．つづき
>問題に戻り, 閉じた「各列について可算無限個の箱が並ぶように, 可算無限個の」箱を100列に並べる.
>箱の中身は「当然」私たちに知らされていないが, とにかく第1列の「可算無限個の」箱たち,
>第2列の「可算無限個の」箱たち「, …,」 第100列の「可算無限個の」箱たちは
>100本の実数列 S^1, S^2, …, S^{100} を成す(肩に乗せたのは指数ではなく添字).
>これらの「可算無限個の」列は「２の後半で述べた事情から」おのおの決定番号をもつ.
>さて， 1～100 のいずれか「1つ」をランダムに選ぶ.
>例えばkが選ばれたとせよ. 「ここに, kは1以上100以下の或る自然数である.
>実数列 S^k を２の後半と同様にsで表わすことにしよう.
>すると, まだ s＝S^k の決定番号は知らされていない. しかし, 或る自然数 D≧k が存在して, D≧k について
>s の部分列 s_{D+1}, s_{D+2}, s_{D+3}, … が知らされたとするならば, これは無限列だから,
>それだけの情報で既に「コーシー列」 r＝r(s)は取り出せる. したがって「sつまりS^kの決定番号」 d＝d(s) も決まり,
>結局s_d(実は s_d, s_{d+1}, …, s_D ごっそり)が決められる. 簡単には, 最後の項が1つの実数 (S^k)_D Dは自然数
>であるような, S^kの有限列が取り出せる.」
>「既に知らされている自然数 k 1≦k≦100 に対して S^kの決定番号d＝d(s)≦k が対応することになる.
>「kは任意だから, 自然数kを 1≦k≦100 の範囲で走らせると,
>100本の実数列 S^1, S^2, …, S^{100} の中のそれぞれの実数列 S^k の決定番号が d＝d(s)≦k と決まり,
>100個の決定番号を小さい方から順に並べて100個の項からなる自然数列 a_1,a_2,…,a_100 を構成出来る.
>逆に, a_1,a_2,…,a_100 の中の1つの項が知らされているときは, 1～100の中の1つの自然数は既に分かっている.」
48:１３２人目の素数さん
16/01/16 17:09:59.65 AaUSB/SH.net
>>3-4
(>>44の続き)
>「そのような理由から, 実数列S^kを S^1, S^2, …, S^{100} の中から任意に1つ選んだとき,
>S^kの決定番号dが他の列の決定番号「の」どれよりも大きい「換言すれば小さくない」確率は1/100に過ぎない.」
>「話を元に戻す.」 第1列～第(k-1)列，第(k+1)列～第100列の「それぞれについて,」
>「各列を構成する可算無限個の」箱を「選択公理をそれぞれの列に適用し」全部開ける.
>第k列の「可算無限個の」箱たちはまだ閉じたままにしておく.
>開けた箱に入った「可算無限個の」実数を見て, 「それぞれのコーシー列について,」 代表の袋「合計は99個で」を
>「それぞれ」さぐり, S^1～S^{k-1},S^{k+1}～S^{1OO} の決定番号のうちの最大値「を」D「と書くことにする.」
> いよいよ第k列「いわゆるS^k」の(D+1)番目から先の箱だけを開ける：S^k(D+l), S^k(D+2), S^k(D+3)
49:, …. いま > D≧d(S^k) >を仮定しよう. 「ここに, 実は最終的には d(S^k) は S^k の決定番号となる.」 「d(S^k) が S^1～S^{100}の各決定番号の >最大値になる(換言すれば他のどの決定番号よりも小さくない)確率は1/100だから,」 >この仮定が正しい確率は 「1-1/100＝」99/100. >そして仮定が正しいばあい, 上の注意「いわゆる２の後半の考察」によって「S^kの決定番号」S^k(d) が決められるのであった. >おさらいすると, 「このような」仮定のもと, S^k(D+1), S^k(D+2), S^k(D+3), … を見て「実数列 S^k の」代表「としてのコーシー列」r＝r(S^k) が >取り出せるので, 「コーシー」列 r のD番目の実数 r(D) を見て， 「第k列(つまりS^kをなす可算無限個の箱のうちはじめから) >D番目の箱に入った実数を S^k(D)＝r(D) と賭ければ, めでたく「当たる」確率「が」99/100で勝てる「ことになる」. >(ε＞99/100 のときは, 同様の賭けごとに)確率 1-ε で勝てることも明らかであろう.
50:１３２人目の素数さん
16/01/16 17:24:43.64 AaUSB/SH.net
>>3-4
一応、>>39、>>41-42、>>44-45は、記事の内容を「」や()で
或る程度補足したので、スレ主でも分かるようになっている筈だ。
「」や()は、補ったところ。本当は、こういうときこそ、スレ主の
いつもながらのグーグルグーグルって検索しまくる手法が活躍するときなんだよ。
例えば、何らかのサイトがある筈だから、カントールの実数論とか数セミに
出てくるであろう言葉をググってみ。
それじゃ、補足作業で疲れたから、もうおっちゃん寝る。
51:現代数学の系譜11 ガロア理論を読む
16/01/16 18:02:22.60 Y3KfUbj9.net
>>30-38
TAさん、どうも。スレ主です。
具体例の例示ありがとう。
TAさんが、まじめで誠実な人だというのは良く分かった
他の人がレスついているので、しばらく様子見します
ID:lxzcZorRさん、レスありがとう
おれは、ID:lxzcZorRさん乗りだが、しっかりしているので、助力は不要でしょう
あなたの疑問点を書いて貰えれば、解決は近いと思う
52:現代数学の系譜11 ガロア理論を読む
16/01/16 18:10:39.45 Y3KfUbj9.net
>>2 訂正
１．時枝問題（数学セミナー201611月号の記事）
↓
１．時枝問題（数学セミナー201511月号の記事）
53:１３２人目の素数さん
16/01/16 18:10:47.30 vUiFFE0t.net
無限集合を使ったゲームで勝利する戦略についてはバリエーションが色々あるのだろうね
URLﾘﾝｸ(mathoverflow.net)
URLﾘﾝｸ(people.math.gatech.edu)
これはTerence Taoもコメントしている
URLﾘﾝｸ(cornellmath.wordpress.com)
54:現代数学の系譜11 ガロア理論を読む
16/01/16 18:16:56.41 Y3KfUbj9.net
>>39-46 （除く40,43）
おっちゃん、どうも。スレ主です。
いつものおっちゃんらしい、読みにくいカキコですね（＾＾；
でも、ありがとう
一言、>>2-4は、（分かっていると思うが）単に、数学セミナー201511月号P36 時枝正「箱入り無数目」の記事の引用だ>>12
（数学記号をアスキーベースに直すのに苦労したがね）
聞きたいのは、
１．時枝の解法を使った>>30をどう思うかだよ
２．TAさんに何か言ってやんなよ
（そこまで補足付けてくれたなら、何か言えるだろう？）
３．>>30に賛成するもよし、問題点を指摘するもよし
４．どちらにせよ、その方が決着は早いと思う
55:１３２人目の素数さん
16/01/16 18:23:47.46 NWS8EdVX.net
トーラスの穴って
真ん中無駄じゃね？
スペース的に何か詰めろって
いつも思う
56:現代数学の系譜11 ガロア理論を読む
16/01/16 18:45:43.64 Y3KfUbj9.net
>>49
どうも。スレ主です。
コメントありがとう
要は、時枝問題は、無限集合を使ったゲームのトリックというエールを貰ったのかな？（＾＾；
ともかく、Terence Taoがコメントしている話は、どこかで読んだかも知れない
100人の囚人が、自分の帽子の色を言い当てると、釈放されるが、その上手い方法や如何にと・・・
日本語の記事が、検索でヒットするかも
えーと ”100人の囚人 自分の帽子の色 放”で下記ヒットか
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
name_1717さん 2011/10/613:12:57 yahoo.
数学の質問です
論理的に答えてください
100人の囚人が一列にならんでいます
URLﾘﾝｸ(matome.na)<)
囚人と帽子 [楽しいクイズの発信基地！クイズ大陸]: ひでぽん 2005/04/12 19:44
57:現代数学の系譜11 ガロア理論を読む
16/01/16 19:09:52.80 Y3KfUbj9.net
補足
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
1,2,3,‥,n,‥と番号つけられた無限人の囚人がいるとします。彼らは... - Yahoo!知恵袋: 2010/10/21
(抜粋)
ベストアンサーに選ばれた回答
プロフィール画像
gang_gang_dankichiさん
編集あり2010/10/2312:39:35
Prisoners and hats puzzleと呼ばれる有名問題のようですね。
URLﾘﾝｸ(en.wikipedia.org)
wikipedia に書いてあるものと問題の設定に少し違いがありますが、wikipediaに掲載されている以下の作戦であれば質問の設定でも通用すると思われます。
58:１３２人目の素数さん
16/01/17 01:54:45.17 oHq9GNd+.net
>>52
> 要は、時枝問題は、無限集合を使ったゲームのトリックというエールを貰ったのかな？
違う
スレ主はトリックとか実行できる(orできない)とか書いているが今までずっと選択公理を採用していないし
これからも採用しないということをスレ主が宣言すれば良いだけのことではないですか？
(過去スレでスレ主がそのような宣言をしているかは知らない
当然ながら選択公理を採用する立場をとるならば選択公理を仮定した上での反例を提示すべき)
59:１３２人目の素数さん
16/01/17 07:14:20.28 uHfQo2vo.net
>>54
> 今までずっと選択公理を採用していないし
採用してるよ。代表元を扱っているんだから。
議論しているのは選択公理を使った戦略の論理が正しいかどうかなんだから、
選択公理を使わなかったら議論にならんでしょう。
60:現代数学の系譜11 ガロア理論を読む
16/01/17 07:31:52.58 lh+5Cl4S.net
>>54
どうも。スレ主です。レスありがとう。
選択公理で悩んだことがないというか、基礎論もそれほど深く考えたことはないが
思えば時枝の話は、下記前スレの”選択公理は直感に反さないだろいい加減にしろ!”から始まっていて
”随伴関手の存在に関する定理から選択公理を導くことができる．”を読むと、私は選択公理を捨てる理由がない
ｽﾚﾘﾝｸ(math板:310-314番)
現代数学の系譜11 ガロア理論を読む17
310 自分返信：現代数学の系譜11 ガロア理論を読む
61:[] 投稿日：2015/12/19(土) 21:11:36.50 ID:VtRJxPeF >>302 「随伴関手の存在に関する定理から選択公理を導くことができる．」か。選択公理は、結構自然なのかな http://alg-d.com/math/ac/category.html 圏論 2015年3月 7日更新 随伴関手の存在に関する定理から選択公理を導くことができる． 定理 次の命題は( ZF 上)同値． 1.選択公理 2.C, D を圏， F: C→D を関手とする．任意の d∈D に対して F から d への普遍射が存在するならば， F は右随伴を持つ． 3.C を余完備な圏， D を圏， F: C→D を余連続な関手とする． F はsolution set conditionを満たすとする．このとき F は右随伴を持つ．(General Adjoint Functor Theorem) 4.C を余完備かつco-wellpoweredで，generatoring setを持つ圏， D を圏， F: C→D を余連続な関手とする．このとき F は右随伴を持つ．(Special Adjoint Functor Theorem) 5.C, D, U を圏， F: C→D ， E: C→U を関手として，各 d∈D に対して余極限 colim(F↓d→C→U) が存在するとする．このとき F に沿った E の左Kan拡張 F†E が存在し， F†E(d) ? colim(F↓d→C→U) である． 313 返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2015/12/20(日) 10:15:48.19 ID:saIApgKR >>310 >選択公理は、結構自然なのかな 下記ご参考。面白いです（＾＾； http://alg-d.com/blog/2013/05/12.shtml algebraic dialy 選択公理は直感に反さないだろいい加減にしろ! 2013年5月12日
62:現代数学の系譜11 ガロア理論を読む
16/01/17 07:39:39.32 lh+5Cl4S.net
「数学界に大論争を呼んだ選択公理」がなかなかよく纏まっている
URLﾘﾝｸ(samidare.halfmoon.jp)
数学界に大論争を呼んだ選択公理(1/2) 2015/01/12
URLﾘﾝｸ(samidare.halfmoon.jp)
数学界に大論争を呼んだ選択公理(2/2) 2015/01/12
URLﾘﾝｸ(samidare.halfmoon.jp)
（上記の日記）
URLﾘﾝｸ(samidare.halfmoon.jp)
1+2+3+・・・・ = -1/12な部屋
63:現代数学の系譜11 ガロア理論を読む
16/01/17 07:40:50.48 lh+5Cl4S.net
さっき気付いたが、行数制限が、32行から60行に緩和されているね。2048Bは同じだが
64:現代数学の系譜11 ガロア理論を読む
16/01/17 07:44:18.46 lh+5Cl4S.net
>>57
めんどくさいので、先に書く
この人のサイトに、下記があった
これ分かり易い
大１クラスの人は見ておくと参考になると思う
URLﾘﾝｸ(samidare.halfmoon.jp)
数学コラム
URLﾘﾝｸ(samidare.halfmoon.jp)
「ガロア理論と、5次元方程式の解法の不可能性のお話（2006/12/22)」
65:現代数学の系譜11 ガロア理論を読む
16/01/17 07:49:00.84 lh+5Cl4S.net
>>55
どうも。スレ主です。
レスありがとう
>採用してるよ。代表元を扱っているんだから。
同感です。というか、普通に整数全体や有理数や実数を扱うと、無意識に選択公理を使っていると思う
そして、選択公理は、”選択公理は直感に反さない”と思うし、圏論はまだよく理解出来ていないが、けっこう自然という主張に１票>>56
66:現代数学の系譜11 ガロア理論を読む
16/01/17 09:00:56.49 lh+5Cl4S.net
どうも。スレ主です。
>>54-55などの書き込みも出てきたし、時枝記事の話も２つのスレに渡って長くなってしまった
また、今週は忙しくて、この後書けない
>>47で、”しばらく様子見”と書いたが、動きがないので、収束に向けてちょっと書きます
>>30なんか見ると、TAさんまじめで誠実な人だというのは良く分かった。
だけど、数学的におかしいというところは、指摘しないと、数学板では成り立たない・・
（なお、例示をしてもらったので、どこで食い違いを生じているか分かりました）
>>30について
１．ID:lxzcZorRさんが、>>33で指摘している通りだが、問題が大きいのは”しっぽが2,2,2,2,・・・と続く実数列の代表元として 2,2,2,2,2,2,・・・を取る”の方
2,2,2,2,2,2,・・・をなぜ選ぶのか？ 選んでも良いが、本来無作為に選ぶべきところ、作為が入っているのでは？
数学的に分かり易いように、ある数列を定義しよう
数列r2(π2,n):＝1,1,9,6,(πの偶数番目の数をn個)、2,2,・・・ (説明：数列の頭n個は、πの偶数番目の数。その先のしっぽが2,2,・・)
ここで定義した数列r2(π2,n)は、問題の２列目の同値類に属することは明らか。だから、代表元の資格がある。これらを除外したのはなぜ？
２．上記１の補足だが、nには上限がない。だから、n<=１００万よりも、n＞１００万の方が、場合の数としては圧倒的に多い。ここまで書けば、言いたいことはお分かりだろう
つづく
67:現代数学の系譜11 ガロア理論を読む
16/01/17 09:05:02.97 lh+5Cl4S.net
>>61 つづき
３．第１列目に戻る。同じような、しかし別の数列を定義しよう
数列r1(π1,n1,n2):＝1,1,・・(n1まで),(πの奇数番目の数n1+1番目からn2番目)、1,1,・・・ (説明：数列の頭n1個は1、中間は”πの奇数番目の数n1+1番目からn2番目”の数。その先のしっぽがまた1,1,・・)
>>30に合わせて、n2=１００万に調整しよう。(言い忘れたが、1<=n1<n2とする)
n1＝２とする。当然、この数列も問題の１列目の同値類に属することは明らか。だから、代表元の資格がある。
ここで、仮にこのn1＝２の場合を代表とすると、決定番号はd1=n1+1＝3 （d1は>>35-36より）となる
で、確率問題だが、d1＝3の場合と,d1＝１００万の場合とでは、当然d2≦d1となる確率は違うだろう
TAさんが>>36書かれているように、「2つの確率の積」と考えるべき問題だ
再度強調しておく。d1＝3の場合と,d1＝１００万の場合とでは、当然d2≦d1となる確率は違う。だから、ID:lxzcZorRさんの>>35の指摘通りと思う（上記１、２も見てね）
追記
おっちゃん、悪いな。>>50で、おっちゃんに振っておきながら、先に書いてしまった（＾＾；
なお、余談だが、時間があれば前スレを読み返して貰えれば、後半から、ほぼ上記１～３の理解に達していることが分かって貰えるだろう
では
68:現代数学の系譜11 ガロア理論を読む
16/01/17 09:16:55.74 lh+5Cl4S.net
>>61-62
補足
上記で定義した代表候補の数列、r2(π2,n):、r1(π1,n1,n2)について
n,n2は上限なしは当然だが
数列の頭に使った、”πの偶数番目の数”や、”πの奇数番目の数”は、候補としては、これに限定されない（もっと多い）ということも注意しておく
上記では、問題点を分かりやすくするために、>>30に即した具体的な数列の形に限定したが
69:１３２人目の素数さん
16/01/17 09:18:44.33 uHfQo2vo.net
>>61-62
まだ分かってなかったのねｗ
じゃあスレ主が
,1,1,1,1,1,・・・と
,2,2,2,2,2,・・・の代表元を決めてくれ。
俺が必要なのは、それら代表元の何番目から1（あるいは2）が続くのかだけだ。
それだけを俺に教えてくれればよい。
俺はその代表元が入った袋を使い、確率1/2で箱の中身を当てられることを実例で示す。
すなわち、箱の1列目を最初に開けるか、2列目を最初に開けるか、
少なくともどちらかの選択によって、箱の中身が当てられることを示す。
では上の情報を教えてくれ。
70:１３２人目の素数さん
16/01/17 10:07:35.84 uHfQo2vo.net
>>64
補足。
>俺が必要なのは、それら代表元の何番目から1（あるいは2）が続くのかだけだ。
失礼、この書き方はちょっと紛れがあった。
要するに、代表元の何番目から箱の中身と一致するのかを知りたいだけだ。
それが分かるように教えてくれ。
71:１３２人目の素数さん
16/01/17 14:38:09.57 lkgsK6Kl.net
>>62
>>41の
>f：R^N → R^N/～ は全単射である.
は間違いで、この部分は
>fは 始集合R^N から 値域R^N/～ への対応である。
>fの定義域は、コーシー列全体の集合D である。
>任意の {x_n}∈D に対して、g({x_n})＝f({x_n}) であるような、
>写像g：D → R^N/～ は全射である。
と訂正。簡単には、
>任意の {y_n}∈R^N/～ に対して、或る {x_n}∈R^N が存在して、{y_n}＝f({x_n})。
と訂正。あと、>>45の一番最後の行の()内の「ε＞99/100 」は「0＜ε≦1/2」と訂正。つまり、最後の行は
>(0＜ε≦1/2 のときは, 同様の賭けごとに)確率 1-ε で勝てることも明らかであろう.
と訂正。
72:１３２人目の素数さん
16/01/17 15:00:53.70 Mq1PXxIx.net
>>66
R^N/～には発散列を代表元とする類が属すから全射でないのでは？
73:１３２人目の素数さん
16/01/17 15:23:03.61 lkgsK6Kl.net
>>67
�
74:～、そうか。 >f：R^N → R^N/～ は全単射である. の部分は取り消しで、その直後(>>41)の >実数列 {x_n}∈R^N/～ を任意に取る. の部分で「{x_n}が収束する」ことが仮定されるのか。
75:１３２人目の素数さん
16/01/17 15:33:27.94 lkgsK6Kl.net
>>62
>>68のあたりはウマく調整して読んで。
>>62
で、>>45のような補足が正しければ、代表元を2個扱ったときは、
ハズレる確率が 1－1/2＝1/2 になるように、
可算無限個の箱を扱って問題文のようなことを考えることが出来る。
3個の代表元を扱うときは、同様にハズレる確率は 1－1/3＝2/3 になる。
だが、雑誌では可算無限個の代表元を考えているんでしょ？
だから、扱う代表元の個数をε'として、ε＝1/ε' とおき、ε'→+∞ とする必要がある。
ここに、εは、>>45でいう「当たる確率1/100」にあたる。ハズレる確率は、1－ε になる。
ε'が大きくなればなるほどεは小さくなるから、扱う代表元の個数が大きくなればなるほど
バズレる確率は1に近づく。簡単には、ハズレる確率は1/2以上1以下になる。
だから、少なくとも当たる確率がハズレる確率より大きくなることはあり得ない。
ハズレる側に賭けた方が勝負に勝つ可能性が大きいということになる。
76:１３２人目の素数さん
16/01/17 15:41:24.89 Z3waxlGd.net
>>68-69
。。。
メンター、そろそろ貴方の出番ですw
77:１３２人目の素数さん
16/01/17 15:45:48.39 lkgsK6Kl.net
>>70
数セミの記事の内容は殆ど知らないので悪しからずw
78:１３２人目の素数さん
16/01/17 15:47:56.81 Mq1PXxIx.net
>>68
>>実数列 {x_n}∈R^N/～ を任意に取る.
>の部分で「{x_n}が収束する」ことが仮定されるのか。
何をどう誤解してるのか知らんが、勝手な仮定を置かないように
79:１３２人目の素数さん
16/01/17 15:49:30.65 Mq1PXxIx.net
>>71
>>2-4
80:１３２人目の素数さん
16/01/17 16:08:17.61 lkgsK6Kl.net
>>72
>>41では
>>f：R^N → R^N/～ は全単射である.
が取り消しになり、
>実数列 {x_n}∈R^N/～ を任意に取る. すると, {x_n}は或る実数
>rに収束するコーシー列である.
の部分が
>実数列 {x_n}∈R^N/～ を任意に取る. 「{x_n}が収束するときは」, {x_n}は或る実数
>rに収束するコーシー列である.
となるのか。
81:１３２人目の素数さん
16/01/18 02:32:07.99 ur6eAVPL.net
>>64
スレ主に対して一応確認をしてみたわけです
>>55
>議論しているのは選択公理を使った戦略の論理が正しいかどうかなんだから、
>選択公理を使わなかったら議論にならんでしょう。
もちろんその通りだけれども「日常感覚」とか言い出すスレ主相手だとどうかな
(半分冗談みたいなものですが)
>>60
>同感です。
とスレ主の意見
82:１３２人目の素数さん
16/01/18 22:40:59.87 Dp/7C/2n.net
>>75
>>54だけを読むと貴方が選択公理を理解していないように読めてしまうが。
あるいはスレ主に罠を仕込んだ逃げ道を用意したということ？
だとすればとびっきり性格が悪い人だねあんたｗ
83:１３２人目の素数さん
16/01/19 20:10:20.67 NNd7epPQ.net
>>76
>議論しているのは選択公理を使った戦略の論理が正しいかどうかなんだから、
>選択公理を使わなかったら議論にならんでしょう。
前提を少し変えていくと
1. 「選択公理」を前提にした戦略の論理が正しいか
2. 「袋に代表元が入っていること」を前提にした戦略の論理が正しいか
3. 「適当な数を箱に入れて袋から適当な代表元を取り出すこと」を前提にした戦略の論理が正しいか
スレ主はどんどん論点を変えていく傾向があるけれども3.から1.に話を変えるようなことはしないと
いうことだからそろそろあなたとスレ主の議論の前提が一致するのではないでしょうか
84:１３２人目の素数さん
16/01/19 23:06:29.71 f2aWWLVc.net
>>61
> どうも。スレ主です。
> >>54-55などの書き込みも出てきたし、時枝記事の話も２つのスレに渡って長くなってしまった
長くなったのはスレ主が馬鹿なコメントばかりするからでしょうがw
85:１３２人目の素数さん
16/01/20 01:03:17.83 cyZCZhjW.net
>>78
>長くなったのはスレ主が馬鹿なコメントばかり
情報理論などを持ち出すくらいならN列の箱での列の置換における対称性
のようなことを書けば多少はガロア理論スレっぽくなるかもね
86:１３２人目の素数さん
16/01/23 01:38:36.89 U7fT6W8m.net
しかたがないからちょっとだけガロア理論スレっぽくしてあげようw
2/22からCourseraで Galois Theory（URLﾘﾝｸ(www.coursera.org)） という講座がはじまるよ。
まえのはガロアを落としたエコポリだったけど、
講師がフランソワ・モ�
87:激Vャンみたいにしゃべくりのおっさんだったので ラジオフランス語講座をかじったくらいではまるで歯が立たなかったorz 今度のは英語だから大丈夫だw （講師がエカテリーナってロシア人みたいな名前だから発音が普通かどうかわからんが最悪でも字幕がある）
88:現代数学の系譜11 ガロア理論を読む
16/01/23 08:05:06.93 0yP4aZ6Q.net
どうも。スレ主です。
みなさん、盛り上がっていますね
今週は仕事で忙しいので、あまり書けませんが、あしからず
>>64-65
最初の列の決定番号を１００、第２列目の決定番号を(100^100)^100とでもしますか
で、TAさんがレベルが高いことは良く分かった。というか、おそらく時枝と同じレベルで、時枝も同じ納得の仕方をしているんだろうと
サイコロゲームで、”同じ条件”で、２人が勝負したら、勝率は１／２
３人が勝負したら、勝率は１／３
９９人が勝負したら、勝率は１／９９
ｎ人だったら、勝率は１／ｎ
これは、サイコロゲーム以外でもトランプなどでも同じ。ゲームの種類によらない。”同じ条件”に意味がある
89:現代数学の系譜11 ガロア理論を読む
16/01/23 08:08:25.04 0yP4aZ6Q.net
同様に、数学の確率で、１００列に数を振ったときに、ある特定の列が最大になる確率は、”同じ条件”であれば１／１００
”同じ条件”の細かい内容、つまりその背後の数学的構造には、よらない
ところで、
URLﾘﾝｸ(www.math.chs.nihon-u.ac.jp)
確率・統計，確率1 期末試験(2012 年度) 森真 日大
5 月13 日
確率変数X とY が独立なサイコロ投げとするとき，Z = max{X, Y} の確率分布と期待値を求めてください．
解
Z ：確率
1 ： 1/36
2 ： 3/36
3 ： 5/36
4 ： 7/36
5 ： 9/36
6 ：11/36
E(Z) = 161/36 = 4.4722・・・
V(Z) = 2555/1296
（引用終わり）
いま、気付いたが、1,3,5,7,9,11と奇数がきれいにならんでいるんだ
二人でサイコロゲーム。”同じ条件”で、２人が勝負したら、勝率は１／２
E(Z) = 161/36 = 4.4722・・・、これ期待値。６の半分の３より大。６の２／３（＝４）より大。
普通のサイコロは６までだが、６→ｎ（＞６）のサイコロも考えられる。
確率分布と期待値をまともに計算する気がおきないが、おそらく上記のようにｎ^2を分母とする確率分布で、期待値はｎの２／３より大でしょう。
ここで、ｎ→∞を考える。ｎ^2を分母とする確率分布でｎ→∞にして、期待値はｎの２／３より大でｎ→∞。
これ、時枝問題を考えるときの大きなポイントだと。決定番号もｎ→∞を考えるべし
90:現代数学の系譜11 ガロア理論を読む
16/01/23 08:17:07.53 0yP4aZ6Q.net
>>82
二人でサイコロゲームで、E(Z) = 161/36 = 4.4722・・・で、６の２／３（＝４）より大。
９９人のゲームを考えたら？ 当然E(Z) は大きくなる。おそらく、最大値の６に近づく
ｎ（＞１００）人ゲームで、ｎ→∞を考えたら？ 最大値の６にに収束する
「確率1-ε で勝てることも明らかであろう.」>>3と時枝は書く。おそらく列の数ｎを増やすのだろう
そうすると、上記ｎ（＞１００）人ゲームにおけると同様、決定番号Dの期待値は、その取り得る上限に近づく
これが、時枝解法の構造
確率を高めるための代償が、決定番号Dの期待値が、その取り得る上限に近づくということ
91:現代数学の系譜11 ガロア理論を読む
16/01/23 08:27:04.03 0yP4aZ6Q.net
「できすぎた話」
確率９９％だ、確率1-εだと
でも、「裏」がある!
>>35などは、”「裏」がある!”という臭いに気付いている人だと思う
URLﾘﾝｸ(www.amazon.co.jp)
管見妄語 できすぎた話 単行本 ? 2016/1/18 藤原 正彦 (著)
内容紹介
どんな出来事にも、あなたの知らない「裏」がある!
内容（「BOOK」データベースより）
どんな出来事も「裏」を知らねば本質は見抜けない!持ち前のユニークな発想と慧眼で、埋もれていた世の中の真理を看破する。「週刊新潮」人気連載痛快コラム集最新版。
92:現代数学の系譜11 ガロア理論を読む
16/01/23 08:36:59.27 0yP4aZ6Q.net
もう一つの裏
前スレでも書いたが、
n+1番目以降から先のしっぽの箱が一致する同値類が見つかったとしても
実数列の同値類分類だから、ｎ番目の箱に入りうる数ｘは、ｘ∈Ｒなわけで、ｘの候補は非加算無限
そして、可算無限の長さの数列だから、ｎ→∞を考えないといけない
そうすると、無作為に同値類の代表を選ぶと、その列の決定番号の期待値も、無限に大きいと予想されるのだった
93:現代数学の系譜11 ガロア理論を読む
16/01/23 08:42:48.36 0yP4aZ6Q.net
>>76
どうも。スレ主です。レスありがとう
私の選択公理の理解を言っておくと
我々が日常無意識に使っている数学は、ＺＦＣだと
そして、我々が日常無意識に使っている数学が、パラドックスを生じないように、公理系を整備したと
おかしいですか？
URLﾘﾝｸ(ja.wikipedia.org)
現在一般的に使われている集合の公理系は以下の ZFC である。
パラドックスの回避
ツェルメロが ZF の元となる公理系を1908年に発表した最大の動機は、実数が整列可能だとする彼の証明を弁護することであった。
しかし、同時に彼はその当時すでに知られていたパラドックスを回避しなければいけないこともわかっていた。代表的なものとしては、 ラッセルのパラドックス、リシャールのパラドックス、ブラリ＝フォルティのパラドックスがある。
これらのパラドックスは、集合を構成する方法に制限を付けている ZFC の中では展開できない。
URLﾘﾝｸ(en.wikipedia.org) 英語版
94:現代数学の系譜11 ガロア理論を読む
16/01/23 08:51:56.78 0yP4aZ6Q.net
ニュートン、ライプニッツ、オイラー、ガウス、ガロア、アーベル、リーマン、ワイエルシュトラス・・・
かれらは、ZFC以前の時代の人だ
だから、選択公理など知らないはず
が、かれらの数学が、ZFCから外れているのではない
逆に、すべてZFC内におさまる
関数論、写像、有理数を完備化して実数を構成する方法
選択公理が知られる前にあった。違いますか？
数学科以外でも、物理や工学で使われる数学。我々が日常で使っている
微分だ積分だ、微分放擲式だ、級数展開と収束・・・
選択公理以外を仮定したら？ 上記のニュートン、ライプニッツ、オイラー、ガウス、ガロア、アーベル、リーマン、ワイエルシュトラスをどう修正すべきか？
それが、私には分かりません。が、教えられているのは、すべてZFC内におさまるってこと
だから、ZFCを外して考えようとすると、そうとう注意深くしないとできないだろうし、そんなことはしたことがないです
だから、選択公理は、無意識で使っていると思いますよ。みなさん、同じはずだ。オイラー、ガウス、ガロア、アーベル、リーマン、ワイエルシュトラスだって同じだったでしょ？
95:現代数学の系譜11 ガロア理論を読む
16/01/23 09:03:08.12 0yP4aZ6Q.net
そもそも、時枝問題は、選択公理を使わないと面白くない
というから、最初から成り立たない
例えば、超越数かどうかが未解決の例で、e+πがあるという（下記）
e+πを時枝問題に適用すると、e+πの各桁の数字０～９を、頭から箱に詰める。ある箱から先のしっぽを開けて、属する数列の同値類を決める
”属する数列の同値類を決める”のは、いまの数学レベルでは、無理。そもそも、e+πの先がどうなっているか分からないし、だから、属する数列の同値類を決められない
が、「選択公理」という呪文で、「それは出来たとして」と先に進んで、時枝問題を論じている
URLﾘﾝｸ(ja.wikipedia.org)
超越数かどうかが未解決の例
円周率 π や自然対数の底 e の大
96:抵の和、積、べき乗は、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない[注 4]。
97:現代数学の系譜11 ガロア理論を読む
16/01/23 09:17:47.66 0yP4aZ6Q.net
新井紀子氏、一橋大学法学部卒業。米イリノイ大学大学院数学科博士課程修了？
うーん、奇抜
「使える！数学」。でも、実用としては、時枝解法は使えません。
計算量理論から言って、実数から成る可算無限の数列を、全て類別して、代表元を決めておく？ それがどれだけの計算量になるのか？
それは割り引いたとしても、上記で書いたように、決定番号の期待値は、ｎ→∞の極限として有限ではない
いや、もちろん、条件が同じ勝負をすれば、二人ゲームならある人の勝率は１／２、９９人ゲームならある人の勝率は１／９９。
それは、前スレずっと認めていますよ。
でも、藤原 正彦氏がいうように、できすぎた話には裏がある。
裏を知らないと、「使える！数学」の実力はつかない
URLﾘﾝｸ(diamond.jp)
『週刊ダイヤモンド』1月23日号の第1特集は「使える！数学」です。ビジネスマンが身につけるべき素養、道具はいくつかあります。
中でも最強、究極の武器となるものは何でしょう？?それは数学である、と考えます。
URLﾘﾝｸ(diamond.jp)
コンピュータに仕事を奪われる時代、生き抜くための「数学の言葉」
新井紀子氏（数学者、国立情報学研究所教授）特別インタビュー 週刊ダイヤモンド編集部 2016年1月23日
あらい・のりこ
1962年東京都生まれ。一橋大学法学部卒業。米イリノイ大学大学院数学科博士課程修了。
2006年に国立情報学研究所教授、人工知能「東ロボくん」のプロジェクトディレクター。
著書に『生き抜くための数学入門』『コンピュータが仕事を奪う』など。専門は数理論理学。
98:現代数学の系譜11 ガロア理論を読む
16/01/23 09:18:23.82 0yP4aZ6Q.net
では
99:１３２人目の素数さん
16/01/23 12:48:21.87 Vgp44hJm.net
>>81
問題設定は下記。
>>25
>まず、箱に円周率（百万桁）に詰めましょう。提案として、簡単に２列としよう
>１列目に、百万桁の奇数番目の数、その先のしっぽには、全て１をつめる
>２列目に、百万桁の偶数番目の数、その先のしっぽには、全て２をつめる
ゲーム開始前に『代表元の袋』を用意する。
>>64-65
> 最初の列の決定番号を１００、第２列目の決定番号を(100^100)^100とでもしますか
最初の列の決定番号が100となる条件は、
しっぽの先が*,1,1,1,1,1,・・・と1が続く類の代表元が
・99番目はπの99番目の奇数桁とは異なる。
・100番目から50万番目まではπの100番目から50万番目の奇数桁に一致する。
・50万1番目以降1が続く。
を満たすことである。
上記をみたす実数列の集合から任意に1つ選んでr1とおく。
第2列目の決定番号が(100^100)^100となる条件は、
しっぽの先が*,2,2,2,2,2,・・・と2が続く類の代表元が
・(100^100)^100-1番目が2ではない。
・(100^100)^100番目以降2が続く。
を満たすことである。
上記をみたす実数列の集合から任意に1つ選んでr2とおく。
上の代表元r1,r2を含んだ『代表元の袋』を用いて、確率1/2で箱の中身を当てられることを実例で示す。
すなわち、箱の1列目を最初に開けるか、2列目を最初に開けるか、
少なくともどちらかの選択によって、箱の中身が当てられることを示す。
なおゲーム開始前のプレイヤーは箱の中身を知らないことに注意する。
プレイヤーにとって1列目と2列目の決定番号d1,d2∈Nは未知であり、
どちらの列から開ければ
勝利条件：『最初に開けた列の決定番号 ≧ 開けずに残しておいた列の決定番号』
を満たすかをゲーム開始前に知ることはできないことに注意する。
（続く）
100:１３２人目の素数さん
16/01/23 12:51:14.74 Vgp44hJm.net
>>91の続き
ゲームを開始。時枝の戦略に従って箱を開けていく。
まずプレイヤーは下記CASE1とCASE2のどちらか一方を選ぶ。
（たとえばコイントスで決める。）
CASE1) 最初に1列目を開け、2列目を開けずに残しておく。
CASE2) 最初に2列目を開け、1列目を開けずに残しておく。
先に述べた注意から、
勝利条件：『最初に開けた列の決定番号 ≧ 開けずに残しておいた列の決定番号』
をみたす確率は1/2であることに注意する。
（続く）
101:１３２人目の素数さん
16/01/23 12:52:23.08 Vgp44hJm.net
>>92の続き
CASE1) 最初に1列目を開け、2列目を開けずに残しておく場合：
1列目をすべて開ける。
箱の中身は50万番目まではπの奇数桁に一致し、50万1番目以降は1が続くことが分かる。
すなわち第1列はr1と同値であることが分かる。
第1列とr1を比較し、第1列の決定番号d1=100(=D)を得る。
次に2列目の101(=D+1)番目以降をすべて開ける。
50万1番目以降は2が続くことが分かる。
すなわち第2列はr2と同値である。
また第2列とr2を比較すると、
・(100^100)^100-1番目が一致せず、
・(100^100)^100番目以降は一致する
ことがわかる。よってこの時点で第2列の決定番号d2=(100^100)^100が決まる。
第2列のD(=100)番目がr2のD(=100)番目と一致しなければならない理由はない。
つまり箱の中身は当てられず、失敗。
なお
『最初に開けた第1列の決定番号d1 < 開けずに残しておいた第2列の決定番号d2』
が成立していたことが分かる。
これは時枝の戦略が失敗する条件である。
（続く）
102:１３２人目の素数さん
16/01/23 12:53:59.24 Vgp44hJm.net
>>94の続き
CASE2) 最初に2列目を開け、1列目を開けずに残しておく場合：
2列目をすべて開ける。
箱の中身は50万番目まではπの偶数桁に一致し、50万1番目以降は2が続くことが分かる。
すなわち第2列はr2と同値であることが分かる。
第2列とr2を比較し、第2列の決定番号d2=(100^100)^100(=D)を得る。
次に1列目の(100^100)^100+1(=D+1)番目以降をすべて開ける。
(100^100)^100+1(=D+1)番目以降は1が続くことが分かる。
すなわち第1列はr1と同値である。
ここで1列目の(100^100)^100(=D)番目を同じ類の代表元r1の(100^100)^100(=D)番目と
同じであると予想する。すなわち1と予想する。
1列目の(100^100)^100(=D)番目を開けると、中身は1。正解。ゲームはここで終わる。
ゲーム終了後、1列目の箱をすべて開けてみる。
箱の中身は50万番目まではπの奇数桁に一致し、50万1番目以降は1が続くことが分かる。
第1列とr1を比較することにより、決定番号d1=100を得る。
よって
『最初に開けた第2列の決定番号d2 > 開けずに残しておいた第1列の決定番号d1』
が成り立っていたことが分かる。
これは時枝の戦略が成功する条件である。
（以上）
103:１３２人目の素数さん
16/01/23 13:56:10.66 Vgp44hJm.net
>>28
> 例はなんでも良いです。但し、具体的数値でね。文字は使わずに
> 中学生が混乱しない具体例の説明願います
>
> でも、具体例の実行できないでしょ？
> 実行できるはずがない
> だって、トリックだもの
> 実行できない時枝解法。だから一見最もらしいと言える
このように言うスレ主に対して、俺は具体例>>30を提示した。
スレ主の『実行できない』という主張が明確に否定されたにも関わらず、
>>61
> 2,2,2,2,2,2,・・・をなぜ選ぶのか？ 選んでも良いが、本来無作為に選ぶべきところ、作為が入っているのでは？
> （中略）
> 再度強調しておく。d1＝3の場合と,d1＝１００万の場合とでは、当然d2≦d1となる確率は違う。
などと引き続き難癖をつけてくる。
スレ主によると
>>61
> ２．上記１の補足だが、nには上限がない。だから、n<=１００万よりも、n＞１００万の方が、
> 場合の数としては圧倒的に多い。ここまで書けば、言いたいことはお分かりだろう
>>62
> d1＝3の場合と,d1＝１００万の場合とでは、当然d2≦d1となる確率は違う。
とのこと。つまるところ、ほとんどの場合決定番号は非常に大きな値を取り、
そのとき時枝戦略は機能しないと主張している。
（中学生以上の方にはお分かりかと思うが、スレ主は事前確率と事後確率を区別できていない。）
仕方がないので決定番号をスレ主に自由に選ばせることにした。
スレ主はd1=100、d2=(100^100)^100を選んだ。
それに対して俺は>>91-94で成功確率がこの場合も1/2であることを示した。
2つの具体例を併せて考えれば、確率を決めるのは『決定番号の大小関係』であって、
『決定番号の絶対値や差の大きさ』ではないことに小学生でも気付けるはずだ。
*,1,1,1,・・・の類と*,2,2,2,・・・の類の代表元が具体的に決まれば（すなわち選択公理を認めるならば）、
それがどんな元であれ>>30や>>91-94で実行した戦略をまったく同じようになぞることができる。
冗談抜きにこれは小学生でもできる。
104:１３２人目の素数さん
16/01/23 14:07:31.37 Vgp44hJm.net
>>95
> 確率を決めるのは『決定番号の大小関係』であって、
"戦略の成功/失敗を決めるのは『決定番号の大小関係』であって、"
に訂正しておく。
105:１３２人目の素数さん
16/01/23 14:55:16.50 H1UGtww/.net
>>89
よく「使える数学」とかいう内容の記事があるが、こういう内容は恐らく一種のネタだよ。
仕事現場では、数学を意識することは少ない。実際に数学を使う業種は教師や大学教員や
開発現場など、ごく一部に限られる。医者や弁護士の大部分だと仕事現場で数学を使うことはなく、
力仕事だと殆ど必要ない。コンピュータでも、�
106:Vステムエンジニアやプログラマだと、 現場で実際に必要とされるのは、コミュ力やチームワークの方が大きい。農業や漁業だと、 勿論殆ど必要ない。会社の場合は仕事現場で必要な能力は、 基本的に内定後に研修とかで身に付けることの方が重要になる。 そのような現場で数学は殆ど使われていないことの証拠に挙げられるのが、 よくいわれる「数学は役立たない」というセリフ。数学と物理はお互いに発展し、 物理や化け学、生物学を実社会に応用したのが工学や農学とか。 医学もどちらかというと応用科学になる。そのようなことを意識していない人が 日本には多い。これは、私が昔就活していたとき実感したことな。 だから、こういう記事の内容は真に受けない方がいい。
107:１３２人目の素数さん
16/01/23 15:05:50.99 yjrEN2z6.net
「普通に使える」数学を学びたいんだが，ガロアとかはいいから
やっぱり解析や線形代数かねえ‥
108:１３２人目の素数さん
16/01/23 15:17:45.67 H1UGtww/.net
>>89
ちなみに、よく「数学が出来ると高収入になる」といわれるが、
これは基本的に高校位の数学になる。それを応用する能力になる。
なのだから、数学といっても、必要とされる能力は、実際の仕事現場で、
算数のような感覚で高校レベルの数学をする能力が必要ということになる。
記事の基本的な趣旨は、皆さんの多くにとっては今までしていたこと
(高校以下の数学)が仕事現場で必要になった、というだけの話になる。
109:１３２人目の素数さん
16/01/23 15:24:34.18 H1UGtww/.net
>>98
大学以降の数学であれば、確率論も含めた解析や線型代数の方が遥かに役に立つ。
統計を基礎からしっかり理解しようとすると、どうしても測度論が必要になる。
多くの統計の本では、確率測度を説明なしに導入しているでしょう。
だから、理論的に統計を基礎から理解することは難しくなる。
110:１３２人目の素数さん
16/01/23 15:38:58.05 GZbDFCn0.net
>>98
そろばんをお勧めする
111:１３２人目の素数さん
16/01/23 15:41:23.33 H1UGtww/.net
>>98
>だから、理論的に統計を基礎から理解することは難しくなる。
>>100において誤解を招かないよう補足すると、この部分は、
測度論を知らないままで、統計の本をいきなり読んだときの話ね。
多くの人にとっては、そうすることになるでしょう。
112:１３２人目の素数さん
16/01/23 17:43:03.19 yjrEN2z6.net
仕事を持つ大人が解析学の本を読む，いい光景じゃないか
今の大学生は何を読んでるの？
>>101
そろばんは中年にはつらいんだ
113:１３２人目の素数さん
16/01/23 20:09:29.43 GZbDFCn0.net
現実には不可能な問題設定に対して、「現実には不可能だから間違っている」という論法は無意味。
バナッハ＝タルスキーのパラドックスだって、現実には不可能な方法で球を分割しているんだから、実はパラドックスでない。
それに気づかず、ぱーちくりんな反論ばかり繰り返すスレ主だったとさ。
114:１３２人目の素数さん
16/01/23 20:30:42.78 p222qO96.net
>>100
トポロジーや微分幾何はあまり役に立たないのかな
115:１３２人目の素数さん
16/01/24 14:45:12.10 fjKSwEwf.net
>>105
物理への応用を通した形での、その物理を応用した工学による
間接的なトポロジーや微分幾何の現実への応用はGPSや宇宙開発
への応用とかかなりあるだろうが、多くの人に直接目に見えるような応用は、
余りないんじゃないですか。つまり、トポロジーや微分幾何は
物理には広く応用されているでしょう。だが、多くの人に直接役に立つような
応用は余り思い浮かばない。多くの人にとって直接役に立つとしたら、
それはせいぜい物理現象の他人への理論的な説明位じゃないですか。
科学のすべてを知っている訳ではないので、そのあたりは何ともいえないが。
統計の理論的に基礎からの理解への測度論の応用と同様な形での、
多くの人にとって直接
116:トポロジーや微分幾何が直接役に立つかどうかは、 私1人では詳しく説明出来ない。
117:１３２人目の素数さん
16/01/28 22:00:18.25 EvTEb1Mu.net
>>82-83
>これ、時枝問題を考えるときの大きなポイントだと。決定番号もｎ→∞を考えるべし
>確率を高めるための代償が、決定番号Dの期待値が、その取り得る上限に近づくということ
直径1cmの球がちょうど1つ入る太さの筒がK本あり球の総数をN個として各筒にそれぞれ
好きなだけ入れる
この時点では筒にカバーがつけてあり中身は見えないので球の個数は分からないとする
さて筒を1本選びその中の球の個数をH1としよう
残りのK-1本の筒のカバーを全て外してそれぞれの球の個数を測定してその最大値を
Hmaxとする(Hmax = max{H2, H3, ..., Hn})
H1がHmax以下になる確率は？
>無限大の極限操作になれていないと見える (前スレのスレ主の書き込みより)
仮にあるMという数が指定された場合でもNを増やせばHmax > Mなどと出来るという
だけのことでNを増やせばHmaxやH1は大きくなるが「確率を高めるための代償」ではない
>「できすぎた話」
>確率９９％だ、確率1-εだと
>でも、「裏」がある!
>裏を知らないと、「使える！数学」の実力はつかない
>「使える！数学」。でも、実用としては、時枝解法は使えません。
例えば100個の製品からランダムに1個抜き出して残りの99個の検査を行い不良品でないことが
分かった場合には抜き出した1個も検査にパスすると考えるのが普通
実用的には少数のサンプルをランダムに抜き出して検査するわけだがその場合でも確率が
高くならないと検査の結果は信頼できないでしょう
118:現代数学の系譜11 ガロア理論を読む
16/01/29 22:01:04.60 NAQZPitt.net
今週も忙しいので、勝手に書かせて貰います
TAさんには感謝しています
時枝記事を突っつけるなんて・・・
敵失で無ければ、とても勝てる相手ではありません
時枝は、ルーマニア人に騙された？
まあ、みんなも乗せられているのか？ TAさんまで？
そうで無ければ、面白くない・・・
119:現代数学の系譜11 ガロア理論を読む
16/01/29 22:08:24.38 NAQZPitt.net
>>81-83
サイコロゲームに関連して、
＜ミニモデル＞を作ってみよう（これは工学ではよく使う手だ）
時枝ミニモデルとしての同値類モデル
1列のパラメータ：列の長さL（箱の数）と、箱に入る数の集合の濃度ｎ
さらに列数の数ｒ（何列並べるか）
（パラメータ３つ、L（箱の数）、箱に入る数の集合の濃度ｎ、列数の数ｒ）
まず、列数ｒ＝３列で、L＝６、箱には０～９までの一桁の数が入ると考える
１列目：１，２，３，４，５，６
２列目：６，５，４，３，２，１
３列目：１，２，３，１，２，３ （当てたい箱の列）
としよう。時枝モデルでは、しっぽの同値類を考えた。
そこで、このミニモデルでは、最後の第６番目の箱をしっぽとしよう
（これで、サイコロの目１～６と合う）
120:現代数学の系譜11 ガロア理論を読む
16/01/29 22:11:47.32 NAQZPitt.net
＜定理１＞同値類は、しっぽの箱（この場合第６番目）で決まる。
（例えば、１列目は、しっぽ６の同値類に属するとすべき。例えば、６の一つ前の５を入れて、しっぽ“５，６”の数列に属すると考えることもできるが、そうすると、“５，６”と“６”の二つの同値類に属することになり代表や決定番号が一意ではなくなり、well-definedではない。
だから、しっぽの最後の箱で同値類がきまるとすべき。つまり、最大の同値類を考えることになる。）
121:現代数学の系譜11 ガロア理論を読む
16/01/29 22:12:18.14 NAQZPitt.net
＜定理２＞決定番号は、１～Lの値を取りうるが、決定番号がLとなる確率は、１－（1/n）。
（ミニモデルでは、同値類に属する数列の数は重複順列で10^5個。決定番号が、５以下の数列は同じく重複順列で10^4個。ゆえに、決定番号がLとなる確率は、１－（1/10）。同様に、集合の濃度ｎなら、１－（1/n）。
なお、ｎ→∞の場合決定番号がLとなる確率は１に近づくことに注意しよう。）
122:現代数学の系譜11 ガロア理論を読む
16/01/29 22:12:54.43 NAQZPitt.net
＜定理３＞列数ｒが大きくなると、ｒの列の決定番号の最大値の期待値は、Lに近づく。
（先の二人のサイコロの最大値の例をご参照）
123:現代数学の系譜11 ガロア理論を読む
16/01/29 22:13:39.16 NAQZPitt.net
（ミニモデルまとめ）
１． 決定番号の最大値の期待値は、L。
２． とすると、開ける�
124:ﾗきL＋１の箱は存在しない。 （当てたい箱の列の決定番号の期待値も、Lに近い。）
125:現代数学の系譜11 ガロア理論を読む
16/01/29 22:14:51.71 NAQZPitt.net
開けるべきL＋１の箱は存在しないのでは、寂しい。だから、改良版を考えよう。
＜改良ミニモデル＞
ミニモデルで、しっぽのLと同じ数の箱をL＋１として置くことにしよう。
そうすると、“開けるべきL＋１の箱は存在しない”という欠点は解消される。
ところが、よく考えてみると、L＋１の箱とLとはしっぽの中の話。だから、L＋１の箱を開けてLが分かりましたというのは、しっぽの中の出来事。しっぽよりねもとの箱が分かったことにはならない！
126:現代数学の系譜11 ガロア理論を読む
16/01/29 22:16:01.94 NAQZPitt.net
さて、計算停止という観点で見ると
この計算は、第一列の同値類の決定番号を決める計算さえ停止しない！
決定番号の期待値は、無限大。蜃気楼（逃げ水）。追いかけても、捉まらない。
127:１３２人目の素数さん
16/01/29 22:17:31.88 BiCL9BCU.net
なんか退化してないか？
128:現代数学の系譜11 ガロア理論を読む
16/01/29 22:23:23.99 NAQZPitt.net
例えば
第1列に、πの数値を頭から１桁ずつ、箱につめる
第２列に、π^2の数値を頭から１桁ずつ、箱につめる
・・・・
第ｋ列に、π^ｋの数値を頭から１桁ずつ、箱につめる
・・・・
第100列に、π^100の数値を頭から１桁ずつ、箱につめる
この各列の
１）同値類
２）代表元
３）決定番号
これらを決める手段を、いまの数学は持たない
∵各列は、超越数だから（つまり、”しっぽの先で同値類”という決め方に対し、しっぽの先はいつまでも確定しない）
129:現代数学の系譜11 ガロア理論を読む
16/01/29 22:23:37.54 NAQZPitt.net
では
130:１３２人目の素数さん
16/01/29 23:18:35.23 gVGoYuBk.net
ガロア理論と関係ないだろ！
いい加減にしろ！！
131:１３２人目の素数さん
16/01/29 23:56:02.02 TBAOmSkv.net
そういうスレだから別にいいんじゃないの
132:１３２人目の素数さん
16/01/30 18:38:02.43 kNzpCxsy.net
>>117
> ∵各列は、超越数だから（つまり、”しっぽの先で同値類”という決め方に対し、しっぽの先はいつまでも確定しない）
意味不明。超越数を持ち出して『してやったり』なつもりか？
>>115
> さて、計算停止という観点で見ると
> この計算は、第一列の同値類の決定番号を決める計算さえ停止しない！
同値関係と決定番号の定義から、決定番号は必ず有限の値を取る。
よって属する類の代表元が分かっているなら決定番号は有限回の演算で決まる。
スレ主の言う工学的観点では、決定番号ではなくR^Nの同値判定の方が問題となる。
『同値判定には無限回の演算操作が必要。よって工学的には実行不可能。』
スレ主がそういう結論で納得したならもうそれでいいよｗ
それを言うなら2つの無限小数の一致判定だって工学的には出来ないんじゃない？
なにしろ2数の各桁のinputが無限に続き、一致している限り計算は停止しない。
例がオカシかったらすまんね。しかしスレ主の言いたいことはそういうことだろ？
それだったら工学オンチな俺でも理解できるよ。納得納得。
議論はおしまい。まとめよう。
この話が始まって1ヶ月後のスレ主の結論はこうだ：
『工学では無限を扱うことができない。よって時枝は間違っている。』
さんざん紆余曲折したスレ主だが(>>11)、最後は非常に分かりやすい結論に落ち着いたｗ
時枝も日本評論社もこの結論に対してわざわざ文句は言わんだろ。
133:１３２人目の素数さん
16/01/30 18:54:01.13 SPvIBj7/.net
>>2を読むと、要するに、
なんか実数をひとつ紙に書いた。それをあててみろ、ってのと同じじゃん。
134:１３２人目の素数さん
16/01/30 19:04:38.42 2tng6Fn0.net
>>117
スレ主はπの全ての桁の数値を完全に決定しないまま箱につめている
この場合はある桁を指定すれば計算しなくても対応する桁の数値を定めていると
考えることができるが同様のことをすれば良い
たとえばa1=π-3.1, a2=π-3.14, a3=π-3.141, a4=π-3.1415, ...のように
{a1, a2, a3, a4, ...}を定めたとするとこれらの数は確かに存在する
これらの数から1つ選ぶことは自然数の集合から1つ自然数を取り出すことと同じであり
その場合にある(有限の)自然数が1つ定まる
1列目を開けずに残してスレ主と勝負する場合�
135:ﾜずスレ主が1回自然数の集合から 1つ自然数をランダムに取り出しそれをDとする そしてスレ主がaD=π-d (dはπの小数点以下D位までの数)を用意する 次に対戦者が99回自然数の集合から1つ自然数をランダムに取り出しその最大値Dmaxを スレ主に伝えDがDmax以下である方に賭けDmax個目の箱の中の数字を当てることを 宣言する この時点で賭けが成立し勝敗は変化しないのでその後スレ主にaDの値を尋ねる DがDmax以下であればaDの値を用いて箱のなかの数字を当てられるので対戦者の勝利
136:１３２人目の素数さん
16/01/31 13:31:34.31 0R0kOe/c.net
>>122
>なんか実数をひとつ紙に書いた。それをあててみろ、ってのと同じじゃん。
同じように見えるが同じではない、というお話です。
137:１３２人目の素数さん
16/01/31 14:40:39.25 ywhSJf/S.net
おまいら、いつもスレ主と勝負してるじゃんw
138:１３２人目の素数さん
16/01/31 16:51:31.38 HroIol1H.net
ガロア記法には飽きたかスレ主
139:１３２人目の素数さん
16/01/31 22:19:31.06 mIvJZ0+a.net
スレ主の馬鹿自慢スレ
140:現代数学の系譜11 ガロア理論を読む
16/02/05 22:42:24.26 6e17+VB1.net
どうも。スレ主です。
年度末で忙しいので、またまた勝手に書かせて貰います
＜ミニモデル2＞
開区間(0,1)のコーシー列モデル（時枝ミニモデルとしての同値類モデル2）
（みなさまお馴染みコーシー列を使って、時枝ミニモデルを作ってみよう。）
141:現代数学の系譜11 ガロア理論を読む
16/02/05 22:43:11.60 6e17+VB1.net
１． 開区間(0,1)の特に、主に無限小数となる超越数を考える。超越数αを一つとる。
２． 超越数αの少数部分を頭から（少数第一位から）、順に１桁の数字を箱に詰める。
（頭の方を「ねもと」、先の方を「シッポ」と呼ぶことのしよう。）
３． このモデルの場合、1列のパラメータ：列の長さL（箱の数）＝∞、箱に入る数の集合の濃度ｎ＝10である。
４． つまり、このモデルは、(0,1)のコーシー列類似モデルと言える。
５． (0,1)の有限小数qを一つとる。αのねもと部分をqで置換した数を、α?qと書くことにしよう。この数で、同様に箱に数字を詰めると、シッポは一致するので、これは超越数αと同じ同値類に属する。
６． 有限小数qが、少数第ｎ位までの数であるとする。超越数αの属する同値類の代表がα?qであったとする。
142:現代数学の系譜11 ガロア理論を読む
16/02/05 22:44:07.06 6e17+VB1.net
７． α?qとαは、少数第ｎ＋１位から一致するから、決定番号はｎ＋１。ここで、少数第ｎ＋１位は、シッポの方、つまり超越数αの部分であることに注意しよう。
決定番号＋１（＝ｎ＋２）から先を開けて、ｎ＋１を当てるということは、シッポつまりは超越数αの部分の話であることを強調しておく。（つまり、有限小数qとは無関係で、従って、同値類別する行為はほとんど意味がないことになる。）＊）
（なお、この議論は、α?qとα?q1との比較を考えても同様だから、一般性を失わない。（∵α?qとα?q1との比較では、有限小数qとq1の位数の大きい方が決定番号を決めるから。つまりq＞q1とすれば、α?q1をαで置き換えて同じ議論ができる。逆の場合も同様。））
８． 少数第ｎ位の有限小数qは、場合の数としておよそ10^n通りある（正確には、少数第ｎ位がゼロの場合は除かれるので、少し減る）。だから、位数ｎが大きいほど多くの有限小数がその同値類に属している。
９． ランダムに同値類の代表を選べば、ｎ→∞を考えることになり、決定番号の期待値は∞となる。
（ところで、１桁の数字であれば、我々は任意の箱の数を1/10の確率で当てられることに注意しよう。
（無限の数列を、同値類に分類するなどという苦労なしに。））
143:現代数学の系譜11 ガロア理論を読む
16/02/05 22:45:19.29 6e17+VB1.net
∪が化けるか
144:現代数学の系譜11 ガロア理論を読む
16/02/05 22:48:18.30 6e17+VB1.net
大丈夫か
では、再掲
１． 開区間(0,1)の特に、主に無限小数となる超越数を考える。超越数αを一つとる。
２． 超越数αの少数部分を頭から（少数第一位から）、順に１桁の数字を箱に詰める。
（頭の方を「ねもと」、先の方を「シッポ」と呼ぶことのしよう。）
３． このモデルの場合、1列のパラメータ：列の長さL（箱の数）＝∞、箱に入る数の集合の濃度ｎ＝10である。
４． つまり、このモデルは、(0,1)のコーシー列類似モデルと言える。
５． (0,1)の有限小数qを一つとる。αのねもと部分をqで置換した数を、α∪qと書くことにしよう。この数で、同様に箱に数字を詰めると、シッポは一致するので、これは超越数αと同じ同値類に属する。
６． 有限小数qが、少数第ｎ位までの数であるとする。超越数αの属する同値類の代表がα∪qであったとする。
145:現代数学の系譜11 ガロア理論を読む
16/02/05 22:49:26.69 6e17+VB1.net
７． α∪qとαは、少数第ｎ＋１位から一致するから、決定番号はｎ＋１。ここで、少数第ｎ＋１位は、シッポの方、つまり超越数αの部分であることに注意しよう。決定番号＋１（＝ｎ＋２）から先を開けて、ｎ＋１を当てるということは、シッポつまりは超越数αの部分の話であることを強調しておく。（つまり、有限小数qとは無関係で、従って、同値類別する行為はほとんど意味がないことになる。）＊）
（なお、この議論は、α∪qとα∪q1との比較を考えても同様だから、一般性を失わない。（∵α∪qとα∪q1との比較では、有限小数qとq1の位数の大きい方が決定番号を決めるから。つまりq＞q1とすれば、α∪q1をαで置き換えて同じ議論ができる。逆の場合も同様。））
８． 少数第ｎ位の有限小数qは、場合の数としておよそ10^n通りある（正確には、少数第ｎ位がゼロの場合は除かれるので、少し減る）。だから、位数ｎが大きいほど多くの有限小数がその同値類に属している。
９． ランダムに同値類の代表を選べば、ｎ→∞を考えることになり、決定番号の期待値は∞となる。
（ところで、１桁の数字であれば、我々は任意の箱の数を1/10の確率で当てられることに注意しよう。
（無限の数列を、同値類に分類するなどという苦労なしに。））